गणनांक

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

File:Platonic Solids Transparent.svg

सेट $S$ सभी प्लेटोनिक ठोस ों में से 5 तत्व होते हैं। इस प्रकार $|S|=5$.

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

एक सेट की कार्डिनैलिटी को उसका आकार भी कहा जाता है, जब आकार की अन्य धारणाओं के साथ कोई भ्रम नहीं होता है संभव है।

एक सेट की कार्डिनैलिटी $A$ आमतौर पर दर्शाया जाता है $|A|$, प्रत्येक तरफ एक लंबवत पट्टी के साथ; यह निरपेक्ष मूल्य के समान संकेतन है, और अर्थ अस्पष्टता पर निर्भर करता है। एक सेट की कार्डिनैलिटी $A$ वैकल्पिक रूप से द्वारा निरूपित किया जा सकता है $n(A)$, <स्पैन स्टाइल = बॉर्डर-टॉप: 3px डबल ब्लैक; >$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}$ (बेथ नंबर देखें#बेथ वन) संत�