अनंत संख्या

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

अनंत नंबरों पर उल्लेखनीय कार्य वाकलॉ सिएरपिंस्की द्वारा किया गया था और लेकन्स सुर लेस नॉम्ब्रेस ट्रांसफ़िनिस (1928 पुस्तक) को गणनसंख्या और क्रमसूचक संख्याएँ (1958 दूसरा संस्करण 1965) में विस्तारित किया गया।.

परिभाषा

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

सबसे उल्लेखनीय क्रमिक और गणन संख्याएँ क्रमशः हैं

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

सातत्य परिकल्पना यह प्रस्ताव है कि बीच में कोई मध्यवर्ती गणनसंख्या संख्याएँ $\aleph _{0}$ नहीं हैं और सातत्य की प्रमुखता (वास्तविक संख्याओं के समुच्चय की प्रमुखता):या समकक्ष वह $\aleph _{1}$ वास्तविक संख्याओं के समुच्चय की प्रमुखता है। ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत में, न तो सातत्य परिकल्पना और न ही इसके निषेध को सिद्ध किया जा सकता है।

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

• ${\mathfrak {m}}$ एक अनंत गणनसंख्या है. अर्थात् एक डेडेकाइंड अनंत समुच्चय $A$ है ऐसी कि प्रमुखता$A$, ${\mathfrak {m}}$ है।
• ${\mathfrak {m}}+1={\mathfrak {m}}.$
• $\aleph _{0}\leq {\mathfrak {m}}.$
• एक गणनसंख्या ${\mathfrak {n}}$ है ऐसा है कि $\aleph _{0}+{\mathfrak {n}}={\mathfrak {m}}.$

यद्यपि अनंत क्रमवाचक संख्या और गणनसंख्या दोनों केवल प्राकृतिक संख्याओं का सामान्यीकरण करते हैं, हाइपररियल संख्याओं और अतियथार्थवादी संख्याओं सहित संख्याओं की अन्य प्रणालियाँ, वास्तविक संख्याओं का सामान्यीकरण प्रदान करती हैं।

उदाहरण

कैंटर के क्रमिक संख्याओं के सिद्धांत में, प्रत्येक पूर्णांक संख्या का एक उत्तराधिकारी होना चाहिए। सभी नियमित पूर्णांकों के बाद अगला पूर्णांक, जो कि पहला अनंत पूर्णांक है, $\omega$ नाम दिया गया है, इस संदर्भ में, $\omega +1$ से बड़ा $\omega$ है , और $\omega \cdot 2$, $\omega ^{2}$ और $\omega ^{\omega }$ अभी भी बड़े हैं. अंकगणितीय अभिव्यक्ति युक्त $\omega$ एक क्रमसूचक संख्या निर्दिष्ट करता है, और उस संख्या तक के सभी पूर्णांकों के समुच्चय के रूप में सोचा जा सकता है। किसी दी गई संख्या में सामान्यतः कई अभिव्यक्तियाँ होती हैं जो इसका प्रतिनिधित्व करती हैं, यद्यपि, एक अद्वितीय क्रमसूचक सामान्य रूप है है जो इसका प्रतिनिधित्व करता है,अनिवार्य रूप से अंकों का एक सीमित अनुक्रम जो $\omega$ अवरोही शक्तियों के गुणांक देता है।

हालाँकि, सभी अनंत पूर्णांकों को कैंटर सामान्य रूप द्वारा प्रदर्शित नहीं किया जा सकता है, और पहला जो नहीं किया जा सकता उसे सीमा द्वारा दर्शाया जा सकता है $\omega ^{\omega ^{\omega ^{...}}}$ और कहा जाता है $\varepsilon _{0}$. $\varepsilon _{0}$ का सबसे छोटा समाधान है $\omega ^{\varepsilon }=\varepsilon$, और निम्नलिखित समाधान $\varepsilon _{1},...,\varepsilon _{\omega },...,\varepsilon _{\varepsilon _{0}},...$ अभी भी बड़े क्रम-निर्देश दें, और जब तक कोई सीमा तक नहीं पहुंच जाता तब तक उसका पालन किया जा सकता है $\varepsilon _{\varepsilon _{\varepsilon _{...}}}$, जो इसका पहला समाधान है $\varepsilon _{\alpha }=\alpha$. इसका मतलब यह है कि सभी अनंत पूर्णांकों को निर्दिष्ट करने में सक्षम होने के लिए, किसी को नामों के अनंत अनुक्रम के बारे में सोचना चाहिए: क्योंकि यदि किसी को एक सबसे बड़ा पूर्णांक निर्दिष्ट करना होता है, तो वह हमेशा उसके बड़े उत्तराधिकारी का उल्लेख करने में सक्षम होगा। लेकिन जैसा कि कैंटर ने उल्लेख किया है, यहां तक ​​कि यह किसी को केवल अनंत संख्याओं के निम्नतम वर्ग तक पहुंचने की अनुमति देता है: जिनके समुच्चय का आकार गणनसंख्या संख्या के अनुरूप होता है $\aleph _{0}$.

यह भी देखें

• वास्तविक अनन्तता
• बेथ संख्या
• एप्सिलॉन संख्या
• असीमित

ग्रन्थसूची

• Levy, Azriel, 2002 (1978) Basic Set Theory. Dover Publications. ISBN 0-486-42079-5
• O'Connor, J. J. and E. F. Robertson (1998) "Georg Ferdinand Ludwig Philipp Cantor," MacTutor History of Mathematics archive.
• Rubin, Jean E., 1967. "Set Theory for the Mathematician". San Francisco: Holden-Day. Grounded in Morse–Kelley set theory.
• Rudy Rucker, 2005 (1982) Infinity and the Mind. Princeton Univ. Press. Primarily an exploration of the philosophical implications of Cantor's paradise. ISBN 978-0-691-00172-2.
• Patrick Suppes, 1972 (1960) "Axiomatic Set Theory". Dover. ISBN 0-486-61630-4. Grounded in ZFC.