आर्किमिडीज़ संपत्ति: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Mathematical property of algebraic structures}} {{about|abstract algebra|the physical law|Archimedes' principle}} File:Archimedean property.png|thumb|250...")
 
No edit summary
 
(8 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Mathematical property of algebraic structures}}
{{Short description|Mathematical property of algebraic structures}}
{{about|abstract algebra|the physical law|Archimedes' principle}}
{{about|अमूर्त बीजगणित|भौतिक नियम|आर्किमिडीज़ का सिद्धांत}}
[[File:Archimedean property.png|thumb|250px|आर्किमिडीज़ संपत्ति का चित्रण।]]अमूर्त बीजगणित और [[गणितीय विश्लेषण]] में, प्राचीन यूनानी गणितज्ञ [[आर्किमिडीज]]़ ऑफ सिरैक्यूज़, इटली के नाम पर रखा गया आर्किमिडीयन गुण, कुछ [[बीजगणितीय संरचना]]ओं, जैसे आदेशित या आदर्श [[समूह (बीजगणित)]], और फ़ील्ड (गणित) द्वारा धारित संपत्ति है।
[[File:Archimedean property.png|thumb|250px|आर्किमिडीज़ गुण का चित्रण।]]अमूर्त बीजगणित और [[गणितीय विश्लेषण]] में [[आर्किमिडीज]] गुण का नाम सिरैक्यूज़ के प्राचीन यूनानी गणितज्ञ आर्किमिडीज़ के नाम पर रखा गया है, जो कुछ [[बीजगणितीय संरचना]] जैसे कि आदेशित या मानक [[समूह (बीजगणित)]] और क्षेत्रों के माध्यम से धारित गुण है। गुण सामान्यतः समझा जाता है, और यह बताता है कि दो सकारात्मक संख्याएं <math>x</math> और <math>y</math> दिए जाने पर पूर्णांक <math>n</math> होता है, जैसे कि कि <math>nx > y</math> है। इसका अर्थ यह भी है कि [[प्राकृतिक संख्या]]ओं का समूह उपरोक्त परिबद्ध नहीं है।<ref>https://www.math.cuhk.edu.hk/course_builder/2021/math2050c/MATH%202050C%20Lecture%204%20(Jan%2021).pdf {{Bare URL PDF|date=March 2022}}</ref> साधारणतया कहा जाये तब यह कोई उन्‍नत रूप से व्यापक या उन्‍नत रूप से छोटे घटक न होने का गुण है। यह [[ओटो स्टोल्ज़]] ही थे जिन्होंने आर्किमिडीज़ के सूत्रीकरण को इसका नाम दिया चूँकि यह आर्किमिडीज़ के 'ऑन द स्फीयर एंड सिलेंडर' के सूत्रीकरण V के रूप में प्रकट होता है।<ref>G. Fisher (1994) in P. Ehrlich(ed.), Real Numbers, Generalizations of the Reals, and Theories of continua, 107-145, Kluwer Academic</ref>
संपत्ति, आम तौर पर समझा जाता है, बताता है कि दो सकारात्मक संख्याएं दी गई हैं <math>x</math> और <math>y</math>, एक पूर्णांक है <math>n</math> ऐसा है कि <math>nx > y</math>. इसका अर्थ यह भी है कि [[प्राकृतिक संख्या]]ओं का समुच्चय ऊपर परिबद्ध नहीं है।<ref>https://www.math.cuhk.edu.hk/course_builder/2021/math2050c/MATH%202050C%20Lecture%204%20(Jan%2021).pdf {{Bare URL PDF|date=March 2022}}</ref> मोटे तौर पर बोलना, यह असीम रूप से बड़े या असीम रूप से छोटे तत्वों के न होने का गुण है।
यह धारणा प्राचीन ग्रीस के [[परिमाण (गणित)]] के सिद्धांत से उत्पन्न हुई; यह अभी भी आधुनिक गणित में महत्वपूर्ण भूमिका निभाता है जैसे कि ज्यामिति के लिए [[डेविड हिल्बर्ट]] के सिद्धांत, [[रैखिक रूप से आदेशित समूह]] के सिद्धांत, [[आदेशित क्षेत्र]] और [[स्थानीय क्षेत्र]] के सिद्धांत है।
यह [[ओटो स्टोल्ज़]] था जिसने आर्किमिडीज़ के स्वयंसिद्ध को अपना नाम दिया क्योंकि यह आर्किमिडीज़ के स्वयंसिद्ध V के रूप में स्फीयर और सिलेंडर पर प्रकट होता है।<ref>G. Fisher (1994) in P. Ehrlich(ed.), Real Numbers, Generalizations of the Reals, and Theories of continua, 107-145, Kluwer Academic</ref>
यह धारणा प्राचीन ग्रीस के [[परिमाण (गणित)]] के सिद्धांत से उत्पन्न हुई; यह अभी भी आधुनिक गणित में एक महत्वपूर्ण भूमिका निभाता है जैसे कि [[डेविड हिल्बर्ट]] के हिल्बर्ट के स्वयंसिद्ध, और [[रैखिक रूप से आदेशित समूह]] के सिद्धांत, [[आदेशित क्षेत्र]] और [[स्थानीय क्षेत्र]]


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


इसे अलग-अलग संदर्भों में थोड़ा अलग फॉर्मूलेशन के साथ सटीक बनाया जा सकता है।
इसे भिन्न-भिन्न संदर्भों में थोड़ा भिन्न सूत्रीकरण के साथ स्पष्ट करा जा सकता है। उदाहरण के रूप मे क्रमित क्षेत्रों के संदर्भ में एक के समीप आर्किमिडीज़ का सूत्रीकरण है जो इस गुण को सज्जित करता है, जिस स्थान पर वास्तविक संख्याओं का क्षेत्र आर्किमिडीज़ है, किन्तु [[वास्तविक संख्या|वास्तविक गुणांक]] में [[तर्कसंगत कार्य|तर्कसंगत कार्यो]] का क्षेत्र आर्किमिडीज़ नहीं है।
उदाहरण के लिए, आदेशित क्षेत्रों के संदर्भ में, किसी के पास 'आर्किमिडीज़ का स्वयंसिद्ध' है जो इस संपत्ति को तैयार करता है, जहाँ [[वास्तविक संख्या]]ओं का क्षेत्र आर्किमिडीज़ है, लेकिन वास्तविक गुणांकों में [[तर्कसंगत कार्य]]ों का नहीं है।


== आर्किमिडीज़ संपत्ति के नाम का इतिहास और उत्पत्ति ==
== आर्किमिडीज़ गुण के नाम का इतिहास और उत्पत्ति ==


इस अवधारणा का नाम ओटो स्टोल्ज़ (1880 के दशक में) ने [[प्राचीन ग्रीस]] के जियोमीटर और सिरैक्यूज़, इटली के भौतिक विज्ञानी आर्किमिडीज़ के नाम पर रखा था।
इस अवधारणा का नाम ओटो स्टोल्ज़ के माध्यम से (1880 के दशक में) [[प्राचीन ग्रीस|प्राचीन ग्रीक]] के ज्यामिति और सिरैक्यूज़ के भौतिक विज्ञानी आर्किमिडीज़ के नाम पर रखा गया था।


आर्किमिडीयन गुण यूक्लिड के तत्वों की पुस्तक V में प्रकट होता है | परिभाषा 4 के रूप में यूक्लिड के तत्व:
आर्किमिडीज़ गुण यूक्लिड के घटको की पुस्तक V में परिभाषा 4 के रूप में प्रदर्शित करी गई है:


{{Blockquote|Magnitudes are said to have a ratio to one another which can, when multiplied, exceed one another.}}
{{Blockquote|कहा जाता है कि परिमाण का एक दूसरे से अनुपात होता है जिसे गुणा करने पर एक दूसरे से अधिक हो सकता है।}}
क्योंकि आर्किमिडीज़ ने इसका श्रेय कनिडस के यूडोक्सस को दिया, इसे यूडोक्सस के प्रमेय या यूडोक्सस स्वयंसिद्ध के रूप में भी जाना जाता है।<ref name="Knopp1951">{{cite book|last=Knopp|first=Konrad|author-link=Konrad Knopp|title=Theory and Application of Infinite Series|url=https://archive.org/details/theoryapplicatio00knop|url-access=registration|edition=English 2nd|page=[https://archive.org/details/theoryapplicatio00knop/page/7 7]|year=1951|publisher=Blackie & Son, Ltd.|location=London and Glasgow|isbn=0-486-66165-2}}</ref>
 
आर्किमिडीज़ ने [[अनुमानी]] तर्कों में इनफिनिटिमल्स का उपयोग किया, हालांकि उन्होंने इनकार किया कि वे पूर्ण [[गणितीय प्रमाण]] थे।
चूँकि आर्किमिडीज़ ने इसका श्रेय कनिडस के यूडोक्सस को दिया है, इसलिए इसे "यूडोक्सस का प्रमेय" या यूडोक्सस सूत्रीकरण के रूप में भी जाना जाता है।<ref name="Knopp1951">{{cite book|last=Knopp|first=Konrad|author-link=Konrad Knopp|title=Theory and Application of Infinite Series|url=https://archive.org/details/theoryapplicatio00knop|url-access=registration|edition=English 2nd|page=[https://archive.org/details/theoryapplicatio00knop/page/7 7]|year=1951|publisher=Blackie & Son, Ltd.|location=London and Glasgow|isbn=0-486-66165-2}}</ref>
 
आर्किमिडीज़ ने [[अनुमानी]] तर्कों में अत्यंत सूक्ष्म का उपयोग किया है, चूंकि उन्होंने अस्वीकार किया कि वह पूर्ण [[गणितीय प्रमाण]] थे।


== रैखिक रूप से आदेशित समूहों के लिए परिभाषा ==
== रैखिक रूप से आदेशित समूहों के लिए परिभाषा ==
{{Main|Archimedean group}}
{{Main|आर्किमिडीज़ समूह}}
होने देना {{mvar|x}} और {{mvar|y}} रैखिक रूप से आदेशित समूह # रैखिक रूप से आदेशित समूह G की परिभाषाएँ।
मान लीजिए कि x और y रैखिक क्रम वाले समूह G के सकारात्मक घटक हैं। तत्पश्चात <math>y</math> के संबंध में <math>x</math> अपरिमेय है (या समकक्ष <math>y</math>, <math>x</math> के संबंध में अनंत है) यदि किसी [[प्राकृतिक संख्या]] <math>n</math> के लिए <math>nx</math> का गुणज <math>y</math> से न्यूनतम है, तब निम्नलिखित असमानता है:
फिर <math>x</math> के संबंध में अपरिमेय है <math>y</math> (या समकक्ष, <math>y</math> के संबंध में अनंत है <math>x</math>) यदि, किसी [[प्राकृतिक संख्या]] के लिए <math>n</math>, बहु <math>nx</math> मै रुक जाना <math>y</math>, अर्थात्, निम्नलिखित असमानता रखती है:
<math display="block"> \underbrace{x+\cdots+x}_{n\text{ terms}} < y. \, </math>
<math display="block"> \underbrace{x+\cdots+x}_{n\text{ terms}} < y. \, </math>
निरपेक्ष मान लेकर इस परिभाषा को पूरे समूह तक बढ़ाया जा सकता है।
निरपेक्ष मान लेकर इस परिभाषा को समस्त समूह तक प्रेषित करा जा सकता है।


समूह <math>G</math> आर्किमिडीज़ है अगर कोई जोड़ी नहीं है <math>(x,y)</math> ऐसा है कि <math>x</math> के संबंध में अपरिमेय है <math>y</math>.
समूह <math>G</math> आर्किमिडीज़ है यदि कोई जोड़ी नहीं है <math>(x,y)</math> ऐसा है कि <math>x</math> एवं <math>y</math> के संबंध में अपरिमेय है।


इसके अतिरिक्त, अगर <math>K</math> एक इकाई (1) के साथ एक बीजगणितीय संरचना है - उदाहरण के लिए, एक [[अंगूठी (गणित)]] - एक समान परिभाषा लागू होती है <math>K</math>.
इसके अतिरिक्त, यदि <math>K</math> इकाई (1) के साथ बीजगणितीय संरचना है - उदाहरण के रूप मे [[अंगूठी (गणित)|चक्र (गणित)]] - तब समान परिभाषा <math>K</math> पर प्रयुक्त होती है। यदि <math>1</math> के संबंध में {{mvar|x}} अपरिमेय है तब {{mvar|x}} अपरिमेय घटक है। इसी प्रकार यदि <math>1</math> के संबंध में <math>y</math> अनंत है, तब <math>y</math> अनंत घटक है। बीजगणितीय संरचना <math>K</math> आर्किमिडीयन है यदि इसमें कोई अनंत घटक और कोई अपरिमेय घटक नहीं है।
यदि {{mvar|x}} के संबंध में अपरिमेय है <math>1</math>, तब <math>1</math> अतिसूक्ष्म तत्व है।
इसी तरह अगर <math>y</math> के संबंध में अनंत है <math>1</math>, तब <math>y</math> अनंत तत्व है।
बीजगणितीय संरचना <math>K</math> आर्किमिडीज़ है अगर इसमें कोई अनंत तत्व नहीं है और कोई अतिसूक्ष्म तत्व नहीं है।


=== ऑर्डर किए गए फ़ील्ड ===
=== आदेशित किए गए क्षेत्र ===
 
आदेशित फ़ील्ड में कुछ अतिरिक्त गुण होते हैं:
* परिमेय संख्याएँ किसी भी क्रमित फ़ील्ड में [[एम्बेडिंग]] हो रही हैं। अर्थात्, किसी भी क्रमित क्षेत्र में अभिलक्षणिक (बीजगणित) शून्य होता है।
* यदि <math>x</math> अनंत है, तो <math>1/x</math> अनंत है, और इसके विपरीत। इसलिए, यह सत्यापित करने के लिए कि एक क्षेत्र आर्किमिडीयन है, यह केवल यह जाँचने के लिए पर्याप्त है कि कोई अतिसूक्ष्म तत्व नहीं हैं, या यह जाँचने के लिए कि कोई अनंत तत्व नहीं हैं।
* यदि <math>x</math> अतिसूक्ष्म है और <math>r</math> तब एक परिमेय संख्या है <math>rx</math> अतिसूक्ष्म भी है। नतीजतन, एक सामान्य तत्व दिया <math>c</math>, तीन नंबर <math>c/2</math>, <math>c</math>, और <math>2c</math> या तो सभी अपरिमित हैं या सभी अपरिमित हैं।
इस सेटिंग में, एक आदेशित फ़ील्ड {{mvar|K}} आर्किमिडीज़ ठीक है जब निम्न कथन, जिसे आर्किमिडीज़ का अभिगृहीत कहा जाता है, धारण करता है:
:  होने देना <math>x</math> का कोई भी तत्व हो <math>K</math>. फिर एक प्राकृतिक संख्या मौजूद है <math>n</math> ऐसा है कि <math>n > x</math>.
वैकल्पिक रूप से कोई निम्नलिखित लक्षण वर्णन का उपयोग कर सकता है:
<math display="block">\forall\, \varepsilon \in K\big(\varepsilon > 0 \implies \exists\ n \in N : 1/n < \varepsilon\big).</math>


आदेशित क्षेत्र में कुछ अतिरिक्त गुण होते हैं:
* परिमेय संख्याएँ किसी भी क्रमित क्षेत्र में [[एम्बेडिंग|अंतर्निहित]] होती हैं। अर्थात् किसी भी क्रमित क्षेत्र में अभिलक्षणिक (बीजगणित) शून्य होता है।
* यदि <math>x</math> अनंत है, तब <math>1/x</math> अनंत है, और इसके विपरीत है। इसलिए यह सत्यापित करने के लिए कि क्षेत्र आर्किमिडीयन है, यह मात्र यह परीक्षण के लिए पर्याप्त है कि कोई अपरिमेय घटक नहीं हैं, या यह परीक्षण के लिए कि कोई अनंत घटक नहीं हैं।
* यदि <math>x</math> अपरिमेय है और <math>r</math> तब परिमेय संख्या है, तब <math>rx</math> अपरिमेय भी है। परिणामस्वरूप दिए गए सामान्य घटक <math>c</math> के परिणामस्वरूप दिए गए सामान्य घटक <math>c/2</math>, <math>c</math> और <math>2c</math> या तब समस्त अनंतसूक्ष्म हैं या समस्त अनंतसूक्ष्म नही हैं।
इस समूहों में क्रमबद्ध क्षेत्र {{mvar|K}} आर्किमिडीज़ है, जब निम्नलिखित कथन को आर्किमिडीज़ का स्वयंसिद्ध कहा जाता है:
:  मान लीजिए <math>x</math> एवं <math>K</math> का कोई भी घटक नहीं है। तत्पश्चात प्राकृतिक संख्या <math>n</math> is प्रकार उपस्थित है कि <math>n > x</math> है।
वैकल्पिक रूप से कोई निम्नलिखित लक्षण वर्णन का उपयोग कर सकता है:<math display="block">\forall\, \varepsilon \in K\big(\varepsilon > 0 \implies \exists\ n \in N : 1/n < \varepsilon\big).</math>


== आदर्श क्षेत्रों के लिए परिभाषा ==
== आदर्श क्षेत्रों के लिए परिभाषा ==


क्वालिफायर आर्किमिडीज़ को [[वैल्यूएशन रिंग]] के सिद्धांत में भी तैयार किया गया है और रैंक वन वैल्यू वाले फ़ील्ड्स पर नॉर्म्ड स्पेस निम्नानुसार है।
विशेषण "आर्किमिडीयन" को [[वैल्यूएशन रिंग|महत्वपूर्ण श्रेणी]] महत्वपूर्ण क्षेत्र और श्रेणी महत्वपूर्ण क्षेत्र पर मानक रिक्त स्थान के सिद्धांत में निम्नानुसार किया गया है। मान लीजिए <math>K</math> क्षेत्र है जो निरपेक्ष मान फलन से संपन्न है, अर्थात, फलन जो वास्तविक संख्या <math>0</math> को क्षेत्र घटक 0 के साथ संबद्ध करता है और प्रत्येक शून्यतर <math>x \in K</math> के साथ धनात्मक वास्तविक संख्या <math>|x|</math> को संबद्ध करता है और <math>|xy|=|x| |y|</math> और <math>|x+y| \le |x|+|y|</math> को संतुष्ट करता है। तत्पश्चात, <math>K</math> को आर्किमिडीयन कहा जाता है यदि किसी शून्यतर <math>x \in K</math> के लिए प्राकृतिक संख्या <math>n</math> उपस्थित हो
होने देना <math>K</math> एक ऐसा क्षेत्र हो जो एक निरपेक्ष मान फ़ंक्शन से संपन्न हो, यानी एक ऐसा फ़ंक्शन जो वास्तविक संख्या को जोड़ता हो <math>0</math> क्षेत्र तत्व 0 के साथ और एक सकारात्मक वास्तविक संख्या को संबद्ध करता है <math>|x|</math> प्रत्येक शून्य के साथ <math>x \in K</math> और संतुष्ट करता है
<math>|xy|=|x| |y|</math> और <math>|x+y| \le |x|+|y|</math>.
फिर, <math>K</math> यदि किसी अशून्य के लिए आर्किमिडीयन कहा जाता है <math>x \in K</math> एक प्राकृतिक संख्या मौजूद है <math>n</math> ऐसा है कि
<math display="block">|\underbrace{x+\cdots+x}_{n\text{ terms}}| > 1. </math>
<math display="block">|\underbrace{x+\cdots+x}_{n\text{ terms}}| > 1. </math>
इसी तरह, एक आदर्श स्थान आर्किमिडीयन है यदि का योग <math>n</math> शर्तें, प्रत्येक एक गैर-शून्य वेक्टर के बराबर है <math>x</math>, पर्याप्त रूप से बड़े के लिए एक से अधिक का मानदंड है <math>n</math>.
इसी प्रकार, आदर्श स्थान आर्किमिडीयन है यदि <math>n</math> पदों का योग, प्रत्येक शून्यतर सदिश <math>x</math> के सामान्तर है, तब पर्याप्त रूप से व्यापक <math>n</math> के लिए एक से अधिक मानक है। निरपेक्ष मान या आदर्श स्थान वाला क्षेत्र या तब आर्किमिडीयन है या अधिकार शाली स्थिति को संतुष्ट करता है, जिसे [[अल्ट्रामेट्रिक]] त्रिकोण असमानता कहा जाता है,
एक निरपेक्ष मान या एक आदर्श स्थान वाला क्षेत्र या तो आर्किमिडीयन है या मजबूत स्थिति को संतुष्ट करता है, जिसे [[अल्ट्रामेट्रिक]] त्रिकोण असमानता कहा जाता है,
<math display="block">|x+y| \le \max(|x|,|y|) ,</math>
<math display="block">|x+y| \le \max(|x|,|y|) ,</math>
क्रमश।
क्रमश: अल्ट्रामैट्रिक त्रिकोण असमानता को संतुष्ट करने वाले क्षेत्र या आदर्श स्थान को आर्किमिडीयन नही कहा जाता है।
अल्ट्रामैट्रिक त्रिकोण असमानता को संतुष्ट करने वाले क्षेत्र या आदर्श स्थान को गैर-आर्किमिडीयन कहा जाता है।


एक गैर-आर्किमिडीयन मानक रैखिक स्थान की अवधारणा ए.एफ. मोन्ना द्वारा पेश की गई थी।<ref name=monna1943>{{cite journal |last1=Monna |first1=A. F. |title=Over een lineaire ''P''-adische ruimte |journal=Nederl. Akad. Wetensch. Verslag Afd. Natuurk. |issue=52 |date=1943 |pages=74–84 |mr=15678 }}</ref>
एक -आर्किमिडीयन मानक रैखिक स्थान की अवधारणा ए.एफ. मोन्ना के माध्यम से प्रस्तुत की गई थी।<ref name=monna1943>{{cite journal |last1=Monna |first1=A. F. |title=Over een lineaire ''P''-adische ruimte |journal=Nederl. Akad. Wetensch. Verslag Afd. Natuurk. |issue=52 |date=1943 |pages=74–84 |mr=15678 }}</ref>


 
== उदाहरण और विपरीत उदाहरण ==
== उदाहरण और गैर उदाहरण ==


=== वास्तविक संख्या का आर्किमिडीयन गुण ===
=== वास्तविक संख्या का आर्किमिडीयन गुण ===


परिमेय संख्याओं के क्षेत्र को तुच्छ कार्य सहित कई निरपेक्ष मान कार्यों में से एक सौंपा जा सकता है <math>|x|=1</math>, जब <math>x \neq 0</math>, अधिक सामान्य <math display="inline">|x| = \sqrt{x^2}</math>, और यह <math>p</math>-adic निरपेक्ष मूल्य कार्य करता है।
तर्कसंगत संख्याओं के क्षेत्र को अनेक निरपेक्ष मान फलन में से अभिहस्तांकित करा जा सकता है, जिसमें निरर्थक फलन <math>|x|=1</math> भी सम्मलित है जब <math>x \neq 0</math> अधिक सामान्य <math display="inline">|x| = \sqrt{x^2}</math> और <math>p</math> एडिक निरपेक्ष मान फलन है। ओस्ट्रोव्स्की के प्रमेय के अनुसार तर्कसंगत संख्याओं पर प्रत्येक -निरर्थक निरपेक्ष मान या तब सामान्य निरपेक्ष मान या कुछ <math>p</math> एडिक निरपेक्ष मान के समान्तर होता है। अ-निरर्थक निरपेक्ष मानों के संबंध में तर्कसंगत क्षेत्र पूर्ण नहीं है, निरर्थक निरपेक्ष मान के संबंध में, तर्कसंगत क्षेत्र असतत स्थलीय स्थान है इसलिए यह पूर्ण है। सामान्य निरपेक्ष मान (क्रम से) के संबंध में पूर्णता वास्तविक संख्याओं का क्षेत्र है। इस तर्कसाध्य के माध्यम से वास्तविक संख्या का क्षेत्र आदेशित क्षेत्र और मानक क्षेत्र के रूप में आर्किमिडीयन है।<ref>[[Neal Koblitz]], "p-adic Numbers, p-adic Analysis, and Zeta-Functions",  Springer-Verlag,1977.</ref> दूसरी ओर अन्य -निरर्थक निरपेक्ष मानों के संबंध में पूर्णताएं [[मेरा मतलब संख्या है|पी-एडिक]] संख्या प्रणाली के क्षेत्र प्रदान करती हैं, जिस स्थान पर <math>p</math> अभाज्य पूर्णांक संख्या है (नीचे देखें); चूंकि <math>p</math> एडिक निरपेक्ष मान अल्ट्रामेट्रिक गुण को संतुष्ट करते हैं, तब <math>p</math> एडिक संख्या क्षेत्र मानक क्षेत्र के रूप में आर्किमिडीयन नही हैं (उन्हें आदेशित किए गए क्षेत्र में निर्मित नही करा जा सकता है)।
ओस्ट्रोव्स्की के प्रमेय के अनुसार, परिमेय संख्याओं पर प्रत्येक गैर-तुच्छ निरपेक्ष मान या तो सामान्य निरपेक्ष मान या कुछ के बराबर होता है <math>p</math>-एडिक निरपेक्ष मूल्य।
गैर-तुच्छ निरपेक्ष मूल्यों के संबंध में तर्कसंगत क्षेत्र पूर्ण नहीं है; तुच्छ निरपेक्ष मूल्य के संबंध में, तर्कसंगत क्षेत्र एक असतत स्थलीय स्थान है, इसलिए पूर्ण है।
सामान्य निरपेक्ष मान (आदेश से) के संबंध में पूर्णता वास्तविक संख्याओं का क्षेत्र है।
इस निर्माण के द्वारा वास्तविक संख्या का क्षेत्र एक आदेशित क्षेत्र और एक मानक क्षेत्र के रूप में आर्किमिडीयन है।<ref>[[Neal Koblitz]], "p-adic Numbers, p-adic Analysis, and Zeta-Functions",  Springer-Verlag,1977.</ref> दूसरी ओर, अन्य गैर-तुच्छ निरपेक्ष मूल्यों के संबंध में पूर्णता [[मेरा मतलब संख्या है]]ों के क्षेत्र देती है। पी-एडिक नंबर, जहां <math>p</math> एक अभाज्य पूर्णांक संख्या है (नीचे देखें); के बाद से <math>p</math>-adic निरपेक्ष मान अल्ट्रामेट्रिक संपत्ति को संतुष्ट करते हैं, फिर <math>p</math>-ऐडिक संख्या फ़ील्ड गैर-आर्किमिडीयन हैं जो मानक फ़ील्ड के रूप में हैं (उन्हें आदेशित फ़ील्ड में नहीं बनाया जा सकता है)।


<!-- "by axiom" side -->वास्तविक संख्याओं के स्वयंसिद्ध सिद्धांत में, शून्येतर अतिसूक्ष्म वास्तविक संख्याओं की गैर-मौजूदगी निम्नतम ऊपरी बाध्य संपत्ति द्वारा निहित है।
वास्तविक संख्याओं के सूत्रीकरण सिद्धांत में, शून्येतर अपरिमेय वास्तविक संख्याओं की -उपस्थित निम्नतम उच्च बाध्य गुण के माध्यम से निहित है। समस्त धनात्मक अपरिमित गुण से युक्त समुच्चय को <math>Z</math> के माध्यम से निरूपित करें। यह समुच्चय उपर्युक्त <math>1</math> से परिबद्ध है। अब विरोधाभास के लिए मान लें कि <math>Z</math> अरिक्त है। तत्पश्चात इसकी [[कम से कम ऊपरी सीमा|न्यूनतम उच्च सीमा]] <math>c</math> है जो धनात्मक भी है, इसलिए <math>c/2 < c < 2c</math> है। चूँकि c, <math>Z</math> की [[ऊपरी सीमा|उच्च परिबंध]] है और <math>2c</math>, <math>c</math>, <math>2c</math> से पूर्णतः दीर्घतर है, यह धनात्मक अपरिमेय नहीं है। अर्थात् कुछ प्राकृतिक संख्या <math>n</math> होती है, जिसके लिए <math>1/n < 2c</math> होता है। दूसरी ओर <math>c/2</math> धनात्मक अपरिमेय है क्योंकि न्यूनतम उच्च सीमा की परिभाषा के अनुसार <math>c/2</math> और <math>c</math>, के मध्य अपरिमेय <math>x</math> होना चाहिए और यदि <math>1/k < c/2 \leq x</math> है तब <math>x</math> अपरिमेय नहीं है। किन्तु <math>1/(4n) < c/2</math> इसलिए <math>c/2</math> अपरिमेय नहीं है, और यह विरोधाभास है। इसका अर्थ यह है कि Z अंततः रिक्त है: कोई धनात्मक, अपरिमेय वास्तविक संख्याएँ नहीं हैं।
द्वारा निरूपित करें <math>Z</math> वह सेट जिसमें सभी धनात्मक अपरिमित गुण होते हैं।
यह सेट ऊपर से घिरा है <math>1</math>.
अब विरोधाभास से सबूत है कि <math>Z</math> खाली नहीं है।
फिर इसकी [[कम से कम ऊपरी सीमा]] होती है <math>c</math>, जो सकारात्मक भी है, इसलिए <math>c/2 < c < 2c</math>.
तब से {{mvar|c}} की [[ऊपरी सीमा]] है <math>Z</math> और <math>2c</math> से सख्ती से बड़ा है <math>c</math>, <math>2c</math> एक सकारात्मक अपरिमेय नहीं है।
यानी कुछ प्राकृतिक संख्या है <math>n</math> जिसके लिए <math>1/n < 2c</math>.
दूसरी ओर, <math>c/2</math> एक धनात्मक अतिसूक्ष्म है, क्योंकि कम से कम ऊपरी सीमा की परिभाषा के अनुसार एक अतिसूक्ष्म होना चाहिए <math>x</math> के बीच <math>c/2</math> और <math>c</math>, और अगर <math>1/k < c/2 \leq x</math> तब <math>x</math> अतिसूक्ष्म नहीं है।
परंतु <math>1/(4n) < c/2</math>, इसलिए <math>c/2</math> अतिसूक्ष्म नहीं है, और यह एक विरोधाभास है।
इस का मतलब है कि <math>Z</math> आखिर खाली है: कोई धनात्मक, अतिसूक्ष्म वास्तविक संख्याएँ नहीं हैं।


वास्तविक संख्याओं की आर्किमिडीयन संपत्ति भी [[रचनात्मक विश्लेषण]] में रखती है, भले ही उस संदर्भ में कम से कम ऊपरी बाध्य संपत्ति विफल हो सकती है।
वास्तविक संख्याओं की आर्किमिडीज़ गुण भी [[रचनात्मक विश्लेषण]] में भी प्रयुक्त होती है, तथापि न्यूनतम उच्च परिबंध वाले गुण उस संदर्भ में विफल हो सकते है।


=== गैर-आर्किमिडीयन आदेशित क्षेत्र ===
=== गैर-आर्किमिडीयन आदेशित क्षेत्र ===
{{main article|Non-Archimedean ordered field}}
{{main article|गैर-आर्किमिडीयन आदेशित क्षेत्र}}
एक आदेशित क्षेत्र के उदाहरण के लिए जो आर्किमिडीयन नहीं है, वास्तविक गुणांक वाले [[तर्कसंगत कार्य]]ों के क्षेत्र को लें।
एक आदेशित क्षेत्र के उदाहरण के रूप मे जो आर्किमिडीयन नहीं है, वास्तविक गुणांक वाले [[तर्कसंगत कार्य]] के क्षेत्र को लें। (एक परिमेय फलन वह फलन है, जिसे [[बहुपद]] के माध्यम से दूसरे बहुपद से विभाजित करके व्यक्त किया जा सकता है; हम मानेंगे कि यह इस प्रकार से किया गया है कि प्रत्येक का प्रमुख गुणांक धनात्मक है।) इसे आदेशित किया गया और इसे क्षेत्र बनाने के लिए, किसी को जोड़ और गुणन संचालन के साथ संगत आदेशित निर्दिष्ट करना होगा। अब <math>f > g</math> यदि और मात्र <math>f - g > 0</math> है, तब हमें मात्र यह वर्णन करना है कि कौन से तर्कसंगत कार्य धनात्मक माने जाते हैं। यदि अंश का प्रमुख गुणांक धनात्मक है, तब फलन धनात्मक कहा जाता है। (किसी को यह परीक्षण चाहिए कि यह क्रम उचित प्रकार से परिभाषित है और जोड़ और गुणा के साथ संगत है।) इस परिभाषा के अनुसार परिमेय फलन <math>1/x</math> धनात्मक है, किन्तु परिमेय फलन <math>1</math> से न्यूनतम है। वास्तव में यदि <math>n</math> कोई प्राकृतिक संख्या है तब <math>n(1/x) = n/x</math> धनात्मक है किन्तु तब भी <math>1</math> से न्यूनतम है चाहे <math>n</math> कितना भी दीर्घतर क्यों न हो। इसलिए, <math>1/x</math> इस क्षेत्र में अपरिमेय है।यह उदाहरण अन्य गुणांकों का सामान्यीकरण करता है। वास्तविक गुणांकों के अतिरिक्त तर्कसंगत कार्यों को तर्कसंगत के साथ लेने से गणनीय -आर्किमिडीयन आदेशित क्षेत्र उत्पन्न होता है। गुणांकों को भिन्न चर में तर्कसंगत कार्यों के रूप में लेने से, मान लीजिए y, भिन्न आदेशित प्रकार के साथ उदाहरण निर्मित करता है।
(एक परिमेय फलन कोई भी ऐसा फलन है जिसे एक [[बहुपद]] द्वारा दूसरे बहुपद से विभाजित करके व्यक्त किया जा सकता है; हम मानेंगे कि यह इस तरह से किया गया है कि हर का प्रमुख गुणांक धनात्मक है।)
=== -आर्किमिडीयन महत्वपूर्ण क्षेत्र ===
इसे एक आदेशित क्षेत्र बनाने के लिए, किसी को जोड़ और गुणा संचालन के साथ संगत आदेश देना होगा।
अभी <math>f > g</math> अगर और केवल अगर <math>f - g > 0</math>, इसलिए हमें केवल यह कहना है कि कौन से तर्कसंगत कार्यों को सकारात्मक माना जाता है।
यदि अंश का प्रमुख गुणांक धनात्मक है, तो फलन को धनात्मक कहें। (किसी को यह जांचना चाहिए कि यह क्रम अच्छी तरह से परिभाषित है और जोड़ और गुणा के साथ संगत है।)
इस परिभाषा के अनुसार, तर्कसंगत कार्य <math>1/x</math> सकारात्मक है लेकिन तर्कसंगत कार्य से कम है <math>1</math>.
वास्तव में, अगर <math>n</math> कोई प्राकृतिक संख्या है, तो <math>n(1/x) = n/x</math> सकारात्मक है लेकिन अभी भी कम है <math>1</math>, चाहे कितना भी बड़ा क्यों न हो <math>n</math> है।
इसलिए, <math>1/x</math> इस क्षेत्र में एक अपरिमेय है।
 
यह उदाहरण अन्य गुणांकों का सामान्यीकरण करता है।
वास्तविक गुणांकों के बजाय तर्कसंगत कार्यों को तर्कसंगत के साथ लेने से एक गणनीय गैर-आर्किमिडीयन आदेशित क्षेत्र उत्पन्न होता है।
गुणांकों को एक अलग चर में तर्कसंगत कार्यों के रूप में लेते हुए, कहते हैं <math>y</math>, भिन्न ऑर्डर प्रकार के साथ एक उदाहरण बनाता है।
 
=== गैर-आर्किमिडीयन मूल्यवान क्षेत्र ===


p-adic मेट्रिक और p-adic नंबर फ़ील्ड से संपन्न परिमेय संख्याओं का क्षेत्र जो पूर्णताएँ हैं, उनके पास निरपेक्ष मान वाले फ़ील्ड के रूप में आर्किमिडीज़ गुण नहीं है। <!-- Another example is the [[hyperreal numbers]] of [[nonstandard analysis]]. : (ed. I detest this, because the formal interpretation of the Axiom of Archimedes is indeed satisfied by hypernatural numbers in place of the "standard" natural numbers, which do not form a "hyperset" (or *-set, superset, whatever we call it) inside the system of the "hyperreal numbers".)--> सभी आर्किमिडीयन मूल्यवान फ़ील्ड सामान्य निरपेक्ष मान की शक्ति के साथ जटिल संख्याओं के एक उपक्षेत्र के लिए आइसोमेट्रिक रूप से आइसोमोर्फिक हैं।<ref name=shell1>Shell, Niel, Topological Fields and Near Valuations, Dekker, New York, 1990. {{ISBN|0-8247-8412-X}}</ref>
p-एडिक आव्युह और p-एडिक अंक क्षेत्र से संपन्न परिमेय संख्याओं का क्षेत्र जो पूर्णताएँ हैं, उनके समीप निरपेक्ष मान वाले क्षेत्र के रूप में आर्किमिडीज़ गुण नहीं होता है। समस्त आर्किमिडीयन महत्वपूर्ण क्षेत्र सामान्य निरपेक्ष मान की अधिकार के साथ जटिल संख्याओं के उपक्षेत्र के लिए सममितीय रूप से समरूपी हैं।<ref name="shell1">Shell, Niel, Topological Fields and Near Valuations, Dekker, New York, 1990. {{ISBN|0-8247-8412-X}}</ref>


'''आर्किमिडीयन आदेशित क्षेत्र की समतुल्य परिभाषाएँ'''


=== आर्किमिडीयन आदेशित फ़ील्ड === की समतुल्य परिभाषाएँ
प्रत्येक रैखिक रूप से क्रमित क्षेत्र <math>K</math> में क्रमित उपक्षेत्र के रूप में परिमेय (एक समरूपी प्रतिलिपि) सम्मिलित है, अर्थात् <math>K</math> की गुणक इकाई <math>1</math> के माध्यम से उत्पन्न उपक्षेत्र, जिसमें प्रवर्तित होकर आदेशित उपसमूह के रूप में पूर्णांक सम्मिलित होते हैं, जिसमें आदेशित [[मोनोइड]] के रूप में प्राकृतिक संख्याएं सम्मिलित होती हैं। परिमेय को अंतर्निहित करने पर <math>K</math> में परिमेय, पूर्णांक और प्राकृतिक संख्याओं के विषय में वर्णन की विधि प्राप्त होती है। इन अवसंरचनाओं के संदर्भ में आर्किमिडीयन क्षेत्रों के समतुल्य लक्षण निम्नलिखित हैं।<ref name="Schechter">{{harvnb|Schechter|1997|loc=§10.3}}</ref>


प्रत्येक रैखिक रूप से आदेशित क्षेत्र <math>K</math> एक आदेशित सबफ़ील्ड के रूप में परिमेय (एक आइसोमोर्फिक कॉपी) शामिल हैं, अर्थात् गुणक इकाई द्वारा उत्पन्न सबफ़ील्ड <math>1</math> का <math>K</math>, जिसमें क्रमित उपसमूह के रूप में पूर्णांक होते हैं, जिसमें क्रमित [[मोनोइड]] के रूप में प्राकृतिक संख्याएँ होती हैं<!-- semigroup -->.
# प्राकृतिक संख्याएँ <math>K</math> [[कोफिनल (गणित)|सह-अंतिम (गणित)]] में होती हैं। अर्थात <math>K</math> का प्रत्येक घटक किसी प्राकृतिक संख्या से न्यूनतम है। (यह वह स्थिति नहीं है जब अनंत घटक उपस्थित हों।) इस प्रकार आर्किमिडीयन क्षेत्र वह है. जिसकी प्राकृतिक संख्या बिना किसी सीमा के विकसित होती है।
परिमेय का एम्बेडिंग तब परिमेय, पूर्णांक और प्राकृतिक संख्याओं के बारे में बोलने का एक तरीका देता है <math>K</math>.
# समुच्चय <math>\{1/2, 1/3, 1/4, \dots\}</math> के <math>K</math> में शून्य [[सबसे कम|न्यूनतम]] है। (यदि <math>K</math> एक धनात्मक अपरिमेय समाहित करता है, तब यह समुच्चय के लिए एक निम्म सीमा होगी जिस स्थान पर शून्य सबसे दीर्घतर निम्म सीमा नहीं होगी।)
इन अवसंरचनाओं के संदर्भ में आर्किमिडीयन क्षेत्रों के समतुल्य लक्षण निम्नलिखित हैं।<ref name="Schechter">{{harvnb|Schechter|1997|loc=§10.3}}</ref>
# धनात्मक और ऋणात्मक परिमेय के मध्य <math>K</math> के घटको का समुच्चय विवृत नही है। इसका कारण यह है कि समुच्चय में समस्त अपरिमेय होते हैं, जो मात्र समुच्चय <math>\{0\}</math> होता है जब कोई शून्येतर अपरिमेय नहीं होते हैं, और अन्यथा विवृत होता है, तब न कोई न्यूनतम और न ही दीर्घतर शून्यतर अपरिमेय होता है। ध्यान दें कि दोनों स्थितियों में अत्यंत सूक्ष्म का समुच्चय संवृत है। पश्चात् वाली स्थिति में, (i) प्रत्येक अपरिमेय प्रत्येक धनात्मक परिमेय से न्यूनतम है, (ii) न तब कोई सबसे दीर्घतर अपरिमेय है और न ही सबसे न्यूनतम धनात्मक परिमेय है, और (iii) मध्य में और कुछ भी और नहीं है। परिणामस्वरूप, कोई भी -आर्किमिडीयन आदेशित क्षेत्र अपूर्ण और असंबद्ध दोनों है।
# प्राकृतिक संख्याएं [[कोफिनल (गणित)]] में होती हैं <math>K</math>. यानी हर तत्व <math>K</math> किसी प्राकृतिक संख्या से कम है। (यह मामला नहीं है जब अनंत तत्व मौजूद हों।) इस प्रकार एक आर्किमिडीयन क्षेत्र वह है जिसकी प्राकृतिक संख्या बिना किसी सीमा के बढ़ती है।
# <math>K</math> में किसी <math>x</math> के लिए <math>x</math> से दीर्घतर पूर्णांकों के समूहों में न्यूनतम घटक होता है। (यदि <math>x</math> ऋणात्मक अनंत मात्रा होती तब प्रत्येक पूर्णांक इससे दीर्घतर होता है।)
# शून्य [[सबसे कम]] है <math>K</math> सेट का <math>\{1/2, 1/3, 1/4, \dots\}</math>. (यदि <math>K</math> एक धनात्मक अपरिमेय समाहित करता है, यह सेट के लिए एक निचली सीमा होगी जहाँ से शून्य सबसे बड़ी निचली सीमा नहीं होगी।)
# <math>K</math> के प्रत्येक अरिक्त विवृत अंतराल में एक परिमेय सम्मिलित होता है। (यदि <math>x</math> धनात्मक अपरिमेय है, तब विवृत अंतराल <math>(x,2x)</math> में अपरिमित रूप से अनेक अपरिमेय हैं किन्तु एक भी परिमेय नहीं है।)
# के तत्वों का सेट <math>K</math> धनात्मक और ऋणात्मक परिमेय के बीच खुला नहीं है। ऐसा इसलिए है क्योंकि समुच्चय में सभी अपरिमेय होते हैं, जो कि केवल समुच्चय है <math>\{0\}</math> जब कोई शून्येतर अतिसूक्ष्म नहीं होता है, और अन्यथा खुला होता है, तो तो कोई न्यूनतम और न ही सबसे बड़ा अशून्य अतिसूक्ष्म होता है। ध्यान दें कि दोनों मामलों में, इनफिनिटिमल्स का सेट बंद है। बाद वाले मामले में, (i) प्रत्येक अतिसूक्ष्म प्रत्येक सकारात्मक परिमेय से कम है, (ii) न तो सबसे बड़ा अत्यल्प है और न ही सबसे कम सकारात्मक परिमेय है, और (iii) बीच में और कुछ नहीं है। नतीजतन, कोई भी गैर-आर्किमिडीयन आदेशित क्षेत्र अधूरा और डिस्कनेक्ट दोनों है।
# <math>K</math> में सुप० और इन्फ़० दोनों के संबंध में परिमेय सघन हैं। (अर्थात्, <math>K</math> का प्रत्येक घटक परिमेय के कुछ समुच्चय का पूरक है, और परिमेय के कुछ अन्य समुच्चय का इन्फ़० है।) इस प्रकार आर्किमिडीयन क्षेत्र किसी भी क्रमित क्षेत्र के अर्थ में परिमेय का कोई सघन क्रमित विस्तार है, जो अपने परिमेय घटको को संघनित रूप से अंतःस्थापित करता है।
# किसी के लिए <math>x</math> में <math>K</math> से अधिक पूर्णांकों का समूह <math>x</math> सबसे कम तत्व होता है। (यदि <math>x</math> एक ऋणात्मक अनंत मात्रा थी तो प्रत्येक पूर्णांक इससे बड़ा होगा।)
# हर गैर-खाली खुला अंतराल <math>K</math> एक तर्कसंगत शामिल है। (यदि <math>x</math> एक धनात्मक अतिसूक्ष्म, खुला अंतराल है <math>(x,2x)</math> अपरिमित रूप से अनेक अपरिमित हैं लेकिन एक भी परिमेय नहीं है।)
# परिमेय घने सेट हैं <math>K</math> sup और inf दोनों के संबंध में। (यानी, का हर तत्व <math>K</math> परिमेय के कुछ समुच्चय का समर्थन है, और परिमेय के कुछ अन्य समुच्चय का inf है।) इस प्रकार एक आर्किमिडीयन क्षेत्र किसी भी क्रमित क्षेत्र के अर्थ में परिमेय का कोई सघन क्रमित विस्तार है, जो अपने परिमेय तत्वों को घनीभूत रूप से एम्बेड करता है।


== यह भी देखें ==
== यह भी देखें ==


* {{annotated link|0.999...#Infinitesimals|0.999...}}
* {{annotated link|0.999...अति सूक्ष्म|0.999...}}
* {{annotated link|Archimedean ordered vector space}}
* {{annotated link|आर्किमिडीज़ ने सदिश अंतराल का आदेश दिया}}
* {{annotated link|Construction of the real numbers}}
* {{annotated link|वास्तविक संख्याओं का निर्माण}}
 
 
== टिप्पणियाँ ==
== टिप्पणियाँ ==
{{reflist}}
{{reflist}}
Line 136: Line 92:
* {{Cite book|last=Schechter|first=Eric|author-link=Eric Schechter|title=Handbook of Analysis and its Foundations|publisher=Academic Press|year=1997|isbn=0-12-622760-8|url=http://www.math.vanderbilt.edu/~schectex/ccc/|access-date=2009-01-30|archive-url=https://web.archive.org/web/20150307061351/http://www.math.vanderbilt.edu/%7Eschectex/ccc/|archive-date=2015-03-07|url-status=dead}}
* {{Cite book|last=Schechter|first=Eric|author-link=Eric Schechter|title=Handbook of Analysis and its Foundations|publisher=Academic Press|year=1997|isbn=0-12-622760-8|url=http://www.math.vanderbilt.edu/~schectex/ccc/|access-date=2009-01-30|archive-url=https://web.archive.org/web/20150307061351/http://www.math.vanderbilt.edu/%7Eschectex/ccc/|archive-date=2015-03-07|url-status=dead}}
{{refend}}
{{refend}}
[[Category: क्षेत्र (गणित)]] [[Category: आदेशित समूह]] [[Category: वास्तविक बीजगणितीय ज्यामिति]]


[[Category: Machine Translated Page]]
[[Category:All articles with bare URLs for citations]]
[[Category:Articles with PDF format bare URLs for citations]]
[[Category:Articles with bare URLs for citations from March 2022]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 27/01/2023]]
[[Category:Created On 27/01/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:आदेशित समूह]]
[[Category:क्षेत्र (गणित)]]
[[Category:वास्तविक बीजगणितीय ज्यामिति]]

Latest revision as of 13:12, 4 August 2023

आर्किमिडीज़ गुण का चित्रण।

अमूर्त बीजगणित और गणितीय विश्लेषण में आर्किमिडीज गुण का नाम सिरैक्यूज़ के प्राचीन यूनानी गणितज्ञ आर्किमिडीज़ के नाम पर रखा गया है, जो कुछ बीजगणितीय संरचना जैसे कि आदेशित या मानक समूह (बीजगणित) और क्षेत्रों के माध्यम से धारित गुण है। गुण सामान्यतः समझा जाता है, और यह बताता है कि दो सकारात्मक संख्याएं और दिए जाने पर पूर्णांक होता है, जैसे कि कि है। इसका अर्थ यह भी है कि प्राकृतिक संख्याओं का समूह उपरोक्त परिबद्ध नहीं है।[1] साधारणतया कहा जाये तब यह कोई उन्‍नत रूप से व्यापक या उन्‍नत रूप से छोटे घटक न होने का गुण है। यह ओटो स्टोल्ज़ ही थे जिन्होंने आर्किमिडीज़ के सूत्रीकरण को इसका नाम दिया चूँकि यह आर्किमिडीज़ के 'ऑन द स्फीयर एंड सिलेंडर' के सूत्रीकरण V के रूप में प्रकट होता है।[2]

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

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

इसे भिन्न-भिन्न संदर्भों में थोड़ा भिन्न सूत्रीकरण के साथ स्पष्ट करा जा सकता है। उदाहरण के रूप मे क्रमित क्षेत्रों के संदर्भ में एक के समीप आर्किमिडीज़ का सूत्रीकरण है जो इस गुण को सज्जित करता है, जिस स्थान पर वास्तविक संख्याओं का क्षेत्र आर्किमिडीज़ है, किन्तु वास्तविक गुणांक में तर्कसंगत कार्यो का क्षेत्र आर्किमिडीज़ नहीं है।

आर्किमिडीज़ गुण के नाम का इतिहास और उत्पत्ति

इस अवधारणा का नाम ओटो स्टोल्ज़ के माध्यम से (1880 के दशक में) प्राचीन ग्रीक के ज्यामिति और सिरैक्यूज़ के भौतिक विज्ञानी आर्किमिडीज़ के नाम पर रखा गया था।

आर्किमिडीज़ गुण यूक्लिड के घटको की पुस्तक V में परिभाषा 4 के रूप में प्रदर्शित करी गई है:

कहा जाता है कि परिमाण का एक दूसरे से अनुपात होता है जिसे गुणा करने पर एक दूसरे से अधिक हो सकता है।

चूँकि आर्किमिडीज़ ने इसका श्रेय कनिडस के यूडोक्सस को दिया है, इसलिए इसे "यूडोक्सस का प्रमेय" या यूडोक्सस सूत्रीकरण के रूप में भी जाना जाता है।[3]

आर्किमिडीज़ ने अनुमानी तर्कों में अत्यंत सूक्ष्म का उपयोग किया है, चूंकि उन्होंने अस्वीकार किया कि वह पूर्ण गणितीय प्रमाण थे।

रैखिक रूप से आदेशित समूहों के लिए परिभाषा

मान लीजिए कि x और y रैखिक क्रम वाले समूह G के सकारात्मक घटक हैं। तत्पश्चात के संबंध में अपरिमेय है (या समकक्ष , के संबंध में अनंत है) यदि किसी प्राकृतिक संख्या के लिए का गुणज से न्यूनतम है, तब निम्नलिखित असमानता है:

निरपेक्ष मान लेकर इस परिभाषा को समस्त समूह तक प्रेषित करा जा सकता है।

समूह आर्किमिडीज़ है यदि कोई जोड़ी नहीं है ऐसा है कि एवं के संबंध में अपरिमेय है।

इसके अतिरिक्त, यदि इकाई (1) के साथ बीजगणितीय संरचना है - उदाहरण के रूप मे चक्र (गणित) - तब समान परिभाषा पर प्रयुक्त होती है। यदि के संबंध में x अपरिमेय है तब x अपरिमेय घटक है। इसी प्रकार यदि के संबंध में अनंत है, तब अनंत घटक है। बीजगणितीय संरचना आर्किमिडीयन है यदि इसमें कोई अनंत घटक और कोई अपरिमेय घटक नहीं है।

आदेशित किए गए क्षेत्र

आदेशित क्षेत्र में कुछ अतिरिक्त गुण होते हैं:

  • परिमेय संख्याएँ किसी भी क्रमित क्षेत्र में अंतर्निहित होती हैं। अर्थात् किसी भी क्रमित क्षेत्र में अभिलक्षणिक (बीजगणित) शून्य होता है।
  • यदि अनंत है, तब अनंत है, और इसके विपरीत है। इसलिए यह सत्यापित करने के लिए कि क्षेत्र आर्किमिडीयन है, यह मात्र यह परीक्षण के लिए पर्याप्त है कि कोई अपरिमेय घटक नहीं हैं, या यह परीक्षण के लिए कि कोई अनंत घटक नहीं हैं।
  • यदि अपरिमेय है और तब परिमेय संख्या है, तब अपरिमेय भी है। परिणामस्वरूप दिए गए सामान्य घटक के परिणामस्वरूप दिए गए सामान्य घटक , और या तब समस्त अनंतसूक्ष्म हैं या समस्त अनंतसूक्ष्म नही हैं।

इस समूहों में क्रमबद्ध क्षेत्र K आर्किमिडीज़ है, जब निम्नलिखित कथन को आर्किमिडीज़ का स्वयंसिद्ध कहा जाता है:

मान लीजिए एवं का कोई भी घटक नहीं है। तत्पश्चात प्राकृतिक संख्या is प्रकार उपस्थित है कि है।

वैकल्पिक रूप से कोई निम्नलिखित लक्षण वर्णन का उपयोग कर सकता है:

आदर्श क्षेत्रों के लिए परिभाषा

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

इसी प्रकार, आदर्श स्थान आर्किमिडीयन है यदि पदों का योग, प्रत्येक शून्यतर सदिश के सामान्तर है, तब पर्याप्त रूप से व्यापक के लिए एक से अधिक मानक है। निरपेक्ष मान या आदर्श स्थान वाला क्षेत्र या तब आर्किमिडीयन है या अधिकार शाली स्थिति को संतुष्ट करता है, जिसे अल्ट्रामेट्रिक त्रिकोण असमानता कहा जाता है,
क्रमश: अल्ट्रामैट्रिक त्रिकोण असमानता को संतुष्ट करने वाले क्षेत्र या आदर्श स्थान को आर्किमिडीयन नही कहा जाता है।

एक अ-आर्किमिडीयन मानक रैखिक स्थान की अवधारणा ए.एफ. मोन्ना के माध्यम से प्रस्तुत की गई थी।[4]

उदाहरण और विपरीत उदाहरण

वास्तविक संख्या का आर्किमिडीयन गुण

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

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

वास्तविक संख्याओं की आर्किमिडीज़ गुण भी रचनात्मक विश्लेषण में भी प्रयुक्त होती है, तथापि न्यूनतम उच्च परिबंध वाले गुण उस संदर्भ में विफल हो सकते है।

गैर-आर्किमिडीयन आदेशित क्षेत्र

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

अ-आर्किमिडीयन महत्वपूर्ण क्षेत्र

p-एडिक आव्युह और p-एडिक अंक क्षेत्र से संपन्न परिमेय संख्याओं का क्षेत्र जो पूर्णताएँ हैं, उनके समीप निरपेक्ष मान वाले क्षेत्र के रूप में आर्किमिडीज़ गुण नहीं होता है। समस्त आर्किमिडीयन महत्वपूर्ण क्षेत्र सामान्य निरपेक्ष मान की अधिकार के साथ जटिल संख्याओं के उपक्षेत्र के लिए सममितीय रूप से समरूपी हैं।[6]

आर्किमिडीयन आदेशित क्षेत्र की समतुल्य परिभाषाएँ

प्रत्येक रैखिक रूप से क्रमित क्षेत्र में क्रमित उपक्षेत्र के रूप में परिमेय (एक समरूपी प्रतिलिपि) सम्मिलित है, अर्थात् की गुणक इकाई के माध्यम से उत्पन्न उपक्षेत्र, जिसमें प्रवर्तित होकर आदेशित उपसमूह के रूप में पूर्णांक सम्मिलित होते हैं, जिसमें आदेशित मोनोइड के रूप में प्राकृतिक संख्याएं सम्मिलित होती हैं। परिमेय को अंतर्निहित करने पर में परिमेय, पूर्णांक और प्राकृतिक संख्याओं के विषय में वर्णन की विधि प्राप्त होती है। इन अवसंरचनाओं के संदर्भ में आर्किमिडीयन क्षेत्रों के समतुल्य लक्षण निम्नलिखित हैं।[7]

  1. प्राकृतिक संख्याएँ सह-अंतिम (गणित) में होती हैं। अर्थात का प्रत्येक घटक किसी प्राकृतिक संख्या से न्यूनतम है। (यह वह स्थिति नहीं है जब अनंत घटक उपस्थित हों।) इस प्रकार आर्किमिडीयन क्षेत्र वह है. जिसकी प्राकृतिक संख्या बिना किसी सीमा के विकसित होती है।
  2. समुच्चय के में शून्य न्यूनतम है। (यदि एक धनात्मक अपरिमेय समाहित करता है, तब यह समुच्चय के लिए एक निम्म सीमा होगी जिस स्थान पर शून्य सबसे दीर्घतर निम्म सीमा नहीं होगी।)
  3. धनात्मक और ऋणात्मक परिमेय के मध्य के घटको का समुच्चय विवृत नही है। इसका कारण यह है कि समुच्चय में समस्त अपरिमेय होते हैं, जो मात्र समुच्चय होता है जब कोई शून्येतर अपरिमेय नहीं होते हैं, और अन्यथा विवृत होता है, तब न कोई न्यूनतम और न ही दीर्घतर शून्यतर अपरिमेय होता है। ध्यान दें कि दोनों स्थितियों में अत्यंत सूक्ष्म का समुच्चय संवृत है। पश्चात् वाली स्थिति में, (i) प्रत्येक अपरिमेय प्रत्येक धनात्मक परिमेय से न्यूनतम है, (ii) न तब कोई सबसे दीर्घतर अपरिमेय है और न ही सबसे न्यूनतम धनात्मक परिमेय है, और (iii) मध्य में और कुछ भी और नहीं है। परिणामस्वरूप, कोई भी अ-आर्किमिडीयन आदेशित क्षेत्र अपूर्ण और असंबद्ध दोनों है।
  4. में किसी के लिए से दीर्घतर पूर्णांकों के समूहों में न्यूनतम घटक होता है। (यदि ऋणात्मक अनंत मात्रा होती तब प्रत्येक पूर्णांक इससे दीर्घतर होता है।)
  5. के प्रत्येक अरिक्त विवृत अंतराल में एक परिमेय सम्मिलित होता है। (यदि धनात्मक अपरिमेय है, तब विवृत अंतराल में अपरिमित रूप से अनेक अपरिमेय हैं किन्तु एक भी परिमेय नहीं है।)
  6. में सुप० और इन्फ़० दोनों के संबंध में परिमेय सघन हैं। (अर्थात्, का प्रत्येक घटक परिमेय के कुछ समुच्चय का पूरक है, और परिमेय के कुछ अन्य समुच्चय का इन्फ़० है।) इस प्रकार आर्किमिडीयन क्षेत्र किसी भी क्रमित क्षेत्र के अर्थ में परिमेय का कोई सघन क्रमित विस्तार है, जो अपने परिमेय घटको को संघनित रूप से अंतःस्थापित करता है।

यह भी देखें

टिप्पणियाँ

  1. https://www.math.cuhk.edu.hk/course_builder/2021/math2050c/MATH%202050C%20Lecture%204%20(Jan%2021).pdf[bare URL PDF]
  2. G. Fisher (1994) in P. Ehrlich(ed.), Real Numbers, Generalizations of the Reals, and Theories of continua, 107-145, Kluwer Academic
  3. Knopp, Konrad (1951). Theory and Application of Infinite Series (English 2nd ed.). London and Glasgow: Blackie & Son, Ltd. p. 7. ISBN 0-486-66165-2.
  4. Monna, A. F. (1943). "Over een lineaire P-adische ruimte". Nederl. Akad. Wetensch. Verslag Afd. Natuurk. (52): 74–84. MR 0015678.
  5. Neal Koblitz, "p-adic Numbers, p-adic Analysis, and Zeta-Functions", Springer-Verlag,1977.
  6. Shell, Niel, Topological Fields and Near Valuations, Dekker, New York, 1990. ISBN 0-8247-8412-X
  7. Schechter 1997, §10.3


संदर्भ