क्रमसूचक सीमा: Difference between revisions
(→उदाहरण) |
|||
| Line 14: | Line 14: | ||
इस बात पर कुछ विवाद मौजूद है कि क्या 0 को सीमा क्रमसूचक के रूप में वर्गीकृत किया जाना चाहिए या नहीं, क्योंकि इसका कोई तत्काल पूर्ववर्ती नहीं है; कुछ पाठ्यपुस्तकों में सीमा क्रमसूचक की कक्षा में 0 शामिल है<ref>for example, Thomas Jech, ''Set Theory''. Third Millennium edition. Springer.</ref> जबकि अन्य इसे बाहर रखते हैं।<ref>for example, Kenneth Kunen, ''Set Theory. An introduction to independence proofs''. North-Holland.</ref> | इस बात पर कुछ विवाद मौजूद है कि क्या 0 को सीमा क्रमसूचक के रूप में वर्गीकृत किया जाना चाहिए या नहीं, क्योंकि इसका कोई तत्काल पूर्ववर्ती नहीं है; कुछ पाठ्यपुस्तकों में सीमा क्रमसूचक की कक्षा में 0 शामिल है<ref>for example, Thomas Jech, ''Set Theory''. Third Millennium edition. Springer.</ref> जबकि अन्य इसे बाहर रखते हैं।<ref>for example, Kenneth Kunen, ''Set Theory. An introduction to independence proofs''. North-Holland.</ref> | ||
==उदाहरण== | ==उदाहरण== | ||
चूँकि क्रमसूचक संख्याओं का वर्ग आनुक्रमिक है, इसलिए सबसे छोटी अनंत सीमा क्रमसूचक होती है; ω (ओमेगा) द्वारा दर्शाया गया है। क्रमसूचक ω सबसे छोटा अनंत क्रमसूचक (सीमा की परवाह किए बिना) भी है, क्योंकि यह [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] की सबसे कम ऊपरी सीमा है। इसलिए ω प्राकृतिक संख्याओं के क्रम प्रकार का प्रतिनिधित्व करता है। पहले के ऊपर अगली सीमा क्रमसूचक ω + ω = ω·2 है, जो किसी भी प्राकृतिक संख्या n के लिए ω·n को सामान्यीकृत करता है। सभी ω·n का संघ (क्रमसूचक के किसी भी सेट पर सर्वोच्च संक्रिया) लेते हुए, हमें ω·ω = ω2 मिलता है, जो किसी भी प्राकृतिक संख्या n के लिए ωn को सामान्यीकृत करता है। उत्पादन के लिए इस प्रक्रिया को इस प्रकार दोहराया जा सकता है: | |||
:<math>\omega^3, \omega^4, \ldots, \omega^\omega, \omega^{\omega^\omega}, \ldots, \varepsilon_0 = \omega^{\omega^{\omega^{~\cdot^{~\cdot^{~\cdot}}}}}, \ldots</math> | :<math>\omega^3, \omega^4, \ldots, \omega^\omega, \omega^{\omega^\omega}, \ldots, \varepsilon_0 = \omega^{\omega^{\omega^{~\cdot^{~\cdot^{~\cdot}}}}}, \ldots</math> | ||
सामान्य तौर पर, गुणन, घातांक, बार-बार घातांक आदि के माध्यम से | सामान्य तौर पर, ये सभी पुनरावर्ती परिभाषाएँ गुणन, घातांक, बार-बार घातांक आदि के माध्यम से सीमा क्रमसूचक उत्पन्न करती हैं। अब तक चर्चा किए गए सभी क्रम-क्रम अभी भी [[गणनीय]] क्रम-क्रम हैं। हालाँकि, चर्च-क्लेन क्रमसूचक से कम के सभी क्रमसूचक को व्यवस्थित रूप से नामित करने के लिए कोई पुनरावर्ती गणना योग्य योजना नहीं है, जो कि एक गणनीय क्रमसूचक है। | ||
गणनीय से परे, | गणनीय से परे, पहला असंख्य क्रमसूचक आमतौर पर ω<sub>1</sub> दर्शाया जाता है। यह एक सीमा क्रमसूचक भी है। | ||
आगे बढ़ते हुए, कोई निम्नलिखित प्राप्त कर सकता है (जिनमें से सभी अब प्रमुखता में बढ़ रहे हैं): | |||
:<math>\omega_2, \omega_3, \ldots, \omega_\omega, \omega_{\omega + 1}, \ldots, \omega_{\omega_\omega},\ldots</math> | :<math>\omega_2, \omega_3, \ldots, \omega_\omega, \omega_{\omega + 1}, \ldots, \omega_{\omega_\omega},\ldots</math> | ||
सामान्य तौर पर, हमें हमेशा एक सीमा क्रमसूचक मिलता है जब | सामान्य तौर पर, हमें हमेशा एक सीमा क्रमसूचक मिलता है जब क्रमसूचकों के एक गैर-रिक्त सेट का संघ लिया जाता है जिसमें कोई अधिकतम तत्व नहीं होता है। | ||
α > 0 के लिए फॉर्म ω²α के | α > 0 के लिए फॉर्म ω²α के क्रमसूचक, सीमाओं की सीमा आदि हैं। | ||
== गुण == | == गुण == | ||
Revision as of 18:06, 8 July 2023
समुच्चय सिद्धांत में, एक सीमा क्रमसूचक एक क्रमसूचक संख्या होती है जो न तो शून्य होती है और न ही कोई आनुक्रमिक क्रमसूचक होती है। वैकल्पिक रूप से, यदि λ से कम कोई क्रमसूचक है तो एक क्रमसूचक λ एक सीमा क्रमसूचक है, और जब भी β λ से कम एक क्रमसूचक है, तो एक क्रमसूचक γ मौजूद होता है जैसे कि β < γ < λ। प्रत्येक क्रमसूचक संख्या या तो शून्य है, एक आनुक्रमिक क्रमसूचक है, या एक सीमा क्रमसूचक है।
उदाहरण के लिए, ω, हर प्राकृतिक संख्या से बड़ा सबसे छोटा क्रमसूचक एक सीमा क्रमसूचक है क्योंकि किसी भी छोटे क्रमसूचक के लिए (यानी, किसी भी प्राकृतिक संख्या के लिए) n हम इससे बड़ी कोई अन्य प्राकृत संख्या पा सकते हैं (उदाहरण n+1), लेकिन फिर भी ω से कम है।
ऑर्डिनल्स की वॉन न्यूमैन परिभाषा का उपयोग करते हुए, प्रत्येक ऑर्डिनल सभी छोटे ऑर्डिनल्स का एक सुक्रमित समुच्चय होता है। ऑर्डिनल्स के एक गैर-रिक्त समुच्चय का संघ जिसमें कोई सबसे बड़ा अवयव नहीं होता है, वह हमेशा एक सीमा ऑर्डिनल होता है। वॉन न्यूमैन कार्डिनल असाइनमेंट का उपयोग करते हुए, प्रत्येक अनंत कार्डिनल संख्या भी एक सीमा क्रमांक है।
वैकल्पिक परिभाषाएँ
सीमा क्रमसूचकों को परिभाषित करने के विभिन्न अन्य विधियां हैं:
- यह अपने नीचे के सभी क्रमादेशों के सर्वोच्च के बराबर है लेकिन शून्य नहीं है। (उत्तरवर्ती क्रमसूचक के साथ तुलना करें: इसके नीचे के क्रमसूचकों के सेट में एक अधिकतम है, इसलिए सर्वोच्च यह अधिकतम है, पिछला क्रमसूचक।)
- यह शून्य नहीं है तथा इसका कोई अधिकतम अवयव नहीं है।
- इसे α > 0 के लिए ωα के रूप में लिखा जा सकता है। अर्थात्, कैंटर सामान्य रूप में अंतिम पद के रूप में कोई परिमित संख्या नहीं है, और क्रमवाचक गैरशून्य है।
- अनुक्रम सांस्थितिकी के संबंध में, यह क्रमसूचक संख्याओं के वर्ग का एक सीमा बिंदु है। (अन्य क्रमसूचक पृथक बिंदु हैं।)
इस बात पर कुछ विवाद मौजूद है कि क्या 0 को सीमा क्रमसूचक के रूप में वर्गीकृत किया जाना चाहिए या नहीं, क्योंकि इसका कोई तत्काल पूर्ववर्ती नहीं है; कुछ पाठ्यपुस्तकों में सीमा क्रमसूचक की कक्षा में 0 शामिल है[1] जबकि अन्य इसे बाहर रखते हैं।[2]
उदाहरण
चूँकि क्रमसूचक संख्याओं का वर्ग आनुक्रमिक है, इसलिए सबसे छोटी अनंत सीमा क्रमसूचक होती है; ω (ओमेगा) द्वारा दर्शाया गया है। क्रमसूचक ω सबसे छोटा अनंत क्रमसूचक (सीमा की परवाह किए बिना) भी है, क्योंकि यह प्राकृतिक संख्याओं की सबसे कम ऊपरी सीमा है। इसलिए ω प्राकृतिक संख्याओं के क्रम प्रकार का प्रतिनिधित्व करता है। पहले के ऊपर अगली सीमा क्रमसूचक ω + ω = ω·2 है, जो किसी भी प्राकृतिक संख्या n के लिए ω·n को सामान्यीकृत करता है। सभी ω·n का संघ (क्रमसूचक के किसी भी सेट पर सर्वोच्च संक्रिया) लेते हुए, हमें ω·ω = ω2 मिलता है, जो किसी भी प्राकृतिक संख्या n के लिए ωn को सामान्यीकृत करता है। उत्पादन के लिए इस प्रक्रिया को इस प्रकार दोहराया जा सकता है:
सामान्य तौर पर, ये सभी पुनरावर्ती परिभाषाएँ गुणन, घातांक, बार-बार घातांक आदि के माध्यम से सीमा क्रमसूचक उत्पन्न करती हैं। अब तक चर्चा किए गए सभी क्रम-क्रम अभी भी गणनीय क्रम-क्रम हैं। हालाँकि, चर्च-क्लेन क्रमसूचक से कम के सभी क्रमसूचक को व्यवस्थित रूप से नामित करने के लिए कोई पुनरावर्ती गणना योग्य योजना नहीं है, जो कि एक गणनीय क्रमसूचक है।
गणनीय से परे, पहला असंख्य क्रमसूचक आमतौर पर ω1 दर्शाया जाता है। यह एक सीमा क्रमसूचक भी है।
आगे बढ़ते हुए, कोई निम्नलिखित प्राप्त कर सकता है (जिनमें से सभी अब प्रमुखता में बढ़ रहे हैं):
सामान्य तौर पर, हमें हमेशा एक सीमा क्रमसूचक मिलता है जब क्रमसूचकों के एक गैर-रिक्त सेट का संघ लिया जाता है जिसमें कोई अधिकतम तत्व नहीं होता है।
α > 0 के लिए फॉर्म ω²α के क्रमसूचक, सीमाओं की सीमा आदि हैं।
गुण
आनुक्रमिक ऑर्डिनल्स और सीमा ऑर्डिनल्स (विभिन्न सह-अंतिमता के) के साथ-साथ शून्य, ऑर्डिनल्स के पूरे वर्ग को समाप्त कर देते हैं, इसलिए इन मामलों को अक्सर अनंत प्रेरण या ट्रांसफ़िनिट रिकर्सन द्वारा परिभाषाओं द्वारा प्रमाण में उपयोग किया जाता है। सीमा अध्यादेश ऐसी प्रक्रियाओं में एक प्रकार के महत्वपूर्ण मोड़ का प्रतिनिधित्व करते हैं, जिसमें किसी को सीमित संचालन का उपयोग करना चाहिए जैसे कि सभी पूर्ववर्ती अध्यादेशों पर संघ को ले जाना। सिद्धांत रूप में, कोई भी लिमिट ऑर्डिनल्स पर कुछ भी कर सकता है, लेकिन ऑर्डर टोपोलॉजी में यूनियन को लेना एक निरंतर कार्य (टोपोलॉजी) है और यह आमतौर पर वांछनीय है।
यदि हम वॉन न्यूमैन कार्डिनल असाइनमेंट का उपयोग करते हैं, तो प्रत्येक अनंत कार्डिनल संख्या भी एक सीमा क्रमसूचक है (और यह एक उपयुक्त अवलोकन है, क्योंकि कार्डिनल लैटिन कार्डो से निकला है जिसका अर्थ है काज या मोड़): इस तथ्य का प्रमाण केवल दिखाकर किया जाता है ग्रैंड होटल तर्क के हिल्बर्ट विरोधाभास के माध्यम से प्रत्येक अनंत आनुक्रमिक क्रमसूचक एक सीमा क्रमसूचक के बराबर है।
कार्डिनल नंबरों की उत्तराधिकार और सीमा (हर चीज़ को उच्च स्तर पर अपग्रेड किया जाना) की अपनी धारणा होती है।
अविभाज्य क्रम-वाचक
योगात्मक रूप से अविघट्य
एक सीमा क्रमसूचक α को योगात्मक रूप से अविभाज्य कहा जाता है यदि इसे α से कम β < α अध्यादेशों के योग के रूप में व्यक्त नहीं किया जा सकता है। ये संख्याएँ किसी भी प्रकार के क्रमसूचक हैं β के लिए एक क्रमसूचक. सबसे छोटा लिखा है , दूसरा लिखा है , वगैरह।[3] गुणात्मक रूप से अविभाज्य
एक सीमा क्रमसूचक α को गुणात्मक रूप से अविभाज्य कहा जाता है यदि इसे α से कम β < α अध्यादेशों के उत्पाद के रूप में व्यक्त नहीं किया जा सकता है। ये संख्याएँ किसी भी प्रकार के क्रमसूचक हैं β के लिए एक क्रमसूचक. सबसे छोटा लिखा है , दूसरा लिखा है , वगैरह।[3]
घातांकीय रूप से अविभाज्य और परे
घातीय रूप से अविभाज्य शब्द का तात्पर्य उन ऑर्डिनल्स से नहीं है जो β < α के घातीय उत्पाद (?) के रूप में अभिव्यक्त नहीं होते हैं, बल्कि α से कम के ऑर्डिनल्स हैं, बल्कि एप्सिलॉन संख्या (गणित), टेट्राशनल रूप से अविभाज्य जीटा संख्याओं को संदर्भित करता है, जो पंचम रूप से अविभाज्य हैं। ईटा संख्या आदि को संदर्भित करता है।[3]
यह भी देखें
- क्रमिक अंकगणित
- कार्डिनल सीमित करें
- मौलिक अनुक्रम (क्रमांक)
संदर्भ
अग्रिम पठन
- Cantor, G., (1897), Beitrage zur Begrundung der transfiniten Mengenlehre. II (tr.: Contributions to the Founding of the Theory of Transfinite Numbers II), Mathematische Annalen 49, 207-246 English translation.
- Conway, J. H. and Guy, R. K. "Cantor's Ordinal Numbers." In The Book of Numbers. New York: Springer-Verlag, pp. 266–267 and 274, 1996.
- Sierpiński, W. (1965). Cardinal and Ordinal Numbers (2nd ed.). Warszawa: Państwowe Wydawnictwo Naukowe. Also defines ordinal operations in terms of the Cantor Normal Form.
