अबाध क्रम प्रमुखता (कार्दिनलिटी ऑफ़ दी कॉन्टीनुम): Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Cardinality of the set of real numbers}}
{{Short description|Cardinality of the set of real numbers}}
[[ समुच्चय सिद्धान्त |समुच्चय सिद्धान्त]] में, सातत्य की [[प्रमुखता]] [[वास्तविक संख्या|वास्तविक संख्याओं]] के [[सेट (गणित)]] की  प्रमुखता या आकार है। <math>\mathbb R</math>, जिसे कभी-कभी [[सातत्य (सेट सिद्धांत)]] कहा जाता है। यह [[अनंत सेट]] प्रमुख संख्या है एवं इसे <math>\mathfrak c</math> (लोअरकेस [[भंग]] सी ) या <math>|\mathbb R|</math> द्वारा निरूपित किया जाता है। <ref>{{Cite web|title=Transfinite number {{!}} mathematics|url=https://www.britannica.com/science/transfinite-number|access-date=2020-08-12|website=Encyclopedia Britannica|language=en}}</ref> वास्तविक संख्याएँ <math>\mathbb R</math> [[प्राकृतिक संख्या]] <math>\mathbb N</math> से अधिक हैं , इसके अतिरिक्त, <math>\mathbb R</math> के [[ सत्ता स्थापित ]] के समान तत्वों की संख्या <math>\mathbb N.</math> है। प्रतीकात्मक रूप से, यदि  प्रमुखता <math>\mathbb N</math> एलेफ <math>\aleph_0</math> के रूप में दर्शाया गया है, सातत्य की प्रमुखता है।
[[ समुच्चय सिद्धान्त |समुच्चय सिद्धान्त]] में, सातत्य की [[प्रमुखता]] [[वास्तविक संख्या|वास्तविक संख्याओं]] के [[सेट (गणित)|समुच्चय (गणित)]] की  प्रमुखता या आकार है। <math>\mathbb R</math>, जिसे कभी-कभी [[सातत्य (सेट सिद्धांत)|सातत्य (समुच्चय सिद्धांत)]] कहा जाता है। यह [[अनंत सेट|अनंत समुच्चय]] प्रमुख संख्या है एवं इसे <math>\mathfrak c</math> (लोअरकेस [[भंग]] सी ) या <math>|\mathbb R|</math> द्वारा निरूपित किया जाता है। <ref>{{Cite web|title=Transfinite number {{!}} mathematics|url=https://www.britannica.com/science/transfinite-number|access-date=2020-08-12|website=Encyclopedia Britannica|language=en}}</ref> वास्तविक संख्याएँ <math>\mathbb R</math> [[प्राकृतिक संख्या]] <math>\mathbb N</math> से अधिक हैं , इसके अतिरिक्त, <math>\mathbb R</math> के [[ सत्ता स्थापित ]] के समान तत्वों की संख्या <math>\mathbb N.</math> है। प्रतीकात्मक रूप से, यदि  प्रमुखता <math>\mathbb N</math> एलेफ <math>\aleph_0</math> के रूप में दर्शाया गया है, सातत्य की प्रमुखता है।
{{block indent|<math>\mathfrak c = 2^{\aleph_0} > \aleph_0 \,. </math>}}
{{block indent|<math>\mathfrak c = 2^{\aleph_0} > \aleph_0 \,. </math>}}
यह 1874 के स्वयं कैंटर के पूर्व अनगिनत प्रमाण में [[जॉर्ज कैंटर]] द्वारा सिद्ध किया गया था, जो कि भिन्न-भिन्न अनंतताओं के उनके महत्वपूर्ण अध्ययन का भाग था। असमानता को पश्चात 1891 में उनके कैंटर के विकर्ण नियम में एवं अधिक सरलता से कहा गया था। कैंटर ने विशेषण कार्यों के संदर्भ में प्रमुखता को परिभाषित किया। दो सेटों में समान प्रमुखता होती है, एवं यदि, उनके मध्य विशेषण फ़ंक्शन उपस्थित होता है।
यह 1874 के स्वयं कैंटर के पूर्व अनगिनत प्रमाण में [[जॉर्ज कैंटर]] द्वारा सिद्ध किया गया था, जो कि भिन्न-भिन्न अनंतताओं के उनके महत्वपूर्ण अध्ययन का भाग था। असमानता को पश्चात 1891 में उनके कैंटर के विकर्ण नियम में एवं अधिक सरलता से कहा गया था। कैंटर ने विशेषण कार्यों के संदर्भ में प्रमुखता को परिभाषित किया। दो समुच्चयों में समान प्रमुखता होती है, एवं यदि, उनके मध्य विशेषण फलन उपस्थित होता है।


किन्हीं भी दो वास्तविक संख्याओं a < b के मध्य, संभवता वे  कितने भी निकट क्यों न हों, सदैव अपरिमित रूप से कई अन्य वास्तविक संख्याएँ होती हैं, एवं कैंटर ने दिखाया कि वे उतने ही हैं जितने कि वास्तविक संख्याओं के सम्पूर्ण सेट में निहित हैं। दूसरे शब्दों में, [[खुला अंतराल|विवृत अंतराल]] (''a'',''b'') के साथ [[समतुल्य]] है <math>\mathbb R.</math> यह कई अन्य अनंत सेटों के लिए भी उत्तम है, जैसे कि कोई भी n आयामी [[ यूक्लिडियन अंतरिक्ष | यूक्लिडियन अंतरिक्ष]] <math>\mathbb R^n</math> ([[ अंतरिक्ष भरने वक्र ]] देखें)। वह है,
किन्हीं भी दो वास्तविक संख्याओं a < b के मध्य, संभवता वे  कितने भी निकट क्यों न हों, सदैव अपरिमित रूप से कई अन्य वास्तविक संख्याएँ होती हैं, एवं कैंटर ने दिखाया कि वे उतने ही हैं जितने कि वास्तविक संख्याओं के सम्पूर्ण समुच्चय में निहित हैं। दूसरे शब्दों में, [[खुला अंतराल|विवृत अंतराल]] (''a'',''b'') के साथ [[समतुल्य]] है <math>\mathbb R.</math> यह कई अन्य अनंत समुच्चयों के लिए भी उत्तम है, जैसे कि कोई भी n आयामी [[ यूक्लिडियन अंतरिक्ष | यूक्लिडियन अंतरिक्ष]] <math>\mathbb R^n</math> ([[ अंतरिक्ष भरने वक्र ]] देखें)। वह है,
{{block indent|<math>|(a,b)| = |\mathbb R| = |\mathbb R^n|.</math>}}
{{block indent|<math>|(a,b)| = |\mathbb R| = |\mathbb R^n|.</math>}}


सबसे अल्प अनंत प्रमुख संख्या <math>\aleph_0</math> है, दूसरा सबसे अल्प <math>\aleph_1</math> है। सातत्य परिकल्पना, जो प्रभुत्व करती है कि ऐसे कोई सेट नहीं हैं जिनकी  प्रमुखता जटिलता से मध्य में <math>\aleph_0</math> हो एवं {{nowrap|<math>\mathfrak c</math>,}} अर्थात कि <math>\mathfrak c = \aleph_1</math>.<ref name=":0">{{Cite web|last=Weisstein|first=Eric W.|title=सातत्य|url=https://mathworld.wolfram.com/सातत्य.html|access-date=2020-08-12|website=mathworld.wolfram.com|language=en}}</ref>  एवं इस परिकल्पना की सत्यता या असत्यता अनिर्णीत है और लोकप्रिय के स्वयंसिद्ध (जेडएफसी) के साथ व्यापक रूप से उपयोग किए गए ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के अंदर सिद्ध नहीं किया जा सकता है।
सबसे अल्प अनंत प्रमुख संख्या <math>\aleph_0</math> है, दूसरा सबसे अल्प <math>\aleph_1</math> है। सातत्य परिकल्पना, जो प्रभुत्व करती है कि ऐसे कोई समुच्चय नहीं हैं जिनकी  प्रमुखता जटिलता से मध्य में <math>\aleph_0</math> हो एवं {{nowrap|<math>\mathfrak c</math>,}} अर्थात कि <math>\mathfrak c = \aleph_1</math>.<ref name=":0">{{Cite web|last=Weisstein|first=Eric W.|title=सातत्य|url=https://mathworld.wolfram.com/सातत्य.html|access-date=2020-08-12|website=mathworld.wolfram.com|language=en}}</ref>  एवं इस परिकल्पना की सत्यता या असत्यता अनिर्णीत है और लोकप्रिय के स्वयंसिद्ध (जेडएफसी) के साथ व्यापक रूप से उपयोग किए गए ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के अंदर सिद्ध नहीं किया जा सकता है।


== गुण ==
== गुण ==


=== असंख्य ===
=== असंख्य ===
जॉर्ज कैंटर ने अनंत सेटों के आकार की तुलना करने के लिए प्रमुखता की अवधारणा प्रस्तुत की। उन्होंने प्रसिद्ध रूप से दिखाया कि वास्तविक संख्याओं का समुच्चय [[बेशुमार अनंत|असंख्य अनंत]] है। जो <math>{\mathfrak c}</math> प्राकृतिक संख्या की  प्रमुखता से जटिलता <math>\aleph_0</math>से अधिक है।  
जॉर्ज कैंटर ने अनंत समुच्चयों के आकार की तुलना करने के लिए प्रमुखता की अवधारणा प्रस्तुत की। उन्होंने प्रसिद्ध रूप से दिखाया कि वास्तविक संख्याओं का समुच्चय [[बेशुमार अनंत|असंख्य अनंत]] है। जो <math>{\mathfrak c}</math> प्राकृतिक संख्या की  प्रमुखता से जटिलता <math>\aleph_0</math> से अधिक है।  
{{block indent|<math>\aleph_0 < \mathfrak c.</math>}}
{{block indent|<math>\aleph_0 < \mathfrak c.</math>}}
व्यवहार में, इसका अर्थ है कि पूर्णांकों की तुलना में वास्तव में अधिक वास्तविक संख्याएँ हैं। कैंटर ने इस कथन को कई भिन्न-भिन्न प्रविधियों से सिद्ध किया। इस विषय पर अधिक जानकारी के लिए, कैंटर का प्रथम असंख्य प्रमाण एवं कैंटर का विकर्ण नियम देखें।
व्यवहार में, इसका अर्थ है कि पूर्णांकों की तुलना में वास्तव में अधिक वास्तविक संख्याएँ हैं। कैंटर ने इस कथन को कई भिन्न-भिन्न प्रविधियों से सिद्ध किया। इस विषय पर अधिक जानकारी के लिए, कैंटर का प्रथम असंख्य प्रमाण एवं कैंटर का विकर्ण नियम देखें।


=== प्रमुख समानता ===
=== प्रमुख समानता ===
कैंटर के प्रमेय को प्रमाणित करने के लिए कैंटर के विकर्ण नियम की भिन्नता का उपयोग किया जा सकता है, जिसमें कहा गया है कि किसी भी सेट की  प्रमुखता उसके पावर सेट की तुलना में जटिलता से कम है। वह ,<math>|A| < 2^{|A|}</math>  है। वास्तव में, कोई दिखा सकता है, कि प्रमुखता <math>\wp(\mathbb N)</math><math>{\mathfrak c}</math> के समान है। निम्नलिखितनुसार:
कैंटर के प्रमेय को प्रमाणित करने के लिए कैंटर के विकर्ण नियम की भिन्नता का उपयोग किया जा सकता है, जिसमें कहा गया है कि किसी भी समुच्चय की  प्रमुखता उसके पावर समुच्चय की तुलना में जटिलता से कम है। वह ,<math>|A| < 2^{|A|}</math>  है। वास्तव में, कोई दिखा सकता है, कि प्रमुखता <math>\wp(\mathbb N)</math><math>{\mathfrak c}</math> के समान है। निम्नलिखितनुसार:
# मानचित्र को परिभाषित करें <math>f:\mathbb R\to\wp(\mathbb Q)</math> वास्तविक से [[परिमेय]] के घात समुच्चय तक, <math>\mathbb Q</math>, प्रत्येक वास्तविक संख्या भेजकर <math>x</math> सेट पर <math>\{q \in \mathbb{Q}: q \leq x\}</math> से कम या उसके समान सभी परिमेय <math>x</math> क्योंकि तर्कसंगत [[ घना सेट ]] हैं, <math>\mathbb{R}</math> यह मानचित्र विशेषण फलन है, एवं क्योंकि परिमेय गणनीय हैं, हमारे पास वह <math>\mathfrak c \le 2^{\aleph_0}</math> है।  
# मानचित्र को परिभाषित करें <math>f:\mathbb R\to\wp(\mathbb Q)</math> वास्तविक से [[परिमेय]] के घात समुच्चय तक, <math>\mathbb Q</math>, प्रत्येक वास्तविक संख्या भेजकर <math>x</math> समुच्चय पर <math>\{q \in \mathbb{Q}: q \leq x\}</math> से कम या उसके समान सभी परिमेय <math>x</math> क्योंकि तर्कसंगत [[ घना सेट | घना समुच्चय]] हैं, <math>\mathbb{R}</math> यह मानचित्र विशेषण फलन है, एवं क्योंकि परिमेय गणनीय हैं, हमारे पास वह <math>\mathfrak c \le 2^{\aleph_0}</math> है।  
#होने में <math>\{0,2\}^{\mathbb N}</math> सेट में मूल्यों के साथ अनंत [[अनुक्रम]] का सेट <math>\{0,2\}</math> होता है, इस सेट में  <math>2^{\aleph_0}</math> प्रमुखता है (द्विआधारी अनुक्रमों के सेट के मध्य प्राकृतिक आपत्ति एवं <math>\wp(\mathbb N)</math> संकेतक फ़ंक्शन द्वारा दिया गया है)। अब, ऐसे प्रत्येक क्रम से जुड़ें <math>(a_i)_{i\in\mathbb N}</math> [[इकाई अंतराल]] में अद्वितीय वास्तविक संख्या <math>[0,1]</math> त्रैमासिक अंक प्रणाली के साथ-अंकों द्वारा दिया गया विस्तार <math>a_1,a_2,\dotsc</math>, अर्थात , <math>\sum_{i=1}^\infty a_i3^{-i}</math> भिन्नात्मक बिंदु के पश्चात <math>i</math>-वाँ अंक है।  <math>a_i</math> आधार के संबंध में होता है। <math>3</math>. इस मानचित्र की छवि को [[कैंटर सेट]] कहा जाता है। यह देखना कठिन नहीं है कि यह नक्शा अन्तक्षेपण है, अंक 1 के अंक से बचने के लिए उनके टर्नरी विस्तार में, इस तथ्य से उत्पन्न संघर्ष से बचते हैं कि वास्तविक संख्या का त्रि-विस्तार अद्वितीय नहीं है। हमारे पास <math>2^{\aleph_0} \le \mathfrak c</math> वह है।  
#<math>\{0,2\}^{\mathbb N}</math> समुच्चय में मूल्यों के साथ अनंत [[अनुक्रम]] का समुच्चय <math>\{0,2\}</math> होता है, इस समुच्चय में  <math>2^{\aleph_0}</math> प्रमुखता है (द्विआधारी अनुक्रमों के समुच्चय के मध्य प्राकृतिक आपत्ति एवं <math>\wp(\mathbb N)</math> संकेतक फलन द्वारा दिया गया है)। अब, ऐसे प्रत्येक क्रम से जुड़ें <math>(a_i)_{i\in\mathbb N}</math> [[इकाई अंतराल]] में अद्वितीय वास्तविक संख्या <math>[0,1]</math> त्रैमासिक अंक प्रणाली के साथ-अंकों द्वारा दिया गया विस्तार <math>a_1,a_2,\dotsc</math>, अर्थात , <math>\sum_{i=1}^\infty a_i3^{-i}</math> भिन्नात्मक बिंदु के पश्चात <math>i</math>-वाँ अंक है।  <math>a_i</math> आधार के संबंध में होता है। <math>3</math>. इस मानचित्र की छवि को [[कैंटर सेट|कैंटर समुच्चय]] कहा जाता है। यह देखना कठिन नहीं है कि यह मैप अन्तक्षेपण है, 1 के अंक से बचने के लिए उनके टर्नरी विस्तार में, इस तथ्य से उत्पन्न संघर्ष से बचते हैं कि वास्तविक संख्या का त्रि-विस्तार अद्वितीय नहीं है। हमारे पास <math>2^{\aleph_0} \le \mathfrak c</math> वह है।  
कैंटर-बर्नस्टीन-श्रोएडर प्रमेय द्वारा हम यह निष्कर्ष निकालते हैं।
कैंटर-बर्नस्टीन-श्रोएडर प्रमेय द्वारा हम यह निष्कर्ष निकालते हैं।
{{block indent|<math>\mathfrak c = |\wp(\mathbb{N})| = 2^{\aleph_0}.</math>}}
{{block indent|<math>\mathfrak c = |\wp(\mathbb{N})| = 2^{\aleph_0}.</math>}}
Line 30: Line 30:
जहाँ n कोई परिमित प्रमुख ≥ 2 है, और
जहाँ n कोई परिमित प्रमुख ≥ 2 है, और
{{block indent|<math> \mathfrak c ^{\mathfrak c}  =  (2^{\aleph_0})^{\mathfrak c}  = 2^{\mathfrak c\times\aleph_0} = 2^{\mathfrak c},</math>}}
{{block indent|<math> \mathfrak c ^{\mathfrak c}  =  (2^{\aleph_0})^{\mathfrak c}  = 2^{\mathfrak c\times\aleph_0} = 2^{\mathfrak c},</math>}}
जहाँ <math>2 ^{\mathfrak c}</math> R के पावर सेट की प्रमुखता एवं <math>2 ^{\mathfrak c} > \mathfrak c </math> है।   
जहाँ <math>2 ^{\mathfrak c}</math> R के पावर समुच्चय की प्रमुखता एवं <math>2 ^{\mathfrak c} > \mathfrak c </math> है।   


=== {{not a typo|&cfr; {{=}} 2<sup>א<sub>&lrm;0</sub></sup>}} के लिए वैकल्पिक व्याख्या ===
=== {{not a typo|&cfr; {{=}} 2<sup>א<sub>&lrm;0</sub></sup>}} के लिए वैकल्पिक व्याख्या ===
Line 39: Line 39:
(यह पूर्व दो उदाहरणों के जैसे विस्तार दोहराने की स्थिति में भी सत्य है।)
(यह पूर्व दो उदाहरणों के जैसे विस्तार दोहराने की स्थिति में भी सत्य है।)


किसी भी स्थिति में, अंकों की संख्या [[गणनीय सेट]] है, क्योंकि उन्हें प्राकृतिक संख्याओं के सेट के साथ <math>\mathbb{N}</math> पत्राचार में रखा जा सकता है। यह π के पूर्व, सौवें, या दस लाखवें अंक के विषय में कथन करने के लिए सचेत बनाता है। चूंकि प्राकृतिक संख्याओं में  प्रमुखता <math>\aleph_0,</math> होती है, इसके विस्तार में अंक प्रत्येक वास्तविक संख्या में <math>\aleph_0</math> है।
किसी भी स्थिति में, अंकों की संख्या [[गणनीय सेट|गणनीय समुच्चय]] है, क्योंकि उन्हें प्राकृतिक संख्याओं के समुच्चय के साथ <math>\mathbb{N}</math> पत्राचार में रखा जा सकता है। यह π के पूर्व, सौवें, या दस लाखवें अंक के विषय में कथन करने के लिए सचेत बनाता है। चूंकि प्राकृतिक संख्याओं में  प्रमुखता <math>\aleph_0,</math> होती है, इसके विस्तार में अंक प्रत्येक वास्तविक संख्या में <math>\aleph_0</math> है।


चूँकि प्रत्येक वास्तविक संख्या को पूर्णांक भाग एवं दशमलव अंश में तोड़ा जा सकता है, हम प्राप्त करते हैं।
चूँकि प्रत्येक वास्तविक संख्या को पूर्णांक भाग एवं दशमलव अंश में तोड़ा जा सकता है, हम प्राप्त करते हैं।
Line 56: Line 56:
{{main|बेथ संख्या}}
{{main|बेथ संख्या}}


बेथ संख्याओं  <math>\beth_0 = \aleph_0</math> एवं<math>\beth_{k+1} = 2^{\beth_k}</math> के क्रम को सेटिंग द्वारा परिभाषित किया गया है, इसलिए <math>{\mathfrak c}</math> दूसरा बेथ नंबर है, बेथ-वन:
बेथ संख्याओं  <math>\beth_0 = \aleph_0</math> एवं<math>\beth_{k+1} = 2^{\beth_k}</math> के क्रम को समुच्चयिंग द्वारा परिभाषित किया गया है, इसलिए <math>{\mathfrak c}</math> दूसरा बेथ नंबर है, बेथ-वन:
{{block indent|<math>\mathfrak c = \beth_1.</math>}}
{{block indent|<math>\mathfrak c = \beth_1.</math>}}
तीसरी बेथ संख्या, बेथ-टू, के पावर सेट की प्रमुखता  <math>\mathbb{R}</math> है (अर्थात [[वास्तविक रेखा]] के सभी उपसमुच्चयों का समुच्चय)।
तीसरी बेथ संख्या, बेथ-टू, के पावर समुच्चय की प्रमुखता  <math>\mathbb{R}</math> है (अर्थात [[वास्तविक रेखा]] के सभी उपसमुच्चयों का समुच्चय)।
{{block indent|<math>2^\mathfrak c = \beth_2.</math>}}
{{block indent|<math>2^\mathfrak c = \beth_2.</math>}}


Line 67: Line 67:
प्रसिद्ध सातत्य परिकल्पना <math>{\mathfrak c}</math> का प्रभुत्व है, कि दूसरा [[ एलेफ संख्या ]] <math>\aleph_1</math> भी है, <ref name=":0" />दूसरे शब्दों में, सातत्य परिकल्पना कहती है कि <math>A</math> कोई समुच्चय नहीं है <math>\aleph_0</math> एवं <math>{\mathfrak c}</math> जिनकी प्रमुखता जटिलता से मध्य में है।  
प्रसिद्ध सातत्य परिकल्पना <math>{\mathfrak c}</math> का प्रभुत्व है, कि दूसरा [[ एलेफ संख्या ]] <math>\aleph_1</math> भी है, <ref name=":0" />दूसरे शब्दों में, सातत्य परिकल्पना कहती है कि <math>A</math> कोई समुच्चय नहीं है <math>\aleph_0</math> एवं <math>{\mathfrak c}</math> जिनकी प्रमुखता जटिलता से मध्य में है।  
{{block indent|<math>\nexists A \quad:\quad \aleph_0 < |A| < \mathfrak c.</math>}}
{{block indent|<math>\nexists A \quad:\quad \aleph_0 < |A| < \mathfrak c.</math>}}
यह कथन अब कर्ट गोडेल एवं [[पॉल कोहेन]] द्वारा दिखाए गए सदृश के स्वयंसिद्ध (जेडएफसी) के साथ जर्मेलो-फ्रेंकेल सेट सिद्धांत के सिद्धांतों से स्वतंत्र होने के लिए जाना जाता है।<ref>{{Cite book |last=Gödel |first=Kurt |date=1940-12-31 |title=Consistency of the Continuum Hypothesis. (AM-3) |url=http://dx.doi.org/10.1515/9781400881635 |doi=10.1515/9781400881635|isbn=9781400881635 }}</ref><ref>{{Cite journal |last=Cohen |first=Paul J. |title=सातत्य परिकल्पना की स्वतंत्रता|date=December 1963 |journal=Proceedings of the National Academy of Sciences |volume=50 |issue=6 |pages=1143–1148 |doi=10.1073/pnas.50.6.1143 |pmid=16578557 |pmc=221287 |bibcode=1963PNAS...50.1143C |issn=0027-8424|doi-access=free }}</ref><ref>{{Cite journal |last=Cohen |first=Paul J. |title=सातत्य परिकल्पना की स्वतंत्रता, द्वितीय|date=January 1964 |journal=Proceedings of the National Academy of Sciences |volume=51 |issue=1 |pages=105–110 |doi=10.1073/pnas.51.1.105 |pmid=16591132 |pmc=300611 |bibcode=1964PNAS...51..105C |issn=0027-8424|doi-access=free }}</ref> अर्थात्, परिकल्पना एवं उसका निषेध दोनों ही इन स्वयंसिद्धों के अनुरूप हैं। वास्तव में, प्रत्येक अशून्य प्राकृतिक संख्या n के लिए, समानता <math>{\mathfrak c}</math> = <math>\aleph_n</math> ZFC से स्वतंत्र है (केस <math>n=1</math> निरंतर परिकल्पना होने के सम्बन्ध में)। अधिकांश अन्य अलेफों के लिए भी यही सत्य है, चूंकि कुछ स्थितियो में, कोनिग के प्रमेय (सेट सिद्धांत) <math>\mathfrak{c}\neq\aleph_\omega</math> <math>\mathfrak{c}</math> द्वारा समानता से अस्वीकृति किया जा सकता है। ) विशेष रूप से  <math>\aleph_1</math> या  <math>\aleph_{\omega_1}</math> दोनो में से हो सकता है, जहाँ <math>\omega_1</math> [[पहला बेशुमार क्रमसूचक|प्रथम असंख्य क्रमसूचक]] है, इसलिए यह या तो  [[उत्तराधिकारी कार्डिनल|उत्तराधिकारी प्रमुख]] या [[सीमा कार्डिनल|सीमा प्रमुख]] हो सकता है, एवं या तो [[नियमित कार्डिनल|नियमित प्रमुख]] या [[एकवचन कार्डिनल|एकवचन प्रमुख]] हो सकता है।
यह कथन अब कर्ट गोडेल एवं [[पॉल कोहेन]] द्वारा दिखाए गए सदृश के स्वयंसिद्ध (जेडएफसी) के साथ जर्मेलो-फ्रेंकेल समुच्चय सिद्धांत के सिद्धांतों से स्वतंत्र होने के लिए जाना जाता है।<ref>{{Cite book |last=Gödel |first=Kurt |date=1940-12-31 |title=Consistency of the Continuum Hypothesis. (AM-3) |url=http://dx.doi.org/10.1515/9781400881635 |doi=10.1515/9781400881635|isbn=9781400881635 }}</ref><ref>{{Cite journal |last=Cohen |first=Paul J. |title=सातत्य परिकल्पना की स्वतंत्रता|date=December 1963 |journal=Proceedings of the National Academy of Sciences |volume=50 |issue=6 |pages=1143–1148 |doi=10.1073/pnas.50.6.1143 |pmid=16578557 |pmc=221287 |bibcode=1963PNAS...50.1143C |issn=0027-8424|doi-access=free }}</ref><ref>{{Cite journal |last=Cohen |first=Paul J. |title=सातत्य परिकल्पना की स्वतंत्रता, द्वितीय|date=January 1964 |journal=Proceedings of the National Academy of Sciences |volume=51 |issue=1 |pages=105–110 |doi=10.1073/pnas.51.1.105 |pmid=16591132 |pmc=300611 |bibcode=1964PNAS...51..105C |issn=0027-8424|doi-access=free }}</ref> अर्थात्, परिकल्पना एवं उसका निषेध दोनों ही इन स्वयंसिद्धों के अनुरूप हैं। वास्तव में, प्रत्येक अशून्य प्राकृतिक संख्या n के लिए, समानता <math>{\mathfrak c}</math> = <math>\aleph_n</math> ZFC से स्वतंत्र है (केस <math>n=1</math> निरंतर परिकल्पना होने के सम्बन्ध में)। अधिकांश अन्य अलेफों के लिए भी यही सत्य है, चूंकि कुछ स्थितियो में, कोनिग के प्रमेय (समुच्चय सिद्धांत) <math>\mathfrak{c}\neq\aleph_\omega</math> <math>\mathfrak{c}</math> द्वारा समानता से अस्वीकृति किया जा सकता है। ) विशेष रूप से  <math>\aleph_1</math> या  <math>\aleph_{\omega_1}</math> दोनो में से हो सकता है, जहाँ <math>\omega_1</math> [[पहला बेशुमार क्रमसूचक|प्रथम असंख्य क्रमसूचक]] है, इसलिए यह या तो  [[उत्तराधिकारी कार्डिनल|उत्तराधिकारी प्रमुख]] या [[सीमा कार्डिनल|सीमा प्रमुख]] हो सकता है, एवं या तो [[नियमित कार्डिनल|नियमित प्रमुख]] या [[एकवचन कार्डिनल|एकवचन प्रमुख]] हो सकता है।


सातत्य की प्रमुखता के साथ सेट करता है।
सातत्य की प्रमुखता के साथ समुच्चय करता है।


गणित में अध्ययन किए गए बहुत से सेटों में  प्रमुखता समान <math>{\mathfrak c}</math> होती है। कुछ सामान्य उदाहरण निम्नलिखित हैं:
गणित में अध्ययन किए गए बहुत से समुच्चयों में  प्रमुखता समान <math>{\mathfrak c}</math> होती है। कुछ सामान्य उदाहरण निम्नलिखित हैं:


{{unordered list
{{unordered list
Line 112: Line 112:
}}
}}


== अधिक प्रमुखता के साथ सेट ==
== अधिक प्रमुखता के साथ समुच्चय ==


<math>{\mathfrak c}</math> अधिक प्रमुखता के साथ सेट करता है।  
<math>{\mathfrak c}</math> अधिक प्रमुखता के साथ समुच्चय करता है।  


* <math>\mathbb{R}</math> के सभी उपसमूहों का समुच्चय  (अर्थात, पावर सेट <math>\mathcal{P}(\mathbb{R})</math>)
* <math>\mathbb{R}</math> के सभी उपसमूहों का समुच्चय  (अर्थात, पावर समुच्चय <math>\mathcal{P}(\mathbb{R})</math>)
*वास्तविक के सबसेट पर परिभाषित संकेतक कार्यों का सेट (सेट <math>2^{\mathbb{R}}</math> के लिए [[ समरूप | समरूप]]  है, <math>\mathcal{P}(\mathbb{R})</math>- संकेतक फ़ंक्शन सम्मिलित करने के लिए प्रत्येक सबसेट के तत्वों का चयन करता है)।
*वास्तविक के सबसमुच्चय पर परिभाषित संकेतक कार्यों का समुच्चय (समुच्चय <math>2^{\mathbb{R}}</math> के लिए [[ समरूप | समरूप]]  है, <math>\mathcal{P}(\mathbb{R})</math>- संकेतक फलन सम्मिलित करने के लिए प्रत्येक सबसमुच्चय के तत्वों का चयन करता है)।
*सेट <math>\mathbb{R}^\mathbb{R}</math> से सभी कार्यों से <math>\mathbb{R}</math> से <math>\mathbb{R}</math>
*समुच्चय <math>\mathbb{R}^\mathbb{R}</math> से सभी कार्यों से <math>\mathbb{R}</math> से <math>\mathbb{R}</math>
*लेबेस्गुए σ-बीजगणित का <math>\mathbb{R}</math>, अर्थात, सभी [[Lebesgue मापने योग्य|लेबेस्गुए मापने योग्य]] <math>\mathbb{R}</math> सेट का सेट
*लेबेस्गुए σ-बीजगणित का <math>\mathbb{R}</math>, अर्थात, सभी [[Lebesgue मापने योग्य|लेबेस्गुए मापने योग्य]] <math>\mathbb{R}</math> समुच्चय का समुच्चय
*सभी लेबेस्गुए इंटीग्रेशन का सेट <math>\mathbb{R}</math> से <math>\mathbb{R}</math>
*सभी लेबेस्गुए इंटीग्रेशन का समुच्चय <math>\mathbb{R}</math> से <math>\mathbb{R}</math>
*सभी [[मापने योग्य कार्य]] का सेट <math>\mathbb{R}</math> से <math>\mathbb{R}</math>
*सभी [[मापने योग्य कार्य]] का समुच्चय <math>\mathbb{R}</math> से <math>\mathbb{R}</math>
*स्टोन-चेक का कॉम्पेक्टिफिकेशन <math>\mathbb{N}</math>, <math>\mathbb{Q}</math> एवं <math>\mathbb{R}</math>
*स्टोन-चेक का कॉम्पेक्टिफिकेशन <math>\mathbb{N}</math>, <math>\mathbb{Q}</math> एवं <math>\mathbb{R}</math>
*संमिश्र संख्याओं के (विच्छेद) क्षेत्र के सभी स्वाकारणों का समुच्चय।
*संमिश्र संख्याओं के (विच्छेद) क्षेत्र के सभी स्वाकारणों का समुच्चय।

Revision as of 15:27, 29 May 2023

समुच्चय सिद्धान्त में, सातत्य की प्रमुखता वास्तविक संख्याओं के समुच्चय (गणित) की प्रमुखता या आकार है। , जिसे कभी-कभी सातत्य (समुच्चय सिद्धांत) कहा जाता है। यह अनंत समुच्चय प्रमुख संख्या है एवं इसे (लोअरकेस भंग सी ) या द्वारा निरूपित किया जाता है। [1] वास्तविक संख्याएँ प्राकृतिक संख्या से अधिक हैं , इसके अतिरिक्त, के सत्ता स्थापित के समान तत्वों की संख्या है। प्रतीकात्मक रूप से, यदि प्रमुखता एलेफ के रूप में दर्शाया गया है, सातत्य की प्रमुखता है।

यह 1874 के स्वयं कैंटर के पूर्व अनगिनत प्रमाण में जॉर्ज कैंटर द्वारा सिद्ध किया गया था, जो कि भिन्न-भिन्न अनंतताओं के उनके महत्वपूर्ण अध्ययन का भाग था। असमानता को पश्चात 1891 में उनके कैंटर के विकर्ण नियम में एवं अधिक सरलता से कहा गया था। कैंटर ने विशेषण कार्यों के संदर्भ में प्रमुखता को परिभाषित किया। दो समुच्चयों में समान प्रमुखता होती है, एवं यदि, उनके मध्य विशेषण फलन उपस्थित होता है।

किन्हीं भी दो वास्तविक संख्याओं a < b के मध्य, संभवता वे कितने भी निकट क्यों न हों, सदैव अपरिमित रूप से कई अन्य वास्तविक संख्याएँ होती हैं, एवं कैंटर ने दिखाया कि वे उतने ही हैं जितने कि वास्तविक संख्याओं के सम्पूर्ण समुच्चय में निहित हैं। दूसरे शब्दों में, विवृत अंतराल (a,b) के साथ समतुल्य है यह कई अन्य अनंत समुच्चयों के लिए भी उत्तम है, जैसे कि कोई भी n आयामी यूक्लिडियन अंतरिक्ष (अंतरिक्ष भरने वक्र देखें)। वह है,

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

गुण

असंख्य

जॉर्ज कैंटर ने अनंत समुच्चयों के आकार की तुलना करने के लिए प्रमुखता की अवधारणा प्रस्तुत की। उन्होंने प्रसिद्ध रूप से दिखाया कि वास्तविक संख्याओं का समुच्चय असंख्य अनंत है। जो प्राकृतिक संख्या की प्रमुखता से जटिलता से अधिक है।

व्यवहार में, इसका अर्थ है कि पूर्णांकों की तुलना में वास्तव में अधिक वास्तविक संख्याएँ हैं। कैंटर ने इस कथन को कई भिन्न-भिन्न प्रविधियों से सिद्ध किया। इस विषय पर अधिक जानकारी के लिए, कैंटर का प्रथम असंख्य प्रमाण एवं कैंटर का विकर्ण नियम देखें।

प्रमुख समानता

कैंटर के प्रमेय को प्रमाणित करने के लिए कैंटर के विकर्ण नियम की भिन्नता का उपयोग किया जा सकता है, जिसमें कहा गया है कि किसी भी समुच्चय की प्रमुखता उसके पावर समुच्चय की तुलना में जटिलता से कम है। वह , है। वास्तव में, कोई दिखा सकता है, कि प्रमुखता के समान है। निम्नलिखितनुसार:

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

कैंटर-बर्नस्टीन-श्रोएडर प्रमेय द्वारा हम यह निष्कर्ष निकालते हैं।

प्रमुख समानता प्रमुख अंकगणित का उपयोग करके प्रदर्शित किया जा सकता है।

प्रमुख अंकगणित के नियमों का उपयोग करके, यह भी दिखाया जा सकता है।

जहाँ n कोई परिमित प्रमुख ≥ 2 है, और

जहाँ R के पावर समुच्चय की प्रमुखता एवं है।

𝔠 = 2א‎0 के लिए वैकल्पिक व्याख्या

प्रत्येक वास्तविक संख्या का कम से कम अनंत दशमलव प्रसार होता है। उदाहरण के लिए,

1/2 = 0.50000...
1/3 = 0.33333...
π = 3.14159....

(यह पूर्व दो उदाहरणों के जैसे विस्तार दोहराने की स्थिति में भी सत्य है।)

किसी भी स्थिति में, अंकों की संख्या गणनीय समुच्चय है, क्योंकि उन्हें प्राकृतिक संख्याओं के समुच्चय के साथ पत्राचार में रखा जा सकता है। यह π के पूर्व, सौवें, या दस लाखवें अंक के विषय में कथन करने के लिए सचेत बनाता है। चूंकि प्राकृतिक संख्याओं में प्रमुखता होती है, इसके विस्तार में अंक प्रत्येक वास्तविक संख्या में है।

चूँकि प्रत्येक वास्तविक संख्या को पूर्णांक भाग एवं दशमलव अंश में तोड़ा जा सकता है, हम प्राप्त करते हैं।

जहां हमने इस तथ्य का उपयोग किया

दूसरी ओर, यदि मैप करते को हैं एवं विचार करें कि केवल 3 या 7 वाले दशमलव अंश वास्तविक संख्याओं का केवल भाग हैं, तो हम प्राप्त करते हैं।

एवं इस प्रकार

बेथ संख्या

बेथ संख्याओं एवं के क्रम को समुच्चयिंग द्वारा परिभाषित किया गया है, इसलिए दूसरा बेथ नंबर है, बेथ-वन:

तीसरी बेथ संख्या, बेथ-टू, के पावर समुच्चय की प्रमुखता है (अर्थात वास्तविक रेखा के सभी उपसमुच्चयों का समुच्चय)।

सतत परिकल्पना

प्रसिद्ध सातत्य परिकल्पना का प्रभुत्व है, कि दूसरा एलेफ संख्या भी है, [2]दूसरे शब्दों में, सातत्य परिकल्पना कहती है कि कोई समुच्चय नहीं है एवं जिनकी प्रमुखता जटिलता से मध्य में है।

यह कथन अब कर्ट गोडेल एवं पॉल कोहेन द्वारा दिखाए गए सदृश के स्वयंसिद्ध (जेडएफसी) के साथ जर्मेलो-फ्रेंकेल समुच्चय सिद्धांत के सिद्धांतों से स्वतंत्र होने के लिए जाना जाता है।[3][4][5] अर्थात्, परिकल्पना एवं उसका निषेध दोनों ही इन स्वयंसिद्धों के अनुरूप हैं। वास्तव में, प्रत्येक अशून्य प्राकृतिक संख्या n के लिए, समानता = ZFC से स्वतंत्र है (केस निरंतर परिकल्पना होने के सम्बन्ध में)। अधिकांश अन्य अलेफों के लिए भी यही सत्य है, चूंकि कुछ स्थितियो में, कोनिग के प्रमेय (समुच्चय सिद्धांत) द्वारा समानता से अस्वीकृति किया जा सकता है। ) विशेष रूप से या दोनो में से हो सकता है, जहाँ प्रथम असंख्य क्रमसूचक है, इसलिए यह या तो उत्तराधिकारी प्रमुख या सीमा प्रमुख हो सकता है, एवं या तो नियमित प्रमुख या एकवचन प्रमुख हो सकता है।

सातत्य की प्रमुखता के साथ समुच्चय करता है।

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

  • वास्तविक संख्या
  • कोई (नॉनडीजेनरेट) संवृत या विवृत अंतराल (जैसे की जैसे इकाई अंतराल हैI
  • तर्कहीन संख्या s
  • अनुवांशिक संख्या

    पारलौकिक संख्याएँ हम ध्यान देते हैं कि वास्तविक बीजगणितीय संख्याओं का समुच्चय अनगिनत रूप से अनंत है (प्रत्येक सूत्र को उसकी गोडेल संख्या निर्दिष्ट करें।) इसलिए वास्तविक बीजगणितीय संख्याओं की ℵ 0 प्रमुखता है,

    इसके अतिरिक्त, वास्तविक बीजगणितीय संख्याएँ और वास्तविक पारलौकिक संख्याएँ असंयुक्त समुच्चय हैं जिनका संघ {R} है,
      
    इस प्रकार, की प्रमुखता के पश्चात
      
    {R} है
      
    {c}, वास्तविक पारलौकिक संख्याओं की प्रमुखता है
      
    

    - ℵ 0 =

    जटिल पारलौकिक संख्याओं के लिए समान परिणाम प्राप्त होता है, जब हम यह प्रमाणित कर देते हैंI
  • कैंटर सेट
  • यूक्लिडियन अंतरिक्ष [6]
  • जटिल संख्याs हम ध्यान दें कि यूक्लिडियन अंतरिक्ष की प्रमुखता के कैंटर के प्रमाण के अनुसार,[6] . परिभाषा के अनुसार, कोई भी के रूप में विशिष्ट रूप से व्यक्त किया जा सकता है कुछ के लिए . इसलिए हम आपत्ति को परिभाषित करते हैं।
  • प्राकृतिक संख्याओं का पावर सेट {P} {N}(प्राकृतिक संख्याओं के सभी सबसेट का सेट)
  • पूर्णांकों के अनुक्रम का समुच्चय (अर्थात सभी फलन {N} प्रायः {Z} के रूप में दर्शाए जाते हैं,
  • वास्तविक संख्याओं के अनुक्रमों का समुच्चय
  • सभी सतत कार्यों का सेट to
  • यूक्लिडियन टोपोलॉजी पर (अर्थात सभी का सेट ओपन सेट )
  • बोरेल बीजगणित σ-बीजगणित पर (अर्थात सभी बोरेल सेट का सेट).

अधिक प्रमुखता के साथ समुच्चय

अधिक प्रमुखता के साथ समुच्चय करता है।

  • के सभी उपसमूहों का समुच्चय (अर्थात, पावर समुच्चय )
  • वास्तविक के सबसमुच्चय पर परिभाषित संकेतक कार्यों का समुच्चय (समुच्चय के लिए समरूप है, - संकेतक फलन सम्मिलित करने के लिए प्रत्येक सबसमुच्चय के तत्वों का चयन करता है)।
  • समुच्चय से सभी कार्यों से से
  • लेबेस्गुए σ-बीजगणित का , अर्थात, सभी लेबेस्गुए मापने योग्य समुच्चय का समुच्चय
  • सभी लेबेस्गुए इंटीग्रेशन का समुच्चय से
  • सभी मापने योग्य कार्य का समुच्चय से
  • स्टोन-चेक का कॉम्पेक्टिफिकेशन , एवं
  • संमिश्र संख्याओं के (विच्छेद) क्षेत्र के सभी स्वाकारणों का समुच्चय।

इन सभी में प्रमुखता है ।

संदर्भ

  1. "Transfinite number | mathematics". Encyclopedia Britannica (in English). Retrieved 2020-08-12.
  2. 2.0 2.1 Weisstein, Eric W. "सातत्य". mathworld.wolfram.com (in English). Retrieved 2020-08-12.
  3. Gödel, Kurt (1940-12-31). Consistency of the Continuum Hypothesis. (AM-3). doi:10.1515/9781400881635. ISBN 9781400881635.
  4. Cohen, Paul J. (December 1963). "सातत्य परिकल्पना की स्वतंत्रता". Proceedings of the National Academy of Sciences. 50 (6): 1143–1148. Bibcode:1963PNAS...50.1143C. doi:10.1073/pnas.50.6.1143. ISSN 0027-8424. PMC 221287. PMID 16578557.
  5. Cohen, Paul J. (January 1964). "सातत्य परिकल्पना की स्वतंत्रता, द्वितीय". Proceedings of the National Academy of Sciences. 51 (1): 105–110. Bibcode:1964PNAS...51..105C. doi:10.1073/pnas.51.1.105. ISSN 0027-8424. PMC 300611. PMID 16591132.
  6. 6.0 6.1 Was Cantor Surprised?, Fernando Q. Gouvêa, American Mathematical Monthly, March 2011.


ग्रन्थसूची

This article incorporates material from cardinality of the continuum on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.