समुच्चय सिद्धांत में गणित का कार्यान्वयन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
यह आलेख समुच्चय सिद्धांत में गणितीय अवधारणाओं के कार्यान्वयन का परीक्षण करता है। कई मूलभूत गणितीय अवधारणाओं का कार्यान्वयन [[ZFC|जेडएफसी]] (प्रमुख समुच्चय सिद्धांत) और [[नई नींव|एनएफयू]] में समानांतर रूप से किया जाता है, क्विन के न्यू फ़ाउंडेशन के संस्करण को 1969 में आर बी जेन्सेन द्वारा सुसंगत दिखाया गया है (यहां कम से कम अनन्तता और विकल्प के सिद्धांतों को सम्मिलित करने के लिए समझा गया है)।
यह आलेख समुच्चय सिद्धांत में गणितीय अवधारणाओं के कार्यान्वयन का परीक्षण करता है। कई मूलभूत गणितीय अवधारणाओं का कार्यान्वयन [[ZFC|जेडएफसी]] (प्रमुख समुच्चय सिद्धांत) और [[नई नींव|एनएफयू]] में समानांतर रूप से किया जाता है, क्विन के न्यू फ़ाउंडेशन के संस्करण को 1969 में आर बी जेन्सेन द्वारा सुसंगत दिखाया गया है (यहां कम से कम अनन्तता और विकल्प के सिद्धांतों को सम्मिलित करने के लिए समझा गया है)।


यहाँ जो कहा गया है वह समुच्चय सिद्धांतों के दो परिवारों पर भी प्रस्तावित होता है: एक ओर, स्तर के निचले सिरे के निकट [[ज़र्मेलो सेट सिद्धांत|ज़र्मेलो समुच्चय सिद्धांत]] सहित सिद्धांतों की श्रृंखला और बड़े कार्डिनल संपत्ति परिकल्पनाओं के साथ जेडएफसी तक विस्तारित, जैसे कि  [[मापने योग्य कार्डिनल]] है; और दूसरी ओर एनएफयू के विस्तार का पदानुक्रम जिसका सर्वेक्षण न्यू फ़ाउंडेशन लेख में किया गया है। ये सेट-सैद्धांतिक ब्रह्मांड कैसा है, इसके विभिन्न सामान्य विचारों के अनुरूप हैं, और यह इन दो सामान्य विचारों के तहत गणितीय अवधारणाओं के कार्यान्वयन के दृष्टिकोण हैं जिनकी तुलना और तुलना की जा रही है।
यहाँ जो कहा गया है वह समुच्चय सिद्धांतों के दो परिवारों पर भी प्रस्तावित होता है: एक ओर, स्तर के निचले सिरे के निकट [[ज़र्मेलो सेट सिद्धांत|ज़र्मेलो समुच्चय सिद्धांत]] सहित सिद्धांतों की श्रृंखला और बड़े कार्डिनल संपत्ति परिकल्पनाओं के साथ जेडएफसी तक विस्तारित हुई, जैसे [[मापने योग्य कार्डिनल]] है; और दूसरी ओर एनएफयू के विस्तार का पदानुक्रम जिसका सर्वेक्षण न्यू फ़ाउंडेशन लेख में किया गया है। ये समुच्चय-सैद्धांतिक ब्रह्मांड कैसा है, इसके विभिन्न सामान्य विचारों के अनुरूप हैं, और यह इन दो सामान्य विचारों के अनुसार गणितीय अवधारणाओं के कार्यान्वयन के दृष्टिकोण हैं जिनकी तुलना और तुलना की जा रही है।


गणित की नींव के रूप में इन सिद्धांतों के सापेक्ष गुणों के बारे में कुछ भी कहना इस लेख का प्राथमिक उद्देश्य नहीं है। दो अलग-अलग समुच्चय सिद्धांतों के उपयोग का कारण यह बताना है कि गणित के कार्यान्वयन के लिए कई दृष्टिकोण संभव हैं। ठीक इसी दृष्टिकोण के कारण, यह लेख किसी गणितीय अवधारणा की आधिकारिक परिभाषा का स्रोत नहीं है।
गणित की नींव के रूप में इन सिद्धांतों के सापेक्ष गुणों के विषय में कुछ भी कहना इस लेख का प्राथमिक उद्देश्य नहीं है। दो भिन्न-भिन्न समुच्चय सिद्धांतों के उपयोग का कारण यह बताना है कि गणित के कार्यान्वयन के लिए कई दृष्टिकोण संभव हैं। ठीक इसी दृष्टिकोण के कारण, यह लेख किसी गणितीय अवधारणा की आधिकारिक परिभाषा का स्रोत नहीं है।


==प्रारंभिक==
==प्रारंभिक==


निम्नलिखित अनुभाग दो सिद्धांतों जेडएफसी और न्यू फ़ाउंडेशन में कुछ निर्माण करते हैं और कुछ गणितीय संरचनाओं (जैसे [[प्राकृतिक संख्या]]) के परिणामी कार्यान्वयन की तुलना करते हैं।
निम्नलिखित अनुभाग दो सिद्धांतों जेडएफसी और एनएफयू में कुछ निर्माण करते हैं और कुछ गणितीय संरचनाओं (जैसे [[प्राकृतिक संख्या]]) के परिणामी कार्यान्वयन की तुलना करते हैं।


गणितीय सिद्धांत प्रमेयों को सिद्ध करते हैं (और कुछ नहीं)। तो यह कहने का मतलब है कि सिद्धांत निश्चित वस्तु के निर्माण की अनुमति देता है, इसका मतलब है कि यह उस सिद्धांत का  प्रमेय है कि वह वस्तु उपस्थित है। यह x के रूप की परिभाषा के बारे में  कथन है जैसे कि <math>\phi</math> उपस्थित है, कहाँ <math>\phi</math> हमारी [[औपचारिक भाषा]] का  [[सुगठित सूत्र]] है: सिद्धांत x के अस्तित्व को इस प्रकार सिद्ध करता है <math>\phi</math>यदि यह  प्रमेय है कि ऐसा  और केवल  x है <math>\phi</math>. (बर्ट्रेंड रसेल देखें। बर्ट्रेंड रसेल का [[विवरण का सिद्धांत]]।) शिथिल रूप से, सिद्धांत इस मामले में इस वस्तु को परिभाषित या निर्मित करता है। यदि कथन  प्रमेय नहीं है, तो सिद्धांत यह नहीं दिखा सकता कि वस्तु उपस्थित है; यदि कथन सिद्धांत में गलत साबित होता है, तो यह साबित होता है कि वस्तु का अस्तित्व नहीं हो सकता; शिथिल रूप से, वस्तु का निर्माण नहीं किया जा सकता है।
गणितीय सिद्धांत प्रमेयों को सिद्ध करते हैं (और कुछ नहीं)। तो यह कहने का तात्पर्य है कि सिद्धांत निश्चित वस्तु के निर्माण की अनुमति देता है, इसका तात्पर्य है कि यह उस सिद्धांत का  प्रमेय है कि वह वस्तु उपस्थित है। यह x के रूप की परिभाषा के बारे में  कथन है जैसे कि <math>\phi</math> उपस्थित है, कहाँ <math>\phi</math> हमारी [[औपचारिक भाषा]] का  [[सुगठित सूत्र]] है: सिद्धांत x के अस्तित्व को इस प्रकार सिद्ध करता है <math>\phi</math>यदि यह  प्रमेय है कि ऐसा  और केवल  x है <math>\phi</math>. (बर्ट्रेंड रसेल देखें। बर्ट्रेंड रसेल का [[विवरण का सिद्धांत]]।) शिथिल रूप से, सिद्धांत इस मामले में इस वस्तु को परिभाषित या निर्मित करता है। यदि कथन  प्रमेय नहीं है, तो सिद्धांत यह नहीं दिखा सकता कि वस्तु उपस्थित है; यदि कथन सिद्धांत में गलत साबित होता है, तो यह साबित होता है कि वस्तु का अस्तित्व नहीं हो सकता; शिथिल रूप से, वस्तु का निर्माण नहीं किया जा सकता है।


जेडएफसी और एनएफयू समुच्चय सिद्धांत की भाषा साझा करते हैं, इसलिए x जैसी समान औपचारिक परिभाषाएँ हैं <math>\phi</math>दो सिद्धांतों में विचार किया जा सकता है। समुच्चय सिद्धांत की भाषा में परिभाषा का  विशिष्ट रूप [[सेट-बिल्डर नोटेशन]] है: <math>\{x \mid \phi\}</math> इसका अर्थ है समुच्चय A इस प्रकार कि सभी x के लिए, <math>x \in A \leftrightarrow \phi</math>(ए में [[मुक्त चर और बाध्य चर]] नहीं हो सकते <math>\phi</math>). यह नोटेशन कुछ पारंपरिक विस्तारों को स्वीकार करता है: <math>\{x \in B \mid \phi\}</math> का पर्यायवाची है <math>\{x \mid x \in B \wedge \phi\}</math>; <math>\{f(x_1,\ldots,x_n) \mid \phi\}</math> परिभाषित किया जाता है <math>\{z \mid \exists x_1,\ldots,x_n\,(z=f(x_1,\dots,x_n) \wedge \phi)\}</math>, कहाँ <math>f(x_1,\ldots,x_n)</math>  अभिव्यक्ति पहले से ही परिभाषित है.
जेडएफसी और एनएफयू समुच्चय सिद्धांत की भाषा साझा करते हैं, इसलिए x जैसी समान औपचारिक परिभाषाएँ हैं <math>\phi</math>दो सिद्धांतों में विचार किया जा सकता है। समुच्चय सिद्धांत की भाषा में परिभाषा का  विशिष्ट रूप [[सेट-बिल्डर नोटेशन|समुच्चय-बिल्डर नोटेशन]] है: <math>\{x \mid \phi\}</math> इसका अर्थ है समुच्चय A इस प्रकार कि सभी x के लिए, <math>x \in A \leftrightarrow \phi</math>(ए में [[मुक्त चर और बाध्य चर]] नहीं हो सकते <math>\phi</math>). यह नोटेशन कुछ पारंपरिक विस्तारों को स्वीकार करता है: <math>\{x \in B \mid \phi\}</math> का पर्यायवाची है <math>\{x \mid x \in B \wedge \phi\}</math>; <math>\{f(x_1,\ldots,x_n) \mid \phi\}</math> परिभाषित किया जाता है <math>\{z \mid \exists x_1,\ldots,x_n\,(z=f(x_1,\dots,x_n) \wedge \phi)\}</math>, कहाँ <math>f(x_1,\ldots,x_n)</math>  अभिव्यक्ति पहले से ही परिभाषित है.


सेट-बिल्डर नोटेशन में परिभाषित अभिव्यक्तियाँ जेडएफसी और एनएफयू दोनों में समझ में आती हैं: यह हो सकता है कि दोनों सिद्धांत साबित करते हैं कि दी गई परिभाषा सफल होती है, या दोनों में से कोई भी ऐसा नहीं करता है (अभिव्यक्ति <math>\{x \mid x\not\in x\}</math> शास्त्रीय तर्क के साथ किसी भी समुच्चय सिद्धांत में किसी भी चीज़ को संदर्भित करने में विफल रहता है; वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत जैसे [[वर्ग (सेट सिद्धांत)|वर्ग (समुच्चय सिद्धांत)]] सिद्धांतों में यह संकेतन  वर्ग को संदर्भित करता है, किन्तु इसे अलग तरह से परिभाषित किया जाता है), या कि  करता है और दूसरा नहीं करता है। इसके अतिरिक्त, जेडएफसी और एनएफयू में  ही तरह से परिभाषित  वस्तु के दो सिद्धांतों में अलग-अलग गुण हो सकते हैं (या जहां उनके गुणों के मध्य कोई सिद्ध अंतर नहीं है, वहां जो साबित किया जा सकता है उसमें अंतर हो सकता है)।
समुच्चय-बिल्डर नोटेशन में परिभाषित अभिव्यक्तियाँ जेडएफसी और एनएफयू दोनों में समझ में आती हैं: यह हो सकता है कि दोनों सिद्धांत प्रमाणित करते हैं कि दी गई परिभाषा सफल होती है, या दोनों में से कोई भी ऐसा नहीं करता है (अभिव्यक्ति <math>\{x \mid x\not\in x\}</math> शास्त्रीय तर्क के साथ किसी भी समुच्चय सिद्धांत में किसी भी चीज़ को संदर्भित करने में विफल रहता है; वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत जैसे [[वर्ग (सेट सिद्धांत)|वर्ग (समुच्चय सिद्धांत)]] सिद्धांतों में यह संकेतन  वर्ग को संदर्भित करता है, किन्तु इसे अलग तरह से परिभाषित किया जाता है), या कि  करता है और दूसरा नहीं करता है। इसके अतिरिक्त, जेडएफसी और एनएफयू में  ही तरह से परिभाषित  वस्तु के दो सिद्धांतों में भिन्न-भिन्न गुण हो सकते हैं (या जहां उनके गुणों के मध्य कोई सिद्ध अंतर नहीं है, वहां जो साबित किया जा सकता है उसमें अंतर हो सकता है)।


इसके अतिरिक्त, समुच्चय सिद्धांत गणित की अन्य शाखाओं (इरादे में, गणित की सभी शाखाओं) से अवधारणाओं को आयात करता है। कुछ मामलों में, जेडएफसी और एनएफयू में अवधारणाओं को आयात करने के विभिन्न तरीके हैं। उदाहरण के लिए, पहली अनंत क्रमवाचक संख्या की सामान्य परिभाषा <math>\omega</math> जेडएफसी में एनएफयू के लिए उपयुक्त नहीं है क्योंकि ऑब्जेक्ट (विशुद्ध रूप से समुच्चय सैद्धांतिक भाषा में सभी परिमित [[वॉन न्यूमैन ऑर्डिनल]]्स के समुच्चय के रूप में परिभाषित) को एनएफयू में उपस्थित नहीं दिखाया जा सकता है। की सामान्य परिभाषा <math>\omega</math> एनएफयू में (विशुद्ध रूप से समुच्चय सैद्धांतिक भाषा में) सभी अनंत सु-क्रमों का समुच्चय है, जिनके सभी उचित प्रारंभिक खंड परिमित हैं, वस्तु जिसे जेडएफसी में उपस्थित नहीं दिखाया जा सकता है। ऐसी आयातित वस्तुओं के मामले में, अलग-अलग परिभाषाएँ हो सकती हैं, जेडएफसी और संबंधित सिद्धांतों में उपयोग के लिए, और एनएफयू और संबंधित सिद्धांतों में उपयोग के लिए। आयातित गणितीय अवधारणाओं के ऐसे कार्यान्वयन को समझने के लिए, यह दिखाने में सक्षम होना आवश्यक है कि दो समानांतर व्याख्याओं में अपेक्षित गुण हैं: उदाहरण के लिए, जेडएफसी और एनएफयू में प्राकृतिक संख्याओं के कार्यान्वयन अलग-अलग हैं, किन्तु दोनों ही गणितीय संरचना के कार्यान्वयन हैं, क्योंकि दोनों में [[पीनो अंकगणित]] के सभी आदिमों के लिए परिभाषाएं सम्मिलित हैं और पीनो सिद्धांतों को संतुष्ट (अनुवाद) करते हैं। तब यह तुलना करना संभव है कि दो सिद्धांतों में क्या होता है जब केवल समुच्चय सैद्धांतिक भाषा का उपयोग किया जाता है, जब तक कि जेडएफसी के लिए उपयुक्त परिभाषाओं को जेडएफसी संदर्भ में उपयोग किया जाना समझा जाता है और एनएफयू के लिए उपयुक्त परिभाषाओं को एनएफयू संदर्भ में उपयोग किया जाना समझा जाता है।
इसके अतिरिक्त, समुच्चय सिद्धांत गणित की अन्य शाखाओं (निश्चय में, गणित की सभी शाखाओं) से अवधारणाओं को आयात करता है। कुछ स्थितियों में, जेडएफसी और एनएफयू में अवधारणाओं को आयात करने के विभिन्न प्रकार हैं। उदाहरण के लिए, प्रथम अनंत क्रमवाचक संख्या की सामान्य परिभाषा जेडएफसी में  <math>\omega</math> एनएफयू के लिए उपयुक्त नहीं है क्योंकि ऑब्जेक्ट (विशुद्ध रूप से समुच्चय सैद्धांतिक भाषा में सभी परिमित [[वॉन न्यूमैन ऑर्डिनल|वॉन न्यूमैन ऑर्डिनल्स]] के समुच्चय के रूप में परिभाषित) को एनएफयू में उपस्थित नहीं दिखाया जा सकता है। सामान्य परिभाषा एनएफयू में  <math>\omega</math> (विशुद्ध रूप से समुच्चय सैद्धांतिक भाषा में) सभी अनंत सु-क्रमों का समुच्चय है, जिनके सभी उचित प्रारंभिक खंड परिमित हैं, वस्तु जिसे जेडएफसी में उपस्थित नहीं दिखाया जा सकता है। ऐसी आयातित वस्तुओं की स्थिति में, भिन्न-भिन्न परिभाषाएँ हो सकती हैं, जेडएफसी और संबंधित सिद्धांतों में उपयोग के लिए, और एनएफयू और संबंधित सिद्धांतों में उपयोग के लिए हैं। आयातित गणितीय अवधारणाओं के ऐसे कार्यान्वयन को समझने के लिए, यह दिखाने में सक्षम होना आवश्यक है कि दो समानांतर व्याख्याओं में अपेक्षित गुण हैं: उदाहरण के लिए, जेडएफसी और एनएफयू में प्राकृतिक संख्याओं के कार्यान्वयन भिन्न-भिन्न हैं, किन्तु दोनों समान गणितीय संरचना के कार्यान्वयन हैं, क्योंकि दोनों में [[पीनो अंकगणित]] के सभी आदिमों के लिए परिभाषाएं सम्मिलित हैं और पीनो सिद्धांतों को संतुष्ट (अनुवाद) करते हैं। तब यह तुलना करना संभव है कि दो सिद्धांतों में क्या होता है जब केवल समुच्चय सैद्धांतिक भाषा का उपयोग किया जाता है, जब तक कि जेडएफसी के लिए उपयुक्त परिभाषाओं को जेडएफसी संदर्भ में उपयोग किया जाना समझा जाता है और एनएफयू के लिए उपयुक्त परिभाषाओं को एनएफयू संदर्भ में उपयोग किया जाना समझा जाता है।


किसी सिद्धांत में जो कुछ भी अस्तित्व में साबित होता है वह उस सिद्धांत के किसी भी विस्तार में स्पष्ट रूप से उपस्थित होता है; इसके अतिरिक्त, इस प्रमाण का विश्लेषण कि किसी दिए गए सिद्धांत में कोई वस्तु उपस्थित है, यह दिखा सकता है कि यह उस सिद्धांत के कमजोर संस्करणों में उपस्थित है (उदाहरण के लिए, इस लेख में जो कुछ किया गया है, उसके लिए कोई जेडएफसी के अतिरिक्त ज़र्मेलो समुच्चय सिद्धांत पर विचार कर सकता है)।
किसी सिद्धांत में जो कुछ भी अस्तित्व में प्रमाणित होता है वह उस सिद्धांत के किसी भी विस्तार में स्पष्ट रूप से उपस्थित होता है; इसके अतिरिक्त, इस प्रमाण का विश्लेषण कि किसी दिए गए सिद्धांत में कोई वस्तु उपस्थित है, यह दिखा सकता है कि यह उस सिद्धांत के कमजोर संस्करणों में उपस्थित है (उदाहरण के लिए, इस लेख में जो कुछ किया गया है, उसके लिए कोई जेडएफसी के अतिरिक्त ज़र्मेलो समुच्चय सिद्धांत पर विचार कर सकता है)।


== [[खाली सेट|रिक्त समुच्चय]], सिंगलटन, अव्यवस्थित जोड़े और टुपल्स ==
== [[खाली सेट|रिक्त समुच्चय]], सिंगलटन, अव्यवस्थित जोड़े और टुपल्स ==
Line 82: Line 82:
* रेखीय क्रम यदि <math>R</math>  आंशिक आदेश है और प्रत्येक के लिए <math>x, y</math> के क्षेत्र में <math>R</math>, दोनों में से  <math>xRy</math> या <math>yRx</math>.
* रेखीय क्रम यदि <math>R</math>  आंशिक आदेश है और प्रत्येक के लिए <math>x, y</math> के क्षेत्र में <math>R</math>, दोनों में से  <math>xRy</math> या <math>yRx</math>.
* सुव्यवस्थित यदि <math>R</math>  रेखीय क्रम है और अच्छी तरह से स्थापित है।
* सुव्यवस्थित यदि <math>R</math>  रेखीय क्रम है और अच्छी तरह से स्थापित है।
* समुच्चय चित्र यदि <math>R</math> अच्छी तरह से स्थापित और विस्तारित है, और का क्षेत्र <math>R</math> या तो इसके सदस्यों में से  के नीचे की ओर बंद होने के बराबर है (जिसे इसका शीर्ष तत्व कहा जाता है), या खाली है।
* समुच्चय चित्र यदि <math>R</math> अच्छी तरह से स्थापित और विस्तारित है, और का क्षेत्र <math>R</math> या तो इसके सदस्यों में से  के नीचे की ओर बंद होने के बराबर है (जिसे इसका शीर्ष तत्व कहा जाता है), या रिक्त है।


== फलन ==
== फलन ==
कार्यात्मक संबंध द्विआधारी विधेय है <math>F</math> ऐसा है कि <math>\forall x, y, z\,\left(xFy \wedge xFz \to y = z\right).</math> इस तरह के संबंध (गणित) ([[विधेय (तर्क)]]) को  संबंध (सेट) के रूप में लागू किया जाता है जैसा कि पिछले अनुभाग में वर्णित है। तो विधेय <math>F</math> समुच्चय द्वारा कार्यान्वित किया जाता है <math>\left\{\left(x, y\right) : xFy\right\}</math>.  रिश्ता <math>F</math>  फलन है यदि और केवल यदि <math>\forall x, y, z\,\left(\left(x, y\right) \in F \wedge \left(x, z\right) \in F \to y = z\right).</math> इसलिए वैल्यू फलन को परिभाषित करना संभव है <math>F\!\left(x\right)</math> अद्वितीय वस्तु के रूप में <math>y</math> ऐसा है कि <math>xFy</math>- अर्थात।:  <math>x</math> है <math>F</math>-संदर्भ के <math>y</math> ऐसा कि रिश्ता <math>f</math> के मध्य रखता है <math>x</math> और <math>y</math>– या अद्वितीय वस्तु के रूप में <math>y</math> ऐसा है कि <math>\left(x, y\right) \in F</math>. कार्यात्मक विधेय के दोनों सिद्धांतों में उपस्थिति जो समुच्चय नहीं हैं, नोटेशन की अनुमति देना उपयोगी बनाती है <math>F\!\left(x\right)</math> दोनों समुच्चय के लिए <math>F</math> और महत्वपूर्ण कार्यात्मक विधेय के लिए। जब तक कोई बाद के अर्थों में कार्यों की मात्रा निर्धारित नहीं करता है, तब तक ऐसे सभी उपयोग सैद्धांतिक रूप से समाप्त करने योग्य हैं।
कार्यात्मक संबंध द्विआधारी विधेय है <math>F</math> ऐसा है कि <math>\forall x, y, z\,\left(xFy \wedge xFz \to y = z\right).</math> इस तरह के संबंध (गणित) ([[विधेय (तर्क)]]) को  संबंध (समुच्चय) के रूप में लागू किया जाता है जैसा कि पिछले अनुभाग में वर्णित है। तो विधेय <math>F</math> समुच्चय द्वारा कार्यान्वित किया जाता है <math>\left\{\left(x, y\right) : xFy\right\}</math>.  रिश्ता <math>F</math>  फलन है यदि और केवल यदि <math>\forall x, y, z\,\left(\left(x, y\right) \in F \wedge \left(x, z\right) \in F \to y = z\right).</math> इसलिए वैल्यू फलन को परिभाषित करना संभव है <math>F\!\left(x\right)</math> अद्वितीय वस्तु के रूप में <math>y</math> ऐसा है कि <math>xFy</math>- अर्थात।:  <math>x</math> है <math>F</math>-संदर्भ के <math>y</math> ऐसा कि रिश्ता <math>f</math> के मध्य रखता है <math>x</math> और <math>y</math>– या अद्वितीय वस्तु के रूप में <math>y</math> ऐसा है कि <math>\left(x, y\right) \in F</math>. कार्यात्मक विधेय के दोनों सिद्धांतों में उपस्थिति जो समुच्चय नहीं हैं, नोटेशन की अनुमति देना उपयोगी बनाती है <math>F\!\left(x\right)</math> दोनों समुच्चय के लिए <math>F</math> और महत्वपूर्ण कार्यात्मक विधेय के लिए। जब तक कोई बाद के अर्थों में कार्यों की मात्रा निर्धारित नहीं करता है, तब तक ऐसे सभी उपयोग सैद्धांतिक रूप से समाप्त करने योग्य हैं।


औपचारिक समुच्चय सिद्धांत के बाहर, हम सामान्यतः  फलन को उसके डोमेन और कोडोमेन के संदर्भ में निर्दिष्ट करते हैं, जैसा कि वाक्यांश लेट में है <math>f: A \to B</math>  समारोह हो. किसी फलन का डोमेन  संबंध के रूप में उसका डोमेन ही होता है, किन्तु हमने अभी तक किसी फलन के कोडोमेन को परिभाषित नहीं किया है। ऐसा करने के लिए हम उस शब्दावली का परिचय देते हैं जिससे कोई फलन बनता है <math>A</math> को <math>B</math>यदि इसका डोमेन बराबर है <math>A</math> और इसकी सीमा इसमें निहित है <math>B</math>. इस प्रकार, प्रत्येक फलन अपने डोमेन से लेकर अपनी सीमा तक  फलन और  फलन होता है <math>f</math> से <math>A</math> को <math>B</math> से भी  फलन है <math>A</math> को <math>C</math> किसी भी समुच्चय के लिए <math>C</math> युक्त <math>B</math>.
औपचारिक समुच्चय सिद्धांत के बाहर, हम सामान्यतः  फलन को उसके डोमेन और कोडोमेन के संदर्भ में निर्दिष्ट करते हैं, जैसा कि वाक्यांश लेट में है <math>f: A \to B</math>  समारोह हो. किसी फलन का डोमेन  संबंध के रूप में उसका डोमेन ही होता है, किन्तु हमने अभी तक किसी फलन के कोडोमेन को परिभाषित नहीं किया है। ऐसा करने के लिए हम उस शब्दावली का परिचय देते हैं जिससे कोई फलन बनता है <math>A</math> को <math>B</math>यदि इसका डोमेन बराबर है <math>A</math> और इसकी सीमा इसमें निहित है <math>B</math>. इस प्रकार, प्रत्येक फलन अपने डोमेन से लेकर अपनी सीमा तक  फलन और  फलन होता है <math>f</math> से <math>A</math> को <math>B</math> से भी  फलन है <math>A</math> को <math>C</math> किसी भी समुच्चय के लिए <math>C</math> युक्त <math>B</math>.
Line 96: Line 96:


=== कार्यों पर संचालन ===
=== कार्यों पर संचालन ===
होने देना <math>f</math> और <math>g</math> मनमाना कार्य हो. की [[कार्य संरचना]] <math>f</math> और <math>g</math>, <math>g \circ f</math>, को सापेक्ष उत्पाद के रूप में परिभाषित किया गया है <math>f\,|\,g</math>, किन्तु केवल तभी जब इसका परिणाम ऐसा कोई फलन हो <math>g \circ f</math> के साथ भी  फलन है <math>\left(g \circ f\right)\!\left(x\right) = g\!\left(f\!\left(x\right)\right)</math>, यदि की सीमा <math>f</math> के डोमेन का  उपसमुच्चय है <math>g</math>. का उलटा कार्य <math>f</math>, <math>f^\left(-1\right)</math>, को इसके विपरीत संबंध के रूप में परिभाषित किया गया है <math>f</math> यदि यह  फलन है. कोई भी समुच्चय दिया गया <math>A</math>, पहचान समारोह <math>i_A</math> समुच्चय है <math>\left\{\left(x, x\right) \mid x \in A\right\}</math>, और यह अलग-अलग कारणों से जेडएफसी और एनएफयू दोनों में  समुच्चय है।
होने देना <math>f</math> और <math>g</math> मनमाना कार्य हो. की [[कार्य संरचना]] <math>f</math> और <math>g</math>, <math>g \circ f</math>, को सापेक्ष उत्पाद के रूप में परिभाषित किया गया है <math>f\,|\,g</math>, किन्तु केवल तभी जब इसका परिणाम ऐसा कोई फलन हो <math>g \circ f</math> के साथ भी  फलन है <math>\left(g \circ f\right)\!\left(x\right) = g\!\left(f\!\left(x\right)\right)</math>, यदि की सीमा <math>f</math> के डोमेन का  उपसमुच्चय है <math>g</math>. का उलटा कार्य <math>f</math>, <math>f^\left(-1\right)</math>, को इसके विपरीत संबंध के रूप में परिभाषित किया गया है <math>f</math> यदि यह  फलन है. कोई भी समुच्चय दिया गया <math>A</math>, पहचान समारोह <math>i_A</math> समुच्चय है <math>\left\{\left(x, x\right) \mid x \in A\right\}</math>, और यह भिन्न-भिन्न कारणों से जेडएफसी और एनएफयू दोनों में  समुच्चय है।


=== विशेष प्रकार के कार्य ===
=== विशेष प्रकार के कार्य ===
Line 128: Line 128:
जेडएफसी के अनंत का अभिगृहीत हमें बताता है कि  समुच्चय A है जिसमें सम्मिलित है <math>\emptyset</math> और सम्मिलित है <math>y \cup \{y\}</math> प्रत्येक के लिए <math>y \in A</math>. यह समुच्चय ए विशिष्ट रूप से निर्धारित नहीं है (इस क्लोजर प्रॉपर्टी को संरक्षित करते हुए इसे बड़ा बनाया जा सकता है): प्राकृतिक संख्याओं का समुच्चय एन है
जेडएफसी के अनंत का अभिगृहीत हमें बताता है कि  समुच्चय A है जिसमें सम्मिलित है <math>\emptyset</math> और सम्मिलित है <math>y \cup \{y\}</math> प्रत्येक के लिए <math>y \in A</math>. यह समुच्चय ए विशिष्ट रूप से निर्धारित नहीं है (इस क्लोजर प्रॉपर्टी को संरक्षित करते हुए इसे बड़ा बनाया जा सकता है): प्राकृतिक संख्याओं का समुच्चय एन है
*<math>\{x \in A \mid \forall B\,(\emptyset \in B \wedge \forall y\,(y \in B \rightarrow y \cup \{y\} \in B) \rightarrow x \in B)\}</math>
*<math>\{x \in A \mid \forall B\,(\emptyset \in B \wedge \forall y\,(y \in B \rightarrow y \cup \{y\} \in B) \rightarrow x \in B)\}</math>
जो सभी सेटों का प्रतिच्छेदन है जिसमें खाली समुच्चय होता है और उत्तराधिकारी ऑपरेशन के तहत बंद होता है <math>y \mapsto y \cup \{y\}</math>.
जो सभी समुच्चयों का प्रतिच्छेदन है जिसमें रिक्त समुच्चय होता है और उत्तराधिकारी ऑपरेशन के तहत बंद होता है <math>y \mapsto y \cup \{y\}</math>.


जेडएफसी में,  समुच्चय <math>A</math> यदि और केवल यदि है तो ही सीमित है <math>n \in N</math> ऐसा है कि <math>|n|=|A|</math>: आगे, परिभाषित करें <math>|A|</math> परिमित A के लिए यह n के रूप में। (यह साबित किया जा सकता है कि कोई भी दो अलग-अलग प्राकृतिक संख्याएँ समान आकार की नहीं हैं)।
जेडएफसी में,  समुच्चय <math>A</math> यदि और केवल यदि है तो ही सीमित है <math>n \in N</math> ऐसा है कि <math>|n|=|A|</math>: आगे, परिभाषित करें <math>|A|</math> परिमित A के लिए यह n के रूप में। (यह साबित किया जा सकता है कि कोई भी दो भिन्न-भिन्न प्राकृतिक संख्याएँ समान आकार की नहीं हैं)।


अंकगणित की सामान्य संक्रियाओं को पुनरावर्ती रूप से और उस शैली के समान परिभाषित किया जा सकता है जिसमें प्राकृतिक संख्याओं के समुच्चय को परिभाषित किया जाता है। उदाहरण के लिए, + (प्राकृतिक संख्याओं पर जोड़ संक्रिया) को सबसे छोटे समुच्चय के रूप में परिभाषित किया जा सकता है <math>((x,\emptyset),x)</math> प्रत्येक प्राकृतिक संख्या के लिए <math>x</math> और सम्मिलित है <math>((x,y \cup \{y\}),z \cup \{z\})</math> जब भी इसमें सम्मिलित है <math>((x,y),z)</math>.
अंकगणित की सामान्य संक्रियाओं को पुनरावर्ती रूप से और उस शैली के समान परिभाषित किया जा सकता है जिसमें प्राकृतिक संख्याओं के समुच्चय को परिभाषित किया जाता है। उदाहरण के लिए, + (प्राकृतिक संख्याओं पर जोड़ संक्रिया) को सबसे छोटे समुच्चय के रूप में परिभाषित किया जा सकता है <math>((x,\emptyset),x)</math> प्रत्येक प्राकृतिक संख्या के लिए <math>x</math> और सम्मिलित है <math>((x,y \cup \{y\}),z \cup \{z\})</math> जब भी इसमें सम्मिलित है <math>((x,y),z)</math>.


एनएफयू में, यह स्पष्ट नहीं है कि उत्तराधिकारी ऑपरेशन के बाद से इस दृष्टिकोण का उपयोग किया जा सकता है <math>y \cup \{y\}</math> अस्थिर है और इसलिए ऊपर परिभाषित समुच्चय एन को एनएफयू में उपस्थित नहीं दिखाया जा सकता है (यह एनएफयू में उपस्थित परिमित वॉन न्यूमैन ऑर्डिनल्स के समुच्चय के लिए सुसंगत है, किन्तु यह सिद्धांत को मजबूत करता है, क्योंकि इस समुच्चय का अस्तित्व गणना के सिद्धांत का तात्पर्य है (जिसके लिए नीचे या न्यू फ़ाउंडेशन लेख देखें))।
एनएफयू में, यह स्पष्ट नहीं है कि उत्तराधिकारी ऑपरेशन के बाद से इस दृष्टिकोण का उपयोग किया जा सकता है <math>y \cup \{y\}</math> अस्थिर है और इसलिए ऊपर परिभाषित समुच्चय एन को एनएफयू में उपस्थित नहीं दिखाया जा सकता है (यह एनएफयू में उपस्थित परिमित वॉन न्यूमैन ऑर्डिनल्स के समुच्चय के लिए सुसंगत है, किन्तु यह सिद्धांत को दृढ़ करता है, क्योंकि इस समुच्चय का अस्तित्व गणना के सिद्धांत का तात्पर्य है (जिसके लिए नीचे या न्यू फ़ाउंडेशन लेख देखें))।


प्राकृतिक संख्याओं की मानक परिभाषा, जो वास्तव में प्राकृतिक संख्याओं की सबसे पुरानी सेट-सैद्धांतिक परिभाषा है, समतुल्यता के तहत परिमित सेटों के समतुल्य वर्गों के रूप में है। मूल रूप से वही परिभाषा नई नींव के लिए उपयुक्त है (यह सामान्य परिभाषा नहीं है, किन्तु परिणाम समान हैं): फिन को परिभाषित करें, परिमित समुच्चय का सेट, जैसे
प्राकृतिक संख्याओं की मानक परिभाषा, जो वास्तव में प्राकृतिक संख्याओं की सबसे पुरानी समुच्चय-सैद्धांतिक परिभाषा है, समतुल्यता के तहत परिमित समुच्चयों के समतुल्य वर्गों के रूप में है। मूल रूप से वही परिभाषा नई नींव के लिए उपयुक्त है (यह सामान्य परिभाषा नहीं है, किन्तु परिणाम समान हैं): फिन को परिभाषित करें, परिमित समुच्चय का समुच्चय, जैसे
:<math>\{A \mid \forall F\,(\emptyset \in F \wedge \forall x,y\,(x \in F \rightarrow x \cup \{y\} \in F) \rightarrow A \in F)\}</math>
:<math>\{A \mid \forall F\,(\emptyset \in F \wedge \forall x,y\,(x \in F \rightarrow x \cup \{y\} \in F) \rightarrow A \in F)\}</math>
किसी भी समुच्चय के लिए <math>A \in Fin</math>, परिभाषित करना <math>|A|</math> जैसा <math>\{B \mid A \sim B\}</math>. N को समुच्चय के रूप में परिभाषित करें <math>\{|A| \mid A \in Fin\}</math>.
किसी भी समुच्चय के लिए <math>A \in Fin</math>, परिभाषित करना <math>|A|</math> जैसा <math>\{B \mid A \sim B\}</math>. N को समुच्चय के रूप में परिभाषित करें <math>\{|A| \mid A \in Fin\}</math>.
Line 152: Line 152:
समुच्चय सिद्धांत में अमूर्तता को लागू करने की  सामान्य तकनीक समतुल्य वर्गों का उपयोग है। यदि  तुल्यता संबंध आर हमें बताता है कि इसके क्षेत्र ए के तत्व कुछ विशेष संबंध में समान हैं, तो किसी भी समुच्चय ्स के लिए, समुच्चय पर विचार करें <math>[x]_R=\{y \in A \mid x R y\}</math> केवल उन विशेषताओं का सम्मान करते हुए समुच्चय x से  अमूर्तता का प्रतिनिधित्व करते हुए (A से R [[तक]] के तत्वों की पहचान करें)।
समुच्चय सिद्धांत में अमूर्तता को लागू करने की  सामान्य तकनीक समतुल्य वर्गों का उपयोग है। यदि  तुल्यता संबंध आर हमें बताता है कि इसके क्षेत्र ए के तत्व कुछ विशेष संबंध में समान हैं, तो किसी भी समुच्चय ्स के लिए, समुच्चय पर विचार करें <math>[x]_R=\{y \in A \mid x R y\}</math> केवल उन विशेषताओं का सम्मान करते हुए समुच्चय x से  अमूर्तता का प्रतिनिधित्व करते हुए (A से R [[तक]] के तत्वों की पहचान करें)।


किसी भी समुच्चय ए के लिए, समुच्चय <math>P</math> ''ए'' का  विभाजन है यदि ''पी'' के सभी तत्व गैर-रिक्त हैं, ''पी'' के कोई भी दो अलग-अलग तत्व असंयुक्त हैं, और <math>A=\bigcup P</math>.
किसी भी समुच्चय ए के लिए, समुच्चय <math>P</math> ''ए'' का  विभाजन है यदि ''पी'' के सभी तत्व गैर-रिक्त हैं, ''पी'' के कोई भी दो भिन्न-भिन्न तत्व असंयुक्त हैं, और <math>A=\bigcup P</math>.


फ़ील्ड ए के साथ प्रत्येक तुल्यता संबंध आर के लिए, <math>\{[x]_R \mid x \in A\}</math> ए का  विभाजन है। इसके अतिरिक्त, ए का प्रत्येक विभाजन पी  तुल्यता संबंध निर्धारित करता है <math>\{(x,y) \mid \exists A \in P\,(x \in A \wedge y \in A)\}</math>.
फ़ील्ड ए के साथ प्रत्येक तुल्यता संबंध आर के लिए, <math>\{[x]_R \mid x \in A\}</math> ए का  विभाजन है। इसके अतिरिक्त, ए का प्रत्येक विभाजन पी  तुल्यता संबंध निर्धारित करता है <math>\{(x,y) \mid \exists A \in P\,(x \in A \wedge y \in A)\}</math>.


इस तकनीक की जेडएफसी और न्यू फ़ाउंडेशन दोनों में सीमाएँ हैं। जेडएफसी में, चूंकि ब्रह्मांड  समुच्चय नहीं है, इसलिए केवल छोटे डोमेन के तत्वों से सुविधाओं को अमूर्त करना संभव लगता है। [[दाना स्कॉट]] के कारण  चाल का उपयोग करके इसे टाला जा सकता है: यदि आर ब्रह्मांड पर  तुल्यता संबंध है, तो परिभाषित करें <math>[x]_R</math> जैसे कि आप सभी का समुच्चय ऐसा है <math>y R x</math> और y की [[ रैंक (सेट सिद्धांत) | श्रेणी(समुच्चय सिद्धांत)]] किसी की श्रेणीसे कम या उसके बराबर है <math>z R x</math>. यह काम करता है क्योंकि श्रेणीसमुच्चय हैं। बेशक, अभी भी  उचित वर्ग हो सकता है <math>[x]_R</math>'एस। एनएफयू में, मुख्य कठिनाई यही है <math>[x]_R</math> x से  प्रकार अधिक है, उदाहरण के लिए मानचित्र <math>x \mapsto [x]_R</math> सामान्यतः यह  (सेट) फलन नहीं है (चूँकि <math>\{x\} \mapsto [x]_R</math>  समुच्चय है) प्रतिस्थापित करने के लिए प्रत्येक समकक्ष वर्ग से  प्रतिनिधि का चयन करने के लिए पसंद के सिद्धांत के उपयोग से इसे टाला जा सकता है <math>[x]_R</math>, जो x के समान प्रकार में होगा, या  कैनोनिकल प्रतिनिधि चुनकर यदि चॉइस को लागू किए बिना ऐसा करने का कोई तरीका है (जेडएफसी में प्रतिनिधियों का उपयोग शायद ही अज्ञात है)। एनएफयू में, सामान्य सेटों के अमूर्त गुणों के लिए समतुल्य वर्ग निर्माणों का उपयोग अधिक सामान्य है, उदाहरण के लिए नीचे कार्डिनल और क्रमिक संख्या की परिभाषाओं में।
इस तकनीक की जेडएफसी और न्यू फ़ाउंडेशन दोनों में सीमाएँ हैं। जेडएफसी में, चूंकि ब्रह्मांड  समुच्चय नहीं है, इसलिए केवल छोटे डोमेन के तत्वों से सुविधाओं को अमूर्त करना संभव लगता है। [[दाना स्कॉट]] के कारण  चाल का उपयोग करके इसे टाला जा सकता है: यदि आर ब्रह्मांड पर  तुल्यता संबंध है, तो परिभाषित करें <math>[x]_R</math> जैसे कि आप सभी का समुच्चय ऐसा है <math>y R x</math> और y की [[ रैंक (सेट सिद्धांत) | श्रेणी(समुच्चय सिद्धांत)]] किसी की श्रेणीसे कम या उसके बराबर है <math>z R x</math>. यह काम करता है क्योंकि श्रेणीसमुच्चय हैं। बेशक, अभी भी  उचित वर्ग हो सकता है <math>[x]_R</math>'एस। एनएफयू में, मुख्य कठिनाई यही है <math>[x]_R</math> x से  प्रकार अधिक है, उदाहरण के लिए मानचित्र <math>x \mapsto [x]_R</math> सामान्यतः यह  (समुच्चय) फलन नहीं है (चूँकि <math>\{x\} \mapsto [x]_R</math>  समुच्चय है) प्रतिस्थापित करने के लिए प्रत्येक समकक्ष वर्ग से  प्रतिनिधि का चयन करने के लिए पसंद के सिद्धांत के उपयोग से इसे टाला जा सकता है <math>[x]_R</math>, जो x के समान प्रकार में होगा, या  कैनोनिकल प्रतिनिधि चुनकर यदि चॉइस को लागू किए बिना ऐसा करने का कोई तरीका है (जेडएफसी में प्रतिनिधियों का उपयोग शायद ही अज्ञात है)। एनएफयू में, सामान्य समुच्चयों के अमूर्त गुणों के लिए समतुल्य वर्ग निर्माणों का उपयोग अधिक सामान्य है, उदाहरण के लिए नीचे कार्डिनल और क्रमिक संख्या की परिभाषाओं में।


==क्रमिक संख्या ==
==क्रमिक संख्या ==
Line 177: Line 177:


सभी सुव्यवस्थित ऑर्डरों के लिए ऑर्डर प्रकारों का अस्तित्व ज़र्मेलो समुच्चय सिद्धांत का प्रमेय नहीं है: इसके लिए प्रतिस्थापन के सिद्धांत की आवश्यकता होती है। यहां तक ​​कि स्कॉट की चाल का उपयोग ज़र्मेलो समुच्चय सिद्धांत में अतिरिक्त धारणा के बिना नहीं किया जा सकता है (जैसे कि यह धारणा कि प्रत्येक समुच्चय  श्रेणी(समुच्चय सिद्धांत) से संबंधित है जो  समुच्चय है, जो अनिवार्य रूप से नहीं है
सभी सुव्यवस्थित ऑर्डरों के लिए ऑर्डर प्रकारों का अस्तित्व ज़र्मेलो समुच्चय सिद्धांत का प्रमेय नहीं है: इसके लिए प्रतिस्थापन के सिद्धांत की आवश्यकता होती है। यहां तक ​​कि स्कॉट की चाल का उपयोग ज़र्मेलो समुच्चय सिद्धांत में अतिरिक्त धारणा के बिना नहीं किया जा सकता है (जैसे कि यह धारणा कि प्रत्येक समुच्चय  श्रेणी(समुच्चय सिद्धांत) से संबंधित है जो  समुच्चय है, जो अनिवार्य रूप से नहीं है
ज़र्मेलो समुच्चय सिद्धांत को मजबूत करें किन्तु यह उस सिद्धांत का प्रमेय नहीं है)।
ज़र्मेलो समुच्चय सिद्धांत को दृढ़ करें किन्तु यह उस सिद्धांत का प्रमेय नहीं है)।


एनएफयू में, सभी अध्यादेशों का संग्रह स्तरीकृत समझ द्वारा  समुच्चय है। बुराली-फोर्टी विरोधाभास को अप्रत्याशित तरीके से टाला गया है। द्वारा परिभाषित अध्यादेशों पर  प्राकृतिक क्रम है <math>\alpha\leq \beta</math> यदि और केवल यदि कुछ (और कोई भी) <math>W_1 \in \alpha</math> कुछ (और किसी भी) के प्रारंभिक खंड के समान है <math>W_2\in \beta</math>. इसके अतिरिक्त, यह दिखाया जा सकता है कि यह प्राकृतिक क्रम क्रमसूचकों का  सुव्यवस्थित क्रम है और इसलिए इसमें  क्रम प्रकार होना चाहिए <math>\Omega</math>. ऐसा प्रतीत होता है कि क्रमसूचकों का क्रम प्रकार कम से कम है
एनएफयू में, सभी अध्यादेशों का संग्रह स्तरीकृत समझ द्वारा  समुच्चय है। बुराली-फोर्टी विरोधाभास को अप्रत्याशित तरीके से टाला गया है। द्वारा परिभाषित अध्यादेशों पर  प्राकृतिक क्रम है <math>\alpha\leq \beta</math> यदि और केवल यदि कुछ (और कोई भी) <math>W_1 \in \alpha</math> कुछ (और किसी भी) के प्रारंभिक खंड के समान है <math>W_2\in \beta</math>. इसके अतिरिक्त, यह दिखाया जा सकता है कि यह प्राकृतिक क्रम क्रमसूचकों का  सुव्यवस्थित क्रम है और इसलिए इसमें  क्रम प्रकार होना चाहिए <math>\Omega</math>. ऐसा प्रतीत होता है कि क्रमसूचकों का क्रम प्रकार कम से कम है
Line 188: Line 188:
=== विषयांतर: एनएफयू में वॉन न्यूमैन ऑर्डिनल्स ===
=== विषयांतर: एनएफयू में वॉन न्यूमैन ऑर्डिनल्स ===


न्यू फ़ाउंडेशन में वॉन न्यूमैन ऑर्डिनल्स के बारे में तर्क करना संभव है। याद रखें कि वॉन न्यूमैन ऑर्डिनल  सकर्मक समुच्चय ए है जैसे कि ए की सदस्यता का प्रतिबंध  सख्त सुव्यवस्थित है। एनएफयू संदर्भ में यह काफी मजबूत स्थिति है, क्योंकि सदस्यता संबंध में प्रकार का अंतर सम्मिलित है। वॉन न्यूमैन ऑर्डिनल ए एनएफयू के अर्थ में  ऑर्डिनल नहीं है, किन्तु <math>\in\lceil A</math>  क्रमसूचक से संबंधित है <math>\alpha</math> जिसे ऑर्डर प्रकार (सदस्यता) ए कहा जा सकता है। यह दिखाना आसान है कि वॉन न्यूमैन ऑर्डिनल ए का ऑर्डर प्रकार कैंटोरियन है: ऑर्डर प्रकार के किसी भी अच्छे ऑर्डर वाले डब्ल्यू के लिए <math>\alpha</math>, समावेशन द्वारा डब्ल्यू के प्रारंभिक खंडों के प्रेरित सुव्यवस्थित क्रम में ऑर्डर प्रकार होता है <math>T(\alpha)</math> (यह  प्रकार अधिक है, इस प्रकार टी का अनुप्रयोग): किन्तु सदस्यता के आधार पर वॉन न्यूमैन ऑर्डिनल ए के वेल-ऑर्डरिंग के ऑर्डर प्रकार और समावेशन द्वारा इसके प्रारंभिक खंडों के वेल-ऑर्डरिंग स्पष्ट रूप से समान हैं क्योंकि दो वेल-ऑर्डरिंग वास्तव में  ही संबंध हैं, इसलिए ए का ऑर्डर प्रकार टी के तहत तय किया गया है। इसके अतिरिक्त, यही तर्क किसी भी छोटे ऑर्डिनल पर लागू होता है (जो कि ए के प्रारंभिक खंड का ऑर्डर प्रकार होगा, वॉन न्यूमैन ऑर्डिनल भी) इसलिए किसी का ऑर्डर प्रकार वॉन न्यूमैन ऑर्डिनल दृढ़ता से कैंटोरियन है।
न्यू फ़ाउंडेशन में वॉन न्यूमैन ऑर्डिनल्स के बारे में तर्क करना संभव है। याद रखें कि वॉन न्यूमैन ऑर्डिनल  सकर्मक समुच्चय ए है जैसे कि ए की सदस्यता का प्रतिबंध  सख्त सुव्यवस्थित है। एनएफयू संदर्भ में यह काफी दृढ़ स्थिति है, क्योंकि सदस्यता संबंध में प्रकार का अंतर सम्मिलित है। वॉन न्यूमैन ऑर्डिनल ए एनएफयू के अर्थ में  ऑर्डिनल नहीं है, किन्तु <math>\in\lceil A</math>  क्रमसूचक से संबंधित है <math>\alpha</math> जिसे ऑर्डर प्रकार (सदस्यता) ए कहा जा सकता है। यह दिखाना आसान है कि वॉन न्यूमैन ऑर्डिनल ए का ऑर्डर प्रकार कैंटोरियन है: ऑर्डर प्रकार के किसी भी अच्छे ऑर्डर वाले डब्ल्यू के लिए <math>\alpha</math>, समावेशन द्वारा डब्ल्यू के प्रारंभिक खंडों के प्रेरित सुव्यवस्थित क्रम में ऑर्डर प्रकार होता है <math>T(\alpha)</math> (यह  प्रकार अधिक है, इस प्रकार टी का अनुप्रयोग): किन्तु सदस्यता के आधार पर वॉन न्यूमैन ऑर्डिनल ए के वेल-ऑर्डरिंग के ऑर्डर प्रकार और समावेशन द्वारा इसके प्रारंभिक खंडों के वेल-ऑर्डरिंग स्पष्ट रूप से समान हैं क्योंकि दो वेल-ऑर्डरिंग वास्तव में  ही संबंध हैं, इसलिए ए का ऑर्डर प्रकार टी के तहत तय किया गया है। इसके अतिरिक्त, यही तर्क किसी भी छोटे ऑर्डिनल पर लागू होता है (जो कि ए के प्रारंभिक खंड का ऑर्डर प्रकार होगा, वॉन न्यूमैन ऑर्डिनल भी) इसलिए किसी का ऑर्डर प्रकार वॉन न्यूमैन ऑर्डिनल दृढ़ता से कैंटोरियन है।


मात्र वॉन न्यूमैन ऑर्डिनल्स जिन्हें अतिरिक्त मान्यताओं के बिना एनएफयू में उपस्थित दिखाया जा सकता है, वे ठोस परिमित हैं। चूँकि, क्रमपरिवर्तन विधि का अनुप्रयोग एनएफयू के किसी भी प्रारूप को  ऐसे प्रारूप में परिवर्तित कर सकता है जिसमें प्रत्येक दृढ़ता से कैंटोरियन ऑर्डिनल वॉन न्यूमैन ऑर्डिनल का ऑर्डर प्रकार है। इससे पता चलता है कि एनएफयू की दृढ़ता से कैंटोरियन ऑर्डिनल की अवधारणा एनएफयू के स्पष्ट एनालॉग ऑर्डिनल की तुलना में जेडएफसी के ऑर्डिनल का बेहतर एनालॉग हो सकती है।
मात्र वॉन न्यूमैन ऑर्डिनल्स जिन्हें अतिरिक्त मान्यताओं के बिना एनएफयू में उपस्थित दिखाया जा सकता है, वे ठोस परिमित हैं। चूँकि, क्रमपरिवर्तन विधि का अनुप्रयोग एनएफयू के किसी भी प्रारूप को  ऐसे प्रारूप में परिवर्तित कर सकता है जिसमें प्रत्येक दृढ़ता से कैंटोरियन ऑर्डिनल वॉन न्यूमैन ऑर्डिनल का ऑर्डर प्रकार है। इससे पता चलता है कि एनएफयू की दृढ़ता से कैंटोरियन ऑर्डिनल की अवधारणा एनएफयू के स्पष्ट एनालॉग ऑर्डिनल की तुलना में जेडएफसी के ऑर्डिनल का बेहतर एनालॉग हो सकती है।
Line 207: Line 207:
कैंटर का प्रमेय दिखाता है (दोनों सिद्धांतों में) कि अनंत कार्डिनल संख्याओं के मध्य गैर-तुच्छ अंतर हैं। जेडएफसी में,  साबित होता है <math>|A|<|P(A)|.</math> नई नींव में, कैंटर के प्रमेय का सामान्य रूप गलत है (मामले ए = वी पर विचार करें), किन्तु कैंटर का प्रमेय  गलत टाइप किया गया कथन है। न्यू फ़ाउंडेशन में प्रमेय का सही रूप है <math>|P_1(A)|<|P(A)|</math>, कहाँ <math>P_1(A)</math> A के -तत्व उपसमुच्चय का समुच्चय है। <math>|P_1(V)|<|P(V)|</math> दिखाता है कि समुच्चय की तुलना में कम सिंगलटन हैं (स्पष्ट आक्षेप <math>x \mapsto \{x\}</math> से <math>P_1(V)</math> V को पहले ही देखा जा चुका है कि यह समुच्चय नहीं है)। यह वास्तव में एनएफयू + चॉइस में सिद्ध है <math>|P_1(V)|<|P(V)|\ll|V|</math> (कहाँ <math>\ll</math> कई हस्तक्षेप करने वाले कार्डिनलों के अस्तित्व का संकेत देता है; वहाँ अनेक, अनेक मूत्र तत्व हैं!) ऑर्डिनल्स पर टी ऑपरेशन के अनुरूप कार्डिनल्स पर टाइप-रेज़िंग टी ऑपरेशन को परिभाषित करें: <math>T(|A|) = |P_1(A)|</math>; यह कार्डिनल्स का  बाहरी एंडोमोर्फिज्म है, जैसे कि ऑर्डिनल्स पर टी ऑपरेशन, ऑर्डिनल्स का  बाहरी एंडोमोर्फिज्म है।
कैंटर का प्रमेय दिखाता है (दोनों सिद्धांतों में) कि अनंत कार्डिनल संख्याओं के मध्य गैर-तुच्छ अंतर हैं। जेडएफसी में,  साबित होता है <math>|A|<|P(A)|.</math> नई नींव में, कैंटर के प्रमेय का सामान्य रूप गलत है (मामले ए = वी पर विचार करें), किन्तु कैंटर का प्रमेय  गलत टाइप किया गया कथन है। न्यू फ़ाउंडेशन में प्रमेय का सही रूप है <math>|P_1(A)|<|P(A)|</math>, कहाँ <math>P_1(A)</math> A के -तत्व उपसमुच्चय का समुच्चय है। <math>|P_1(V)|<|P(V)|</math> दिखाता है कि समुच्चय की तुलना में कम सिंगलटन हैं (स्पष्ट आक्षेप <math>x \mapsto \{x\}</math> से <math>P_1(V)</math> V को पहले ही देखा जा चुका है कि यह समुच्चय नहीं है)। यह वास्तव में एनएफयू + चॉइस में सिद्ध है <math>|P_1(V)|<|P(V)|\ll|V|</math> (कहाँ <math>\ll</math> कई हस्तक्षेप करने वाले कार्डिनलों के अस्तित्व का संकेत देता है; वहाँ अनेक, अनेक मूत्र तत्व हैं!) ऑर्डिनल्स पर टी ऑपरेशन के अनुरूप कार्डिनल्स पर टाइप-रेज़िंग टी ऑपरेशन को परिभाषित करें: <math>T(|A|) = |P_1(A)|</math>; यह कार्डिनल्स का  बाहरी एंडोमोर्फिज्म है, जैसे कि ऑर्डिनल्स पर टी ऑपरेशन, ऑर्डिनल्स का  बाहरी एंडोमोर्फिज्म है।


समुच्चय ए को केवल मामले में 'कैंटोरियन' कहा जाता है <math>|A| = |P_1(A)| = T(|A|)</math>; कार्डिनल <math>|A|</math> इसे कैंटोरियन कार्डिनल भी कहा जाता है।  समुच्चय ए को 'दृढ़ता से कैंटोरियन' कहा जाता है (और इसका कार्डिनल भी दृढ़ता से कैंटोरियन होता है) केवल उस स्थिति में जब ए पर सिंगलटन मानचित्र का प्रतिबंध होता है (<math>(x \mapsto \{x\})\lceil A</math>)  समुच्चय है. दृढ़तापूर्वक कैंटोरियन सेटों का सुव्यवस्थित क्रम सदैव दृढ़तापूर्वक कैंटोरियन क्रमसूचक होता है; यह हमेशा कैंटोरियन सेटों के सुव्यवस्थित क्रम के बारे में सच नहीं है (चूँकि कैंटोरियन समुच्चय का सबसे छोटा सुक्रमण कैंटोरियन होगा)। कैंटोरियन समुच्चय  ऐसा समुच्चय है जो कैंटोर के प्रमेय के सामान्य रूप को संतुष्ट करता है।
समुच्चय ए को केवल मामले में 'कैंटोरियन' कहा जाता है <math>|A| = |P_1(A)| = T(|A|)</math>; कार्डिनल <math>|A|</math> इसे कैंटोरियन कार्डिनल भी कहा जाता है।  समुच्चय ए को 'दृढ़ता से कैंटोरियन' कहा जाता है (और इसका कार्डिनल भी दृढ़ता से कैंटोरियन होता है) केवल उस स्थिति में जब ए पर सिंगलटन मानचित्र का प्रतिबंध होता है (<math>(x \mapsto \{x\})\lceil A</math>)  समुच्चय है. दृढ़तापूर्वक कैंटोरियन समुच्चयों का सुव्यवस्थित क्रम सदैव दृढ़तापूर्वक कैंटोरियन क्रमसूचक होता है; यह हमेशा कैंटोरियन समुच्चयों के सुव्यवस्थित क्रम के बारे में सच नहीं है (चूँकि कैंटोरियन समुच्चय का सबसे छोटा सुक्रमण कैंटोरियन होगा)। कैंटोरियन समुच्चय  ऐसा समुच्चय है जो कैंटोर के प्रमेय के सामान्य रूप को संतुष्ट करता है।


दोनों सिद्धांतों में कार्डिनल अंकगणित के संचालन को सेट-सैद्धांतिक रूप से प्रेरित तरीके से परिभाषित किया गया है। <math>|A| + |B| = \{C \cup D \mid C \sim A \wedge D \sim B \wedge C \cap D = \emptyset\}</math>. कोई परिभाषित करना चाहेगा <math>|A|\cdot|B|</math> जैसा <math>|A \times B|</math>, और कोई इसे जेडएफसी में करता है, किन्तु कुराटोस्की जोड़ी का उपयोग करते समय नई नींव में  बाधा होती है:  परिभाषित करता है <math>|A|\cdot|B|</math> जैसा <math>T^{-2}(|A \times B|)</math> जोड़ी और उसके प्रक्षेपणों के मध्य 2 के प्रकार के विस्थापन के कारण, जिसका तात्पर्य कार्टेशियन उत्पाद और उसके कारकों के मध्य दो के प्रकार के विस्थापन से है। यह साबित करना सीधा है कि उत्पाद हमेशा उपस्थित रहता है (किन्तु इस पर ध्यान देने की आवश्यकता है क्योंकि T का व्युत्क्रम कुल नहीं है)।
दोनों सिद्धांतों में कार्डिनल अंकगणित के संचालन को समुच्चय-सैद्धांतिक रूप से प्रेरित तरीके से परिभाषित किया गया है। <math>|A| + |B| = \{C \cup D \mid C \sim A \wedge D \sim B \wedge C \cap D = \emptyset\}</math>. कोई परिभाषित करना चाहेगा <math>|A|\cdot|B|</math> जैसा <math>|A \times B|</math>, और कोई इसे जेडएफसी में करता है, किन्तु कुराटोस्की जोड़ी का उपयोग करते समय नई नींव में  बाधा होती है:  परिभाषित करता है <math>|A|\cdot|B|</math> जैसा <math>T^{-2}(|A \times B|)</math> जोड़ी और उसके प्रक्षेपणों के मध्य 2 के प्रकार के विस्थापन के कारण, जिसका तात्पर्य कार्टेशियन उत्पाद और उसके कारकों के मध्य दो के प्रकार के विस्थापन से है। यह साबित करना सीधा है कि उत्पाद हमेशा उपस्थित रहता है (किन्तु इस पर ध्यान देने की आवश्यकता है क्योंकि T का व्युत्क्रम कुल नहीं है)।


कार्डिनल्स पर घातीय ऑपरेशन को परिभाषित करने के लिए आवश्यक तरीके से टी की आवश्यकता होती है: यदि <math>B^A</math> A से B तक फ़ंक्शंस के संग्रह के रूप में परिभाषित किया गया था, यह A या B से तीन प्रकार अधिक है, इसलिए इसे परिभाषित करना उचित है <math>|B|^{|A|}</math> जैसा <math>T^{-3}(|B^A|)</math> ताकि यह A या B के समान प्रकार का हो (<math>T^{-1}</math> के स्थान पर <math>T^{-3}</math> टाइप-स्तरीय जोड़े के साथ)। इसका  प्रभाव यह है कि घातांकीय संक्रिया आंशिक है: उदाहरण के लिए, <math>2^{|V|}</math> अपरिभाषित है. जेडएफसी में  परिभाषित करता है <math>|B|^{|A|}</math> जैसा <math>|B^A|</math> कठिनाई के बिना।
कार्डिनल्स पर घातीय ऑपरेशन को परिभाषित करने के लिए आवश्यक तरीके से टी की आवश्यकता होती है: यदि <math>B^A</math> A से B तक फ़ंक्शंस के संग्रह के रूप में परिभाषित किया गया था, यह A या B से तीन प्रकार अधिक है, इसलिए इसे परिभाषित करना उचित है <math>|B|^{|A|}</math> जैसा <math>T^{-3}(|B^A|)</math> ताकि यह A या B के समान प्रकार का हो (<math>T^{-1}</math> के स्थान पर <math>T^{-3}</math> टाइप-स्तरीय जोड़े के साथ)। इसका  प्रभाव यह है कि घातांकीय संक्रिया आंशिक है: उदाहरण के लिए, <math>2^{|V|}</math> अपरिभाषित है. जेडएफसी में  परिभाषित करता है <math>|B|^{|A|}</math> जैसा <math>|B^A|</math> कठिनाई के बिना।


घातीय ऑपरेशन कुल है और कैंटोरियन कार्डिनल्स पर बिल्कुल अपेक्षित व्यवहार करता है, क्योंकि टी ऐसे कार्डिनल्स को ठीक करता है और यह दिखाना आसान है कि कैंटोरियन सेटों के मध्य  फलन स्पेस कैंटोरियन है (जैसे पावर सेट, कार्टेशियन उत्पाद और अन्य सामान्य प्रकार के कंस्ट्रक्टर हैं)। इससे इस दृष्टिकोण को और प्रोत्साहन मिलता है कि न्यू फ़ाउंडेशन में मानक कार्डिनैलिटीज़ कैंटोरियन (वास्तव में, दृढ़ता से कैंटोरियन) कार्डिनैलिटी हैं, जैसे मानक ऑर्डिनल्स दृढ़ता से कैंटोरियन ऑर्डिनल्स प्रतीत होते हैं।
घातीय ऑपरेशन कुल है और कैंटोरियन कार्डिनल्स पर बिल्कुल अपेक्षित व्यवहार करता है, क्योंकि टी ऐसे कार्डिनल्स को ठीक करता है और यह दिखाना आसान है कि कैंटोरियन समुच्चयों के मध्य  फलन स्पेस कैंटोरियन है (जैसे पावर समुच्चय, कार्टेशियन उत्पाद और अन्य सामान्य प्रकार के कंस्ट्रक्टर हैं)। इससे इस दृष्टिकोण को और प्रोत्साहन मिलता है कि न्यू फ़ाउंडेशन में मानक कार्डिनैलिटीज़ कैंटोरियन (वास्तव में, दृढ़ता से कैंटोरियन) कार्डिनैलिटी हैं, जैसे मानक ऑर्डिनल्स दृढ़ता से कैंटोरियन ऑर्डिनल्स प्रतीत होते हैं।


अब पसंद के स्वयंसिद्ध सहित कार्डिनल अंकगणित के सामान्य प्रमेयों को सिद्ध किया जा सकता है <math>\kappa \cdot \kappa = \kappa</math>. मामले से <math>|V|\cdot |V| = |V|</math>  प्रकार के स्तर पर क्रमित युग्म का अस्तित्व प्राप्त किया जा सकता है: <math>|V| \cdot |V| = T^{-2}(|V \times V|)</math> के बराबर है <math>|V|</math> शायद ज़रुरत पड़े <math>|V \times V| = T^2(|V|) = |P_1^2(V)|</math>, जो कुराटोस्की जोड़ों के मध्य -से- पत्राचार द्वारा देखा जाएगा <math>(a,b)</math> और डबल सिंगलटन <math>\{\{c\}\}</math>: पुनः परिभाषित करें <math>(a,b)</math> जैसा कि सी ऐसा है <math>\{\{c\}\}</math> कुराटोव्स्की से जुड़ा है <math>(a,b)</math>: यह क्रमित युग्म की  प्रकार-स्तरीय धारणा है।
अब पसंद के स्वयंसिद्ध सहित कार्डिनल अंकगणित के सामान्य प्रमेयों को सिद्ध किया जा सकता है <math>\kappa \cdot \kappa = \kappa</math>. मामले से <math>|V|\cdot |V| = |V|</math>  प्रकार के स्तर पर क्रमित युग्म का अस्तित्व प्राप्त किया जा सकता है: <math>|V| \cdot |V| = T^{-2}(|V \times V|)</math> के बराबर है <math>|V|</math> शायद ज़रुरत पड़े <math>|V \times V| = T^2(|V|) = |P_1^2(V)|</math>, जो कुराटोस्की जोड़ों के मध्य -से- पत्राचार द्वारा देखा जाएगा <math>(a,b)</math> और डबल सिंगलटन <math>\{\{c\}\}</math>: पुनः परिभाषित करें <math>(a,b)</math> जैसा कि सी ऐसा है <math>\{\{c\}\}</math> कुराटोव्स्की से जुड़ा है <math>(a,b)</math>: यह क्रमित युग्म की  प्रकार-स्तरीय धारणा है।
Line 219: Line 219:
== स्तरीकरण की गिनती और तोड़फोड़ का सिद्धांत ==
== स्तरीकरण की गिनती और तोड़फोड़ का सिद्धांत ==


इसलिए न्यू फ़ाउंडेशन में प्राकृतिक संख्याओं के दो अलग-अलग कार्यान्वयन हैं (चूँकि वे जेडएफसी में समान हैं): परिमित क्रमसूचक और परिमित कार्डिनल। इनमें से प्रत्येक न्यू फ़ाउंडेशन में  टी ऑपरेशन (मूल रूप से वही ऑपरेशन) का समर्थन करता है। इसे साबित करना आसान है <math>T(n)</math>  प्राकृतिक संख्या है यदि न्यू फ़ाउंडेशन + इन्फिनिटी + चॉइस (और इसी तरह) में n  प्राकृतिक संख्या है <math>|N|</math> और पहला
इसलिए न्यू फ़ाउंडेशन में प्राकृतिक संख्याओं के दो भिन्न-भिन्न कार्यान्वयन हैं (चूँकि वे जेडएफसी में समान हैं): परिमित क्रमसूचक और परिमित कार्डिनल। इनमें से प्रत्येक न्यू फ़ाउंडेशन में  टी ऑपरेशन (मूल रूप से वही ऑपरेशन) का समर्थन करता है। इसे साबित करना आसान है <math>T(n)</math>  प्राकृतिक संख्या है यदि न्यू फ़ाउंडेशन + इन्फिनिटी + चॉइस (और इसी तरह) में n  प्राकृतिक संख्या है <math>|N|</math> और पहला
अनंत क्रमवाचक <math>\omega</math> कैंटोरियन हैं) किन्तु इस सिद्धांत में यह साबित करना संभव नहीं है <math>T(n)=n</math>. चूँकि, सामान्य ज्ञान इंगित करता है कि यह सच होना चाहिए, और इसलिए इसे  स्वयंसिद्ध के रूप में अपनाया जा सकता है:
अनंत क्रमवाचक <math>\omega</math> कैंटोरियन हैं) किन्तु इस सिद्धांत में यह साबित करना संभव नहीं है <math>T(n)=n</math>. चूँकि, सामान्य ज्ञान इंगित करता है कि यह सच होना चाहिए, और इसलिए इसे  स्वयंसिद्ध के रूप में अपनाया जा सकता है:
*रोसेर का गिनती का अभिगृहीत: प्रत्येक प्राकृतिक संख्या ''n'' के लिए, <math>T(n)=n</math>.
*रोसेर का गिनती का अभिगृहीत: प्रत्येक प्राकृतिक संख्या ''n'' के लिए, <math>T(n)=n</math>.
Line 259: Line 259:
एनएफयू में, इसके प्रकार पर ध्यान देने की आवश्यकता है।  समुच्चय I दिया गया है और मूल्यवान फलन A समुच्चय किया गया है जिसका मान at है <math>\{i\}</math> में <math>P_1(I)</math> लिखा है <math>A_i</math>, परिभाषित करना <math>\Pi_{i \in I}A_i</math> डोमेन I के साथ सभी फ़ंक्शंस f के समुच्चय के रूप में ऐसा है <math>f(i) \in A_i</math>: नोटिस जो <math>f(i) \in A_i = A(\{i\})</math> हमारे सम्मेलन के कारण स्तरीकृत किया गया है कि ए सूचकांकों के सिंगलटन पर मान वाला  फलन है। ध्यान दें कि समुच्चय के सबसे बड़े परिवारों (जिन्हें सिंगलटन के समुच्चय द्वारा अनुक्रमित नहीं किया जा सकता) में इस परिभाषा के तहत कार्टेशियन उत्पाद नहीं होंगे। आगे ध्यान दें कि समुच्चय <math>A_i</math> सूचकांक समुच्चय I के समान प्रकार के हैं (क्योंकि इसके तत्वों से  प्रकार अधिक है); उत्पाद, डोमेन I के साथ फ़ंक्शंस के  समुच्चय के रूप में (इसलिए I के समान प्रकार पर)  प्रकार उच्चतर है ( प्रकार-स्तरीय आदेशित जोड़ी मानते हुए)।
एनएफयू में, इसके प्रकार पर ध्यान देने की आवश्यकता है।  समुच्चय I दिया गया है और मूल्यवान फलन A समुच्चय किया गया है जिसका मान at है <math>\{i\}</math> में <math>P_1(I)</math> लिखा है <math>A_i</math>, परिभाषित करना <math>\Pi_{i \in I}A_i</math> डोमेन I के साथ सभी फ़ंक्शंस f के समुच्चय के रूप में ऐसा है <math>f(i) \in A_i</math>: नोटिस जो <math>f(i) \in A_i = A(\{i\})</math> हमारे सम्मेलन के कारण स्तरीकृत किया गया है कि ए सूचकांकों के सिंगलटन पर मान वाला  फलन है। ध्यान दें कि समुच्चय के सबसे बड़े परिवारों (जिन्हें सिंगलटन के समुच्चय द्वारा अनुक्रमित नहीं किया जा सकता) में इस परिभाषा के तहत कार्टेशियन उत्पाद नहीं होंगे। आगे ध्यान दें कि समुच्चय <math>A_i</math> सूचकांक समुच्चय I के समान प्रकार के हैं (क्योंकि इसके तत्वों से  प्रकार अधिक है); उत्पाद, डोमेन I के साथ फ़ंक्शंस के  समुच्चय के रूप में (इसलिए I के समान प्रकार पर)  प्रकार उच्चतर है ( प्रकार-स्तरीय आदेशित जोड़ी मानते हुए)।


अब उत्पाद पर विचार करें <math>\Pi_{i \in I}|A_i|</math> इन सेटों के कार्डिनल्स की। कार्डिनैलिटी |<math>\Pi_{i \in I}A_i</math>| कार्डिनल्स से  प्रकार ऊँचा है <math>|A_i|</math>, इसलिए कार्डिनल्स के अनंत उत्पाद की सही परिभाषा है <math>T^{-1}(|\Pi_{i \in I}A_i|)</math> (चूँकि T का व्युत्क्रम पूर्ण नहीं है, यह संभव है कि इसका अस्तित्व ही न हो)।
अब उत्पाद पर विचार करें <math>\Pi_{i \in I}|A_i|</math> इन समुच्चयों के कार्डिनल्स की। कार्डिनैलिटी |<math>\Pi_{i \in I}A_i</math>| कार्डिनल्स से  प्रकार ऊँचा है <math>|A_i|</math>, इसलिए कार्डिनल्स के अनंत उत्पाद की सही परिभाषा है <math>T^{-1}(|\Pi_{i \in I}A_i|)</math> (चूँकि T का व्युत्क्रम पूर्ण नहीं है, यह संभव है कि इसका अस्तित्व ही न हो)।


समुच्चय के परिवारों और कार्डिनल्स के परिवारों के योग के असंयुक्त संघों के लिए इसे दोहराएं। फिर से, A को डोमेन के साथ  सेट-वैल्यू फलन होने दें <math>P_1(I)</math>: लिखना <math>A_i</math> के लिए <math>A(\{i\})</math>. असंयुक्त संघ <math>\Sigma_{i \in I}A_i</math> समुच्चय है <math>\{(i,a) \mid a \in A_i\}</math>. यह समुच्चय समुच्चय के समान ही प्रकार का है <math>A_i</math>.
समुच्चय के परिवारों और कार्डिनल्स के परिवारों के योग के असंयुक्त संघों के लिए इसे दोहराएं। फिर से, A को डोमेन के साथ  समुच्चय-वैल्यू फलन होने दें <math>P_1(I)</math>: लिखना <math>A_i</math> के लिए <math>A(\{i\})</math>. असंयुक्त संघ <math>\Sigma_{i \in I}A_i</math> समुच्चय है <math>\{(i,a) \mid a \in A_i\}</math>. यह समुच्चय समुच्चय के समान ही प्रकार का है <math>A_i</math>.


योग की सही परिभाषा <math>\Sigma_{i \in I}|A_i|</math> इस प्रकार है <math>|\Sigma_{i \in I}A_i|</math>, चूँकि कोई प्रकार का विस्थापन नहीं है।
योग की सही परिभाषा <math>\Sigma_{i \in I}|A_i|</math> इस प्रकार है <math>|\Sigma_{i \in I}A_i|</math>, चूँकि कोई प्रकार का विस्थापन नहीं है।
Line 284: Line 284:
के प्रतिबंध का आदेश प्रकार <math>W</math> को <math>\{y \mid y W x\}</math> है <math>\alpha</math>; फिर परिभाषित करें <math>\beth_{\alpha}</math> सूचकांक वाले तत्व के रूप में <math>\alpha</math> के तत्वों पर प्राकृतिक क्रम में <math>\beth</math>. कार्डिनल <math>\aleph_{\alpha}</math> सूचकांक वाला तत्व है <math>\alpha</math> सभी अनंत कार्डिनल्स पर प्राकृतिक क्रम में (जो  सुव्यवस्थित है, ऊपर देखें)। ध्यान दें कि <math>\aleph_0 = |N|</math> इस परिभाषा से तुरंत अनुसरण करता है। इन सभी निर्माणों में, ध्यान दें कि सूचकांक का प्रकार <math>\alpha</math> के प्रकार से दो अधिक (प्रकार-स्तरीय क्रमित युग्म के साथ) है <math>W_{\alpha}</math>.
के प्रतिबंध का आदेश प्रकार <math>W</math> को <math>\{y \mid y W x\}</math> है <math>\alpha</math>; फिर परिभाषित करें <math>\beth_{\alpha}</math> सूचकांक वाले तत्व के रूप में <math>\alpha</math> के तत्वों पर प्राकृतिक क्रम में <math>\beth</math>. कार्डिनल <math>\aleph_{\alpha}</math> सूचकांक वाला तत्व है <math>\alpha</math> सभी अनंत कार्डिनल्स पर प्राकृतिक क्रम में (जो  सुव्यवस्थित है, ऊपर देखें)। ध्यान दें कि <math>\aleph_0 = |N|</math> इस परिभाषा से तुरंत अनुसरण करता है। इन सभी निर्माणों में, ध्यान दें कि सूचकांक का प्रकार <math>\alpha</math> के प्रकार से दो अधिक (प्रकार-स्तरीय क्रमित युग्म के साथ) है <math>W_{\alpha}</math>.


जेडएफसी के प्रत्येक समुच्चय A में  सकर्मक समापन होता है <math>TC(A)</math> (सभी सकर्मक समुच्चयों का प्रतिच्छेदन जिसमें A सम्मिलित है)। नींव के सिद्धांत के अनुसार, ए के सकर्मक समापन के लिए सदस्यता संबंध का प्रतिबंध  अच्छी तरह से स्थापित संबंध है। रिश्ता <math>\in \lceil TC(A)</math> या तो खाली है या इसका शीर्ष तत्व A है, इसलिए यह संबंध  समुच्चय चित्र है। जेडएफसी में यह सिद्ध किया जा सकता है कि प्रत्येक समुच्चय चित्र कुछ के लिए समरूपी है <math>\in \lceil TC(A)</math>.
जेडएफसी के प्रत्येक समुच्चय A में  सकर्मक समापन होता है <math>TC(A)</math> (सभी सकर्मक समुच्चयों का प्रतिच्छेदन जिसमें A सम्मिलित है)। नींव के सिद्धांत के अनुसार, ए के सकर्मक समापन के लिए सदस्यता संबंध का प्रतिबंध  अच्छी तरह से स्थापित संबंध है। रिश्ता <math>\in \lceil TC(A)</math> या तो रिक्त है या इसका शीर्ष तत्व A है, इसलिए यह संबंध  समुच्चय चित्र है। जेडएफसी में यह सिद्ध किया जा सकता है कि प्रत्येक समुच्चय चित्र कुछ के लिए समरूपी है <math>\in \lceil TC(A)</math>.


इससे पता चलता है कि ( प्रारंभिक खंड) संचयी पदानुक्रम का अध्ययन समुच्चय चित्रों के समरूपता वर्गों पर विचार करके किया जा सकता है। ये समरूपता वर्ग समुच्चय हैं और नई नींव में  समुच्चय बनाते हैं। समुच्चय चित्रों के समरूपता वर्गों पर सदस्यता के अनुरूप  प्राकृतिक समुच्चय संबंध है: यदि <math>x</math>  समुच्चय चित्र है, लिखो <math>[x]</math> इसके समरूपता वर्ग के लिए और परिभाषित करें <math>[x] E [y]</math> यदि धारण किये हुए हो <math>[x]</math> वाई के शीर्ष तत्व के वाई के तहत प्रीइमेज के तत्वों में से  के नीचे की ओर बंद होने के लिए वाई के प्रतिबंध का समरूपता वर्ग है। संबंध ई  समुच्चय संबंध है, और यह साबित करना आसान है कि यह अच्छी तरह से स्थापित और विस्तारित है। यदि ई की परिभाषा भ्रमित करने वाली है, तो इस अवलोकन से यह निष्कर्ष निकाला जा सकता है कि यह ठीक उस संबंध से प्रेरित है जो ए से जुड़े समुच्चय चित्र और बी से जुड़े समुच्चय चित्र के मध्य होता है। <math>A \in B</math> सामान्य समुच्चय सिद्धांत में.
इससे पता चलता है कि ( प्रारंभिक खंड) संचयी पदानुक्रम का अध्ययन समुच्चय चित्रों के समरूपता वर्गों पर विचार करके किया जा सकता है। ये समरूपता वर्ग समुच्चय हैं और नई नींव में  समुच्चय बनाते हैं। समुच्चय चित्रों के समरूपता वर्गों पर सदस्यता के अनुरूप  प्राकृतिक समुच्चय संबंध है: यदि <math>x</math>  समुच्चय चित्र है, लिखो <math>[x]</math> इसके समरूपता वर्ग के लिए और परिभाषित करें <math>[x] E [y]</math> यदि धारण किये हुए हो <math>[x]</math> वाई के शीर्ष तत्व के वाई के तहत प्रीइमेज के तत्वों में से  के नीचे की ओर बंद होने के लिए वाई के प्रतिबंध का समरूपता वर्ग है। संबंध ई  समुच्चय संबंध है, और यह साबित करना आसान है कि यह अच्छी तरह से स्थापित और विस्तारित है। यदि ई की परिभाषा भ्रमित करने वाली है, तो इस अवलोकन से यह निष्कर्ष निकाला जा सकता है कि यह ठीक उस संबंध से प्रेरित है जो ए से जुड़े समुच्चय चित्र और बी से जुड़े समुच्चय चित्र के मध्य होता है। <math>A \in B</math> सामान्य समुच्चय सिद्धांत में.
Line 293: Line 293:
नए शीर्ष तत्व के साथ चित्र  समुच्चय चित्र उत्पन्न करते हैं जिसका समरूपता प्रकार ई के तहत इसकी पूर्वछवियों के रूप में मूल संग्रह के बिल्कुल तत्व होंगे। अर्थात्, समरूपता प्रकार के किसी भी संग्रह के लिए <math>[x^{\iota}] = T([x])</math>,  समरूपता प्रकार है <math>[y]</math> E के अंतर्गत जिसका पूर्वचित्र बिल्कुल यही संग्रह है।
नए शीर्ष तत्व के साथ चित्र  समुच्चय चित्र उत्पन्न करते हैं जिसका समरूपता प्रकार ई के तहत इसकी पूर्वछवियों के रूप में मूल संग्रह के बिल्कुल तत्व होंगे। अर्थात्, समरूपता प्रकार के किसी भी संग्रह के लिए <math>[x^{\iota}] = T([x])</math>,  समरूपता प्रकार है <math>[y]</math> E के अंतर्गत जिसका पूर्वचित्र बिल्कुल यही संग्रह है।


विशेष रूप से,  समरूपता प्रकार [v] होगा जिसकी E के अंतर्गत पूर्वछवि सभी T[x] (T[v] सहित) का संग्रह है। चूँकि T[v] E v और E अच्छी तरह से स्थापित है, <math>T[v] \neq v</math>. यह ऊपर और न्यू फ़ाउंडेशन लेख में चर्चा किए गए बुराली-फोर्टी विरोधाभास के समाधान जैसा दिखता है, और वास्तव में सभी अच्छी तरह से स्थापित सेटों के समुच्चय के मिरिमैनॉफ के विरोधाभास का स्थानीय समाधान है।
विशेष रूप से,  समरूपता प्रकार [v] होगा जिसकी E के अंतर्गत पूर्वछवि सभी T[x] (T[v] सहित) का संग्रह है। चूँकि T[v] E v और E अच्छी तरह से स्थापित है, <math>T[v] \neq v</math>. यह ऊपर और न्यू फ़ाउंडेशन लेख में चर्चा किए गए बुराली-फोर्टी विरोधाभास के समाधान जैसा दिखता है, और वास्तव में सभी अच्छी तरह से स्थापित समुच्चयों के समुच्चय के मिरिमैनॉफ के विरोधाभास का स्थानीय समाधान है।


समुच्चय चित्रों के समरूपता वर्गों के श्रेणीहोते हैं जैसे सामान्य समुच्चय सिद्धांत में समुच्चय के श्रेणीहोते हैं। समुच्चय चित्रों ए के किसी भी संग्रह के लिए, एस (ए) को समुच्चय चित्रों के सभी समरूपता वर्गों के समुच्चय के रूप में परिभाषित करें जिनकी ई के तहत प्रीइमेज ए का सबसमुच्चय है; यदि A का प्रत्येक उपसमुच्चय E के अंतर्गत  पूर्वछवि है, तो A को पूर्ण समुच्चय कहें। रैंकों का संग्रह सबसे छोटा संग्रह है जिसमें खाली समुच्चय होता है और S ऑपरेशन (जो  प्रकार का पावर समुच्चय निर्माण है) और इसके उपसंग्रहों के संघों के तहत बंद होता है। यह सिद्ध करना सरल है (सामान्य समुच्चय सिद्धांत की तरह) कि समावेशन द्वारा रैंकों को सुव्यवस्थित किया जाता है, और इसलिए इस सुव्यवस्थित क्रम में रैंकों का  सूचकांक होता है: सूचकांक के साथ श्रेणीको देखें <math>\alpha</math> जैसा <math>R_{\alpha}</math>. यह बात सिद्ध है <math>|R_{\alpha}|=\beth_{\alpha}</math> पूर्ण श्रेणीके लिए <math>R_{\alpha}</math>. संबंध E के साथ पूर्ण रैंकों (जो पहली अपूर्ण श्रेणीहोगी) का मिलन ज़र्मेलो-शैली समुच्चय सिद्धांत के ब्रह्मांड के प्रारंभिक खंड जैसा दिखता है (जरूरी नहीं कि जेडएफसी के पूर्ण ब्रह्मांड की तरह हो क्योंकि यह पर्याप्त बड़ा नहीं हो सकता है)। यह सिद्ध है कि यदि <math>R_{\alpha}</math> तो, पहली अपूर्ण श्रेणीहै <math>R_{T(\alpha)}</math>  पूर्ण श्रेणीहै और इस प्रकार <math>T(\alpha)<\alpha</math>. तो बाहरी ऑटोमोर्फिज्म टी के साथ संचयी पदानुक्रम की  श्रेणीहै जो श्रेणीको नीचे की ओर ले जा रही है, बिल्कुल संचयी पदानुक्रम में  श्रेणीके गैर-मानक प्रारूप की स्थिति जिसके तहत न्यू फ़ाउंडेशन लेख में एनएफयू का  प्रारूप बनाया गया है। सत्यापित करने के लिए तकनीकी विवरण हैं, किन्तु इस संरचना में न केवल जेडएफसी के  टुकड़े की बल्कि न्यू फ़ाउंडेशन की भी व्याख्या है। <math>[x]\in_{NFU}[y]</math> के रूप में परिभाषित <math>T([x]) E [y] \wedge [y] \in R_{T(\alpha)+1}</math>: यह संबंध <math>E_{NFU}</math> यह  निर्धारित संबंध नहीं है, किन्तु इसके तर्कों के मध्य सामान्य सदस्यता संबंध के समान ही विस्थापन होता है <math>\in</math>.
समुच्चय चित्रों के समरूपता वर्गों के श्रेणी होते हैं जैसे सामान्य समुच्चय सिद्धांत में समुच्चय के श्रेणीहोते हैं। समुच्चय चित्रों ए के किसी भी संग्रह के लिए, एस (ए) को समुच्चय चित्रों के सभी समरूपता वर्गों के समुच्चय के रूप में परिभाषित करें जिनकी ई के तहत प्रीइमेज ए का सबसमुच्चय है; यदि A का प्रत्येक उपसमुच्चय E के अंतर्गत  पूर्वछवि है, तो A को पूर्ण समुच्चय कहें। रैंकों का संग्रह सबसे छोटा संग्रह है जिसमें रिक्त समुच्चय होता है और S ऑपरेशन (जो  प्रकार का पावर समुच्चय निर्माण है) और इसके उपसंग्रहों के संघों के तहत बंद होता है। यह सिद्ध करना सरल है (सामान्य समुच्चय सिद्धांत की तरह) कि समावेशन द्वारा रैंकों को सुव्यवस्थित किया जाता है, और इसलिए इस सुव्यवस्थित क्रम में रैंकों का  सूचकांक होता है: सूचकांक के साथ श्रेणीको देखें <math>\alpha</math> जैसा <math>R_{\alpha}</math>. यह बात सिद्ध है <math>|R_{\alpha}|=\beth_{\alpha}</math> पूर्ण श्रेणीके लिए <math>R_{\alpha}</math>. संबंध E के साथ पूर्ण रैंकों (जो पहली अपूर्ण श्रेणीहोगी) का मिलन ज़र्मेलो-शैली समुच्चय सिद्धांत के ब्रह्मांड के प्रारंभिक खंड जैसा दिखता है (जरूरी नहीं कि जेडएफसी के पूर्ण ब्रह्मांड की तरह हो क्योंकि यह पर्याप्त बड़ा नहीं हो सकता है)। यह सिद्ध है कि यदि <math>R_{\alpha}</math> तो, पहली अपूर्ण श्रेणीहै <math>R_{T(\alpha)}</math>  पूर्ण श्रेणीहै और इस प्रकार <math>T(\alpha)<\alpha</math>. तो बाहरी ऑटोमोर्फिज्म टी के साथ संचयी पदानुक्रम की  श्रेणीहै जो श्रेणीको नीचे की ओर ले जा रही है, बिल्कुल संचयी पदानुक्रम में  श्रेणीके गैर-मानक प्रारूप की स्थिति जिसके तहत न्यू फ़ाउंडेशन लेख में एनएफयू का  प्रारूप बनाया गया है। सत्यापित करने के लिए तकनीकी विवरण हैं, किन्तु इस संरचना में न केवल जेडएफसी के  टुकड़े की बल्कि न्यू फ़ाउंडेशन की भी व्याख्या है। <math>[x]\in_{NFU}[y]</math> के रूप में परिभाषित <math>T([x]) E [y] \wedge [y] \in R_{T(\alpha)+1}</math>: यह संबंध <math>E_{NFU}</math> यह  निर्धारित संबंध नहीं है, किन्तु इसके तर्कों के मध्य सामान्य सदस्यता संबंध के समान ही विस्थापन होता है <math>\in</math>.


तो समुच्चय के संचयी पदानुक्रम के एनएफयू के अंदर प्राकृतिक निर्माण होता है जो ज़र्मेलो-शैली समुच्चय सिद्धांत में एनएफयू के प्रारूप के प्राकृतिक निर्माण को आंतरिक करता है।
तो समुच्चय के संचयी पदानुक्रम के एनएफयू के अंदर प्राकृतिक निर्माण होता है जो ज़र्मेलो-शैली समुच्चय सिद्धांत में एनएफयू के प्रारूप के प्राकृतिक निर्माण को आंतरिक करता है।

Revision as of 20:07, 4 August 2023

यह आलेख समुच्चय सिद्धांत में गणितीय अवधारणाओं के कार्यान्वयन का परीक्षण करता है। कई मूलभूत गणितीय अवधारणाओं का कार्यान्वयन जेडएफसी (प्रमुख समुच्चय सिद्धांत) और एनएफयू में समानांतर रूप से किया जाता है, क्विन के न्यू फ़ाउंडेशन के संस्करण को 1969 में आर बी जेन्सेन द्वारा सुसंगत दिखाया गया है (यहां कम से कम अनन्तता और विकल्प के सिद्धांतों को सम्मिलित करने के लिए समझा गया है)।

यहाँ जो कहा गया है वह समुच्चय सिद्धांतों के दो परिवारों पर भी प्रस्तावित होता है: एक ओर, स्तर के निचले सिरे के निकट ज़र्मेलो समुच्चय सिद्धांत सहित सिद्धांतों की श्रृंखला और बड़े कार्डिनल संपत्ति परिकल्पनाओं के साथ जेडएफसी तक विस्तारित हुई, जैसे मापने योग्य कार्डिनल है; और दूसरी ओर एनएफयू के विस्तार का पदानुक्रम जिसका सर्वेक्षण न्यू फ़ाउंडेशन लेख में किया गया है। ये समुच्चय-सैद्धांतिक ब्रह्मांड कैसा है, इसके विभिन्न सामान्य विचारों के अनुरूप हैं, और यह इन दो सामान्य विचारों के अनुसार गणितीय अवधारणाओं के कार्यान्वयन के दृष्टिकोण हैं जिनकी तुलना और तुलना की जा रही है।

गणित की नींव के रूप में इन सिद्धांतों के सापेक्ष गुणों के विषय में कुछ भी कहना इस लेख का प्राथमिक उद्देश्य नहीं है। दो भिन्न-भिन्न समुच्चय सिद्धांतों के उपयोग का कारण यह बताना है कि गणित के कार्यान्वयन के लिए कई दृष्टिकोण संभव हैं। ठीक इसी दृष्टिकोण के कारण, यह लेख किसी गणितीय अवधारणा की आधिकारिक परिभाषा का स्रोत नहीं है।

प्रारंभिक

निम्नलिखित अनुभाग दो सिद्धांतों जेडएफसी और एनएफयू में कुछ निर्माण करते हैं और कुछ गणितीय संरचनाओं (जैसे प्राकृतिक संख्या) के परिणामी कार्यान्वयन की तुलना करते हैं।

गणितीय सिद्धांत प्रमेयों को सिद्ध करते हैं (और कुछ नहीं)। तो यह कहने का तात्पर्य है कि सिद्धांत निश्चित वस्तु के निर्माण की अनुमति देता है, इसका तात्पर्य है कि यह उस सिद्धांत का प्रमेय है कि वह वस्तु उपस्थित है। यह x के रूप की परिभाषा के बारे में कथन है जैसे कि उपस्थित है, कहाँ हमारी औपचारिक भाषा का सुगठित सूत्र है: सिद्धांत x के अस्तित्व को इस प्रकार सिद्ध करता है यदि यह प्रमेय है कि ऐसा और केवल x है . (बर्ट्रेंड रसेल देखें। बर्ट्रेंड रसेल का विवरण का सिद्धांत।) शिथिल रूप से, सिद्धांत इस मामले में इस वस्तु को परिभाषित या निर्मित करता है। यदि कथन प्रमेय नहीं है, तो सिद्धांत यह नहीं दिखा सकता कि वस्तु उपस्थित है; यदि कथन सिद्धांत में गलत साबित होता है, तो यह साबित होता है कि वस्तु का अस्तित्व नहीं हो सकता; शिथिल रूप से, वस्तु का निर्माण नहीं किया जा सकता है।

जेडएफसी और एनएफयू समुच्चय सिद्धांत की भाषा साझा करते हैं, इसलिए x जैसी समान औपचारिक परिभाषाएँ हैं दो सिद्धांतों में विचार किया जा सकता है। समुच्चय सिद्धांत की भाषा में परिभाषा का विशिष्ट रूप समुच्चय-बिल्डर नोटेशन है: इसका अर्थ है समुच्चय A इस प्रकार कि सभी x के लिए, (ए में मुक्त चर और बाध्य चर नहीं हो सकते ). यह नोटेशन कुछ पारंपरिक विस्तारों को स्वीकार करता है: का पर्यायवाची है ; परिभाषित किया जाता है , कहाँ अभिव्यक्ति पहले से ही परिभाषित है.

समुच्चय-बिल्डर नोटेशन में परिभाषित अभिव्यक्तियाँ जेडएफसी और एनएफयू दोनों में समझ में आती हैं: यह हो सकता है कि दोनों सिद्धांत प्रमाणित करते हैं कि दी गई परिभाषा सफल होती है, या दोनों में से कोई भी ऐसा नहीं करता है (अभिव्यक्ति शास्त्रीय तर्क के साथ किसी भी समुच्चय सिद्धांत में किसी भी चीज़ को संदर्भित करने में विफल रहता है; वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत जैसे वर्ग (समुच्चय सिद्धांत) सिद्धांतों में यह संकेतन वर्ग को संदर्भित करता है, किन्तु इसे अलग तरह से परिभाषित किया जाता है), या कि करता है और दूसरा नहीं करता है। इसके अतिरिक्त, जेडएफसी और एनएफयू में ही तरह से परिभाषित वस्तु के दो सिद्धांतों में भिन्न-भिन्न गुण हो सकते हैं (या जहां उनके गुणों के मध्य कोई सिद्ध अंतर नहीं है, वहां जो साबित किया जा सकता है उसमें अंतर हो सकता है)।

इसके अतिरिक्त, समुच्चय सिद्धांत गणित की अन्य शाखाओं (निश्चय में, गणित की सभी शाखाओं) से अवधारणाओं को आयात करता है। कुछ स्थितियों में, जेडएफसी और एनएफयू में अवधारणाओं को आयात करने के विभिन्न प्रकार हैं। उदाहरण के लिए, प्रथम अनंत क्रमवाचक संख्या की सामान्य परिभाषा जेडएफसी में एनएफयू के लिए उपयुक्त नहीं है क्योंकि ऑब्जेक्ट (विशुद्ध रूप से समुच्चय सैद्धांतिक भाषा में सभी परिमित वॉन न्यूमैन ऑर्डिनल्स के समुच्चय के रूप में परिभाषित) को एनएफयू में उपस्थित नहीं दिखाया जा सकता है। सामान्य परिभाषा एनएफयू में (विशुद्ध रूप से समुच्चय सैद्धांतिक भाषा में) सभी अनंत सु-क्रमों का समुच्चय है, जिनके सभी उचित प्रारंभिक खंड परिमित हैं, वस्तु जिसे जेडएफसी में उपस्थित नहीं दिखाया जा सकता है। ऐसी आयातित वस्तुओं की स्थिति में, भिन्न-भिन्न परिभाषाएँ हो सकती हैं, जेडएफसी और संबंधित सिद्धांतों में उपयोग के लिए, और एनएफयू और संबंधित सिद्धांतों में उपयोग के लिए हैं। आयातित गणितीय अवधारणाओं के ऐसे कार्यान्वयन को समझने के लिए, यह दिखाने में सक्षम होना आवश्यक है कि दो समानांतर व्याख्याओं में अपेक्षित गुण हैं: उदाहरण के लिए, जेडएफसी और एनएफयू में प्राकृतिक संख्याओं के कार्यान्वयन भिन्न-भिन्न हैं, किन्तु दोनों समान गणितीय संरचना के कार्यान्वयन हैं, क्योंकि दोनों में पीनो अंकगणित के सभी आदिमों के लिए परिभाषाएं सम्मिलित हैं और पीनो सिद्धांतों को संतुष्ट (अनुवाद) करते हैं। तब यह तुलना करना संभव है कि दो सिद्धांतों में क्या होता है जब केवल समुच्चय सैद्धांतिक भाषा का उपयोग किया जाता है, जब तक कि जेडएफसी के लिए उपयुक्त परिभाषाओं को जेडएफसी संदर्भ में उपयोग किया जाना समझा जाता है और एनएफयू के लिए उपयुक्त परिभाषाओं को एनएफयू संदर्भ में उपयोग किया जाना समझा जाता है।

किसी सिद्धांत में जो कुछ भी अस्तित्व में प्रमाणित होता है वह उस सिद्धांत के किसी भी विस्तार में स्पष्ट रूप से उपस्थित होता है; इसके अतिरिक्त, इस प्रमाण का विश्लेषण कि किसी दिए गए सिद्धांत में कोई वस्तु उपस्थित है, यह दिखा सकता है कि यह उस सिद्धांत के कमजोर संस्करणों में उपस्थित है (उदाहरण के लिए, इस लेख में जो कुछ किया गया है, उसके लिए कोई जेडएफसी के अतिरिक्त ज़र्मेलो समुच्चय सिद्धांत पर विचार कर सकता है)।

रिक्त समुच्चय, सिंगलटन, अव्यवस्थित जोड़े और टुपल्स

ये निर्माण सबसे पूर्व दिखाई देते हैं क्योंकि ये समुच्चय सिद्धांत में सबसे सरल निर्माण हैं, इसलिए नहीं कि ये गणित में दिमाग में आने वाले पूर्व निर्माण हैं (चूँकि परिमित समुच्चय की धारणा निश्चित रूप से मौलिक है)। चूँकि एनएफयू समुच्चय के सदस्य बनने के लिए समुच्चय यूआर-तत्वों के निर्माण की भी अनुमति देता है, रिक्त समुच्चय बिना किसी सदस्य वाला अद्वितीय समुच्चय है:

प्रत्येक वस्तु के लिए , समुच्चय है के साथ इसके एकमात्र तत्व के रूप में है:

वस्तुओं के लिए और , समुच्चय है युक्त और इसके एकमात्र तत्व के रूप में है:

दो समुच्चयों के युग्म को सामान्य प्रकार से परिभाषित किया गया है:

यह अव्यवस्थित की पुनरावर्ती परिभाषा है किसी भी कंक्रीट के लिए -टुपल्स है (परिमित समुच्चय उनके तत्वों की सूची के रूप में दिए गए हैं):

एनएफयू में, दी गई सभी निर्धारित परिभाषाएँ स्तरीकृत अध्ययन द्वारा कार्य करती हैं; जेडएफसी में, अव्यवस्थित युग्म का अस्तित्व युग्मन के अभिगृहीत द्वारा दिया जाता है, रिक्त समुच्चय का अस्तित्व किसी भी समुच्चय के अस्तित्व से पृथक्करण के पश्चात होता है,और दो समुच्चयों का द्विआधारी संघ युग्मन और संघ के सिद्धांतों द्वारा उपस्थित होता है ()।

क्रमित युग्म

सर्वप्रथम, क्रमित युग्म पर विचार करें। इसके प्रथम आने का कारण प्रौद्योगिकी है: संबंधों और फलनों को प्रारम्भ करने के लिए क्रमित युग्म की आवश्यकता होती है, जो अन्य अवधारणाओं को प्रारम्भ करने के लिए आवश्यक होते हैं जो सर्वप्रथम प्रतीत हो सकते हैं। क्रमित युग्म की प्रथम परिभाषा परिभाषा थी गणितीय सिद्धांत के प्रकार सिद्धांत के संदर्भ में 1914 में नॉर्बर्ट वीनर द्वारा प्रस्तावित। वीनर ने देखा कि इससे उस कार्य की प्रणाली से n > 1 के लिए n-एरी संबंधों के प्रकार को समाप्त करने की अनुमति मिल गई। परिभाषा का उपयोग करना अब अधिक सामान्य हो गया है , काज़िमिर्ज़ कुराटोव्स्की के कारण। इनमें से कोई भी परिभाषा जेडएफसी या एनएफयू में काम करती है। एनएफयू में, इन दो परिभाषाओं में तकनीकी नुकसान है: कुराटोस्की द्वारा आदेशित जोड़ी अपने अनुमानों से दो प्रकार अधिक है, जबकि वीनर द्वारा आदेशित जोड़ी तीन प्रकार से अधिक है। प्रकार-स्तरीय क्रमित युग्म ( युग्म) के अस्तित्व की परिकल्पना करना आम बात है जो एनएफयू में इसके प्रोजेक्शन (गणित) के समान प्रकार है। दोनों प्रणालियों में कुराटोस्की जोड़ी का उपयोग करना तब तक सुविधाजनक है जब तक कि प्रकार-स्तरीय जोड़े के उपयोग को औपचारिक रूप से उचित नहीं ठहराया जा सके। इन परिभाषाओं के आंतरिक विवरण का उनके वास्तविक गणितीय कार्य से कोई लेना-देना नहीं है। किसी भी धारणा के लिए आदेशित जोड़ी में, जो बात मायने रखती है वह यह है कि यह परिभाषित शर्त को पूरा करती है

...और यह कि ऑर्डर किए गए जोड़े को समुच्चय में इकट्ठा करना काफी आसान होगा।

संबंध

संबंध वे समुच्चय हैं जिनके सभी सदस्य क्रमित युग्म हैं। जहां संभव हो, संबंध ( द्विआधारी विधेय के रूप में समझा जाता है) के रूप में कार्यान्वित किया जाता है (जिसे इस प्रकार लिखा जा सकता है )। जब संबंध है, संकेतन का तात्पर्य है।

जेडएफसी में, कुछ संबंध (जैसे सामान्य समानता संबंध या समुच्चय पर उपसमुच्चय संबंध) व्यवस्थित करने के लिए 'अधिक बड़े' हैं (किन्तु उचित वर्गों के रूप में हानिरहित रूप से पुन: परिभाषित किया जा सकता है)। एनएफयू में, कुछ संबंध (जैसे सदस्यता संबंध) समुच्चय नहीं हैं क्योंकि उनकी परिभाषाएं स्तरीकृत नहीं हैं: , और में समान प्रकार की आवश्यकता है (क्योंकि वे एक ही युग्म के प्रक्षेपण के रूप में दिखाई देते हैं), किन्तु क्रमिक प्रकार भी है (क्योंकि का तत्व माना जाता है)।

संबंधित परिभाषाएँ

मान लीजिये कि और द्विआधारी संबंध हैं। तब निम्नलिखित अवधारणाएँ उपयोगी हैं:

संबंध का व्युत्क्रम है।

समुच्चय का डोमेन है।

की सीमा के व्युत्क्रम का क्षेत्र है . अर्थात समुच्चय है।

का क्षेत्र के डोमेन और रेंज का संघ (समुच्चय सिद्धांत) है .

किसी सदस्य की पूर्वछवि के क्षेत्र का समुच्चय है (नीचे 'अच्छी तरह से स्थापित' की परिभाषा में प्रयुक्त।)

किसी सदस्य का नीचे की ओर बंद होना के क्षेत्र का सबसे छोटा समुच्चय है युक्त , और प्रत्येक से युक्त प्रत्येक के लिए (अर्थात्, इसके प्रत्येक तत्व की पूर्वछवि सहित उपसमुच्चय के रूप में।)

संबंध रचना का और संबंध है .

ध्यान दें कि द्विआधारी संबंध की हमारी औपचारिक परिभाषा के साथ, किसी संबंध की सीमा और कोडोमेन को अलग नहीं किया जाता है। यह किसी रिश्ते का प्रतिनिधित्व करके किया जा सकता है कोडोमेन के साथ जैसा , किन्तु हमारे विकास को इसकी आवश्यकता नहीं होगी।

जेडएफसी में, कोई भी संबंध जिसका डोमेन किसी समुच्चय का सबसमुच्चय है और जिसकी सीमा समुच्चय का उपसमुच्चय है कार्टेशियन उत्पाद के बाद से समुच्चय होगा समुच्चय है (उपवर्ग होने के नाते)। ), और पृथक्करण अस्तित्व का प्रावधान करता है . एनएफयू में, वैश्विक दायरे (जैसे समानता और उपसमुच्चय) के साथ कुछ संबंधों को समुच्चय के रूप में लागू किया जा सकता है। एनएफयू में, इसे ध्यान में रखें और से तीन प्रकार कम हैं में (यदि प्रकार-स्तरीय आदेशित जोड़ी का उपयोग किया जाता है तो प्रकार कम)।

संबंधों के गुण और प्रकार

द्विआधारी संबंध है:

  • प्रतिवर्ती संबंध यदि हर के लिए के क्षेत्र में .
  • सममित संबंध यदि .
  • सकर्मक संबंध यदि .
  • एंटीसिमेट्रिक संबंध यदि .
  • अच्छी तरह से स्थापित संबंध|यदि हर समुच्चय के लिए अच्छी तरह से स्थापित जो के क्षेत्र से मिलता है , जिसकी पूर्वछवि नीचे है मिलना नहीं होता .
  • विस्तारित यदि प्रत्येक के लिए के क्षेत्र में , यदि और केवल यदि और नीचे ही पूर्वछवि है .

उपरोक्त गुणों के कुछ संयोजन वाले संबंधों के मानक नाम होते हैं। द्विआधारी संबंध है:

  • तुल्यता संबंध यदि प्रतिवर्ती, सममित और सकर्मक है।
  • आंशिक आदेश यदि रिफ्लेक्टिव, एंटीसिमेट्रिक और सकर्मक है।
  • रेखीय क्रम यदि आंशिक आदेश है और प्रत्येक के लिए के क्षेत्र में , दोनों में से या .
  • सुव्यवस्थित यदि रेखीय क्रम है और अच्छी तरह से स्थापित है।
  • समुच्चय चित्र यदि अच्छी तरह से स्थापित और विस्तारित है, और का क्षेत्र या तो इसके सदस्यों में से के नीचे की ओर बंद होने के बराबर है (जिसे इसका शीर्ष तत्व कहा जाता है), या रिक्त है।

फलन

कार्यात्मक संबंध द्विआधारी विधेय है ऐसा है कि इस तरह के संबंध (गणित) (विधेय (तर्क)) को संबंध (समुच्चय) के रूप में लागू किया जाता है जैसा कि पिछले अनुभाग में वर्णित है। तो विधेय समुच्चय द्वारा कार्यान्वित किया जाता है . रिश्ता फलन है यदि और केवल यदि इसलिए वैल्यू फलन को परिभाषित करना संभव है अद्वितीय वस्तु के रूप में ऐसा है कि - अर्थात।: है -संदर्भ के ऐसा कि रिश्ता के मध्य रखता है और – या अद्वितीय वस्तु के रूप में ऐसा है कि . कार्यात्मक विधेय के दोनों सिद्धांतों में उपस्थिति जो समुच्चय नहीं हैं, नोटेशन की अनुमति देना उपयोगी बनाती है दोनों समुच्चय के लिए और महत्वपूर्ण कार्यात्मक विधेय के लिए। जब तक कोई बाद के अर्थों में कार्यों की मात्रा निर्धारित नहीं करता है, तब तक ऐसे सभी उपयोग सैद्धांतिक रूप से समाप्त करने योग्य हैं।

औपचारिक समुच्चय सिद्धांत के बाहर, हम सामान्यतः फलन को उसके डोमेन और कोडोमेन के संदर्भ में निर्दिष्ट करते हैं, जैसा कि वाक्यांश लेट में है समारोह हो. किसी फलन का डोमेन संबंध के रूप में उसका डोमेन ही होता है, किन्तु हमने अभी तक किसी फलन के कोडोमेन को परिभाषित नहीं किया है। ऐसा करने के लिए हम उस शब्दावली का परिचय देते हैं जिससे कोई फलन बनता है को यदि इसका डोमेन बराबर है और इसकी सीमा इसमें निहित है . इस प्रकार, प्रत्येक फलन अपने डोमेन से लेकर अपनी सीमा तक फलन और फलन होता है से को से भी फलन है को किसी भी समुच्चय के लिए युक्त .

दरअसल, इससे कोई फर्क नहीं पड़ता कि हम किस समुच्चय को किसी फलन का कोडोमेन मानते हैं, फलन समुच्चय के रूप में नहीं बदलता है क्योंकि परिभाषा के अनुसार यह केवल ऑर्डर किए गए जोड़े का समुच्चय है। अर्थात्, कोई फलन हमारी परिभाषा के अनुसार अपना कोडोमेन निर्धारित नहीं करता है। यदि किसी को यह अरुचिकर लगता है तो वह किसी फलन को क्रमित जोड़ी के रूप में परिभाषित कर सकता है , कहाँ कार्यात्मक संबंध है और इसका कोडोमेन है, किन्तु हम इस लेख में यह दृष्टिकोण नहीं अपनाते हैं (अधिक सुंदर ढंग से, यदि कोई पहले क्रमबद्ध त्रिगुणों को परिभाषित करता है - उदाहरण के लिए - तब कोई फलन को ऑर्डर किए गए ट्रिपल के रूप में परिभाषित कर सकता है ताकि डोमेन को भी सम्मिलित किया जा सके)। ध्यान दें कि संबंधों के लिए भी यही मुद्दा उपस्थित है: औपचारिक समुच्चय सिद्धांत के बाहर हम सामान्यतः लेट कहते हैं द्विआधारी संबंध हो, किन्तु औपचारिक रूप से इस प्रकार क्रमित युग्मों का समुच्चय है और .

एनएफयू में, के समान प्रकार है , और से तीन प्रकार अधिक है ( प्रकार उच्चतर, यदि प्रकार-स्तरीय आदेशित जोड़ी का उपयोग किया जाता है)। इस समस्या को हल करने के लिए, कोई परिभाषित कर सकता है जैसा किसी भी समुच्चय के लिए , किन्तु इसे इस रूप में अधिक आसानी से लिखा जाता है . तो यदि समुच्चय है और कोई भी कार्यात्मक संबंध है, प्रतिस्थापन का सिद्धांत यह आश्वासन देता है जेडएफसी में समुच्चय है. एनएफयू में, और अब ही प्रकार है, और से दो प्रकार अधिक है (उसी प्रकार, यदि प्रकार-स्तरीय आदेशित जोड़ी का उपयोग किया जाता है)।

कार्यक्रम ऐसा है कि यह जेडएफसी में समुच्चय नहीं है क्योंकि यह बहुत बड़ा है। चूँकि एनएफयू में समुच्चय है। फलन (विधेय) ऐसा है कि किसी भी सिद्धांत में न तो कोई फलन है और न ही कोई समुच्चय; जेडएफसी में, यह सच है क्योंकि ऐसा समुच्चय बहुत बड़ा होगा, और, एनएफयू में, यह सच है क्योंकि इसकी परिभाषा समुच्चय सिद्धांत में स्तरीकृत सूत्र नहीं होगी। इसके अतिरिक्त, यह साबित किया जा सकता है कि एनएफयू उपस्थित नहीं है (न्यू फ़ाउंडेशन्स में कैंटर के विरोधाभास का समाधान देखें।)

कार्यों पर संचालन

होने देना और मनमाना कार्य हो. की कार्य संरचना और , , को सापेक्ष उत्पाद के रूप में परिभाषित किया गया है , किन्तु केवल तभी जब इसका परिणाम ऐसा कोई फलन हो के साथ भी फलन है , यदि की सीमा के डोमेन का उपसमुच्चय है . का उलटा कार्य , , को इसके विपरीत संबंध के रूप में परिभाषित किया गया है यदि यह फलन है. कोई भी समुच्चय दिया गया , पहचान समारोह समुच्चय है , और यह भिन्न-भिन्न कारणों से जेडएफसी और एनएफयू दोनों में समुच्चय है।

विशेष प्रकार के कार्य

फलन इंजेक्शन है (जिसे द्विभाजन|वन-टू-वन भी कहा जाता है) यदि इसमें उलटा फलन है।

समारोह से को है:

  • से इंजेक्शन समारोह को यदि छवि (गणित) नीचे है के विशिष्ट सदस्यों की के विशिष्ट सदस्य हैं .
  • से आपत्ति को यदि की सीमा है .
  • से आपत्ति को यदि यह इंजेक्शन और प्रक्षेपण दोनों है।

क्रमित युग्मों के रूप में कार्यों को परिभाषित करना या ट्रिपल का आदेश दिया इसके फायदे यह हैं कि हमें फलन होने की शब्दावली का परिचय नहीं देना पड़ता है को , और यह कि हम केवल विशेषणात्मक होने की बात करने में सक्षम होने के विपरीत सीधे तौर पर विशेषणात्मक होने की बात कर सकते हैं .

समुच्चय का आकार

जेडएफसी और न्यू फ़ाउंडेशन दोनों में, दो समुच्चय A और B ही आकार के हैं (या 'समतुल्य' हैं) यदि और केवल तभी जब A से B तक कोई आपत्ति f हो। इसे इस प्रकार लिखा जा सकता है , किन्तु ध्यान दें कि (फिलहाल) यह अभी तक अपरिभाषित वस्तुओं के मध्य संबंध के अतिरिक्त ए और बी के मध्य संबंध व्यक्त करता है और . इस संबंध को द्वारा निरूपित करें कार्डिनल संख्या की वास्तविक परिभाषा जैसे संदर्भों में जहां अनुमानित अमूर्त कार्डिनल्स की उपस्थिति से भी बचा जाना चाहिए।

इसी प्रकार परिभाषित करें यदि और केवल यदि ए से बी तक कोई इंजेक्टिव फलन है, तो उसे होल्ड करना।

यह दिखाना सीधा है कि समसंख्यता का संबंध समतुल्यता संबंध है: ए के साथ ए की समसंख्यकता देखी जाती है ; यदि एफ गवाह है , तब गवाहों ; और यदि एफ गवाह है और जी गवाह , तब गवाहों .

ऐसा दिखाया जा सकता है अमूर्त कार्डिनल्स पर रैखिक क्रम है, किन्तु समुच्चय पर नहीं। रिफ्लेक्सिविटी स्पष्ट है और ट्रांज़िटिविटी समसंख्यता की तरह ही सिद्ध होती है। कैंटर-बर्नस्टीन-श्रोएडर प्रमेय | श्रोडर-बर्नस्टीन प्रमेय, जो जेडएफसी और न्यू फ़ाउंडेशन में पूरी तरह से मानक तरीके से सिद्ध है, यह स्थापित करता है

(यह कार्डिनल्स पर एंटीसिममेट्री स्थापित करता है), और

किसी भी सिद्धांत में पसंद के सिद्धांत से मानक तरीके से अनुसरण किया जाता है।

परिमित समुच्चय और प्राकृत संख्याएँ

प्राकृतिक संख्याओं को या तो परिमित क्रमसूचक या परिमित कार्डिनल माना जा सकता है। यहां उन्हें परिमित कार्डिनल संख्या के रूप में मानें। यह पहली जगह है जहां जेडएफसी और न्यू फ़ाउंडेशन के कार्यान्वयन के मध्य बड़ा अंतर स्पष्ट हो जाता है।

जेडएफसी के अनंत का अभिगृहीत हमें बताता है कि समुच्चय A है जिसमें सम्मिलित है और सम्मिलित है प्रत्येक के लिए . यह समुच्चय ए विशिष्ट रूप से निर्धारित नहीं है (इस क्लोजर प्रॉपर्टी को संरक्षित करते हुए इसे बड़ा बनाया जा सकता है): प्राकृतिक संख्याओं का समुच्चय एन है

जो सभी समुच्चयों का प्रतिच्छेदन है जिसमें रिक्त समुच्चय होता है और उत्तराधिकारी ऑपरेशन के तहत बंद होता है .

जेडएफसी में, समुच्चय यदि और केवल यदि है तो ही सीमित है ऐसा है कि : आगे, परिभाषित करें परिमित A के लिए यह n के रूप में। (यह साबित किया जा सकता है कि कोई भी दो भिन्न-भिन्न प्राकृतिक संख्याएँ समान आकार की नहीं हैं)।

अंकगणित की सामान्य संक्रियाओं को पुनरावर्ती रूप से और उस शैली के समान परिभाषित किया जा सकता है जिसमें प्राकृतिक संख्याओं के समुच्चय को परिभाषित किया जाता है। उदाहरण के लिए, + (प्राकृतिक संख्याओं पर जोड़ संक्रिया) को सबसे छोटे समुच्चय के रूप में परिभाषित किया जा सकता है प्रत्येक प्राकृतिक संख्या के लिए और सम्मिलित है जब भी इसमें सम्मिलित है .

एनएफयू में, यह स्पष्ट नहीं है कि उत्तराधिकारी ऑपरेशन के बाद से इस दृष्टिकोण का उपयोग किया जा सकता है अस्थिर है और इसलिए ऊपर परिभाषित समुच्चय एन को एनएफयू में उपस्थित नहीं दिखाया जा सकता है (यह एनएफयू में उपस्थित परिमित वॉन न्यूमैन ऑर्डिनल्स के समुच्चय के लिए सुसंगत है, किन्तु यह सिद्धांत को दृढ़ करता है, क्योंकि इस समुच्चय का अस्तित्व गणना के सिद्धांत का तात्पर्य है (जिसके लिए नीचे या न्यू फ़ाउंडेशन लेख देखें))।

प्राकृतिक संख्याओं की मानक परिभाषा, जो वास्तव में प्राकृतिक संख्याओं की सबसे पुरानी समुच्चय-सैद्धांतिक परिभाषा है, समतुल्यता के तहत परिमित समुच्चयों के समतुल्य वर्गों के रूप में है। मूल रूप से वही परिभाषा नई नींव के लिए उपयुक्त है (यह सामान्य परिभाषा नहीं है, किन्तु परिणाम समान हैं): फिन को परिभाषित करें, परिमित समुच्चय का समुच्चय, जैसे

किसी भी समुच्चय के लिए , परिभाषित करना जैसा . N को समुच्चय के रूप में परिभाषित करें .

एनएफयू के अनंत के अभिगृहीत को इस प्रकार व्यक्त किया जा सकता है : यह स्थापित करने के लिए पर्याप्त है कि प्रत्येक प्राकृतिक संख्या में गैर-रिक्त उत्तराधिकारी (उत्तराधिकारी) होता है प्राणी किसी के लिए ) जो यह दिखाने का कठिन हिस्सा है कि अंकगणित के पीनो सिद्धांत संतुष्ट हैं।

अंकगणित की संक्रियाओं को ऊपर दी गई शैली के समान शैली में परिभाषित किया जा सकता है (अभी दी गई उत्तराधिकारी की परिभाषा का उपयोग करके)। उन्हें प्राकृतिक समुच्चय सैद्धांतिक तरीके से भी परिभाषित किया जा सकता है: यदि ए और बी असंयुक्त परिमित समुच्चय हैं, तो परिभाषित करें |ए|+|बी| जैसा . अधिक औपचारिक रूप से, एम के लिए एम+एन और एन में एन को परिभाषित करें

(किन्तु ध्यान दें कि परिभाषा की यह शैली जेडएफसी अंकों के लिए भी संभव है, किन्तु अधिक घुमावदार: न्यू फ़ाउंडेशन परिभाषा का रूप समुच्चय हेरफेर की सुविधा देता है जबकि जेडएफसी परिभाषा का रूप पुनरावर्ती परिभाषाओं की सुविधा देता है, किन्तु कोई भी सिद्धांत परिभाषा की किसी भी शैली का समर्थन करता है)।

दोनों कार्यान्वयन काफी भिन्न हैं। जेडएफसी में, प्रत्येक परिमित कार्डिनैलिटी का प्रतिनिधि (गणित) चुनें (समकक्ष वर्ग स्वयं समुच्चय होने के लिए बहुत बड़े हैं); एनएफयू में समतुल्य वर्ग स्वयं समुच्चय हैं, और इस प्रकार कार्डिनलिटी के लिए वस्तुओं के लिए स्पष्ट विकल्प हैं। चूँकि, दोनों सिद्धांतों का अंकगणित समान है: ही अमूर्तता इन दो सतही रूप से भिन्न दृष्टिकोणों द्वारा कार्यान्वित की जाती है।

तुल्यता संबंध और विभाजन

समुच्चय सिद्धांत में अमूर्तता को लागू करने की सामान्य तकनीक समतुल्य वर्गों का उपयोग है। यदि तुल्यता संबंध आर हमें बताता है कि इसके क्षेत्र ए के तत्व कुछ विशेष संबंध में समान हैं, तो किसी भी समुच्चय ्स के लिए, समुच्चय पर विचार करें केवल उन विशेषताओं का सम्मान करते हुए समुच्चय x से अमूर्तता का प्रतिनिधित्व करते हुए (A से R तक के तत्वों की पहचान करें)।

किसी भी समुच्चय ए के लिए, समुच्चय का विभाजन है यदि पी के सभी तत्व गैर-रिक्त हैं, पी के कोई भी दो भिन्न-भिन्न तत्व असंयुक्त हैं, और .

फ़ील्ड ए के साथ प्रत्येक तुल्यता संबंध आर के लिए, ए का विभाजन है। इसके अतिरिक्त, ए का प्रत्येक विभाजन पी तुल्यता संबंध निर्धारित करता है .

इस तकनीक की जेडएफसी और न्यू फ़ाउंडेशन दोनों में सीमाएँ हैं। जेडएफसी में, चूंकि ब्रह्मांड समुच्चय नहीं है, इसलिए केवल छोटे डोमेन के तत्वों से सुविधाओं को अमूर्त करना संभव लगता है। दाना स्कॉट के कारण चाल का उपयोग करके इसे टाला जा सकता है: यदि आर ब्रह्मांड पर तुल्यता संबंध है, तो परिभाषित करें जैसे कि आप सभी का समुच्चय ऐसा है और y की श्रेणी(समुच्चय सिद्धांत) किसी की श्रेणीसे कम या उसके बराबर है . यह काम करता है क्योंकि श्रेणीसमुच्चय हैं। बेशक, अभी भी उचित वर्ग हो सकता है 'एस। एनएफयू में, मुख्य कठिनाई यही है x से प्रकार अधिक है, उदाहरण के लिए मानचित्र सामान्यतः यह (समुच्चय) फलन नहीं है (चूँकि समुच्चय है) प्रतिस्थापित करने के लिए प्रत्येक समकक्ष वर्ग से प्रतिनिधि का चयन करने के लिए पसंद के सिद्धांत के उपयोग से इसे टाला जा सकता है , जो x के समान प्रकार में होगा, या कैनोनिकल प्रतिनिधि चुनकर यदि चॉइस को लागू किए बिना ऐसा करने का कोई तरीका है (जेडएफसी में प्रतिनिधियों का उपयोग शायद ही अज्ञात है)। एनएफयू में, सामान्य समुच्चयों के अमूर्त गुणों के लिए समतुल्य वर्ग निर्माणों का उपयोग अधिक सामान्य है, उदाहरण के लिए नीचे कार्डिनल और क्रमिक संख्या की परिभाषाओं में।

क्रमिक संख्या

दो सुव्यवस्थित और समान हैं और लिखते हैं बस उस स्थिति में जब के क्षेत्र से कोई आपत्ति एफ हो के क्षेत्र में ऐसा है कि सभी x और y के लिए.

समानता को तुल्यता संबंध के रूप में दिखाया गया है ठीक उसी तरह जैसे ऊपर समतुल्यता को तुल्यता संबंध के रूप में दिखाया गया था।

न्यू फ़ाउंडेशन (NFU) में, वेल-ऑर्डरिंग W का 'ऑर्डर प्रकार' सभी वेल-ऑर्डरिंग का समुच्चय है जो W के समान है। 'क्रमिक संख्याओं' का समुच्चय सभी ऑर्डर प्रकार के वेल-ऑर्डरिंग का समुच्चय है।

यह जेडएफसी में काम नहीं करता, क्योंकि समतुल्य वर्ग बहुत बड़े हैं। अनिवार्य रूप से उसी तरह से ऑर्डिनल्स को परिभाषित करने के लिए स्कॉट की चाल का उपयोग करना औपचारिक रूप से संभव होगा, किन्तु जॉन वॉन न्यूमैन का उपकरण अधिक सामान्यतः उपयोग किया जाता है।

किसी भी आंशिक आदेश के लिए , संगत सख्त आंशिक क्रम < के रूप में परिभाषित किया गया है . सख्त रैखिक आदेश और सख्त सु-आदेश को समान रूप से परिभाषित किया गया है।

समुच्चय A को 'सकर्मक' कहा जाता है यदि : ए के तत्व का प्रत्येक तत्व भी ए का तत्व है। ए '(वॉन न्यूमैन) ऑर्डिनल' सकर्मक समुच्चय है जिस पर सदस्यता सख्त सुव्यवस्थित है।

जेडएफसी में, सुव्यवस्थित W के ऑर्डर प्रकार को तब अद्वितीय वॉन न्यूमैन ऑर्डिनल के रूप में परिभाषित किया जाता है, जो W के क्षेत्र के साथ समतुल्य होता है और सदस्यता जिस पर W के साथ जुड़े सख्त सु-क्रम के लिए आइसोमॉर्फिक होता है। (समरूपता की स्थिति आकार 0 और 1 के क्षेत्रों के साथ सु-क्रमों के मध्य अंतर करती है, जिनके संबंधित सख्त सु-क्रम अप्रभेद्य होते हैं)।

जेडएफसी में सभी ऑर्डिनल्स का समुच्चय नहीं हो सकता है। वास्तव में, वॉन न्यूमैन ऑर्डिनल्स किसी भी समुच्चय सिद्धांत में असंगत समग्रता हैं: इसे मामूली समुच्चय सैद्धांतिक मान्यताओं के साथ दिखाया जा सकता है कि वॉन न्यूमैन ऑर्डिनल का प्रत्येक तत्व वॉन न्यूमैन ऑर्डिनल है और वॉन न्यूमैन ऑर्डिनल्स सदस्यता द्वारा सख्ती से सुव्यवस्थित हैं। यह इस प्रकार है कि वॉन न्यूमैन ऑर्डिनल्स का वर्ग वॉन न्यूमैन ऑर्डिनल होगा यदि यह समुच्चय होता: किन्तु यह तब स्वयं का तत्व होगा, जो इस तथ्य का खंडन करता है कि सदस्यता वॉन न्यूमैन ऑर्डिनल्स का सख्त सुव्यवस्थित क्रम है।

सभी सुव्यवस्थित ऑर्डरों के लिए ऑर्डर प्रकारों का अस्तित्व ज़र्मेलो समुच्चय सिद्धांत का प्रमेय नहीं है: इसके लिए प्रतिस्थापन के सिद्धांत की आवश्यकता होती है। यहां तक ​​कि स्कॉट की चाल का उपयोग ज़र्मेलो समुच्चय सिद्धांत में अतिरिक्त धारणा के बिना नहीं किया जा सकता है (जैसे कि यह धारणा कि प्रत्येक समुच्चय श्रेणी(समुच्चय सिद्धांत) से संबंधित है जो समुच्चय है, जो अनिवार्य रूप से नहीं है ज़र्मेलो समुच्चय सिद्धांत को दृढ़ करें किन्तु यह उस सिद्धांत का प्रमेय नहीं है)।

एनएफयू में, सभी अध्यादेशों का संग्रह स्तरीकृत समझ द्वारा समुच्चय है। बुराली-फोर्टी विरोधाभास को अप्रत्याशित तरीके से टाला गया है। द्वारा परिभाषित अध्यादेशों पर प्राकृतिक क्रम है यदि और केवल यदि कुछ (और कोई भी) कुछ (और किसी भी) के प्रारंभिक खंड के समान है . इसके अतिरिक्त, यह दिखाया जा सकता है कि यह प्राकृतिक क्रम क्रमसूचकों का सुव्यवस्थित क्रम है और इसलिए इसमें क्रम प्रकार होना चाहिए . ऐसा प्रतीत होता है कि क्रमसूचकों का क्रम प्रकार कम से कम है प्राकृतिक व्यवस्था के साथ होगा , इस तथ्य का खंडन करते हुए क्रमसूचकों पर संपूर्ण प्राकृतिक क्रम का क्रम प्रकार है (और इसलिए इसके किसी भी उचित प्रारंभिक खंड का नहीं)। किन्तु यह किसी के अंतर्ज्ञान (जेडएफसी में सही) पर निर्भर करता है कि प्राकृतिक क्रम का क्रम प्रकार कम से कम होता है है किसी भी आदेश के लिए . यह दावा अव्यवस्थित है, क्योंकि दूसरे का प्रकार पहले के प्रकार से चार अधिक है (यदि प्रकार के स्तर के जोड़े का उपयोग किया जाता है तो दो अधिक है)। एनएफयू में जो दावा सत्य और सिद्ध है, वह यह है कि ऑर्डिनल्स पर प्राकृतिक क्रम का क्रम प्रकार से कम है है किसी भी आदेश के लिए , कहाँ का ऑर्डर प्रकार है किसी के लिए (यह दिखाना आसान है कि यह W की पसंद पर निर्भर नहीं करता है; ध्यान दें कि T - करके प्रकार बढ़ाता है)। इस प्रकार क्रमसूचकों का क्रम प्रकार इससे कम होता है प्राकृतिक क्रम के साथ है , और . के सभी उपयोग यहां से बदला जा सकता है यदि प्रकार-स्तरीय जोड़ी का उपयोग किया जाता है।

इससे पता चलता है कि टी ऑपरेशन गैर-तुच्छ है, जिसके कई परिणाम हैं। यह तुरंत सिंगलटन मानचित्र का अनुसरण करता है समुच्चय नहीं है, क्योंकि अन्यथा इस मानचित्र के प्रतिबंध डब्ल्यू और की समानता स्थापित करेंगे किसी भी सुव्यवस्थित W. T के लिए (बाह्य रूप से) विशेषण और व्यवस्था-संरक्षण है। इस वजह से, तथ्य उसे स्थापित करता है क्रमसूचकों में अवरोही क्रम है जो समुच्चय नहीं हो सकता।

टी द्वारा निर्धारित ऑर्डिनल्स को कैंटोरियन ऑर्डिनल्स कहा जाता है, और जो ऑर्डिनल्स केवल कैंटोरियन ऑर्डिनल्स पर हावी होते हैं (जिन्हें आसानी से स्वयं कैंटोरियन दिखाया जाता है) उन्हें दृढ़ता से कैंटोरियन कहा जाता है। कैंटोरियन ऑर्डिनल्स का कोई समुच्चय या दृढ़ता से कैंटोरियन ऑर्डिनल्स का कोई समुच्चय नहीं हो सकता है।

विषयांतर: एनएफयू में वॉन न्यूमैन ऑर्डिनल्स

न्यू फ़ाउंडेशन में वॉन न्यूमैन ऑर्डिनल्स के बारे में तर्क करना संभव है। याद रखें कि वॉन न्यूमैन ऑर्डिनल सकर्मक समुच्चय ए है जैसे कि ए की सदस्यता का प्रतिबंध सख्त सुव्यवस्थित है। एनएफयू संदर्भ में यह काफी दृढ़ स्थिति है, क्योंकि सदस्यता संबंध में प्रकार का अंतर सम्मिलित है। वॉन न्यूमैन ऑर्डिनल ए एनएफयू के अर्थ में ऑर्डिनल नहीं है, किन्तु क्रमसूचक से संबंधित है जिसे ऑर्डर प्रकार (सदस्यता) ए कहा जा सकता है। यह दिखाना आसान है कि वॉन न्यूमैन ऑर्डिनल ए का ऑर्डर प्रकार कैंटोरियन है: ऑर्डर प्रकार के किसी भी अच्छे ऑर्डर वाले डब्ल्यू के लिए , समावेशन द्वारा डब्ल्यू के प्रारंभिक खंडों के प्रेरित सुव्यवस्थित क्रम में ऑर्डर प्रकार होता है (यह प्रकार अधिक है, इस प्रकार टी का अनुप्रयोग): किन्तु सदस्यता के आधार पर वॉन न्यूमैन ऑर्डिनल ए के वेल-ऑर्डरिंग के ऑर्डर प्रकार और समावेशन द्वारा इसके प्रारंभिक खंडों के वेल-ऑर्डरिंग स्पष्ट रूप से समान हैं क्योंकि दो वेल-ऑर्डरिंग वास्तव में ही संबंध हैं, इसलिए ए का ऑर्डर प्रकार टी के तहत तय किया गया है। इसके अतिरिक्त, यही तर्क किसी भी छोटे ऑर्डिनल पर लागू होता है (जो कि ए के प्रारंभिक खंड का ऑर्डर प्रकार होगा, वॉन न्यूमैन ऑर्डिनल भी) इसलिए किसी का ऑर्डर प्रकार वॉन न्यूमैन ऑर्डिनल दृढ़ता से कैंटोरियन है।

मात्र वॉन न्यूमैन ऑर्डिनल्स जिन्हें अतिरिक्त मान्यताओं के बिना एनएफयू में उपस्थित दिखाया जा सकता है, वे ठोस परिमित हैं। चूँकि, क्रमपरिवर्तन विधि का अनुप्रयोग एनएफयू के किसी भी प्रारूप को ऐसे प्रारूप में परिवर्तित कर सकता है जिसमें प्रत्येक दृढ़ता से कैंटोरियन ऑर्डिनल वॉन न्यूमैन ऑर्डिनल का ऑर्डर प्रकार है। इससे पता चलता है कि एनएफयू की दृढ़ता से कैंटोरियन ऑर्डिनल की अवधारणा एनएफयू के स्पष्ट एनालॉग ऑर्डिनल की तुलना में जेडएफसी के ऑर्डिनल का बेहतर एनालॉग हो सकती है।

कार्डिनल संख्या

न्यू फ़ाउंडेशन में कार्डिनल संख्याओं को इस तरह से परिभाषित किया गया है जो प्राकृतिक की परिभाषा को सामान्य बनाता है संख्या: किसी भी समुच्चय ए के लिए, .

जेडएफसी में, ये समतुल्य वर्ग हमेशा की तरह बहुत बड़े हैं। स्कॉट की चाल का उपयोग किया जा सकता है (और वास्तव में ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत में इसका उपयोग किया जाता है), सामान्यतः ए के सुव्यवस्थित क्रम के सबसे छोटे क्रम प्रकार (यहां वॉन न्यूमैन ऑर्डिनल) के रूप में परिभाषित किया जाता है (कि प्रत्येक समुच्चय को सुव्यवस्थित किया जा सकता है)। दोनों सिद्धांतों में सामान्य तरीके से पसंद का सिद्धांत)।

कार्डिनल संख्याओं पर प्राकृतिक क्रम को सुव्यवस्थित रूप में देखा जाता है: यह रिफ्लेक्सिव, एंटीसिमेट्रिक (अमूर्त कार्डिनल्स पर, जो अब उपलब्ध हैं) और ट्रांजिटिव है, ऊपर दिखाया गया है। यह रैखिक क्रम है जो पसंद के सिद्धांत से अनुसरण करता है: अच्छी तरह से क्रमबद्ध दो समुच्चय और सुव्यवस्थित क्रम का प्रारंभिक खंड दूसरे के लिए समरूपी होगा, इसलिए समुच्चय की कार्डिनैलिटी दूसरे की तुलना में छोटी होगी। यह सुव्यवस्थित है जो पसंद के सिद्धांत से इसी तरह से अनुसरण करता है।

प्रत्येक अनंत कार्डिनल के साथ, कई ऑर्डर प्रकार सामान्य कारणों से जुड़े होते हैं (किसी भी समुच्चय सिद्धांत में)।

कैंटर का प्रमेय दिखाता है (दोनों सिद्धांतों में) कि अनंत कार्डिनल संख्याओं के मध्य गैर-तुच्छ अंतर हैं। जेडएफसी में, साबित होता है नई नींव में, कैंटर के प्रमेय का सामान्य रूप गलत है (मामले ए = वी पर विचार करें), किन्तु कैंटर का प्रमेय गलत टाइप किया गया कथन है। न्यू फ़ाउंडेशन में प्रमेय का सही रूप है , कहाँ A के -तत्व उपसमुच्चय का समुच्चय है। दिखाता है कि समुच्चय की तुलना में कम सिंगलटन हैं (स्पष्ट आक्षेप से V को पहले ही देखा जा चुका है कि यह समुच्चय नहीं है)। यह वास्तव में एनएफयू + चॉइस में सिद्ध है (कहाँ कई हस्तक्षेप करने वाले कार्डिनलों के अस्तित्व का संकेत देता है; वहाँ अनेक, अनेक मूत्र तत्व हैं!) ऑर्डिनल्स पर टी ऑपरेशन के अनुरूप कार्डिनल्स पर टाइप-रेज़िंग टी ऑपरेशन को परिभाषित करें: ; यह कार्डिनल्स का बाहरी एंडोमोर्फिज्म है, जैसे कि ऑर्डिनल्स पर टी ऑपरेशन, ऑर्डिनल्स का बाहरी एंडोमोर्फिज्म है।

समुच्चय ए को केवल मामले में 'कैंटोरियन' कहा जाता है ; कार्डिनल इसे कैंटोरियन कार्डिनल भी कहा जाता है। समुच्चय ए को 'दृढ़ता से कैंटोरियन' कहा जाता है (और इसका कार्डिनल भी दृढ़ता से कैंटोरियन होता है) केवल उस स्थिति में जब ए पर सिंगलटन मानचित्र का प्रतिबंध होता है () समुच्चय है. दृढ़तापूर्वक कैंटोरियन समुच्चयों का सुव्यवस्थित क्रम सदैव दृढ़तापूर्वक कैंटोरियन क्रमसूचक होता है; यह हमेशा कैंटोरियन समुच्चयों के सुव्यवस्थित क्रम के बारे में सच नहीं है (चूँकि कैंटोरियन समुच्चय का सबसे छोटा सुक्रमण कैंटोरियन होगा)। कैंटोरियन समुच्चय ऐसा समुच्चय है जो कैंटोर के प्रमेय के सामान्य रूप को संतुष्ट करता है।

दोनों सिद्धांतों में कार्डिनल अंकगणित के संचालन को समुच्चय-सैद्धांतिक रूप से प्रेरित तरीके से परिभाषित किया गया है। . कोई परिभाषित करना चाहेगा जैसा , और कोई इसे जेडएफसी में करता है, किन्तु कुराटोस्की जोड़ी का उपयोग करते समय नई नींव में बाधा होती है: परिभाषित करता है जैसा जोड़ी और उसके प्रक्षेपणों के मध्य 2 के प्रकार के विस्थापन के कारण, जिसका तात्पर्य कार्टेशियन उत्पाद और उसके कारकों के मध्य दो के प्रकार के विस्थापन से है। यह साबित करना सीधा है कि उत्पाद हमेशा उपस्थित रहता है (किन्तु इस पर ध्यान देने की आवश्यकता है क्योंकि T का व्युत्क्रम कुल नहीं है)।

कार्डिनल्स पर घातीय ऑपरेशन को परिभाषित करने के लिए आवश्यक तरीके से टी की आवश्यकता होती है: यदि A से B तक फ़ंक्शंस के संग्रह के रूप में परिभाषित किया गया था, यह A या B से तीन प्रकार अधिक है, इसलिए इसे परिभाषित करना उचित है जैसा ताकि यह A या B के समान प्रकार का हो ( के स्थान पर टाइप-स्तरीय जोड़े के साथ)। इसका प्रभाव यह है कि घातांकीय संक्रिया आंशिक है: उदाहरण के लिए, अपरिभाषित है. जेडएफसी में परिभाषित करता है जैसा कठिनाई के बिना।

घातीय ऑपरेशन कुल है और कैंटोरियन कार्डिनल्स पर बिल्कुल अपेक्षित व्यवहार करता है, क्योंकि टी ऐसे कार्डिनल्स को ठीक करता है और यह दिखाना आसान है कि कैंटोरियन समुच्चयों के मध्य फलन स्पेस कैंटोरियन है (जैसे पावर समुच्चय, कार्टेशियन उत्पाद और अन्य सामान्य प्रकार के कंस्ट्रक्टर हैं)। इससे इस दृष्टिकोण को और प्रोत्साहन मिलता है कि न्यू फ़ाउंडेशन में मानक कार्डिनैलिटीज़ कैंटोरियन (वास्तव में, दृढ़ता से कैंटोरियन) कार्डिनैलिटी हैं, जैसे मानक ऑर्डिनल्स दृढ़ता से कैंटोरियन ऑर्डिनल्स प्रतीत होते हैं।

अब पसंद के स्वयंसिद्ध सहित कार्डिनल अंकगणित के सामान्य प्रमेयों को सिद्ध किया जा सकता है . मामले से प्रकार के स्तर पर क्रमित युग्म का अस्तित्व प्राप्त किया जा सकता है: के बराबर है शायद ज़रुरत पड़े , जो कुराटोस्की जोड़ों के मध्य -से- पत्राचार द्वारा देखा जाएगा और डबल सिंगलटन : पुनः परिभाषित करें जैसा कि सी ऐसा है कुराटोव्स्की से जुड़ा है : यह क्रमित युग्म की प्रकार-स्तरीय धारणा है।

स्तरीकरण की गिनती और तोड़फोड़ का सिद्धांत

इसलिए न्यू फ़ाउंडेशन में प्राकृतिक संख्याओं के दो भिन्न-भिन्न कार्यान्वयन हैं (चूँकि वे जेडएफसी में समान हैं): परिमित क्रमसूचक और परिमित कार्डिनल। इनमें से प्रत्येक न्यू फ़ाउंडेशन में टी ऑपरेशन (मूल रूप से वही ऑपरेशन) का समर्थन करता है। इसे साबित करना आसान है प्राकृतिक संख्या है यदि न्यू फ़ाउंडेशन + इन्फिनिटी + चॉइस (और इसी तरह) में n प्राकृतिक संख्या है और पहला अनंत क्रमवाचक कैंटोरियन हैं) किन्तु इस सिद्धांत में यह साबित करना संभव नहीं है . चूँकि, सामान्य ज्ञान इंगित करता है कि यह सच होना चाहिए, और इसलिए इसे स्वयंसिद्ध के रूप में अपनाया जा सकता है:

  • रोसेर का गिनती का अभिगृहीत: प्रत्येक प्राकृतिक संख्या n के लिए, .

इस स्वयंसिद्ध (और वास्तव में इसका मूल सूत्रीकरण) का स्वाभाविक परिणाम है

  • प्रत्येक प्राकृत संख्या के लिए n.

न्यू फ़ाउंडेशन में वह सब कुछ बिना गिनती के सिद्ध किया जा सकता है .

काउंटिंग का परिणाम यह है कि एन दृढ़ता से कैंटोरियन समुच्चय है (फिर से, यह समतुल्य दावा है)।

दृढ़ता से कैंटोरियन समुच्चय के गुण

दृढ़ता से कैंटोरियन समुच्चय ए तक सीमित किसी भी चर के प्रकार को संदर्भों को प्रतिस्थापित करके इच्छानुसार बढ़ाया या घटाया जा सकता है के सन्दर्भ में (उठाए गए प्रकार का; यह माना जाता है कि यह ज्ञात है कि ए समुच्चय है; अन्यथा किसी को का तत्व कहना होगा इस प्रभाव को पाने के लिए) या ( प्रकार का निचला भाग) कहाँ सभी के लिए , इसलिए स्तरीकरण के प्रयोजनों के लिए ऐसे चरों को प्रकार निर्दिष्ट करना आवश्यक नहीं है।

दृढ़ता से कैंटोरियन समुच्चय का कोई भी उपसमुच्चय दृढ़ता से कैंटोरियन होता है। दृढ़तापूर्वक कैंटोरियन समुच्चय का पावर समुच्चय दृढ़ता से कैंटोरियन होता है। दो दृढ़तापूर्वक कैंटोरियन समुच्चयों का कार्टेशियन उत्पाद दृढ़ता से कैंटोरियन है।

गणना के सिद्धांत का परिचय देने का तात्पर्य है कि प्रकारों को N या P(N), R (वास्तविकता का समुच्चय) या वास्तव में समुच्चय सिद्धांत के बाहर शास्त्रीय गणित में कभी भी विचार किए गए किसी भी समुच्चय तक सीमित चर को निर्दिष्ट करने की आवश्यकता नहीं है।

जेडएफसी में कोई समान घटना नहीं है। दृढ़ सिद्धांतों के लिए मुख्य न्यू फ़ाउंडेशन लेख देखें जिन्हें परिचित गणितीय वस्तुओं के मानक व्यवहार को प्रारम्भ करने के लिए एनएफयू से जोड़ा जा सकता है।

परिचित संख्या प्रणालियाँ: सकारात्मक परिमेय, परिमाण, और वास्तविक

धनात्मक भिन्नों को धनात्मक प्राकृतिक संख्याओं के युग्म के रूप में निरूपित करें (0 को बाहर रखा गया है): को युग्म द्वारा दर्शाया गया है। , बनाने के लिए संबंध का परिचय दें द्वारा परिभाषित है। यह सिद्ध है कि यह तुल्यता संबंध है: इस संबंध के अंतर्गत सकारात्मक परिमेय संख्याओं को सकारात्मक प्राकृतिक संख्याओं के युग्मों के समतुल्य वर्गों के रूप में परिभाषित करें। सकारात्मक परिमेय संख्याओं पर अंकगणितीय परिचालन और सकारात्मक परिमेय पर क्रम संबंध को प्राथमिक विद्यालय के जैसे ही परिभाषित किया गया है और अपेक्षित गुणों को प्रमाणित किया गया है (कुछ प्रयासों के साथ)।

बिना किसी सबसे बड़े तत्व के सकारात्मक परिमेय के गैर-रिक्त उचित प्रारंभिक खंडों के रूप में परिमाण (सकारात्मक वास्तविक) का प्रतिनिधित्व करें। परिमाणों पर जोड़ और गुणन की संक्रियाओं को परिमाणों के सकारात्मक तर्कसंगत तत्वों के तत्ववार जोड़ द्वारा कार्यान्वित किया जाता है। आदेश को समुच्चय समावेशन के रूप में प्रारम्भ किया गया है।

वास्तविक संख्याओं को अंतर परिमाण के रूप में निरूपित करें: औपचारिक रूप से कहें तो, वास्तविक संख्या युग्मों का तुल्यता वर्ग है तुल्यता संबंध के अनुसार परिमाण का द्वारा परिभाषित है। वास्तविक संख्याओं पर जोड़ और गुणा की संक्रियाओं को वैसे ही परिभाषित किया गया है जैसे कोई अंतर जोड़ने और गुणा करने के लिए बीजगणितीय नियमों से अपेक्षा करता है। क्रम का उपचार भी प्रारंभिक बीजगणित के समान ही है।

यह निर्माणों का संक्षिप्त रेखाचित्र है। ध्यान दें कि प्राकृतिक संख्याओं के निर्माण में अंतर को छोड़कर, जेडएफसी और न्यू फ़ाउंडेशन में निर्माण बिल्कुल समान हैं: चूंकि सभी चर दृढ़ता से कैंटोरियन समुच्चय तक सीमित हैं, इसलिए स्तरीकरण प्रतिबंधों के विषय में विचार करने की कोई आवश्यकता नहीं है। गिनती के सिद्धांत के बिना, इन निर्माणों की पूर्ण वर्णन में T के कुछ अनुप्रयोगों को प्रस्तुत करना आवश्यक हो सकता है।

समुच्चय के अनुक्रमित परिवारों पर संचालन

निर्माण के इस वर्ग में ऐसा प्रतीत होता है कि जेडएफसी को नई नींव पर लाभ है: चूँकि नई नींव में निर्माण स्पष्ट रूप से व्यवहार्य हैं, स्तरीकरण से संबंधित कारणों से वे जेडएफसी की तुलना में अधिक जटिल हैं।

इस पूरे खंड में प्रकार-स्तरीय क्रमित जोड़ी मान ली गई है। परिभाषित करना जैसा . कुराटोस्की जोड़ी का उपयोग करके सामान्य एन-टुपल की परिभाषा अधिक पेचीदा है, क्योंकि सभी अनुमानों के प्रकारों को समान रखने की आवश्यकता होती है, और एन-ट्यूपल और उसके अनुमानों के मध्य प्रकार का विस्थापन n बढ़ने के साथ बढ़ता है। यहां, n-ट्यूपल का प्रकार उसके प्रत्येक प्रक्षेपण के समान है।

सामान्य कार्टेशियन उत्पादों को इसी तरह परिभाषित किया गया है: जेडएफसी में परिभाषाएँ समान हैं किन्तु स्तरीकरण के बारे में कोई चिंता नहीं है (यहाँ दिया गया समूहीकरण सामान्यतः उपयोग किए जाने वाले समूह के विपरीत है, किन्तु इसे आसानी से ठीक किया जा सकता है)।

अब अनंत कार्तीय गुणनफल पर विचार करें . जेडएफसी में, इसे डोमेन I के साथ सभी फलन f के समुच्चय के रूप में परिभाषित किया गया है (जहाँ A को स्पष्ट रूप से प्रत्येक i को ले जाने वाले फलन के रूप में समझा जाता है ).

एनएफयू में, इसके प्रकार पर ध्यान देने की आवश्यकता है। समुच्चय I दिया गया है और मूल्यवान फलन A समुच्चय किया गया है जिसका मान at है में लिखा है , परिभाषित करना डोमेन I के साथ सभी फ़ंक्शंस f के समुच्चय के रूप में ऐसा है : नोटिस जो हमारे सम्मेलन के कारण स्तरीकृत किया गया है कि ए सूचकांकों के सिंगलटन पर मान वाला फलन है। ध्यान दें कि समुच्चय के सबसे बड़े परिवारों (जिन्हें सिंगलटन के समुच्चय द्वारा अनुक्रमित नहीं किया जा सकता) में इस परिभाषा के तहत कार्टेशियन उत्पाद नहीं होंगे। आगे ध्यान दें कि समुच्चय सूचकांक समुच्चय I के समान प्रकार के हैं (क्योंकि इसके तत्वों से प्रकार अधिक है); उत्पाद, डोमेन I के साथ फ़ंक्शंस के समुच्चय के रूप में (इसलिए I के समान प्रकार पर) प्रकार उच्चतर है ( प्रकार-स्तरीय आदेशित जोड़ी मानते हुए)।

अब उत्पाद पर विचार करें इन समुच्चयों के कार्डिनल्स की। कार्डिनैलिटी || कार्डिनल्स से प्रकार ऊँचा है , इसलिए कार्डिनल्स के अनंत उत्पाद की सही परिभाषा है (चूँकि T का व्युत्क्रम पूर्ण नहीं है, यह संभव है कि इसका अस्तित्व ही न हो)।

समुच्चय के परिवारों और कार्डिनल्स के परिवारों के योग के असंयुक्त संघों के लिए इसे दोहराएं। फिर से, A को डोमेन के साथ समुच्चय-वैल्यू फलन होने दें : लिखना के लिए . असंयुक्त संघ समुच्चय है . यह समुच्चय समुच्चय के समान ही प्रकार का है .

योग की सही परिभाषा इस प्रकार है , चूँकि कोई प्रकार का विस्थापन नहीं है।

इंडेक्स समुच्चय को संभालने के लिए इन परिभाषाओं का विस्तार करना संभव है जो सिंगलटन के समुच्चय नहीं हैं, किन्तु यह अतिरिक्त प्रकार के स्तर का परिचय देता है और अधिकांश उद्देश्यों के लिए इसकी आवश्यकता नहीं होती है।

जेडएफसी में असंयुक्त संघ को परिभाषित करें जैसा , कहाँ संक्षिप्तीकरण .

क्रमपरिवर्तन विधियों का उपयोग इस दावे के एनएफयू के साथ सापेक्ष स्थिरता दिखाने के लिए किया जा सकता है कि प्रत्येक दृढ़ता से कैंटोरियन समुच्चय ए के लिए ही आकार का समुच्चय I होता है जिसके तत्व स्व-सिंगलटन होते हैं: I में प्रत्येक i के लिए।

संचयी पदानुक्रम

जेडएफसी में, संचयी पदानुक्रम को निम्नलिखित नियमों को पूर्ण करने वाले समुच्चयों के क्रमिक-अनुक्रमित अनुक्रम के रूप में परिभाषित करें: ; ; सीमा क्रमसूचक के लिए है। यह ट्रांसफ़िनिट रिकर्सन द्वारा निर्माण का उदाहरण है। समुच्चय A की श्रेणी बताई गई है यदि और केवल है। समुच्चय के रूप में श्रेणियों का अस्तित्व प्रत्येक सीमा चरण पर प्रतिस्थापन के सिद्धांत पर निर्भर करता है (ज़र्मेलो समुच्चय सिद्धांत में पदानुक्रम का निर्माण नहीं किया जा सकता है); नींव के सिद्धांत के अनुसार, प्रत्येक समुच्चय किसी न किसी श्रेणी का होता है।

कार्डिनल कहा जाता है।

यह निर्माण एनएफयू में नहीं किया जा सकता क्योंकि पावर समुच्चय ऑपरेशन एनएफयू में समुच्चय फलन नहीं है (स्तरीकरण के प्रयोजनों के लिए A से अधिक है)।

कार्डिनल्स का क्रम एनएफयू में प्रस्तावित किया जा सकता है। याद करें कि को इस प्रकार परिभाषित किया गया है कि जहाँ आकार 2 का सुविधाजनक समुच्चय है, और है। मान लीजिये कि कार्डिनल्स का सबसे छोटा समुच्चय है जिसमें सम्मिलित है (प्राकृतिक संख्याओं के समुच्चय की कार्डिनैलिटी), में कार्डिनल सम्मिलित है जब भी इसमें सम्मिलित है, और जो कार्डिनल्स के समुच्चय की सर्वोच्चता के अनुसार विवृत है।

किसी भी सुव्यवस्थित क्रम के क्रमिक अनुक्रमण के लिए सम्मेलन के क्षेत्र के तत्व x के रूप में परिभाषित किया गया है ऐसा है कि के प्रतिबंध का आदेश प्रकार को है ; फिर परिभाषित करें सूचकांक वाले तत्व के रूप में के तत्वों पर प्राकृतिक क्रम में . कार्डिनल सूचकांक वाला तत्व है सभी अनंत कार्डिनल्स पर प्राकृतिक क्रम में (जो सुव्यवस्थित है, ऊपर देखें)। ध्यान दें कि इस परिभाषा से तुरंत अनुसरण करता है। इन सभी निर्माणों में, ध्यान दें कि सूचकांक का प्रकार के प्रकार से दो अधिक (प्रकार-स्तरीय क्रमित युग्म के साथ) है .

जेडएफसी के प्रत्येक समुच्चय A में सकर्मक समापन होता है (सभी सकर्मक समुच्चयों का प्रतिच्छेदन जिसमें A सम्मिलित है)। नींव के सिद्धांत के अनुसार, ए के सकर्मक समापन के लिए सदस्यता संबंध का प्रतिबंध अच्छी तरह से स्थापित संबंध है। रिश्ता या तो रिक्त है या इसका शीर्ष तत्व A है, इसलिए यह संबंध समुच्चय चित्र है। जेडएफसी में यह सिद्ध किया जा सकता है कि प्रत्येक समुच्चय चित्र कुछ के लिए समरूपी है .

इससे पता चलता है कि ( प्रारंभिक खंड) संचयी पदानुक्रम का अध्ययन समुच्चय चित्रों के समरूपता वर्गों पर विचार करके किया जा सकता है। ये समरूपता वर्ग समुच्चय हैं और नई नींव में समुच्चय बनाते हैं। समुच्चय चित्रों के समरूपता वर्गों पर सदस्यता के अनुरूप प्राकृतिक समुच्चय संबंध है: यदि समुच्चय चित्र है, लिखो इसके समरूपता वर्ग के लिए और परिभाषित करें यदि धारण किये हुए हो वाई के शीर्ष तत्व के वाई के तहत प्रीइमेज के तत्वों में से के नीचे की ओर बंद होने के लिए वाई के प्रतिबंध का समरूपता वर्ग है। संबंध ई समुच्चय संबंध है, और यह साबित करना आसान है कि यह अच्छी तरह से स्थापित और विस्तारित है। यदि ई की परिभाषा भ्रमित करने वाली है, तो इस अवलोकन से यह निष्कर्ष निकाला जा सकता है कि यह ठीक उस संबंध से प्रेरित है जो ए से जुड़े समुच्चय चित्र और बी से जुड़े समुच्चय चित्र के मध्य होता है। सामान्य समुच्चय सिद्धांत में.

समुच्चय चित्रों के समरूपता वर्गों पर टी ऑपरेशन होता है, जो ऑर्डिनल्स पर टी ऑपरेशन के अनुरूप होता है: यदि x समुच्चय चित्र है, तो यह भी है . परिभाषित करना जैसा . यह देखना आसान है .

इस सिम्युलेटेड समुच्चय सिद्धांत के लिए विस्तारशीलता का सिद्धांत ई की विस्तारशीलता से अनुसरण करता है। इसकी सुगठितता से नींव का सिद्धांत अनुसरण करता है। यह प्रश्न बना हुआ है कि स्वयंसिद्ध E की क्या समझ हो सकती है। समुच्चय चित्रों के किसी भी संग्रह पर विचार करें (समुच्चय चित्रों का संग्रह जिनके क्षेत्र पूरी तरह से सिंगलटन से बने हैं)। प्रत्येक के बाद से x से प्रकार अधिक है ( प्रकार-स्तर क्रमित युग्म का उपयोग करके), प्रत्येक तत्व को प्रतिस्थापित करता है प्रत्येक के क्षेत्र का के साथ संग्रह में परिणामस्वरूप समुच्चय चित्रों का संग्रह मूल संग्रह से समरूप होता है किन्तु उनके क्षेत्र असंबद्ध होते हैं। इन समुच्चय का मिलन नए शीर्ष तत्व के साथ चित्र समुच्चय चित्र उत्पन्न करते हैं जिसका समरूपता प्रकार ई के तहत इसकी पूर्वछवियों के रूप में मूल संग्रह के बिल्कुल तत्व होंगे। अर्थात्, समरूपता प्रकार के किसी भी संग्रह के लिए , समरूपता प्रकार है E के अंतर्गत जिसका पूर्वचित्र बिल्कुल यही संग्रह है।

विशेष रूप से, समरूपता प्रकार [v] होगा जिसकी E के अंतर्गत पूर्वछवि सभी T[x] (T[v] सहित) का संग्रह है। चूँकि T[v] E v और E अच्छी तरह से स्थापित है, . यह ऊपर और न्यू फ़ाउंडेशन लेख में चर्चा किए गए बुराली-फोर्टी विरोधाभास के समाधान जैसा दिखता है, और वास्तव में सभी अच्छी तरह से स्थापित समुच्चयों के समुच्चय के मिरिमैनॉफ के विरोधाभास का स्थानीय समाधान है।

समुच्चय चित्रों के समरूपता वर्गों के श्रेणी होते हैं जैसे सामान्य समुच्चय सिद्धांत में समुच्चय के श्रेणीहोते हैं। समुच्चय चित्रों ए के किसी भी संग्रह के लिए, एस (ए) को समुच्चय चित्रों के सभी समरूपता वर्गों के समुच्चय के रूप में परिभाषित करें जिनकी ई के तहत प्रीइमेज ए का सबसमुच्चय है; यदि A का प्रत्येक उपसमुच्चय E के अंतर्गत पूर्वछवि है, तो A को पूर्ण समुच्चय कहें। रैंकों का संग्रह सबसे छोटा संग्रह है जिसमें रिक्त समुच्चय होता है और S ऑपरेशन (जो प्रकार का पावर समुच्चय निर्माण है) और इसके उपसंग्रहों के संघों के तहत बंद होता है। यह सिद्ध करना सरल है (सामान्य समुच्चय सिद्धांत की तरह) कि समावेशन द्वारा रैंकों को सुव्यवस्थित किया जाता है, और इसलिए इस सुव्यवस्थित क्रम में रैंकों का सूचकांक होता है: सूचकांक के साथ श्रेणीको देखें जैसा . यह बात सिद्ध है पूर्ण श्रेणीके लिए . संबंध E के साथ पूर्ण रैंकों (जो पहली अपूर्ण श्रेणीहोगी) का मिलन ज़र्मेलो-शैली समुच्चय सिद्धांत के ब्रह्मांड के प्रारंभिक खंड जैसा दिखता है (जरूरी नहीं कि जेडएफसी के पूर्ण ब्रह्मांड की तरह हो क्योंकि यह पर्याप्त बड़ा नहीं हो सकता है)। यह सिद्ध है कि यदि तो, पहली अपूर्ण श्रेणीहै पूर्ण श्रेणीहै और इस प्रकार . तो बाहरी ऑटोमोर्फिज्म टी के साथ संचयी पदानुक्रम की श्रेणीहै जो श्रेणीको नीचे की ओर ले जा रही है, बिल्कुल संचयी पदानुक्रम में श्रेणीके गैर-मानक प्रारूप की स्थिति जिसके तहत न्यू फ़ाउंडेशन लेख में एनएफयू का प्रारूप बनाया गया है। सत्यापित करने के लिए तकनीकी विवरण हैं, किन्तु इस संरचना में न केवल जेडएफसी के टुकड़े की बल्कि न्यू फ़ाउंडेशन की भी व्याख्या है। के रूप में परिभाषित : यह संबंध यह निर्धारित संबंध नहीं है, किन्तु इसके तर्कों के मध्य सामान्य सदस्यता संबंध के समान ही विस्थापन होता है .

तो समुच्चय के संचयी पदानुक्रम के एनएफयू के अंदर प्राकृतिक निर्माण होता है जो ज़र्मेलो-शैली समुच्चय सिद्धांत में एनएफयू के प्रारूप के प्राकृतिक निर्माण को आंतरिक करता है।

न्यू फ़ाउंडेशन लेख में वर्णित कैंटोरियन समुच्चय के एक्सिओम के अनुसार, सदस्यता के रूप में E संबंध के साथ समुच्चय चित्रों के आइसोमोर्फिज्म वर्गों के समुच्चय का दृढ़ता से कैंटोरियन भाग जेडएफसी का (उचित वर्ग) प्रारूप बन जाता है (जिसमें n-महलो कार्डिनल्स होते हैं; प्रत्येक n के लिए; एनएफयू का यह विस्तार जेडएफसी से अधिक दृढ़ है)। यह उचित वर्ग प्रारूप है क्योंकि दृढ़ता से कैंटोरियन समरूपता वर्ग समुच्चय नहीं बनाते हैं।

एनएफयू के किसी भी प्रारूप से ऐसा प्रारूप बनाने के लिए क्रमपरिवर्तन विधियों का उपयोग किया जा सकता है जिसमें प्रत्येक दृढ़ता से कैंटोरियन आइसोमोर्फिज्म प्रकार के समुच्चय चित्रों को वास्तव में समुच्चय के सकर्मक समापन के लिए वास्तविक सदस्यता संबंध के प्रतिबंध के रूप में अनुभूत किया जाता है।

यह भी देखें

संदर्भ

  • Keith Devlin, 1994. The Joy of Sets, 2nd ed. Springer-Verlag.
  • Holmes, Randall, 1998. Elementary Set Theory with a Universal Set. Academia-Bruylant. The publisher has graciously consented to permit diffusion of this introduction to एनएफयू via the web. Copyright is reserved.
  • Potter, Michael, 2004. Set Theory and its Philosophy, 2nd ed. Oxford Univ. Press.
  • Suppes, Patrick, 1972. Axiomatic Set Theory. Dover.
  • Tourlakis, George, 2003. Lectures in Logic and Set Theory, Vol. 2. Cambridge Univ. Press.

बाहरी संबंध