गणन संख्या

This article is about गणितीय अवधारणा. For संख्या शब्द मात्रा का संकेत देते हैं ("तीन" सेब, "चार" पक्षी, आदि), see कार्डिनल अंक.

एक विशेषण फ़ंक्शन, f: X → Y, सेट X से सेट Y तक दर्शाता है कि सेट में समान कार्डिनैलिटी है, इस स्थिति में प्रधान नंबर 4 के बराबर है।

aleph-अशक्त, सबसे छोटा अनंत प्रधान

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

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

प्रधान नंबरों का अनंत क्रम है:

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

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

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

इतिहास

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

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

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

अपने 1874 के पेपर ऑन ए प्रॉपर्टी ऑफ द कलेक्शन ऑफ ऑल रियल Bजगणितीय संख्याओं में, कैंटर ने सिद्ध किया कि उच्च-क्रम के प्रधान नंबर सम्मलित हैं, यह दिखाते हुए कि वास्तविक संख्याओं के सेट में 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 तत्व हों।

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

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

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

1 → अ

2 → B

3 → सी

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

इसके बाद हम इसे समानता-शैली के संबंध में बढ़ा सकते हैं। दो सेट (गणित) X और Y को समान कार्डिनैलिटी कहा जाता है यदि X और Y के Bच आक्षेप सम्मलित है। कैंटर-बर्नस्टीन-श्रोएडर प्रमेय द्वारा | X से Y, और Y से X तक इंजेक्शन मैपिंग। फिर हम |X| लिखते हैं = |Y|। X की प्रधान संख्या को प्रायः कम से कम क्रमिक ए के साथ परिभाषित किया जाता है = |X|। इसे वॉन न्यूमैन प्रधान असाइनमेंट कहा जाता है; इस परिभाषा को समझने के लिए, यह सिद्ध किया जाना चाहिए कि प्रत्येक सेट में कुछ क्रमवाचक के समान ही प्रमुखता होती है; यह कथन सुव्यवस्थित सिद्धांत है। चूंकि वस्तुओं को स्पष्ट रूप से नाम दिए बिना सेट की सापेक्ष कार्डिनैलिटी पर चर्चा करना संभव है।

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

1 → 2

2 → 3

3 → 4

...

n→ n + 1

...

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

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

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

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

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

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

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

औपचारिक रूप से, प्रधान नंबरों के Bच क्रम को निम्नानुसार परिभाषित किया गया है: |X| ≤ |Y फ़ंक्शन X से Y तक। कैंटर-बर्नस्टीन-श्रोएडर प्रमेय कहता है कि यदि |X| ≤ |Y| और | Y | ≤ |X| फिर |X| = |Y|। पसंद का अभिगृहीत उस कथन के समतुल्य है जिसमें दो समुच्चय X और Y, या तो |X| दिए गए हैं ≤ |Y| या |Y| ≤ |X|। एक समुच्चय X Dedekind-अनंत है यदि |X| के साथ X का उचित उपसमुच्चय Y सम्मलित है = |Y|, और डेडेकाइंड परिमित यदि ऐसा उपसमुच्चय सम्मलित नहीं है। परिमित समुच्चय प्रधान केवल प्राकृतिक संख्याएँ हैं, इस अर्थ में कि समुच्चय X परिमित है यदि और केवल यदि |X| = |N| = n किसी प्राकृत संख्या n के लिए। कोई अन्य समुच्चय अनंत समुच्चय होता है।

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

प्रधान अंकगणित

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

उत्तराधिकारी प्रधान

Further information: उत्तराधिकारी कार्डिनल

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

प्रधान जोड़

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

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

शून्य योगात्मक पहचान है κ + 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|$

κ·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 तक सभी प्रकार्य (गणित) का समुच्चय है।

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

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

1^μ = 1।

K¹ = μ

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

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

(μ)^{n = Km·mn.}

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

(1 ≤ ν और κ ≤ μ) → (ν^{K ≤ Nमी)}

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

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

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

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

यदि κ अनंत है और μ परिमित और गैर-शून्य है, तो κ^μ = κ.

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

max (κ, 2^μ) ≤ K^μ ≤ अधिकतम (2^2μ).

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

जड़ें

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

लघुगणक

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

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

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

सातत्य परिकल्पना (सीएच) में कहा गया है कि सख्ती के Bच कोई प्रधान नहीं हैं $\aleph _{0}$ और $2^{\aleph _{0}}.$ बाद के प्रधान नंबर को भी प्रायः द्वारा निरूपित किया जाता है ${\mathfrak {c}}$; यह सातत्य (वास्तविक संख्याओं का समुच्चय) की प्रमुखता है। इस स्थिति में $2^{\aleph _{0}}=\aleph _{1}.$ इसी तरह, सामान्यीकृत सातत्य परिकल्पना (जीसीएच) कहती है कि प्रत्येक अनंत प्रधान के लिए $\kappa$, Bच में सख्ती से कोई प्रधान नहीं हैं $\kappa$ और $2^{\kappa }$. सातत्य परिकल्पना और सामान्यीकृत सातत्य परिकल्पना दोनों सेट सिद्धांत के सामान्य स्वयंसिद्धों से स्वतंत्र सिद्ध हुए हैं, ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध साथ पसंद के स्वयंसिद्ध (ज़र्मेलो-फ्रेंकेल सेट सिद्धांत) के साथ।

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

यह भी देखें

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

संदर्भ

Notes

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]