गणन संख्या: Difference between revisions

Latest revision as of 13:04, 14 September 2023

एक विशेषण फ़ंक्शन, f: X → Y, समूह X से समूह Y तक दर्शाता है कि समूह में समान प्रमुखता है, इस स्थिति में गणन संख्या 4 के बराबर है।

aleph-अशक्त, सबसे छोटा अनंत गणन

गणित में, गणन संख्या, या संक्षेप में गणन, समुच्चय (गणित) के प्रमुखता को मापने के लिए उपयोग की जाने वाली प्राकृतिक संख्याओं का सामान्यीकरण है। परिमित समूह की प्रमुखता समूह में तत्वों की संख्या में प्राकृतिक संख्या पर निर्भर करती है। 'अनंत संख्या' गणन संख्या, जिसे प्रायः हिब्रू प्रतीक का उपयोग करके दर्शाया जाता है इस प्रकार $\aleph$ (एलेफ (हिब्रू)) सबस्क्रिप्ट के पश्चात अनंत समूह के आकार का वर्णन करता हैं।

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

गणन संख्याओं का अनंत क्रम है:

0,1,2,3,\ldots ,n,\ldots ;\aleph _{0},\aleph _{1},\aleph _{2},\ldots ,\aleph _{\alpha },\ldots .\

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

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

इतिहास

प्रमुखता की धारणा जैसा कि अब समझा जाता है, इसे 1874-1884 में समूह सिद्धांत के प्रवर्तक जॉर्ज कैंटर द्वारा तैयार किया गया था। प्रमुखता का उपयोग परिमित समूह के पहलू की तुलना करने के लिए किया जाता है। उदाहरण के लिए, समूह {1,2,3} और {4,5,6} बराबर नहीं हैं, किन्तु इनमें प्रमुखता बराबर है। यह दो समूहों के बीच आक्षेप (अर्ताथ, एक-से-एक पत्राचार) के अस्तित्व से स्थापित होता है, जैसे कि पत्राचार {1→4, 2→5, 3→6}।

कैंटर ने अपनी आपत्ति की अवधारणा को अनंत समूहों पर लागू किया^[1] (उदाहरण के लिए प्राकृतिक संख्याओं का समुच्चय N = {0, 1, 2, 3, ...})। इस प्रकार, उन्होंने N काउंटेबल समूह के साथ आक्षेप वाले सभी समूहों को बुलाया था। इस गणन संख्या को अलेफ संख्या या $\aleph _{0}$ कहा जाता है। उन्होंने अनंत समूहों के गणन संख्याओं को ट्रांसफिनिट गणन संख्या कहा हैं।

कैंटर ने सिद्ध किया कि N के किसी भी बंधे हुए समूह में N के समान ही प्रमुखता है, भले ही यह अंतर्ज्ञान के विपरीत प्रतीत होती हैं। उन्होंने यह भी सिद्ध किया कि प्राकृतिक संख्याओं के सभी क्रमित युग्म का समुच्चय अगणनीय है, इसका तात्पर्य यह है कि सभी परिमेय संख्याओं का समुच्चय भी भाज्य है, क्योंकि प्रत्येक परिमेय संख्या को पूर्णांकों की जोड़ी द्वारा दर्शाया जाता है। उन्होंने बाद में सिद्ध किया कि सभी वास्तविक बीजगणितीय संख्याओं का समुच्चय भी अभाज्य होता है। प्रत्येक वास्तविक B गणितीय संख्या z को पूर्णांकों के परिमित अनुक्रम के रूप में N को कोड किया जाता है, जो बहुपद समीकरण में गुणांक हैं, जिसका यह समाधान है, अर्थात आदेशित n-टपल (a₀, a₁, ..., a_n), a_i∈ 'Z' परिमेय की जोड़ी के साथ (B₀, B₁) ऐसा है कि गुणांक के साथ बहुपद की अनूठी जड़ है (a₀, a₁, ..., a_n) जो अंतराल में (B₀, B₁)है ।

अपने 1874 के पेपर ऑन ए प्रॉपर्टी ऑफ द कलेक्शन ऑफ ऑल रियल बीजगणितीय संख्याओं में, कैंटर ने सिद्ध किया कि उच्च-क्रम के गणन संख्या सम्मलित हैं, यह दिखाते हुए कि वास्तविक संख्याओं के समूह में N की तुलना में प्रमुखता अधिक है। उनके प्रमाण ने नेस्टेड के साथ तर्क का उपयोग किया अंतराल, किन्तु 1891 के पेपर में, उन्होंने अपने सरल और बहुत सरल कैंटर के विकर्ण तर्क का उपयोग करके उसी परिणाम को सिद्ध कर दिया। वास्तविक संख्याओं के समूह की नई गणन संख्या को इसके सातत्य की प्रमुखता कहा जाता है और कैंटर ने इसके लिए ${\mathfrak {c}}$ प्रतीक का उपयोग किया जाता हैं।

कैंटर ने गणन संख्या के सामान्य सिद्धांत का बड़ा हिस्सा भी विकसित किया, उन्होंने सिद्ध किया कि सबसे छोटी ट्रांसफिनिट गणन संख्या है ( $\aleph _{0}$ , aleph-null), और यह कि प्रत्येक गणन संख्या के लिए अगला बड़ा गणन होता है

(\aleph _{1},\aleph _{2},\aleph _{3},\ldots ).

उनकी सातत्य परिकल्पना यह प्रस्ताव है कि प्रमुखता ${\mathfrak {c}}$ वास्तविक संख्याओं के $\aleph _{1}$ समुच्चय के समान है . यह परिकल्पना गणितीय समूह सिद्धांत के मानक स्वयंसिद्धों से स्वतंत्र है, अर्थात यह न तो उनसे सिद्ध किया जाता है और न ही अप्रमाणित किया जाता हैं। यह 1963 में पॉल कोहेन (गणितज्ञ) द्वारा दिखाया गया था, जो 1940 में कर्ट गोडेल द्वारा पहले के कार्य का पूरक था।

प्रेरणा

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

अधिक औपचारिक रूप से, गैर-शून्य संख्या का उपयोग दो उद्देश्यों के लिए किया जाता है: समूह के आकार का वर्णन करने के लिए, या किसी क्रम में किसी तत्व की स्थिति का वर्णन करने के लिए। परिमित समुच्चयों और अनुक्रमों के लिए यह देखना सरल है कि ये दो धारणाएँ मेल खाती हैं, क्योंकि अनुक्रम में किसी स्थिति का वर्णन करने वाली प्रत्येक संख्या के लिए हम ऐसे समुच्चय का निर्माण कर सकते हैं जिसका आकार बिल्कुल सही हो। उदाहरण के लिए, 3 अनुक्रम <'a', 'b', 'c', 'd',...> में 'c' की स्थिति का वर्णन करता है, और हम समूह {a,b,c} का निर्माण कर सकते हैं, जिसमें 3 तत्व होते है।

चूंकि, अनंत समूहों के साथ व्यवहार करते समय, दोनों के बीच अंतर करना आवश्यक है, क्योंकि दो धारणाएं वास्तव में अनंत समूहों के लिए अलग-अलग हैं। स्थिति पहलू को ध्यान में रखते हुए क्रमिक संख्याएं होती हैं, जबकि आकार पहलू को यहां वर्णित गणन संख्याओं द्वारा सामान्यीकृत किया जाता है।

गणन की औपचारिक परिभाषा के पीछे अंतर्ज्ञान समूह के सापेक्ष आकार या बड़ेपन की धारणा का निर्माण है। परिमित समुच्चयों के लिए यह सरल है, जिसमें एक बस समूह में सम्मलित तत्वों की संख्या को गिनता है। बड़े समूहों के आकार की तुलना करने के लिए, अधिक परिष्कृत धारणाओं को अपील करना आवश्यक है।

एक समूह Y कम से कम समूह X जितना बड़ा होता है यदि X के तत्वों से Y के तत्वों के लिए इंजेक्शन फंक्शन मैप (गणित) होता है। इंजेक्शन मैपिंग समूह X के प्रत्येक तत्व को समूह के अद्वितीय तत्व के साथ पहचानती है Y. इसे उदाहरण से सबसे सरलता से समझा जाता है, मान लें कि हमारे पास X = {1,2,3} और Y = {a,b,c,d} समूह हैं, तो आकार की इस धारणा का उपयोग करके, हम देखेंगे कि मैपिंग है:

1 →a

2 → b

3 → c

जो अंतःक्षेपी है, और इसलिए यह निष्कर्ष निकालता है कि Y की प्रमुखता X से अधिक या उसके बराबर है। तत्व d में इसके लिए कोई तत्व मानचित्रण नहीं है, किन्तु इसकी अनुमति है क्योंकि हमें केवल अंतःक्षेपी मानचित्रण की आवश्यकता है, न कि विशेषण मानचित्रण की थी। इस धारणा का लाभ यह है कि इसे अनंत समूहों तक बढ़ाया जाता है।

इसके बाद हम इसे समानता-शैली के संबंध में बढ़ा सकते हैं। दो समूह (गणित) X और Y को समान प्रमुखता कहा जाता है यदि X और Y के बीच आक्षेप सम्मलित है। कैंटर-बर्नस्टीन-श्रोएडर प्रमेय द्वारा या X से Y, और Y से X तक इंजेक्शन मैपिंग द्वारा मिलता हैं।

फिर हम लिखते हैं

|X| = |Y|

X= |X| की गणन संख्या को प्रायः कम से कम क्रमिक के साथ परिभाषित किया जाता है।^[2] इसे वॉन न्यूमैन गणन असाइनमेंट कहा जाता है, इस परिभाषा को समझने के लिए यह सिद्ध किया जाना चाहिए कि प्रत्येक समूह में कुछ क्रमवाचक के समान ही प्रमुखता होती है, यह कथन सुव्यवस्थित सिद्धांत है। चूंकि वस्तुओं को स्पष्ट रूप से नाम दिए बिना समूह की सापेक्ष प्रमुखता पर चर्चा करना संभव है।

उपयोग किया जाने वाला क्लासिक उदाहरण अनंत होटल विरोधाभास का है, जिसे ग्रांड होटल का हिल्बर्ट का विरोधाभास भी कहा जाता है। मान लीजिए कि होटल में सराय का मालिक है, जिसके पास अनंत संख्या में कमरे हैं। कमरे 1 में सम्मलित अतिथि को कमरे 2 में जाने के लिए, कमरे 2 में अतिथि को कमरे 3 में जाने के लिए, और इसी तरह कमरा 1 को खाली छोड़कर अतिरिक्त अतिथि को फिट करना संभव है। हम इस मानचित्रण का खंड स्पष्ट रूप से लिख सकते हैं:

1 → 2

2 → 3

3 → 4

...

n→ n + 1

...

इस स्थानीकरण के साथ, हम देखते हैं कि समूह {1,2,3,...} में समूह {2,3,4,...} के समान प्रमुखता है, क्योंकि पहले और दूसरे के बीच आपत्ति को दिखाया गया हैं। यह अनंत समूह की परिभाषा को किसी भी समूह के रूप में प्रेरित करता है जिसमें समान प्रमुखता (अर्ताथ, डेडेकिंड-अनंत समूह) का उचित उपसमुच्चय होता है, इस स्थिति में {2,3,4,...} {1,2,3,...} का उचित उपसमुच्चय है।

इन बड़ी वस्तुओं पर विचार करते समय, कोई भी यह देखना चाह सकता है कि क्या गणना क्रम की धारणा इन अनंत समूहों के लिए ऊपर परिभाषित गणन के साथ मेल खाती है। ऐसा होता है कि ऐसा नहीं होता, उपरोक्त उदाहरण पर विचार करके हम देखते हैं कि यदि कोई वस्तु अनंत से बड़ी है, तो उसमें वही प्रमुखता होनी चाहिए जो अनंत समूह के साथ हमने प्रारंभ की थी। संख्या के लिए अलग औपचारिक धारणा का उपयोग करना संभव है, जिसे क्रमिक संख्या कहा जाता है, गिनती के विचारों के आधार पर और प्रत्येक संख्या पर बारी-बारी से विचार किया जाता है, और हमें पता चलता है कि बार जब हम परिमित संख्या से बाहर निकल जाते हैं तो प्रमुखता और ऑर्डिनलिटी की धारणाएँ अलग हो जाती हैं।

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

प्रमुखता के मौलिक प्रश्न (उदाहरण के लिए सातत्य परिकल्पना) यह पता लगाने से संबंधित हैं कि क्या अन्य अनंत गणनता की कुछ जोड़ी के बीच कुछ गणन है। हाल के दिनों में, गणितज्ञ बड़े और बड़े गणन के गुणों का वर्णन करते रहे हैं।

चूँकि गणित में प्रमुखता ऐसी सामान्य अवधारणा है, इसलिए विभिन्न प्रकार के नाम उपयोग में हैं। प्रमुखता की समरूपता को कभी-कभी समता, समता, या समतुल्यता के रूप में संदर्भित किया जाता है। इस प्रकार यह कहा जाता है कि समान प्रमुखता वाले दो समुच्चय क्रमश: समशक्ति, समशक्ति या समविभव होते हैं।

औपचारिक परिभाषा

औपचारिक रूप से, पसंद के स्वयंसिद्ध को मानते हुए, समूह X की प्रमुखता कम से कम क्रमिक संख्या α है जैसे कि X और α के बीच आपत्ति है। इस परिभाषा को वॉन न्यूमैन गणन असाइनमेंट के रूप में जाना जाता है। यदि पसंद का स्वयंसिद्ध नहीं माना जाता है, तो अलग दृष्टिकोण की आवश्यकता होती है। समूह X की कार्डिनालिटी की सबसे पुरानी परिभाषा (कैंटर में निहित और फ्रीज और गणितीय सिद्धांत में स्पष्ट) सभी समूहों के वर्ग [X] के रूप में है जो X के समतुल्य हैं। यह जेडएफसी या स्वयंसिद्ध के अन्य संबंधित प्रणालियों में कार्य नहीं करता है समूह थ्योरी क्योंकि यदि X खाली नहीं है, तो यह संग्रह समूह होने के लिए बहुत बड़ा है। वास्तव में, X ≠ ∅ के लिए समुच्चय m को {m} × X पर मैप करके ब्रह्मांड से [X] में अंतःक्षेपण होता है, और इसलिए आकार की सीमा के अभिगृहीत द्वारा, [X] उचित वर्ग है। परिभाषा चूंकि प्रकार सिद्धांत और नई नींव और संबंधित प्रणालियों में कार्य करती है। चूंकि, अगर हम इस वर्ग से X के साथ समतुल्य तक सीमित हैं जिनके पास कम से कम रैंक (समूह सिद्धांत) है, तो यह कार्य करेगा (यह दाना स्कॉट के कारण चाल है:^[3] यह कार्य करता है क्योंकि किसी दिए गए रैंक वाले ऑब्जेक्ट्स का संग्रह समूह है)।

वॉन न्यूमैन गणन असाइनमेंट का तात्पर्य है कि परिमित समूह की गणन संख्या उस समूह के सभी संभावित क्रमों की सामान्य क्रमिक संख्या है, और गणन और क्रमिक अंकगणित (इसके अतिरिक्त, गुणा, शक्ति, उचित घटाव) फिर परिमित के लिए समान उत्तर का मान देता हैं। चूंकि, वे अनंत संख्याओं के लिए भिन्न हैं। उदाहरण के लिए, $2^{\omega }=\omega <\omega ^{2}$ क्रमिक अंकगणित में जबकि $2^{\aleph _{0}}>\aleph _{0}=\aleph _{0}^{2}$ गणन अंकगणित में, चूंकि वॉन न्यूमैन असाइनमेंट में $\aleph _{0}=\omega$ मान इंगित करता है। दूसरी ओर, स्कॉट की चाल का अर्थ है कि गणन संख्या 0 है $\{\emptyset \}$ , जो क्रमांक 1 भी है, और यह भ्रमित करने वाला होती है। संभावित मान (अनंत अंकगणित में पसंद और भ्रम की स्वयंसिद्धता पर निर्भरता से बचने के समय परिमित अंकगणित में संरेखण का लाभ उठाने के लिए किया जाता हैं) वॉन न्यूमैन असाइनमेंट को परिमित समूहों के गणन संख्याओं पर लागू करना है (जो अच्छी तरह से आदेशित हो सकते हैं और नहीं हैं) उचित उपसमुच्चयों के लिए समबल) और अन्य समूहों की गणन संख्याओं के लिए स्कॉट की चाल का उपयोग करने के लिए किया जाता हैं।

औपचारिक रूप से, गणन संख्याओं के बीच क्रम को निम्नानुसार परिभाषित किया गया है: |X| ≤ |Y फ़ंक्शन X से Y तक। कैंटर-बर्नस्टीन-श्रोएडर प्रमेय कहता है कि यदि |X| ≤ |Y| और | Y | ≤ |X| फिर |X| = |Y| के अनुसार इसमें अभिगृहीत उस कथन के समतुल्य है जिसमें दो समुच्चय X और Y, या तो |X| ≤ |Y| या |Y| ≤ |X| में दिए गए हैं^[4]^[5]

एक समुच्चय X डिडिकाइन्ड-अनंत है यदि |X| के साथ X का उचित उपसमुच्चय Y सम्मलित है = |Y|, और डेडेकाइंड परिमित यदि ऐसा उपसमुच्चय सम्मलित नहीं है। परिमित समुच्चय गणन केवल प्राकृतिक संख्याएँ हैं, इस अर्थ में कि समुच्चय X परिमित है यदि और केवल यदि |X| = |N| = n किसी प्राकृत संख्या n के लिए कोई अन्य समुच्चय अनंत समुच्चय होता है।

पसंद के स्वयंसिद्ध को मानते हुए, यह सिद्ध किया जाता है कि डेडेकाइंड की धारणा मानक के अनुरूप है। यह भी सिद्ध किया जाता है कि गणन $\aleph _{0}$ (अलेफ नल या एलेफ-0, जहां एलेफ हिब्रू वर्णमाला में पहला अक्षर है, दर्शाया गया है $\aleph$ ) प्राकृतिक संख्याओं के समूह का सबसे छोटा अनंत गणन है (अर्ताथ, किसी भी अनंत समूह में प्रमुखता का सबसमूह $\aleph _{0}$ है ), इस प्रकार अगले बड़े गणन को $\aleph _{1}$ द्वारा प्रदर्शित किया जाता है, और इसी प्रकार प्रत्येक क्रमिक संख्या α के लिए, गणन संख्या $\aleph _{\alpha },$ होती है और यह सूची सभी अनंत गणन संख्याओं को समाप्त कर देती है।

गणन अंकगणित

हम मूल संख्याओं पर अंकगणितीय संक्रियाओं को परिभाषित कर सकते हैं जो प्राकृतिक संख्याओं के लिए सामान्य संक्रियाओं का सामान्यीकरण करती हैं। यह दिखाया जाता है कि परिमित गणन के लिए, ये संक्रियाएँ प्राकृतिक संख्याओं के लिए सामान्य संक्रियाओं के साथ मेल खाती हैं। इसके अतिरिक्त, ये ऑपरेशन साधारण अंकगणित के साथ कई गुण साझा करते हैं।

उत्तराधिकारी गणन

यदि पसंद का स्वयंसिद्ध धारण करता है, तो प्रत्येक गणन κ का उत्तराधिकारी होता है, जिसे κ⁺ दर्शाया जाता है, जहां κ⁺ > κ और κ और उसके उत्तराधिकारी के बीच कोई गणन नहीं है। (पसंद के अभिगृहीत के बिना, हरटाग्स संख्या या हरटाग्स प्रमेय का उपयोग करके, यह दिखाया जाता है कि किसी भी गणन संख्या κ के लिए, न्यूनतम गणन κ⁺ है ऐसा कि $\kappa ^{+}\nleq \kappa .$ ) परिमित गणन के लिए, उत्तराधिकारी केवल κ + 1 है। अनंत गणन के लिए, उत्तराधिकारी गणन उत्तराधिकारी गणन से भिन्न होता है।

गणन जोड़

यदि X और Y असम्बद्ध समुच्चय हैं, तो जोड़ X और Y के मिलन (समुच्चय सिद्धांत) द्वारा दिया जाता है। यदि दो समुच्चय पहले से ही असंयुक्त नहीं हैं, तो उन्हें समान गणन संख्या के असंयुक्त समुच्चय द्वारा प्रतिस्थापित किया जाता है (उदाहरण के लिए, X द्वारा प्रतिस्थापित करें) X×{0} और Y by Y×{1}).

|X|+|Y|=|X\cup Y|.

^[6]

शून्य योगात्मक की पहचान κ + 0 = 0 + κ = κ है

जोड़ साहचर्य (κ + μ) + ν = κ + (μ + ν) है।

योग विनिमेय κ + μ = μ + κ है।

जोड़ दोनों तर्कों में गैर-घट रहा है:

(\kappa \leq \mu )\rightarrow ((\kappa +\nu \leq \mu +\nu ){\mbox{ and }}(\nu +\kappa \leq \nu +\mu )).

पसंद के स्वयंसिद्ध को मानते हुए, अनंत गणन संख्याओं का जोड़ सरल है। यदि या तो κ या μ अपरिमित है, तब

\kappa +\mu =\max\{\kappa ,\mu \}\,.

घटाव

इस पसंद के स्वयंसिद्ध मानते हुए और, अनंत गणन σ और गणन μ दिए जाने पर, गणन κ सम्मलित है जैसे कि μ + κ = σ अगर और केवल अगर μ ≤ σ। यह अद्वितीय (और σ के बराबर) होगा यदि और केवल यदि μ < σ के मान के समान हो।

गणन गुणन

गणन का उत्पाद कार्टेशियन उत्पाद से आता है।

|X|\cdot |Y|=|X\times Y|

^[7]

κ·0 = 0·κ = 0.

κ·μ = 0 → (κ = 0 या μ = 0)।

एक गुणक पहचान κ·1 = 1·κ = κ है।

गुणा सहयोगी है (κ·μ)·ν = κ·(μ·ν)।

गुणन कम्यूटेटिव κ·μ = μ·κ है।

गुणा दोनों तर्कों में गैर-घट रहा है:

κ ≤ μ → (κ·ν ≤ μ·ν और ν·κ ≤ ν·μ).

योग पर गुणन वितरण:

κ·(μ + ν) = κ·μ + κ·ν और (M + N) · K = M · K + N · K।

पसंद के स्वयंसिद्ध को मानते हुए, अनंत गणन संख्याओं का गुणन भी सरल है। यदि या तो κ या μ अनंत है और दोनों गैर-शून्य हैं, तो

\kappa \cdot \mu =\max\{\kappa ,\mu \}.

विभाग

पसंद के स्वयंसिद्ध को मानते हुए और, अनंत गणन π और गैर-शून्य गणन μ दिए जाने पर, गणन κ सम्मलित है जैसे कि μ · κ = π इसका मान तभी संतुष्ट होता हैं जब μ ≤ π को संतुष्ट करता हैं। यह अद्वितीय (और π के बराबर) होगा जब μ < π का मान होगा।

गणन घातांक

घातांक किसके द्वारा दिया जाता है

|X|^{|Y|}=\left|X^{Y}\right|,

जहां X^Y, Y से X तक सभी प्रकार्य (गणित) का समुच्चय है।^[8]

K⁰ = 1 (विशेष रूप से 0⁰ = 1), खाली कार्य देखें।

यदि 1 ≤ μ, तो 0^μ = 0।

1^μ = 1।

K¹ = μ

K^{m + n = K^m·μⁿ}

K^{m · n = (m^{μ)^n.}}

(μ)^{n = K^{m·m^n.}}

दोनों तर्कों में घातांक गैर-घट रहा है:

(1 ≤ ν और κ ≤ μ) → (ν)^{K ≤ Nm⁾}

(κ ≤ μ) → (κ^{n ≤ m^n).}

2^|X| समूह X के सत्ता स्थापित की प्रमुखता है और कैंटर के विकर्ण तर्क से पता चलता है कि 2^|X| > |X| किसी भी समूह X के लिए। यह सिद्ध करता है कि कोई भी सबसे बड़ा गणन सम्मलित नहीं है (क्योंकि किसी भी गणन κ के लिए, हम हमेशा बड़ा गणन 2^κ के रूप में पा सकते हैं). वास्तव में, गणन का वर्ग (समूह सिद्धांत) उचित वर्ग है। (यह प्रमाण कुछ समूह सिद्धांतों, विशेष रूप से न्यू फ़ाउंडेशन में विफल रहता है।)

इस खंड में शेष सभी प्रस्ताव पसंद के स्वयंसिद्ध मानते हैं:

यदि κ और μ दोनों सीमित हैं और 1 से अधिक हैं, और ν अनंत है, तो κ^{n = m^n.}

यदि κ अनंत है और μ परिमित और शून्य के सामान नहीं होता है, तो κ^μ = κ.

यदि 2 ≤ κ और 1 ≤ μ और उनमें से कम से कम अपरिमित है, तो:

अधिकतम मान के लिए (κ, 2^μ) ≤ K^μ ≤ अधिकतम (2^{2^μ).}

कोनिग के प्रमेय (समूह सिद्धांत) का उपयोग करना या कोनिग के प्रमेय, कोई भी κ < κ^cf(κ) सिद्ध कर सकता है, और κ <cf(2^κ) किसी अनंत गणन κ के लिए, जहां cf(κ) κ की अंतिमता है।

रूट्स

पसंद के स्वयंसिद्ध को मानते हुए और, अनंत गणन κ और परिमित गणन μ₀ से अधिक दिया गया, $\kappa$ गणन के लिए ν संतोषजनक $\nu ^{\mu }=\kappa$ होगा।

लघुगणक

पसंद के स्वयंसिद्ध को मानते हुए और, अनंत गणन κ और परिमित गणन μ₁ से अधिक दिया गया है, गणन λ संतोषजनक होती है या नहीं भी होती है $\mu ^{\lambda }=\kappa$ . चूंकि, यदि ऐसा गणन सम्मलित है, तो यह अनंत है और κ से कम है, और 1 से अधिक कोई परिमित प्रमुखता भी संतुष्ट करेगी।

$\nu ^{\lambda }=\kappa$ .

एक अनंत गणन संख्या κ के लघुगणक को कम से कम गणन संख्या μ के रूप में परिभाषित किया गया है जैसे कि κ ≤ 2^μ. गणित के कुछ क्षेत्रों में अनंत गणन के लॉगरिदम उपयोगी होते हैं, उदाहरण के लिए टोपोलॉजिकल स्पेस स्थान के गणन अपरिवर्तनीय के अध्ययन में, चूंकि उनमें कुछ गुणों की कमी होती है जो सकारात्मक वास्तविक संख्याओं के लॉगरिदम के पास होती हैं।^[9]^[10]^[11]

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

सातत्य परिकल्पना (सीएच) में कहा गया है कि सख्ती के बीच कोई गणन नहीं हैं $\aleph _{0}$ और $2^{\aleph _{0}}.$ बाद के गणन संख्या को भी प्रायः द्वारा निरूपित किया जाता है ${\mathfrak {c}}$ , यह सातत्य (वास्तविक संख्याओं का समुच्चय) की प्रमुखता है।

इस स्थिति में $2^{\aleph _{0}}=\aleph _{1}.$

इसी तरह, सामान्यीकृत सातत्य परिकल्पना (जीसीएच) कहती है कि प्रत्येक अनंत गणन के लिए $\kappa$ के मान के लिए इसका कोई गणन नहीं हैं, इस प्रकार $\kappa$ और $2^{\kappa }$ सातत्य परिकल्पना और सामान्यीकृत सातत्य परिकल्पना दोनों समूह सिद्धांत के सामान्य स्वयंसिद्धों से स्वतंत्र सिद्ध हुए हैं, ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध साथ पसंद के स्वयंसिद्ध (ज़र्मेलो-फ्रेंकेल समूह सिद्धांत) के साथ होता हैं।

इस प्रकार ईस्टन के प्रमेय से पता चलता है कि, नियमित गणन के लिए $\kappa$ , केवल ZFC की प्रमुखता पर प्रतिबंध लगाता है जिसका मान $2^{\kappa }$ के समान होता है इस प्रकार $\kappa <\operatorname {cf} (2^{\kappa })$ के लिए यह घातीय फलन घटता है।

यह भी देखें

अलेफ संख्या
बेथ संख्या
कैंटर का विरोधाभास
कार्डिनल नंबर (भाषा विज्ञान)
गिनती
समावेश-बहिष्करण सिद्धांत
बड़ा कार्डिनल
अंग्रेजी में संख्याओं के नाम
नाममात्र संख्या
क्रमसूचक संख्या
नियमित कार्डिनल

संदर्भ

Notes

↑ Dauben 1990, pg. 54
↑ Weisstein, Eric W. "Cardinal Number". mathworld.wolfram.com (in English). Retrieved 2020-09-06.
↑ Deiser, Oliver (May 2010). "On the Development of the Notion of a Cardinal Number". History and Philosophy of Logic. 31 (2): 123–143. doi:10.1080/01445340903545904. S2CID 171037224.
↑ Enderton, Herbert. "Elements of Set Theory", Academic Press Inc., 1977. ISBN 0-12-238440-7
↑ Friedrich M. Hartogs (1915), Felix Klein; Walther von Dyck; David Hilbert; Otto Blumenthal (eds.), "Über das Problem der Wohlordnung", Math. Ann., Leipzig: B. G. Teubner, Bd. 76 (4): 438–443, doi:10.1007/bf01458215, ISSN 0025-5831, S2CID 121598654, archived from the original on 2016-04-16, retrieved 2014-02-02
↑ Schindler 2014, pg. 34
↑ Schindler 2014, pg. 34
↑ Schindler 2014, pg. 34
↑ Robert A. McCoy and Ibula Ntantu, Topological Properties of Spaces of Continuous Functions, Lecture Notes in Mathematics 1315, Springer-Verlag.
↑ Eduard Čech, Topological Spaces, revised by Zdenek Frolík and Miroslav Katetov, John Wiley & Sons, 1966.
↑ D. A. Vladimirov, Boolean Algebras in Analysis, Mathematics and Its Applications, Kluwer Academic Publishers.

Bibliography

Dauben, Joseph Warren (1990), Georg Cantor: His Mathematics and Philosophy of the Infinite, Princeton: Princeton University Press, ISBN 0691-02447-2
Hahn, Hans, Infinity, Part IX, Chapter 2, Volume 3 of The World of Mathematics. New York: Simon and Schuster, 1956.
Halmos, Paul, Naive set theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition).
Schindler, Ralf-Dieter (2014). Set theory : exploring independence and truth. Universitext. Cham: Springer-Verlag. doi:10.1007/978-3-319-06725-4. ISBN 978-3-319-06725-4.

बाहरी कड़ियाँ

"Cardinal number", Encyclopedia of Mathematics, EMS Press, 2001 [1994]

[1] Dauben 1990, pg. 54

[2] Weisstein, Eric W. "Cardinal Number". mathworld.wolfram.com (in English). Retrieved 2020-09-06.

[3] Deiser, Oliver (May 2010). "On the Development of the Notion of a Cardinal Number". History and Philosophy of Logic. 31 (2): 123–143. doi:10.1080/01445340903545904. S2CID 171037224.

[Enderton-4] Enderton, Herbert. "Elements of Set Theory", Academic Press Inc., 1977. ISBN 0-12-238440-7

[5] Friedrich M. Hartogs (1915), Felix Klein; Walther von Dyck; David Hilbert; Otto Blumenthal (eds.), "Über das Problem der Wohlordnung", Math. Ann., Leipzig: B. G. Teubner, Bd. 76 (4): 438–443, doi:10.1007/bf01458215, ISSN 0025-5831, S2CID 121598654, archived from the original on 2016-04-16, retrieved 2014-02-02

[6] Schindler 2014, pg. 34

[7] Schindler 2014, pg. 34

[8] Schindler 2014, pg. 34

[9] Robert A. McCoy and Ibula Ntantu, Topological Properties of Spaces of Continuous Functions, Lecture Notes in Mathematics 1315, Springer-Verlag.

[10] Eduard Čech, Topological Spaces, revised by Zdenek Frolík and Miroslav Katetov, John Wiley & Sons, 1966.

[11] D. A. Vladimirov, Boolean Algebras in Analysis, Mathematics and Its Applications, Kluwer Academic Publishers.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

@@ Line 1: / Line 1: @@
-{{Short description|Size of a possibly infinite set}}[[File:Bijection.svg|thumb|200px|एक विशेषण फ़ंक्शन, f: X → Y, समूह X से समूह Y तक दर्शाता है कि समूह में समान प्रमुखता है, इस स्थिति में क्रमसूचक संख्या 4 के बराबर है।]]
+{{Short description|Size of a possibly infinite set}}[[File:Bijection.svg|thumb|200px|एक विशेषण फ़ंक्शन, f: X → Y, समूह X से समूह Y तक दर्शाता है कि समूह में समान प्रमुखता है, इस स्थिति में गणन संख्या 4 के बराबर है।]]
-[[File:Aleph0.svg|thumb|right|150px|[[aleph-अशक्त]], सबसे छोटा अनंत क्रमसूचक]][[गणित]] में, क्रमसूचक संख्या, या संक्षेप में क्रमसूचक, [[सेट (गणित)]] के प्रमुखता को मापने के लिए उपयोग की जाने वाली [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] का सामान्यीकरण है। [[परिमित सेट|परिमित समूह]] की [[प्रमुखता]]  समूह में तत्वों की संख्या में प्राकृतिक संख्या पर निर्भर करती है। '[[अनंत संख्या]]' क्रमसूचक संख्या, जिसे प्रायः हिब्रू प्रतीक का उपयोग करके दर्शाया जाता है इस प्रकार <math>\aleph</math> ([[एलेफ (हिब्रू)]]) सबस्क्रिप्ट के पश्चात [[अनंत सेट|अनंत समूह]] के आकार का वर्णन करता हैं।
+[[File:Aleph0.svg|thumb|right|150px|[[aleph-अशक्त]], सबसे छोटा अनंत गणन]][[गणित]] में, '''गणन संख्या''', या संक्षेप में गणन, समुच्चय (गणित) के प्रमुखता को मापने के लिए उपयोग की जाने वाली [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] का सामान्यीकरण है। [[परिमित सेट|परिमित समूह]] की [[प्रमुखता]]  समूह में तत्वों की संख्या में प्राकृतिक संख्या पर निर्भर करती है। '[[अनंत संख्या]]' गणन संख्या, जिसे प्रायः हिब्रू प्रतीक का उपयोग करके दर्शाया जाता है इस प्रकार <math>\aleph</math> ([[एलेफ (हिब्रू)]]) सबस्क्रिप्ट के पश्चात [[अनंत सेट|अनंत समूह]] के आकार का वर्णन करता हैं।
-क्रमसूचक संख्या को विशेषण कार्यों के संदर्भ में परिभाषित किया गया है। दो समूहों में समान प्रमुखता होती है, और केवल अगर, दो समूहों के तत्वों के बीच एक-से-एक पत्राचार (आक्षेप) होता है। परिमित समूह के स्थिति में, यह आकार की सहज धारणा से सहमत है। अपरिमित समुच्चयों की स्थिति में व्यवहार अधिक जटिल होता है। [[जॉर्ज कैंटर]] के कारण मौलिक प्रमेय से पता चलता है कि अनंत समूहों के लिए अलग-अलग प्रमुखता होना संभव है, और विशेष रूप से [[वास्तविक संख्या]]ओं के समूह की प्रमुखता प्राकृतिक संख्याओं के समूह की प्रमुखता से अधिक है। अनंत समुच्चय के उचित उपसमुच्चय के लिए मूल समुच्चय के समान प्रमुखता होना भी संभव है - ऐसा कुछ जो परिमित समुच्चय के उचित उपसमुच्चय के साथ नहीं होती हैं।
+गणन संख्या को विशेषण कार्यों के संदर्भ में परिभाषित किया गया है। दो समूहों में समान प्रमुखता होती है, और केवल अगर, दो समूहों के तत्वों के बीच एक-से-एक पत्राचार (आक्षेप) होता है। परिमित समूह के स्थिति में, यह आकार की सहज धारणा से सहमत है। अपरिमित समुच्चयों की स्थिति में व्यवहार अधिक जटिल होता है। [[जॉर्ज कैंटर]] के कारण मौलिक प्रमेय से पता चलता है कि अनंत समूहों के लिए अलग-अलग प्रमुखता होना संभव है, और विशेष रूप से [[वास्तविक संख्या]]ओं के समूह की प्रमुखता प्राकृतिक संख्याओं के समूह की प्रमुखता से अधिक है। अनंत समुच्चय के उचित उपसमुच्चय के लिए मूल समुच्चय के समान प्रमुखता होना भी संभव है - ऐसा कुछ जो परिमित समुच्चय के उचित उपसमुच्चय के साथ नहीं होती हैं।
-क्रमसूचक संख्याओं का अनंत क्रम है:
+गणन संख्याओं का अनंत क्रम है:
 :<math>0, 1, 2, 3, \ldots, n, \ldots ; \aleph_0, \aleph_1, \aleph_2, \ldots, \aleph_{\alpha}, \ldots.\ </math>
-यह अनुक्रम शून्य (परिमित क्रमसूचक) सहित प्राकृतिक संख्याओं से प्रारंभ होता है, जिसके पश्चात एलेफ़ संख्याएँ ([[सुव्यवस्थित]] समूहों के अनंत क्रमसूचक) होती हैं। एलीफ संख्याओं को क्रमिक संख्याओं द्वारा अनुक्रमित किया जाता है। इसके स्वयंसिद्ध होने की धारणा के अनुसार, इस क्रम में प्रत्येक क्रमसूचक संख्या सम्मलित है। यदि पसंद का स्वयंसिद्ध  स्वतंत्रता उस स्वयंसिद्ध है, तो स्थिति अधिक जटिल है, अतिरिक्त अनंत क्रमसूचक के साथ जो एलेफ्स नहीं हैं।
+यह अनुक्रम शून्य (परिमित गणन) सहित प्राकृतिक संख्याओं से प्रारंभ होता है, जिसके पश्चात एलेफ़ संख्याएँ ([[सुव्यवस्थित]] समूहों के अनंत गणन) होती हैं। एलीफ संख्याओं को क्रमिक संख्याओं द्वारा अनुक्रमित किया जाता है। इसके स्वयंसिद्ध होने की धारणा के अनुसार, इस क्रम में प्रत्येक गणन संख्या सम्मलित है। यदि पसंद का स्वयंसिद्ध  स्वतंत्रता उस स्वयंसिद्ध है, तो स्थिति अधिक जटिल है, अतिरिक्त अनंत गणन के साथ जो एलेफ्स नहीं हैं।
-[[समुच्चय सिद्धान्त]] के हिस्से के रूप में प्रमुखता का अध्ययन स्वयं के लिए किया जाता है। यह [[मॉडल सिद्धांत]], [[साहचर्य]], अमूर्त बीजगणित और [[गणितीय विश्लेषण]] सहित गणित की शाखाओं में उपयोग किया जाने वाला उपकरण भी है। [[श्रेणी सिद्धांत]] में, [[क्रमसूचक संख्या]] [[सेट की श्रेणी|समूह की श्रेणी]] का [[कंकाल (श्रेणी सिद्धांत)|प्रारूप(श्रेणी सिद्धांत)]] बनाते हैं।
+[[समुच्चय सिद्धान्त]] के हिस्से के रूप में प्रमुखता का अध्ययन स्वयं के लिए किया जाता है। यह [[मॉडल सिद्धांत]], [[साहचर्य]], अमूर्त बीजगणित और [[गणितीय विश्लेषण]] सहित गणित की शाखाओं में उपयोग किया जाने वाला उपकरण भी है। [[श्रेणी सिद्धांत]] में, [[क्रमसूचक संख्या|गणन संख्या]] [[सेट की श्रेणी|समूह की श्रेणी]] का [[कंकाल (श्रेणी सिद्धांत)|प्रारूप(श्रेणी सिद्धांत)]] बनाते हैं।
 == इतिहास ==
@@ Line 15: / Line 15: @@
 प्रमुखता की धारणा जैसा कि अब समझा जाता है, इसे 1874-1884 में समूह सिद्धांत के प्रवर्तक जॉर्ज कैंटर द्वारा तैयार किया गया था। प्रमुखता का उपयोग परिमित समूह के पहलू की तुलना करने के लिए किया जाता है। उदाहरण के लिए, समूह {1,2,3} और {4,5,6} बराबर नहीं हैं, किन्तु इनमें प्रमुखता बराबर है। यह दो समूहों के बीच आक्षेप (अर्ताथ, एक-से-एक पत्राचार) के अस्तित्व से स्थापित होता है, जैसे कि पत्राचार {1→4, 2→5, 3→6}।
-कैंटर ने अपनी आपत्ति की अवधारणा को अनंत समूहों पर लागू किया<ref>{{harvnb|Dauben|1990|loc=pg. 54}}</ref> (उदाहरण के लिए प्राकृतिक संख्याओं का समुच्चय N = {0, 1, 2, 3, ...})। इस प्रकार, उन्होंने N काउंटेबल समूह के साथ आक्षेप वाले सभी समूहों को बुलाया था। इस क्रमसूचक संख्या को अलेफ संख्या  या <math>\aleph_0</math> कहा जाता है। उन्होंने अनंत समूहों के क्रमसूचक संख्याओं को [[ट्रांसफिनिट कार्डिनल नंबर|ट्रांसफिनिट क्रमसूचक संख्या]] कहा हैं।
+कैंटर ने अपनी आपत्ति की अवधारणा को अनंत समूहों पर लागू किया<ref>{{harvnb|Dauben|1990|loc=pg. 54}}</ref> (उदाहरण के लिए प्राकृतिक संख्याओं का समुच्चय N = {0, 1, 2, 3, ...})। इस प्रकार, उन्होंने N काउंटेबल समूह के साथ आक्षेप वाले सभी समूहों को बुलाया था। इस गणन संख्या को अलेफ संख्या  या <math>\aleph_0</math> कहा जाता है। उन्होंने अनंत समूहों के गणन संख्याओं को [[ट्रांसफिनिट कार्डिनल नंबर|ट्रांसफिनिट गणन संख्या]] कहा हैं।
 कैंटर ने सिद्ध किया कि N के किसी भी बंधे हुए समूह में N के समान ही प्रमुखता है, भले ही यह अंतर्ज्ञान के विपरीत प्रतीत होती हैं। उन्होंने यह भी सिद्ध किया कि प्राकृतिक संख्याओं के सभी [[क्रमित युग्म]] का समुच्चय अगणनीय है, इसका तात्पर्य यह है कि सभी परिमेय संख्याओं का समुच्चय भी भाज्य है, क्योंकि प्रत्येक परिमेय संख्या को पूर्णांकों की जोड़ी द्वारा दर्शाया जाता है। उन्होंने बाद में सिद्ध किया कि सभी वास्तविक [[बीजगणितीय संख्या|बीजगणितीय संख्याओं]] का समुच्चय भी अभाज्य होता है। प्रत्येक वास्तविक B गणितीय संख्या ''z '' को पूर्णांकों के परिमित अनुक्रम के रूप में N को कोड किया जाता है, जो बहुपद समीकरण में गुणांक हैं, जिसका यह समाधान है, अर्थात आदेशित n-टपल (''a''<sub>0</sub>, a<sub>1</sub>, ..., a<sub>n</sub>), a<sub>i</sub>∈ 'Z' परिमेय की जोड़ी के साथ (B<sub>0</sub>, B<sub>1</sub>) ऐसा है कि गुणांक के साथ बहुपद की अनूठी जड़ है (a<sub>0</sub>, a<sub>1</sub>, ..., a<sub>n</sub>) जो अंतराल में (B<sub>0</sub>, B<sub>1</sub>)है ।
-अपने 1874 के पेपर ऑन ए प्रॉपर्टी ऑफ द कलेक्शन ऑफ ऑल रियल बीजगणितीय संख्याओं में, कैंटर ने सिद्ध किया कि उच्च-क्रम के क्रमसूचक संख्या सम्मलित हैं, यह दिखाते हुए कि वास्तविक संख्याओं के समूह में N की तुलना में प्रमुखता अधिक है। उनके प्रमाण ने नेस्टेड के साथ तर्क का उपयोग किया अंतराल, किन्तु 1891 के पेपर में, उन्होंने अपने सरल और बहुत सरल कैंटर के विकर्ण तर्क का उपयोग करके उसी परिणाम को सिद्ध कर दिया। वास्तविक संख्याओं के समूह की नई क्रमसूचक संख्या को इसके [[सातत्य की प्रमुखता]] कहा जाता है और कैंटर ने इसके लिए <math>\mathfrak{c}</math> प्रतीक का उपयोग किया जाता हैं।
+अपने 1874 के पेपर ऑन ए प्रॉपर्टी ऑफ द कलेक्शन ऑफ ऑल रियल बीजगणितीय संख्याओं में, कैंटर ने सिद्ध किया कि उच्च-क्रम के गणन संख्या सम्मलित हैं, यह दिखाते हुए कि वास्तविक संख्याओं के समूह में N की तुलना में प्रमुखता अधिक है। उनके प्रमाण ने नेस्टेड के साथ तर्क का उपयोग किया अंतराल, किन्तु 1891 के पेपर में, उन्होंने अपने सरल और बहुत सरल कैंटर के विकर्ण तर्क का उपयोग करके उसी परिणाम को सिद्ध कर दिया। वास्तविक संख्याओं के समूह की नई गणन संख्या को इसके [[सातत्य की प्रमुखता]] कहा जाता है और कैंटर ने इसके लिए <math>\mathfrak{c}</math> प्रतीक का उपयोग किया जाता हैं।
-कैंटर ने क्रमसूचक संख्या के सामान्य सिद्धांत का बड़ा हिस्सा भी विकसित किया, उन्होंने सिद्ध किया कि सबसे छोटी ट्रांसफिनिट क्रमसूचक संख्या है (<math>\aleph_0</math>, aleph-null), और यह कि प्रत्येक क्रमसूचक संख्या के लिए अगला बड़ा क्रमसूचक होता है
+कैंटर ने गणन संख्या के सामान्य सिद्धांत का बड़ा हिस्सा भी विकसित किया, उन्होंने सिद्ध किया कि सबसे छोटी ट्रांसफिनिट गणन संख्या है (<math>\aleph_0</math>, aleph-null), और यह कि प्रत्येक गणन संख्या के लिए अगला बड़ा गणन होता है
 :<math>(\aleph_1, \aleph_2, \aleph_3, \ldots).</math>
@@ Line 27: / Line 27: @@
 == प्रेरणा ==
-अनौपचारिक उपयोग में, [[क्रमसूचक संख्या]] वह होता है जिसे सामान्यतः [[गिनती संख्या]] के रूप में संदर्भित किया जाता है, बशर्ते कि 0 का मान इसमें सम्मलित हो जैसे 0, 1, 2, .... इसमें 0 से प्रारंभ होने वाली [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] के साथ पहचाना जाता है। गिनती संख्याएं हैं वास्तव में क्या औपचारिक रूप से परिमित समूह क्रमसूचक संख्या के रूप में परिभाषित किया जाता है। अनंत क्रमसूचक केवल उच्च स्तर के गणित और [[तर्क]]शास्त्र में होते हैं।
+अनौपचारिक उपयोग में, [[क्रमसूचक संख्या|गणन संख्या]] वह होता है जिसे सामान्यतः [[गिनती संख्या]] के रूप में संदर्भित किया जाता है, बशर्ते कि 0 का मान इसमें सम्मलित हो जैसे 0, 1, 2, .... इसमें 0 से प्रारंभ होने वाली [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] के साथ पहचाना जाता है। गिनती संख्याएं हैं वास्तव में क्या औपचारिक रूप से परिमित समूह गणन संख्या के रूप में परिभाषित किया जाता है। अनंत गणन केवल उच्च स्तर के गणित और [[तर्क]]शास्त्र में होते हैं।
 अधिक औपचारिक रूप से, गैर-शून्य संख्या का उपयोग दो उद्देश्यों के लिए किया जाता है: समूह के आकार का वर्णन करने के लिए, या किसी क्रम में किसी तत्व की स्थिति का वर्णन करने के लिए। परिमित समुच्चयों और अनुक्रमों के लिए यह देखना सरल है कि ये दो धारणाएँ मेल खाती हैं, क्योंकि अनुक्रम में किसी स्थिति का वर्णन करने वाली प्रत्येक संख्या के लिए हम ऐसे समुच्चय का निर्माण कर सकते हैं जिसका आकार बिल्कुल सही हो। उदाहरण के लिए, 3 अनुक्रम <'a', 'b', 'c', 'd',...> में 'c' की स्थिति का वर्णन करता है, और हम समूह {a,b,c} का निर्माण कर सकते हैं, जिसमें 3 तत्व होते है।
-चूंकि, अनंत समूहों के साथ व्यवहार करते समय, दोनों के बीच अंतर करना आवश्यक है, क्योंकि दो धारणाएं वास्तव में अनंत समूहों के लिए अलग-अलग हैं। स्थिति पहलू को ध्यान में रखते हुए क्रमिक संख्याएं होती हैं, जबकि आकार पहलू को यहां वर्णित क्रमसूचक संख्याओं द्वारा सामान्यीकृत किया जाता है।
+चूंकि, अनंत समूहों के साथ व्यवहार करते समय, दोनों के बीच अंतर करना आवश्यक है, क्योंकि दो धारणाएं वास्तव में अनंत समूहों के लिए अलग-अलग हैं। स्थिति पहलू को ध्यान में रखते हुए क्रमिक संख्याएं होती हैं, जबकि आकार पहलू को यहां वर्णित गणन संख्याओं द्वारा सामान्यीकृत किया जाता है।
-क्रमसूचक की औपचारिक परिभाषा के पीछे अंतर्ज्ञान समूह के सापेक्ष आकार या बड़ेपन की धारणा का निर्माण है। परिमित समुच्चयों के लिए यह सरल है, जिसमें एक बस समूह में सम्मलित तत्वों की संख्या को गिनता है। बड़े समूहों के आकार की तुलना करने के लिए, अधिक परिष्कृत धारणाओं को अपील करना आवश्यक है।
+गणन की औपचारिक परिभाषा के पीछे अंतर्ज्ञान समूह के सापेक्ष आकार या बड़ेपन की धारणा का निर्माण है। परिमित समुच्चयों के लिए यह सरल है, जिसमें एक बस समूह में सम्मलित तत्वों की संख्या को गिनता है। बड़े समूहों के आकार की तुलना करने के लिए, अधिक परिष्कृत धारणाओं को अपील करना आवश्यक है।
 एक समूह Y कम से कम समूह X जितना बड़ा होता है यदि X के तत्वों से Y के तत्वों के लिए [[इंजेक्शन समारोह|इंजेक्शन फंक्शन]] मैप (गणित) होता है। इंजेक्शन मैपिंग समूह X के प्रत्येक तत्व को समूह के अद्वितीय तत्व के साथ पहचानती है Y. इसे उदाहरण से सबसे सरलता से समझा जाता है, मान लें कि हमारे पास X = {1,2,3} और Y = {a,b,c,d} समूह हैं, तो आकार की इस धारणा का उपयोग करके, हम देखेंगे कि मैपिंग है:
@@ Line 47: / Line 47: @@
 |X|  = |Y|
-X= |X| की क्रमसूचक संख्या को प्रायः कम से कम क्रमिक के साथ परिभाषित किया जाता है।<ref>{{Cite web|last=Weisstein|first=Eric W.|title=Cardinal Number|url=https://mathworld.wolfram.com/CardinalNumber.html|access-date=2020-09-06|website=mathworld.wolfram.com|language=en}}</ref> इसे [[वॉन न्यूमैन कार्डिनल असाइनमेंट|वॉन न्यूमैन क्रमसूचक असाइनमेंट]] कहा जाता है, इस परिभाषा को समझने के लिए यह सिद्ध किया जाना चाहिए कि प्रत्येक समूह में कुछ क्रमवाचक के समान ही प्रमुखता होती है, यह कथन [[सुव्यवस्थित सिद्धांत]] है। चूंकि वस्तुओं को स्पष्ट रूप से नाम दिए बिना समूह की सापेक्ष प्रमुखता पर चर्चा करना संभव है।
+X= |X| की गणन संख्या को प्रायः कम से कम क्रमिक के साथ परिभाषित किया जाता है।<ref>{{Cite web|last=Weisstein|first=Eric W.|title=Cardinal Number|url=https://mathworld.wolfram.com/CardinalNumber.html|access-date=2020-09-06|website=mathworld.wolfram.com|language=en}}</ref> इसे [[वॉन न्यूमैन कार्डिनल असाइनमेंट|वॉन न्यूमैन गणन असाइनमेंट]] कहा जाता है, इस परिभाषा को समझने के लिए यह सिद्ध किया जाना चाहिए कि प्रत्येक समूह में कुछ क्रमवाचक के समान ही प्रमुखता होती है, यह कथन [[सुव्यवस्थित सिद्धांत]] है। चूंकि वस्तुओं को स्पष्ट रूप से नाम दिए बिना समूह की सापेक्ष प्रमुखता पर चर्चा करना संभव है।
-उपयोग किया जाने वाला क्लासिक उदाहरण अनंत होटल विरोधाभास का है, जिसे ग्रांड होटल का हिल्बर्ट का विरोधाभास भी कहा जाता है। मान लीजिए कि होटल में सराय का मालिक है, जिसके पास अनंत संख्या में कमरे हैं। होटल भरा हुआ है, और फिर नया तत्त्व आता है। कमरे 1 में सम्मलित अतिथि को कमरे 2 में जाने के लिए, कमरे 2 में अतिथि को कमरे 3 में जाने के लिए, और इसी तरह कमरा 1 को खाली छोड़कर अतिरिक्त अतिथि को फिट करना संभव है। हम इस मानचित्रण का खंड स्पष्ट रूप से लिख सकते हैं:
+उपयोग किया जाने वाला क्लासिक उदाहरण अनंत होटल विरोधाभास का है, जिसे ग्रांड होटल का हिल्बर्ट का विरोधाभास भी कहा जाता है। मान लीजिए कि होटल में सराय का मालिक है, जिसके पास अनंत संख्या में कमरे हैं। कमरे 1 में सम्मलित अतिथि को कमरे 2 में जाने के लिए, कमरे 2 में अतिथि को कमरे 3 में जाने के लिए, और इसी तरह कमरा 1 को खाली छोड़कर अतिरिक्त अतिथि को फिट करना संभव है। हम इस मानचित्रण का खंड स्पष्ट रूप से लिख सकते हैं:
 : 1 → 2
 : 2 → 3
@@ Line 58: / Line 58: @@
 इस स्थानीकरण के साथ, हम देखते हैं कि समूह {1,2,3,...} में समूह {2,3,4,...} के समान प्रमुखता है, क्योंकि पहले और दूसरे के बीच आपत्ति को दिखाया गया हैं। यह अनंत समूह की परिभाषा को किसी भी समूह के रूप में प्रेरित करता है जिसमें समान प्रमुखता (अर्ताथ, डेडेकिंड-अनंत समूह) का उचित उपसमुच्चय होता है, इस स्थिति में {2,3,4,...} {1,2,3,...} का उचित उपसमुच्चय है।
-इन बड़ी वस्तुओं पर विचार करते समय, कोई भी यह देखना चाह सकता है कि क्या गणना क्रम की धारणा इन अनंत समूहों के लिए ऊपर परिभाषित क्रमसूचक के साथ मेल खाती है। ऐसा होता है कि ऐसा नहीं होता, उपरोक्त उदाहरण पर विचार करके हम देखते हैं कि यदि कोई वस्तु अनंत से बड़ी है, तो उसमें वही प्रमुखता होनी चाहिए जो अनंत समूह के साथ हमने प्रारंभ की थी। संख्या के लिए अलग औपचारिक धारणा का उपयोग करना संभव है, जिसे क्रमिक संख्या कहा जाता है, गिनती के विचारों के आधार पर और प्रत्येक संख्या पर बारी-बारी से विचार किया जाता है, और हमें पता चलता है कि बार जब हम परिमित संख्या से बाहर निकल जाते हैं तो प्रमुखता और ऑर्डिनलिटी की धारणाएँ अलग हो जाती हैं।
+इन बड़ी वस्तुओं पर विचार करते समय, कोई भी यह देखना चाह सकता है कि क्या गणना क्रम की धारणा इन अनंत समूहों के लिए ऊपर परिभाषित गणन के साथ मेल खाती है। ऐसा होता है कि ऐसा नहीं होता, उपरोक्त उदाहरण पर विचार करके हम देखते हैं कि यदि कोई वस्तु अनंत से बड़ी है, तो उसमें वही प्रमुखता होनी चाहिए जो अनंत समूह के साथ हमने प्रारंभ की थी। संख्या के लिए अलग औपचारिक धारणा का उपयोग करना संभव है, जिसे क्रमिक संख्या कहा जाता है, गिनती के विचारों के आधार पर और प्रत्येक संख्या पर बारी-बारी से विचार किया जाता है, और हमें पता चलता है कि बार जब हम परिमित संख्या से बाहर निकल जाते हैं तो प्रमुखता और ऑर्डिनलिटी की धारणाएँ अलग हो जाती हैं।
 यह सिद्ध किया जाता है कि वास्तविक संख्याओं की प्रमुखता अभी वर्णित प्राकृतिक संख्याओं की तुलना में अधिक है। कैंटर के विकर्ण तर्क का उपयोग करके इसकी कल्पना की जा सकती है,
-प्रमुखता के मौलिक प्रश्न (उदाहरण के लिए सातत्य परिकल्पना) यह पता लगाने से संबंधित हैं कि क्या अन्य अनंत क्रमसूचकता की कुछ जोड़ी के बीच कुछ क्रमसूचक है। हाल के दिनों में, गणितज्ञ बड़े और बड़े क्रमसूचक के गुणों का वर्णन करते रहे हैं।
+प्रमुखता के मौलिक प्रश्न (उदाहरण के लिए सातत्य परिकल्पना) यह पता लगाने से संबंधित हैं कि क्या अन्य अनंत गणनता की कुछ जोड़ी के बीच कुछ गणन है। हाल के दिनों में, गणितज्ञ बड़े और बड़े गणन के गुणों का वर्णन करते रहे हैं।
 चूँकि गणित में प्रमुखता ऐसी सामान्य अवधारणा है, इसलिए विभिन्न प्रकार के नाम उपयोग में हैं। प्रमुखता की समरूपता को कभी-कभी समता, समता, या समतुल्यता के रूप में संदर्भित किया जाता है। इस प्रकार यह कहा जाता है कि समान प्रमुखता वाले दो समुच्चय क्रमश: समशक्ति, समशक्ति या समविभव होते हैं।
 == औपचारिक परिभाषा ==
-औपचारिक रूप से, पसंद के स्वयंसिद्ध को मानते हुए, समूह X की प्रमुखता कम से कम क्रमिक संख्या α है जैसे कि X और α के बीच आपत्ति है। इस परिभाषा को वॉन न्यूमैन क्रमसूचक असाइनमेंट के रूप में जाना जाता है। यदि पसंद का स्वयंसिद्ध नहीं माना जाता है, तो अलग दृष्टिकोण की आवश्यकता होती है। समूह X की कार्डिनालिटी की सबसे पुरानी परिभाषा (कैंटर में निहित और फ्रीज और [[गणितीय सिद्धांत]] में स्पष्ट) सभी समूहों के वर्ग [X] के रूप में है जो X के समतुल्य हैं। यह [[जेडएफसी]] या स्वयंसिद्ध के अन्य संबंधित प्रणालियों में कार्य नहीं करता है समूह थ्योरी क्योंकि यदि X खाली नहीं है, तो यह संग्रह समूह होने के लिए बहुत बड़ा है। वास्तव में, X ≠ ∅ के लिए समुच्चय m को {m} × X पर मैप करके ब्रह्मांड से [X] में अंतःक्षेपण होता है, और इसलिए आकार की सीमा के अभिगृहीत द्वारा, [X] उचित वर्ग है। परिभाषा चूंकि [[प्रकार सिद्धांत]] और [[नई नींव]] और संबंधित प्रणालियों में कार्य करती है। चूंकि, अगर हम इस वर्ग से X के साथ समतुल्य तक सीमित हैं जिनके पास कम से कम [[रैंक (सेट सिद्धांत)|रैंक (समूह सिद्धांत)]] है, तो यह कार्य करेगा (यह [[दाना स्कॉट]] के कारण चाल है:<ref>{{cite journal|last1=Deiser|first1=Oliver|title=On the Development of the Notion of a Cardinal Number|journal=History and Philosophy of Logic|doi=10.1080/01445340903545904 |volume=31|issue=2|pages=123–143|date=May 2010|s2cid=171037224}}</ref> यह कार्य करता है क्योंकि किसी दिए गए रैंक वाले ऑब्जेक्ट्स का संग्रह समूह है)।
+औपचारिक रूप से, पसंद के स्वयंसिद्ध को मानते हुए, समूह X की प्रमुखता कम से कम क्रमिक संख्या α है जैसे कि X और α के बीच आपत्ति है। इस परिभाषा को वॉन न्यूमैन गणन असाइनमेंट के रूप में जाना जाता है। यदि पसंद का स्वयंसिद्ध नहीं माना जाता है, तो अलग दृष्टिकोण की आवश्यकता होती है। समूह X की कार्डिनालिटी की सबसे पुरानी परिभाषा (कैंटर में निहित और फ्रीज और [[गणितीय सिद्धांत]] में स्पष्ट) सभी समूहों के वर्ग [X] के रूप में है जो X के समतुल्य हैं। यह [[जेडएफसी]] या स्वयंसिद्ध के अन्य संबंधित प्रणालियों में कार्य नहीं करता है समूह थ्योरी क्योंकि यदि X खाली नहीं है, तो यह संग्रह समूह होने के लिए बहुत बड़ा है। वास्तव में, X ≠ ∅ के लिए समुच्चय m को {m} × X पर मैप करके ब्रह्मांड से [X] में अंतःक्षेपण होता है, और इसलिए आकार की सीमा के अभिगृहीत द्वारा, [X] उचित वर्ग है। परिभाषा चूंकि [[प्रकार सिद्धांत]] और [[नई नींव]] और संबंधित प्रणालियों में कार्य करती है। चूंकि, अगर हम इस वर्ग से X के साथ समतुल्य तक सीमित हैं जिनके पास कम से कम [[रैंक (सेट सिद्धांत)|रैंक (समूह सिद्धांत)]] है, तो यह कार्य करेगा (यह [[दाना स्कॉट]] के कारण चाल है:<ref>{{cite journal|last1=Deiser|first1=Oliver|title=On the Development of the Notion of a Cardinal Number|journal=History and Philosophy of Logic|doi=10.1080/01445340903545904 |volume=31|issue=2|pages=123–143|date=May 2010|s2cid=171037224}}</ref> यह कार्य करता है क्योंकि किसी दिए गए रैंक वाले ऑब्जेक्ट्स का संग्रह समूह है)।
-वॉन न्यूमैन क्रमसूचक असाइनमेंट का तात्पर्य है कि परिमित समूह की क्रमसूचक संख्या उस समूह के सभी संभावित क्रमों की सामान्य क्रमिक संख्या है, और क्रमसूचक और क्रमिक अंकगणित (इसके अतिरिक्त, गुणा, शक्ति, उचित घटाव) फिर परिमित के लिए समान उत्तर का मान देता हैं। चूंकि, वे अनंत संख्याओं के लिए भिन्न हैं। उदाहरण के लिए, <math>2^\omega=\omega<\omega^2</math> क्रमिक अंकगणित में जबकि <math>2^{\aleph_0}>\aleph_0=\aleph_0^2</math> क्रमसूचक अंकगणित में, चूंकि वॉन न्यूमैन असाइनमेंट में <math>\aleph_0=\omega</math>मान इंगित करता है। दूसरी ओर, स्कॉट की चाल का अर्थ है कि क्रमसूचक संख्या 0 है <math>\{\emptyset\}</math>, जो क्रमांक 1 भी है, और यह भ्रमित करने वाला होती है। संभावित मान (अनंत अंकगणित में पसंद और भ्रम की स्वयंसिद्धता पर निर्भरता से बचने के समय परिमित अंकगणित में संरेखण का लाभ उठाने के लिए किया जाता हैं) वॉन न्यूमैन असाइनमेंट को परिमित समूहों के क्रमसूचक संख्याओं पर लागू करना है (जो अच्छी तरह से आदेशित हो सकते हैं और नहीं हैं) उचित उपसमुच्चयों के लिए समबल) और अन्य समूहों की क्रमसूचक संख्याओं के लिए स्कॉट की चाल का उपयोग करने के लिए किया जाता हैं।
+वॉन न्यूमैन गणन असाइनमेंट का तात्पर्य है कि परिमित समूह की गणन संख्या उस समूह के सभी संभावित क्रमों की सामान्य क्रमिक संख्या है, और गणन और क्रमिक अंकगणित (इसके अतिरिक्त, गुणा, शक्ति, उचित घटाव) फिर परिमित के लिए समान उत्तर का मान देता हैं। चूंकि, वे अनंत संख्याओं के लिए भिन्न हैं। उदाहरण के लिए, <math>2^\omega=\omega<\omega^2</math> क्रमिक अंकगणित में जबकि <math>2^{\aleph_0}>\aleph_0=\aleph_0^2</math> गणन अंकगणित में, चूंकि वॉन न्यूमैन असाइनमेंट में <math>\aleph_0=\omega</math>मान इंगित करता है। दूसरी ओर, स्कॉट की चाल का अर्थ है कि गणन संख्या 0 है <math>\{\emptyset\}</math>, जो क्रमांक 1 भी है, और यह भ्रमित करने वाला होती है। संभावित मान (अनंत अंकगणित में पसंद और भ्रम की स्वयंसिद्धता पर निर्भरता से बचने के समय परिमित अंकगणित में संरेखण का लाभ उठाने के लिए किया जाता हैं) वॉन न्यूमैन असाइनमेंट को परिमित समूहों के गणन संख्याओं पर लागू करना है (जो अच्छी तरह से आदेशित हो सकते हैं और नहीं हैं) उचित उपसमुच्चयों के लिए समबल) और अन्य समूहों की गणन संख्याओं के लिए स्कॉट की चाल का उपयोग करने के लिए किया जाता हैं।
-औपचारिक रूप से, क्रमसूचक संख्याओं के बीच क्रम को निम्नानुसार परिभाषित किया गया है: |X| ≤ |Y फ़ंक्शन X से Y तक। कैंटर-बर्नस्टीन-श्रोएडर प्रमेय कहता है कि यदि |X| ≤ |Y| और | Y | ≤ |X| फिर |X| = |Y| के अनुसार इसमें अभिगृहीत उस कथन के समतुल्य है जिसमें दो समुच्चय X और Y, या तो |X|  ≤ |Y| या |Y| ≤ |X| में दिए गए हैं<ref name="Enderton">Enderton, Herbert. "Elements of Set Theory", Academic Press Inc., 1977. {{ISBN|0-12-238440-7}}</ref><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=Math. Ann. | volume=Bd.&nbsp;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 | access-date=2014-02-02 | archive-url=https://web.archive.org/web/20160416205255/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0076&DMDID=DMDLOG_0037&L=1 | archive-date=2016-04-16 | url-status=live }}</ref>
+औपचारिक रूप से, गणन संख्याओं के बीच क्रम को निम्नानुसार परिभाषित किया गया है: |X| ≤ |Y फ़ंक्शन X से Y तक। कैंटर-बर्नस्टीन-श्रोएडर प्रमेय कहता है कि यदि |X| ≤ |Y| और | Y | ≤ |X| फिर |X| = |Y| के अनुसार इसमें अभिगृहीत उस कथन के समतुल्य है जिसमें दो समुच्चय X और Y, या तो |X|  ≤ |Y| या |Y| ≤ |X| में दिए गए हैं<ref name="Enderton">Enderton, Herbert. "Elements of Set Theory", Academic Press Inc., 1977. {{ISBN|0-12-238440-7}}</ref><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=Math. Ann. | volume=Bd.&nbsp;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 | access-date=2014-02-02 | archive-url=https://web.archive.org/web/20160416205255/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0076&DMDID=DMDLOG_0037&L=1 | archive-date=2016-04-16 | url-status=live }}</ref>
-एक समुच्चय X [[Dedekind-अनंत|डिडिकाइन्ड-अनंत]] है यदि |X| के साथ X का उचित उपसमुच्चय Y सम्मलित है = |Y|, और [[डेडेकाइंड परिमित]] यदि ऐसा उपसमुच्चय सम्मलित नहीं है। परिमित समुच्चय क्रमसूचक केवल प्राकृतिक संख्याएँ हैं, इस अर्थ में कि समुच्चय X परिमित है यदि और केवल यदि |X| = |N| = n किसी प्राकृत संख्या n के लिए कोई अन्य समुच्चय अनंत समुच्चय होता है।
+एक समुच्चय X [[Dedekind-अनंत|डिडिकाइन्ड-अनंत]] है यदि |X| के साथ X का उचित उपसमुच्चय Y सम्मलित है = |Y|, और [[डेडेकाइंड परिमित]] यदि ऐसा उपसमुच्चय सम्मलित नहीं है। परिमित समुच्चय गणन केवल प्राकृतिक संख्याएँ हैं, इस अर्थ में कि समुच्चय X परिमित है यदि और केवल यदि |X| = |N| = n किसी प्राकृत संख्या n के लिए कोई अन्य समुच्चय अनंत समुच्चय होता है।
-पसंद के स्वयंसिद्ध को मानते हुए, यह सिद्ध किया जाता है कि डेडेकाइंड की धारणा मानक के अनुरूप है। यह भी सिद्ध किया जाता है कि क्रमसूचक <math>\aleph_0</math> ([[अलेफ नल]] या एलेफ-0, जहां एलेफ [[हिब्रू वर्णमाला]] में पहला अक्षर है, दर्शाया गया है <math>\aleph</math>) प्राकृतिक संख्याओं के समूह का सबसे छोटा अनंत क्रमसूचक है (अर्ताथ, किसी भी अनंत समूह में प्रमुखता का सबसमूह <math>\aleph_0</math> है ), इस प्रकार अगले बड़े क्रमसूचक को  <math>\aleph_1</math> द्वारा प्रदर्शित किया जाता है, और इसी प्रकार प्रत्येक क्रमिक संख्या α के लिए, क्रमसूचक संख्या <math>\aleph_{\alpha},</math> होती है और यह सूची सभी अनंत क्रमसूचक संख्याओं को समाप्त कर देती है।
+पसंद के स्वयंसिद्ध को मानते हुए, यह सिद्ध किया जाता है कि डेडेकाइंड की धारणा मानक के अनुरूप है। यह भी सिद्ध किया जाता है कि गणन <math>\aleph_0</math> ([[अलेफ नल]] या एलेफ-0, जहां एलेफ [[हिब्रू वर्णमाला]] में पहला अक्षर है, दर्शाया गया है <math>\aleph</math>) प्राकृतिक संख्याओं के समूह का सबसे छोटा अनंत गणन है (अर्ताथ, किसी भी अनंत समूह में प्रमुखता का सबसमूह <math>\aleph_0</math> है ), इस प्रकार अगले बड़े गणन को  <math>\aleph_1</math> द्वारा प्रदर्शित किया जाता है, और इसी प्रकार प्रत्येक क्रमिक संख्या α के लिए, गणन संख्या <math>\aleph_{\alpha},</math> होती है और यह सूची सभी अनंत गणन संख्याओं को समाप्त कर देती है।
-== क्रमसूचक [[अंकगणित]] ==
+== गणन [[अंकगणित]] ==
-हम मूल संख्याओं पर अंकगणितीय संक्रियाओं को परिभाषित कर सकते हैं जो प्राकृतिक संख्याओं के लिए सामान्य संक्रियाओं का सामान्यीकरण करती हैं। यह दिखाया जाता है कि परिमित क्रमसूचक के लिए, ये संक्रियाएँ प्राकृतिक संख्याओं के लिए सामान्य संक्रियाओं के साथ मेल खाती हैं। इसके अतिरिक्त, ये ऑपरेशन साधारण अंकगणित के साथ कई गुण साझा करते हैं।
+हम मूल संख्याओं पर अंकगणितीय संक्रियाओं को परिभाषित कर सकते हैं जो प्राकृतिक संख्याओं के लिए सामान्य संक्रियाओं का सामान्यीकरण करती हैं। यह दिखाया जाता है कि परिमित गणन के लिए, ये संक्रियाएँ प्राकृतिक संख्याओं के लिए सामान्य संक्रियाओं के साथ मेल खाती हैं। इसके अतिरिक्त, ये ऑपरेशन साधारण अंकगणित के साथ कई गुण साझा करते हैं।
-=== उत्तराधिकारी क्रमसूचक ===
+=== उत्तराधिकारी गणन ===
 {{Details|उत्तराधिकारी कार्डिनल}}
-यदि पसंद का स्वयंसिद्ध धारण करता है, तो प्रत्येक क्रमसूचक κ का उत्तराधिकारी होता है, जिसे κ<sup>+</sup> दर्शाया जाता है, जहां κ<sup>+</sup> > κ और κ और उसके उत्तराधिकारी के बीच कोई क्रमसूचक नहीं है। (पसंद के अभिगृहीत के बिना, हरटाग्स संख्या या हरटाग्स प्रमेय का उपयोग करके, यह दिखाया जाता है कि किसी भी क्रमसूचक संख्या κ के लिए, न्यूनतम क्रमसूचक κ<sup>+</sup> है ऐसा कि <math>\kappa^+\nleq\kappa. </math>) परिमित क्रमसूचक के लिए, उत्तराधिकारी केवल κ + 1 है। अनंत क्रमसूचक के लिए, उत्तराधिकारी क्रमसूचक [[उत्तराधिकारी क्रमसूचक]] से भिन्न होता है।
+यदि पसंद का स्वयंसिद्ध धारण करता है, तो प्रत्येक गणन κ का उत्तराधिकारी होता है, जिसे κ<sup>+</sup> दर्शाया जाता है, जहां κ<sup>+</sup> > κ और κ और उसके उत्तराधिकारी के बीच कोई गणन नहीं है। (पसंद के अभिगृहीत के बिना, हरटाग्स संख्या या हरटाग्स प्रमेय का उपयोग करके, यह दिखाया जाता है कि किसी भी गणन संख्या κ के लिए, न्यूनतम गणन κ<sup>+</sup> है ऐसा कि <math>\kappa^+\nleq\kappa. </math>) परिमित गणन के लिए, उत्तराधिकारी केवल κ + 1 है। अनंत गणन के लिए, उत्तराधिकारी गणन [[उत्तराधिकारी क्रमसूचक|उत्तराधिकारी गणन]] से भिन्न होता है।
-=== क्रमसूचक जोड़ ===
+=== गणन जोड़ ===
-यदि X और Y असम्बद्ध समुच्चय हैं, तो जोड़ X और Y के मिलन (समुच्चय सिद्धांत) द्वारा दिया जाता है। यदि दो समुच्चय पहले से ही असंयुक्त नहीं हैं, तो उन्हें समान क्रमसूचक संख्या के असंयुक्त समुच्चय द्वारा प्रतिस्थापित किया जाता है (उदाहरण के लिए, X द्वारा प्रतिस्थापित करें) X×{0} और Y by Y×{1}).
+यदि X और Y असम्बद्ध समुच्चय हैं, तो जोड़ X और Y के मिलन (समुच्चय सिद्धांत) द्वारा दिया जाता है। यदि दो समुच्चय पहले से ही असंयुक्त नहीं हैं, तो उन्हें समान गणन संख्या के असंयुक्त समुच्चय द्वारा प्रतिस्थापित किया जाता है (उदाहरण के लिए, X द्वारा प्रतिस्थापित करें) X×{0} और Y by Y×{1}).
 :<math>|X| + |Y| = | X \cup Y|.</math><ref>{{harvnb|Schindler|2014|loc=pg. 34}}</ref>
 शून्य योगात्मक की पहचान  κ + 0 = 0 + κ = κ है
@@ Line 96: / Line 96: @@
 जोड़ दोनों तर्कों में गैर-घट रहा है:
 :<math>(\kappa \le \mu) \rightarrow ((\kappa + \nu \le \mu + \nu) \mbox{ and } (\nu + \kappa \le \nu + \mu)).</math>
-पसंद के स्वयंसिद्ध को मानते हुए, अनंत क्रमसूचक संख्याओं का जोड़ सरल है। यदि या तो κ या μ अपरिमित है, तब
+पसंद के स्वयंसिद्ध को मानते हुए, अनंत गणन संख्याओं का जोड़ सरल है। यदि या तो κ या μ अपरिमित है, तब
 :<math>\kappa + \mu = \max\{\kappa, \mu\}\,.</math>
 ==== घटाव ====
-इस पसंद के स्वयंसिद्ध मानते हुए और, अनंत क्रमसूचक σ और क्रमसूचक μ दिए जाने पर, क्रमसूचक κ सम्मलित है जैसे कि μ + κ = σ अगर और केवल अगर μ ≤ σ। यह अद्वितीय (और σ के बराबर) होगा यदि और केवल यदि μ < σ के मान के समान हो।
+इस पसंद के स्वयंसिद्ध मानते हुए और, अनंत गणन σ और गणन μ दिए जाने पर, गणन κ सम्मलित है जैसे कि μ + κ = σ अगर और केवल अगर μ ≤ σ। यह अद्वितीय (और σ के बराबर) होगा यदि और केवल यदि μ < σ के मान के समान हो।
-=== क्रमसूचक गुणन ===
+=== गणन गुणन ===
-क्रमसूचक का उत्पाद कार्टेशियन उत्पाद से आता है।
+गणन का उत्पाद कार्टेशियन उत्पाद से आता है।
 :<math>|X|\cdot|Y| = |X \times Y|</math><ref>{{harvnb|Schindler|2014|loc=pg. 34}}</ref>
 κ·0 = 0·κ = 0.
@@ Line 122: / Line 122: @@
 κ·(μ + ν) = κ·μ + κ·ν और (M + N) · K = M · K + N · K।
-पसंद के स्वयंसिद्ध को मानते हुए, अनंत क्रमसूचक संख्याओं का गुणन भी सरल है। यदि या तो κ या μ अनंत है और दोनों गैर-शून्य हैं, तो
+पसंद के स्वयंसिद्ध को मानते हुए, अनंत गणन संख्याओं का गुणन भी सरल है। यदि या तो κ या μ अनंत है और दोनों गैर-शून्य हैं, तो
 :<math>\kappa\cdot\mu = \max\{\kappa, \mu\}.</math>
 ==== विभाग ====
-पसंद के स्वयंसिद्ध को मानते हुए और, अनंत क्रमसूचक π और गैर-शून्य क्रमसूचक μ दिए जाने पर, क्रमसूचक κ सम्मलित है जैसे कि μ · κ = π  इसका मान तभी संतुष्ट होता हैं जब  μ ≤ π को संतुष्ट करता हैं। यह अद्वितीय (और π के बराबर) होगा जब μ < π का मान होगा।
+पसंद के स्वयंसिद्ध को मानते हुए और, अनंत गणन π और गैर-शून्य गणन μ दिए जाने पर, गणन κ सम्मलित है जैसे कि μ · κ = π  इसका मान तभी संतुष्ट होता हैं जब  μ ≤ π को संतुष्ट करता हैं। यह अद्वितीय (और π के बराबर) होगा जब μ < π का मान होगा।
-=== क्रमसूचक घातांक ===
+=== गणन घातांक ===
 घातांक किसके द्वारा दिया जाता है
 :<math>|X|^{|Y|} = \left|X^Y\right|,</math>
@@ Line 142: / Line 142: @@
 :(κ ≤ μ) → (κ<sup>n ≤ m<sup>n).
-<sup>|X|</sup> समूह X के [[सत्ता स्थापित]] की प्रमुखता है और कैंटर के विकर्ण तर्क से पता चलता है कि 2<sup>|X|</sup> > |X| किसी भी समूह X के लिए। यह सिद्ध करता है कि कोई भी सबसे बड़ा क्रमसूचक सम्मलित नहीं है (क्योंकि किसी भी क्रमसूचक κ के लिए, हम हमेशा बड़ा क्रमसूचक 2<sup>κ</sup> के रूप में पा सकते हैं). वास्तव में, क्रमसूचक का [[वर्ग (सेट सिद्धांत)|वर्ग (समूह सिद्धांत)]] [[उचित वर्ग]] है। (यह प्रमाण कुछ समूह सिद्धांतों, विशेष रूप से न्यू फ़ाउंडेशन में विफल रहता है।)
+<sup>|X|</sup> समूह X के [[सत्ता स्थापित]] की प्रमुखता है और कैंटर के विकर्ण तर्क से पता चलता है कि 2<sup>|X|</sup> > |X| किसी भी समूह X के लिए। यह सिद्ध करता है कि कोई भी सबसे बड़ा गणन सम्मलित नहीं है (क्योंकि किसी भी गणन κ के लिए, हम हमेशा बड़ा गणन 2<sup>κ</sup> के रूप में पा सकते हैं). वास्तव में, गणन का [[वर्ग (सेट सिद्धांत)|वर्ग (समूह सिद्धांत)]] [[उचित वर्ग]] है। (यह प्रमाण कुछ समूह सिद्धांतों, विशेष रूप से न्यू फ़ाउंडेशन में विफल रहता है।)
 इस खंड में शेष सभी प्रस्ताव पसंद के स्वयंसिद्ध मानते हैं:
@@ Line 152: / Line 152: @@
 : अधिकतम मान के लिए (κ, 2<sup>μ</sup>) ≤ K<sup>μ</sup> ≤ अधिकतम (2<sup>2<sup>μ</sup>).
-कोनिग के प्रमेय (समूह सिद्धांत) का उपयोग करना या कोनिग के प्रमेय, कोई भी κ < κ<sup>cf(κ)</sup> सिद्ध कर सकता है, और κ <cf(2<sup>κ</sup>) किसी अनंत क्रमसूचक κ के लिए, जहां cf(κ) κ की अंतिमता है।
+कोनिग के प्रमेय (समूह सिद्धांत) का उपयोग करना या कोनिग के प्रमेय, कोई भी κ < κ<sup>cf(κ)</sup> सिद्ध कर सकता है, और κ <cf(2<sup>κ</sup>) किसी अनंत गणन κ के लिए, जहां cf(κ) κ की अंतिमता है।
 ==== रूट्स ====
-पसंद के स्वयंसिद्ध को मानते हुए और, अनंत क्रमसूचक κ और परिमित क्रमसूचक μ<sub>0</sub>  से अधिक दिया गया, <math>\kappa</math> क्रमसूचक के लिए ν संतोषजनक <math>\nu^\mu = \kappa</math> होगा।
+पसंद के स्वयंसिद्ध को मानते हुए और, अनंत गणन κ और परिमित गणन μ<sub>0</sub>  से अधिक दिया गया, <math>\kappa</math> गणन के लिए ν संतोषजनक <math>\nu^\mu = \kappa</math> होगा।
 ==== लघुगणक ====
-पसंद के स्वयंसिद्ध को मानते हुए और, अनंत क्रमसूचक κ और परिमित क्रमसूचक μ<sub>1</sub> से अधिक दिया गया है, क्रमसूचक λ संतोषजनक होती है या नहीं भी होती है <math>\mu^\lambda = \kappa</math>. चूंकि, यदि ऐसा क्रमसूचक सम्मलित है, तो यह अनंत है और κ से कम है, और 1 से अधिक कोई परिमित प्रमुखता भी संतुष्ट करेगी।
+पसंद के स्वयंसिद्ध को मानते हुए और, अनंत गणन κ और परिमित गणन μ<sub>1</sub> से अधिक दिया गया है, गणन λ संतोषजनक होती है या नहीं भी होती है <math>\mu^\lambda = \kappa</math>. चूंकि, यदि ऐसा गणन सम्मलित है, तो यह अनंत है और κ से कम है, और 1 से अधिक कोई परिमित प्रमुखता भी संतुष्ट करेगी।
 <math>\nu^\lambda = \kappa</math>.
-एक अनंत क्रमसूचक संख्या κ के लघुगणक को कम से कम क्रमसूचक संख्या μ के रूप में परिभाषित किया गया है जैसे कि κ ≤ 2<sup>μ</sup>. गणित के कुछ क्षेत्रों में अनंत क्रमसूचक के लॉगरिदम उपयोगी होते हैं, उदाहरण के लिए [[टोपोलॉजिकल स्पेस]] स्थान के [[कार्डिनल अपरिवर्तनीय|क्रमसूचक अपरिवर्तनीय]] के अध्ययन में, चूंकि उनमें कुछ गुणों की कमी होती है जो सकारात्मक वास्तविक संख्याओं के लॉगरिदम के पास होती हैं।<ref>Robert A. McCoy and Ibula Ntantu, Topological Properties of Spaces of Continuous Functions, Lecture Notes in Mathematics 1315, [[Springer-Verlag]].</ref><ref>[[Eduard Čech]], Topological Spaces, revised by Zdenek Frolík and Miroslav Katetov, John Wiley & Sons, 1966.</ref><ref>D. A. Vladimirov, Boolean Algebras in Analysis, Mathematics and Its Applications, Kluwer Academic Publishers.</ref>
+एक अनंत गणन संख्या κ के लघुगणक को कम से कम गणन संख्या μ के रूप में परिभाषित किया गया है जैसे कि κ ≤ 2<sup>μ</sup>. गणित के कुछ क्षेत्रों में अनंत गणन के लॉगरिदम उपयोगी होते हैं, उदाहरण के लिए [[टोपोलॉजिकल स्पेस]] स्थान के [[कार्डिनल अपरिवर्तनीय|गणन अपरिवर्तनीय]] के अध्ययन में, चूंकि उनमें कुछ गुणों की कमी होती है जो सकारात्मक वास्तविक संख्याओं के लॉगरिदम के पास होती हैं।<ref>Robert A. McCoy and Ibula Ntantu, Topological Properties of Spaces of Continuous Functions, Lecture Notes in Mathematics 1315, [[Springer-Verlag]].</ref><ref>[[Eduard Čech]], Topological Spaces, revised by Zdenek Frolík and Miroslav Katetov, John Wiley & Sons, 1966.</ref><ref>D. A. Vladimirov, Boolean Algebras in Analysis, Mathematics and Its Applications, Kluwer Academic Publishers.</ref>
 == सातत्य परिकल्पना ==
-सातत्य परिकल्पना (सीएच) में कहा गया है कि सख्ती के बीच कोई क्रमसूचक नहीं हैं <math>\aleph_0</math> और <math>2^{\aleph_0}.</math> बाद के क्रमसूचक संख्या को भी प्रायः द्वारा निरूपित किया जाता है <math>\mathfrak{c}</math>, यह सातत्य (वास्तविक संख्याओं का समुच्चय) की प्रमुखता है।
+सातत्य परिकल्पना (सीएच) में कहा गया है कि सख्ती के बीच कोई गणन नहीं हैं <math>\aleph_0</math> और <math>2^{\aleph_0}.</math> बाद के गणन संख्या को भी प्रायः द्वारा निरूपित किया जाता है <math>\mathfrak{c}</math>, यह सातत्य (वास्तविक संख्याओं का समुच्चय) की प्रमुखता है।
 इस स्थिति में <math>2^{\aleph_0} = \aleph_1.</math>
-इसी तरह, [[सामान्यीकृत सातत्य परिकल्पना]] (जीसीएच) कहती है कि प्रत्येक अनंत क्रमसूचक के लिए <math>\kappa</math> के मान के लिए इसका कोई क्रमसूचक नहीं हैं, इस प्रकार <math>\kappa</math> और <math>2^\kappa</math> सातत्य परिकल्पना और सामान्यीकृत सातत्य परिकल्पना दोनों समूह सिद्धांत के सामान्य स्वयंसिद्धों से स्वतंत्र सिद्ध हुए हैं, ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध साथ पसंद के स्वयंसिद्ध (ज़र्मेलो-फ्रेंकेल समूह सिद्धांत) के साथ होता हैं।
+इसी तरह, [[सामान्यीकृत सातत्य परिकल्पना]] (जीसीएच) कहती है कि प्रत्येक अनंत गणन के लिए <math>\kappa</math> के मान के लिए इसका कोई गणन नहीं हैं, इस प्रकार <math>\kappa</math> और <math>2^\kappa</math> सातत्य परिकल्पना और सामान्यीकृत सातत्य परिकल्पना दोनों समूह सिद्धांत के सामान्य स्वयंसिद्धों से स्वतंत्र सिद्ध हुए हैं, ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध साथ पसंद के स्वयंसिद्ध (ज़र्मेलो-फ्रेंकेल समूह सिद्धांत) के साथ होता हैं।
-इस प्रकार ईस्टन के प्रमेय से पता चलता है कि, [[नियमित कार्डिनल|नियमित क्रमसूचक]] के लिए <math>\kappa</math>, केवल ZFC की प्रमुखता पर प्रतिबंध लगाता है जिसका मान <math>2^\kappa</math> के समान होता है इस प्रकार <math> \kappa < \operatorname{cf}(2^\kappa) </math> के लिए यह  घातीय फलन घटता है।
+इस प्रकार ईस्टन के प्रमेय से पता चलता है कि, [[नियमित कार्डिनल|नियमित गणन]] के लिए <math>\kappa</math>, केवल ZFC की प्रमुखता पर प्रतिबंध लगाता है जिसका मान <math>2^\kappa</math> के समान होता है इस प्रकार <math> \kappa < \operatorname{cf}(2^\kappa) </math> के लिए यह  घातीय फलन घटता है।
 == यह भी देखें ==

v t e संख्या प्रणाली
गणना योग्य सेट	प्राकृतिक संख्या ( $\mathbb {N}$ ) पूर्णांक ( $\mathbb {Z}$ ) तर्कसंगत संख्या ( $\mathbb {Q}$ ) निर्माण योग्य संख्या बीजगणितीय संख्या ( $\mathbb {A}$ ) अवधि कम्प्यूटेबल नंबर अंकगणितीय संख्या सेट-सिद्धांत रूप से निश्चित संख्या गाऊसी पूर्णांक
रचना बीजगणित	विभाजन बीजगणित: वास्तविक संख्या ( $\mathbb {R}$ ) जटिल संख्या ( $\mathbb {C}$ ) चतुर्भुज ( $\mathbb {H}$ ) ऑक्टोनियन ( $\mathbb {O}$ )
विभाजित करना प्रकार	ऊपर $\mathbb {R}$ : स्प्लिट-कॉम्प्लेक्स नंबर स्प्लिट-क्वैटरन स्प्लिट-फैक्टियन ऊपर $\mathbb {C}$ : $\mathbb {C}$ : BICOMPLEX नंबर Biquaternion Bioctonion
अन्य हाइपरकम्प्लेक्स	दोहरी संख्या दोहरी चतुर्भुज दोहरी-कॉम्प्लेक्स नंबर हाइपरबोलिक चतुर्भुज सेडेनियन ( $\mathbb {S}$ ) स्प्लिट-ब्यूकटरन मल्टीकोम्प्लेक्स नंबर ज्यामितीय बीजगणित/क्लिफोर्ड बीजगणित भौतिक अंतरिक्ष का बीजगणित स्पेसटाइम बीजगणित
अन्य प्रकार	बुनियादी संख्या विस्तारित प्राकृतिक संख्या अपरिमेय संख्या फजी नंबर हाइपरियल नंबर लेवी-सिविटा फील्ड असली संख्या ट्रांसेंडेंटल नंबर क्रमसूचक संख्या [[पी-एडिक नंबर \|p-adicसंख्या]]p-adicसोलेनोइड्स]] अलौकिक संख्या सुपररेल नंबर सामान्य संख्या बंद-फॉर्म नंबर
वर्गीकरण सूची

Anonymous

Search

गणन संख्या: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 13:04, 14 September 2023

Contents

इतिहास

प्रेरणा

औपचारिक परिभाषा