क्रमसूचक संख्या

समुच्चय सिद्धांत में, क्रमसूचक संख्या, या क्रमसूचक, क्रमवाचक अंकों का एक सामान्यीकरण है (प्रथम, द्वितीय, $n$वें, आदि) का उद्देश्य अनंत सेटों तक गणना का विस्तार करना है। प्रत्येक तत्व को कम से कम प्राकृतिक संख्या के साथ क्रमिक रूप से लेबल करके एक परिमित सेट की गणना की जा सकती है जिसका पहले उपयोग नहीं किया गया है। इस प्रक्रिया को विभिन्न अनंत सेटों तक विस्तारित करने के लिए, क्रमिक संख्याओं को आमतौर पर रैखिक रूप से आदेशित लेबल के रूप में परिभाषित किया जाता है जिसमें प्राकृतिक संख्याएं शामिल होती हैं और संपत्ति होती है कि क्रमसूचकों के प्रत्येक सेट में कम से कम तत्व होता है (यह कम से कम अप्रयुक्त तत्व को अर्थ देने के लिए आवश्यक है) ). यह अधिक सामान्य परिभाषा हमें एक क्रमिक संख्या को परिभाषित करने की अनुमति देती है $$\omega$$ (ओमेगा) जो क्रमिक संख्याओं के साथ-साथ प्रत्येक प्राकृतिक संख्या से अधिक है $$\omega + 1$$, $$\omega + 2$$, आदि, जो इससे भी बड़े हैं $$\omega$$.

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

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

ऑर्डिनल्स को 1883 में जॉर्ज कैंटर द्वारा पेश किया गया था अनंत अनुक्रमों को समायोजित करने और व्युत्पन्न सेट (गणित) को वर्गीकृत करने के लिए, जिसे उन्होंने 1872 में त्रिकोणमितीय श्रृंखला की विशिष्टता का अध्ययन करते समय पेश किया था।

ऑर्डिनल्स प्राकृतिक संख्या का विस्तार करते हैं
एक प्राकृतिक संख्या (जिसमें, इस संदर्भ में, संख्या 0 (संख्या) शामिल है) का उपयोग दो उद्देश्यों के लिए किया जा सकता है: एक सेट (गणित) के आकार का वर्णन करने के लिए, या अनुक्रम में किसी तत्व की स्थिति का वर्णन करने के लिए। परिमित समुच्चय तक सीमित होने पर, ये दो अवधारणाएं मेल खाती हैं, क्योंकि परिमित समुच्चय के सभी रैखिक क्रम क्रम समरूपता हैं।

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

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

किसी भी अध्यादेश को उसके पहले आने वाले अध्यादेशों के सेट द्वारा परिभाषित किया जाता है। वास्तव में, अध्यादेशों की सबसे आम परिभाषा प्रत्येक अध्यादेश की पहचान करती है, जो कि इससे पहले के अध्यादेशों के सेट के रूप में होती है। उदाहरण के लिए, क्रमिक 42 को आम तौर पर सेट के रूप में पहचाना जाता है $\{0, 1, 2, …, 41\}$. इसके विपरीत, ऑर्डिनल का कोई भी सेट जो नीचे की ओर बंद है - जिसका अर्थ है कि S में किसी भी क्रमिक α के लिए और कोई भी क्रमिक β <α, β भी S में है - (या इसके साथ पहचाना जा सकता है) एक क्रमसूचक है।

सेट के संदर्भ में ऑर्डिनल्स की यह परिभाषा अनंत ऑर्डिनल्स की अनुमति देती है। सबसे छोटा अनंत क्रमसूचक है $$\omega$$, जिसे प्राकृतिक संख्याओं के समुच्चय से पहचाना जा सकता है (ताकि प्रत्येक प्राकृतिक संख्या से जुड़ा क्रमवाचक पहले आए $$\omega$$). वास्तव में, प्राकृतिक संख्याओं का सेट सुव्यवस्थित है - जैसा कि किसी भी क्रमांक का सेट है - और चूंकि यह नीचे की ओर बंद है, इसे इसके साथ जुड़े क्रमसूचक के साथ पहचाना जा सकता है।

शायद उनमें से पहले कुछ की जांच करके अध्यादेशों का एक स्पष्ट अंतर्ज्ञान बनाया जा सकता है: जैसा कि ऊपर उल्लेख किया गया है, वे प्राकृतिक संख्याओं से शुरू होते हैं, 0, 1, 2, 3, 4, 5, … सभी प्राकृतिक संख्याओं के बाद पहला अनंत क्रमिक आता है, ω, और उसके बाद ω+1, ω+2, ω+3, इत्यादि आते हैं। (जोड़ने का वास्तव में क्या अर्थ है यह बाद में परिभाषित किया जाएगा: बस उन्हें नाम के रूप में मानें।) इन सबके बाद ω·2 (जो कि ω+ω है), ω·2+1, ω·2+2, और इसी तरह आगे आते हैं। फिर ω·3, और फिर बाद में ω·4। अब इस तरह से बनने वाले क्रमसूचकों के समुच्चय (ω·m+n, जहाँ m और n प्राकृतिक संख्याएँ हैं) के साथ स्वयं एक क्रमसूचक जुड़ा होना चाहिए: और वह है ω2। आगे, ω होगा 3, फिर ω4, और इसी तरह, और ωओह, फिर ओहω ओह , फिर बाद में ओहω ω o , और बाद में भी e0 (एप्सिलॉन संख्याएं (गणित)) (अपेक्षाकृत छोटे-गणनीय-ऑर्डिनल्स के कुछ उदाहरण देने के लिए)। इसे अनिश्चित काल तक जारी रखा जा सकता है (जैसा कि हर बार जब कोई कहता है और इसी तरह अध्यादेशों की गणना करते समय, यह एक बड़ा अध्यादेश परिभाषित करता है)। सबसे छोटा बेशुमार सेट ऑर्डिनल सभी काउंटेबल ऑर्डिनल्स का सेट है, जिसे पहले बेशुमार ऑर्डिनल के रूप में व्यक्त किया गया है। ω1या $$\Omega$$.

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

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

औपचारिक रूप से, यदि एक आंशिक क्रम ≤ समुच्चय S पर परिभाषित है, और एक आंशिक क्रम ≤' समुच्चय S' पर परिभाषित है, तो आंशिक रूप से क्रमित समुच्चय (S,≤) और (S',≤') क्रम समरूपी हैं यदि एक आक्षेप f है जो क्रम को बनाए रखता है। अर्थात्, f(a) ≤' f(b) यदि और केवल यदि a ≤ b। बशर्ते दो सुव्यवस्थित सेटों के बीच एक ऑर्डर आइसोमोर्फिज्म मौजूद हो, ऑर्डर आइसोमोर्फिज्म अद्वितीय है: यह दो सेटों को अनिवार्य रूप से समान मानने और एक प्रतिनिधि (गणित) की तलाश करने के लिए काफी न्यायसंगत बनाता है। समरूपता प्रकार (वर्ग) के विहित प्रतिनिधि। यह वही है जो ऑर्डिनल्स प्रदान करते हैं, और यह किसी भी सुव्यवस्थित सेट के तत्वों की एक कैनोनिकल लेबलिंग भी प्रदान करता है। प्रत्येक सुव्यवस्थित सेट (एस, <) ऑर्डर-आइसोमोर्फिक है जो उनके प्राकृतिक क्रम के तहत एक विशिष्ट क्रमिक संख्या से कम ऑर्डिनल्स के सेट के लिए है। यह विहित समुच्चय (S,<) का क्रम प्रकार है।

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

एक तुल्यता वर्ग
के रूप में एक क्रमसूचक की परिभाषा

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

ऑर्डिनल्स की वॉन न्यूमैन परिभाषा
सुव्यवस्थित सेटों के समकक्ष वर्ग के रूप में एक क्रमसूचक को परिभाषित करने के बजाय, इसे एक विशेष सुव्यवस्थित सेट के रूप में परिभाषित किया जाएगा जो (कैनोनिक रूप से) वर्ग का प्रतिनिधित्व करता है। इस प्रकार, एक क्रमिक संख्या एक सुव्यवस्थित सेट होगी; और हर सुव्यवस्थित सेट ऑर्डर-आइसोमॉर्फिक होगा ठीक एक क्रमिक संख्या के लिए।

प्रत्येक सुव्यवस्थित सेट के लिए $$T$$, $$a\mapsto T_{<a}$$ के बीच एक आदेश समरूपता को परिभाषित करता है $$T$$ और के सभी उपसमूहों का समुच्चय $$T$$ रूप होना $$T_{<a}:=\{x\in T\mid x < a\}$$ शामिल करने का आदेश दिया। यह 19 वर्ष की आयु में जॉन वॉन न्यूमैन द्वारा सुझाई गई मानक परिभाषा को प्रेरित करता है, जिसे अब वॉन न्यूमैन ऑर्डिनल्स की परिभाषा कहा जाता है: प्रत्येक क्रमांक सभी छोटे अध्यादेशों का सुव्यवस्थित सेट है। प्रतीकों में, $$\lambda = [0,\lambda)$$. औपचारिक रूप से:


 * एक सेट S एक क्रमसूचक है अगर और केवल अगर S सख्त क्रम में सेट सदस्यता के संबंध में सुव्यवस्थित है और S का प्रत्येक तत्व भी S का एक उपसमुच्चय है।

इस परिभाषा के अनुसार प्राकृतिक संख्याएँ इस प्रकार क्रमसूचक हैं। उदाहरण के लिए, 2 = 4 का एक अवयव है $\{0, 1, 2, 3\}$, और 2 के बराबर है $\{0, 1\}$ और इसलिए यह इसका एक उपसमुच्चय है $\{0, 1, 2, 3\}$.

यह ट्रांसफिनिट इंडक्शन द्वारा दिखाया जा सकता है कि प्रत्येक सुव्यवस्थित सेट ऑर्डर-आइसोमोर्फिक है जो इन ऑर्डिनल्स में से एक के लिए है, अर्थात, उनके बीच विशेषण कार्य को संरक्षित करने का एक आदेश है।

इसके अलावा, प्रत्येक अध्यादेश के तत्व स्वयं अध्यादेश हैं। दो अध्यादेशों S और T को देखते हुए, S, T का एक तत्व है यदि और केवल यदि S, T का एक उचित उपसमुच्चय है। इसके अलावा, या तो S, T का एक तत्व है, या T, S का एक तत्व है, या वे समान हैं। तो अध्यादेशों का हर सेट कुल आदेश है। इसके अलावा, अध्यादेशों का हर सेट सुव्यवस्थित है। यह इस तथ्य को सामान्य करता है कि प्राकृतिक संख्याओं का प्रत्येक सेट सुव्यवस्थित है।

नतीजतन, प्रत्येक क्रमसूचक S एक ऐसा समुच्चय है, जिसमें तत्व ठीक S से छोटे क्रमवाचक होते हैं। उदाहरण के लिए, क्रमसूचकों के प्रत्येक समुच्चय में एक सर्वोच्चता होती है, वह क्रमसूचक जो समुच्चय में सभी क्रमवाचकों के मिलन से प्राप्त होता है। संघ के स्वयंसिद्ध द्वारा सेट के आकार की परवाह किए बिना यह संघ मौजूद है।

सभी अध्यादेशों का वर्ग एक सेट नहीं है। यदि यह एक सेट होता, तो कोई यह दिखा सकता था कि यह एक क्रमसूचक था और इस प्रकार स्वयं का एक सदस्य था, जो सदस्यता द्वारा इसके सख्त आदेश का खंडन करेगा। यह बुराली-फोर्टी विरोधाभास है। सभी अध्यादेशों के वर्ग को विभिन्न प्रकार से Ord, ON , या ∞ कहा जाता है।

एक क्रमसूचक परिमित सेट है अगर और केवल अगर विपरीत क्रम भी सुव्यवस्थित है, जो कि मामला है अगर और केवल अगर इसके प्रत्येक गैर-रिक्त उपसमुच्चय में अधिकतम है।

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

ट्रांसफिनिट अनुक्रम
यदि α कोई क्रमवाचक है और X एक समुच्चय है, तो X के तत्वों का एक α-अनुक्रमित अनुक्रम α से X तक का एक फलन है। यह अवधारणा, एक 'ट्रांसफिनिट अनुक्रम' (यदि α अनंत है) या 'क्रमिक-अनुक्रमित अनुक्रम' है, एक अनुक्रम की अवधारणा का एक सामान्यीकरण है। एक साधारण अनुक्रम मामले α = ω से मेल खाता है, जबकि एक परिमित α एक टपल (गणित), a.k.a. स्ट्रिंग (कंप्यूटर विज्ञान) से मेल खाता है।

ट्रांसफिनिट इंडक्शन
किसी भी सुव्यवस्थित सेट में ट्रांसफिनिट इंडक्शन होता है, लेकिन ऑर्डिनल्स के संबंध में यह इतना महत्वपूर्ण है कि यह यहां पर ध्यान देने योग्य है।


 * कोई भी गुण जो दिए गए क्रमसूचक α से छोटे क्रमवाचकों के समुच्चय से स्वयं α तक जाता है, सभी क्रमसूचकों के लिए सत्य है।

अर्थात्, यदि P(α) सत्य है जब भी P(β) सभी के लिए सत्य है β < α, तो P(α) सभी α के लिए सत्य है। या, अधिक व्यावहारिक रूप से: सभी क्रमांक α के लिए एक गुण P को सिद्ध करने के लिए, कोई यह मान सकता है कि यह पहले से ही सभी छोटे के लिए जाना जाता है β < α.

ट्रांसफिनिट रिकर्सन
ट्रांसफ़िनिट इंडक्शन का उपयोग न केवल चीजों को साबित करने के लिए किया जा सकता है, बल्कि उन्हें परिभाषित करने के लिए भी किया जा सकता है। इस तरह की परिभाषा को आम तौर पर ट्रांसफिनिट रिकर्सन द्वारा कहा जाता है - सबूत है कि परिणाम अच्छी तरह से परिभाषित है जो ट्रांसफिनिट इंडक्शन का उपयोग करता है। चलो एफ एक (वर्ग) फ़ंक्शन एफ को ऑर्डिनल पर परिभाषित करने के लिए दर्शाता है। अब विचार यह है कि, एक अनिर्दिष्ट क्रमिक α के लिए F(α) को परिभाषित करने में, कोई यह मान सकता है कि F(β) पहले से ही सभी के लिए परिभाषित है β < α और इस प्रकार इन F(β) के संदर्भ में F(α) के लिए एक सूत्र दें। इसके बाद ट्रांसफिनिट इंडक्शन द्वारा अनुसरण किया जाता है कि एक और केवल एक फ़ंक्शन है जो रिकर्सन फॉर्मूला को संतुष्ट करता है और α सहित।

यहाँ अध्यादेशों पर ट्रांसफिनिट रिकर्सन द्वारा परिभाषा का एक उदाहरण दिया गया है (अधिक बाद में दिया जाएगा): एफ (α) को सेट में सबसे छोटा ऑर्डिनल होने देकर फ़ंक्शन एफ को परिभाषित करें $\{F(β) | β < α\}$, यानी वह सेट जिसमें सभी F(β) शामिल हैं β < α. यह परिभाषा एफ को परिभाषित करने की प्रक्रिया में ज्ञात एफ (β) मानती है; यह स्पष्ट दुष्चक्र ठीक वैसा ही है जैसा ट्रांसफिनिट रिकर्सन परमिट द्वारा परिभाषित किया गया है। वास्तव में, F(0) समझ में आता है क्योंकि कोई क्रमसूचक नहीं है β < 0, और सेट $\{F(β) | β < 0\}$ खाली है। तो F(0) 0 के बराबर है (सभी का सबसे छोटा क्रम)। अब जबकि F(0) ज्ञात है, F(1) पर लागू परिभाषा समझ में आती है (यह सिंगलटन सेट में सबसे छोटा क्रमसूचक नहीं है $\{F(0)\}$ = $\{0\}$), और इसी तरह (और इसी तरह बिल्कुल ट्रांसफिनिट इंडक्शन है)। यह पता चला है कि यह उदाहरण साबित होने के बाद से बहुत रोमांचक नहीं है F(α) = α सभी अध्यादेशों α के लिए, जिसे दिखाया जा सकता है, ठीक-ठीक, ट्रांसफिनिट इंडक्शन द्वारा।

उत्तराधिकारी और सीमा आदेश
किसी भी गैर-शून्य क्रमसूचक में न्यूनतम तत्व, शून्य होता है। इसमें अधिकतम तत्व हो भी सकता है और नहीं भी। उदाहरण के लिए, 42 में अधिकतम 41 और ω+6 में अधिकतम ω+5 है। दूसरी ओर, ω का अधिकतम नहीं है क्योंकि कोई सबसे बड़ी प्राकृतिक संख्या नहीं है। यदि किसी अध्यादेश में अधिकतम α है, तो यह α के बाद अगला क्रमसूचक है, और इसे उत्तराधिकारी क्रमसूचक कहा जाता है, अर्थात् α का उत्तराधिकारी, लिखित α+1। ऑर्डिनल्स की वॉन न्यूमैन परिभाषा में, α का उत्तराधिकारी है $$\alpha\cup\{\alpha\}$$ चूंकि इसके तत्व α और α ही हैं।

एक गैर-शून्य क्रमसूचक जो उत्तराधिकारी नहीं है उसे सीमा क्रमसूचक कहा जाता है। इस शब्द के लिए एक औचित्य यह है कि एक सीमा क्रमसूचक सभी छोटे अध्यादेशों (आदेश टोपोलॉजी के तहत) के एक टोपोलॉजिकल अर्थ में सीमा बिंदु है।

कब $$\langle \alpha_{\iota} | \iota < \gamma \rangle$$ एक क्रमिक-अनुक्रमित अनुक्रम है, एक सीमा द्वारा अनुक्रमित $$\gamma$$ और क्रम बढ़ रहा है, अर्थात $$\alpha_{\iota} < \alpha_{\rho}$$ जब कभी भी $$\iota < \rho,$$ इसकी सीमा को सेट के कम से कम ऊपरी सीमा के रूप में परिभाषित किया गया है $$\{ \alpha_{\iota} | \iota < \gamma \},$$ अर्थात्, सबसे छोटा क्रमसूचक (यह हमेशा मौजूद होता है) अनुक्रम के किसी भी पद से बड़ा होता है। इस अर्थ में, एक सीमा क्रमसूचक सभी छोटे अध्यादेशों की सीमा है (स्वयं द्वारा अनुक्रमित)। अधिक सीधे शब्दों में कहें तो यह छोटे अध्यादेशों के सेट का सर्वोच्च है।

एक सीमा क्रमसूचक को परिभाषित करने का दूसरा तरीका यह कहना है कि α एक सीमा क्रमसूचक है यदि और केवल यदि:


 * α से कम एक क्रमसूचक होता है और जब भी ζ α से कम एक क्रमवाचक होता है, तब एक क्रमसूचक ξ होता है जैसे कि ζ < ξ < α।

तो निम्नलिखित क्रम में:


 * 0, 1, 2, …, ω, ω+1

ω एक सीमा क्रमसूचक है क्योंकि किसी भी छोटे क्रमसूचक (इस उदाहरण में, एक प्राकृतिक संख्या) के लिए इससे बड़ा एक अन्य क्रमसूचक (प्राकृतिक संख्या) है, लेकिन फिर भी ω से कम है।

इस प्रकार, प्रत्येक क्रमसूचक या तो शून्य है, या एक उत्तराधिकारी (एक अच्छी तरह से परिभाषित पूर्ववर्ती का), या एक सीमा है। यह भेद महत्वपूर्ण है, क्योंकि ट्रांसफिनिट रिकर्सन द्वारा कई परिभाषाएं इस पर भरोसा करती हैं। बहुत बार, जब सभी ऑर्डिनल्स पर ट्रांसफिनिट रिकर्सन द्वारा फ़ंक्शन एफ को परिभाषित करते हैं, तो एफ (0) को परिभाषित करता है, और एफ (α + 1) को एफ (α) मानते हुए परिभाषित किया जाता है, और फिर, सीमा अध्यादेशों के लिए δ एक परिभाषित करता है एफ (δ) सभी β<δ के लिए F(β) की सीमा के रूप में (या तो क्रमिक सीमाओं के अर्थ में, जैसा कि पहले समझाया गया है, या सीमा की किसी अन्य धारणा के लिए यदि F क्रमसूचक मान नहीं लेता है)। इस प्रकार, परिभाषा में दिलचस्प कदम उत्तराधिकारी कदम है, सीमा आदेश नहीं। इस तरह के कार्यों (विशेष रूप से एफ गैर-घटते और क्रमिक मूल्यों को लेने के लिए) को निरंतर कहा जाता है। क्रमिक जोड़, गुणन और घातांक उनके दूसरे तर्क के कार्यों के रूप में निरंतर हैं (लेकिन गैर-पुनरावर्ती रूप से परिभाषित किए जा सकते हैं)।

ऑर्डिनल्स की अनुक्रमण कक्षाएं
कोई भी सुव्यवस्थित सेट एक अद्वितीय क्रमिक संख्या के समान (ऑर्डर-आइसोमॉर्फिक) है $$\alpha$$; दूसरे शब्दों में, इसके तत्वों को बढ़ते क्रम में अनुक्रमित किया जा सकता है $$\alpha$$. यह विशेष रूप से, अध्यादेशों के किसी भी सेट पर लागू होता है: अध्यादेशों के किसी भी सेट को स्वाभाविक रूप से कुछ से कम अध्यादेशों द्वारा अनुक्रमित किया जाता है $$\alpha$$. मामूली संशोधन के साथ, ऑर्डिनल्स की कक्षाओं के लिए (ऑर्डिनल्स का एक संग्रह, संभवतः एक सेट बनाने के लिए बहुत बड़ा, कुछ संपत्ति द्वारा परिभाषित): ऑर्डिनल्स के किसी भी वर्ग को ऑर्डिनल्स द्वारा अनुक्रमित किया जा सकता है (और, जब क्लास अनबाउंड है सभी अध्यादेशों की कक्षा में, यह इसे सभी अध्यादेशों के वर्ग के साथ वर्ग-आपत्ति में डालता है)। इतना $$\gamma$$कक्षा में -वाँ तत्व (सम्मेलन के साथ कि 0-वाँ सबसे छोटा है, 1-वाँ अगला सबसे छोटा है, और इसी तरह) स्वतंत्र रूप से बोला जा सकता है। औपचारिक रूप से, परिभाषा ट्रांसफिनिट इंडक्शन द्वारा है: द $$\gamma$$वर्ग के -वें तत्व को परिभाषित किया गया है (बशर्ते यह पहले से ही सभी के लिए परिभाषित किया गया हो $$\beta<\gamma$$), से सबसे छोटे तत्व के रूप में $$\beta$$-वाँ तत्व सभी के लिए $$\beta<\gamma$$.

यह लागू किया जा सकता है, उदाहरण के लिए, सीमा अध्यादेशों के वर्ग के लिए: द $$\gamma$$-वाँ क्रमसूचक, जो या तो एक सीमा है या शून्य है $$\omega\cdot\gamma$$ (ऑर्डिनल्स के गुणन की परिभाषा के लिए क्रमसूचक अंकगणित देखें)। इसी तरह, कोई भी योगात्मक रूप से अपरिवर्तनीय अध्यादेशों पर विचार कर सकता है (जिसका अर्थ है एक गैर-क्रमिक क्रम जो दो कड़ाई से छोटे अध्यादेशों का योग नहीं है): $$\gamma$$-वें योगात्मक रूप से अविघटनीय क्रमसूचक के रूप में अनुक्रमित किया जाता है $$\omega^\gamma $$. क्रमसूचक वर्गों की अनुक्रमणिका की तकनीक अक्सर निश्चित बिंदुओं के संदर्भ में उपयोगी होती है: उदाहरण के लिए, $$\gamma$$-वें क्रमिक $$\alpha$$ ऐसा है कि $$\omega^\alpha = \alpha$$ लिखा है $$\varepsilon_\gamma$$. इन्हें एप्सिलॉन संख्या (गणित) कहा जाता है।

बंद असीमित सेट और कक्षाएं
एक वर्ग $$C$$ ऑर्डिनल्स को किसी भी ऑर्डिनल दिए जाने पर अनबाउंड या कॉफ़ाइनल कहा जाता है $$\alpha$$, वहां एक है $$\beta$$ में $$C$$ ऐसा है कि $$\alpha < \beta$$ (तब वर्ग एक उचित वर्ग होना चाहिए, अर्थात यह एक सेट नहीं हो सकता)। इसे बंद कहा जाता है जब कक्षा में अध्यादेशों के अनुक्रम की सीमा फिर से कक्षा में होती है: या, समकक्ष, जब अनुक्रमण (वर्ग-) कार्य करता है $$F$$ इस अर्थ में निरंतर है कि, के लिए $$\delta$$ एक सीमा क्रमसूचक, $$F(\delta)$$ (द $$\delta$$-वें क्रमवाचक वर्ग में) सभी की सीमा है $$F(\gamma)$$ के लिए $$\gamma < \delta$$; यह टोपोलॉजिकल स्पेस अर्थ में, ऑर्डर टोपोलॉजी के लिए बंद होने जैसा ही है (उचित वर्गों पर टोपोलॉजी की बात करने से बचने के लिए, कोई यह मांग कर सकता है कि किसी दिए गए ऑर्डिनल के साथ क्लास का इंटरसेक्शन उस पर ऑर्डर टोपोलॉजी के लिए बंद है। क्रमसूचक, यह फिर से समतुल्य है)।

विशेष महत्व के ऑर्डिनल्स के वे वर्ग हैं जो क्लब सेट हैं, जिन्हें कभी-कभी क्लब कहा जाता है। उदाहरण के लिए, सभी लिमिट ऑर्डिनल्स का वर्ग बंद और असीमित है: यह इस तथ्य का अनुवाद करता है कि किसी दिए गए ऑर्डिनल की तुलना में हमेशा एक लिमिट ऑर्डिनल बड़ा होता है, और यह कि लिमिट ऑर्डिनल्स की एक सीमा एक लिमिट ऑर्डिनल है (एक भाग्यशाली तथ्य यदि शब्दावली है कोई अर्थ निकालने के लिए!)। योगात्मक रूप से अविघटनीय अध्यादेशों का वर्ग, या का वर्ग $$\varepsilon_\cdot$$ ऑर्डिनल्स, या #ऑर्डिनल्स और कार्डिनल्स की श्रेणी, सभी असीमित रूप से बंद हैं; #Cofinality कार्डिनल्स का सेट, हालांकि, अनबाउंड है, लेकिन बंद नहीं है, और ऑर्डिनल्स का कोई भी सीमित सेट बंद है, लेकिन अनबाउंड नहीं है।

एक वर्ग स्थिर है यदि इसमें प्रत्येक बंद असीमित वर्ग के साथ एक गैर-रिक्त चौराहा है। बंद असीमित वर्गों के सभी सुपरक्लास स्थिर हैं, और स्थिर वर्ग असीमित हैं, लेकिन ऐसे स्थिर वर्ग हैं जो बंद नहीं हैं और स्थिर वर्ग हैं जिनके पास कोई असीमित उपवर्ग नहीं है (जैसे कि गणनीय सह-संबंध वाले सभी सीमा क्रमों का वर्ग)। चूँकि दो बंद असीमित वर्गों का प्रतिच्छेदन बंद और असीमित है, एक स्थिर वर्ग और एक बंद असीमित वर्ग का प्रतिच्छेदन स्थिर है। लेकिन दो स्थिर वर्गों का प्रतिच्छेदन खाली हो सकता है, उदा। कोफिनलिटी के साथ ऑर्डिनल्स का वर्ग ω बेशुमार कॉफिनलिटी वाले ऑर्डिनल्स के वर्ग के साथ।

अध्यादेशों की (उचित) कक्षाओं के लिए इन परिभाषाओं को तैयार करने के बजाय, उन्हें दिए गए क्रमसूचकों के नीचे दिए गए अध्यादेशों के सेट के लिए तैयार किया जा सकता है $$\alpha$$: एक सीमा क्रमसूचक का एक सबसेट $$\alpha$$ के अंतर्गत अनबाउंड (या कोफ़ाइनल) कहा जाता है $$\alpha$$ से कम कोई भी आदेश प्रदान किया $$\alpha$$ सेट में कुछ क्रमसूचक से कम है। अधिक आम तौर पर, कोई भी किसी भी क्रमसूचक का सबसेट कह सकता है $$\alpha$$ में अंतिम $$\alpha$$ से कम हर क्रम प्रदान किया $$\alpha$$ सेट में कुछ क्रमसूचक से कम या बराबर है। सबसेट को के तहत बंद कहा जाता है $$\alpha$$ बशर्ते यह ऑर्डर टोपोलॉजी के लिए बंद हो $$\alpha$$, यानी सेट में ऑर्डिनल्स की एक सीमा या तो सेट में है या इसके बराबर है $$\alpha$$ अपने आप।

क्रमसूचकों का अंकगणित
अध्यादेशों पर तीन सामान्य ऑपरेशन होते हैं: जोड़, गुणा और (क्रमिक) घातांक। प्रत्येक को अनिवार्य रूप से दो अलग-अलग तरीकों से परिभाषित किया जा सकता है: या तो एक स्पष्ट सुव्यवस्थित सेट का निर्माण करके जो ऑपरेशन का प्रतिनिधित्व करता है या ट्रांसफिनिट रिकर्सन का उपयोग करके। क्रमसूचक अंकगणित#कैंटर सामान्य रूप क्रमांक लिखने का एक मानकीकृत तरीका प्रदान करता है। यह विशिष्ट रूप से प्रत्येक क्रमिक को ω की क्रमिक शक्तियों के परिमित योग के रूप में दर्शाता है। हालांकि, यह ε के रूप में इस तरह के स्व-संदर्भित अभ्यावेदन के कारण एक सार्वभौमिक क्रमिक संकेतन का आधार नहीं बना सकता है0 = ओ ε0। तथाकथित प्राकृतिक अंकगणितीय संचालन निरंतरता की कीमत पर क्रमविनिमेयता बनाए रखते हैं।

निम्बर्स (संख्याओं का एक गेम-सैद्धांतिक संस्करण) के रूप में व्याख्या की गई, ऑर्डिनल भी निंबर अंकगणितीय संचालन के अधीन हैं।

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

स्कॉट की चाल के साथ एक समस्या यह है कि यह मुख्य संख्या की पहचान करता है $$0$$ साथ $$\{\emptyset\}$$, जो कुछ योगों में क्रमिक संख्या है $$1$$. मामलों को सीमित करने के लिए वॉन न्यूमैन कार्डिनल असाइनमेंट को लागू करना और सेट के लिए स्कॉट की चाल का उपयोग करना स्पष्ट हो सकता है जो अनंत हैं या अच्छी तरह से आदेश स्वीकार नहीं करते हैं। ध्यान दें कि कार्डिनल और क्रमसूचक अंकगणित परिमित संख्याओं के लिए सहमत हैं।

α-th अनंत प्रारंभिक क्रमसूचक लिखा जाता है $$\omega_\alpha$$, यह हमेशा एक सीमा क्रमसूचक होता है। इसकी कार्डिनलिटी लिखी गई है $$\aleph_\alpha$$. उदाहरण के लिए, ω की कार्डिनैलिटी0 = ω है $$\aleph_0$$, जो ω की प्रमुखता भी है2 या ई0 (सभी गणनीय अध्यादेश हैं)। अतः ω की पहचान की जा सकती है $$\aleph_0$$, सिवाय इसके कि अंकन $$\aleph_0$$ कार्डिनल्स लिखते समय उपयोग किया जाता है, और ω जब ऑर्डिनल्स लिखते हैं (यह महत्वपूर्ण है, उदाहरण के लिए, $$\aleph_0^2$$ = $$\aleph_0$$ जबकि $$\omega^2 > \omega$$). भी, $$\omega_1$$ सबसे छोटा बेशुमार क्रमसूचक है (यह देखने के लिए कि यह मौजूद है, प्राकृतिक संख्याओं के सु-क्रमों के तुल्यता वर्गों के सेट पर विचार करें: प्रत्येक ऐसा सु-क्रम एक गणनीय क्रमसूचक को परिभाषित करता है, और $$\omega_1$$ उस सेट का ऑर्डर प्रकार है), $$\omega_2$$ सबसे छोटा क्रमसूचक है जिसकी कार्डिनैलिटी से अधिक है $$\aleph_1$$, और इतने पर, और $$\omega_\omega$$ की सीमा है $$\omega_n$$ प्राकृतिक संख्या n के लिए (कार्डिनल की कोई भी सीमा एक कार्डिनल है, इसलिए यह सीमा वास्तव में सभी के बाद पहला कार्डिनल है $$\omega_n$$).

सह-अस्तित्व
एक अध्यादेश की cofinality $$\alpha$$ सबसे छोटा क्रमसूचक है $$\delta$$ वह एक कॉफ़ाइनल (गणित) उपसमुच्चय का क्रम प्रकार है $$\alpha$$. ध्यान दें कि कई लेखक कॉफ़िनिटी को परिभाषित करते हैं या इसे केवल सीमित अध्यादेशों के लिए उपयोग करते हैं। ऑर्डिनल्स या किसी अन्य सुव्यवस्थित सेट के सेट की कॉफ़िनलिटी उस सेट के ऑर्डर प्रकार की कॉफ़िनलिटी है।

इस प्रकार एक सीमा क्रमसूचक के लिए, एक मौजूद है $$\delta$$सीमा के साथ कड़ाई से बढ़ते अनुक्रम को अनुक्रमित किया गया $$\alpha$$. उदाहरण के लिए, ω की सह-अंतिमता2 ω है, क्योंकि अनुक्रम ω·m (जहाँ m का दायरा प्राकृतिक संख्याओं से अधिक होता है) ω की ओर प्रवृत्त होता है2; लेकिन, अधिक सामान्यतः, किसी भी गणनीय सीमा क्रमसूचक की सह-अंतिमता ω होती है। एक बेशुमार सीमा क्रमसूचक में या तो सह-अंतिमता ω हो सकती है जैसा कि करता है $$\omega_\omega$$ या एक बेशुमार समानता।

0 की सह-अंतिमता 0 है। और किसी भी उत्तराधिकारी क्रमसूचक की सह-अंतिमता 1 है। किसी भी सीमा क्रमसूचक की सह-अंतिमता कम से कम है $$\omega$$.

एक क्रमसूचक जो इसकी सह-अंकितता के बराबर होता है उसे नियमित कहा जाता है और यह हमेशा एक प्रारंभिक क्रमसूचक होता है। नियमित अध्यादेशों की कोई भी सीमा प्रारंभिक अध्यादेशों की एक सीमा है और इस प्रकार यह भी प्रारंभिक है, भले ही यह नियमित न हो, जो आमतौर पर नहीं होता है। यदि पसंद का स्वयंसिद्ध है, तो $$\omega_{\alpha+1}$$ प्रत्येक α के लिए नियमित है। इस मामले में, अध्यादेश 0, 1, $$\omega$$, $$\omega_1$$, और $$\omega_2$$ नियमित हैं, जबकि 2, 3, $$\omega_\omega$$, और ωω·2 प्रारंभिक अध्यादेश हैं जो नियमित नहीं हैं।

किसी भी ऑर्डिनल α की कॉफ़िनलिटी एक नियमित ऑर्डिनल है, यानी α की कॉफ़िनलिटी की कॉफ़िनलिटी α की कॉफ़िनलिटी के समान है। तो कॉफिनलिटी ऑपरेशन बेवकूफ है।

कुछ बड़े गणनीय अध्यादेश
जैसा कि ऊपर उल्लेख किया गया है (क्रमिक अंकगणित # कैंटर सामान्य रूप देखें), क्रमसूचक ε0 सबसे छोटा संतोषजनक समीकरण है $$\omega^\alpha = \alpha$$, तो यह अनुक्रम 0, 1 की सीमा है, $$\omega$$, $$\omega^\omega$$, $$\omega^{\omega^\omega}$$, आदि। कई अध्यादेशों को इस तरह से परिभाषित किया जा सकता है जैसे कि कुछ क्रमिक कार्यों के निश्चित बिंदु ( $$\iota$$-वाँ क्रमवाचक ऐसा है $$\omega^\alpha = \alpha$$ कहा जाता है $$\varepsilon_\iota$$, तो कोई खोजने की कोशिश कर सकता है $$\iota$$-वाँ क्रमवाचक ऐसा है $$\varepsilon_\alpha = \alpha$$, और इसी तरह, लेकिन सभी सूक्ष्मता वगैरह में निहित है)। कोई इसे व्यवस्थित रूप से करने की कोशिश कर सकता है, लेकिन ऑर्डिनल्स को परिभाषित करने और बनाने के लिए किसी भी सिस्टम का उपयोग नहीं किया जाता है, हमेशा एक ऑर्डिनल होता है जो सिस्टम द्वारा बनाए गए सभी ऑर्डिनल्स के ठीक ऊपर होता है। शायद सबसे महत्वपूर्ण आदेश जो इस तरह से निर्माण की एक प्रणाली को सीमित करता है वह चर्च-क्लीन क्रमसूचक है, $$\omega_1^{\mathrm{CK}}$$ (के बावजूद $$\omega_1$$ नाम में, यह अध्यादेश गणनीय है), जो कि सबसे छोटा क्रमसूचक है जिसे किसी भी तरह से एक संगणनीय कार्य द्वारा प्रदर्शित नहीं किया जा सकता है (इसे निश्चित रूप से कठोर बनाया जा सकता है)। काफी बड़े अध्यादेशों को नीचे परिभाषित किया जा सकता है $$\omega_1^{\mathrm{CK}}$$हालांकि, जो कुछ औपचारिक प्रणालियों की प्रमाण-सैद्धांतिक शक्ति को मापते हैं (उदाहरण के लिए, $$\varepsilon_0$$ पीनो के स्वयंसिद्धों की शक्ति को मापता है)। बड़े गणनीय अध्यादेश जैसे गणनीय स्वीकार्य अध्यादेश भी चर्च-क्लीन अध्यादेश के ऊपर परिभाषित किए जा सकते हैं, जो तर्क के विभिन्न भागों में रुचि रखते हैं।

टोपोलॉजी और ऑर्डिनल्स
ऑर्डर टोपोलॉजी के साथ इसे समाप्त करके किसी भी क्रमिक संख्या को एक टोपोलॉजिकल स्पेस में बनाया जा सकता है; यह टोपोलॉजी असतत टोपोलॉजी है अगर और केवल अगर क्रमवाचक एक गणनीय कार्डिनल है, यानी अधिकतम ω। ω + 1 का एक उपसमुच्चय ऑर्डर टोपोलॉजी में खुला है अगर और केवल अगर यह सहमित है या इसमें एक तत्व के रूप में ω शामिल नहीं है।

ऑर्डर टोपोलॉजी # टोपोलॉजी और ऑर्डर टोपोलॉजी आलेख के ऑर्डिनल्स अनुभाग देखें।

इतिहास
ट्रांसफिनिट ऑर्डिनल नंबर, जो पहली बार 1883 में दिखाई दिए, व्युत्पन्न सेट (गणित) के साथ कैंटर के काम में उत्पन्न हुआ। यदि P वास्तविक संख्याओं का एक समुच्चय है, व्युत्पन्न समुच्चय P', P के सीमा बिंदुओं का समुच्चय है। 1872 में, कैंटर ने समुच्चय P उत्पन्न किया(n) व्युत्पन्न समुच्चय संक्रिया को P पर n बार लागू करके। 1880 में, उन्होंने इंगित किया कि ये समुच्चय अनुक्रम P' ⊇ ··· ⊇ P बनाते हैं(एन) ⊇ पी(n + 1) ⊇ ····, और उन्होंने P को परिभाषित करके व्युत्पत्ति प्रक्रिया जारी रखी(∞) इन समुच्चयों के प्रतिच्छेदन के रूप में। फिर उन्होंने सेट के अपने अनुक्रम को अनंत में विस्तारित करने के लिए व्युत्पन्न सेट ऑपरेशन और चौराहों को दोहराया: पी(∞) ⊇ पी(∞ + 1) ⊇ पी(∞ + 2) ⊇ ··· ⊇ P(2∞) ⊇ ··· ⊇ पी(∞ 2)  ⊇ ····। ∞ वाले सुपरस्क्रिप्ट सिर्फ व्युत्पत्ति प्रक्रिया द्वारा परिभाषित सूचकांक हैं। कैंटर ने इन सेटों को प्रमेयों में इस्तेमाल किया: (1) यदि पी(α) = ∅ कुछ इंडेक्स α के लिए, तो P' गणनीय है; (2) इसके विपरीत, यदि P' गणनीय है, तो एक सूचकांक α ऐसा है कि P(α) = ∅. ये प्रमेय P' को जोड़ो में असंयुक्त समुच्चयों में विभाजित करके सिद्ध होते हैं: P' = (P' ∖ P(2)) ∪ (पी(2) ∖ पी(3)) ∪ ··· ∪ (पी(∞) ∖ पी(∞ + 1)) ∪ ··· ∪ पी(ए) । β < α के लिए: चूंकि पी (β + 1) में P के सीमा बिंदु शामिल हैं(β), समुच्चय P(बी) ∖ पी(β + 1) की कोई सीमा नहीं है। इसलिए, वे असतत सेट हैं, इसलिए वे गणनीय हैं। प्रथम प्रमेय की उपपत्ति: यदि P(α) = ∅ कुछ इंडेक्स α के लिए, तो P' काउंटेबल सेट का काउंटेबल यूनियन है। इसलिए, P' गणनीय है। दूसरे प्रमेय के लिए α के अस्तित्व को साबित करने की आवश्यकता है जैसे कि P(α) = ∅. यह साबित करने के लिए, कैंटर ने सभी α के समुच्चय पर विचार किया जिसमें कई पूर्ववर्तियों की संख्या थी। इस समुच्चय को परिभाषित करने के लिए, उन्होंने परासीमित क्रमसूचक संख्याओं को परिभाषित किया और ∞ को ω से प्रतिस्थापित करके अनंत सूचकों को क्रमसूचकों में रूपांतरित किया, जो कि प्रथम परासीमित क्रमसूचक संख्या है। कैंटर ने परिमित क्रमसूचकों के समुच्चय को प्रथम संख्या वर्ग कहा है। दूसरी संख्या वर्ग क्रमसूचकों का समुच्चय है, जिनके पूर्ववर्ती एक गणनीय रूप से अनंत समुच्चय बनाते हैं। सभी α का समुच्चय जिसमें कई पूर्ववर्तियों की गिनती होती है - अर्थात, गणनीय अध्यादेशों का समुच्चय - इन दो संख्या वर्गों का मिलन है। कैंटर ने साबित किया कि दूसरे नंबर वर्ग की कार्डिनैलिटी पहली बेशुमार कार्डिनैलिटी है। कैंटर का दूसरा प्रमेय बन जाता है: यदि P' गणनीय है, तो एक गणनीय क्रमसूचक α ऐसा है कि P(α) = ∅. इसका प्रमाण विरोधाभास द्वारा प्रमाण का उपयोग करता है। P' को गणनीय होने दें, और मान लें कि ऐसा कोई α नहीं है। यह धारणा दो मामलों का उत्पादन करती है। indent=1
 * केस 1: पी(बी) ∖ पी(β + 1) सभी गणनीय β के लिए खाली नहीं है। चूंकि इनमें से कई जोड़ो में अलग-अलग सेट हैं, इसलिए उनका मिलन बेशुमार है। यह संघ P' का उपसमुच्चय है, इसलिए P' बेशुमार है।
 * केस 2: पी(बी) ∖ पी(β + 1) कुछ गणनीय β के लिए खाली है। चूंकि पी(β + 1) ⊆ पी(β), इसका मतलब पी है(β + 1) = पी (बी) । इस प्रकार, पी (β) एक व्युत्पन्न सेट (गणित) # गुण है, इसलिए यह बेशुमार है। चूंकि पी(β) ⊆ P', सेट P' बेशुमार है।

दोनों ही मामलों में, P' बेशुमार है, जो P' के गणनीय होने का खंडन करता है। इसलिए, एक गणनीय क्रमिक α है जैसे कि पी(α) = ∅. व्युत्पन्न सेटों और क्रमिक संख्याओं के साथ कैंटर के कार्य ने कैंटर-बेंडिक्सन प्रमेय का नेतृत्व किया। उत्तराधिकारियों, सीमाओं और कार्डिनैलिटी का उपयोग करते हुए, कैंटर ने क्रमिक संख्याओं और संख्या वर्गों का एक असीमित अनुक्रम उत्पन्न किया। (α + 1)-वां नंबर क्लास उन ऑर्डिनल्स का सेट है जिनके पूर्ववर्ती α-वें नंबर क्लास के समान कार्डिनैलिटी का एक सेट बनाते हैं। (α + 1)-वें नंबर वर्ग की कार्डिनैलिटी, α-वें नंबर क्लास के तुरंत बाद की कार्डिनैलिटी है। एक सीमा क्रमसूचक α के लिए, α-वें संख्या वर्ग β < α के लिए β-वें संख्या वर्गों का मिलन है। इसकी कार्डिनैलिटी इन संख्या वर्गों की कार्डिनैलिटी की सीमा है।

यदि n परिमित है, n-वें संख्या वर्ग में कार्डिनैलिटी है $$\aleph_{n-1}$$. यदि α ≥ ω, α-वें संख्या वर्ग में प्रमुखता है $$\aleph_\alpha$$. इसलिए, संख्या वर्गों की कार्डिनैलिटी एलेफ संख्याओं के साथ एक-से-एक के अनुरूप होती है। साथ ही, α-वें संख्या वर्ग में पूर्ववर्ती संख्या वर्गों में उन लोगों से भिन्न क्रम होते हैं यदि और केवल यदि α एक गैर-सीमा क्रमसूचक है। इसलिए, गैर-सीमा संख्या वर्ग क्रमवाचकों को जोड़ीदार असंयुक्त सेटों में विभाजित करते हैं।

यह भी देखें

 * गिनती
 * सम और विषम अध्यादेश
 * पहला बेशुमार क्रमसूचक
 * ऑर्डर टोपोलॉजी # ऑर्डिनल स्पेस
 * असली संख्या, अध्यादेशों का एक सामान्यीकरण जिसमें नकारात्मक शामिल हैं

संदर्भ

 * . Published separately as: Grundlagen einer allgemeinen Mannigfaltigkeitslehre.
 * English translation: Contributions to the Founding of the Theory of Transfinite Numbers II.
 * Also defines ordinal operations in terms of the Cantor Normal Form.
 * - English translation of.
 * Also defines ordinal operations in terms of the Cantor Normal Form.
 * - English translation of.
 * Also defines ordinal operations in terms of the Cantor Normal Form.
 * - English translation of.
 * Also defines ordinal operations in terms of the Cantor Normal Form.
 * - English translation of.
 * Also defines ordinal operations in terms of the Cantor Normal Form.
 * - English translation of.
 * Also defines ordinal operations in terms of the Cantor Normal Form.
 * - English translation of.
 * - English translation of.
 * - English translation of.
 * - English translation of.

बाहरी कड़ियाँ

 * Ordinals at ProvenMath
 * Ordinal calculator GPL'd free software for computing with ordinals and ordinal notations
 * Chapter 4 of Don Monk's lecture notes on set theory is an introduction to ordinals.
 * Chapter 4 of Don Monk's lecture notes on set theory is an introduction to ordinals.