गणनांक: Difference between revisions

[[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>

छठी शताब्दी ईसा पूर्व से, ग्रीक दार्शनिकों के लेखन अनंत समुच्चयों का गणनांक का पहला संकेत मिलता है। जबकि वे अनंत की धारणा को क्रियाओं की एक अंतहीन श्रृंखला के रूप में मानते थे, जैसे कि किसी संख्या में बार-बार 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> अनंत की प्राचीन यूनानी धारणा ने वस्तु को बिना किसी सीमा के दोहराए गए भागों में विभाजित करने पर भी विचार किया था। यूक्लिड के तत्वों में, [[ अनुरूपता (गणित) |अनुरूपता]] को दो रेखा खंडों, ''a'' और ''b'' की लंबाई के अनुपात के रूप में तुलना करने की क्षमता के रूप में वर्णित किया गया था, जब तक एक तीसरा खंड था, चाहे वह कितना भी छोटा क्यों न हो, उसे ''a'' और ''b'' दोनों में एक से दूसरे अंत तक कई बार रखा जा सकता था। [[ अपरिमेय संख्या |अपरिमेय संख्या]] के अनवेषण के साथ, यह देखा गया कि सभी परिमेय संख्याओं का अनंत समुच्चय भी प्रत्येक संभावित रेखाखंड की लंबाई का वर्णन करने के लिए पर्याप्त नहीं था।<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'' तक विशेषण फलन हैं। हालांकि ''E'' '''N''' का एक उचित उपसमुच्चय है, दोनों समुच्चयों का गणनांक समान है।]]

[[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(n)\T, {{color|#000080|'''blue'''}}:n∈T\f(n)।'']]जबकि एक परिमित समुच्चय का गणनांक केवल उसके तत्वों की संख्या है, इस धारणा को अनंत समुच्चयों तक विस्तारित करना सामान्यतः स्वेच्छाचारी समुच्चय (जिनमें से कुछ संभवतः अनंत हैं) की तुलना की धारणा को परिभाषित करने के साथ प्रारंभ होता है।

: यदि A से 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'' या ''A ~ B'' से भी दर्शाया जा सकता है।

:उदाहरण के लिए, गैर-ऋणात्मक सम संख्याओं के समुच्चय ''E'' = {0, 2, 4, 6, ...} में प्राकृतिक संख्याओं के समुच्चय '''N''' = {0, 1, 2, 3, ... } के समान गणनांक होता है, क्योंकि फलन ''f(n)'' = 2''n'' '''N''' से ''E'' की ओर एक द्विभाजन है (चित्र देखें)।

:परिमित समुच्चय ''A'' और ''B'' के लिए, यदि ''A'' से ''B'' तक ''कुछ'' द्विभाजन प्रस्तुत है, तो ''A'' से ''B'' तक प्रत्येक अंतःक्षेपक या विशेषण फलन एक द्विभाजन है। यह अब अनंत ''A'' और ''B'' के लिए यथार्थ नहीं है। उदाहरण के लिए, ''g''(''n'') = 4''n'' द्वारा परिभाषित '''N''' से ''E'' तक फलन ''g'' अंतःक्षेपक है, लेकिन विशेषण नहीं है, और '''N''' से ''E'' तक ''h, h(n) = n - (n mod 2)'' द्वारा परिभाषित विशेषण है, लेकिन अंतःक्षेपक नहीं है। ''g'' और ''h'' दोनों में से कोई भी {{abs|''E''}} = {{abs|'''N'''}} को चुनौती दे सकते हैं, जो कि ''f'' के अस्तित्व द्वारा स्थापित किया गया था।

: यदि ''A'' से ''B'' में कोई अंतःक्षेपक फलन प्रस्तुत है, तो ''A'' का गणनांक ''B'' का गणनांक से कम या उसके समान है।

: यदि ''A'' से ''B'' तक कोई विशेषण फलन है, लेकिन कोई अंतःक्षेपक फलन नहीं है, तो ''A'' का गणनांक ''B'' का गणनांक से पूर्णतः कम है।

:उदाहरण के लिए, सभी प्राकृतिक संख्याओं के समुच्चय '''N''' का गणनांक उसके घात समुच्चय ''P''('''N''') से पूर्णतः कम है, क्योंकि ''g''(''n'') = { ''n'' } '''N''' से ''P''('''N''') तक एक अंतःक्षेपक फलन है, और यह दिखाया जा सकता है कि '''N''' से ''P''('''N''') तक कोई भी फलन विशेषण नहीं हो सकता है (चित्र देखें)। इसी तर्क के अनुसार, '''N''' का गणनांक सभी[[ वास्तविक संख्या | वास्तविक संख्याओं]] के समुच्चय '''R''' का गणनांक से पूर्णतः कम है। प्रमाण के लिए, कैंटर का विकर्ण तर्क या कैंटर का पहला अगणनीय प्रमाण देखें।

यदि {{abs|''A''}} ≤ {{abs|''B''}} तथा {{abs|''B''}} ≤ {{abs|''A''}}, फिर {{abs|''A''}} = {{abs|''B''}} (एक तथ्य जिसे श्रोडर-बर्नस्टीन प्रमेय के नाम से जाना जाता है)। चयन का स्वयंसिद्ध इस कथन के समतुल्य है कि प्रत्येक  ''A'', ''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.&nbsp;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|गणनसंख्या }}

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

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

 

चयन के स्वयंसिद्ध को मानते हुए, अनंत समुच्चयों का गणनांक को दर्शाया गया है।

प्रत्येक क्रमसूचक <math>\alpha</math> के लिए, <math>\aleph_{\alpha + 1}</math> <math>\aleph_\alpha</math>से बड़ी सबसे छोटी गणनसंख्या है।

[[ प्राकृतिक संख्या |प्राकृतिक संख्याओं]] का गणनांक को एलेफ-नल (<math>\aleph_0</math>) द्वारा दर्शाया जाता है, जबकि वास्तविक संख्याओं का गणनांक को <math>\mathfrak c</math> (एक लोअरकेस फ्रैक्टूर आलेख <nowiki>''c''</nowiki>) द्वारा दर्शाया जाता है, और इसे[[ सातत्य की कार्डिनैलिटी | सांतत्यक के गणनांक]] के रूप में भी जाना जाता है। कैंटर के विकर्ण तर्क का उपयोग <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> से बड़ी सबसे छोटी गणनसंख्या है, अर्थात ऐसा कोई समुच्चय नहीं है जिसका गणनांक पूर्णांकों और वास्तविक संख्याओं के मध्य है। सांतत्यक परिकल्पना ZFC से स्वतंत्र है, जो समुच्चय सिद्धांत का एक मानक स्वयंसिद्धकरण है; अर्थात्, ZFC से सातत्य परिकल्पना या उसके निषेध को सिद्ध करना असंभव है - परंतु ZFC संगत है। अधिक विवरण के लिए, नीचे § सातत्य का गणनांक देखें।<ref>{{Cite journal

==परिमित, गणनीय और अगणनीय समुच्चय ==

यदि चयन का स्वयंसिद्ध मान्य है, तो [[त्रिभाजन]] का नियम गणनांक के लिए मान्य है। इस प्रकार हम निम्नलिखित परिभाषाएँ बना सकते हैं:

*प्राकृतिक संख्याओं या | X | < | '''N''' | से कम गणनांक वाला कोई भी समुच्चय ''X'', एक परिमित समुच्चय कहा जाता है।

*कोई भी समुच्चय ''X'' जिसमें प्राकृतिक संख्याओं के समुच्चय के समान गणनांक है, या | X | = | '''N''' | = <math>\aleph_0</math>, एक गणनीय अनंत समुच्चय कहा जाता है।<ref name=":1" />

*प्राकृतिक संख्याओं से अधिक गणनांक वाला कोई भी समुच्चय ''X'', या | X | > | '''N''' |, उदाहरण के लिए | '''R''' | = c> | '''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}} इसका एक उदाहरण हिल्बर्ट का ग्रैंड होटल का विरोधाभास है। वास्तव में, डेडेकाइंड ने एक अनंत समुच्चय को एक ऐसे रूप में परिभाषित किया है जिसे एक यथार्थ उपसमुच्चय के साथ प्रत्येक से अलग समतुल्यता में रखा जा सकता है (अर्थात, कैंटर के अर्थ में समान आकार वाला); अनंत की इस धारणा को[[ डेडेकाइंड अनंत ]]कहा जाता है। कैंटर ने गणनसंख्या को प्रस्तावित किया, और दिखाया- आकार की उनकी द्विभाजन-आधारित परिभाषा के अनुसार- कि कुछ अनंत समुच्चय दूसरों की तुलना में अधिक हैं। सबसे छोटी अनंत गणनांक प्राकृतिक संख्या (<math>\aleph_0</math>) है।

=== सातत्य का गणनांक ===

{{main article|सातत्य का गणनांक}}

 

कैंटर के सबसे महत्वपूर्ण परिणामों में से एक यह था कि सातत्य (<math>\mathfrak{c}</math>) का गणनांक प्राकृतिक संख्याओं (<math>\aleph_0</math>) से अधिक है; अर्थात्, प्राकृतिक संख्या '''N''' की तुलना में अधिक वास्तविक संख्या '''R''' हैं। अर्थात्, कैंटर ने दिखाया कि <math>\mathfrak{c} = 2^{\aleph_0} = \beth_1</math> (बेथ एक देखें) संतुष्ट करता है:

:(कैंटर का विकर्ण तर्क या कैंटर का पहला अगणनीय प्रमाण देखें)।

सातत्य परिकल्पना बताता है कि वास्तविक संख्याओं का गणनांक और प्राकृतिक संख्याओं के गणनांक के मध्य कोई गणनसंख्या नहीं है, अर्थात,

हालाँकि, यदि[[ ZFC ]]सुसंगत है, तो इस परिकल्पना को व्यापक रूप से स्वीकृत ZFC स्वयंसिद्ध समुच्चय सिद्धांत के अंतर्गत न तो सिद्ध किया जा सकता है और न ही अस्वीकृत किया जा सकता है।