एप्सिलॉन नंबर: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 5: Line 5:
{{Technical|date=January 2023}}
{{Technical|date=January 2023}}
}}
}}
गणित में, एप्सिलॉन संख्याएँ [[ट्रांसफ़िनाइट संख्या|परिमितातीत संख्या]] का एक संग्रह है, जिसकी विशेषता को परिभाषित करना है कि वे घातीय मानचित्र निश्चित बिंदु (गणित) हैं। <!-- Do not link 'exponential map': This has little to do with the exp maps of differential geometry -->  परिणामस्वरूप , वे चुने हुए घातीय मानचित्र के अनुप्रयोगों की एक परिमित श्रृंखला के माध्यम से 0 से उपलब्ध नहीं हैं और जोड़ और गुणा जैसे दुर्बल संचालन के माध्यम से 0 से पहुंच योग्य नहीं हैं। क्रमसूचक संख्या अंकगणित के संदर्भ में [[जॉर्ज कैंटर]] द्वारा मूल एप्सिलॉन संख्या प्रस्तुत किए गए थे;वे [[क्रमसूचक संख्या]] हैं जो [[समीकरण]] को संतुष्ट करते हैं
गणित में, एप्सिलॉन संख्याएँ [[ट्रांसफ़िनाइट संख्या|परिमितातीत संख्या]] का एक संग्रह है, जिसकी विशेषता को परिभाषित करना है कि वे [[घातीय मानचित्र]] निश्चित बिंदु (गणित) हैं। <!-- Do not link 'exponential map': This has little to do with the exp maps of differential geometry -->  परिणामस्वरूप , वे चुने हुए घातीय मानचित्र के अनुप्रयोगों की एक परिमित श्रृंखला के माध्यम से 0 से उपलब्ध नहीं हैं और जोड़ और गुणा जैसे दुर्बल संचालन के माध्यम से 0 से पहुंच योग्य नहीं हैं। क्रमसूचक संख्या अंकगणित के संदर्भ में [[जॉर्ज कैंटर]] द्वारा मूल एप्सिलॉन संख्या प्रस्तुत किए गए थे;वे [[क्रमसूचक संख्या]] हैं जो [[समीकरण]] को संतुष्ट करते हैं


:<math>\varepsilon = \omega^\varepsilon, \, </math>
:<math>\varepsilon = \omega^\varepsilon, \, </math>
Line 17: Line 17:
घातीय मानचित्र के बड़े क्रमिक निश्चित बिंदुओं को क्रमबद्ध सदस्यता द्वारा अनुक्रमित किया जाता है, जिसके परिणामस्वरूप <math>\varepsilon_1, \varepsilon_2,\ldots,\varepsilon_\omega, \varepsilon_{\omega+1}, \ldots, \varepsilon_{\varepsilon_0}, \ldots, \varepsilon_{\varepsilon_1}, \ldots, \varepsilon_{\varepsilon_{\varepsilon_{\cdot_{\cdot_{\cdot}}}}},\ldots</math>.<ref>Stephen G. Simpson, ''Subsystems of Second-order Arithmetic'' (2009, p.387)</ref> क्रमसूचक ε<sub>0</sub> अभी भी गिनती योग्य है, जैसा कि कोई भी एप्सिलॉन संख्या है जिसका सूचकांक गिनती योग्य है (अगणनीय क्रमसूचक संख्या उपस्थित हैं, और अगणनीय एप्सिलॉन संख्या जिनका सूचकांक एक अगणनीय क्रमसूचक संख्या है)।
घातीय मानचित्र के बड़े क्रमिक निश्चित बिंदुओं को क्रमबद्ध सदस्यता द्वारा अनुक्रमित किया जाता है, जिसके परिणामस्वरूप <math>\varepsilon_1, \varepsilon_2,\ldots,\varepsilon_\omega, \varepsilon_{\omega+1}, \ldots, \varepsilon_{\varepsilon_0}, \ldots, \varepsilon_{\varepsilon_1}, \ldots, \varepsilon_{\varepsilon_{\varepsilon_{\cdot_{\cdot_{\cdot}}}}},\ldots</math>.<ref>Stephen G. Simpson, ''Subsystems of Second-order Arithmetic'' (2009, p.387)</ref> क्रमसूचक ε<sub>0</sub> अभी भी गिनती योग्य है, जैसा कि कोई भी एप्सिलॉन संख्या है जिसका सूचकांक गिनती योग्य है (अगणनीय क्रमसूचक संख्या उपस्थित हैं, और अगणनीय एप्सिलॉन संख्या जिनका सूचकांक एक अगणनीय क्रमसूचक संख्या है)।


सबसे छोटा एप्सिलॉन संख्या ε<sub>0</sub> कई [[गणितीय प्रेरण]] प्रमाणों में दिखाई देता है, क्योंकि कई उद्देश्यों के लिए, [[ट्रांसफ़िनाइट इंडक्शन|परिमितातीत प्रेरण]] केवल ε तक आवश्यक है<sub>0</sub> (जैसा कि [[हम वास्तविक हैं]] की संगति प्रमाण और गुडस्टीन के प्रमेय के प्रमाण में है)।गेंटज़ेन द्वारा इसका उपयोग मीनो अंकगणित की स्थिरता को साबित करने के लिए, गोडेल के दूसरे अपूर्णता प्रमेय के साथ, दिखाते हैं कि मीनो अंकगणित [[अच्छी तरह से स्थापित संबंध]] साबित नहीं कर सकता है।जैसे, प्रूफ-थ्योरिटिक क्रमसूचक संख्या विश्लेषण में, मीनो अंकगणित के सिद्धांत की शक्ति के उपाय के रूप में उपयोग किया जाता है)।
सबसे छोटा एप्सिलॉन संख्या ε<sub>0</sub> कई [[गणितीय प्रेरण]] प्रमाणों में दिखाई देता है, क्योंकि कई उद्देश्यों के लिए, [[ट्रांसफ़िनाइट इंडक्शन|परिमितातीत प्रेरण]] केवल ε तक आवश्यक है<sub>0</sub> (जैसा कि [[हम वास्तविक हैं]] की संगति प्रमाण और गुडस्टीन के प्रमेय के प्रमाण में है)।गेंटज़ेन द्वारा इसका उपयोग मीनो अंकगणित की स्थिरता को साबित करने के लिए, गोडेल के दूसरे अपूर्णता प्रमेय के साथ, दिखाते हैं कि मीनो अंकगणित [[अच्छी तरह से स्थापित संबंध]] साबित नहीं कर सकता है।जैसे, प्रूफ-थ्योरिटिक क्रमसूचक संख्या विश्लेषण में, मीनो [[अंकगणित]] के सिद्धांत की शक्ति के उपाय के रूप में उपयोग किया जाता है)।


कई बड़े एप्सिलॉन संख्याओं को [[वेबलेन समारोह|वेबलेन फलन]]  का उपयोग करके परिभाषित किया जा सकता है।
कई बड़े एप्सिलॉन संख्याओं को [[वेबलेन समारोह|वेबलेन फलन]]  का उपयोग करके परिभाषित किया जा सकता है।

Revision as of 10:12, 16 February 2023

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

जिसमें are सबसे छोटा अनंत क्रमसूचक है।

कम से कम इस तरह के क्रमसूचक ε0(उच्चारण एप्सिलॉन शून्य या एप्सिलॉन शून्य ), जिसे छोटे सीमा क्रम के अनुक्रम से परिमितातीत पुनरावृत्ति द्वारा प्राप्त सीमा के रूप में देखा जा सकता है:

कहाँ sup अंतिम फलन है, जो वॉन न्यूमैन प्रतिनिधित्व के स्थिति में संघ को समुच्चय करने के बराबर है।

घातीय मानचित्र के बड़े क्रमिक निश्चित बिंदुओं को क्रमबद्ध सदस्यता द्वारा अनुक्रमित किया जाता है, जिसके परिणामस्वरूप .[1] क्रमसूचक ε0 अभी भी गिनती योग्य है, जैसा कि कोई भी एप्सिलॉन संख्या है जिसका सूचकांक गिनती योग्य है (अगणनीय क्रमसूचक संख्या उपस्थित हैं, और अगणनीय एप्सिलॉन संख्या जिनका सूचकांक एक अगणनीय क्रमसूचक संख्या है)।

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

कई बड़े एप्सिलॉन संख्याओं को वेबलेन फलन का उपयोग करके परिभाषित किया जा सकता है।

एप्सिलॉन संख्याओं के एक अधिक सामान्य वर्ग की पहचान जॉन हॉर्टन कॉनवे और डोनाल्ड नुथ द्वारा वास्तविक संख्या प्रणाली में की गई है, जिसमें सभी सर्जरी सम्मिलित हैं जो आधार के निश्चित बिंदु हैं।x

Hessenberg (1906) परिभाषित GAMMA संख्याएं (Additively Indecompopopopable ordinal देखें) γ> 0 होने के लिए जैसे कि α+γ = γ जब भी α <γ, और डेल्टा संख्या (देखें additively indecomposable ordinal#multivically indecomposable देखें) Δ> 1 ऐसा है कि αΔ = Δजब भी 0 <α <Δ, और एप्सिलॉन संख्या संख्या ε> 2 हो जैसे कि αE </kup> = e जहाँ भी 1 <a <e।उनके गामा संख्या फॉर्म ω के हैंβ , और उसके डेल्टा संख्याएँ फॉर्म ω के हैंωB

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

आधार α के साथ क्रमिक घातांक की मानक परिभाषा है:

  • कब एक तत्काल पूर्ववर्ती है
  • , जब कभी भी एक सीमा क्रमसूचक है।

इस परिभाषा से, यह इस प्रकार है कि किसी भी निश्चित क्रमसूचक के लिए α > 1, मानचित्र (गणित) एक सामान्य फलन है, इसलिए यह सामान्य कार्यों के लिए निश्चित बिंदु लेम्मा द्वारा मनमाने ढंग से बड़े निश्चित बिंदु (गणित) है।कब , ये निश्चित बिंदु ठीक से क्रमसूचक संख्या एप्सिलॉन संख्या हैं।