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

Latest revision as of 16:24, 30 October 2023

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

जोड़

दो भिन्न-भिन्न सुव्यवस्थित समुच्चय 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 \leq \beta +\gamma

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

3+\omega =0+\omega =\omega

किन्तु

3\neq 0

है

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

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

गुणन

असंयुक्त संघ { (0,n) : n ∈ ℕ } ∪ { (1,n) : n ∈ ℕ } का क्रम प्रकार

\omega \cdot 2

है।

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

2\cdot \omega

है।

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

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

α·0 = 0.
α · S(β) = (α · β) + α, उत्तराधिकारी क्रमसूचक S(β) के लिए है।
$\alpha \cdot \beta =\bigcup _{\delta <\beta }(\alpha \cdot \delta )$ , जब β सीमा क्रमसूचक है।

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

0₀ < 1₀ < 2₀ < 3₀ < ... < 0₁ < 1₁ < 2₁ < 3₁ <...,

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

0₀ < 1₀ < 0₁ < 1₁ < 0₂ < 1₂ < 0₃ < 1₃ <...

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

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

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

गुण

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

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

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

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

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

घातांक

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

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

α⁰ = 1
α^S(β) = (α^β) · α, उत्तराधिकारी क्रमसूचक S(β) के लिए है।
$\alpha ^{\beta }=\bigcup _{0<\delta <\beta }(\alpha ^{\delta })$ , जब β सीमा क्रमसूचक है।

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

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

उनमें से प्रत्येक अनुक्रम जैसे $\omega ^{n_{1}}c_{1}+\omega ^{n_{2}}c_{2}+\cdots +\omega ^{n_{k}}c_{k}$ , $\omega ^{\omega }$ से अल्प क्रमसूचक से युग्मित होता है और $\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, ...)

<...

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

हम देखतें है,

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

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

गुण

α⁰ = 1
यदि 0 <α, तब 0^α = 0
1^α = 1
α¹ = α
α^β·α^γ = α^β ^{+ γ}
(α^β)^γ = α^β^·γ
α, β, और γ हैं जिसके लिए (α·β)γ ≠ αγ·βγ हैं। उदाहरण के लिए, (ω·2)² = ω·2·ω·2 = ω²·2 ≠ ω²·4
क्रमसूचक घातांक जटिलता से विस्तारित हो रहा है और उचित तर्क में निरंतर है: यदि γ> 1 और α < β, तब γα < γβ है।
यदि α < β, तब αγ ≤ βγ, उदाहरण के लिए ध्यान दें कि 2 < 3 और 2ω = 3ω = ω है।
यदि α> 1 और αβ = αγ, तब β = γ है। यदि α = 1 या α = 0 तब यह स्थिति नहीं है।
यदि β > 1 और α > 0 है, तब α और β के लिए अद्वितीय γ, δ, और ρ उपस्थित हैं जैसे कि α = βγ·δ + ρ, 0 < δ < β और ρ < βγ

अर्न्स्ट जैकबस्टल ने दिखाया कि αβ = βα का α ≤ β के साथ एकमात्र समाधान α = β, या α = 2 और β = 4 द्वारा दिया जाता है, या α सीमा क्रमसूचक है और β = εα जहाँ ε, α से बड़ी ε-संख्या है।^[2]

घातांक से परे

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

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

प्रत्येक क्रमसूचक संख्या α को विशिष्ट रूप से $\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}\leq \alpha$ संतुष्ट करता है। यदि $\alpha =\omega ^{\alpha }$ है, समानता $\beta _{1}=\alpha$ क्रियान्वित होती है। उस स्थिति में कैंटर सामान्य रूप क्रमसूचक को छोटे संदर्भ में व्यक्त नहीं करता है।

कैंटर सामान्य रूप का साधारण परिवर्तन, जिसके साथ कार्य करना सामान्यतः सरल होता है, जिसमें संख्या c_i को 1 के समान सेट करना और घातांकों को समान करने की अनुमति देना है। अन्य शब्दों में, प्रत्येक क्रमसूचक संख्या α को विशिष्ट रूप से $\omega ^{\beta _{1}}+\omega ^{\beta _{2}}+\cdots +\omega ^{\beta _{k}}$ लिखा जा सकता है, जहाँ k प्राकृतिक संख्या है, और $\beta _{1}\geq \beta _{2}\geq \ldots \geq \beta _{k}\geq 0$ क्रमसूचक संख्याएँ हैं।

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

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

\omega ^{\omega ^{\omega ^{7}\cdot 6+\omega +42}\cdot 1729+\omega ^{9}+88}\cdot 3+\omega ^{\omega ^{\omega }}\cdot 5+65537

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

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

0,\,1=\omega ^{0},\,\omega =\omega ^{1},\,\omega ^{\omega },\,\omega ^{\omega ^{\omega }},\,\ldots \,.

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

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

\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}$ , आदि की तुलना करें, प्रथम अंतर पर, जिस क्रमसूचक का बड़ा घटक होता है वह बड़ा क्रमसूचक होता है। यदि वे तब तक समान हैं जब तक एक दूसरे से पूर्व समाप्त नहीं हो जाते है, तो जो पूर्व समाप्त होता है वह छोटा होता है।

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

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

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

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

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

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

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

प्रथम क्रमसूचक को गुणनफल αβ के रूप में अंकित करें जहाँ α कैंटर सामान्य रूप में ω की सबसे छोटी घात है और β उत्तराधिकारी है।
यदि α=ω^γ, तब कैंटर सामान्य रूप में γ लिखने से लिमिट अभाज्यों के गुणनफल के रूप में α का विस्तार होता है।
अब β के कैंटर सामान्य रूप को देखें। यदि β = ω^λm + ω^μn + छोटे पद, तब β = (ω^μn + छोटे पद) (ω^λ−μ + 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}

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

\alpha _{k}=\omega ^{\beta _{1}}+\cdots +\omega ^{\beta _{m}}

साथ

\beta _{1}\geq \cdots \geq \beta _{m}

.

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

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

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

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

क्रमसूचकों पर प्राकृतिक योग और प्राकृतिक गुणन संक्रियाओं को 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 और ω का प्राकृतिक गुणन भी है।

तब भी दो क्रमसूचकों α और β के प्राकृतिक योग और गुणन को परिभाषित करने की अन्य विधि कैंटर सामान्य रूप का उपयोग करना है: क्रमसूचक γ₁ > ... > γ_n और प्राकृतिक संख्याओं के दो अनुक्रमों (k₁, ..., k_n) और (j₁, ..., j_n) के क्रम का शोधन किया सकता है (शून्य सहित, किन्तु संतोषजनक k_i + j_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)

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

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

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

↑ Feferman, S. (1964). "जबरदस्ती और सामान्य सेटों की धारणाओं के कुछ अनुप्रयोग". Fundamenta Mathematicae. 56 (3): 325–345. doi:10.4064/fm-56-3-325-345.
↑ Ernst Jacobsthal, Vertauschbarkeit transfiniter Ordnungszahlen, Mathematische Annalen, Bd 64 (1907), 475-488. Available here
↑ D. H. J. De Jongh and R. Parikh, Well-partial orderings and hierarchies, Indag. Math. 39 (1977), 195–206. Available here
↑ 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

संदर्भ

Thomas Jech (21 March 2006). Set Theory: The Third Millennium Edition, revised and expanded. Springer Science & Business Media. ISBN 978-3-540-44085-7.
Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9.
Sierpiński, Wacław (1958), Cardinal and ordinal numbers, Polska Akademia Nauk Monografie Matematyczne, vol. 34, Warsaw: Państwowe Wydawnictwo Naukowe, MR 0095787

बाहरी संबंध

ordCalc ordinal calculator

[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

[1]

[2]

[3]

[4]

@@ Line 1: / Line 1: @@
 {{short description|Operations on ordinals that extend classical arithmetic}}
-समुच्चय सिद्धांत के गणितीय क्षेत्र में, साधारण अंकगणित क्रमसूचक संख्याओं के योग, गुणन और [[घातांक]] पर तीन सामान्य संक्रियाओं का वर्णन करता है। प्रत्येक को अनिवार्य रूप से दो भिन्न-भिन्न विधियों द्वारा परिभाषित किया जा सकता है, या तो [[ट्रांसफिनिट रिकर्सन]] का उपयोग करके अथवा स्पष्ट सुव्यवस्थित सेट का निर्माण करके जो ऑपरेशन के परिणाम का प्रतिनिधित्व करता है। कैंटर नॉर्मल फॉर्म क्रमसूचक संख्याओं को लिखने की मानकीकृत विधि प्रदान करता है। इन सामान्य क्रमसूचक संक्रियाओं के अतिरिक्त, क्रमसूचकों का "प्राकृतिक" अंकगणित और निम्बर संक्रियाएँ भी होती हैं।
+समुच्चय सिद्धांत के गणितीय क्षेत्र में, '''क्रमिक अंकगणित''' क्रमसूचक संख्याओं के योग, गुणन और [[घातांक]] पर तीन सामान्य संक्रियाओं का वर्णन करता है। प्रत्येक को अनिवार्य रूप से दो भिन्न-भिन्न विधियों द्वारा परिभाषित किया जा सकता है, या तो [[ट्रांसफिनिट रिकर्सन|परिमित प्रत्यावर्तन]] का उपयोग करके अथवा स्पष्ट सुव्यवस्थित समुच्चय का निर्माण करके जो ऑपरेशन के परिणाम का प्रतिनिधित्व करता है। कैंटर सामान्य रूप क्रमसूचक संख्याओं को लिखने की मानकीकृत विधि प्रदान करता है। इन सामान्य क्रमसूचक संक्रियाओं के अतिरिक्त, क्रमसूचकों का "प्राकृतिक" अंकगणित और निम्बर संक्रियाएँ भी होती हैं।
 == जोड़ ==
-दो भिन्न-भिन्न सुव्यवस्थित समुच्चय 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 = α
-* {{nowrap|1=''α'' + ''S''(''β'') = ''S''(''α'' + ''β'')}}, जहाँ S [[उत्तराधिकारी क्रमसूचक]] फंक्शन को दर्शाता है।
+* {{nowrap|1=''α'' + ''S''(''β'') = ''S''(''α'' + ''β'')}}, जहाँ S [[उत्तराधिकारी क्रमसूचक]] फलन को दर्शाता है।
 * <math>\alpha + \beta = \bigcup_{\delta<\beta}(\alpha+\delta)</math> जब β सीमा क्रमसूचक है।
-[[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] पर क्रमसूचक जोड़ मानक जोड़ के समान होता है। प्रथम ट्रांसफ़िनिटी ऑर्डिनल ω सभी प्राकृतिक संख्याओं का समुच्चय है, जिसके पश्चात ω + 1, ω + 2, आदि हैं। क्रमसूचक ω + ω, प्राकृतिक संख्याओं के सामान्य क्रम में दो प्रतियों द्वारा प्राप्त किया जाता है और द्वितीय प्रति पूर्ण रूप से प्रथम प्रति के दाईं ओर होती है। द्वितीय प्रति के लिए 0' <1' < 2' <... अंकित करने पर ω + ω, 0 <1 <2 <3 <... <0' <1' <2' <... जैसा दिखता है।
+[[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] पर क्रमसूचक जोड़ मानक जोड़ के समान होता है। प्रथम पारसिमित क्रमसूचक ω सभी प्राकृतिक संख्याओं का समुच्चय है, जिसके पश्चात ω + 1, ω + 2, आदि हैं। क्रमसूचक ω + ω, प्राकृतिक संख्याओं के सामान्य क्रम में दो प्रतियों द्वारा प्राप्त किया जाता है और द्वितीय प्रति पूर्ण रूप से प्रथम प्रति के दाईं ओर होती है। द्वितीय प्रति के लिए 0' <1' < 2' <... अंकित करने पर ω + ω, 0 <1 <2 <3 <... <0' <1' <2' <... जैसा दिखता है।
 यह ω से भिन्न होता है क्योंकि ω में केवल 0 का प्रत्यक्ष पूर्ववर्ती नहीं होता है यद्यपि ω + ω में दो तत्वों 0 और 0' का प्रत्यक्ष पूर्ववर्ती नहीं होता है।
@@ Line 17: / Line 17: @@
 === गुण ===
-साधारण जोड़ सामान्य रूप से [[विनिमेय|क्रमविनिमेय]] नहीं है। उदाहरण के लिए {{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 + ω) = ω + ω
@@ Line 25: / Line 25: @@
 किन्तु समान संबंध बाएँ तर्क के लिए मान्य नहीं है; इसके अतिरिक्त हमारे निकट है-
 :<math>\alpha < \beta \Rightarrow \alpha+\gamma \le \beta+\gamma</math>
-यदि α + β = α + γ और β = γ है, तो क्रमसूचक योग बायाँ-निरस्त होता है। इसके अतिरिक्त, कोई ऑर्डिनल β ≤ α के लिए बाएं डिवीजन को परिभाषित कर सकता है: अद्वितीय γ उपस्थित है जैसे α = β + γ। दूसरी ओर, उचित निरस्तीकरण कार्य नहीं होता है-
+यदि α + β = α + γ और β = γ है, तो क्रमसूचक योग बायाँ-निरस्त होता है। इसके अतिरिक्त, कोई क्रमसूचक β ≤ α के लिए बाएं विभाजन को परिभाषित कर सकता है: अद्वितीय γ उपस्थित है जैसे α = β + γ दूसरी ओर, उचित निरस्तीकरण कार्य नहीं होता है-
 :<math>3+\omega = 0+\omega = \omega</math> किन्तु <math>3 \neq 0</math> है
 β ≤ α के लिए उचित घटाव कार्य नहीं करता उदाहरण के लिए, तब γ उपस्थित नहीं होता है जैसे कि γ + 42 = ω
-यदि α से अल्प क्रमांक योग के अंतर्गत संवृत और 0 होते हैं तो α को कभी-कभी γ-संख्या कहा जाता है (जोड़ने योग्य अविभाज्य क्रमसूचक देखें)। ये पूर्णतः ωβ रूप के क्रमसूचक हैं।
+यदि α से अल्प क्रमांक योग के अंतर्गत संवृत और 0 होते हैं तो α को कभी-कभी γ संख्या कहा जाता है (जोड़ने योग्य अविभाज्य क्रमसूचक देखें)। ये पूर्णतः ωβ रूप के क्रमसूचक हैं।
 == गुणन ==
 [[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> है।]]कार्टेशियन गुणन S×T, दो सुव्यवस्थित सेट S और T के [[लेक्सिकोग्राफिक ऑर्डर]] विधि द्वारा उचित रूप से व्यवस्थित किये जा सकते है जो कम से कम महत्वपूर्ण स्थिति को प्रथम रखता है। प्रभावी रूप से, T के प्रत्येक तत्व को S की असंयुक्त प्रति द्वारा प्रतिस्थापित कर दिया जाता है। कार्टेशियन गुणन का क्रम-प्रकार क्रमसूचक है जो S और T के क्रम-प्रकारों को गुणा करने से उत्पन्न होता है।
+[[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 के क्रम-प्रकारों को गुणा करने से उत्पन्न होता है।
 गुणन की परिभाषा आगमनात्मक रूप से भी दी जा सकती है (निम्नलिखित प्रेरण β पर है)-
@@ Line 41: / Line 41: @@
 * <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> <...,
 जिसका क्रम प्रकार ω + ω के समान है। इसके विपरीत, 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> <...
-और पुनः लेबल लगाने के पश्चात, यह पूर्णतः ω जैसा दिखता है।
+और पुनः स्तरीय करने के पश्चात, यह पूर्णतः ω जैसा दिखता है।
 इस प्रकार, ω·2 = ω+ω ≠ ω = 2·ω, यह दर्शाता है कि क्रमांकों का गुणन सामान्य क्रमविनिमेय नहीं है।
@@ Line 55: / Line 55: @@
 α·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>m</sup>'' = ''β<sup>n</sup>'' है तो कुछ सकारात्मक प्राकृतिक संख्या m और n के लिए दो अनंत क्रमसूचक α, β के साथ चलती है। संबंध α, β के साथ संचार करता है, 1 से अधिक क्रमांक पर तुल्यता संबंध है, और सभी तुल्यता वर्ग अनगिनत रूप से अनंत हैं।
+क्रमसूचकों का गुणन सामान्य क्रमविनिमेय नहीं है। विशेष रूप से, 1 से अधिक प्राकृतिक संख्या कभी भी किसी भी अनंत क्रमसूचक के साथ नहीं चलती है और यदि ''α<sup>m</sup>'' = ''β<sup>n</sup>'' है तो कुछ धनात्मक प्राकृतिक संख्या m और n के लिए दो अनंत क्रमसूचक α, β के साथ चलती है। संबंध α, β के साथ संचार करता है, 1 से अधिक क्रमांक पर तुल्यता संबंध है, और सभी तुल्यता वर्ग अनगिनत रूप से अनंत हैं।
 [[वितरण|वितरणता]], α(β + γ) = αβ + αγ में बाईं ओर होती है। चूँकि, दाईं ओर वितरण नियम (β + γ)α = βα+γα सामान्यतः सत्य नहीं है: (1 + 1)·ω = 2·ω = ω यद्यपि 1·ω + 1·ω = ω+ω, जो भिन्न है। यदि α > 0 और α·β = α·γ हैं तो β = γ होगा, यह बायां निरस्तीकरण नियम है। उचित निरस्तीकरण कार्य नहीं करता है, उदाहरण के लिए 1·ω = 2·ω = ω, किन्तु 1 और 2 भिन्न हैं। [[शेष]] गुण के साथ बाएँ विभाजन के लिए α और β मान्य है यदि β> 0, तब γ और δ अद्वितीय हैं जैसे कि α = β·γ + δ और δ < β, उचित विभाजन कार्य नहीं करते हैं: ऐसा α नहीं है जैसे कि α·ω ≤ ω<sup>ω</sup> ≤ (α + 1)·ω.
-क्रमसूचक संख्याएँ बाएँ [[निकट-सेमीरिंग]] बनाती हैं, किन्तु वलय (बीजगणित) नहीं बनाती हैं। इसलिए ऑर्डिनल्स [[यूक्लिडियन डोमेन]] नहीं हैं, क्योंकि वे वलय भी नहीं हैं – इसके अतिरिक्त, यूक्लिडियन मानदंड बाएं डिवीजन का उपयोग करके क्रमसूचक-महत्वपूर्ण होता है।
+क्रमसूचक संख्याएँ बाएँ [[निकट-सेमीरिंग]] बनाती हैं, किन्तु वलय (बीजगणित) नहीं बनाती हैं। इसलिए क्रमसूचकों [[यूक्लिडियन डोमेन]] नहीं हैं, क्योंकि वे वलय भी नहीं हैं – इसके अतिरिक्त, यूक्लिडियन मानदंड बाएं विभाजन का उपयोग करके क्रमसूचक-महत्वपूर्ण होता है।
-δ-संख्या (गुणात्मक रूप से अविघटनीय क्रमसूचक देखें) 1 से बड़ी ऑर्डिनल β है जैसे कि αβ=β, जब 0 < α < β होता है। इनमें क्रमसूचक 2 और β = ω<sup>ω''γ''</sup> रूप के क्रमांक सम्मिलित हैं।
+δ-संख्या (गुणात्मक रूप से अविघटनीय क्रमसूचक देखें) 1 से बड़ा क्रमसूचक β है जैसे कि αβ=β, जब 0 < α < β होता है। इनमें क्रमसूचक 2 और β = ω<sup>ω''γ''</sup> रूप के क्रमांक सम्मिलित हैं।
 == घातांक ==
-क्रम प्रकार के माध्यम से परिभाषा को सबसे सरलता से वॉन न्यूमैन की ऑर्डिनल परिभाषा का उपयोग करके सभी छोटे क्रमसूचकों के सेट के रूप में अध्यन्न किया गया है। तत्पश्चात, क्रम प्रकार αβ का सेट बनाने के लिए β से α तक सभी फंक्शन्स पर विचार करें जैसे कि डोमेन β के तत्वों की केवल 1 परिमित संख्या α के गैर शून्य तत्व के लिए मैप करती है (अनिवार्य रूप से, हम सीमित [[समर्थन (गणित)]] के साथ फंक्शन्स पर विचार करते हैं)। क्रम प्रथम अतिअल्प महत्वपूर्ण स्थिति के साथ लेक्सिकोग्राफ़िक है।
+क्रम प्रकार के माध्यम से परिभाषा को सबसे सरलता से वॉन न्यूमैन की क्रमसूचक परिभाषा का उपयोग करके सभी छोटे क्रमसूचकों के समुच्चय के रूप में अध्यन्न किया गया है। तत्पश्चात, क्रम प्रकार αβ का समुच्चय बनाने के लिए β से α तक सभी फलनों पर विचार करें जैसे कि डोमेन β के तत्वों की केवल 1 परिमित संख्या α के गैर शून्य तत्व के लिए विचार करती है (अनिवार्य रूप से, हम सीमित [[समर्थन (गणित)]] के साथ फलनों पर विचार करते हैं)। क्रम प्रथम अतिअल्प महत्वपूर्ण स्थिति के साथ लेक्सिकोग्राफ़िक है।
 घातांक की परिभाषा भी आगमनात्मक रूप से प्राप्त की जा सकती है (निम्नलिखित प्रेरण β, घातांक पर है)-
@@ Line 72: / Line 72: @@
 * <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,k), (1,m)} को क्रमित जोड़ी (k, m) से प्रतिस्थापित कर दिया है।
+जहाँ संक्षिप्तता के लिए, हमने फलन {(0,k), (1,m)} को क्रमित जोड़ी (k, m) से प्रतिस्थापित कर दिया है।
-इसी प्रकार, किसी परिमित घातांक n के लिए, <math>\omega^n</math> को n (डोमेन) से प्राकृतिक संख्याओं (कोडोमेन) तक के फंक्शन्स के सेट का उपयोग करके परिभाषित किया जा सकता है। इन फंक्शन्स को प्राकृतिक संख्याओं के n-टपल्स के रूप में संक्षिप्त किया जा सकता है।
+इसी प्रकार, किसी परिमित घातांक 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> भी माना जा सकता है।
@@ Line 82: / Line 82: @@
 उनमें से प्रत्येक अनुक्रम जैसे <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,...) <... <
@@ Line 98: / Line 98: @@
 * 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>) का उपयोग कर सकता है।
 === गुण ===
@@ Line 118: / Line 118: @@
 == घातांक से परे ==
-ऐसे क्रमसूचक संचालन होते हैं जो जोड़, गुणन और घातांक द्वारा प्रारम्भ किए गए अनुक्रम को निरंतर रखते हैं, जिसमें [[टेट्रेशन]], [[ pentation | पेंटेशन]] और [[ hexation | हेक्सेशन]] के क्रमसूचक संस्करण सम्मिलित हैं। [[वेब्लेन समारोह]] भी देखें।
+ऐसे क्रमसूचक संचालन होते हैं जो जोड़, गुणन और घातांक द्वारा प्रारम्भ किए गए अनुक्रम को निरंतर रखते हैं, जिसमें [[टेट्रेशन]], [[ pentation | पेंटेशन]] और [[ hexation | हेक्सेशन]] के क्रमसूचक संस्करण सम्मिलित हैं। [[वेब्लेन समारोह|वेब्लेन फलन]] भी देखें।
 == कैंटर सामान्य रूप ==
 <!-- 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>\alpha=\omega^\alpha</math> है, समानता <math>\beta_1=\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> क्रियान्वित होती है। उस स्थिति में कैंटर सामान्य रूप क्रमसूचक को छोटे संदर्भ में व्यक्त नहीं करता है।
 कैंटर सामान्य रूप का साधारण परिवर्तन, जिसके साथ कार्य करना सामान्यतः सरल होता है, जिसमें संख्या ''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>
-एक क्रमसूचक को दर्शाता है)।
+जो क्रमसूचक को दर्शाता है)।
-क्रमसूचक ε<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>
-क्रमसूचक ε<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>\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 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^{\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>\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>\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>
-प्राकृतिक जोड़ के तहत, गामा संख्या ω द्वारा उत्पन्न [[मुफ्त कम्यूटेटिव मोनोइड]] के तत्वों के साथ अध्यादेशों की पहचान की जा सकती है<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>
-गैर-नकारात्मक गुणांक वाले बहुपदों के प्राकृतिक उत्पाद के रूप में दो असंगत अभिव्यक्तियाँ हैं जिन्हें आगे विघटित नहीं किया जा सकता है।
+गैर-ऋणात्मक गुणांक वाले बहुपदों के प्राकृतिक गुणन के रूप में दो असंगत अभिव्यक्तियाँ हैं जिन्हें अग्र विघटित नहीं किया जा सकता है।
 == नम्बर अंकगणित ==
-{{main|Nimber}}
+{{main|निम्बर}}
-ऑर्डिनल्स और [[निम्बर]]्स के बीच एक-से-एक पत्राचार के आधार पर ऑर्डिनल्स पर अंकगणितीय ऑपरेशन होते हैं। निम्बरों पर तीन सामान्य संक्रियाएँ निम्बर जोड़, निंबर गुणन और मेक्स (गणित)|न्यूनतम अपवर्जन (मेक्स) हैं। निम्बर जोड़ प्राकृतिक संख्याओं पर बिटवाइज़ ऑपरेशन #XOR ऑपरेशन का एक सामान्यीकरण है। वह {{math|mex}} अध्यादेशों के एक सेट में सबसे छोटा क्रमसूचक है जो सेट में मौजूद नहीं है।
+क्रमसूचकों और [[निम्बर|निम्बर्स]] के मध्य पत्राचार के आधार पर क्रमसूचकों पर अंकगणितीय संक्रियाएं होती हैं। निम्बरों पर तीन सामान्य संक्रियाएँ निम्बर जोड़, निंबर गुणन और मेक्स (गणित) होती हैं। निम्बर जोड़ प्राकृतिक संख्याओं पर बिटवाइज़ संचालन का सामान्यीकरण है। वह {{math|mex}} क्रमसूचकों के समुच्चय में सबसे छोटा क्रमसूचक है जो समुच्चय में उपस्थित नहीं होता है।
 ==टिप्पणियाँ==
@@ Line 219: / Line 217: @@
 ==बाहरी संबंध==
 *[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: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:समुच्चय सिद्धान्त]]

Anonymous

Search

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

Namespaces

More

Page actions

Latest revision as of 16:24, 30 October 2023

Contents

जोड़

गुण

गुणन

गुण

घातांक

गुण

घातांक से परे

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

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

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

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

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

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Latest revision as of 16:24, 30 October 2023

जोड़

गुण

गुणन

गुण

घातांक

गुण

घातांक से परे

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

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

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

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

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

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories