समसंख्याकता: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Mathematical relationship between two sets}} {{redirect|Equipollence|the concept in geometry|Equipollence (geometry)}} गणित में, दो स...")
 
No edit summary
Line 1: Line 1:
{{Short description|Mathematical relationship between two sets}}
{{Short description|Mathematical relationship between two sets}}
{{redirect|Equipollence|the concept in geometry|Equipollence (geometry)}}
{{redirect|तुल्यता|ज्यामिति में अवधारणा|तुल्यता (ज्यामिति)}}
गणित में, दो [[सेट (गणित)]] या वर्ग (गणित) ए और बी 'समतुल्य' हैं यदि उनके बीच एक-से-एक पत्राचार (या आक्षेप) मौजूद है, यानी, यदि ए से बी तक कोई [[फ़ंक्शन (गणित)]] मौजूद है जैसे कि बी के प्रत्येक [[तत्व (गणित)]] के लिए, ए के साथ ए का बिल्कुल एक तत्व एक्स है {{nowrap begin}}f(x) = y{{nowrap end}}.<ref name="suppes"/>कहा जाता है कि समसंख्य समुच्चयों में समान [[प्रमुखता]] (तत्वों की संख्या) होती है।<ref>{{cite book |title=समुच्चय सिद्धांत के तत्व|last=Enderton |first=Herbert |author-link=Herbert Enderton |publisher=Academic Press Inc. |year=1977 |isbn=0-12-238440-7}}</ref> कार्डिनैलिटी के अध्ययन को अक्सर समसंख्याकता (''संख्या की समानता'') कहा जाता है। इसके स्थान पर कभी-कभी इक्विपोलेंस (''समानता-की-शक्ति'') और इक्विपोटेन्स (''समानता-की-शक्ति'') शब्द का उपयोग किया जाता है।
गणित में, दो [[सेट (गणित)|समुच्चय(गणित)]] या वर्ग (गणित) A और B ''''समतुल्य'''<nowiki/>' हैं यदि उनके बीच एक-से-एक पत्राचार (या आक्षेप) मौजूद है, यानी, यदि A से B तक कोई [[Index.php?title=फलन (गणित)|फलन (गणित)]] मौजूद है जैसे किBके प्रत्येक [[तत्व (गणित)]] के लिए, A के साथ A का बिल्कुल एक तत्व X है {{nowrap begin}}f(x) = y{{nowrap end}}.<ref name="suppes"/> कहा जाता है कि समसंख्य समुच्चयों में समान [[प्रमुखता]] (तत्वों की संख्या) होती है।<ref>{{cite book |title=समुच्चय सिद्धांत के तत्व|last=Enderton |first=Herbert |author-link=Herbert Enderton |publisher=Academic Press Inc. |year=1977 |isbn=0-12-238440-7}}</ref> गणनांक के अध्ययन को अक्सर समसंख्याकता (''संख्या की समानता'') कहा जाता है। इसके स्थान पर कभी-कभी तुल्यता (''समानता-की-शक्ति'') और समशक्ति (''समानता-की-शक्ति'') शब्द का उपयोग किया जाता है।


समसंख्या में [[समतुल्य संबंध]] के विशिष्ट गुण होते हैं।<ref name="suppes"/>यह कथन कि दो समुच्चय A और B समसंख्यक हैं, आमतौर पर दर्शाया जाता है
समसंख्या में [[समतुल्य संबंध]] के विशिष्ट गुण होते हैं।<ref name="suppes"/>यह कथन कि दो समुच्चय A और B समसंख्यक हैं, आमतौर पर दर्शाया जाता है
:<math>A \approx B \,</math> या <math>A \sim B</math>, या <math>|A|=|B|.</math>
:<math>A \approx B \,</math> या <math>A \sim B</math>, या <math>|A|=|B|.</math>
[[द्विभाजन]] का उपयोग करके समसंकुचितता की परिभाषा को परिमित और अनंत दोनों सेटों पर लागू किया जा सकता है, और यह बताने की अनुमति देता है कि क्या दो सेटों का आकार समान है, भले ही वे अनंत हों। सेट सिद्धांत के आविष्कारक [[जॉर्ज कैंटर]] ने 1874 में दिखाया कि एक से अधिक प्रकार की अनंतता है, विशेष रूप से सभी [[प्राकृतिक संख्या]]ओं का संग्रह और सभी [[वास्तविक संख्या]]ओं का संग्रह, जबकि दोनों अनंत हैं, समसंख्यक नहीं हैं (कैंटर की पहली अगणनीयता देखें) सबूत)। अपने विवादास्पद 1878 के पेपर में, कैंटर ने स्पष्ट रूप से सेट की शक्ति की धारणा को परिभाषित किया और इसका उपयोग यह साबित करने के लिए किया कि सभी प्राकृतिक संख्याओं का सेट और सभी तर्कसंगत संख्याओं का सेट समतुल्य है (एक उदाहरण जहां एक [[अनंत सेट]] का उचित उपसमुच्चय समतुल्य है) मूल सेट), और यह कि वास्तविक संख्याओं की प्रतियों की गणनीय अनंत संख्या का कार्टेशियन उत्पाद भी वास्तविक संख्याओं की एक प्रति के बराबर होता है।
[[द्विभाजन]] का उपयोग करके समसंकुचितता की परिभाषा को परिमित और अनंत दोनों समुच्चयों पर लागू किया जा सकता है, और यह बताने की अनुमति देता है कि क्या दो समुच्चयों का आकार समान है, भले ही वे अनंत हों। समुच्चयसिद्धांत के आविष्कारक [[जॉर्ज कैंटर]] ने 1874 में दिखाया कि एक से अधिक प्रकार की अनंतता है, विशेष रूप से सभी [[प्राकृतिक संख्या]]ओं का संग्रह और सभी [[वास्तविक संख्या]]ओं का संग्रह, जबकि दोनों अनंत हैं, समसंख्यक नहीं हैं (कैंटर की पहली अगणनीयता देखें)। अपने विवादास्पद 1878 के पेपर में, कैंटर ने स्पष्ट रूप से समुच्चय की शक्ति की धारणा को परिभाषित किया और इसका उपयोग यह साबित करने के लिए किया कि सभी प्राकृतिक संख्याओं का समुच्चय और सभी तर्कसंगत संख्याओं का समुच्चय समतुल्य है (एक उदाहरण जहां एक [[अनंत सेट|अनंत]] समुच्चय का उचित उपसमुच्चय समतुल्य है) मूल समुच्चय, और यह कि वास्तविक संख्याओं की प्रतियों की गणनीय अनंत संख्या का कार्तीय उत्पाद भी वास्तविक संख्याओं की एक प्रति के बराबर होता है।


1891 से कैंटर के प्रमेय का तात्पर्य है कि कोई भी सेट अपने स्वयं के [[ सत्ता स्थापित ]] (इसके सभी उपसमुच्चयों का सेट) के बराबर नहीं है।<ref name="suppes"/>यह एकल अनंत समुच्चय से प्रारंभ करके अधिक से अधिक अनंत समुच्चयों की परिभाषा की अनुमति देता है।
1891 से कैंटर के प्रमेय का तात्पर्य है कि कोई भी समुच्चय अपने स्वयं के [[ सत्ता स्थापित ]] (इसके सभी उपसमुच्चयों का समुच्चय) के बराबर नहीं है।<ref name="suppes"/>यह एकल अनंत समुच्चय से प्रारंभ करके अधिक से अधिक अनंत समुच्चयों की परिभाषा की अनुमति देता है।


यदि पसंद का सिद्धांत कायम रहता है, तो किसी सेट की कार्डिनल संख्या को उस कार्डिनैलिटी की सबसे कम क्रमिक संख्या माना जा सकता है ([[प्रारंभिक क्रमसूचक]] देखें)। अन्यथा, इसे (स्कॉट की चाल से) उस प्रमुखता वाले न्यूनतम रैंक के सेट के सेट के रूप में माना जा सकता है।<ref name="suppes"/>
यदि पसंद का सिद्धांत कायम रहता है, तो किसी समुच्चय की कार्डिनल संख्या को उस गणनांक की सबसे कम क्रमिक संख्या माना जा सकता है ([[प्रारंभिक क्रमसूचक]] देखें)। अन्यथा, इसे (स्कॉट की चाल से) उस प्रमुखता वाले न्यूनतम रैंक के समुच्चय के रूप में माना जा सकता है।<ref name="suppes"/>


यह कथन कि कोई भी दो सेट या तो समसंख्य हैं या एक की कार्डिनैलिटी दूसरे की तुलना में छोटी है, पसंद के सिद्धांत के बराबर है।<ref name="jech"/>
यह कथन कि कोई भी दो समुच्चय या तो समसंख्य हैं या एक की गणनांक दूसरे की तुलना में छोटी है, पसंद के सिद्धांत के बराबर है।<ref name="jech"/>




== कार्डिनैलिटी ==
== गणनांक ==
समसंख्य समुच्चयों के बीच एक-से-एक पत्राचार होता है,<ref>{{Cite web|last=Weisstein|first=Eric W.|title=बराबर|url=https://mathworld.wolfram.com/बराबर.html|access-date=2020-09-05|website=mathworld.wolfram.com|language=en}}</ref> और कहा जाता है कि उनकी प्रमुखता समान है। समुच्चय X की कार्डिनैलिटी समुच्चय के तत्वों की संख्या का माप है।<ref name="suppes"/>समसंख्या में समतुल्य संबंध ([[प्रतिवर्ती संबंध]], [[सममित संबंध]] और संक्रमणीय संबंध) के विशिष्ट गुण होते हैं:<ref name="suppes">{{cite book |title=स्वयंसिद्ध समुच्चय सिद्धांत|last=Suppes |first=Patrick |author-link=Patrick Suppes |publisher=Dover |year=1972 |orig-year=originally published by D. van Nostrand Company in 1960 |isbn=0486616304 |url-access=registration |url=https://archive.org/details/axiomaticsettheo00supp_0 }}</ref>
समसंख्य समुच्चयों के बीच एक-से-एक पत्राचार होता है,<ref>{{Cite web|last=Weisstein|first=Eric W.|title=बराबर|url=https://mathworld.wolfram.com/बराबर.html|access-date=2020-09-05|website=mathworld.wolfram.com|language=en}}</ref> और कहा जाता है कि उनकी प्रमुखता समान है। समुच्चय X की गणनांक समुच्चय के तत्वों की संख्या का माप है।<ref name="suppes"/>समसंख्या में समतुल्य संबंध ([[प्रतिवर्ती संबंध]], [[सममित संबंध]] और संक्रमणीय संबंध) के विशिष्ट गुण होते हैं:<ref name="suppes">{{cite book |title=स्वयंसिद्ध समुच्चय सिद्धांत|last=Suppes |first=Patrick |author-link=Patrick Suppes |publisher=Dover |year=1972 |orig-year=originally published by D. van Nostrand Company in 1960 |isbn=0486616304 |url-access=registration |url=https://archive.org/details/axiomaticsettheo00supp_0 }}</ref>
रिफ्लेक्सिविटी: एक सेट ए को देखते हुए, ए पर पहचान फ़ंक्शन ए से खुद पर एक आक्षेप है, यह दर्शाता है कि प्रत्येक सेट ए अपने आप में समतुल्य है: {{nowrap|''A'' ~ ''A''}}.
स्वतुल्यता: एक समुच्चय A को देखते हुए, A पर पहचान फलन A से खुद पर एक आक्षेप है, यह दर्शाता है कि प्रत्येक समुच्चय A अपने आप में समतुल्य है: {{nowrap|''A'' ~ ''A''}}.
;समरूपता: दो सेट ए और बी के बीच प्रत्येक आक्षेप के लिए एक व्युत्क्रम फ़ंक्शन मौजूद है जो बी और ए के बीच एक आक्षेप है, जिसका अर्थ है कि यदि एक सेट ए, सेट बी के बराबर है तो बी भी ए के बराबर है: {{nowrap|''A'' ~ ''B''}} तात्पर्य {{nowrap|''B'' ~ ''A''}}.
;समरूपता: दो समुच्चय A और B के बीच प्रत्येक आक्षेप के लिए एक व्युत्क्रम फलन मौजूद है जो B और A के बीच एक आक्षेप है, जिसका अर्थ है कि यदि एक समुच्चयए, समुच्चय B के बराबर है तो B भी A के बराबर है: {{nowrap|''A'' ~ ''B''}} तात्पर्य {{nowrap|''B'' ~ ''A''}}.
;परिवर्तनशीलता: दो आक्षेपों के साथ तीन सेट ए, बी और सी दिए गए हैं {{nowrap|''f'' : ''A'' → ''B''}} और {{nowrap|''g'' : ''B'' → ''C''}}, फ़ंक्शन संरचना {{nowrap|''g'' ∘ ''f''}} इन आक्षेपों में से A से C तक का आक्षेप है, इसलिए यदि A और B समसंख्यक हैं और B और C समसंख्यक हैं तो A और C समसंख्यक हैं: {{nowrap|''A'' ~ ''B''}} और {{nowrap|''B'' ~ ''C''}} एक साथ मतलब {{nowrap|''A'' ~ ''C''}}.
;परिवर्तनशीलता: दो आक्षेपों के साथ तीन समुच्चयए, B और C दिए गए हैं {{nowrap|''f'' : ''A'' → ''B''}} और {{nowrap|''g'' : ''B'' → ''C''}}, फलन संरचना {{nowrap|''g'' ∘ ''f''}} इन आक्षेपों में से A से C तक का आक्षेप है, इसलिए यदि A और B समसंख्यक हैं और B और C समसंख्यक हैं तो A और C समसंख्यक हैं: {{nowrap|''A'' ~ ''B''}} और {{nowrap|''B'' ~ ''C''}} एक साथ मतलब {{nowrap|''A'' ~ ''C''}}.


किसी सेट की कार्डिनैलिटी को उसके समतुल्य सभी सेटों के समतुल्य वर्ग के रूप में परिभाषित करने का प्रयास ज़र्मेलो-फ्रेंकेल सेट सिद्धांत, स्वयंसिद्ध सेट सिद्धांत के मानक रूप में समस्याग्रस्त है, क्योंकि किसी भी [[गैर-रिक्त सेट]] का समतुल्य वर्ग बहुत बड़ा होगा एक सेट होना: यह एक [[उचित वर्ग]] होगा। ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के ढांचे के भीतर, बाइनरी संबंध परिभाषा के अनुसार सेट तक ही सीमित हैं (सेट ए पर एक बाइनरी संबंध कार्टेशियन उत्पाद का एक [[सबसेट]] है) {{nowrap|''A'' × ''A''}}), और ज़र्मेलो-फ्रेंकेल सेट सिद्धांत में सभी सेटों का कोई सेट नहीं है। ज़र्मेलो-फ्रेंकेल सेट सिद्धांत में, किसी सेट की कार्डिनैलिटी को उसके समतुल्य सभी सेटों के समतुल्य वर्ग के रूप में परिभाषित करने के बजाय, प्रत्येक समतुल्य वर्ग ([[कार्डिनल असाइनमेंट]]) के लिए एक [[प्रतिनिधि (गणित)]] सेट निर्दिष्ट करने का प्रयास किया जाता है। स्वयंसिद्ध सेट सिद्धांत की कुछ अन्य प्रणालियों में, उदाहरण के लिए वॉन न्यूमैन-बर्नेज़-गोडेल सेट सिद्धांत और मोर्स-केली सेट सिद्धांत में, संबंधों को वर्ग (गणित) तक बढ़ाया जाता है।
किसी समुच्चय की गणनांक को उसके समतुल्य सभी समुच्चयों के समतुल्य वर्ग के रूप में परिभाषित करने का प्रयास ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत, स्वयंसिद्ध समुच्चय सिद्धांत के मानक रूप में समस्याग्रस्त है, क्योंकि किसी भी [[गैर-रिक्त सेट|गैर-रिक्त]] समुच्चय का समतुल्य वर्ग बहुत बड़ा होगा एक समुच्चय होना: यह एक [[उचित वर्ग]] होगा। ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के ढांचे के अंदर, द्विआधारी संबंध परिभाषा के अनुसार समुच्चय तक ही सीमित हैं (समुच्चय A पर एक द्विआधारी संबंध कार्तीय उत्पाद का एक [[सबसेट|सब]]समुच्चय है) {{nowrap|''A'' × ''A''}}, और ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत में सभी समुच्चयों का कोई समुच्चय नहीं है। ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत में, किसी समुच्चय की गणनांक को उसके समतुल्य सभी समुच्चयों के समतुल्य वर्ग के रूप में परिभाषित करने के बजाय, प्रत्येक समतुल्य वर्ग ([[कार्डिनल असाइनमेंट]]) के लिए एक [[प्रतिनिधि (गणित)]] समुच्चय निर्दिष्ट करने का प्रयास किया जाता है। स्वयंसिद्ध समुच्चय सिद्धांत की कुछ अन्य प्रणालियों में, उदाहरण के लिए वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत और मोर्स-केली समुच्चय सिद्धांत में, संबंधों को वर्ग (गणित) तक बढ़ाया जाता है।


एक सेट ए को सेट बी की कार्डिनैलिटी से छोटा या उसके बराबर कहा जाता है, यदि ए से बी तक एक-से-एक फ़ंक्शन (एक इंजेक्शन) मौजूद है। इसे दर्शाया गया है {{nowrap begin}}|ए| ≤ |बी|.{{nowrap end}} यदि ए और बी समसंख्यक नहीं हैं, तो ए की कार्डिनैलिटी को बी की कार्डिनैलिटी से सख्ती से छोटा कहा जाता है। इसे दर्शाया गया है {{nowrap begin}}|ए| < |बी|.{{nowrap end}} यदि पसंद का सिद्धांत मान्य है, तो [[ट्राइकोटॉमी का नियम]] कार्डिनल संख्याओं के लिए लागू होता है, ताकि कोई भी दो सेट या तो समतुल्य हों, या एक में दूसरे की तुलना में सख्ती से छोटी कार्डिनलिटी हो।<ref name="suppes"/>कार्डिनल संख्याओं के लिए ट्राइकोटॉमी का नियम भी पसंद के सिद्धांत को दर्शाता है।<ref name="jech">{{cite book |title=पसंद का सिद्धांत|last=Jech |first=Thomas J. |author-link=Thomas Jech |year=2008 |publisher=Dover |orig-year=Originally published by North–Holland in 1973 |isbn=978-0-486-46624-8}}</ref>
एक समुच्चय A को समुच्चय B की गणनांक से छोटा या उसके बराबर कहा जाता है, यदि A से B तक एक-से-एक फलन (एक इंजेक्शन) मौजूद है। इसे दर्शाया गया है {{nowrap begin}}|A| ≤ |B|.{{nowrap end}} यदि A और B समसंख्यक नहीं हैं, तो A की गणनांक को B की गणनांक से सख्ती से छोटा कहा जाता है। इसे दर्शाया गया है {{nowrap begin}}|A| < |B|.{{nowrap end}} यदि पसंद का सिद्धांत मान्य है, तो [[ट्राइकोटॉमी का नियम]] कार्डिनल संख्याओं के लिए लागू होता है, ताकि कोई भी दो समुच्चय या तो समतुल्य हों, या एक में दूसरे की तुलना में सख्ती से छोटी कार्डिनलिटी हो।<ref name="suppes"/> कार्डिनल संख्याओं के लिए ट्राइकोटॉमी का नियम भी पसंद के सिद्धांत को दर्शाता है।<ref name="jech">{{cite book |title=पसंद का सिद्धांत|last=Jech |first=Thomas J. |author-link=Thomas Jech |year=2008 |publisher=Dover |orig-year=Originally published by North–Holland in 1973 |isbn=978-0-486-46624-8}}</ref> श्रोडर-बर्नस्टीन प्रमेय बताता है कि कोई भी दो समुच्चय A और B जिसके लिए दो एक-से-एक फलन मौजूद हैं {{nowrap|''f'' : ''A'' → ''B''}} और {{nowrap|''g'' : ''B'' → ''A''}} समसंख्यक हैं: यदि {{nowrap begin}}|A| ≤ |B|{{nowrap end}} और {{nowrap begin}}|B| ≤ |A|,{{nowrap end}} तब {{nowrap begin}}|A| = |B|.{{nowrap end}}<ref name="suppes"/><ref name="jech"/>यह प्रमेय पसंद के सिद्धांत पर निर्भर नहीं करता है।
श्रोडर-बर्नस्टीन प्रमेय बताता है कि कोई भी दो सेट ए और बी जिसके लिए दो एक-से-एक फ़ंक्शन मौजूद हैं {{nowrap|''f'' : ''A'' → ''B''}} और {{nowrap|''g'' : ''B'' → ''A''}} समसंख्यक हैं: यदि {{nowrap begin}}|ए| ≤ |बी|{{nowrap end}} और {{nowrap begin}}|बी| ≤ |ए|,{{nowrap end}} तब {{nowrap begin}}|ए| = |बी|.{{nowrap end}}<ref name="suppes"/><ref name="jech"/>यह प्रमेय पसंद के सिद्धांत पर निर्भर नहीं करता है।


==कैंटर का प्रमेय ==
==कैंटर का प्रमेय ==
कैंटर के प्रमेय का तात्पर्य है कि कोई भी सेट अपने पावर सेट (इसके सभी उपसमुच्चयों का सेट) के बराबर नहीं है।<ref name="suppes"/>यह अनंत सेटों के लिए भी लागू होता है। विशेष रूप से, गणनीय अनंत समुच्चय का घात समुच्चय एक बेशुमार समुच्चय है।
कैंटर के प्रमेय का तात्पर्य है कि कोई भी समुच्चय अपने पावर समुच्चय (इसके सभी उपसमुच्चयों का समुच्चय) के बराबर नहीं है।<ref name="suppes"/> यह अनंत समुच्चयों के लिए भी लागू होता है। विशेष रूप से, गणनीय अनंत समुच्चय का घात समुच्चय एक अनंत समुच्चय है।


सभी प्राकृतिक संख्याओं से युक्त एक अनंत सेट एन के अस्तित्व को मानने और किसी दिए गए सेट के पावर सेट के अस्तित्व को मानने से अनुक्रम एन, ''पी''(एन), ''पी''('') की परिभाषा की अनुमति मिलती है। पी''(एन)), {{nowrap|''P''(''P''(''P''('''N'''))), …}}अनंत समुच्चयों का जहां प्रत्येक समुच्चय अपने पूर्ववर्ती समुच्चय का घात समुच्चय है। कैंटर के प्रमेय के अनुसार, इस क्रम में प्रत्येक सेट की कार्डिनैलिटी सख्ती से उसके पूर्ववर्ती सेट की कार्डिनैलिटी से अधिक होती है, जिससे अधिक से अधिक अनंत सेट बनते हैं।
सभी प्राकृतिक संख्याओं से युक्त एक अनंत समुच्चय N के अस्तित्व को मानने और किसी दिए गए समुच्चयके पावर समुच्चय के अस्तित्व को मानने से अनुक्रम N, ''P''(N), ''P''(''P''('''N''')) ''की परिभाषा की अनुमति मिलती है।'' {{nowrap|''P''(''P''(''P''('''N'''))), …}}अनंत समुच्चयों का जहां प्रत्येक समुच्चय अपने पूर्ववर्ती समुच्चय का घात समुच्चय है। कैंटर के प्रमेय के अनुसार, इस क्रम में प्रत्येक समुच्चय की गणनांक सख्ती से उसके पूर्ववर्ती समुच्चय की गणनांक से अधिक होती है, जिससे अधिक से अधिक अनंत समुच्चय बनते हैं।


कैंटर के काम की उनके कुछ समकालीनों द्वारा कड़ी आलोचना की गई, उदाहरण के लिए [[लियोपोल्ड क्रोनकर]] ने, जो दृढ़ता से वित्तवाद का पालन करते थे<ref name="tiles">{{cite book |last=Tiles |first=Mary |author-link=Mary Tiles |title=The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise |year=2004 |orig-year=Originally published by Basil Blackwell Ltd. in 1989 |publisher=Dover |isbn=978-0486435206}}</ref> गणित के दर्शन ने इस विचार को खारिज कर दिया कि संख्याएँ एक वास्तविक, पूर्ण समग्रता (एक वास्तविक अनंत) बना सकती हैं। हालाँकि, कैंटर के विचारों का दूसरों द्वारा बचाव किया गया, उदाहरण के लिए [[रिचर्ड डेडेकाइंड]] द्वारा, और अंततः बड़े पैमाने पर स्वीकार किया गया, [[डेविड हिल्बर्ट]] द्वारा दृढ़ता से समर्थन किया गया। अधिक जानकारी के लिए कैंटर के सिद्धांत पर विवाद देखें।
कैंटर के काम की उनके कुछ समकालीनों द्वारा कड़ी आलोचना की गई, उदाहरण के लिए [[लियोपोल्ड क्रोनकर]] ने, जो दृढ़ता से वित्तवाद का पालन करते थे<ref name="tiles">{{cite book |last=Tiles |first=Mary |author-link=Mary Tiles |title=The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise |year=2004 |orig-year=Originally published by Basil Blackwell Ltd. in 1989 |publisher=Dover |isbn=978-0486435206}}</ref> गणित के दर्शन ने इस विचार को खारिज कर दिया कि संख्याएँ एक वास्तविक, पूर्ण समग्रता (एक वास्तविक अनंत) बना सकती हैं। हालाँकि, कैंटर के विचारों का दूसरों द्वारा बचाव किया गया, उदाहरण के लिए [[रिचर्ड डेडेकाइंड]] द्वारा, और अंततः बड़े पैमाने पर स्वीकार किया गया, [[डेविड हिल्बर्ट]] द्वारा दृढ़ता से समर्थन किया गया था। अधिक जानकारी के लिए कैंटर के सिद्धांत पर विवाद देखें।


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


सेट N, ''P''(N), ''P''(''P''(N)), के अनुरूप कार्डिनैलिटी {{nowrap|''P''(''P''(''P''('''N'''))), …}} [[ बेथ संख्या ]] हैं <math>\beth_0</math>, <math>\beth_1</math>, <math>\beth_2</math>, {{nowrap|<math>\beth_3</math>, …,}} पहले बेथ नंबर के साथ <math>\beth_0</math> के बराबर होना <math>\aleph_0</math> ([[एलेफ़ शून्य]]), किसी भी गणनीय अनंत सेट की कार्डिनैलिटी, और दूसरी बेथ संख्या <math>\beth_1</math> के बराबर होना <math>\mathfrak c</math>, [[सातत्य की प्रमुखता]]।
समुच्चयN, ''P''(N), ''P''(''P''(N)), के अनुरूप गणनांक {{nowrap|''P''(''P''(''P''('''N'''))), …}} [[ बेथ संख्या ]] हैं <math>\beth_0</math>, <math>\beth_1</math>, <math>\beth_2</math>, {{nowrap|<math>\beth_3</math>, …,}} पहले बेथ नंबर के साथ <math>\beth_0</math> के बराबर होना <math>\aleph_0</math> ([[एलेफ़ शून्य]]), किसी भी गणनीय अनंत समुच्चय की गणनांक, और दूसरी बेथ संख्या <math>\beth_1</math> के बराबर होना <math>\mathfrak c</math>, [[सातत्य की प्रमुखता]] है।


== [[डेडेकाइंड-अनंत]] सेट ==
== [[डेडेकाइंड-अनंत]] समुच्चय ==
कुछ अवसरों में, समुच्चय S और उसके उचित उपसमुच्चय का समसंख्यक होना संभव है। उदाहरण के लिए, सम प्राकृत संख्याओं का समुच्चय सभी प्राकृत संख्याओं के समुच्चय के बराबर होता है। एक समुच्चय जो स्वयं के उचित उपसमुच्चय के बराबर होता है उसे डेडेकाइंड-अनंत कहा जाता है।<ref name="suppes"/><ref name="jech"/>
कुछ अवसरों में, समुच्चय S और उसके उचित उपसमुच्चय का समसंख्यक होना संभव है। उदाहरण के लिए, सम प्राकृत संख्याओं का समुच्चय सभी प्राकृत संख्याओं के समुच्चय के बराबर होता है। एक समुच्चय जो स्वयं के उचित उपसमुच्चय के बराबर होता है उसे डेडेकाइंड-अनंत कहा जाता है।<ref name="suppes"/><ref name="jech"/>


[[गणनीय विकल्प का सिद्धांत]] (एसी<sub>ω</sub>), पसंद के सिद्धांत (एसी) का एक कमजोर संस्करण, यह दिखाने के लिए आवश्यक है कि एक सेट जो डेडेकाइंड-अनंत नहीं है वह वास्तव में [[परिमित सेट]] है। पसंद के [[स्वयंसिद्ध]] (जेडएफ) के बिना ज़र्मेलो-फ़्रैन्केल सेट सिद्धांत के सिद्धांत इतने मजबूत नहीं हैं कि यह साबित कर सकें कि प्रत्येक अनंत सेट डेडेकाइंड-अनंत है, लेकिन गणनीय विकल्प के सिद्धांत के साथ ज़र्मेलो-फ़्रैन्केल सेट सिद्धांत के सिद्धांत ({{nowrap|ZF + AC<sub>ω</sub>}}) काफी मजबूत हैं।<ref name="herrlich">{{cite book |title=पसंद का सिद्धांत|last=Herrlich | first=Horst |year=2006 |publisher=Springer-Verlag |series=Lecture Notes in Mathematics 1876 |isbn=978-3540309895}}</ref> डेडेकाइंड द्वारा दी गई परिभाषाओं के अलावा समुच्चयों की परिमितता और अनंतता की अन्य परिभाषाओं के लिए पसंद के स्वयंसिद्ध की आवश्यकता नहीं है, देखें {{slink|Finite set|Necessary and sufficient conditions for finiteness}}.<ref name="suppes"/>
[[गणनीय विकल्प का सिद्धांत]] (AC<sub>ω</sub>), पसंद के सिद्धांत (AC) का एक कमजोर संस्करण, यह दिखाने के लिए आवश्यक है कि एक समुच्चय जो डेडेकाइंड-अनंत नहीं है वह वास्तव में [[परिमित सेट|परिमित]] समुच्चय है। पसंद के [[स्वयंसिद्ध]] (जेडएफ) के बिना ज़र्मेलो-फ़्रैन्केल समुच्चय सिद्धांत के सिद्धांत इतने मजबूत नहीं हैं कि यह साबित कर सकें कि प्रत्येक अनंत समुच्चय डेडेकाइंड-अनंत है, लेकिन गणनीय विकल्प के सिद्धांत के साथ ज़र्मेलो-फ़्रैन्केल समुच्चय सिद्धांत के सिद्धांत ({{nowrap|ZF + AC<sub>ω</sub>}}) काफी मजबूत हैं।<ref name="herrlich">{{cite book |title=पसंद का सिद्धांत|last=Herrlich | first=Horst |year=2006 |publisher=Springer-Verlag |series=Lecture Notes in Mathematics 1876 |isbn=978-3540309895}}</ref> डेडेकाइंड द्वारा दी गई परिभाषाओं के अलावा समुच्चयों की परिमितता और अनंतता की अन्य परिभाषाओं के लिए पसंद के स्वयंसिद्ध की आवश्यकता नहीं है। देखें {{slink|परिमित समुच्चय|परिमितता के लिए आवश्यक एवं पर्याप्त शर्तें}}.<ref name="suppes"/>




== सेट संचालन के साथ संगतता ==
== समुच्चय संचालन के साथ संगतता ==
इक्विनोमेरोसिटी एक तरह से [[बुनियादी सेट संचालन]] के साथ संगत है जो [[कार्डिनल अंकगणित]] की परिभाषा की अनुमति देता है।<ref name="suppes"/>विशेष रूप से, समसंख्यता [[असंयुक्त संघ]]ों के साथ संगत है: चार सेट ए, बी, सी और डी दिए गए हैं जिनमें एक ओर ए और सी हैं और दूसरी ओर बी और डी जोड़ीवार असंयुक्त हैं और साथ में हैं। {{nowrap|''A'' ~ ''B''}} और {{nowrap|''C'' ~ ''D''}} तब {{nowrap|''A'' ∪ ''C'' ~ ''B'' ∪ ''D''.}} इसका उपयोग [[कार्डिनल जोड़]] की परिभाषा को उचित ठहराने के लिए किया जाता है।
समसंख्याकता एक तरह से [[बुनियादी सेट संचालन|बुनियादी समुच्चय संचालन]] के साथ संगत है जो [[कार्डिनल अंकगणित]] की परिभाषा की अनुमति देता है।<ref name="suppes"/> विशेष रूप से, समसंख्यता [[Index.php?title=असंयुक्त संघों|असंयुक्त संघों]] के साथ संगत है: चार समुच्चय  ''A'', ''B'', ''C''  और D दिए गए हैं जिनमें एक ओर A और C हैं और दूसरी ओर B और D जोड़ीवार असंयुक्त हैं और साथ में हैं। {{nowrap|''A'' ~ ''B''}} और {{nowrap|''C'' ~ ''D''}} तब {{nowrap|''A'' ∪ ''C'' ~ ''B'' ∪ ''D''.}} इसका उपयोग [[कार्डिनल जोड़]] की परिभाषा को उचित ठहराने के लिए किया जाता है।


इसके अलावा, इक्विनोमेरोसिटी कार्टेशियन उत्पादों के साथ संगत है:
इसके अलावा, समसंख्याकता कार्तीय उत्पादों के साथ संगत है:
* अगर {{nowrap|''A'' ~ ''B''}} और {{nowrap|''C'' ~ ''D''}} तब {{nowrap|''A'' × ''C'' ~ ''B'' × ''D''.}}
* अगर {{nowrap|''A'' ~ ''B''}} और {{nowrap|''C'' ~ ''D''}} तब {{nowrap|''A'' × ''C'' ~ ''B'' × ''D''.}}
* ए × बी ~ बी × ए
* A ×B~B× A
* (ए × बी) × सी ~ ए × (बी × सी)
* (A × B) × C ~A× (B × C)
इन गुणों का उपयोग [[कार्डिनल गुणन]] को उचित ठहराने के लिए किया जाता है।
इन गुणों का उपयोग [[कार्डिनल गुणन]] को उचित ठहराने के लिए किया जाता है।


दो सेट X और Y दिए जाने पर, Y से X तक सभी फ़ंक्शंस के सेट को X द्वारा दर्शाया जाता है<sup>य</sup>. तब निम्नलिखित बयान रहेंगे:
दो समुच्चय X और Y दिए जाने पर, Y से X तक सभी फलन के समुच्चय को ''X<sup>Y</sup>'' द्वारा दर्शाया जाता है. तब निम्नलिखित बयान रहेंगे:
* यदि A~B और C~D है तो {{nowrap|''A''<sup>''C''</sup> ~ ''B''<sup>''D''</sup>.}}
* यदि A~B और C~D है तो {{nowrap|''A''<sup>''C''</sup> ~ ''B''<sup>''D''</sup>.}}
* ए<sup>बी ∪ सी</sup> ~ ए<sup>बी</sup>× ए<sup>सी</sup>बी और सी को अलग करने के लिए।
* A<sup>B ∪</sup> C ~ A<sup>B</sup>× ACB और C को अलग करने के लिए।
* (ए × बी)<sup>सी</sup>~ए<sup>सी</sup>× बी<sup>सी</sup>
* (A × B)<sup>C</sup>~AC× B<sup>C</sup>
* (ए<sup>बी</sup>)<sup>सी</sup>~ए<sup>बी×सी</sup>
* (A<sup>B</sup>)<sup>C</sup>~A<sup>B×C</sup>
इन गुणों का उपयोग [[कार्डिनल घातांक]] को उचित ठहराने के लिए किया जाता है।
इन गुणों का उपयोग [[कार्डिनल घातांक]] को उचित ठहराने के लिए किया जाता है।


इसके अलावा, किसी दिए गए सेट ए (ए के सभी सबसेट का सेट) का पावर सेट सेट 2 के बराबर है<sup>ए</sup>, सेट ए से बिल्कुल दो तत्वों वाले सेट तक सभी कार्यों का सेट।
इसके अलावा, किसी दिए गए समुच्चय A (A के सभी सबसमुच्चय) का पावर समुच्चय समुच्चय 2<sup>''A''</sup> के बराबर है, समुच्चय A से बिल्कुल दो तत्वों वाले समुच्चय तक सभी कार्यों का समुच्चय है।


==श्रेणीबद्ध परिभाषा ==
==श्रेणीबद्ध परिभाषा ==
[[श्रेणी सिद्धांत]] में, [[सेट की श्रेणी]], जिसे सेट कहा जाता है, वह [[श्रेणी (श्रेणी सिद्धांत)]] है जिसमें ऑब्जेक्ट (श्रेणी सिद्धांत) के रूप में सभी सेटों का संग्रह और [[रूपवाद (श्रेणी सिद्धांत)]] के रूप में सेटों के बीच सभी फ़ंक्शन (गणित) का संग्रह शामिल होता है, जिसमें फ़ंक्शन संरचना रूपवाद की संरचना के रूप में होती है। सेट में, दो सेटों के बीच एक समरूपता वास्तव में एक आक्षेप है, और दो सेट सटीक रूप से समरूप हैं यदि वे सेट में वस्तुओं के रूप में [[समाकृतिकता]] हैं।
[[श्रेणी सिद्धांत]] में, [[सेट की श्रेणी|समुच्चय की श्रेणी]], जिसे समुच्चय कहा जाता है, वह [[श्रेणी (श्रेणी सिद्धांत)]] है जिसमें ऑब्जेक्ट (श्रेणी सिद्धांत) के रूप में सभी समुच्चयों का संग्रह और [[रूपवाद (श्रेणी सिद्धांत)]] के रूप में समुच्चयों के बीच सभी फलन (गणित) का संग्रह शामिल होता है, जिसमें फलन संरचना रूपवाद की संरचना के रूप में होती है। समुच्चय में, दो समुच्चयों के बीच एक समरूपता वास्तव में एक आक्षेप है, और दो समुच्चय सटीक रूप से समरूप हैं यदि वे समुच्चय में वस्तुओं के रूप में [[समाकृतिकता]] हैं।


== यह भी देखें ==
== यह भी देखें ==

Revision as of 16:06, 26 July 2023

"तुल्यता" redirects here. For ज्यामिति में अवधारणा, see तुल्यता (ज्यामिति).

गणित में, दो समुच्चय(गणित) या वर्ग (गणित) A और B 'समतुल्य' हैं यदि उनके बीच एक-से-एक पत्राचार (या आक्षेप) मौजूद है, यानी, यदि A से B तक कोई फलन (गणित) मौजूद है जैसे किBके प्रत्येक तत्व (गणित) के लिए, A के साथ A का बिल्कुल एक तत्व X है f(x) = y.[1] कहा जाता है कि समसंख्य समुच्चयों में समान प्रमुखता (तत्वों की संख्या) होती है।[2] गणनांक के अध्ययन को अक्सर समसंख्याकता (संख्या की समानता) कहा जाता है। इसके स्थान पर कभी-कभी तुल्यता (समानता-की-शक्ति) और समशक्ति (समानता-की-शक्ति) शब्द का उपयोग किया जाता है।

समसंख्या में समतुल्य संबंध के विशिष्ट गुण होते हैं।[1]यह कथन कि दो समुच्चय A और B समसंख्यक हैं, आमतौर पर दर्शाया जाता है

या , या

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

1891 से कैंटर के प्रमेय का तात्पर्य है कि कोई भी समुच्चय अपने स्वयं के सत्ता स्थापित (इसके सभी उपसमुच्चयों का समुच्चय) के बराबर नहीं है।[1]यह एकल अनंत समुच्चय से प्रारंभ करके अधिक से अधिक अनंत समुच्चयों की परिभाषा की अनुमति देता है।

यदि पसंद का सिद्धांत कायम रहता है, तो किसी समुच्चय की कार्डिनल संख्या को उस गणनांक की सबसे कम क्रमिक संख्या माना जा सकता है (प्रारंभिक क्रमसूचक देखें)। अन्यथा, इसे (स्कॉट की चाल से) उस प्रमुखता वाले न्यूनतम रैंक के समुच्चय के रूप में माना जा सकता है।[1]

यह कथन कि कोई भी दो समुच्चय या तो समसंख्य हैं या एक की गणनांक दूसरे की तुलना में छोटी है, पसंद के सिद्धांत के बराबर है।[3]


गणनांक

समसंख्य समुच्चयों के बीच एक-से-एक पत्राचार होता है,[4] और कहा जाता है कि उनकी प्रमुखता समान है। समुच्चय X की गणनांक समुच्चय के तत्वों की संख्या का माप है।[1]समसंख्या में समतुल्य संबंध (प्रतिवर्ती संबंध, सममित संबंध और संक्रमणीय संबंध) के विशिष्ट गुण होते हैं:[1] स्वतुल्यता: एक समुच्चय A को देखते हुए, A पर पहचान फलन A से खुद पर एक आक्षेप है, यह दर्शाता है कि प्रत्येक समुच्चय A अपने आप में समतुल्य है: A ~ A.

समरूपता
दो समुच्चय A और B के बीच प्रत्येक आक्षेप के लिए एक व्युत्क्रम फलन मौजूद है जो B और A के बीच एक आक्षेप है, जिसका अर्थ है कि यदि एक समुच्चयए, समुच्चय B के बराबर है तो B भी A के बराबर है: A ~ B तात्पर्य B ~ A.
परिवर्तनशीलता
दो आक्षेपों के साथ तीन समुच्चयए, B और C दिए गए हैं f : A → B और g : B → C, फलन संरचना g ∘ f इन आक्षेपों में से A से C तक का आक्षेप है, इसलिए यदि A और B समसंख्यक हैं और B और C समसंख्यक हैं तो A और C समसंख्यक हैं: A ~ B और B ~ C एक साथ मतलब A ~ C.

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

एक समुच्चय A को समुच्चय B की गणनांक से छोटा या उसके बराबर कहा जाता है, यदि A से B तक एक-से-एक फलन (एक इंजेक्शन) मौजूद है। इसे दर्शाया गया है |A| ≤ |B|. यदि A और B समसंख्यक नहीं हैं, तो A की गणनांक को B की गणनांक से सख्ती से छोटा कहा जाता है। इसे दर्शाया गया है |A| < |B|. यदि पसंद का सिद्धांत मान्य है, तो ट्राइकोटॉमी का नियम कार्डिनल संख्याओं के लिए लागू होता है, ताकि कोई भी दो समुच्चय या तो समतुल्य हों, या एक में दूसरे की तुलना में सख्ती से छोटी कार्डिनलिटी हो।[1] कार्डिनल संख्याओं के लिए ट्राइकोटॉमी का नियम भी पसंद के सिद्धांत को दर्शाता है।[3] श्रोडर-बर्नस्टीन प्रमेय बताता है कि कोई भी दो समुच्चय A और B जिसके लिए दो एक-से-एक फलन मौजूद हैं f : A → B और g : B → A समसंख्यक हैं: यदि |A| ≤ |B| और |B| ≤ |A|, तब |A| = |B|.[1][3]यह प्रमेय पसंद के सिद्धांत पर निर्भर नहीं करता है।

कैंटर का प्रमेय

कैंटर के प्रमेय का तात्पर्य है कि कोई भी समुच्चय अपने पावर समुच्चय (इसके सभी उपसमुच्चयों का समुच्चय) के बराबर नहीं है।[1] यह अनंत समुच्चयों के लिए भी लागू होता है। विशेष रूप से, गणनीय अनंत समुच्चय का घात समुच्चय एक अनंत समुच्चय है।

सभी प्राकृतिक संख्याओं से युक्त एक अनंत समुच्चय N के अस्तित्व को मानने और किसी दिए गए समुच्चयके पावर समुच्चय के अस्तित्व को मानने से अनुक्रम N, P(N), P(P(N)) की परिभाषा की अनुमति मिलती है। P(P(P(N))), …अनंत समुच्चयों का जहां प्रत्येक समुच्चय अपने पूर्ववर्ती समुच्चय का घात समुच्चय है। कैंटर के प्रमेय के अनुसार, इस क्रम में प्रत्येक समुच्चय की गणनांक सख्ती से उसके पूर्ववर्ती समुच्चय की गणनांक से अधिक होती है, जिससे अधिक से अधिक अनंत समुच्चय बनते हैं।

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

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

समुच्चयN, P(N), P(P(N)), के अनुरूप गणनांक P(P(P(N))), … बेथ संख्या हैं , , , , …, पहले बेथ नंबर के साथ के बराबर होना (एलेफ़ शून्य), किसी भी गणनीय अनंत समुच्चय की गणनांक, और दूसरी बेथ संख्या के बराबर होना , सातत्य की प्रमुखता है।

डेडेकाइंड-अनंत समुच्चय

कुछ अवसरों में, समुच्चय S और उसके उचित उपसमुच्चय का समसंख्यक होना संभव है। उदाहरण के लिए, सम प्राकृत संख्याओं का समुच्चय सभी प्राकृत संख्याओं के समुच्चय के बराबर होता है। एक समुच्चय जो स्वयं के उचित उपसमुच्चय के बराबर होता है उसे डेडेकाइंड-अनंत कहा जाता है।[1][3]

गणनीय विकल्प का सिद्धांत (ACω), पसंद के सिद्धांत (AC) का एक कमजोर संस्करण, यह दिखाने के लिए आवश्यक है कि एक समुच्चय जो डेडेकाइंड-अनंत नहीं है वह वास्तव में परिमित समुच्चय है। पसंद के स्वयंसिद्ध (जेडएफ) के बिना ज़र्मेलो-फ़्रैन्केल समुच्चय सिद्धांत के सिद्धांत इतने मजबूत नहीं हैं कि यह साबित कर सकें कि प्रत्येक अनंत समुच्चय डेडेकाइंड-अनंत है, लेकिन गणनीय विकल्प के सिद्धांत के साथ ज़र्मेलो-फ़्रैन्केल समुच्चय सिद्धांत के सिद्धांत (ZF + ACω) काफी मजबूत हैं।[6] डेडेकाइंड द्वारा दी गई परिभाषाओं के अलावा समुच्चयों की परिमितता और अनंतता की अन्य परिभाषाओं के लिए पसंद के स्वयंसिद्ध की आवश्यकता नहीं है। देखें परिमित समुच्चय § परिमितता के लिए आवश्यक एवं पर्याप्त शर्तें.[1]


समुच्चय संचालन के साथ संगतता

समसंख्याकता एक तरह से बुनियादी समुच्चय संचालन के साथ संगत है जो कार्डिनल अंकगणित की परिभाषा की अनुमति देता है।[1] विशेष रूप से, समसंख्यता असंयुक्त संघों के साथ संगत है: चार समुच्चय A, B, C और D दिए गए हैं जिनमें एक ओर A और C हैं और दूसरी ओर B और D जोड़ीवार असंयुक्त हैं और साथ में हैं। A ~ B और C ~ D तब A ∪ C ~ B ∪ D. इसका उपयोग कार्डिनल जोड़ की परिभाषा को उचित ठहराने के लिए किया जाता है।

इसके अलावा, समसंख्याकता कार्तीय उत्पादों के साथ संगत है:

  • अगर A ~ B और C ~ D तब A × C ~ B × D.
  • A ×B~B× A
  • (A × B) × C ~A× (B × C)

इन गुणों का उपयोग कार्डिनल गुणन को उचित ठहराने के लिए किया जाता है।

दो समुच्चय X और Y दिए जाने पर, Y से X तक सभी फलन के समुच्चय को XY द्वारा दर्शाया जाता है. तब निम्नलिखित बयान रहेंगे:

  • यदि A~B और C~D है तो AC ~ BD.
  • AB ∪ C ~ AB× ACB और C को अलग करने के लिए।
  • (A × B)C~AC× BC
  • (AB)C~AB×C

इन गुणों का उपयोग कार्डिनल घातांक को उचित ठहराने के लिए किया जाता है।

इसके अलावा, किसी दिए गए समुच्चय A (A के सभी सबसमुच्चय) का पावर समुच्चय समुच्चय 2A के बराबर है, समुच्चय A से बिल्कुल दो तत्वों वाले समुच्चय तक सभी कार्यों का समुच्चय है।

श्रेणीबद्ध परिभाषा

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

यह भी देखें

संदर्भ

  1. ↑ 1.00 1.01 1.02 1.03 1.04 1.05 1.06 1.07 1.08 1.09 1.10 1.11 Suppes, Patrick (1972) [originally published by D. van Nostrand Company in 1960]. स्वयंसिद्ध समुच्चय सिद्धांत. Dover. ISBN 0486616304.
  2. ↑ Enderton, Herbert (1977). समुच्चय सिद्धांत के तत्व. Academic Press Inc. ISBN 0-12-238440-7.
  3. ↑ 3.0 3.1 3.2 3.3 Jech, Thomas J. (2008) [Originally published by North–Holland in 1973]. पसंद का सिद्धांत. Dover. ISBN 978-0-486-46624-8.
  4. ↑ Weisstein, Eric W. "बराबर". mathworld.wolfram.com (in English). Retrieved 2020-09-05.
  5. ↑ Tiles, Mary (2004) [Originally published by Basil Blackwell Ltd. in 1989]. The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise. Dover. ISBN 978-0486435206.
  6. ↑ Herrlich, Horst (2006). पसंद का सिद्धांत. Lecture Notes in Mathematics 1876. Springer-Verlag. ISBN 978-3540309895.
Retrieved from ‘https://www.vigyanwiki.in/index.php?title=समसंख्याकता&oldid=234964’