गणनांक: Difference between revisions
From Vigyanwiki
(TEXT) |
|||
| Line 1: | Line 1: | ||
{{Short description|Definition of the number of elements in a set}} | {{Short description|Definition of the number of elements in a set}} | ||
{{Other uses}} | {{Other uses}} | ||
[[File:Platonic Solids Transparent.svg|thumb|250px| | [[File:Platonic Solids Transparent.svg|thumb|250px|सभी[[ प्लेटोनिक ठोस | सैद्धांतिक ठोसों]] के समुच्चय <math>S</math> में 5 तत्व होते हैं। इस प्रकार <math>S</math> की कार्डिनैलिटी 5 या, प्रतीकों में, <math>|S|=5</math> है।]]गणित में, किसी [[ सेट (गणित) |समुच्चय]] की कार्डिनैलिटी समुच्चय के[[ तत्व (गणित) | तत्वों]] की संख्या का माप है। उदाहरण के लिए, समुच्चय <math>A = \{2, 4, 6\}</math> में 3 तत्व हैं, और इसलिए <math>A</math> की कार्डिनैलिटी 3 है। 19वीं सदी के अंत में आरंभ करते हुए, इस अवधारणा को अनंत समुच्चयों के लिए सामान्यीकृत किया गया था, जो किसी को विभिन्न प्रकार के अनंत के मध्य अंतर करने और उन पर[[ कार्डिनल अंकगणित | अंकगणित]] करने की अनुमति देता है। कार्डिनैलिटी के दो दृष्टिकोण हैं: एक जो[[ द्विभाजन ]]और अंतः क्षेपण का उपयोग करके स्पष्ट रुप से समुच्चयों की तुलना करता है, और दूसरा जो[[ बुनियादी संख्या | गणन संख्या]] का उपयोग करता है।<ref>{{MathWorld |title=Cardinal Number |id=CardinalNumber }}</ref> किसी समुच्चय की कार्डिनैलिटी को उसका आकार भी कहा जाता है, जब आकार की अन्य धारणाओं के साथ कोई भ्रम संभव नहीं होता है।<ref>Such as [[length]] and [[area]] in [[geometry]]. – A line of finite length is a set of points that has infinite cardinality.</ref> | ||
समुच्चय <math>A</math> की कार्डिनैलिटी को सामान्यतः <math>|A|</math> दर्शाया जाता है, जिसमें प्रत्येक तरफ एक ऊर्ध्वाधर पट्टी होती है;<ref>{{Cite web|title=कार्डिनैलिटी {{!}} शानदार गणित और विज्ञान विकी|url=https://brilliant.org/wiki/cardinality/|access-date=2020-08-23|website=brilliant.org|language=en-us}}</ref> यह[[ निरपेक्ष मूल्य | निरपेक्ष मूल्य]] के समान ही संकेतन है, और अर्थ संदर्भ पर निर्भर करता है। समुच्चय <math>A</math> की कार्डिनैलिटी को वैकल्पिक रूप से <math>n(A)</math>, <math>A</math> <math>\operatorname{card}(A)</math>, या <math>\#A</math> द्वारा दर्शाया जा सकता है। | |||
==इतिहास== | ==इतिहास== | ||
कार्डिनैलिटी की एक क्रूड भावना, एक जागरूकता है कि चीजों या घटनाओं के समूह अन्य समूहों के साथ तुलना करते हैं, जिसमें अधिक, कम, या समान संख्या में उदाहरण होते हैं, वर्तमान में विभिन्न प्रकार की पशु प्रजातियों में मनाया जाता है, जो लाखों साल पहले एक उत्पत्ति का सुझाव देता है। .<ref>Cepelewicz, Jordana ''[https://www.quantamagazine.org/animals-can-count-and-use-zero-how-far-does-their-number-sense-go-20210809/ Animals Count and Use Zero. How Far Does Their Number Sense Go?]'', [[Quanta Magazine|Quanta]], August 9, 2021</ref> कार्डिनैलिटी की मानवीय अभिव्यक्ति को जल्द से जल्द देखा जाता है {{val|40000}} वर्षों पहले, रिकॉर्ड किए गए पायदानों के समूह के साथ एक समूह के आकार की बराबरी करने के साथ, या अन्य चीजों के प्रतिनिधि संग्रह, जैसे कि लाठी और गोले।<ref>{{Cite web|url=https://mathtimeline.weebly.com/early-human-counting-tools.html|title=प्रारंभिक मानव गणना उपकरण|website=Math Timeline|access-date=2018-04-26}}</ref> एक संख्या के रूप में कार्डिनैलिटी की अमूर्तता 3000 ईसा पूर्व, गणित के सुमेरियन इतिहास और चीजों या घटनाओं के एक विशिष्ट समूह के संदर्भ के बिना संख्याओं के हेरफेर में स्पष्ट है।<ref>Duncan J. Melville (2003). [http://it.stlawu.edu/~dmelvill/mesomath/3Mill/chronology.html Third Millennium Chronology] {{Webarchive|url=https://web.archive.org/web/20180707213616/http://it.stlawu.edu/~dmelvill/mesomath/3Mill/chronology.html |date=2018-07-07 }}, ''Third Millennium Mathematics''. [[St. Lawrence University]].</ref> | कार्डिनैलिटी की एक क्रूड भावना, एक जागरूकता है कि चीजों या घटनाओं के समूह अन्य समूहों के साथ तुलना करते हैं, जिसमें अधिक, कम, या समान संख्या में उदाहरण होते हैं, वर्तमान में विभिन्न प्रकार की पशु प्रजातियों में मनाया जाता है, जो लाखों साल पहले एक उत्पत्ति का सुझाव देता है। .<ref>Cepelewicz, Jordana ''[https://www.quantamagazine.org/animals-can-count-and-use-zero-how-far-does-their-number-sense-go-20210809/ Animals Count and Use Zero. How Far Does Their Number Sense Go?]'', [[Quanta Magazine|Quanta]], August 9, 2021</ref> कार्डिनैलिटी की मानवीय अभिव्यक्ति को जल्द से जल्द देखा जाता है {{val|40000}} वर्षों पहले, रिकॉर्ड किए गए पायदानों के समूह के साथ एक समूह के आकार की बराबरी करने के साथ, या अन्य चीजों के प्रतिनिधि संग्रह, जैसे कि लाठी और गोले।<ref>{{Cite web|url=https://mathtimeline.weebly.com/early-human-counting-tools.html|title=प्रारंभिक मानव गणना उपकरण|website=Math Timeline|access-date=2018-04-26}}</ref> एक संख्या के रूप में कार्डिनैलिटी की अमूर्तता 3000 ईसा पूर्व, गणित के सुमेरियन इतिहास और चीजों या घटनाओं के एक विशिष्ट समूह के संदर्भ के बिना संख्याओं के हेरफेर में स्पष्ट है।<ref>Duncan J. Melville (2003). [http://it.stlawu.edu/~dmelvill/mesomath/3Mill/chronology.html Third Millennium Chronology] {{Webarchive|url=https://web.archive.org/web/20180707213616/http://it.stlawu.edu/~dmelvill/mesomath/3Mill/chronology.html |date=2018-07-07 }}, ''Third Millennium Mathematics''. [[St. Lawrence University]].</ref> | ||
छठी शताब्दी ईसा पूर्व से, ग्रीक दार्शनिकों के लेखन अनंत | छठी शताब्दी ईसा पूर्व से, ग्रीक दार्शनिकों के लेखन अनंत समुच्चयों की कार्डिनैलिटी के पहले संकेत दिखाते हैं। जबकि वे अनंत की धारणा को क्रियाओं की एक अंतहीन श्रृंखला के रूप में मानते थे, जैसे कि एक संख्या में बार-बार 1 जोड़ना, उन्होंने संख्याओं के अनंत समुच्चय के आकार को एक चीज़ नहीं माना।<ref name="Allen">{{Cite web |last=Allen |first=Donald |date=2003 |title=अनंत का इतिहास|url=https://www.math.tamu.edu/~dallen/masters/infinity/infinity.pdf |access-date=Nov 15, 2019 |website=Texas A&M Mathematics}}</ref> अनंत की प्राचीन यूनानी धारणा ने चीजों के विभाजन को बिना सीमा के दोहराए गए भागों में भी माना। यूक्लिड के यूक्लिड के तत्वों में, [[ अनुरूपता (गणित) ]] को दो रेखा खंडों की लंबाई की तुलना करने की क्षमता के रूप में वर्णित किया गया था, ए और बी, एक अनुपात के रूप में, जब तक कि एक तीसरा खंड था, चाहे कितना छोटा हो, जिसे अंत रखा जा सकता है -टू-एंड ए और बी दोनों में कई बार। लेकिन [[ अपरिमेय संख्या ]]ओं की खोज के साथ, यह देखा गया कि सभी परिमेय संख्याओं का अनंत समुच्चय भी प्रत्येक संभावित रेखाखंड की लंबाई का वर्णन करने के लिए पर्याप्त नहीं था।<ref>{{cite journal|title=मेटापोंटम के हिप्पस द्वारा असंगति की खोज|author=Kurt Von Fritz|journal=The Annals of Mathematics|year=1945}}</ref> फिर भी, अनंत समुच्चयों की कोई अवधारणा नहीं थी, जिसमें कार्डिनैलिटी थी। | ||
अनंत समुच्चयों को बेहतर ढंग से समझने के लिए, | अनंत समुच्चयों को बेहतर ढंग से समझने के लिए, समुच्चय सिद्धांत के प्रवर्तक [[ जॉर्ज कैंटोर ]] द्वारा लगभग 1880 में कार्डिनैलिटी की धारणा तैयार की गई थी। उन्होंने दो समुच्चयों को एक अद्वितीय संबंध के आधार पर दो समुच्चयों के तत्वों के मध्य एक-से-एक पत्राचार, एक-से-एक पत्राचार के साथ समीकरण करने की प्रक्रिया की जांच की। 1891 में, कैंटर के विकर्ण तर्क के प्रकाशन के साथ, उन्होंने प्रदर्शित किया कि संख्याओं के ऐसे समुच्चय हैं जिन्हें प्राकृतिक संख्याओं के समुच्चय के साथ एक-से-एक पत्राचार में नहीं रखा जा सकता है, अर्थात बेशुमार समुच्चय जिनमें अनंत से अधिक तत्व होते हैं प्राकृतिक संख्याओं का समूह।<ref>{{cite journal | author=Georg Cantor | title=मैनिफोल्डनेस के सिद्धांत के एक प्राथमिक प्रश्न के बारे में| journal=Jahresbericht der Deutschen Mathematiker-Vereinigung | volume=1 | pages=75–78 | year=1891 |url=http://gdz.sub.uni-goettingen.de/pdfcache/PPN37721857X_0001/PPN37721857X_0001___LOG_0029.pdf}}</ref> | ||
== समुच्चय की तुलना == | |||
[[File:Aplicación 2 inyectiva sobreyectiva04.svg|thumb|250px|N से [[ सम संख्या ]]ओं के समुच्चय ''E'' तक विशेषण फलन। हालांकि ''ई'' एन का एक उचित उपसमुच्चय है, दोनों समुच्चयों में समान कार्डिनैलिटी है।]] | |||
== | [[File:Diagonal argument powerset svg.svg|thumb|250px|N के पास उसके [[ सत्ता स्थापित ]] ''P''(N) के समान कार्डिनैलिटी नहीं है: N से ''P''(N) तक हर फंक्शन ''f'' के लिए, समुच्चय ''T'' = {' 'n''∈N: ''n''∉''f''(''n'')} ''f'' के फंक्शन की रेंज में हर समुच्चय से असहमत हैं, इसलिए ''f'' नहीं कर सकता विशेषण हो। चित्र एक उदाहरण ''f'' और संबंधित ''T'' दिखाता है; {{color|#800000|'''red'''}}: n∈f (एन) \ टी, {{color|#000080|'''blue'''}}:n∈T\f (एन)।]]जबकि एक परिमित समुच्चय की कार्डिनैलिटी केवल उसके तत्वों की संख्या है, अनंत समुच्चयों की धारणा को विस्तारित करना आम तौर पर मनमाना समुच्चय (जिनमें से कुछ संभवतः अनंत हैं) की तुलना की धारणा को परिभाषित करने के साथ शुरू होता है। | ||
[[File:Aplicación 2 inyectiva sobreyectiva04.svg|thumb|250px|N से [[ सम संख्या ]]ओं के समुच्चय ''E'' तक विशेषण फलन। हालांकि ''ई'' एन का एक उचित उपसमुच्चय है, दोनों | |||
[[File:Diagonal argument powerset svg.svg|thumb|250px|N के पास उसके [[ सत्ता स्थापित ]] ''P''(N) के समान कार्डिनैलिटी नहीं है: N से ''P''(N) तक हर फंक्शन ''f'' के लिए, | |||
=== परिभाषा 1: {{abs|''A''}} = {{abs|''B''}}=== | === परिभाषा 1: {{abs|''A''}} = {{abs|''B''}}=== | ||
: दो | : दो समुच्चय ए और बी में समान कार्डिनैलिटी होती है यदि ए से बी तक एक आक्षेप (उर्फ, एक-से-एक पत्राचार) मौजूद है,<ref name=":1">{{Cite web|date=2019-12-05|title=अनंत सेट और कार्डिनैलिटी|url=https://math.libretexts.org/Bookshelves/Combinatorics_and_Discrete_Mathematics/Supplemental_Modules_for_Discrete_Math/Additional_Discrete_Topics_(Dean)/Infinite_Sets_and_Cardinality|access-date=2020-08-23|website=Mathematics LibreTexts|language=en}}</ref> यानी, A से B तक एक फलन (गणित) जो [[ इंजेक्शन | अंतः क्षेपण]] और [[ विशेषण ]] दोनों है। ऐसे समुच्चयों को समविभव, समविषम, या [[ समनुक्रमिक ]] कहा जाता है। इस संबंध को A ≈ B या A ~ B भी निरूपित किया जा सकता है। | ||
:उदाहरण के लिए, गैर-ऋणात्मक सम संख्याओं के समुच्चय E = {0, 2, 4, 6, ...} की कार्डिनैलिटी समुच्चय 'N' = {0, 1, 2, 3, ... } प्राकृत संख्याओं का, क्योंकि फलन f(n) = 2n 'N' से E की ओर एक द्विभाजन है (चित्र देखें)। | :उदाहरण के लिए, गैर-ऋणात्मक सम संख्याओं के समुच्चय E = {0, 2, 4, 6, ...} की कार्डिनैलिटी समुच्चय 'N' = {0, 1, 2, 3, ... } प्राकृत संख्याओं का, क्योंकि फलन f(n) = 2n 'N' से E की ओर एक द्विभाजन है (चित्र देखें)। | ||
:परिमित समुच्चय ए और बी के लिए, यदि ए से बी तक कुछ आक्षेप मौजूद है, तो ए से बी तक प्रत्येक | :परिमित समुच्चय ए और बी के लिए, यदि ए से बी तक कुछ आक्षेप मौजूद है, तो ए से बी तक प्रत्येक अंतः क्षेपण या विशेषण कार्य एक आक्षेप है। यह अब अनंत ए और बी के लिए सच नहीं है। उदाहरण के लिए, जी (एन) = 4 एन द्वारा परिभाषित 'एन' से ई तक फ़ंक्शन जी अंतः क्षेपण है, लेकिन विशेषण नहीं है, और एच 'एन' से ई तक परिभाषित है। एच (एन) = एन - (एन [[ मोडुलो ऑपरेशन ]] 2) विशेषण है, लेकिन अंतः क्षेपण नहीं है। न तो g और न ही h चुनौती दे सकते हैं {{abs|''E''}} = {{abs|'''N'''}}, जिसे f के अस्तित्व द्वारा स्थापित किया गया था। | ||
=== परिभाषा 2: {{abs|''A''}} ≤ {{abs|''B''}}=== | === परिभाषा 2: {{abs|''A''}} ≤ {{abs|''B''}}=== | ||
: ए की कार्डिनैलिटी बी की कार्डिनैलिटी से कम या उसके बराबर है, अगर ए से बी में एक | : ए की कार्डिनैलिटी बी की कार्डिनैलिटी से कम या उसके बराबर है, अगर ए से बी में एक अंतः क्षेपण फ़ंक्शन मौजूद है। | ||
=== परिभाषा 3: {{abs|''A''}} < {{abs|''B''}}=== | === परिभाषा 3: {{abs|''A''}} < {{abs|''B''}}=== | ||
: ए में कार्डिनैलिटी बी की कार्डिनैलिटी से सख्ती से कम है, अगर कोई | : ए में कार्डिनैलिटी बी की कार्डिनैलिटी से सख्ती से कम है, अगर कोई अंतः क्षेपण फ़ंक्शन है, लेकिन ए से बी तक कोई विशेषण कार्य नहीं है। | ||
:उदाहरण के लिए, सभी प्राकृतिक संख्याओं के | :उदाहरण के लिए, सभी प्राकृतिक संख्याओं के समुच्चय 'एन' में कार्डिनैलिटी अपने पावर समुच्चय पी ('एन') से सख्ती से कम है, क्योंकि जी (एन) = {एन} 'एन' से पी ('एन) तक एक अंतः क्षेपण फ़ंक्शन है। '), और यह दिखाया जा सकता है कि 'एन' से पी ('एन') तक कोई भी कार्य विशेषण नहीं हो सकता है (चित्र देखें)। इसी तरह के तर्क से, 'एन' की कार्डिनैलिटी सभी [[ वास्तविक संख्या ]]ओं के समुच्चय 'आर' की कार्डिनैलिटी से सख्ती से कम है। प्रमाण के लिए, कैंटर का विकर्ण तर्क या कैंटर का पहला बेशुमार प्रमाण देखें। | ||
यदि {{abs|''A''}} ≤ {{abs|''B''}} तथा {{abs|''B''}} ≤ {{abs|''A''}}, फिर {{abs|''A''}} = {{abs|''B''}} (एक तथ्य जिसे श्रोडर-बर्नस्टीन प्रमेय के रूप में जाना जाता है)। पसंद का स्वयंसिद्ध कथन के समतुल्य है कि {{abs|''A''}} ≤ {{abs|''B''}} या {{abs|''B''}} ≤ {{abs|''A''}} प्रत्येक ए, बी के लिए<ref>{{citation | author=Friedrich M. Hartogs | author-link=Friedrich M. Hartogs | editor=Felix Klein | editor-link=Felix Klein |editor2=Walther von Dyck |editor2-link=Walther von Dyck |editor3=David Hilbert |editor3-link=David Hilbert |editor4=Otto Blumenthal |editor4-link=Otto Blumenthal | title=Über das Problem der Wohlordnung | journal=[[Mathematische Annalen]] | volume=76 | number=4 | publisher=B. G. Teubner | location=Leipzig | year=1915 | pages=438–443 | issn=0025-5831 |url=http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0076&DMDID=DMDLOG_0037&L=1 | doi=10.1007/bf01458215| s2cid=121598654 }}</ref><ref>{{citation | author=Felix Hausdorff | author-link=Felix Hausdorff | editor=Egbert Brieskorn | editor-link=Egbert Brieskorn |editor2=Srishti D. Chatterji| title=Grundzüge der Mengenlehre | edition=1. | publisher=Springer | location=Berlin/Heidelberg | year=2002 | pages=587 | isbn=3-540-42224-2| url=https://books.google.com/books?id=3nth_p-6DpcC|display-editors=etal}} - [https://jscholarship.library.jhu.edu/handle/1774.2/34091 Original edition (1914)]</ref> | यदि {{abs|''A''}} ≤ {{abs|''B''}} तथा {{abs|''B''}} ≤ {{abs|''A''}}, फिर {{abs|''A''}} = {{abs|''B''}} (एक तथ्य जिसे श्रोडर-बर्नस्टीन प्रमेय के रूप में जाना जाता है)। पसंद का स्वयंसिद्ध कथन के समतुल्य है कि {{abs|''A''}} ≤ {{abs|''B''}} या {{abs|''B''}} ≤ {{abs|''A''}} प्रत्येक ए, बी के लिए<ref>{{citation | author=Friedrich M. Hartogs | author-link=Friedrich M. Hartogs | editor=Felix Klein | editor-link=Felix Klein |editor2=Walther von Dyck |editor2-link=Walther von Dyck |editor3=David Hilbert |editor3-link=David Hilbert |editor4=Otto Blumenthal |editor4-link=Otto Blumenthal | title=Über das Problem der Wohlordnung | journal=[[Mathematische Annalen]] | volume=76 | number=4 | publisher=B. G. Teubner | location=Leipzig | year=1915 | pages=438–443 | issn=0025-5831 |url=http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0076&DMDID=DMDLOG_0037&L=1 | doi=10.1007/bf01458215| s2cid=121598654 }}</ref><ref>{{citation | author=Felix Hausdorff | author-link=Felix Hausdorff | editor=Egbert Brieskorn | editor-link=Egbert Brieskorn |editor2=Srishti D. Chatterji| title=Grundzüge der Mengenlehre | edition=1. | publisher=Springer | location=Berlin/Heidelberg | year=2002 | pages=587 | isbn=3-540-42224-2| url=https://books.google.com/books?id=3nth_p-6DpcC|display-editors=etal}} - [https://jscholarship.library.jhu.edu/handle/1774.2/34091 Original edition (1914)]</ref> | ||
== कार्डिनल नंबर == | == कार्डिनल नंबर == | ||
{{main article|Cardinal number}} | {{main article|Cardinal number}} | ||
उपरोक्त खंड में, एक | उपरोक्त खंड में, एक समुच्चय की कार्डिनैलिटी को कार्यात्मक रूप से परिभाषित किया गया था। दूसरे शब्दों में, इसे एक विशिष्ट वस्तु के रूप में परिभाषित नहीं किया गया था। हालाँकि, ऐसी वस्तु को निम्नानुसार परिभाषित किया जा सकता है। | ||
समान कार्डिनैलिटी होने के संबंध को [[ समरूपता ]] कहा जाता है, और यह सभी | समान कार्डिनैलिटी होने के संबंध को [[ समरूपता ]] कहा जाता है, और यह सभी समुच्चयों के वर्ग (समुच्चय थ्योरी) पर एक [[ तुल्यता संबंध ]] है। इस संबंध के तहत एक समुच्चय ए के समकक्ष वर्ग में, उन सभी समुच्चयों का समावेश होता है जिनकी कार्डिनैलिटी ए के समान होती है। समुच्चय की कार्डिनैलिटी को परिभाषित करने के दो तरीके हैं: | ||
# समुच्चय A की कार्डिनैलिटी को समनुक्रमिकता के तहत इसके [[ तुल्यता वर्ग ]] के रूप में परिभाषित किया गया है। | # समुच्चय A की कार्डिनैलिटी को समनुक्रमिकता के तहत इसके [[ तुल्यता वर्ग ]] के रूप में परिभाषित किया गया है। | ||
# एक [[ प्रतिनिधि (गणित) ]] | # एक [[ प्रतिनिधि (गणित) ]] समुच्चय को प्रत्येक समकक्ष वर्ग के लिए नामित किया गया है। सबसे आम पसंद [[ वॉन न्यूमैन कार्डिनल असाइनमेंट ]] है। इसे सामान्यतः [[ स्वयंसिद्ध सेट सिद्धांत | स्वयंसिद्ध समुच्चय सिद्धांत]] में कार्डिनल नंबर की परिभाषा के रूप में लिया जाता है। | ||
पसंद के स्वयंसिद्ध को मानते हुए, अनंत | पसंद के स्वयंसिद्ध को मानते हुए, अनंत समुच्चयों की कार्डिनैलिटी को निरूपित किया जाता है | ||
:<math>\aleph_0 < \aleph_1 < \aleph_2 < \ldots . </math> | :<math>\aleph_0 < \aleph_1 < \aleph_2 < \ldots . </math> | ||
प्रत्येक सामान्य संख्या के लिए <math>\alpha</math>, <math>\aleph_{\alpha + 1}</math> से कम से कम कार्डिनल संख्या है <math>\aleph_\alpha</math>. | प्रत्येक सामान्य संख्या के लिए <math>\alpha</math>, <math>\aleph_{\alpha + 1}</math> से कम से कम कार्डिनल संख्या है <math>\aleph_\alpha</math>. | ||
| Line 50: | Line 45: | ||
[[ प्राकृतिक संख्या ]]ओं की कार्डिनैलिटी को [[ अलेफ नंबर ]] | एलेफ-नल (<math>\aleph_0</math>), जबकि वास्तविक संख्याओं की कार्डिनैलिटी को द्वारा निरूपित किया जाता है<math>\mathfrak c</math>(एक लोअरकेस फ्रैक्टूर (स्क्रिप्ट) सी), और इसे [[ सातत्य की कार्डिनैलिटी ]] के रूप में भी जाना जाता है। कैंटर ने कैंटर के विकर्ण तर्क का उपयोग करते हुए दिखाया कि <math>{\mathfrak c} >\aleph_0</math>. हम दिखा सकते हैं कि <math>\mathfrak c = 2^{\aleph_0}</math>, यह प्राकृत संख्याओं के सभी उपसमुच्चयों के समुच्चय की प्रमुखता भी है। | [[ प्राकृतिक संख्या ]]ओं की कार्डिनैलिटी को [[ अलेफ नंबर ]] | एलेफ-नल (<math>\aleph_0</math>), जबकि वास्तविक संख्याओं की कार्डिनैलिटी को द्वारा निरूपित किया जाता है<math>\mathfrak c</math>(एक लोअरकेस फ्रैक्टूर (स्क्रिप्ट) सी), और इसे [[ सातत्य की कार्डिनैलिटी ]] के रूप में भी जाना जाता है। कैंटर ने कैंटर के विकर्ण तर्क का उपयोग करते हुए दिखाया कि <math>{\mathfrak c} >\aleph_0</math>. हम दिखा सकते हैं कि <math>\mathfrak c = 2^{\aleph_0}</math>, यह प्राकृत संख्याओं के सभी उपसमुच्चयों के समुच्चय की प्रमुखता भी है। | ||
सातत्य परिकल्पना कहती है कि <math>\aleph_1 = 2^{\aleph_0}</math>, अर्थात। <math>2^{\aleph_0}</math> से बड़ी सबसे छोटी कार्डिनल संख्या है <math>\aleph_0</math>, यानी ऐसा कोई | सातत्य परिकल्पना कहती है कि <math>\aleph_1 = 2^{\aleph_0}</math>, अर्थात। <math>2^{\aleph_0}</math> से बड़ी सबसे छोटी कार्डिनल संख्या है <math>\aleph_0</math>, यानी ऐसा कोई समुच्चय नहीं है जिसकी कार्डिनैलिटी पूर्णांकों और वास्तविक संख्याओं के मध्य सख्ती से हो। निरंतरता परिकल्पना ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत की [[ स्वतंत्रता (गणितीय तर्क) ]] पसंद के स्वयंसिद्ध के साथ है, समुच्चय सिद्धांत का एक मानक स्वयंसिद्धकरण; अर्थात्, ZFC से सातत्य परिकल्पना या इसके निषेध को सिद्ध करना असंभव है - बशर्ते कि ZFC संगत हो। अधिक विवरण के लिए, कार्डिनैलिटी#कार्डिनैलिटी ऑफ़ द कॉन्टिनम|§ नीचे दिए गए कॉन्टिनम की कार्डिनैलिटी देखें।<ref>{{Cite journal | ||
| first = Paul J. | last = Cohen | | first = Paul J. | last = Cohen | ||
| title = सातत्य परिकल्पना की स्वतंत्रता| journal = Proceedings of the National Academy of Sciences of the United States of America | | title = सातत्य परिकल्पना की स्वतंत्रता| journal = Proceedings of the National Academy of Sciences of the United States of America | ||
| Line 69: | Line 64: | ||
| doi-access = free | | doi-access = free | ||
}}</ref><ref>{{Citation|first=R|last=Penrose|author-link=Roger Penrose|title=The Road to Reality: A Complete guide to the Laws of the Universe|publisher=Vintage Books|year=2005|isbn=0-09-944068-7}}</ref> | }}</ref><ref>{{Citation|first=R|last=Penrose|author-link=Roger Penrose|title=The Road to Reality: A Complete guide to the Laws of the Universe|publisher=Vintage Books|year=2005|isbn=0-09-944068-7}}</ref> | ||
==परिमित, गणनीय और बेशुमार समुच्चय == | |||
==परिमित, गणनीय और बेशुमार | |||
यदि पसंद का स्वयंसिद्ध धारण करता है, तो [[ ट्राइकोटॉमी (गणित) ]] कार्डिनैलिटी के लिए है। इस प्रकार हम निम्नलिखित परिभाषाएँ बना सकते हैं: | यदि पसंद का स्वयंसिद्ध धारण करता है, तो [[ ट्राइकोटॉमी (गणित) ]] कार्डिनैलिटी के लिए है। इस प्रकार हम निम्नलिखित परिभाषाएँ बना सकते हैं: | ||
*कोई भी समुच्चय X जिसकी कार्डिनैलिटी प्राकृत संख्याओं से कम है, या | X | < | 'N' |, एक परिमित समुच्चय कहा जाता है। | *कोई भी समुच्चय X जिसकी कार्डिनैलिटी प्राकृत संख्याओं से कम है, या | X | < | 'N' |, एक परिमित समुच्चय कहा जाता है। | ||
*कोई भी समुच्चय X जिसमें प्राकृत संख्याओं के समुच्चय के समान कार्डिनैलिटी हो, या | X | = | 'एन' | = <math>\aleph_0</math>, को एक अनंत अनंत समुच्चय कहा जाता है।<ref name=":1" />*कोई भी | *कोई भी समुच्चय X जिसमें प्राकृत संख्याओं के समुच्चय के समान कार्डिनैलिटी हो, या | X | = | 'एन' | = <math>\aleph_0</math>, को एक अनंत अनंत समुच्चय कहा जाता है।<ref name=":1" />*कोई भी समुच्चय X जिसकी कार्डिनैलिटी प्राकृत संख्याओं से अधिक है, या | X | > | 'एन' |, उदाहरण के लिए | 'आर' | = <math>\mathfrak c </math> > | N |, को बेशुमार समुच्चय कहा जाता है। | ||
== अनंत समुच्चय == | == अनंत समुच्चय == | ||
परिमित समुच्चयों से प्राप्त हमारा अंतर्ज्ञान अनंत समुच्चयों के साथ व्यवहार करते समय टूट जाता है। उन्नीसवीं सदी के उत्तरार्ध में जॉर्ज कैंटर, [[ थैंक गॉड फ्रीज ]], [[ रिचर्ड डेडेकिंड ]] और अन्य ने इस विचार को खारिज कर दिया कि पूरे हिस्से के आकार के समान नहीं हो सकते।<ref name="Cantor.1932">{{citation | author=Georg Cantor | title=Mitteilungen zur Lehre vom Transfiniten |journal=[[Zeitschrift für Philosophie und philosophische Kritik]]| volume=91 |pages=81–125 |year=1887 }}<BR>Reprinted in: {{citation | author=Georg Cantor |editor1=Adolf Fraenkel (Lebenslauf) |editor2=Ernst Zermelo | title=Gesammelte Abhandlungen mathematischen und philosophischen Inhalts| publisher= Springer | location=Berlin | year=1932 | pages=378–439 | url=http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN237853094&DMDID=DMDLOG_0060}} Here: p.413 bottom</ref>{{citation needed|reason=Give more early references by Frege, Dedekind, and others. There might also be an earlier reference by Cantor?|date=November 2019}} इसका एक उदाहरण ग्रैंड होटल के हिल्बर्ट का विरोधाभास है। | परिमित समुच्चयों से प्राप्त हमारा अंतर्ज्ञान अनंत समुच्चयों के साथ व्यवहार करते समय टूट जाता है। उन्नीसवीं सदी के उत्तरार्ध में जॉर्ज कैंटर, [[ थैंक गॉड फ्रीज ]], [[ रिचर्ड डेडेकिंड ]] और अन्य ने इस विचार को खारिज कर दिया कि पूरे हिस्से के आकार के समान नहीं हो सकते।<ref name="Cantor.1932">{{citation | author=Georg Cantor | title=Mitteilungen zur Lehre vom Transfiniten |journal=[[Zeitschrift für Philosophie und philosophische Kritik]]| volume=91 |pages=81–125 |year=1887 }}<BR>Reprinted in: {{citation | author=Georg Cantor |editor1=Adolf Fraenkel (Lebenslauf) |editor2=Ernst Zermelo | title=Gesammelte Abhandlungen mathematischen und philosophischen Inhalts| publisher= Springer | location=Berlin | year=1932 | pages=378–439 | url=http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN237853094&DMDID=DMDLOG_0060}} Here: p.413 bottom</ref>{{citation needed|reason=Give more early references by Frege, Dedekind, and others. There might also be an earlier reference by Cantor?|date=November 2019}} इसका एक उदाहरण ग्रैंड होटल के हिल्बर्ट का विरोधाभास है। | ||
दरअसल, डेडेकाइंड ने एक अनंत | दरअसल, डेडेकाइंड ने एक अनंत समुच्चय को एक के रूप में परिभाषित किया है जिसे एक सख्त उपसमुच्चय के साथ एक-से-एक पत्राचार में रखा जा सकता है (अर्थात, कैंटर के अर्थ में समान आकार वाला); अनंत की इस धारणा को [[ डेडेकाइंड अनंत ]] कहा जाता है। कैंटर ने कार्डिनल नंबरों को पेश किया, और दिखाया- आकार की उनकी आक्षेप-आधारित परिभाषा के अनुसार- कि कुछ अनंत समुच्चय दूसरों की तुलना में बड़े हैं। सबसे छोटी अनंत कार्डिनैलिटी प्राकृतिक संख्याओं की है (<math>\aleph_0</math>). | ||
=== सातत्य की कार्डिनैलिटी === | === सातत्य की कार्डिनैलिटी === | ||
| Line 87: | Line 80: | ||
:(कैंटोर का विकर्ण तर्क या कैंटर का पहला बेशुमार प्रमाण देखें)। | :(कैंटोर का विकर्ण तर्क या कैंटर का पहला बेशुमार प्रमाण देखें)। | ||
सातत्य परिकल्पना में कहा गया है कि वास्तविक संख्याओं की कार्डिनैलिटी और प्राकृतिक संख्याओं की कार्डिनैलिटी के | सातत्य परिकल्पना में कहा गया है कि वास्तविक संख्याओं की कार्डिनैलिटी और प्राकृतिक संख्याओं की कार्डिनैलिटी के मध्य कोई कार्डिनल संख्या नहीं है, अर्थात, | ||
:<math>2^{\aleph_0} = \aleph_1</math> | :<math>2^{\aleph_0} = \aleph_1</math> | ||
हालाँकि, इस परिकल्पना को व्यापक रूप से स्वीकृत [[ ZFC ]] स्वयंसिद्ध | हालाँकि, इस परिकल्पना को व्यापक रूप से स्वीकृत [[ ZFC ]] स्वयंसिद्ध समुच्चय सिद्धांत के भीतर न तो सिद्ध किया जा सकता है और न ही अस्वीकृत किया जा सकता है, यदि ZFC सुसंगत है। | ||
कार्डिनल अंकगणित का उपयोग न केवल यह दिखाने के लिए किया जा सकता है कि एक [[ वास्तविक संख्या रेखा ]] में बिंदुओं की संख्या उस रेखा के किसी भी [[ रेखा खंड ]] में बिंदुओं की संख्या के बराबर होती है, बल्कि यह कि यह एक समतल पर बिंदुओं की संख्या के बराबर है और वास्तव में , किसी भी परिमित-आयामी स्थान में। ये परिणाम अत्यधिक प्रतिकूल हैं, क्योंकि उनका अर्थ है कि अनंत | कार्डिनल अंकगणित का उपयोग न केवल यह दिखाने के लिए किया जा सकता है कि एक [[ वास्तविक संख्या रेखा ]] में बिंदुओं की संख्या उस रेखा के किसी भी [[ रेखा खंड ]] में बिंदुओं की संख्या के बराबर होती है, बल्कि यह कि यह एक समतल पर बिंदुओं की संख्या के बराबर है और वास्तव में , किसी भी परिमित-आयामी स्थान में। ये परिणाम अत्यधिक प्रतिकूल हैं, क्योंकि उनका अर्थ है कि अनंत समुच्चय एस के उचित उपसमुच्चय और [[ उचित सुपरसेट | उचित सुपरसमुच्चय]] मौजूद हैं, जिनका आकार एस के समान है, हालांकि एस में ऐसे तत्व शामिल हैं जो इसके उपसमुच्चय से संबंधित नहीं हैं, और एस के सुपरसमुच्चय में ऐसे तत्व होते हैं जो इसमें शामिल नहीं हैं। | ||
इनमें से पहला परिणाम, उदाहरण के लिए, स्पर्शरेखा फ़ंक्शन पर विचार करके स्पष्ट होता है, जो [[ अंतराल (गणित) ]] (-½π, ½π) और 'आर' के | इनमें से पहला परिणाम, उदाहरण के लिए, स्पर्शरेखा फ़ंक्शन पर विचार करके स्पष्ट होता है, जो [[ अंतराल (गणित) ]] (-½π, ½π) और 'आर' के मध्य एक-से-एक पत्राचार प्रदान करता है (हिल्बर्ट के ग्रैंड के विरोधाभास को भी देखें) होटल)। | ||
दूसरा परिणाम पहली बार 1878 में कैंटर द्वारा प्रदर्शित किया गया था, लेकिन यह 1890 में और अधिक स्पष्ट हो गया, जब [[ ग्यूसेप पीनो ]] ने अंतरिक्ष-भरने वाले घटता, घुमावदार रेखाएं पेश कीं जो किसी भी वर्ग, या घन, या [[ अतिविम ]] को भरने के लिए पर्याप्त मोड़ और मोड़ देती हैं। या परिमित-आयामी स्थान। ये वक्र प्रत्यक्ष प्रमाण नहीं हैं कि एक रेखा में परिमित-आयामी स्थान के समान अंक होते हैं, लेकिन इनका उपयोग अंतरिक्ष-भरने वाले वक्र को प्राप्त करने के लिए किया जा सकता है # प्रमाण है कि एक वर्ग और उसके पक्ष में समान अंक होते हैं। | दूसरा परिणाम पहली बार 1878 में कैंटर द्वारा प्रदर्शित किया गया था, लेकिन यह 1890 में और अधिक स्पष्ट हो गया, जब [[ ग्यूसेप पीनो ]] ने अंतरिक्ष-भरने वाले घटता, घुमावदार रेखाएं पेश कीं जो किसी भी वर्ग, या घन, या [[ अतिविम ]] को भरने के लिए पर्याप्त मोड़ और मोड़ देती हैं। या परिमित-आयामी स्थान। ये वक्र प्रत्यक्ष प्रमाण नहीं हैं कि एक रेखा में परिमित-आयामी स्थान के समान अंक होते हैं, लेकिन इनका उपयोग अंतरिक्ष-भरने वाले वक्र को प्राप्त करने के लिए किया जा सकता है # प्रमाण है कि एक वर्ग और उसके पक्ष में समान अंक होते हैं। | ||
कैंटर ने यह भी दिखाया कि कार्डिनैलिटी वाले | कैंटर ने यह भी दिखाया कि कार्डिनैलिटी वाले समुच्चय सख्ती से से अधिक हैं <math>\mathfrak c</math> मौजूद हैं (उनके कैंटर के विकर्ण तर्क # सामान्य समुच्चय और कैंटर के प्रमेय देखें)। उनमें शामिल हैं, उदाहरण के लिए: | ||
:* R के सभी उपसमुच्चय का समुच्चय, अर्थात, R का घात समुच्चय, लिखा हुआ ''P''(R) या 2<sup>आर</sup> | :* R के सभी उपसमुच्चय का समुच्चय, अर्थात, R का घात समुच्चय, लिखा हुआ ''P''(R) या 2<sup>आर</sup> | ||
:* | :* समुच्चय आर<sup>R</sup> R से R . तक सभी कार्यों का | ||
दोनों में कार्डिनैलिटी है | दोनों में कार्डिनैलिटी है | ||
| Line 110: | Line 103: | ||
:<math>\mathfrak c^{\aleph_0} = \left(2^{\aleph_0}\right)^{\aleph_0} = 2^{{\aleph_0}\times{\aleph_0}} = 2^{\aleph_0} = \mathfrak{c},</math> | :<math>\mathfrak c^{\aleph_0} = \left(2^{\aleph_0}\right)^{\aleph_0} = 2^{{\aleph_0}\times{\aleph_0}} = 2^{\aleph_0} = \mathfrak{c},</math> | ||
:<math> \mathfrak c ^{\mathfrak c} = \left(2^{\aleph_0}\right)^{\mathfrak c} = 2^{\mathfrak c\times\aleph_0} = 2^{\mathfrak c}.</math> | :<math> \mathfrak c ^{\mathfrak c} = \left(2^{\aleph_0}\right)^{\mathfrak c} = 2^{\mathfrak c\times\aleph_0} = 2^{\mathfrak c}.</math> | ||
==उदाहरण और गुण == | |||