क्रमिक अंकगणित: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Operations on ordinals that extend classical arithmetic}} सेट सिद्धांत के गणित क्षेत्र में, क्र...")
 
No edit summary
 
(37 intermediate revisions by 6 users not shown)
Line 1: Line 1:
{{short description|Operations on ordinals that extend classical arithmetic}}
{{short description|Operations on ordinals that extend classical arithmetic}}
सेट सिद्धांत के गणित क्षेत्र में, क्रमसूचक अंकगणित क्रमिक संख्याओं पर तीन सामान्य संक्रियाओं का वर्णन करता है: योग, गुणन और [[घातांक]]प्रत्येक को अनिवार्य रूप से दो अलग-अलग तरीकों से परिभाषित किया जा सकता है: या तो एक स्पष्ट सुव्यवस्थित सेट का निर्माण करके | सुव्यवस्थित सेट जो ऑपरेशन के परिणाम का प्रतिनिधित्व करता है या [[ट्रांसफिनिट रिकर्सन]] का उपयोग करके। कैंटर नॉर्मल फॉर्म ऑर्डिनल्स लिखने का एक मानकीकृत तरीका प्रदान करता है। इन सामान्य क्रमिक संक्रियाओं के अतिरिक्त, प्राकृतिक संक्रियाएँ भी होती हैं अध्यादेशों का प्राकृतिक अंकगणित और #Nimber अंकगणित।
समुच्चय सिद्धांत के गणितीय क्षेत्र में, '''क्रमिक अंकगणित''' क्रमसूचक संख्याओं के योग, गुणन और [[घातांक]] पर तीन सामान्य संक्रियाओं का वर्णन करता है। प्रत्येक को अनिवार्य रूप से दो भिन्न-भिन्न विधियों द्वारा परिभाषित किया जा सकता है, या तो [[ट्रांसफिनिट रिकर्सन|परिमित प्रत्यावर्तन]] का उपयोग करके अथवा स्पष्ट सुव्यवस्थित समुच्चय का निर्माण करके जो ऑपरेशन के परिणाम का प्रतिनिधित्व करता है। कैंटर सामान्य रूप क्रमसूचक संख्याओं को लिखने की मानकीकृत विधि प्रदान करता है। इन सामान्य क्रमसूचक संक्रियाओं के अतिरिक्त, क्रमसूचकों का "प्राकृतिक" अंकगणित और निम्बर संक्रियाएँ भी होती हैं।


== जोड़ ==
== जोड़ ==


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


अतिरिक्त α + β की परिभाषा भी β पर ट्रांसफिनिट रिकर्सन द्वारा दी जा सकती है:
योग α + β की परिभाषा, β पर परिमित प्रत्यावर्तन द्वारा प्राप्त की जा सकती है:
* α + 0 = α
* α + 0 = α
* {{nowrap|1=''α'' + ''S''(''β'') = ''S''(''α'' + ''β'')}}, जहां S [[उत्तराधिकारी क्रमसूचक]] कार्य को दर्शाता है।
* {{nowrap|1=''α'' + ''S''(''β'') = ''S''(''α'' + ''β'')}}, जहाँ S [[उत्तराधिकारी क्रमसूचक]] फलन को दर्शाता है।
* <math>\alpha + \beta = \bigcup_{\delta<\beta}(\alpha+\delta)</math> जब β एक सीमा क्रमसूचक है।
* <math>\alpha + \beta = \bigcup_{\delta<\beta}(\alpha+\delta)</math> जब β सीमा क्रमसूचक है।


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


=== गुण ===
=== गुण ===


साधारण जोड़ सामान्य रूप से क्रम[[विनिमेय]] नहीं है। उदाहरण के लिए, {{math|1=3 + ω = ω}} के लिए आदेश संबंध के बाद से {{math|3 + ω}} 0 < 1 < 2 < 0 '< 1' < 2 ' <... है, जिसे ω में रीलेबल किया जा सकता है। इसके विपरीत {{math|ω + 3}} ω के बराबर नहीं है क्योंकि क्रम संबंध 0 < 1 < 2 < ... < 0' < 1' < 2' में सबसे बड़ा तत्व है (अर्थात्, 2') और ω नहीं है (ω और {{math|ω + 3}} [[लैस]] हैं, लेकिन ऑर्डर-आइसोमोर्फिक नहीं हैं)। <!---{wrong: e.g. (omega+5) + (omega*2+5) = omega*3+5 = (omega*2+5) + (omega+5)}---In fact it is quite rare for ''α''+''β'' to be equal to ''β''+''α'': this happens if and only if ''α''=''γm'', ''β''=''γn'' for some ordinal ''γ'' and natural numbers ''m'' and ''n''. From this it follows that "''α'' commutes with ''β''" is an equivalence relation on the [[Class (set theory)|class]] of nonzero ordinals, and all the equivalence classes are countably infinite.--->
साधारण जोड़ सामान्य रूप से [[विनिमेय|क्रमविनिमेय]] नहीं है। उदाहरण के लिए {{math|1=3 + ω = ω}} है, चूँकि {{math|3 + ω}} के लिए क्रम संबंध 0 < 1 < 2 < 0 '< 1' < 2 ' <... होता है, जिसे ω में रिस्तरीय किया जा सकता है। इसके विपरीत {{math|ω + 3}}, ω के समान नहीं है क्योंकि क्रम संबंध 0 < 1 < 2 < ... < 0' < 1' < 2' में सबसे बड़ा तत्व (अर्थात्, 2') और ω नहीं है (ω और {{math|ω + 3}} [[लैस|सामर्थ्यवान]] हैं, किन्तु क्रम-समरूपी नहीं हैं)। <!---{wrong: e.g. (omega+5) + (omega*2+5) = omega*3+5 = (omega*2+5) + (omega+5)}---In fact it is quite rare for ''α''+''β'' to be equal to ''β''+''α'': this happens if and only if ''α''=''γm'', ''β''=''γn'' for some ordinal ''γ'' and natural numbers ''m'' and ''n''. From this it follows that "''α'' commutes with ''β''" is an equivalence relation on the [[Class (set theory)|class]] of nonzero ordinals, and all the equivalence classes are countably infinite.--->
क्रमसूचक जोड़ अभी भी साहचर्य है; कोई उदाहरण के लिए देख सकता है कि (ω + 4) + ω = ω + (4 + ω) = ω + ω।
 
साधारण जोड़ अभी भी साहचर्य है; जिसे निम्नलिखित उदाहरण द्वारा अवलोकित किया जा सकता है- (ω + 4) + ω = ω + (4 + ω) = ω + ω


योग सख्ती से बढ़ रहा है और सही तर्क में निरंतर है:
जोड़ जटिलता से विस्तारित हो रहा है और उचित तर्क में निरंतर है-
:<math>\alpha < \beta \Rightarrow \gamma + \alpha < \gamma + \beta</math>
:<math>\alpha < \beta \Rightarrow \gamma + \alpha < \gamma + \beta</math>
लेकिन समान संबंध वाम तर्क के लिए मान्य नहीं है; इसके बजाय हमारे पास केवल:
किन्तु समान संबंध बाएँ तर्क के लिए मान्य नहीं है; इसके अतिरिक्त हमारे निकट है-
:<math>\alpha < \beta \Rightarrow \alpha+\gamma \le \beta+\gamma</math>
:<math>\alpha < \beta \Rightarrow \alpha+\gamma \le \beta+\gamma</math>
क्रमसूचक जोड़ वाम-निरस्तीकरण है: यदि α + β = α + γ, तो β = γ। इसके अलावा, कोई ऑर्डिनल β ≤ α के लिए बाएं डिवीजन को परिभाषित कर सकता है: एक अद्वितीय γ है जैसे कि α = β + γ। दूसरी ओर, सही रद्दीकरण काम नहीं करता:
यदि α + β = α + γ और β = γ है, तो क्रमसूचक योग बायाँ-निरस्त होता है। इसके अतिरिक्त, कोई क्रमसूचक β ≤ α के लिए बाएं विभाजन को परिभाषित कर सकता है: अद्वितीय γ उपस्थित है जैसे α = β + γ दूसरी ओर, उचित निरस्तीकरण कार्य नहीं होता है-
:<math>3+\omega = 0+\omega = \omega</math> लेकिन <math>3 \neq 0</math>
:<math>3+\omega = 0+\omega = \omega</math> किन्तु <math>3 \neq 0</math> है
न ही सही घटाव, तब भी जब β ≤ α: उदाहरण के लिए, कोई भी γ मौजूद नहीं है जैसे कि γ + 42 = ω।
β ≤ α के लिए उचित घटाव कार्य नहीं करता उदाहरण के लिए, तब γ उपस्थित नहीं होता है जैसे कि γ + 42 = ω


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


== गुणन ==
== गुणन ==


[[File:OmegaPlusOmega svg.svg|thumb|600px|असम्बद्ध संघ {{color|#800000| { (0,''n'') : ''n'' ∈ ℕ } }} ∪ {{color|#000080| { (1,''n'') : ''n'' ∈ ℕ } }} का ऑर्डर प्रकार है <math>\omega \cdot 2</math>.]]
[[File:OmegaPlusOmega svg.svg|thumb|600px|असंयुक्त संघ {{color|#800000| { (0,''n'') : ''n'' ∈ ℕ } }} ∪ {{color|#000080| { (1,''n'') : ''n'' ∈ ℕ } }} का क्रम प्रकार <math>\omega \cdot 2</math> है।]]
[[File:TwoTimesOmega svg.svg|thumb|600px|सेट { {{color|#800000|(''n'',0)}}, {{color|#000080|(''n'',1)}} : ''n'' ∈ ℕ } का ऑर्डर प्रकार है <math>2 \cdot \omega</math>, लेक्सिकोग्राफिक ऑर्डर के तहत।]]कार्टेशियन उत्पाद, एस × टी, दो सुव्यवस्थित सेट एस और टी के [[लेक्सिकोग्राफिक ऑर्डर]] के एक प्रकार से अच्छी तरह से आदेश दिया जा सकता है जो कम से कम महत्वपूर्ण स्थिति को पहले रखता है। प्रभावी रूप से, टी के प्रत्येक तत्व को एस की एक अलग प्रतिलिपि द्वारा प्रतिस्थापित किया जाता है। कार्टेशियन उत्पाद का ऑर्डर-प्रकार क्रमसूचक है जो एस और टी के ऑर्डर-प्रकारों को गुणा करने से उत्पन्न होता है।
[[File:TwoTimesOmega svg.svg|thumb|600px|लेक्सिकोग्राफिक क्रम के अंतर्गत, समुच्चय { {{color|#800000|(''n'',0)}}, {{color|#000080|(''n'',1)}} : ''n'' ∈ ℕ } का क्रम प्रकार <math>2 \cdot \omega</math> है।]]कार्तीय गुणन S×T, दो सुव्यवस्थित समुच्चय S और T के [[लेक्सिकोग्राफिक ऑर्डर|लेक्सिकोग्राफिक क्रम]] विधि द्वारा उचित रूप से व्यवस्थित किये जा सकते है जो कम से कम महत्वपूर्ण स्थिति को प्रथम रखता है। प्रभावी रूप से, T के प्रत्येक तत्व को S की असंयुक्त प्रति द्वारा प्रतिस्थापित कर दिया जाता है। कार्तीय गुणन का क्रम-प्रकार क्रमसूचक है जो S और T के क्रम-प्रकारों को गुणा करने से उत्पन्न होता है।


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


एक उदाहरण के रूप में, यहाँ ω·2 के लिए क्रम संबंध है:
उदाहरण के रूप में, जहाँ ω·2 के लिए क्रम संबंध है-
: 0<sub>0</sub> < 1<sub>0</sub> < 2<sub>0</sub> < 3<sub>0</sub> < ... < 0<sub>1</sub> < 1<sub>1</sub> < 2<sub>1</sub> < 3<sub>1</sub> <...,
: 0<sub>0</sub> < 1<sub>0</sub> < 2<sub>0</sub> < 3<sub>0</sub> < ... < 0<sub>1</sub> < 1<sub>1</sub> < 2<sub>1</sub> < 3<sub>1</sub> <...,
जिसका ऑर्डर प्रकार ω + ω के समान है। इसके विपरीत, 2·ω ऐसा दिखता है:
जिसका क्रम प्रकार ω + ω के समान है। इसके विपरीत, 2·ω इस प्रकार दिखता है-
: 0<sub>0</sub> < 1<sub>0</sub> < 0<sub>1</sub> < 1<sub>1</sub> < 0<sub>2</sub> < 1<sub>2</sub> < 0<sub>3</sub> < 1<sub>3</sub> <...
: 0<sub>0</sub> < 1<sub>0</sub> < 0<sub>1</sub> < 1<sub>1</sub> < 0<sub>2</sub> < 1<sub>2</sub> < 0<sub>3</sub> < 1<sub>3</sub> <...
और पुनः लेबल लगाने के बाद, यह बिल्कुल ω जैसा दिखता है।
और पुनः स्तरीय करने के पश्चात, यह पूर्णतः ω जैसा दिखता है।
इस प्रकार, ω·2 = ω+ω ≠ ω = 2·ω, यह दर्शाता है कि क्रमांकों का गुणन सामान्य क्रमविनिमेय नहीं है, c.f. चित्रों।
 
इस प्रकार, ω·2 = ω+ω ≠ ω = 2·ω, यह दर्शाता है कि क्रमांकों का गुणन सामान्य क्रमविनिमेय नहीं है।


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


=== गुण ===
=== गुण ===


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


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


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


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


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


== घातांक ==
== घातांक ==


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


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


परिमित घातांक के लिए क्रमिक घातांक की परिभाषा सीधी है। यदि घातांक एक परिमित संख्या है, तो शक्ति पुनरावृत्त गुणन का परिणाम है। उदाहरण के लिए, ω<sup>2</sup> = ω·ω क्रमसूचक गुणन की संक्रिया का प्रयोग करके। ध्यान दें कि ω·ω को 2 = {0,1} से ω = {0,1,2,...} तक के कार्यों के सेट का उपयोग करके परिभाषित किया जा सकता है, पहले कम से कम महत्वपूर्ण स्थिति के साथ क्रमबद्ध शब्दावली क्रम:
परिमित घातांक के लिए क्रमसूचक घातांक की परिभाषा सरल है। यदि घातांक परिमित संख्या है, तो घात पुनरावृत्त गुणन का परिणाम है। उदाहरण के लिए, ω<sup>2</sup> = ω·ω क्रमसूचक गुणन की संक्रिया का प्रयोग करें। ध्यान दें कि ω·ω को 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,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) से बदल दिया है।
जहाँ संक्षिप्तता के लिए, हमने फलन {(0,k), (1,m)} को क्रमित जोड़ी (k, m) से प्रतिस्थापित कर दिया है।


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


लेकिन अपरिमित घातांकों के लिए, परिभाषा स्पष्ट नहीं हो सकती है। एक सीमा क्रमसूचक, जैसे कि ω<sup>ω</sup>, सभी छोटे क्रमांकों का सर्वोच्च है। ω को परिभाषित करना स्वाभाविक प्रतीत हो सकता है<sup>ω</sup> प्राकृतिक संख्याओं के सभी अनंत अनुक्रमों के सेट का उपयोग करके। हालाँकि, हम पाते हैं कि इस सेट पर किसी भी [[निरपेक्षता (गणितीय तर्क)]] को परिभाषित क्रम सुव्यवस्थित नहीं है।<ref>{{cite journal |author-link=Solomon Feferman |first=S. |last=Feferman |title=जबरदस्ती और सामान्य सेटों की धारणाओं के कुछ अनुप्रयोग|journal=Fundamenta Mathematicae |volume=56 |issue=3 |year=1964 |pages=325–345 |doi=10.4064/fm-56-3-325-345 |url=https://eudml.org/doc/213821|doi-access=free }}</ref> इस मुद्दे से निपटने के लिए परिभाषा सेट को अनुक्रमों तक सीमित करती है जो केवल तर्कों की सीमित संख्या के लिए गैर-शून्य हैं। यह स्वाभाविक रूप से आधार की परिमित शक्तियों की सीमा के रूप में प्रेरित होता है (बीजगणित में प्रतिफल की अवधारणा के समान)। इसे अनंत मिलन भी माना जा सकता है <math>\bigcup_{n<\omega}\omega^n</math>.
किन्तु अपरिमित घातांकों के लिए, परिभाषा स्पष्ट नहीं हो सकती है। सीमा क्रमसूचक, जैसे ω<sup>ω</sup>, सभी छोटे क्रमांकों का सर्वोच्च है। प्राकृतिक संख्याओं के सभी अनंत अनुक्रमों के समुच्चय का उपयोग करके ω<sup>ω</sup> को परिभाषित करना स्वाभाविक प्रतीत हो सकता है। चूँकि, हम प्राप्त करते हैं कि इस समुच्चय पर [[निरपेक्षता (गणितीय तर्क)]] से परिभाषित क्रम सुव्यवस्थित नहीं है।<ref>{{cite journal |author-link=Solomon Feferman |first=S. |last=Feferman |title=जबरदस्ती और सामान्य सेटों की धारणाओं के कुछ अनुप्रयोग|journal=Fundamenta Mathematicae |volume=56 |issue=3 |year=1964 |pages=325–345 |doi=10.4064/fm-56-3-325-345 |url=https://eudml.org/doc/213821|doi-access=free }}</ref> इस समस्या के समाधान के लिए परिभाषा समुच्चय को अनुक्रमों तक सीमित करती है जो केवल तर्कों की सीमित संख्या के लिए अशून्य होते हैं। यह स्वाभाविक रूप से आधार की परिमित घातों की सीमा के रूप में प्रेरित होता है (बीजगणित में प्रतिफल की अवधारणा के समान)। इसे अपरिमित संघ <math>\bigcup_{n<\omega}\omega^n</math> भी माना जा सकता है।


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


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


:(0,0,0,...) <(1,0,0,0,...) <(2,0,0,0,...) <... <
:(0,0,0,...) <(1,0,0,0,...) <(2,0,0,0,...) <... <
Line 89: Line 91:
:: <...
:: <...


सामान्य तौर पर, α प्राप्त करने के लिए किसी भी क्रमिक α को दूसरे क्रमसूचक β की शक्ति तक बढ़ाया जा सकता है<sup>ख</सुप>.
सामान्यतः, ''α<sup>β</sup>'' प्राप्त करने के लिए क्रमसूचक α को दूसरे क्रमसूचक β की घात तक विस्तारित किया जा सकता है।


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


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


=== गुण ===
=== गुण ===


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


[[अर्न्स्ट जैकबस्टल]] ने दिखाया कि α का एकमात्र समाधान<sup>β</sup> = β<sup>α</sup> α≤β के साथ α=β, या α=2 और β=4 द्वारा दिया जाता है, या α कोई सीमा क्रमसूचक है और β=εα जहां ε एक एप्सिलॉन संख्या (गणित) है|ε-संख्या इससे बड़ी है एक।<ref>Ernst Jacobsthal, Vertauschbarkeit transfiniter Ordnungszahlen, Mathematische Annalen, Bd 64 (1907), 475-488. Available [http://gdz.sub.uni-goettingen.de/pdfcache/PPN235181684_0064/PPN235181684_0064___LOG_0050.pdf here]</ref>
[[अर्न्स्ट जैकबस्टल]] ने दिखाया कि αβ = βα का α β के साथ एकमात्र समाधान α = β, या α = 2 और β = 4 द्वारा दिया जाता है, या α सीमा क्रमसूचक है और β = εα जहाँ ε, α से बड़ी ε-संख्या है।<ref>Ernst Jacobsthal, Vertauschbarkeit transfiniter Ordnungszahlen, Mathematische Annalen, Bd 64 (1907), 475-488. Available [http://gdz.sub.uni-goettingen.de/pdfcache/PPN235181684_0064/PPN235181684_0064___LOG_0050.pdf here]</ref>




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


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


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


कैंटर सामान्य रूप की एक और भिन्नता आधार δ विस्तार है, जहां ω को किसी भी क्रमसूचक δ>1 द्वारा प्रतिस्थापित किया जाता है, और संख्या c<sub>''i''</sub> सकारात्मक ordinals δ से कम हैं।
कैंटर सामान्य रूप की अन्य भिन्नता "आधार δ विस्तार" है, जहां ω को क्रमसूचक δ>1 द्वारा प्रतिस्थापित किया जाता है, और संख्या ''c<sub>i</sub>'',δ से अल्प धनात्मक क्रमांक हैं।


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


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


कैंटर नॉर्मल फॉर्म भी हमें ऑर्डिनल्स के योग और उत्पादों की गणना करने की अनुमति देता है: योग की गणना करने के लिए, उदाहरण के लिए, किसी को केवल जानने की जरूरत है (में सूचीबद्ध गुणों को देखें) {{sectionlink||Addition}} और {{sectionlink||Multiplication}}) वह
कैंटर सामान्य रूप, क्रमसूचकों के योग और गुणनफलों की गणना करने की अनुमति देता है: योग की गणना करने के लिए, उदाहरण के लिए, केवल यह ज्ञात करने की आवश्यकता है ({{sectionlink||Addition}} और {{sectionlink||Multiplication}} में सूचीबद्ध गुणों को देखें)
:<math>\omega^{\beta} c+\omega^{\beta'} c' = \omega^{\beta'}c' \,,</math>
:<math>\omega^{\beta} c+\omega^{\beta'} c' = \omega^{\beta'}c' \,,</math>
अगर <math>\beta'>\beta</math> (अगर <math>\beta'=\beta</math> कोई वितरण नियम को बाईं ओर लागू कर सकता है और इसे इस रूप में फिर से लिख सकता है <math>\omega^{\beta} (c+c')</math>, और अगर <math>\beta'<\beta</math> अभिव्यक्ति पहले से ही कैंटर सामान्य रूप में है); और उत्पादों की गणना करने के लिए, आवश्यक तथ्य हैं कि कब <math>0 < \alpha = \omega^{\beta_1} c_1 + \cdots + \omega^{\beta_k}c_k</math> कैंटर सामान्य रूप में है और <math>0 < \beta' </math>, तब
यदि <math>\beta'>\beta</math> (यदि <math>\beta'=\beta</math>, वितरण नियम को बाईं ओर प्रयुक्त कर सकता है और इसे पुनः <math>\omega^{\beta} (c+c')</math> के रूप में लिख सकता है, और यदि <math>\beta'<\beta</math> अभिव्यक्ति पूर्व ही कैंटर सामान्य रूप में है) और गुणनफलों की गणना करने के लिए, आवश्यक तथ्य यह हैं कि जब <math>0 < \alpha = \omega^{\beta_1} c_1 + \cdots + \omega^{\beta_k}c_k</math> कैंटर सामान्य रूप में होता है और <math>0 < \beta' </math>, तब
:<math>\alpha\omega^{\beta'} = \omega^{\beta_1 + \beta'} \,</math>
:<math>\alpha\omega^{\beta'} = \omega^{\beta_1 + \beta'} \,</math>
और
और
:<math>\alpha n = \omega^{\beta_1} c_1 n + \omega^{\beta_2} c_2 + \cdots + \omega^{\beta_k}c_k \,,</math>
:<math>\alpha n = \omega^{\beta_1} c_1 n + \omega^{\beta_2} c_2 + \cdots + \omega^{\beta_k}c_k \,,</math>
यदि n एक शून्येतर प्राकृतिक संख्या है।
यदि n अशून्य प्राकृतिक संख्या है।


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


== प्राइम्स में गुणनखंड ==
== अभाज्यों में गुणनखंड ==


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


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


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


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


तो कैंटर नॉर्मल फॉर्म का गुणन क्रमसूचक है
तो कैंटर सामान्य रूप का गुणन क्रमसूचक है-
:<math>\omega^{\alpha_1}n_1+\cdots +\omega^{\alpha_k}n_k</math> (साथ <math>\alpha_1>\cdots>\alpha_k</math>)
:<math>\omega^{\alpha_1}n_1+\cdots +\omega^{\alpha_k}n_k</math> (साथ <math>\alpha_1>\cdots>\alpha_k</math>)
अनंत प्राइम्स और पूर्णांकों के न्यूनतम उत्पाद में है
अनंत अभाज्यों और पूर्णांकों के न्यूनतम गुणनफल में है-
:<math>\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</math>
:<math>\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</math>
जहां प्रत्येक एन<sub>''i''</sub> परिमित प्राइम्स के एक गैर-बढ़ते अनुक्रम में इसके गुणनखंड द्वारा प्रतिस्थापित किया जाना चाहिए और
जहाँ प्रत्येक n<sub>''i''</sub> परिमित अभाज्यों के अविस्तृत अनुक्रम में इसके गुणनखंड द्वारा प्रतिस्थापित किया जाना चाहिए और
:<math>\alpha_k=\omega^{\beta_1}+\cdots +\omega^{\beta_m}</math> साथ <math>\beta_1\ge\cdots\ge\beta_m</math>.
:<math>\alpha_k=\omega^{\beta_1}+\cdots +\omega^{\beta_m}</math> साथ <math>\beta_1\ge\cdots\ge\beta_m</math>.


== बड़े गणनीय अध्यादेश ==
== बड़े गणनीय क्रमसूचक ==


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


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


== प्राकृतिक संचालन ==<!-- This section is linked from [[Surreal number]] -->
== प्राकृतिक संक्रियाएं ==<!-- This section is linked from [[Surreal number]] -->
अध्यादेशों पर प्राकृतिक योग और प्राकृतिक उत्पाद संचालन को 1906 में [[गेरहार्ड हेसनबर्ग]] द्वारा परिभाषित किया गया था, और कभी-कभी हेसेनबर्ग योग (या उत्पाद) कहा जाता है। {{harv|Sierpiński|1958}}. ये [[असली संख्या]]ओं के [[जॉन कॉनवे]] के फील्ड (गणित) के जोड़ और गुणा (ऑर्डिनल्स तक सीमित) के समान हैं। उनके पास यह लाभ है कि वे साहचर्य और क्रमविनिमेय हैं, और प्राकृतिक उत्पाद प्राकृतिक राशि पर वितरित होते हैं। इन परिचालनों को क्रमविनिमेय बनाने की लागत यह है कि वे सही तर्क में निरंतरता खो देते हैं, जो साधारण योग और उत्पाद की संपत्ति है। α और β के प्राकृतिक योग को अक्सर α ⊕ β या α # β, और प्राकृतिक उत्पाद α ⊗ β या α ⨳ β द्वारा दर्शाया जाता है।
क्रमसूचकों पर प्राकृतिक योग और प्राकृतिक गुणन संक्रियाओं को 1906 में [[गेरहार्ड हेसनबर्ग]] द्वारा परिभाषित किया गया था, और इसे कभी-कभी हेसेनबर्ग योग कहा जाता है। [[गेरहार्ड हेसनबर्ग]] द्वारा परिभाषित किया गया था {{harv|Sierpiński|1958}}ये [[असली संख्या|वास्तविक संख्याओं]] के [[जॉन कॉनवे]] क्षेत्र (गणित) के जोड़ और गुणन (क्रमसूचकों तक सीमित) के समान हैं। उनके निकट यह लाभ है कि वे साहचर्य और क्रमविनिमेय हैं, और गुणनफल प्राकृतिक योग पर वितरित होते हैं। इन संक्रियाओं को क्रमविनिमेय बनाने का व्यय यह है कि वे उचित तर्क में संतता लुप्त कर देते हैं, जो साधारण योग और गुणन का गुण है। α और β के प्राकृतिक योग को अधिकांशतः α ⊕ β या α # β, और प्राकृतिक गुणन को α ⊗ β या α ⨳ β द्वारा दर्शाया जाता है।


प्राकृतिक संक्रियाएँ [[अच्छी तरह से अर्ध-आदेश]] के सिद्धांत में सामने आती हैं; ऑर्डर प्रकार (अधिकतम रैखिक ऑर्डर) ओ(एस) और (टी) के दो अच्छी तरह से आंशिक ऑर्डर एस और टी दिए गए हैं, डिसजॉइंट यूनियन का प्रकार (एस) ⊕ ओ(टी) है, जबकि प्रत्यक्ष का प्रकार उत्पाद ओ(एस) ⊗ ओ(टी) है।<ref>[[Dick de Jongh|D. H. J. De Jongh]] and R. Parikh, Well-partial orderings and hierarchies, Indag. Math. 39 (1977), 195–206. Available [https://www.sciencedirect.com/science/article/pii/1385725877900671 here]</ref> एस और टी को ऑर्डिनल्स α और β चुनकर इस संबंध को प्राकृतिक संचालन की परिभाषा के रूप में लिया जा सकता है; इसलिए α ⊕ β कुल ऑर्डर का अधिकतम ऑर्डर प्रकार है जो α और β के डिसजॉइंट यूनियन (आंशिक ऑर्डर के रूप में) को बढ़ाता है; जबकि α ⊗ β, α और β के प्रत्यक्ष उत्पाद (आंशिक आदेश के रूप में) को विस्तारित करने वाले कुल ऑर्डर का अधिकतम ऑर्डर प्रकार है।<ref>Philip W. Carruth, Arithmetic of ordinals with applications to the theory of ordered Abelian groups, Bull. Amer. Math. Soc. 48 (1942), 262–271. See Theorem 1. Available [https://www.ams.org/journals/bull/1942-48-04/S0002-9904-1942-07649-X/S0002-9904-1942-07649-X.pdf here]</ref> इसका एक उपयोगी अनुप्रयोग तब होता है जब α और β दोनों कुछ बड़े कुल क्रम के उपसमुच्चय होते हैं; तब उनके संघ का ऑर्डर प्रकार अधिकतम α ⊕ β होता है। यदि वे दोनों किसी क्रमित समूह के उपसमुच्चय हैं, तो उनके योग का क्रम प्रकार अधिक से अधिक α ⊗ β होता है।
प्राकृतिक संक्रियाएँ [[अच्छी तरह से अर्ध-आदेश|उचित आंशिक क्रमों]] के सिद्धांत के अंतर्गत आती हैं; जिन्हें दो पूर्ण आंशिक क्रम S और T प्रकार के o(S) और o(T) दिए गए हैं और असंयुक्त संघ का प्रकार o(S) ⊕ o(T) है, जबकि प्रत्यक्ष गुणन का प्रकार o(S) ⊗ o(T) है।<ref>[[Dick de Jongh|D. H. J. De Jongh]] and R. Parikh, Well-partial orderings and hierarchies, Indag. Math. 39 (1977), 195–206. Available [https://www.sciencedirect.com/science/article/pii/1385725877900671 here]</ref> S और T को क्रमसूचकों α और β का चयन करके इस संबंध को प्राकृतिक संक्रियाओं की परिभाषा के रूप में लिया जा सकता है; इसलिए α ⊕ β कुल क्रम का अधिकतम क्रम प्रकार है जो α और β के असंयुक्त संघ (आंशिक क्रम के रूप में) को विस्तारित करता है; जबकि α ⊗ β, α और β के प्रत्यक्ष गुणन को विस्तारित करने वाले कुल क्रम का अधिकतम क्रम प्रकार है।<ref>Philip W. Carruth, Arithmetic of ordinals with applications to the theory of ordered Abelian groups, Bull. Amer. Math. Soc. 48 (1942), 262–271. See Theorem 1. Available [https://www.ams.org/journals/bull/1942-48-04/S0002-9904-1942-07649-X/S0002-9904-1942-07649-X.pdf here]</ref> इस अनुप्रयोग का उपयोग तब होता है जब α और β दोनों बड़े कुल क्रम के उपसमुच्चय होते हैं; तब उनके संघ का क्रम प्रकार अधिकतम α ⊕ β होता है। यदि वे दोनों किसी क्रमित समूह के उपसमुच्चय हैं, तो उनके योग का क्रम प्रकार α ⊗ β होता है।


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


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


फिर भी दो अध्यादेशों α और β के प्राकृतिक योग और उत्पाद को परिभाषित करने का एक और तरीका कैंटर सामान्य रूप का उपयोग करना है: कोई क्रमांक का अनुक्रम पा सकता है
तब भी दो क्रमसूचकों α और β के प्राकृतिक योग और गुणन को परिभाषित करने की अन्य विधि कैंटर सामान्य रूप का उपयोग करना है: क्रमसूचक ''γ''<sub>1</sub> > ... > ''γ<sub>n</sub>'' और प्राकृतिक संख्याओं के दो अनुक्रमों (''k''<sub>1</sub>, ..., ''k<sub>n</sub>'') और (''j''<sub>1</sub>, ..., ''j<sub>n</sub>'') के क्रम का शोधन किया सकता है (शून्य सहित, किन्तु संतोषजनक ''k<sub>i</sub>'' + ''j<sub>i</sub>'' > 0 सभी के लिए i) जैसे कि
जी<sub>1</sub> > ... > सी<sub>''n''</sub> और दो अनुक्रम (के<sub>1</sub>, ..., <sub>''n''</sub>) और
(जे<sub>1</sub>, ..., जे<sub>''n''</sub>) प्राकृतिक संख्या (शून्य सहित, लेकिन संतोषजनक
<sub>''i''</sub> + जे<sub>''i''</sub> > 0 सभी के लिए i) ऐसा कि
:<math>\alpha = \omega^{\gamma_1}\cdot k_1 + \cdots +\omega^{\gamma_n}\cdot k_n</math>
:<math>\alpha = \omega^{\gamma_1}\cdot k_1 + \cdots +\omega^{\gamma_n}\cdot k_n</math>
:<math>\beta = \omega^{\gamma_1}\cdot j_1 + \cdots +\omega^{\gamma_n}\cdot j_n</math>
:<math>\beta = \omega^{\gamma_1}\cdot j_1 + \cdots +\omega^{\gamma_n}\cdot j_n</math>
और परिभाषित करें
और
:<math>\alpha \#\beta = \omega^{\gamma_1}\cdot (k_1+j_1) + \cdots +\omega^{\gamma_n}\cdot (k_n+j_n).</math>
:<math>\alpha \#\beta = \omega^{\gamma_1}\cdot (k_1+j_1) + \cdots +\omega^{\gamma_n}\cdot (k_n+j_n).</math>
प्राकृतिक जोड़ के तहत, गामा संख्या ω द्वारा उत्पन्न [[मुफ्त कम्यूटेटिव मोनोइड]] के तत्वों के साथ अध्यादेशों की पहचान की जा सकती है<sup>α</sup>. प्राकृतिक जोड़ और गुणन के तहत, डेल्टा संख्या ω द्वारा उत्पन्न [[मोटी हो जाओ]] के तत्वों के साथ अध्यादेशों की पहचान की जा सकती है<sup>ω<sup>α</sup></sup>.
प्राकृतिक योग के अंतर्गत, गामा संख्या ω<sup>''α''</sup> द्वारा उत्पन्न [[मुफ्त कम्यूटेटिव मोनोइड|मुक्त क्रमविनिमय मोनॉयड]] के तत्वों के साथ क्रमसूचकों को प्रमाणित किया जा सकता है। प्राकृतिक योग और गुणन के अंतर्गत, डेल्टा संख्या ω<sup>ω<sup>α</sup></sup> द्वारा उत्पन्न [[मोटी हो जाओ|मुक्त क्रमविनिमय सेमिरिंग]] के तत्वों के साथ क्रमसूचकों को प्रमाणित किया जा सकता है।
ऑर्डिनल्स में प्राकृतिक उत्पाद के तहत प्राइम्स में अद्वितीय कारक नहीं होते हैं। जबकि पूर्ण बहुपद वलय में अद्वितीय गुणनखंड होता है, गैर-नकारात्मक गुणांक वाले बहुपदों का उपसमुच्चय नहीं होता है: उदाहरण के लिए, यदि x कोई डेल्टा संख्या है, तो
 
क्रमसूचकों में प्राकृतिक गुणन के अंतर्गत अभाज्यों में अद्वितीय गुणनखंड नहीं होते हैं। चूँकि पूर्ण बहुपद वलय में अद्वितीय गुणनखंड होता है, किन्तु गैर-ऋणात्मक गुणांक वाले बहुपदों का उपसमुच्चय नहीं होता है: उदाहरण के लिए, यदि x कोई डेल्टा संख्या है, तो
:<math>x^5+x^4+x^3+x^2+x+1=(x+1)(x^4+x^2+1)=(x^2+x+1)(x^3+1)</math>
:<math>x^5+x^4+x^3+x^2+x+1=(x+1)(x^4+x^2+1)=(x^2+x+1)(x^3+1)</math>
गैर-नकारात्मक गुणांक वाले बहुपदों के प्राकृतिक उत्पाद के रूप में दो असंगत अभिव्यक्तियाँ हैं जिन्हें आगे विघटित नहीं किया जा सकता है।
गैर-ऋणात्मक गुणांक वाले बहुपदों के प्राकृतिक गुणन के रूप में दो असंगत अभिव्यक्तियाँ हैं जिन्हें अग्र विघटित नहीं किया जा सकता है।


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


==टिप्पणियाँ==
==टिप्पणियाँ==
Line 217: Line 217:
==बाहरी संबंध==
==बाहरी संबंध==
*[http://mtnmath.com/ord ordCalc ordinal calculator]
*[http://mtnmath.com/ord ordCalc ordinal calculator]
[[Category: समुच्चय सिद्धान्त]] [[Category: क्रमसूचक संख्या]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 18/05/2023]]
[[Category:Created On 18/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:क्रमसूचक संख्या]]
[[Category:समुच्चय सिद्धान्त]]

Latest revision as of 16:24, 30 October 2023

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

जोड़

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

योग α + β की परिभाषा, β पर परिमित प्रत्यावर्तन द्वारा प्राप्त की जा सकती है:

  • α + 0 = α
  • α + S(β) = S(α + β), जहाँ S उत्तराधिकारी क्रमसूचक फलन को दर्शाता है।
  • जब β सीमा क्रमसूचक है।

प्राकृतिक संख्याओं पर क्रमसूचक जोड़ मानक जोड़ के समान होता है। प्रथम पारसिमित क्रमसूचक ω सभी प्राकृतिक संख्याओं का समुच्चय है, जिसके पश्चात ω + 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 + ω) = ω + ω

जोड़ जटिलता से विस्तारित हो रहा है और उचित तर्क में निरंतर है-

किन्तु समान संबंध बाएँ तर्क के लिए मान्य नहीं है; इसके अतिरिक्त हमारे निकट है-

यदि α + β = α + γ और β = γ है, तो क्रमसूचक योग बायाँ-निरस्त होता है। इसके अतिरिक्त, कोई क्रमसूचक β ≤ α के लिए बाएं विभाजन को परिभाषित कर सकता है: अद्वितीय γ उपस्थित है जैसे α = β + γ दूसरी ओर, उचित निरस्तीकरण कार्य नहीं होता है-

किन्तु है

β ≤ α के लिए उचित घटाव कार्य नहीं करता उदाहरण के लिए, तब γ उपस्थित नहीं होता है जैसे कि γ + 42 = ω

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

गुणन

असंयुक्त संघ { (0,n) : n ∈ ℕ } { (1,n) : n ∈ ℕ } का क्रम प्रकार है।
लेक्सिकोग्राफिक क्रम के अंतर्गत, समुच्चय { (n,0), (n,1) : n ∈ ℕ } का क्रम प्रकार है।

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

गुणन की परिभाषा आगमनात्मक रूप से भी दी जा सकती है (निम्नलिखित प्रेरण β पर है)-

  • α·0 = 0.
  • α · S(β) = (α · β) + α, उत्तराधिकारी क्रमसूचक S(β) के लिए है।
  • , जब β सीमा क्रमसूचक है।

उदाहरण के रूप में, जहाँ ω·2 के लिए क्रम संबंध है-

00 < 10 < 20 < 30 < ... < 01 < 11 < 21 < 31 <...,

जिसका क्रम प्रकार ω + ω के समान है। इसके विपरीत, 2·ω इस प्रकार दिखता है-

00 < 10 < 01 < 11 < 02 < 12 < 03 < 13 <...

और पुनः स्तरीय करने के पश्चात, यह पूर्णतः ω जैसा दिखता है।

इस प्रकार, ω·2 = ω+ω ≠ ω = 2·ω, यह दर्शाता है कि क्रमांकों का गुणन सामान्य क्रमविनिमेय नहीं है।

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

गुण

α·0 = 0·α = 0, और शून्य-उत्पाद गुण α·β = 0 α = 0 या β = 0 धारण करता है। क्रमसूचक 1, गुणक प्रमाण α·1 = 1·α = α है। गुणन संबद्ध (α·β)·γ = α·(β·γ) है। गुणन जटिलता से विस्तारित हो रहा है और उचित तर्क में निरंतर (α < β और γ > 0) γ·α < γ·β है। बाएं तर्क में गुणन जटिलता से विस्तारित नहीं हो रहा है, उदाहरण के लिए, 1 < 2 किन्तु 1·ω = 2·ω = ω है। चूँकि, यह विस्तारित हो रहा है अर्थात α ≤ β α·γ ≤ β·γ.

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

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

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

δ-संख्या (गुणात्मक रूप से अविघटनीय क्रमसूचक देखें) 1 से बड़ा क्रमसूचक β है जैसे कि αβ=β, जब 0 < α < β होता है। इनमें क्रमसूचक 2 और β = ωωγ रूप के क्रमांक सम्मिलित हैं।

घातांक

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

घातांक की परिभाषा भी आगमनात्मक रूप से प्राप्त की जा सकती है (निम्नलिखित प्रेरण β, घातांक पर है)-

  • α0 = 1
  • αS(β) = (αβ) · α, उत्तराधिकारी क्रमसूचक S(β) के लिए है।
  • , जब β सीमा क्रमसूचक है।

परिमित घातांक के लिए क्रमसूचक घातांक की परिभाषा सरल है। यदि घातांक परिमित संख्या है, तो घात पुनरावृत्त गुणन का परिणाम है। उदाहरण के लिए, ω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 के लिए, को n (डोमेन) से प्राकृतिक संख्याओं (कोडोमेन) तक के फलनों के समुच्चय का उपयोग करके परिभाषित किया जा सकता है। इन फलनों को प्राकृतिक संख्याओं के n-टपल्स के रूप में संक्षिप्त किया जा सकता है।

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

उनमें से प्रत्येक अनुक्रम जैसे , से अल्प क्रमसूचक से युग्मित होता है और छोटे क्रमसूचकों का सर्वोच्च है।

इस समुच्चय पर लेक्सिकोोग्राफ़िकल क्रम उत्तम क्रम है जो दशमलव अंकन में लिखी गई प्राकृतिक संख्याओं के क्रम के समान होता है, अतिरिक्त इसके कि अंकों की स्थिति को परिवर्तित कर दिया जाए और केवल 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, ...)
<...

सामान्यतः, αβ प्राप्त करने के लिए क्रमसूचक α को दूसरे क्रमसूचक β की घात तक विस्तारित किया जा सकता है।

हम देखतें है,

  • 1ω = 1,
  • 2ω = ω,
  • 2ω+1 = ω·2 = ω+ω.

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

गुण

  • α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 द्वारा दिया जाता है, या α सीमा क्रमसूचक है और β = εα जहाँ ε, α से बड़ी ε-संख्या है।[2]


घातांक से परे

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

कैंटर सामान्य रूप

प्रत्येक क्रमसूचक संख्या α को विशिष्ट रूप से के रूप में लिखा जा सकता है, जहाँ k प्राकृत संख्या है, धनात्मक पूर्णांक हैं, और क्रमसूचक संख्याएँ हैं। अपकृष्ट स्तिथि α = 0 तब होती है जब k = 0 होता है और कोई βs और cs नहीं होता है। Α के इस अपघटन को α का 'कैंटर सामान्य रूप' कहा जाता है, और इसे आधार-ω की स्थितीय अंक प्रणाली माना जा सकता है। उच्चतम घातांक को की डिग्री कहा जाता है, और यह संतुष्ट करता है। यदि है, समानता क्रियान्वित होती है। उस स्थिति में कैंटर सामान्य रूप क्रमसूचक को छोटे संदर्भ में व्यक्त नहीं करता है।

कैंटर सामान्य रूप का साधारण परिवर्तन, जिसके साथ कार्य करना सामान्यतः सरल होता है, जिसमें संख्या ci को 1 के समान सेट करना और घातांकों को समान करने की अनुमति देना है। अन्य शब्दों में, प्रत्येक क्रमसूचक संख्या α को विशिष्ट रूप से लिखा जा सकता है, जहाँ k प्राकृतिक संख्या है, और क्रमसूचक संख्याएँ हैं।

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

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

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

क्रमसूचक ε0 (एप्सिलॉन शून्य) कैंटर सामान्य रूप की परिमित-लंबाई अंकगणितीय अभिव्यक्तियों के क्रमिक मानों α का समुच्चय है जो आनुवंशिक रूप से गैर-तुच्छ हैं जहां गैर-तुच्छ का अर्थ β1<α जब 0<α है। यह सबसे छोटा क्रमसूचक है जिसमें ω के संदर्भ में परिमित अंकगणितीय अभिव्यक्ति नहीं है, उदाहरण के लिए , अर्थात कैंटर सामान्य रूप में घातांक स्वयं क्रमसूचक से छोटा नहीं होता है। यह क्रम की सीमा है-

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

कैंटर सामान्य रूप, क्रमसूचकों के योग और गुणनफलों की गणना करने की अनुमति देता है: योग की गणना करने के लिए, उदाहरण के लिए, केवल यह ज्ञात करने की आवश्यकता है (§ Addition और § Multiplication में सूचीबद्ध गुणों को देखें)

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

और

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

कैंटर सामान्य रूप में लिखे गए दो क्रमसूचकों की तुलना करने के लिए, प्रथम की तुलना करें, उसके पश्चात , तत्पश्चात , तत्पश्चात , आदि की तुलना करें, प्रथम अंतर पर, जिस क्रमसूचक का बड़ा घटक होता है वह बड़ा क्रमसूचक होता है। यदि वे तब तक समान हैं जब तक एक दूसरे से पूर्व समाप्त नहीं हो जाते है, तो जो पूर्व समाप्त होता है वह छोटा होता है।

अभाज्यों में गुणनखंड

अर्न्स्ट जैकबस्टल ने प्रस्तुत किया कि क्रमसूचक अद्वितीय गुणनखंड प्रमेय के रूप को संतुष्ट करते हैं: प्रत्येक अशून्य क्रमसूचक को परिमित संख्याओं के गुणनफल के रूप में अंकित किया जा सकता है। मुख्य क्रमसूचकों में यह गुणनखंड सामान्य रूप से अद्वितीय नहीं है, किन्तु अभाज्यों में न्यूनतम गुणनखंड है जो परिमित प्रमुख कारकों के क्रम को परिवर्तित करने के लिए अद्वितीय है (Sierpiński 1958)।

प्रमुख क्रमसूचक 1 से अधिक क्रमसूचक है जिसे दो छोटे क्रमसूचकों के गुणनफल के रूप में अंकित नहीं किया जा सकता है। कुछ प्रथम अभाज्य संख्याएँ हैं- 2, 3, 5, ... , ω, ω+1, ω2+1, ω3+1, ..., ωω, ωω+1, ωω+1+1, ... प्रमुख क्रमसूचकों के तीन प्रकार होते हैं:

  • परिमित अभाज्य संख्याएँ- 2, 3, 5, ...
  • किसी भी क्रमसूचक α के लिए, ωωα रूप के क्रमसूचक हैं। ये प्रमुख क्रमसूचकों की सीमाएँ और डेल्टा संख्याएँ हैं, जो परिमित क्रमसूचक गुणन के अंतर्गत संवृत हैं।
  • किसी भी क्रमसूचक α>0 के लिए, ωα+1 रूप के क्रमसूचक हैं। ये अनंत उत्तराधिकारी अभाज्य संख्याएँ हैं, और योगात्मक रूप से अविघटनीय क्रमसूचकों के उत्तराधिकारी हैं, योज्य रूप से अविघटनीय क्रमसूचक हैं।

अभाज्य संख्याओं में गुणनखंड अद्वितीय नहीं है, उदाहरण के लिए, 2×3=3×2, 2×ω=ω, (ω+1)×ω=ω×ω और ω×ωω = ωω है। चूँकि, निम्नलिखित अतिरिक्त स्तिथियों को पूर्ण करने वाले अभाज्यों में अद्भुत गुणनखंड है-

  • प्रत्येक मुख्य सीमा उत्तराधिकारी से पूर्व उपयोग किये जाते हैं  
  • यदि अभाज्य गुणनखंडन के दो क्रमागत अभाज्य, दोनों सीमाएँ हैं या दोनों परिमित हैं तो दूसरा अधिक से अधिक प्रथम है।

कैंटर सामान्य रूप का उपयोग करके इस अभाज्य गुणनखंडन का सरलता से अध्यन्न किया जा सकता है:

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

तो कैंटर सामान्य रूप का गुणन क्रमसूचक है-

(साथ )

अनंत अभाज्यों और पूर्णांकों के न्यूनतम गुणनफल में है-

जहाँ प्रत्येक ni परिमित अभाज्यों के अविस्तृत अनुक्रम में इसके गुणनखंड द्वारा प्रतिस्थापित किया जाना चाहिए और

साथ .

बड़े गणनीय क्रमसूचक

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

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

प्राकृतिक संक्रियाएं

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

प्राकृतिक संक्रियाएँ उचित आंशिक क्रमों के सिद्धांत के अंतर्गत आती हैं; जिन्हें दो पूर्ण आंशिक क्रम S और T प्रकार के o(S) और o(T) दिए गए हैं और असंयुक्त संघ का प्रकार o(S) ⊕ o(T) है, जबकि प्रत्यक्ष गुणन का प्रकार o(S) ⊗ o(T) है।[3] S और T को क्रमसूचकों α और β का चयन करके इस संबंध को प्राकृतिक संक्रियाओं की परिभाषा के रूप में लिया जा सकता है; इसलिए α ⊕ β कुल क्रम का अधिकतम क्रम प्रकार है जो α और β के असंयुक्त संघ (आंशिक क्रम के रूप में) को विस्तारित करता है; जबकि α ⊗ β, α और β के प्रत्यक्ष गुणन को विस्तारित करने वाले कुल क्रम का अधिकतम क्रम प्रकार है।[4] इस अनुप्रयोग का उपयोग तब होता है जब α और β दोनों बड़े कुल क्रम के उपसमुच्चय होते हैं; तब उनके संघ का क्रम प्रकार अधिकतम α ⊕ β होता है। यदि वे दोनों किसी क्रमित समूह के उपसमुच्चय हैं, तो उनके योग का क्रम प्रकार α ⊗ β होता है।

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

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

तब भी दो क्रमसूचकों α और β के प्राकृतिक योग और गुणन को परिभाषित करने की अन्य विधि कैंटर सामान्य रूप का उपयोग करना है: क्रमसूचक γ1 > ... > γn और प्राकृतिक संख्याओं के दो अनुक्रमों (k1, ..., kn) और (j1, ..., jn) के क्रम का शोधन किया सकता है (शून्य सहित, किन्तु संतोषजनक ki + ji > 0 सभी के लिए i) जैसे कि

और

प्राकृतिक योग के अंतर्गत, गामा संख्या ωα द्वारा उत्पन्न मुक्त क्रमविनिमय मोनॉयड के तत्वों के साथ क्रमसूचकों को प्रमाणित किया जा सकता है। प्राकृतिक योग और गुणन के अंतर्गत, डेल्टा संख्या ωωα द्वारा उत्पन्न मुक्त क्रमविनिमय सेमिरिंग के तत्वों के साथ क्रमसूचकों को प्रमाणित किया जा सकता है।

क्रमसूचकों में प्राकृतिक गुणन के अंतर्गत अभाज्यों में अद्वितीय गुणनखंड नहीं होते हैं। चूँकि पूर्ण बहुपद वलय में अद्वितीय गुणनखंड होता है, किन्तु गैर-ऋणात्मक गुणांक वाले बहुपदों का उपसमुच्चय नहीं होता है: उदाहरण के लिए, यदि x कोई डेल्टा संख्या है, तो

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

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

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

टिप्पणियाँ

  1. Feferman, S. (1964). "जबरदस्ती और सामान्य सेटों की धारणाओं के कुछ अनुप्रयोग". Fundamenta Mathematicae. 56 (3): 325–345. doi:10.4064/fm-56-3-325-345.
  2. Ernst Jacobsthal, Vertauschbarkeit transfiniter Ordnungszahlen, Mathematische Annalen, Bd 64 (1907), 475-488. Available here
  3. D. H. J. De Jongh and R. Parikh, Well-partial orderings and hierarchies, Indag. Math. 39 (1977), 195–206. Available here
  4. Philip W. Carruth, Arithmetic of ordinals with applications to the theory of ordered Abelian groups, Bull. Amer. Math. Soc. 48 (1942), 262–271. See Theorem 1. Available here


संदर्भ


बाहरी संबंध