गणनांक

For other uses, see गणनांक (disambiguation).

File:Platonic Solids Transparent.svg

सभी सैद्धांतिक ठोसों के समुच्चय $S$ में 5 तत्व होते हैं। इस प्रकार $S$ की कार्डिनैलिटी 5 या, प्रतीकों में, $|S|=5$ है।

गणित में, किसी समुच्चय की कार्डिनैलिटी समुच्चय के तत्वों की संख्या का माप है। उदाहरण के लिए, समुच्चय $A=\{2,4,6\}$ में 3 तत्व हैं, और इसलिए $A$ की कार्डिनैलिटी 3 है। 19वीं सदी के अंत में आरंभ करते हुए, इस अवधारणा को अनंत समुच्चयों के लिए सामान्यीकृत किया गया था, जो किसी को विभिन्न प्रकार के अनंत के मध्य अंतर करने और उन पर अंकगणित करने की अनुमति देता है। कार्डिनैलिटी के दो दृष्टिकोण हैं: एक जोद्विभाजन और अंतः क्षेपण का उपयोग करके स्पष्ट रुप से समुच्चयों की तुलना करता है, और दूसरा जो गणन संख्या का उपयोग करता है। किसी समुच्चय की कार्डिनैलिटी को उसका आकार भी कहा जाता है, जब आकार की अन्य धारणाओं के साथ कोई भ्रम संभव नहीं होता है।

समुच्चय $A$ की कार्डिनैलिटी को सामान्यतः $|A|$ दर्शाया जाता है, जिसमें प्रत्येक तरफ एक ऊर्ध्वाधर पट्टी होती है; यह निरपेक्ष मूल्य के समान ही संकेतन है, और अर्थ संदर्भ पर निर्भर करता है। समुच्चय $A$ की कार्डिनैलिटी को वैकल्पिक रूप से $n(A)$, $A$ $\operatorname {card} (A)$, या $\#A$ द्वारा दर्शाया जा सकता है।

इतिहास

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

अनंत समुच्चयों को बेहतर ढंग से समझने के लिए, समुच्चय सिद्धांत के प्रवर्तक जॉर्ज कैंटोर द्वारा लगभग 1880 में कार्डिनैलिटी की धारणा तैयार की गई थी। उन्होंने दो समुच्चयों को एक अद्वितीय संबंध के आधार पर दो समुच्चयों के तत्वों के मध्य एक-से-एक पत्राचार, एक-से-एक पत्राचार के साथ समीकरण करने की प्रक्रिया की जांच की। 1891 में, कैंटर के विकर्ण तर्क के प्रकाशन के साथ, उन्होंने प्रदर्शित किया कि संख्याओं के ऐसे समुच्चय हैं जिन्हें प्राकृतिक संख्याओं के समुच्चय के साथ एक-से-एक पत्राचार में नहीं रखा जा सकता है, अर्थात बेशुमार समुच्चय जिनमें अनंत से अधिक तत्व होते हैं प्राकृतिक संख्याओं का समूह।

समुच्चय की तुलना

File:Aplicación 2 inyectiva sobreyectiva04.svg

N से सम संख्या ओं के समुच्चय E तक विशेषण फलन। हालांकि ई एन का एक उचित उपसमुच्चय है, दोनों समुच्चयों में समान कार्डिनैलिटी है।

File:Diagonal argument powerset svg.svg

N के पास उसके सत्ता स्थापित P(N) के समान कार्डिनैलिटी नहीं है: N से P(N) तक हर फंक्शन f के लिए, समुच्चय T = {' 'n∈N: n∉f(n)} f के फंक्शन की रेंज में हर समुच्चय से असहमत हैं, इसलिए f नहीं कर सकता विशेषण हो। चित्र एक उदाहरण f और संबंधित T दिखाता है; red: n∈f (एन) \ टी, blue:n∈T\f (एन)।

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

परिभाषा 1: |A| = |B|

दो समुच्चय ए और बी में समान कार्डिनैलिटी होती है यदि ए से बी तक एक आक्षेप (उर्फ, एक-से-एक पत्राचार) मौजूद है, यानी, A से B तक एक फलन (गणित) जो अंतः क्षेपण और विशेषण दोनों है। ऐसे समुच्चयों को समविभव, समविषम, या समनुक्रमिक कहा जाता है। इस संबंध को A ≈ B या A ~ B भी निरूपित किया जा सकता है।

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

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

परिभाषा 2: |A| ≤ |B|

ए की कार्डिनैलिटी बी की कार्डिनैलिटी से कम या उसके बराबर है, अगर ए से बी में एक अंतः क्षेपण फ़ंक्शन मौजूद है।

परिभाषा 3: |A| < |B|

ए में कार्डिनैलिटी बी की कार्डिनैलिटी से सख्ती से कम है, अगर कोई अंतः क्षेपण फ़ंक्शन है, लेकिन ए से बी तक कोई विशेषण कार्य नहीं है।

उदाहरण के लिए, सभी प्राकृतिक संख्याओं के समुच्चय 'एन' में कार्डिनैलिटी अपने पावर समुच्चय पी ('एन') से सख्ती से कम है, क्योंकि जी (एन) = {एन} 'एन' से पी ('एन) तक एक अंतः क्षेपण फ़ंक्शन है। '), और यह दिखाया जा सकता है कि 'एन' से पी ('एन') तक कोई भी कार्य विशेषण नहीं हो सकता है (चित्र देखें)। इसी तरह के तर्क से, 'एन' की कार्डिनैलिटी सभी वास्तविक संख्या ओं के समुच्चय 'आर' की कार्डिनैलिटी से सख्ती से कम है। प्रमाण के लिए, कैंटर का विकर्ण तर्क या कैंटर का पहला बेशुमार प्रमाण देखें।

यदि |A| ≤ |B| तथा |B| ≤ |A|, फिर |A| = |B| (एक तथ्य जिसे श्रोडर-बर्नस्टीन प्रमेय के रूप में जाना जाता है)। पसंद का स्वयंसिद्ध कथन के समतुल्य है कि |A| ≤ |B| या |B| ≤ |A| प्रत्येक ए, बी के लिए

कार्डिनल नंबर

Main article: Cardinal number

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

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

1. समुच्चय A की कार्डिनैलिटी को समनुक्रमिकता के तहत इसके तुल्यता वर्ग के रूप में परिभाषित किया गया है।
2. एक प्रतिनिधि (गणित) समुच्चय को प्रत्येक समकक्ष वर्ग के लिए नामित किया गया है। सबसे आम पसंद वॉन न्यूमैन कार्डिनल असाइनमेंट है। इसे सामान्यतः स्वयंसिद्ध समुच्चय सिद्धांत में कार्डिनल नंबर की परिभाषा के रूप में लिया जाता है।

पसंद के स्वयंसिद्ध को मानते हुए, अनंत समुच्चयों की कार्डिनैलिटी को निरूपित किया जाता है

$\aleph _{0}<\aleph _{1}<\aleph _{2}<\ldots .$

प्रत्येक सामान्य संख्या के लिए $\alpha$, $\aleph _{\alpha +1}$ से कम से कम कार्डिनल संख्या है $\aleph _{\alpha }$.

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

सातत्य परिकल्पना कहती है कि $\aleph _{1}=2^{\aleph _{0}}$, अर्थात। $2^{\aleph _{0}}$ से बड़ी सबसे छोटी कार्डिनल संख्या है $\aleph _{0}$, यानी ऐसा कोई समुच्चय नहीं है जिसकी कार्डिनैलिटी पूर्णांकों और वास्तविक संख्याओं के मध्य सख्ती से हो। निरंतरता परिकल्पना ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत की स्वतंत्रता (गणितीय तर्क) पसंद के स्वयंसिद्ध के साथ है, समुच्चय सिद्धांत का एक मानक स्वयंसिद्धकरण; अर्थात्, ZFC से सातत्य परिकल्पना या इसके निषेध को सिद्ध करना असंभव है - बशर्ते कि ZFC संगत हो। अधिक विवरण के लिए, कार्डिनैलिटी#कार्डिनैलिटी ऑफ़ द कॉन्टिनम|§ नीचे दिए गए कॉन्टिनम की कार्डिनैलिटी देखें।

परिमित, गणनीय और बेशुमार समुच्चय

यदि पसंद का स्वयंसिद्ध धारण करता है, तो ट्राइकोटॉमी (गणित) कार्डिनैलिटी के लिए है। इस प्रकार हम निम्नलिखित परिभाषाएँ बना सकते हैं:

• कोई भी समुच्चय X जिसकी कार्डिनैलिटी प्राकृत संख्याओं से कम है, या | X | < | 'N' |, एक परिमित समुच्चय कहा जाता है।
• कोई भी समुच्चय X जिसमें प्राकृत संख्याओं के समुच्चय के समान कार्डिनैलिटी हो, या | X | = | 'एन' | = $\aleph _{0}$, को एक अनंत अनंत समुच्चय कहा जाता है।*कोई भी समुच्चय X जिसकी कार्डिनैलिटी प्राकृत संख्याओं से अधिक है, या | X | > | 'एन' |, उदाहरण के लिए | 'आर' | = ${\mathfrak {c}}$ > | N |, को बेशुमार समुच्चय कहा जाता है।

अनंत समुच्चय

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

सातत्य की कार्डिनैलिटी

Main article: Cardinality of the continuum

कैंटर के सबसे महत्वपूर्ण परिणामों में से एक यह था कि सातत्य की प्रमुखता (${\mathfrak {c}}$) प्राकृत संख्याओं से अधिक है ($\aleph _{0}$); अर्थात्, प्राकृत संख्याओं N से अधिक वास्तविक संख्याएँ R हैं। अर्थात्, कैंटर ने दिखाया कि ${\mathfrak {c}}=2^{\aleph _{0}}=\beth _{1}$ (बेथ नंबर देखें#बेथ वन) संतुष्ट करता है:

$2^{\aleph _{0}}>\aleph _{0}$

(कैंटोर का विकर्ण तर्क या कैंटर का पहला बेशुमार प्रमाण देखें)।

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

$2^{\aleph _{0}}=\aleph _{1}$

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

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

इनमें से पहला परिणाम, उदाहरण के लिए, स्पर्शरेखा फ़ंक्शन पर विचार करके स्पष्ट होता है, जो अंतराल (गणित) (-½π, ½π) और 'आर' के मध्य एक-से-एक पत्राचार प्रदान करता है (हिल्बर्ट के ग्रैंड के विरोधाभास को भी देखें) होटल)।

दूसरा परिणाम पहली बार 1878 में कैंटर द्वारा प्रदर्शित किया गया था, लेकिन यह 1890 में और अधिक स्पष्ट हो गया, जब ग्यूसेप पीनो ने अंतरिक्ष-�