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

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

जोड़
दो भिन्न-भिन्न सुव्यवस्थित समुच्चय 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 होते हैं तो α को कभी-कभी γ-संख्या कहा जाता है (जोड़ने योग्य अविभाज्य क्रमसूचक देखें)। ये पूर्णतः ωβ रूप के क्रमसूचक हैं।

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

गुणन की परिभाषा आगमनात्मक रूप से भी दी जा सकती है (निम्नलिखित प्रेरण β पर है):
 * α·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