क्रमिक अंकगणित

सेट सिद्धांत के गणित क्षेत्र में, क्रमसूचक अंकगणित क्रमिक संख्याओं पर तीन सामान्य संक्रियाओं का वर्णन करता है: योग, गुणन और घातांक। प्रत्येक को अनिवार्य रूप से दो अलग-अलग तरीकों से परिभाषित किया जा सकता है: या तो एक स्पष्ट सुव्यवस्थित सेट का निर्माण करके | सुव्यवस्थित सेट जो ऑपरेशन के परिणाम का प्रतिनिधित्व करता है या ट्रांसफिनिट रिकर्सन का उपयोग करके। कैंटर नॉर्मल फॉर्म ऑर्डिनल्स लिखने का एक मानकीकृत तरीका प्रदान करता है। इन सामान्य क्रमिक संक्रियाओं के अतिरिक्त, प्राकृतिक संक्रियाएँ भी होती हैं अध्यादेशों का प्राकृतिक अंकगणित और #Nimber अंकगणित।

जोड़
दो अलग-अलग सुव्यवस्थित सेटों S और T का संघ (सेट सिद्धांत) सुव्यवस्थित हो सकता है। उस संघ का क्रम-प्रकार क्रमसूचक है जो S और T के क्रम-प्रकारों को जोड़ने से उत्पन्न होता है। S को {0} × S और T को {1} × T से बदलें। इस तरह, सुव्यवस्थित सेट S को सुव्यवस्थित सेट T के बाईं ओर लिखा जाता है, जिसका अर्थ है कि S पर एक ऑर्डर परिभाषित करता है $$\cup$$ T जिसमें S का प्रत्येक अवयव T के प्रत्येक अवयव से छोटा है। समुच्चय (गणित) S और T स्वयं उनके पास पहले से मौजूद क्रम को बनाए रखते हैं।

अतिरिक्त α + β की परिभाषा भी β पर ट्रांसफिनिट रिकर्सन द्वारा दी जा सकती है:
 * α + 0 = α
 * α + S(β) = S(α + β), जहां S उत्तराधिकारी क्रमसूचक कार्य को दर्शाता है।
 * $$\alpha + \beta = \bigcup_{\delta<\beta}(\alpha+\delta)$$ जब β एक सीमा क्रमसूचक है।

प्राकृतिक संख्याओं पर क्रमिक जोड़ मानक जोड़ के समान है। पहला ट्रांसफ़िनिटी ऑर्डिनल ω है, सभी प्राकृतिक संख्याओं का सेट, उसके बाद ω + 1, ω + 2, आदि। क्रमिक ω + ω सामान्य फैशन में आदेशित प्राकृतिक संख्याओं की दो प्रतियों द्वारा प्राप्त किया जाता है और दूसरी प्रतिलिपि पूरी तरह से पहले के दाईं ओर। दूसरी प्रति के लिए 0' <1' < 2' <... लिखने पर ω + ω जैसा दिखता है
 * 0 <1 <2 <3 <... <0' <1' <2' <...

यह ω से भिन्न है क्योंकि ω में केवल 0 का प्रत्यक्ष पूर्ववर्ती नहीं होता है जबकि ω + ω में दो तत्वों 0 और 0' का प्रत्यक्ष पूर्ववर्ती नहीं होता है।

गुण
साधारण जोड़ सामान्य रूप से क्रमविनिमेय नहीं है। उदाहरण के लिए, $3 + ω = ω$ के लिए आदेश संबंध के बाद से $3 + ω$ 0 < 1 < 2 < 0 '< 1' < 2 ' <... है, जिसे ω में रीलेबल किया जा सकता है। इसके विपरीत $ω + 3$ ω के बराबर नहीं है क्योंकि क्रम संबंध 0 < 1 < 2 < ... < 0' < 1' < 2' में सबसे बड़ा तत्व है (अर्थात्, 2') और ω नहीं है (ω और $ω + 3$ लैस हैं, लेकिन ऑर्डर-आइसोमोर्फिक नहीं हैं)। क्रमसूचक जोड़ अभी भी साहचर्य है; कोई उदाहरण के लिए देख सकता है कि (ω + 4) + ω = ω + (4 + ω) = ω + ω।

योग सख्ती से बढ़ रहा है और सही तर्क में निरंतर है:
 * $$\alpha < \beta \Rightarrow \gamma + \alpha < \gamma + \beta$$

लेकिन समान संबंध वाम तर्क के लिए मान्य नहीं है; इसके बजाय हमारे पास केवल:
 * $$\alpha < \beta \Rightarrow \alpha+\gamma \le \beta+\gamma$$

क्रमसूचक जोड़ वाम-निरस्तीकरण है: यदि α + β = α + γ, तो β = γ। इसके अलावा, कोई ऑर्डिनल β ≤ α के लिए बाएं डिवीजन को परिभाषित कर सकता है: एक अद्वितीय γ है जैसे कि α = β + γ। दूसरी ओर, सही रद्दीकरण काम नहीं करता:
 * $$3+\omega = 0+\omega = \omega$$ लेकिन $$3 \neq 0$$

न ही सही घटाव, तब भी जब β ≤ α: उदाहरण के लिए, कोई भी γ मौजूद नहीं है जैसे कि γ + 42 = ω।

यदि α से कम क्रमांक अतिरिक्त के तहत बंद होते हैं और 0 होते हैं तो α को कभी-कभी γ-नंबर कहा जाता है (जोड़ने योग्य अविभाज्य क्रमसूचक देखें)। ये बिल्कुल ω रूप के क्रमवाचक हैं ख.

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

गुणन की परिभाषा आगमनात्मक रूप से भी दी जा सकती है (निम्नलिखित प्रेरण β पर है):
 * α·0 = 0.
 * α · S(β) = (α · β) + α, उत्तराधिकारी क्रमसूचक S(β) के लिए।
 * $$\alpha\cdot\beta=\bigcup_{\delta<\beta}(\alpha\cdot\delta)$$, जब β एक सीमा क्रमसूचक है।

एक उदाहरण के रूप में, यहाँ ω·2 के लिए क्रम संबंध है:
 * 00 < 10 < 20 < 30 < ... < 01 < 11 < 21 < 31 <...,

जिसका ऑर्डर प्रकार ω + ω के समान है। इसके विपरीत, 2·ω ऐसा दिखता है:
 * 00 < 10 < 01 < 11 < 02 < 12 < 03 < 13 <...

और पुनः लेबल लगाने के बाद, यह बिल्कुल ω जैसा दिखता है। इस प्रकार, ω·2 = ω+ω ≠ ω = 2·ω, यह दर्शाता है कि क्रमांकों का गुणन सामान्य क्रमविनिमेय नहीं है, c.f. चित्रों।

प्राकृतिक संख्याओं पर फिर से क्रमसूचक गुणन मानक गुणन के समान है।

गुण
α·0 = 0·α = 0, और शून्य-उत्पाद गुण धारण करता है: α·β = 0 $$\Rightarrow$$ α = 0 या β = 0. क्रमिक 1 एक गुणात्मक पहचान है, α·1 = 1·α = α। गुणा सहयोगी है, (α·β)·γ = α·(β·γ)। गुणा सही तर्क में सख्ती से बढ़ रहा है और निरंतर है: (α < β और γ > 0) $$\Rightarrow$$ γ·α < γ·β. बाएं तर्क में गुणन सख्ती से नहीं बढ़ रहा है, उदाहरण के लिए, 1 < 2 लेकिन 1·ω = 2·ω = ω। हालांकि, यह (गैर-सख्ती से) बढ़ रहा है, यानी α ≤ β $$\Rightarrow$$ α·γ ≤ β·γ.

अध्यादेशों का गुणन सामान्य क्रमविनिमेय नहीं है। विशेष रूप से, 1 से अधिक एक प्राकृतिक संख्या कभी भी किसी भी अनंत क्रमसूचक के साथ नहीं चलती है, और दो अनंत क्रमांक α, β लघुकरण अगर और केवल αएम  = बी n कुछ धनात्मक प्राकृत संख्याओं m और n के लिए। संबंध α β के साथ संचार करता है, 1 से अधिक क्रमांक पर एक तुल्यता संबंध है, और सभी तुल्यता वर्ग अनगिनत रूप से अनंत हैं।

वितरणता, बाईं ओर रखती है: α(β + γ) = αβ + αγ। हालांकि, दाईं ओर वितरण नियम (β + γ)α = βα+γα आम तौर पर सत्य नहीं है: (1 + 1)·ω = 2·ω = ω जबकि 1·ω + 1·ω = ω+ω, जो फरक है। एक वाम-निरस्तीकरण कानून है: यदि α > 0 और α·β = α·γ, तो β = γ। राइट कैंसिलेशन काम नहीं करता है, उदा। 1·ω = 2·ω = ω, लेकिन 1 और 2 भिन्न हैं। शेष संपत्ति के साथ एक बायां विभाजन: सभी α और β के लिए, यदि β > 0 है, तो अद्वितीय γ और δ हैं जैसे कि α = β·γ + δ और δ < β। सही विभाजन काम नहीं करता: ऐसा कोई α नहीं है कि α·ω ≤ ωω ≤ (α + 1)·ω.

क्रमसूचक संख्याएँ बाएँ निकट-सेमीरिंग बनाती हैं, लेकिन एक वलय (बीजगणित) नहीं बनाती हैं। इसलिए ऑर्डिनल्स एक यूक्लिडियन डोमेन नहीं हैं, क्योंकि वे एक रिंग भी नहीं हैं – इसके अलावा यूक्लिडियन मानदंड यहां बाएं डिवीजन का उपयोग करके क्रमिक-मूल्यवान होगा।

एक δ-नंबर (एडिटिवली इंडिकम्पोज़ेबल ऑर्डिनल#मल्टीप्लिकेटिवली इंडिकम्पोज़ेबल देखें) 1 से बड़ा एक ऑर्डिनल β है जैसे कि αβ=β जब भी 0 < α < β होता है। इनमें क्रमसूचक 2 और β = ω रूप के क्रमांक शामिल हैंω सी.

घातांक
ऑर्डर प्रकार के माध्यम से परिभाषा को सबसे आसानी से ऑर्डिनल नंबर#वॉन न्यूमैन डेफिनिशन ऑफ ऑर्डिनल्स का उपयोग करके समझाया जाता है।वॉन न्यूमैन की सभी छोटे ऑर्डिनल्स के सेट के रूप में ऑर्डिनल की परिभाषा। फिर, ऑर्डर टाइप α का एक सेट बनाने के लिएβ β से α तक सभी कार्यों पर विचार करें जैसे कि डोमेन β के तत्वों की केवल एक परिमित संख्या α के गैर शून्य तत्व के लिए मैप करती है (अनिवार्य रूप से, हम सीमित समर्थन (गणित) के साथ कार्यों पर विचार करते हैं)। आदेश पहले कम से कम महत्वपूर्ण स्थिति के साथ लेक्सिकोग्राफ़िक है।

घातांक की परिभाषा भी आगमनात्मक रूप से दी जा सकती है (निम्नलिखित प्रेरण β, घातांक पर है):
 * α0 = 1।
 * αS(β) = (αβ) · α, उत्तराधिकारी क्रमसूचक S(β) के लिए।
 * $$\alpha^\beta=\bigcup_{0<\delta<\beta}(\alpha^\delta)$$, जब β एक सीमा क्रमसूचक है।

परिमित घातांक के लिए क्रमिक घातांक की परिभाषा सीधी है। यदि घातांक एक परिमित संख्या है, तो शक्ति पुनरावृत्त गुणन का परिणाम है। उदाहरण के लिए, ω2 = ω·ω क्रमसूचक गुणन की संक्रिया का प्रयोग करके। ध्यान दें कि ω·ω को 2 = {0,1} से ω = {0,1,2,...} तक के कार्यों के सेट का उपयोग करके परिभाषित किया जा सकता है, पहले कम से कम महत्वपूर्ण स्थिति के साथ क्रमबद्ध शब्दावली क्रम:
 * (0,0) <(1,0) <(2,0) <(3,0) <... <(0,1) <(1,1) <(2,1) <(3, 1) <... <(0,2) <(1,2) <(2,2) <...

यहाँ संक्षिप्तता के लिए, हमने फ़ंक्शन {(0,k), (1,m)} को क्रमित जोड़ी (k, m) से बदल दिया है।

इसी प्रकार, किसी परिमित घातांक n के लिए, $$\omega^n$$ n (डोमेन) से प्राकृतिक संख्याओं (कोडोमेन) तक के कार्यों के सेट का उपयोग करके परिभाषित किया जा सकता है। इन कार्यों को प्राकृतिक संख्याओं के tuple|n-tuples के रूप में संक्षिप्त किया जा सकता है।

लेकिन अपरिमित घातांकों के लिए, परिभाषा स्पष्ट नहीं हो सकती है। एक सीमा क्रमसूचक, जैसे कि ωω, सभी छोटे क्रमांकों का सर्वोच्च है। ω को परिभाषित करना स्वाभाविक प्रतीत हो सकता हैω प्राकृतिक संख्याओं के सभी अनंत अनुक्रमों के सेट का उपयोग करके। हालाँकि, हम पाते हैं कि इस सेट पर किसी भी निरपेक्षता (गणितीय तर्क) को परिभाषित क्रम सुव्यवस्थित नहीं है। इस मुद्दे से निपटने के लिए परिभाषा सेट को अनुक्रमों तक सीमित करती है जो केवल तर्कों की सीमित संख्या के लिए गैर-शून्य हैं। यह स्वाभाविक रूप से आधार की परिमित शक्तियों की सीमा के रूप में प्रेरित होता है (बीजगणित में प्रतिफल की अवधारणा के समान)। इसे अनंत मिलन भी माना जा सकता है $$\bigcup_{n<\omega}\omega^n$$.

उनमें से प्रत्येक अनुक्रम एक क्रमसूचक से कम से मेल खाता है $$\omega^\omega$$ जैसे कि $$\omega^{n_1} c_1 + \omega^{n_2} c_2 + \cdots + \omega^{n_k} c_k$$ और $$\omega^\omega$$ उन सभी छोटे अध्यादेशों का सर्वोच्च है।

इस सेट पर लेक्सिकोोग्राफ़िकल ऑर्डर एक अच्छा क्रम है जो दशमलव अंकन में लिखी गई प्राकृतिक संख्याओं के क्रम के समान होता है, केवल अंक 0-9 के बजाय अंकों की स्थिति को उलट कर, और मनमाना प्राकृतिक संख्याओं के साथ:


 * (0,0,0,...) <(1,0,0,0,...) <(2,0,0,0,...) <... <
 * (0,1,0,0,0,...) <(1,1,0,0,0,...) <(2,1,0,0,0,...) <। .. <
 * (0,2,0,0,0,...) <(1,2,0,0,0,...) <(2,2,0,0,0,...)
 * (0,0,1,0,0,0,...) <(1,0,1,0,0,0,...) <(2,0,1,0,0,0, ...)
 * (0,0,1,0,0,0,...) <(1,0,1,0,0,0,...) <(2,0,1,0,0,0, ...)

सामान्य तौर पर, α प्राप्त करने के लिए किसी भी क्रमिक α को दूसरे क्रमसूचक β की शक्ति तक बढ़ाया जा सकता है ख.

हम देखतें है
 * 1ω = 1,
 * 2ω = ω,
 * 2ω+1 = ω·2 = ω+ω.

जबकि एक ही संकेतन का उपयोग क्रमिक घातांक और कार्डिनल घातांक के लिए किया जाता है, क्रमिक घातांक कार्डिनल घातांक से काफी भिन्न होता है। उदाहरण के लिए, क्रमिक घातांक के साथ $$2^\omega = \omega$$, लेकिन के लिए $$\aleph_0$$(एलेफ शून्य, की प्रमुखता $$\omega$$), $$2^{\aleph_0} > \aleph_0$$. यहाँ, $$2^{\aleph_0}$$ सभी प्राकृतिक संख्याओं के सेट से लेकर दो तत्वों वाले सेट तक सभी कार्यों के सेट की प्रमुखता है। (यह सभी प्राकृतिक संख्याओं के सेट के सत्ता स्थापित  की कार्डिनैलिटी है और इसके बराबर है $$\mathfrak c$$, सातत्य की प्रमुखता।) क्रमवाचक घातांक को कार्डिनल घातांक के साथ भ्रमित करने से बचने के लिए, कोई भी क्रमवाचक के लिए प्रतीकों (जैसे ω) का उपयोग पूर्व में और कार्डिनल के लिए प्रतीकों (जैसे। $$\aleph_0$$) बाद वाले में।

गुण

 * α0 = 1।
 * यदि 0 <α, तो 0α = 0।
 * 1α = 1।
 * ए 1 = ए।
 * एख·ए सी  = ए बी + सी ।
 * (एबी)सी  = ए बी·सी.
 * ऐसे α, β, और γ हैं जिनके लिए (α·β)सी ≠ एसी·बीसी. उदाहरण के लिए, (ω·2)2 = ω·2·ω·2 = ω2·2 ≠ ω2·4.
 * क्रमिक घातांक सख्ती से बढ़ रहा है और सही तर्क में निरंतर है: यदि γ > 1 और α < β, तो γ ए <सी ख.
 * यदि α <β, तो αसी ≤ बीजी. उदाहरण के लिए ध्यान दें कि 2 <3 और फिर भी 2 ω = 3 ω = ω.
 * यदि α > 1 और αबी  = ए γ, तो β = γ। यदि α = 1 या α = 0 यह स्थिति नहीं है।
 * सभी α और β के लिए, यदि β > 1 और α > 0 तो अद्वितीय γ, δ, और ρ मौजूद हैं जैसे कि α = βγ·δ + ρ ऐसा कि 0 < δ < β और ρ < β जी.

अर्न्स्ट जैकबस्टल ने दिखाया कि α का एकमात्र समाधानβ = βα α≤β के साथ α=β, या α=2 और β=4 द्वारा दिया जाता है, या α कोई सीमा क्रमसूचक है और β=εα जहां ε एक एप्सिलॉन संख्या (गणित) है|ε-संख्या इससे बड़ी है एक।

घातांक से परे
ऐसे क्रमिक संचालन होते हैं जो अनुक्रम, गुणन और घातांक द्वारा शुरू किए गए अनुक्रम को जारी रखते हैं, जिसमें टेट्रेशन, pentation  और  hexation  के क्रमिक संस्करण शामिल हैं। वेब्लेन समारोह भी देखें।

कैंटर सामान्य रूप
प्रत्येक क्रमिक संख्या α को विशिष्ट रूप से लिखा जा सकता है $$\omega^{\beta_1} c_1 + \omega^{\beta_2}c_2 + \cdots + \omega^{\beta_k}c_k$$, जहाँ k एक प्राकृत संख्या है, $$c_1, c_2, \ldots, c_k$$ सकारात्मक पूर्णांक हैं, और $$\beta_1 > \beta_2 > \ldots > \beta_k \geq 0$$ क्रमवाचक संख्याएँ हैं। पतित मामला α = 0 तब होता है जब k = 0 होता है और कोई βs और cs नहीं होता है। Α के इस अपघटन को α का 'कैंटर सामान्य रूप' कहा जाता है, और इसे आधार-ω स्थितीय अंक प्रणाली माना जा सकता है। उच्चतम प्रतिपादक $$\beta_1$$ की उपाधि कहलाती है $$\alpha$$, और संतुष्ट करता है $$\beta_1\le\alpha$$. समानता $$\beta_1=\alpha$$ अगर और केवल अगर लागू होता है $$\alpha=\omega^\alpha$$. उस स्थिति में कैंटर सामान्य रूप क्रमसूचक को छोटे वाले के संदर्भ में व्यक्त नहीं करता है; यह नीचे बताए अनुसार हो सकता है।

कैंटर नॉर्मल फॉर्म का एक मामूली बदलाव, जिसके साथ काम करना आमतौर पर थोड़ा आसान होता है, सभी नंबरों को सेट करना हैi 1 के बराबर और घातांकों को बराबर होने दें। दूसरे शब्दों में, प्रत्येक क्रमिक संख्या α को विशिष्ट रूप से लिखा जा सकता है $$\omega^{\beta_1} + \omega^{\beta_2} + \cdots + \omega^{\beta_k}$$, जहाँ k एक प्राकृतिक संख्या है, और $$\beta_1 \ge \beta_2 \ge \ldots \ge \beta_k \ge 0$$ क्रमवाचक संख्याएँ हैं।

कैंटर सामान्य रूप की एक और भिन्नता आधार δ विस्तार है, जहां ω को किसी भी क्रमसूचक δ>1 द्वारा प्रतिस्थापित किया जाता है, और संख्या ci सकारात्मक ordinals δ से कम हैं।

कैंटर सामान्य रूप हमें विशिष्ट रूप से अभिव्यक्त करने की अनुमति देता है - और ऑर्डर - ऑर्डिनल्स α जो कि प्राकृतिक संख्याओं से जोड़, गुणा और घातांक आधार के अंकगणितीय संचालन की एक सीमित संख्या से निर्मित होते हैं-$$\omega$$: दूसरे शब्दों में, मानते हुए $$\beta_1<\alpha$$ कैंटर सामान्य रूप में, हम घातांकों को भी व्यक्त कर सकते हैं $$\beta_i$$ कैंटर सामान्य रूप में, और के लिए समान धारणा बना रहा है $$\beta_i$$ जैसा कि α और इसी तरह पुनरावर्ती रूप से, हमें इन क्रमों के लिए अंकन की एक प्रणाली मिलती है (उदाहरण के लिए,
 * $$\omega^{\omega^{\omega^7\cdot6+\omega+42}\cdot1729+\omega^9+88}\cdot3+\omega^{\omega^\omega}\cdot5+65537$$

एक क्रमसूचक को दर्शाता है)।

क्रमसूचक ε0 (एप्सिलॉन संख्याएं (गणित)) कैंटर सामान्य रूप की परिमित-लंबाई अंकगणितीय अभिव्यक्तियों के क्रमिक मानों α का सेट है जो आनुवंशिक रूप से गैर-तुच्छ हैं जहां गैर-तुच्छ का अर्थ है β1<α जब 0<α। यह सबसे छोटा क्रमसूचक है जिसमें ω के संदर्भ में परिमित अंकगणितीय अभिव्यक्ति नहीं है, और सबसे छोटा क्रमिक है जैसे कि $$\varepsilon_0 = \omega^{\varepsilon_0}$$, यानी कैंटर नॉर्मल फॉर्म में एक्सपोनेंट खुद ऑर्डिनल से छोटा नहीं होता है। यह क्रम की सीमा है
 * $$0, \, 1=\omega^0, \, \omega=\omega^1, \, \omega^\omega, \, \omega^{\omega^\omega}, \, \ldots \,.$$

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

कैंटर नॉर्मल फॉर्म भी हमें ऑर्डिनल्स के योग और उत्पादों की गणना करने की अनुमति देता है: योग की गणना करने के लिए, उदाहरण के लिए, किसी को केवल जानने की जरूरत है (में सूचीबद्ध गुणों को देखें) और ) वह
 * $$\omega^{\beta} c+\omega^{\beta'} c' = \omega^{\beta'}c' \,,$$

अगर $$\beta'>\beta$$ (अगर $$\beta'=\beta$$ कोई वितरण नियम को बाईं ओर लागू कर सकता है और इसे इस रूप में फिर से लिख सकता है $$\omega^{\beta} (c+c')$$, और अगर $$\beta'<\beta$$ अभिव्यक्ति पहले से ही कैंटर सामान्य रूप में है); और उत्पादों की गणना करने के लिए, आवश्यक तथ्य हैं कि कब $$0 < \alpha = \omega^{\beta_1} c_1 + \cdots + \omega^{\beta_k}c_k$$ कैंटर सामान्य रूप में है और $$0 < \beta' $$, तब
 * $$\alpha\omega^{\beta'} = \omega^{\beta_1 + \beta'} \,$$

और
 * $$\alpha n = \omega^{\beta_1} c_1 n + \omega^{\beta_2} c_2 + \cdots + \omega^{\beta_k}c_k \,,$$

यदि n एक शून्येतर प्राकृतिक संख्या है।

कैंटर सामान्य रूप में लिखे गए दो क्रमांकों की तुलना करने के लिए, पहले तुलना करें $$\beta_1$$, तब $$c_1$$, तब $$\beta_2$$, तब $$c_2$$, आदि .. पहले अंतर पर, जिस क्रमसूचक का बड़ा घटक होता है वह बड़ा क्रमसूचक होता है। यदि वे तब तक समान हैं जब तक एक दूसरे से पहले समाप्त नहीं हो जाता है, तो जो पहले समाप्त होता है वह छोटा होता है।

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

एक प्रमुख क्रमसूचक 1 से अधिक एक क्रमसूचक है जिसे दो छोटे क्रमसूचकों के उत्पाद के रूप में नहीं लिखा जा सकता है। कुछ प्रथम अभाज्य संख्याएँ हैं 2, 3, 5, ..., ω, ω+1, ω2+1, ओह3+1, ..., ओओह, ओहω+1, ωω+1+1, ... प्रधान क्रमसूचक तीन प्रकार के होते हैं:
 * परिमित अभाज्य संख्याएँ 2, 3, 5, ...
 * रूप के क्रमांक ωω α किसी भी क्रमिक α के लिए। ये प्रमुख अध्यादेश हैं जो सीमाएँ हैं, और Additively indecomposable ordinal#Multiplicatively_indecomposables हैं, transfinite ordinals जो गुणन के तहत बंद हैं।
 * रूप के क्रमांक ωα+1 किसी भी क्रमिक α>0 के लिए। ये अनंत उत्तराधिकारी अभाज्य संख्याएँ हैं, और योगात्मक रूप से अविघटनीय अध्यादेशों के उत्तराधिकारी हैं, योज्य रूप से अविघटनीय अध्यादेश हैं।

अभाज्य संख्याओं में गुणनखंड अद्वितीय नहीं है: उदाहरण के लिए, 2×3=3×2, 2×ω=ω, (ω+1)×ω=ω×ω और ω×ωω = ω ω. हालाँकि, निम्नलिखित अतिरिक्त शर्तों को पूरा करने वाले primes में एक अनूठा गुणनखंड है:
 * हर लिमिट प्राइम हर सक्सेसर प्राइम से पहले आता है
 * यदि अभाज्य गुणनखंडन के दो लगातार अभाज्य दोनों सीमाएँ या दोनों परिमित हैं, तो दूसरा अधिक से अधिक पहला है।

कैंटर सामान्य रूप का उपयोग करके इस प्रमुख कारक को आसानी से पढ़ा जा सकता है:
 * पहले क्रमसूचक को एक उत्पाद αβ के रूप में लिखें जहां α कैंटर सामान्य रूप में ω की सबसे छोटी शक्ति है और β एक उत्तराधिकारी है।
 * अगर α=ωγ तो कैंटर सामान्य रूप में γ लिखने से लिमिट प्राइम्स के उत्पाद के रूप में α का विस्तार होता है।
 * अब β के कैंटर सामान्य रूप को देखें। अगर β = ωλम + ω μn + छोटे पद, तो β = (ωmn + छोटे पद)(ωλ−μ + 1)m एक छोटे क्रमसूचक और एक अभाज्य और एक पूर्णांक m का गुणनफल है। इसे दोहराते हुए और पूर्णांकों को अभाज्य संख्याओं में गुणनखंडित करने से β का अभाज्य गुणनखंड प्राप्त होता है।

तो कैंटर नॉर्मल फॉर्म का गुणन क्रमसूचक है
 * $$\omega^{\alpha_1}n_1+\cdots +\omega^{\alpha_k}n_k$$ (साथ $$\alpha_1>\cdots>\alpha_k$$)

अनंत प्राइम्स और पूर्णांकों के न्यूनतम उत्पाद में है
 * $$\omega^{\omega^{\beta_1}}\cdots\omega^{\omega^{\beta_m}}n_k(\omega^{\alpha_{k-1}-\alpha_k}+1)n_{k-1}\cdots n_2(\omega^{\alpha_{1}-\alpha_2}+1)n_1$$

जहां प्रत्येक एनi परिमित प्राइम्स के एक गैर-बढ़ते अनुक्रम में इसके गुणनखंड द्वारा प्रतिस्थापित किया जाना चाहिए और
 * $$\alpha_k=\omega^{\beta_1}+\cdots +\omega^{\beta_m}$$ साथ $$\beta_1\ge\cdots\ge\beta_m$$.

बड़े गणनीय अध्यादेश
जैसा कि ऊपर चर्चा की गई है, कैंटर नीचे दिए गए अध्यादेशों का सामान्य रूप है $$\varepsilon_0$$ एक वर्णमाला में व्यक्त किया जा सकता है जिसमें केवल जोड़, गुणा और घातांक के लिए फ़ंक्शन प्रतीक होते हैं, साथ ही साथ प्रत्येक प्राकृतिक संख्या और के लिए निरंतर प्रतीक भी होते हैं। $$\omega$$. हम केवल निरंतर प्रतीक 0 और उत्तराधिकारी के संचालन का उपयोग करके असीमित रूप से कई अंकों से दूर हो सकते हैं, $$S$$ (उदाहरण के लिए, पूर्णांक 4 को इस रूप में व्यक्त किया जा सकता है $$S(S(S(S(0))))$$). यह एक क्रमसूचक संकेतन का वर्णन करता है: एक परिमित वर्णमाला पर क्रमसूचकों के नामकरण के लिए एक प्रणाली। क्रमसूचक संकेतन की इस विशेष प्रणाली को अंकगणितीय क्रमिक अभिव्यक्तियों का संग्रह कहा जाता है, और नीचे दिए गए सभी क्रमों को व्यक्त कर सकता है $$\varepsilon_0$$है, पर व्यक्त नहीं कर सकता $$\varepsilon_0$$. ऐसे अन्य क्रमिक संकेतन हैं जो अध्यादेशों को अच्छी तरह से पकड़ने में सक्षम हैं $$\varepsilon_0$$, लेकिन क्योंकि किसी भी परिमित वर्णमाला पर केवल गिने-चुने तार हैं, किसी भी क्रमसूचक संकेतन के लिए नीचे क्रमसूचक होंगे $$\omega_1$$ (पहला बेशुमार क्रमसूचक) जो व्यक्त नहीं किया जा सकता। ऐसे अध्यादेशों को बड़े गणनीय अध्यादेशों के रूप में जाना जाता है।

जोड़, गुणन और घातांक के संचालन आदिम पुनरावर्ती क्रमिक कार्यों के सभी उदाहरण हैं, और अधिक सामान्य आदिम पुनरावर्ती क्रमिक कार्यों का उपयोग बड़े अध्यादेशों का वर्णन करने के लिए किया जा सकता है।

प्राकृतिक संचालन
अध्यादेशों पर प्राकृतिक योग और प्राकृतिक उत्पाद संचालन को 1906 में गेरहार्ड हेसनबर्ग द्वारा परिभाषित किया गया था, और कभी-कभी हेसेनबर्ग योग (या उत्पाद) कहा जाता है।. ये असली संख्याओं के जॉन कॉनवे के फील्ड (गणित) के जोड़ और गुणा (ऑर्डिनल्स तक सीमित) के समान हैं। उनके पास यह लाभ है कि वे साहचर्य और क्रमविनिमेय हैं, और प्राकृतिक उत्पाद प्राकृतिक राशि पर वितरित होते हैं। इन परिचालनों को क्रमविनिमेय बनाने की लागत यह है कि वे सही तर्क में निरंतरता खो देते हैं, जो साधारण योग और उत्पाद की संपत्ति है। α और β के प्राकृतिक योग को अक्सर α ⊕ β या α # β, और प्राकृतिक उत्पाद α ⊗ β या α ⨳ β द्वारा दर्शाया जाता है।

प्राकृतिक संक्रियाएँ अच्छी तरह से अर्ध-आदेश के सिद्धांत में सामने आती हैं; ऑर्डर प्रकार (अधिकतम रैखिक ऑर्डर) ओ(एस) और ओ(टी) के दो अच्छी तरह से आंशिक ऑर्डर एस और टी दिए गए हैं, डिसजॉइंट यूनियन का प्रकार ओ(एस) ⊕ ओ(टी) है, जबकि प्रत्यक्ष का प्रकार उत्पाद ओ(एस) ⊗ ओ(टी) है। एस और टी को ऑर्डिनल्स α और β चुनकर इस संबंध को प्राकृतिक संचालन की परिभाषा के रूप में लिया जा सकता है; इसलिए α ⊕ β कुल ऑर्डर का अधिकतम ऑर्डर प्रकार है जो α और β के डिसजॉइंट यूनियन (आंशिक ऑर्डर के रूप में) को बढ़ाता है; जबकि α ⊗ β, α और β के प्रत्यक्ष उत्पाद (आंशिक आदेश के रूप में) को विस्तारित करने वाले कुल ऑर्डर का अधिकतम ऑर्डर प्रकार है। इसका एक उपयोगी अनुप्रयोग तब होता है जब α और β दोनों कुछ बड़े कुल क्रम के उपसमुच्चय होते हैं; तब उनके संघ का ऑर्डर प्रकार अधिकतम α ⊕ β होता है। यदि वे दोनों किसी क्रमित समूह के उपसमुच्चय हैं, तो उनके योग का क्रम प्रकार अधिक से अधिक α ⊗ β होता है।

हम α और β के प्राकृतिक योग को आगमनात्मक रूप से भी परिभाषित कर सकते हैं (α और β पर एक साथ प्रेरण द्वारा) सभी γ < β के लिए α और γ के प्राकृतिक योग और सभी γ < α के लिए γ और β के प्राकृतिक योग से अधिक सबसे छोटा क्रमिक योग है। प्राकृतिक उत्पाद (पारस्परिक प्रेरण द्वारा) की एक आगमनात्मक परिभाषा भी है, लेकिन इसे लिखना कुछ कठिन है और हम ऐसा नहीं करेंगे (उस संदर्भ में परिभाषा के लिए वास्तविक संख्याओं पर लेख देखें, हालांकि, असली का उपयोग करता है घटाव, कुछ ऐसा जो स्पष्ट रूप से अध्यादेशों पर परिभाषित नहीं किया जा सकता)।

प्राकृतिक योग साहचर्य और क्रमविनिमेय है। यह हमेशा सामान्य योग से अधिक या बराबर होता है, लेकिन यह सख्ती से अधिक हो सकता है। उदाहरण के लिए, ω और 1 का प्राकृतिक योग ω+1 (सामान्य योग) है, लेकिन यह 1 और ω का प्राकृतिक योग भी है। प्राकृतिक उत्पाद साहचर्य और क्रमविनिमेय है और प्राकृतिक योग पर वितरित करता है। प्राकृतिक उत्पाद हमेशा सामान्य उत्पाद से बड़ा या बराबर होता है, लेकिन यह सख्ती से बड़ा हो सकता है। उदाहरण के लिए, ω और 2 का प्राकृतिक उत्पाद ω·2 (सामान्य उत्पाद) है, लेकिन यह 2 और ω का प्राकृतिक उत्पाद भी है।

फिर भी दो अध्यादेशों α और β के प्राकृतिक योग और उत्पाद को परिभाषित करने का एक और तरीका कैंटर सामान्य रूप का उपयोग करना है: कोई क्रमांक का अनुक्रम पा सकता है जी1 > ... > सीn और दो अनुक्रम (के1, ..., कn) और (जे1, ..., जेn) प्राकृतिक संख्या (शून्य सहित, लेकिन संतोषजनक कi + जेi > 0 सभी के लिए i) ऐसा कि
 * $$\alpha = \omega^{\gamma_1}\cdot k_1 + \cdots +\omega^{\gamma_n}\cdot k_n$$
 * $$\beta = \omega^{\gamma_1}\cdot j_1 + \cdots +\omega^{\gamma_n}\cdot j_n$$

और परिभाषित करें
 * $$\alpha \#\beta = \omega^{\gamma_1}\cdot (k_1+j_1) + \cdots +\omega^{\gamma_n}\cdot (k_n+j_n).$$

प्राकृतिक जोड़ के तहत, गामा संख्या ω द्वारा उत्पन्न मुफ्त कम्यूटेटिव मोनोइड के तत्वों के साथ अध्यादेशों की पहचान की जा सकती हैα. प्राकृतिक जोड़ और गुणन के तहत, डेल्टा संख्या ω द्वारा उत्पन्न मोटी हो जाओ के तत्वों के साथ अध्यादेशों की पहचान की जा सकती हैω α. ऑर्डिनल्स में प्राकृतिक उत्पाद के तहत प्राइम्स में अद्वितीय कारक नहीं होते हैं। जबकि पूर्ण बहुपद वलय में अद्वितीय गुणनखंड होता है, गैर-नकारात्मक गुणांक वाले बहुपदों का उपसमुच्चय नहीं होता है: उदाहरण के लिए, यदि x कोई डेल्टा संख्या है, तो
 * $$x^5+x^4+x^3+x^2+x+1=(x+1)(x^4+x^2+1)=(x^2+x+1)(x^3+1)$$

गैर-नकारात्मक गुणांक वाले बहुपदों के प्राकृतिक उत्पाद के रूप में दो असंगत अभिव्यक्तियाँ हैं जिन्हें आगे विघटित नहीं किया जा सकता है।

नम्बर अंकगणित
ऑर्डिनल्स और निम्बर्स के बीच एक-से-एक पत्राचार के आधार पर ऑर्डिनल्स पर अंकगणितीय ऑपरेशन होते हैं। निम्बरों पर तीन सामान्य संक्रियाएँ निम्बर जोड़, निंबर गुणन और मेक्स (गणित)|न्यूनतम अपवर्जन (मेक्स) हैं। निम्बर जोड़ प्राकृतिक संख्याओं पर बिटवाइज़ ऑपरेशन #XOR ऑपरेशन का एक सामान्यीकरण है। वह $mex$ अध्यादेशों के एक सेट में सबसे छोटा क्रमसूचक है जो सेट में मौजूद नहीं है।

संदर्भ

 * Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9.
 * Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9.

बाहरी संबंध

 * ordCalc ordinal calculator