अलेफ संख्या: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(5 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Infinite cardinal number}}
{{Short description|Infinite cardinal number}}
{{Redirect|ℵ यहाँ रीडायरेक्ट करे।|पत्र के लिए|अलेफ देखें।|अन्य उपयोगों के लिए|देखें अलेफ(बहुविकल्पी)|और|अलेफ (बहुविकल्पी)।}}
[[File:Aleph0.svg|thumb|right|150px|अलेफ़-नॉट, अलेफ़-ज़ीरो, या अलेफ़-नल, सबसे छोटी अनंत कार्डिनल संख्या]][[गणित]] में, विशेष रूप से [[समुच्चय सिद्धान्त]] में, अलेफ संख्याएं [[अनंत सेट|अनंत समुच्चय]]ों की [[प्रमुखता]] या आकार का प्रतिनिधित्व करने के लिए उपयोग की जाने वाली संख्याओं का एक क्रम है जो कि [[सुव्यवस्थित]] किया जाता है। इसे गणितज्ञ [[जॉर्ज कैंटर]] द्वारा दर्शाया गया था<ref>{{cite encyclopedia |title=Aleph |website=Encyclopedia of Mathematics  |url=https://encyclopediaofmath.org/wiki/Aleph}}</ref> और उनका नाम उस प्रतीक के नाम पर रखा गया है जिसका उपयोग वह उन्हें निरूपित करने के लिए करते थे , [[Aleph|यहूदी]] अक्षर अलेफ (<math>\,\aleph\,</math>).<ref>{{Cite web |last=Weisstein |first=Eric W. |title=Aleph |website=mathworld.wolfram.com |lang=en |url=https://mathworld.wolfram.com/Aleph.html |access-date=2020-08-12}}</ref>{{efn|
[[File:Aleph0.svg|thumb|right|150px|अलेफ़-नॉट, अलेफ़-ज़ीरो, या अलेफ़-नल, सबसे छोटी अनंत कार्डिनल संख्या]][[गणित]] में, विशेष रूप से [[समुच्चय सिद्धान्त|सेट सिद्धान्त]] में, एलीफ संख्याएं [[अनंत सेट]]ों की [[प्रमुखता]] (या आकार) का प्रतिनिधित्व करने के लिए उपयोग की जाने वाली संख्याओं का एक क्रम है जो कि [[सुव्यवस्थित]] किया जा सकता है। उन्हें गणितज्ञ [[जॉर्ज कैंटर]] द्वारा पेश किया गया था<ref>{{cite encyclopedia |title=Aleph |website=Encyclopedia of Mathematics  |url=https://encyclopediaofmath.org/wiki/Aleph}}</ref> और उनका नाम उस प्रतीक के नाम पर रखा गया है जिसका उपयोग वह उन्हें निरूपित करने के लिए करते थे , [[Aleph|यहूदी]] अक्षर अलेफ (<math>\,\aleph\,</math>).<ref>{{Cite web |last=Weisstein |first=Eric W. |title=Aleph |website=mathworld.wolfram.com |lang=en |url=https://mathworld.wolfram.com/Aleph.html |access-date=2020-08-12}}</ref>{{efn|
In older mathematics books, the letter aleph is often printed upside down by accident – for example, in Sierpiński (1958)<ref name=Sierpiński-1958>{{cite book |last=Sierpiński |first= Wacław |year=1958 |title=Cardinal and Ordinal Numbers |title-link=Cardinal and Ordinal Numbers |series=Polska Akademia Nauk Monografie Matematyczne |volume= 34 |publisher=Państwowe Wydawnictwo Naukowe |place=Warsaw, PL |mr=0095787}}
In older mathematics books, the letter aleph is often printed upside down by accident – for example, in Sierpiński (1958)<ref name=Sierpiński-1958>{{cite book |last=Sierpiński |first= Wacław |year=1958 |title=Cardinal and Ordinal Numbers |title-link=Cardinal and Ordinal Numbers |series=Polska Akademia Nauk Monografie Matematyczne |volume= 34 |publisher=Państwowe Wydawnictwo Naukowe |place=Warsaw, PL |mr=0095787}}
</ref>{{rp|page=402}} the letter aleph appears both the right way up and upside down – partly because a [[monotype]] matrix for aleph was mistakenly constructed the wrong way up.<ref>
</ref>{{rp|page=402}} the letter aleph appears both the right way up and upside down – partly because a [[monotype]] matrix for aleph was mistakenly constructed the wrong way up.<ref>
Line 19: Line 18:
</ref>
</ref>
}}
}}
[[प्राकृतिक संख्या]] की प्रमुखता है <math>\,\aleph_0\,</math>(अलेफ-नॉट या अलेफ-जीरो पढ़ें; अलेफ-नल शब्द का भी कभी-कभी उपयोग किया जाता है), एक सुव्यवस्थित सेट की अगली बड़ी कार्डिनैलिटी अलेफ-वन है <math>\,\aleph_1\;,</math> तब <math>\,\aleph_2\,</math> और इसी तरह। इस तरह जारी रखते हुए, एक कार्डिनल संख्या को परिभाषित करना संभव है <math>\,\aleph_\alpha\,</math> हर क्रमिक संख्या के लिए <math>\,\alpha\;,</math> जैसा नीचे लिखा है।
[[प्राकृतिक संख्या]] की प्रमुखता है <math>\,\aleph_0\,</math>(अलेफ-नॉट या अलेफ-जीरो पढ़ें; अलेफ-नल शब्द का भी कभी-कभी उपयोग किया जाता है), सुव्यवस्थित समुच्चय की अगली बड़ी कार्डिनैलिटी अलेफ-वन है <math>\,\aleph_1\;,</math> तब <math>\,\aleph_2\,</math> और इसी तरह जारी रखते हुए एक कार्डिनल संख्या को परिभाषित करना संभव है <math>\,\aleph_\alpha\,</math> हर क्रमिक संख्या के लिए <math>\,\alpha\;,</math> जैसा नीचे लिखा है।


अवधारणा और संकेतन जॉर्ज कैंटर के कारण हैं,<ref>
अवधारणा और संकेतन जॉर्ज कैंटर के कारण हैं,<ref>
Line 39: Line 38:
  |quote=His new numbers deserved something unique. ... Not wishing to invent a new symbol himself, he chose the aleph, the first letter of the Hebrew alphabet ... the aleph could be taken to represent new beginnings&nbsp;...
  |quote=His new numbers deserved something unique. ... Not wishing to invent a new symbol himself, he chose the aleph, the first letter of the Hebrew alphabet ... the aleph could be taken to represent new beginnings&nbsp;...
}}
}}
</ref>
</ref> जिन्होंने कार्डिनैलिटी की धारणा का स्पष्टिकरण किया और महसूस किया कि अनंत समुच्चय में भिन्न-भिन्न कार्डिनैलिटी हो सकती हैं।
जिन्होंने कार्डिनैलिटी की धारणा का स्पष्टिकरण किया और महसूस किया कि अनंत सेट में अलग-अलग कार्डिनैलिटी हो सकती हैं।


अलेफ़ संख्याएँ [[विस्तारित वास्तविक संख्या रेखा]] से भिन्न होती हैं (<math>\,\infty\,</math>) आमतौर पर बीजगणित और कैलकुलस में पाया जाता है, जिसमें अलेफ सेट के आकार को मापते हैं, जबकि अनंत को आमतौर पर या तो [[वास्तविक संख्या रेखा]] की चरम [[सीमा (गणित)]] के रूप में परिभाषित किया जाता है (एक फ़ंक्शन (गणित) पर लागू होता है या अनुक्रम जो अलग-अलग श्रृंखला के लिए होता है) अनंत या बिना किसी सीमा के बढ़ता है), या विस्तारित वास्तविक संख्या रेखा के चरम बिंदु के रूप में।
अलेफ़ संख्याएँ [[विस्तारित वास्तविक संख्या रेखा]] से भिन्न होती हैं (<math>\,\infty\,</math>) सामान्यतः बीजगणित और कलन में पाया जाता है जिसमें अलेफ समुच्चय के आकार को मापते हैं, जबकि अनंत को सामान्यतः या [[वास्तविक संख्या रेखा]] की चरम [[सीमा (गणित)]] के रूप में परिभाषित किया जाता है (एक फ़ंक्शन (गणित) पर लागू होता है या अनुक्रम जो भिन्न-भिन्न श्रृंखला के लिखा होता है) अनंत या बिना किसी सीमा के बढ़ता है), या विस्तारित वास्तविक संख्या रेखा के चरम बिंदु के रूप में बढ़ता है।


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


* सभी पूर्णांकों का सेट ,
* सभी पूर्णांकों का समुच्चय ,
* पूर्णांकों का कोई अनंत उपसमुच्चय, जैसे कि सभी [[वर्ग संख्या]]ओं का सेट या सभी अभाज्य संख्याओं का समुच्चय,
* पूर्णांकों का कोई अनंत उपसमुच्चय, जैसे कि सभी [[वर्ग संख्या]]ओं का समुच्चय या सभी अभाज्य संख्याओं का समुच्चय,
* सभी परिमेय संख्याओं का सेट ,
* सभी परिमेय संख्याओं का समुच्चय ,
* सभी रचनात्मक संख्याओं का सेट (ज्यामितीय अर्थ में),
* सभी रचनात्मक संख्याओं का समुच्चय (ज्यामितीय अर्थ में),
* सभी बीजीय संख्याओं का सेट ,
* सभी बीजीय संख्याओं का समुच्चय ,
* सभी [[गणना योग्य संख्या]]ओं का सेट,
* सभी [[गणना योग्य संख्या]]ओं का समुच्चय,
* परिमित लंबाई के सभी बाइनरी [[स्ट्रिंग (कंप्यूटर विज्ञान)]] का सेट, और
* परिमित लंबाई के सभी बाइनरी [[स्ट्रिंग (कंप्यूटर विज्ञान)|स्ट्रिंग (अभिकलित्र विज्ञान)]] का समुच्चय, और
* किसी भी गिने-चुने अनंत सेट के सभी परिमित उपसमुच्चयों का सेट
* किसी भी गिने-चुने अनंत समुच्चय के सभी परिमित उपसमुच्चयों का समुच्चय


ये अनंत अध्यादेश: <math>\,\omega\;,</math> <math>\,\omega+1\;,</math> <math>\,\omega\,\cdot2\,,\,</math> <math>\,\omega^{2}\,,</math> <math>\,\omega^{\omega}\,</math> और एप्सिलॉन नंबर (गणित) |<math>\,\varepsilon_{0}\,</math>गिने-चुने अनंत सेट ों में से हैं।<ref>{{cite book | last1=Jech | first1=Thomas | title=Set Theory | publisher= [[Springer-Verlag]]| location=Berlin, New York | series=Springer Monographs in Mathematics | year=2003}}</ref> उदाहरण के लिए, अनुक्रम (क्रमिकता के साथ <math>\,\omega\,\cdot2\,</math>) सभी धनात्मक विषम पूर्णांकों के बाद सभी धनात्मक सम पूर्णांक
ये अनंत अध्यादेश: <math>\,\omega\;,</math> <math>\,\omega+1\;,</math> <math>\,\omega\,\cdot2\,,\,</math> <math>\,\omega^{2}\,,</math> <math>\,\omega^{\omega}\,</math> और एप्सिलॉन नंबर (गणित) <math>\,\varepsilon_{0}\,</math>गिने-चुने अनंत समुच्चय ों में से हैं।<ref>{{cite book | last1=Jech | first1=Thomas | title=Set Theory | publisher= [[Springer-Verlag]]| location=Berlin, New York | series=Springer Monographs in Mathematics | year=2003}}</ref> उदाहरण के लिए, अनुक्रम (क्रमिकता के साथ <math>\,\omega\,\cdot2\,</math>) सभी धनात्मक विषम पूर्णांकों के बाद सभी धनात्मक सम पूर्णांक


:<math>\,\{\,1, 3, 5, 7, 9, ..., 2, 4, 6, 8, 10, ...\,\}\,</math>
:<math>\,\{\,1, 3, 5, 7, 9, ..., 2, 4, 6, 8, 10, ...\,\}\,</math>
सेट का ऑर्डरिंग है (कार्डिनैलिटी के साथ <math>\aleph_0</math>) धनात्मक पूर्णांकों का।
समुच्चय की ऑर्डरिंग है (कार्डिनैलिटी के साथ <math>\aleph_0</math>)


यदि [[गणनीय [[पसंद का स्वयंसिद्ध]]]] (पसंद के स्वयंसिद्ध का एक कमजोर संस्करण) धारण करता है, तो <math>\,\aleph_0\,</math> किसी भी अन्य अनंत कार्डिनल से छोटा है।
यदि [[गणनीय [[पसंद का स्वयंसिद्ध]]]] (पसंद के स्वयंसिद्ध का एक दुर्बल संस्करण) धारण करता है, तो <math>\,\aleph_0\,</math> किसी भी अन्य अनंत कार्डिनल से छोटा है।


== अलेफ-वन ==
== अलेफ-वन ==
{{Unreferenced section|date=October 2021}}
<math>\,\aleph_1\,</math>सभी गणनीय क्रमिक संख्याओं के समुच्चय की प्रमुखता है जिसे <math>\,\omega_{1}\,</math>कहा जाता है या कभी कभी <math>\,\Omega\,</math>. यह <math>\,\omega_{1}\,</math>अपने आप में एक क्रमिक संख्या है जो सभी गणनीय संख्याओं से बड़ी है, इसलिए यह एक [[बेशुमार सेट|अगणनीय समुच्चय]] है। इसलिए, <math>\,\aleph_1\,</math>से <math>\,\aleph_0\,</math>भिन्न है, की परिभाषा <math>\,\aleph_1\,</math>तात्पर्य है (ZF में, ज़र्मेलो-फ्रेंकेल समुच्चय थ्योरी बिना पसंद के स्वयंसिद्ध) कि कोई कार्डिनल संख्या बीच में नहीं है <math>\,\aleph_0\,</math>और <math>\,\aleph_1\,</math>यदि पसंद के स्वयंसिद्ध का उपयोग किया जाता है, तो यह आगे साबित किया जा सकता है कि कार्डिनल संख्याओं का वर्ग पूरी तरह से क्रमबद्ध है, और इस प्रकार <math>\,\aleph_1\,</math>दूसरी सबसे छोटी अनंत कार्डिनल संख्या है। पसंद के स्वयंसिद्ध का उपयोग करके, समुच्चय के सबसे उपयोगी गुणों <math>\,\omega_{1}\,</math>में से एक दिखा सकता है के कोई गणनीय उपसमुच्चय <math>\,\omega_{1}\,</math> में एक ऊपरी सीमा <math>\,\omega_{1}\,</math> है . (यह इस तथ्य से अनुसरण करता है कि गणनीय समुच्चयों की एक गणनीय संख्या का संघ स्वयं गणनीय है - पसंद के स्वयंसिद्ध के सबसे सामान्यतः अनुप्रयोगों में से एक है।) यह <math>\,\aleph_0\;</math>तथ्य स्थिति के अनुरूप है: प्राकृतिक संख्याओं के प्रत्येक परिमित समुच्चय में एक अधिकतम होता है जो एक प्राकृतिक संख्या भी है, और परिमित समुच्चय ों के [[परिमित संघ]] परिमित होते हैं।
{{Redirect|Aleph One}}
<math>\,\aleph_1\,</math> सभी गणनीय क्रमिक संख्याओं के सेट की प्रमुखता है, जिसे कहा जाता है <math>\,\omega_{1}\,</math> या कभी कभी <math>\,\Omega\,</math>. यह <math>\,\omega_{1}\,</math> अपने आप में एक क्रमिक संख्या है जो सभी गणनीय संख्याओं से बड़ी है, इसलिए यह एक [[बेशुमार सेट]] है। इसलिए, <math>\,\aleph_1\,</math> से भिन्न है <math>\,\aleph_0\,</math>. की परिभाषा <math>\,\aleph_1\,</math> तात्पर्य है (ZF में, ज़र्मेलो-फ्रेंकेल सेट थ्योरी बिना पसंद के स्वयंसिद्ध) कि कोई कार्डिनल संख्या बीच में नहीं है <math>\,\aleph_0\,</math> और <math>\,\aleph_1\,</math>. यदि पसंद के स्वयंसिद्ध का उपयोग किया जाता है, तो यह आगे साबित किया जा सकता है कि कार्डिनल संख्याओं का वर्ग पूरी तरह से क्रमबद्ध है, और इस प्रकार <math>\,\aleph_1\,</math> दूसरी सबसे छोटी अनंत कार्डिनल संख्या है। पसंद के स्वयंसिद्ध का उपयोग करके, सेट के सबसे उपयोगी गुणों में से एक दिखा सकता है <math>\,\omega_{1}\,</math>: का कोई गणनीय उपसमुच्चय <math>\,\omega_{1}\,</math> में एक ऊपरी सीमा है <math>\,\omega_{1}\,</math>. (यह इस तथ्य से अनुसरण करता है कि गणनीय सेटों की एक गणनीय संख्या का संघ स्वयं गणनीय है - पसंद के स्वयंसिद्ध के सबसे सामान्य अनुप्रयोगों में से एक।) यह तथ्य स्थिति के अनुरूप है <math>\,\aleph_0\;</math> : प्राकृतिक संख्याओं के प्रत्येक परिमित सेट में एक अधिकतम होता है जो एक प्राकृतिक संख्या भी है, और परिमित सेट ों के [[परिमित संघ]] परिमित होते हैं।


<math>\,\omega_{1}~</math>वास्तव में एक उपयोगी अवधारणा है, अगर कुछ विदेशी लग रहा है। काउंटेबल ऑपरेशंस के संबंध में एक उदाहरण एप्लिकेशन बंद हो रहा है; उदाहरण के लिए, सिग्मा-बीजगणित|σ-बीजगणित का स्पष्ट रूप से वर्णन करने की कोशिश कर रहा है जो उपसमुच्चय के मनमाने संग्रह द्वारा उत्पन्न होता है (उदाहरण के लिए [[बोरेल पदानुक्रम]] देखें)। यह बीजगणित (वेक्टर रिक्त स्थान, [[समूह सिद्धांत]], आदि) में पीढ़ी के सबसे स्पष्ट विवरणों की तुलना में कठिन है क्योंकि उन मामलों में हमें केवल परिमित संक्रियाओं - योग, उत्पाद, और इसी तरह के संबंध में बंद करना पड़ता है। इस प्रक्रिया में परिभाषित करना शामिल है, प्रत्येक गणनीय क्रमसूचक के लिए, [[ट्रांसफिनिट इंडक्शन]] के माध्यम से, सभी संभावित गणनीय यूनियनों और पूरकों में फेंक कर एक सेट, और सभी के ऊपर सभी का संघ लेना <math>\, \omega_{1}</math>.
<math>\,\omega_{1}~</math>वास्तव में एक उपयोगी अवधारणा है, यदि कुछ आकर्षक लगता है। योग्य संचालन के संबंध में एक अनुप्रयोग गणना बंद हो रही है; उदाहरण के लिए, सिग्मा-अल्जेब्रा (σ-अल्जेब्रा) का स्पष्ट रूप से वर्णन करने की कोशिश करी जा रही है जो उपसमुच्चय के मनमाने संग्रह द्वारा उत्पन्न होता है (उदाहरण के लिए [[बोरेल पदानुक्रम]] देखें)। यह बीजगणित (वेक्टर रिक्त स्थान, [[समूह सिद्धांत]], आदि) में पीढ़ी के सबसे स्पष्ट विवरणों की तुलना में कठिन है क्योंकि उन मामलों में हमें केवल परिमित संक्रियाओं - योग, उत्पाद, और इसी तरह के संबंध में बंद करना होता है। इस प्रक्रिया में परिभाषित करना सम्मलित है, प्रत्येक गणनीय क्रमसूचक के लिए, [[ट्रांसफिनिट इंडक्शन|पारपरिमित आगमन]] के माध्यम से, सभी संभावित गणनीय यूनियनों और पूरकों में फेंक कर एक समुच्चय, और सभी के ऊपर सभी <math>\, \omega_{1}</math>का संघ लेना .


== सतत परिकल्पना ==
== निरंतरता परिकल्पना ==
{{Main|Continuum hypothesis}}
{{Main|निरंतरता परिकल्पना}}
{{See also|Beth number}}
{{See also|बेथ संख्या}}
[[वास्तविक संख्या]]ओं के सेट की कार्डिनैलिटी (सातत्य की कार्डिनैलिटी) है <math>\, 2^{\aleph_0} ~.</math> यह [[ZFC]] से निर्धारित नहीं किया जा सकता है (Zermelo-Fraenkel सेट सिद्धांत पसंद के स्वयंसिद्ध के साथ संवर्धित) जहां यह संख्या एलीफ संख्या पदानुक्रम में बिल्कुल फिट बैठती है, लेकिन यह ZFC से अनुसरण करती है कि सातत्य परिकल्पना, CH, पहचान के बराबर है
[[वास्तविक संख्या]]ओं के समुच्चय की कार्डिनैलिटी (सातत्य की कार्डिनैलिटी) है <math>\, 2^{\aleph_0} ~.</math> यह ZFC से निर्धारित नहीं किया जा सकता है (ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत पसंद के स्वयंसिद्ध के साथ संवर्धित) जहां यह संख्या अलेफ संख्या पदानुक्रम में बिल्कुल सटीक बैठती है, लेकिन यह ZFC से अनुसरण करती है कि सातत्य परिकल्पना, CH पहचान के बराबर है।
:<math> 2^{\aleph_0} = \aleph_1.</math><ref name=WolframCH>
:<math> 2^{\aleph_0} = \aleph_1.</math><ref name=WolframCH>
{{cite web
{{cite web
Line 85: Line 81:
}}
}}
</ref>
</ref>
सीएच बताता है कि ऐसा कोई सेट नहीं है जिसका कार्डिनैलिटी पूर्णांक और वास्तविक संख्याओं के बीच सख्ती से हो।<ref>
CH बताता है कि ऐसा कोई समुच्चय नहीं है जिसका कार्डिनैलिटी पूर्णांक और वास्तविक संख्याओं के बीच सख्ती हो।<ref>
{{cite web
{{cite web
  |last=Weisstein |first=Eric W.
  |last=Weisstein |first=Eric W.
Line 94: Line 90:
  |lang=en
  |lang=en
}}
}}
</ref> CH ZFC से स्वतंत्र है: यह उस स्वयंसिद्ध प्रणाली के संदर्भ में न तो सिद्ध किया जा सकता है और न ही अप्रमाणित (बशर्ते कि ZFC संगति हो)। 1940 में कर्ट गोडेल द्वारा प्रदर्शित किया गया था कि CH ZFC के अनुरूप है, जब उन्होंने दिखाया कि इसका निषेध ZFC का प्रमेय नहीं है। यह ZFC से स्वतंत्र है, 1963 में [[पॉल कोहेन]] द्वारा प्रदर्शित किया गया था, जब उन्होंने इसके विपरीत दिखाया कि CH स्वयं ZFC का एक प्रमेय नहीं है - फोर्सिंग (गणित) की (तत्कालीन-उपन्यास) विधि द्वारा।<ref name=WolframCH/>
</ref> CH, ZFC से स्वतंत्र है: यह उस स्वयंसिद्ध प्रणाली के संदर्भ में न तो सिद्ध किया जा सकता है और न ही अप्रमाणित (बस शर्त यह है कि ZFC संगति हो)। 1940 में कर्ट गोडेल द्वारा प्रदर्शित किया गया था कि CH, ZFC के अनुरूप है, जब उन्होंने दिखाया कि इसका निषेध ZFC का प्रमेय नहीं है। यह ZFC से स्वतंत्र है। 1963 में [[पॉल कोहेन]] द्वारा प्रदर्शित किया गया था, जब उन्होंने इसके विपरीत दिखाया कि फोर्सिंग (गणित) की (तत्कालीन-उपन्यास) विधि द्वारा CH स्वयं ZFC का एक प्रमेय नहीं है।<ref name=WolframCH/>
 
 
== अलेफ-ओमेगा ==
== अलेफ-ओमेगा ==
अलेफ-ओमेगा है
अलेफ-ओमेगा है
:<math>\aleph_\omega = \sup \, \{ \, \aleph_n : n \in \omega \} = \sup \, \{ \, \aleph_n : n \in \left\{\, 0, 1, 2, \dots\, \right\} \, \}~</math>
:<math>\aleph_\omega = \sup \, \{ \, \aleph_n : n \in \omega \} = \sup \, \{ \, \aleph_n : n \in \left\{\, 0, 1, 2, \dots\, \right\} \, \}~</math>
जहां सबसे छोटा अनंत क्रमसूचक निरूपित किया जाता है {{mvar|ω}}. यानी कार्डिनल नंबर <math>\,\aleph_\omega\,</math> की न्यूनतम ऊपरी सीमा है
जहां सबसे छोटा अनंत क्रमसूचक निरूपित {{mvar|ω}} किया जाता है। अर्थात कार्डिनल नंबर <math>\,\aleph_\omega\,</math> की न्यूनतम ऊपरी सीमा है
:<math> \left\{ \, \aleph_n : n \in \left\{\, 0, 1, 2, \dots \, \right\} \, \right\} ~.</math>  
:<math> \left\{ \, \aleph_n : n \in \left\{\, 0, 1, 2, \dots \, \right\} \, \right\} ~.</math>  


<math>\,\aleph_\omega</math> पहला बेशुमार कार्डिनल नंबर है जिसे ज़र्मेलो-फ्रेंकेल सेट थ्योरी के भीतर प्रदर्शित किया जा सकता है जो सभी वास्तविक संख्याओं के सेट की कार्डिनैलिटी के बराबर नहीं है; किसी भी धनात्मक पूर्णांक n के लिए हम लगातार यह मान सकते हैं <math>\,2^{\aleph_0} = \aleph_n~,</math> और इसके अलावा यह मान लेना संभव है <math>\,2^{\aleph_0}\,</math> जितना हम चाहते हैं उतना बड़ा है। हम इसे केवल कुछ विशेष कार्डिनलों के लिए सह-अंतिमता के साथ स्थापित करने से बचने के लिए मजबूर हैं <math>\, \aleph_0 ~ ,</math> मतलब वहाँ से एक असीमित कार्य है <math>\, \aleph_0 \, </math> इसके लिए (ईस्टन की प्रमेय देखें)।
<math>\,\aleph_\omega</math> पहला अगणनीय कार्डिनल नंबर है जिसे ज़र्मेलो-फ्रेंकेल समुच्चय थ्योरी के भीतर प्रदर्शित किया जा सकता है जो सभी वास्तविक संख्याओं के समुच्चय की कार्डिनैलिटी के बराबर नहीं है; किसी भी धनात्मक पूर्णांक n के लिए हम हर बार यह मान सकते हैं <math>\,2^{\aleph_0} = \aleph_n~,</math> और इसके अतिरिक्त यह मान लेना संभव है <math>\,2^{\aleph_0}\,</math> जितना हम चाहते हैं वह उतना बड़ा है। हम इसे केवल कुछ विशेष कार्डिनलों <math>\, \aleph_0 ~ ,</math> के लिए सह-अंतिमता के साथ स्थापित करने से बचने के लिए मजबूर हैं जो के इसके लिए वहाँ से एक असीमित कार्य है <math>\, \aleph_0 \, </math>(ईस्टन की प्रमेय देखें)।
 
== Aleph-α सामान्य α == के लिए
परिभाषित करना <math>\,\aleph_\alpha\,</math> मनमाना क्रम संख्या के लिए <math>\,\alpha~,</math> हमें [[उत्तराधिकारी कार्डिनल]] को परिभाषित करना चाहिए, जो किसी भी कार्डिनल नंबर को निर्दिष्ट करता है <math>\,\rho\,</math> अगला बड़ा सुव्यवस्थित कार्डिनल <math>\,\rho^{+}\,</math> (यदि पसंद का स्वयंसिद्ध धारण करता है, तो यह अगला बड़ा कार्डिनल है)।
 
इसके बाद हम एलीफ संख्या को निम्नानुसार परिभाषित कर सकते हैं:


:<math>\aleph_{0} = \omega</math> :<math>\aleph_{\alpha+1} = \aleph_{\alpha}^+ ~</math> और के लिए {{mvar|λ}}, एक अनंत सीमा क्रमसूचक,
अलेफ-α सामान्यतः α के लिए
परिभाषित करना <math>\,\aleph_\alpha\,</math> मनमाना क्रम संख्या के लिए <math>\,\alpha~,</math> हमें [[उत्तराधिकारी कार्डिनल]] को परिभाषित करना चाहिए, जो किसी भी कार्डिनल नंबर को निर्दिष्ट करता है <math>\,\rho\,</math> अगला बड़ा सुव्यवस्थित कार्डिनल <math>\,\rho^{+}\,</math>(यदि पसंद का स्वयंसिद्ध धारण करता है, तो यह अगला बड़ा कार्डिनल है)।


:<math>\aleph_{\lambda} = \bigcup_{\beta < \lambda} \aleph_\beta ~.</math> α-th अनंत [[प्रारंभिक क्रमसूचक]] लिखा जाता है <math>\omega_\alpha</math>. इसकी कार्डिनलिटी लिखी गई है <math>\,\aleph_\alpha~.</math> ZFC में, अलेफ़ फ़ंक्शन <math>\,\aleph\,</math> अध्यादेशों से लेकर अनंत कार्डिनलों तक एक आक्षेप है।<ref>{{PlanetMath | urlname=AlephNumbers | title=aleph numbers | id=5710}}</ref>
इसके बाद हम अलेफ संख्या को निम्नानुसार परिभाषित कर सकते हैं:


:<math>\aleph_{0} = \omega</math>
:<math>\aleph_{\alpha+1} = \aleph_{\alpha}^+ ~</math> और के लिए {{mvar|λ}}, एक अनंत सीमा क्रमसूचक,


== ओमेगा == के निश्चित बिंदु
:<math>\aleph_{\lambda} = \bigcup_{\beta < \lambda} \aleph_\beta ~.</math>
हमारे पास किसी भी क्रमिक α के लिए
:α-th अनंत [[प्रारंभिक क्रमसूचक]] लिखा जाता है <math>\omega_\alpha</math>. इसकी कार्डिनलिटी लिखी गई है <math>\,\aleph_\alpha~.</math> ZFC में, अलेफ़ फ़ंक्शन <math>\,\aleph\,</math> अध्यादेशों से लेकर अनंत कार्डिनलों तक एक आक्षेप है।<ref>{{PlanetMath | urlname=AlephNumbers | title=aleph numbers | id=5710}}</ref><br /> == ओमेगा == के निश्चित बिंदु हमारे पास किसी भी क्रमिक α के लिए
:<math>\alpha \leq \omega_\alpha ~.</math> कई मामलों में <math>\omega_{\alpha}</math> से सख्ती से बड़ा है {{mvar|α}}. उदाहरण के लिए, किसी भी उत्तराधिकारी क्रमसूचक संख्या α के लिए यह धारण करता है। हालांकि, [[सामान्य कार्यों के लिए निश्चित-बिंदु लेम्मा]] के कारण, कुछ सीमा अध्यादेश हैं जो ओमेगा फ़ंक्शन के [[निश्चित बिंदु (गणित)]] हैं। पहला ऐसा अनुक्रम की सीमा है


:<math>\omega, \, \omega_\omega, \, \omega_{\omega_\omega}, \, \ldots ~.</math> कोई [[दुर्गम कार्डिनल]] भी अलेफ़ फ़ंक्शन का एक निश्चित बिंदु है।<ref name=Harris-2009-04-06-Math-582>
:<math>\alpha \leq \omega_\alpha ~.</math> कई मामलों में <math>\omega_{\alpha}</math> से सख्ती से {{mvar|α}} बड़ा है। उदाहरण के लिए, किसी भी उत्तराधिकारी क्रमसूचक संख्या α के लिए यह धारण करता है, चूंकि, [[सामान्य कार्यों के लिए निश्चित-बिंदु लेम्मा|सामान्यतः कार्यों के लिए निश्चित-बिंदु लेम्मा]] के कारण, कुछ सीमा अध्यादेश हैं जो ओमेगा फ़ंक्शन के [[निश्चित बिंदु (गणित)]] हैं। पहले ऐसे अनुक्रम की सीमा है<math>\omega, \, \omega_\omega, \, \omega_{\omega_\omega}, \, \ldots ~.</math> कोई [[दुर्गम कार्डिनल]] भी अलेफ़ फ़ंक्शन का एक निश्चित बिंदु है।<ref name="Harris-2009-04-06-Math-582">
{{cite web
{{cite web
  | author=Harris, Kenneth A.
  | author=Harris, Kenneth A.
Line 136: Line 127:
  | df=mdy-all
  | df=mdy-all
}}
}}
</ref> इसे ZFC में इस प्रकार दिखाया जा सकता है। कल्पना करना <math>\,\kappa = \aleph_\lambda\,</math> एक कमजोर दुर्गम कार्डिनल है। अगर <math>\lambda</math> एक उत्तराधिकारी अध्यादेश थे, तब <math>\,\aleph_\lambda\,</math> एक उत्तराधिकारी कार्डिनल होगा और इसलिए कमजोर दुर्गम नहीं होगा। अगर <math>\,\lambda\,</math> से कम एक सीमा अध्यादेश थे <math>\,\kappa~,</math> फिर इसकी सह-अनिवार्यता (और इस प्रकार की सह-अनिवार्यता <math>\aleph_\lambda</math>) से कम होगा <math>\,\kappa\,</math> इसलिए <math>\,\kappa\,</math> नियमित नहीं होगा और इस प्रकार कमजोर दुर्गम नहीं होगा। इस प्रकार <math>\,\lambda \geq \kappa\,</math> और इसके परिणामस्वरूप <math>\,\lambda = \kappa\,</math> जो इसे एक निश्चित बिंदु बनाता है।
</ref> इसे ZFC में इस प्रकार दिखाया जा सकता है। कल्पना करना <math>\,\kappa = \aleph_\lambda\,</math> एक अशक्त दुर्गम कार्डिनल है। यदि <math>\lambda</math> एक उत्तराधिकारी अध्यादेश थे, तब <math>\,\aleph_\lambda\,</math> एक उत्तराधिकारी कार्डिनल होगा और इसलिए यह अशक्त दुर्गम नहीं होगा। यदि <math>\,\lambda\,</math> से कम एक सीमा अध्यादेश <math>\,\kappa~,</math>थे, फिर इसकी सह-अनिवार्यता (और इस प्रकार की सह-अनिवार्यता <math>\aleph_\lambda</math>) से <math>\,\kappa\,</math> कम होगा इसलिए <math>\,\kappa\,</math> नियमित नहीं होगा और इस प्रकार अशक्त दुर्गम नहीं होगा। इस प्रकार <math>\,\lambda \geq \kappa\,</math> और इसके परिणामस्वरूप <math>\,\lambda = \kappa\,</math> जो इसे एक निश्चित बिंदु बनाता है।


== पसंद के स्वयंसिद्ध की भूमिका ==
== पसंद के स्वयंसिद्ध की भूमिका ==


किसी भी अनंत क्रमिक संख्या की कार्डिनैलिटी एक एलीफ संख्या है। हर एलीफ किसी ऑर्डिनल की कार्डिनैलिटी है। इनमें से सबसे कम इसका प्रारंभिक क्रमसूचक है। कोई भी सेट जिसका कार्डिनैलिटी एक अलेफ है, एक ऑर्डिनल के साथ [[समतुल्य]] है और इस प्रकार यह अच्छी तरह से व्यवस्थित है।
किसी भी अनंत क्रमिक संख्या की कार्डिनैलिटी एक अलेफ संख्या है। हर अलेफ किसी ऑर्डिनल की कार्डिनैलिटी है। इनमें से सबसे कम इसका प्रारंभिक क्रमसूचक है। कोई भी समुच्चय जिसका कार्डिनैलिटी एक अलेफ है, एक ऑर्डिनल के साथ [[समतुल्य]] है और इस प्रकार यह अच्छी तरह से व्यवस्थित है।


प्रत्येक [[परिमित सेट]] अच्छी तरह से व्यवस्थित है, लेकिन इसकी कार्डिनैलिटी के रूप में अलेफ़ नहीं है।
प्रत्येक [[परिमित सेट|परिमित समुच्चय]] अच्छी तरह से व्यवस्थित है, लेकिन इसकी कार्डिनैलिटी के रूप में अलेफ़ नहीं है।


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


जब पसंद के स्वयंसिद्ध के बिना ZF में कार्डिनैलिटी का अध्ययन किया जाता है, तो यह साबित करना संभव नहीं होता है कि प्रत्येक अनंत सेट में कार्डिनैलिटी के रूप में कुछ एलीफ संख्या होती है; वे सेट जिनकी कार्डिनैलिटी एक एलीफ नंबर है, वास्तव में अनंत सेट हैं जिन्हें सुव्यवस्थित किया जा सकता है। ZF की सेटिंग में कार्डिनल नंबरों के लिए प्रतिनिधियों के निर्माण के लिए स्कॉट की चाल की विधि को कभी-कभी वैकल्पिक तरीके के रूप में उपयोग किया जाता है। उदाहरण के लिए परिभाषित किया जा सकता है {{math| card(''S'') }} के रूप में एक ही कार्डिनैलिटी के साथ सेट का सेट होना {{mvar|S}} न्यूनतम संभव रैंक का। इसमें वह गुण है {{math| card(''S'') {{=}} card(''T'') }} अगर और केवल अगर {{mvar|S}} और {{mvar|T}} एक ही कार्डिनैलिटी है। (सेट {{math| card(''S'') }} की समान कार्डिनैलिटी नहीं है {{mvar|S}} सामान्य तौर पर, लेकिन इसके सभी तत्व करते हैं।)
जब पसंद के स्वयंसिद्ध के बिना ZF में कार्डिनैलिटी का अध्ययन किया जाता है, तो यह साबित करना संभव नहीं होता है कि प्रत्येक अनंत समुच्चय में कार्डिनैलिटी के रूप में कुछ अलेफ संख्या होती है; वे समुच्चय जिनकी कार्डिनैलिटी एक अलेफ नंबर है, वास्तव में अनंत समुच्चय हैं जिन्हें सुव्यवस्थित किया जा सकता है। ZF की समुच्चयिंग में कार्डिनल नंबरों के लिए प्रतिनिधियों के निर्माण के लिए स्कॉट की चाल की विधि को कभी-कभी वैकल्पिक तरीके के रूप में उपयोग किया जाता है। उदाहरण के लिए परिभाषित किया जा सकता है {{math| कार्ड(''S'') }} के रूप में एक ही कार्डिनैलिटी के साथ समुच्चय का {{mvar|S}} न्यूनतम संभव रैंक का समुच्चय होना । इसमें वह गुण है {{math|कार्ड(''S'') {{=}} कार्ड(''T'') }} यदि और केवल यदि {{mvar|S}} और {{mvar|T}} एक ही कार्डिनैलिटी है। (समुच्चय {{math| कार्ड(''S'') }} में सामान्यतः रूप से {{mvar|S}} के सभी तत्व करते हैं की इसमें समान कार्डिनलता नहीं है।)


== यह भी देखें ==
== यह भी देखें ==
* [[बेथ संख्या]]
* [[बेथ संख्या]]
* [[जिमल समारोह]]
* [[जिमल समारोह|गिमेल फ़ंक्शन]]  
* [[नियमित कार्डिनल]]
* [[नियमित कार्डिनल]]
* ट्रांसफिनिट नंबर
* परिमित संख्या
* क्रमसूचक संख्या
* क्रमिक संख्या


==टिप्पणियाँ==
==टिप्पणियाँ==
Line 167: Line 158:
* {{springer|title=Aleph-zero|id=p/a011280|ref=none}}
* {{springer|title=Aleph-zero|id=p/a011280|ref=none}}
* {{MathWorld | urlname=Aleph-0 | title=Aleph-0}}
* {{MathWorld | urlname=Aleph-0 | title=Aleph-0}}
{{Mathematical logic}}
{{Authority control}}
{{Authority control}}


{{DEFAULTSORT:Aleph Number}}[[Category: कार्डिनल संख्या]] [[Category: हिब्रू वर्णमाला]] [[Category: अनंतता]]
{{DEFAULTSORT:Aleph Number}}
 
 


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page|Aleph Number]]
[[Category:Created On 03/02/2023]]
[[Category:CS1 English-language sources (en)]]
[[Category:Created On 03/02/2023|Aleph Number]]
[[Category:Lua-based templates|Aleph Number]]
[[Category:Machine Translated Page|Aleph Number]]
[[Category:Pages with script errors|Aleph Number]]
[[Category:Short description with empty Wikidata description|Aleph Number]]
[[Category:Templates Vigyan Ready|Aleph Number]]
[[Category:Templates that add a tracking category|Aleph Number]]
[[Category:Templates that generate short descriptions|Aleph Number]]
[[Category:Templates using TemplateData|Aleph Number]]
[[Category:अनंतता|Aleph Number]]
[[Category:कार्डिनल संख्या|Aleph Number]]
[[Category:हिब्रू वर्णमाला|Aleph Number]]

Latest revision as of 20:01, 8 February 2023

अलेफ़-नॉट, अलेफ़-ज़ीरो, या अलेफ़-नल, सबसे छोटी अनंत कार्डिनल संख्या

गणित में, विशेष रूप से समुच्चय सिद्धान्त में, अलेफ संख्याएं अनंत समुच्चयों की प्रमुखता या आकार का प्रतिनिधित्व करने के लिए उपयोग की जाने वाली संख्याओं का एक क्रम है जो कि सुव्यवस्थित किया जाता है। इसे गणितज्ञ जॉर्ज कैंटर द्वारा दर्शाया गया था[1] और उनका नाम उस प्रतीक के नाम पर रखा गया है जिसका उपयोग वह उन्हें निरूपित करने के लिए करते थे , यहूदी अक्षर अलेफ ().[2][lower-alpha 1]

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

अवधारणा और संकेतन जॉर्ज कैंटर के कारण हैं,[5] जिन्होंने कार्डिनैलिटी की धारणा का स्पष्टिकरण किया और महसूस किया कि अनंत समुच्चय में भिन्न-भिन्न कार्डिनैलिटी हो सकती हैं।

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

अलेफ-नॉट

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

  • सभी पूर्णांकों का समुच्चय ,
  • पूर्णांकों का कोई अनंत उपसमुच्चय, जैसे कि सभी वर्ग संख्याओं का समुच्चय या सभी अभाज्य संख्याओं का समुच्चय,
  • सभी परिमेय संख्याओं का समुच्चय ,
  • सभी रचनात्मक संख्याओं का समुच्चय (ज्यामितीय अर्थ में),
  • सभी बीजीय संख्याओं का समुच्चय ,
  • सभी गणना योग्य संख्याओं का समुच्चय,
  • परिमित लंबाई के सभी बाइनरी स्ट्रिंग (अभिकलित्र विज्ञान) का समुच्चय, और
  • किसी भी गिने-चुने अनंत समुच्चय के सभी परिमित उपसमुच्चयों का समुच्चय ।

ये अनंत अध्यादेश: और एप्सिलॉन नंबर (गणित) गिने-चुने अनंत समुच्चय ों में से हैं।[6] उदाहरण के लिए, अनुक्रम (क्रमिकता के साथ ) सभी धनात्मक विषम पूर्णांकों के बाद सभी धनात्मक सम पूर्णांक

समुच्चय की ऑर्डरिंग है (कार्डिनैलिटी के साथ )।

यदि [[गणनीय पसंद का स्वयंसिद्ध]] (पसंद के स्वयंसिद्ध का एक दुर्बल संस्करण) धारण करता है, तो किसी भी अन्य अनंत कार्डिनल से छोटा है।

अलेफ-वन

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

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

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

वास्तविक संख्याओं के समुच्चय की कार्डिनैलिटी (सातत्य की कार्डिनैलिटी) है यह ZFC से निर्धारित नहीं किया जा सकता है (ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत पसंद के स्वयंसिद्ध के साथ संवर्धित) जहां यह संख्या अलेफ संख्या पदानुक्रम में बिल्कुल सटीक बैठती है, लेकिन यह ZFC से अनुसरण करती है कि सातत्य परिकल्पना, CH पहचान के बराबर है।

[7]

CH बताता है कि ऐसा कोई समुच्चय नहीं है जिसका कार्डिनैलिटी पूर्णांक और वास्तविक संख्याओं के बीच सख्ती हो।[8] CH, ZFC से स्वतंत्र है: यह उस स्वयंसिद्ध प्रणाली के संदर्भ में न तो सिद्ध किया जा सकता है और न ही अप्रमाणित (बस शर्त यह है कि ZFC संगति हो)। 1940 में कर्ट गोडेल द्वारा प्रदर्शित किया गया था कि CH, ZFC के अनुरूप है, जब उन्होंने दिखाया कि इसका निषेध ZFC का प्रमेय नहीं है। यह ZFC से स्वतंत्र है। 1963 में पॉल कोहेन द्वारा प्रदर्शित किया गया था, जब उन्होंने इसके विपरीत दिखाया कि फोर्सिंग (गणित) की (तत्कालीन-उपन्यास) विधि द्वारा CH स्वयं ZFC का एक प्रमेय नहीं है।[7]

अलेफ-ओमेगा

अलेफ-ओमेगा है

जहां सबसे छोटा अनंत क्रमसूचक निरूपित ω किया जाता है। अर्थात कार्डिनल नंबर की न्यूनतम ऊपरी सीमा है

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

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

इसके बाद हम अलेफ संख्या को निम्नानुसार परिभाषित कर सकते हैं:

और के लिए λ, एक अनंत सीमा क्रमसूचक,
α-th अनंत प्रारंभिक क्रमसूचक लिखा जाता है . इसकी कार्डिनलिटी लिखी गई है ZFC में, अलेफ़ फ़ंक्शन अध्यादेशों से लेकर अनंत कार्डिनलों तक एक आक्षेप है।[9]
== ओमेगा == के निश्चित बिंदु हमारे पास किसी भी क्रमिक α के लिए
कई मामलों में से सख्ती से α बड़ा है। उदाहरण के लिए, किसी भी उत्तराधिकारी क्रमसूचक संख्या α के लिए यह धारण करता है, चूंकि, सामान्यतः कार्यों के लिए निश्चित-बिंदु लेम्मा के कारण, कुछ सीमा अध्यादेश हैं जो ओमेगा फ़ंक्शन के निश्चित बिंदु (गणित) हैं। पहले ऐसे अनुक्रम की सीमा है कोई दुर्गम कार्डिनल भी अलेफ़ फ़ंक्शन का एक निश्चित बिंदु है।[10] इसे ZFC में इस प्रकार दिखाया जा सकता है। कल्पना करना एक अशक्त दुर्गम कार्डिनल है। यदि एक उत्तराधिकारी अध्यादेश थे, तब एक उत्तराधिकारी कार्डिनल होगा और इसलिए यह अशक्त दुर्गम नहीं होगा। यदि से कम एक सीमा अध्यादेश थे, फिर इसकी सह-अनिवार्यता (और इस प्रकार की सह-अनिवार्यता ) से कम होगा इसलिए नियमित नहीं होगा और इस प्रकार अशक्त दुर्गम नहीं होगा। इस प्रकार और इसके परिणामस्वरूप जो इसे एक निश्चित बिंदु बनाता है।

पसंद के स्वयंसिद्ध की भूमिका

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

प्रत्येक परिमित समुच्चय अच्छी तरह से व्यवस्थित है, लेकिन इसकी कार्डिनैलिटी के रूप में अलेफ़ नहीं है।

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

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

यह भी देखें

टिप्पणियाँ

  1. In older mathematics books, the letter aleph is often printed upside down by accident – for example, in Sierpiński (1958)[3]: 402  the letter aleph appears both the right way up and upside down – partly because a monotype matrix for aleph was mistakenly constructed the wrong way up.[4]


उद्धरण

  1. Aleph. {{cite encyclopedia}}: |website= ignored (help)
  2. Weisstein, Eric W. "Aleph". mathworld.wolfram.com (in English). Retrieved 2020-08-12.
  3. Sierpiński, Wacław (1958). Cardinal and Ordinal Numbers. Polska Akademia Nauk Monografie Matematyczne. Vol. 34. Warsaw, PL: Państwowe Wydawnictwo Naukowe. MR 0095787.
  4. Swanson, Ellen; O'Sean, Arlene Ann; Schleyer, Antoinette Tingley (1999) [1979]. Mathematics into type: Copy editing and proofreading of mathematics for editorial assistants and authors (updated ed.). Providence, RI: American Mathematical Society. p. 16. ISBN 0-8218-0053-1. MR 0553111.
  5. Miller, Jeff. "Earliest uses of symbols of set theory and logic". jeff560.tripod.com. Retrieved 2016-05-05; who quotes Dauben, Joseph Warren (1990). Georg Cantor: His mathematics and philosophy of the infinite. ISBN 9780691024479. His new numbers deserved something unique. ... Not wishing to invent a new symbol himself, he chose the aleph, the first letter of the Hebrew alphabet ... the aleph could be taken to represent new beginnings ...
  6. Jech, Thomas (2003). Set Theory. Springer Monographs in Mathematics. Berlin, New York: Springer-Verlag.
  7. 7.0 7.1 Szudzik, Mattew (31 July 2018). "Continuum Hypothesis". Wolfram Mathworld. Wolfram Web Resources. Retrieved 15 August 2018.
  8. Weisstein, Eric W. "Continuum Hypothesis". mathworld.wolfram.com (in English). Retrieved 2020-08-12.
  9. aleph numbers at PlanetMath.
  10. Harris, Kenneth A. (April 6, 2009). "Lecture 31" (PDF). Department of Mathematics. kaharris.org. Intro to Set Theory. University of Michigan. Math 582. Archived from the original (PDF) on March 4, 2016. Retrieved September 1, 2012.


बाहरी संबंध