View source for क्रमित क्षेत्र

{{Short description|Algebraic object with an ordered structure}}
गणित में, '''क्रमित क्षेत्र''' एक ऐसा क्षेत्र (गणित) है जिसमें इसके तत्वों का कुल क्रम क्षेत्र संचालन के साथ संगत होता है। क्रमित क्षेत्र का मूल उदाहरण [[वास्तविक संख्या]]ओं का क्षेत्र है, और प्रत्येक [[डेडेकाइंड-पूर्ण]] क्रमित क्षेत्र वास्तविक के [[समरूपी]] है।

किसी क्रमित किए गए क्षेत्र का प्रत्येक [[फ़ील्ड विस्तार|उपक्षेत्र]] वंशानुगत क्रम में क्रमित किया गया क्षेत्र भी है। प्रत्येक क्रमित क्षेत्र में क्रमबद्ध उपक्षेत्र होता है जो परिमेय संख्याओं के समरूपी होता है। क्रमित क्षेत्र में [[वर्ग (बीजगणित)]] आवश्यक रूप से ऋणेतर संख्या होते हैं। इसका तात्पर्य यह है कि सम्मिश्र संख्याओं को क्रमबद्ध नहीं किया जा सकता क्योंकि [[काल्पनिक इकाई|अधिकल्पित इकाई]] ''i'' का वर्ग  {{num|−1}} है (जो किसी भी क्रमित क्षेत्र में ऋणात्मक है)। परिमित क्षेत्र का क्रम नहीं दिया जा सकता हैं।

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

==परिभाषाएँ==
किसी क्रमित क्षेत्र की दो समान सामान्य परिभाषाएँ हैं। '''कुल क्रम''' की परिभाषा पहली बार ऐतिहासिक रूप से सामने आई और यह क्रम <math>\leq</math> [[द्विआधारी विधेय]] के रूप में का प्रथम-क्रम स्वयंसिद्धीकरण है। आर्टिन और श्रेयर ने 1926 में '''धनात्मक शंकु''' के संदर्भ में परिभाषा दी, जो ऋणेतर संख्या तत्वों के उपसंग्रह को स्वयंसिद्ध करती है। हालाँकि बाद वाला उच्च-क्रम का है, धनात्मक शंकु को इस रूप में देखना {{em|अधिकतम}}  उपसर्गणीय शंकु एक बड़ा संदर्भ प्रदान करता है जिसमें क्षेत्र क्रमित {{em|अतिशय}} आंशिक क्रम होते हैं।

===कुल क्रम===
एक क्षेत्र (गणित) <math>(F, +, \cdot\,)</math> एक साथ कुल क्रम के साथ <math> < </math> पर <math>F</math> यदि क्रम सभी के लिए निम्नलिखित गुणों को संतुष्ट करता है <math>a, b, c \in F:</math>
* अगर <math>a < b</math> तब <math>a + c < b + c,</math> और
* अगर <math>0 < a</math> और <math>0 < b</math> तब <math>0 < a \cdot b.</math>
===धनात्मक शंकु===
किसी क्षेत्र का '''उपसर्गणीय शंकु''' या '''पूर्वक्रम''' <math>F</math> एक उपसमुच्चय है <math>P \subseteq F</math> जिसमें निम्नलिखित गुण हैं:<ref name=Lam289>Lam (2005) p. 289</ref>
* <math>x</math> और <math>y</math> में <math>P,</math>के लिए दोनों <math>x + y</math> और <math>x \cdot y</math> में <math>P.</math> हैं 
* अगर <math>x \in F,</math> तब <math>x^2 \in P.</math> विशेष रूप से, <math>1 = 1^2 \in P.</math>
* तत्व <math>- 1</math> इसमें <math>P.</math> नहीं है 
'''पूर्वक्रमित क्षेत्र''' पूर्वक्रम <math>P.</math>से सुसज्जित एक क्षेत्र है इसके गैर-शून्य तत्व <math>P^*</math> के गुणक समूह का [[उपसमूह]]<math>F.</math>उपसमूह बनाता है।

यदि इसके अतिरिक्त, समुच्चय <math>F</math> का <math>P</math> और <math>- P,</math> संयोजन मिलन है <math>P</math> का '''धनात्मक शंकु''' <math>F.</math>है गैर-शून्य तत्व <math>P</math> के '''धनात्मक''' तत्व <math>F.</math> कहलाते हैं।

क्रमित क्षेत्र <math>F</math> धनात्मक शंकु के साथ <math>P.</math> क्षेत्र है।

पूर्वक्रम <math>F</math> वास्तव में धनात्मक शंकु के परिवारों <math>F.</math> के प्रतिच्छेदन हैं। धनात्मक शंकु अधिकतम पूर्वक्रम हैं।<ref name="Lam289" />
===दो परिभाषाओं की समानता===
मान लीजिये <math>F</math> एक क्षेत्र है। <math>F</math> और धनात्मक शंकु <math>F.</math> के क्षेत्र क्रमों के बीच द्विअंतथक्षेपण है। 

पहली परिभाषा के अनुसार क्षेत्र क्रम ≤ को देखते हुए, तत्वों का समुच्चय ऐसा होता है <math>x \geq 0</math> का धनात्मक शंकु <math>F.</math> बनता है इसके विपरीत, धनात्मक शंकु दिया गया है <math>P</math> का <math>F</math> जैसा कि दूसरी परिभाषा में है, कोई कुल क्रम को जोड़ सकता है <math>\leq_P</math> पर <math>F</math> सेटिंग द्वारा <math>x \leq_P y</math> का मतलब <math>y - x \in P.</math>  है यह कुल क्रम <math>\leq_P</math> पहली परिभाषा के गुणों को संतुष्ट करता है।

==क्रमित क्षेत्र के उदाहरण==
क्रमित क्षेत्र के उदाहरण हैं:
* परिमेय संख्या
* [[वास्तविक संख्या]]एँ
* किसी क्रमित क्षेत्र का कोई उपक्षेत्र, जैसे वास्तविक [[बीजगणितीय संख्याएँ]] या [[गणना योग्य संख्या]]एँ
* क्षेत्र <math>\mathbb{Q}(x)</math> [[तर्कसंगत कार्य|परिमेय फलन]]  <math>p(x)/q(x)</math> का, जहाँ <math>p(x)</math> और <math>q(x)</math> परिमेय गुणांक वाले [[बहुपद]] हैं, <math>q(x) \ne 0</math>, वास्तविक [[पारलौकिक संख्या|प्रागनुभविक संख्या]] <math>\alpha</math> को निश्चित करके क्रमित क्षेत्र में बनाया जा सकता है <math>p(x)/q(x) > 0</math> और परिभाषित करना अगर और केवल अगर <math>p(\alpha)/q(\alpha) > 0</math> हैं यह एम्बेडिंग <math>\mathbb{Q}(x)</math> के बराबर है <math>\mathbb{R}</math> में और के क्रम को प्रतिबंधित करना <math>\mathbb{R}</math> की छवि के एक क्रम के लिए <math>\mathbb{Q}(x)</math> हैं।
* क्षेत्र <math>\mathbb{R}(x)</math> परिमेय कार्यों का <math>p(x)/q(x)</math>, जहाँ <math>p(x)</math> और <math>q(x)</math> वास्तविक गुणांक वाले बहुपद हैं, <math>q(x) \ne 0</math>, एक क्रमित क्षेत्र में बनाया जा सकता है जहां बहुपद <math>p(x)=x</math> परिभाषित करके, किसी भी अचर बहुपद से बड़ा है <math>p(x)/q(x) > 0</math> इसका मतलब यह है  <math>p_n/q_m > 0</math>, जहाँ <math>p_n \neq 0</math> और <math>q_m \neq 0</math> के प्रमुख गुणांक हैं <math>p(x) = p_n x^n + \dots + p_0</math> और <math>q(x) = q_m x^m + \dots + q_0</math>, क्रमश हैं। यह क्रमित क्षेत्र [[आर्किमिडीयन क्षेत्र]] नहीं है।
* क्षेत्र <math>\mathbb{R}((x))</math> वास्तविक गुणांकों के साथ [[औपचारिक शक्ति श्रृंखला|औपचारिक घात श्रेणी]] का, जहां x को अतिसूक्ष्म और धनात्मक माना जाता है
* [[ट्रांससीरीज़]]
* वास्तविक संवृत क्षेत्र
* [[अतियथार्थवादी संख्या]]एँ
*अतिवास्तविक संख्याएँ

[[अवास्तविक संख्याएँ]] एक [[सेट (गणित)|समुच्चय (गणित)]] के बजाय [[वर्ग (सेट सिद्धांत)|वर्ग (समुच्चय सिद्धांत)]] बनाती हैं, लेकिन अन्यथा क्रमित क्षेत्र के सिद्धांतों का पालन करती हैं। प्रत्येक क्रमित क्षेत्र को अवास्तविक संख्याओं में सन्निहित किया जा सकता है।

==क्रमित क्षेत्र के गुण==
[[File:Invariance of less-than-relation by multiplication with positive number.svg|thumb|गुण <math>a > 0 \land x < y \Rightarrow ax < ay</math>]]
[[File:Translation invariance of less-than-relation.svg|thumb|गुण <math>x < y \Rightarrow a+x < a+y</math>]]''F'' में प्रत्येक ''a,b,c,d'' के लिए:
* या तो −a ≤ 0 ≤ a या a ≤ 0 ≤ −a.
* कोई "असमानताएं जोड़" सकता है: यदि a ≤ b और c ≤ d, तो a + c ≤ b + d है
* कोई "असमानताओं को धनात्मक तत्वों से गुणा"  कर सकता है: यदि a ≤ b और 0 ≤ c, तो ac ≤ bc है।
*असमानता का सकर्मक गुण: यदि a < b और b < c, तो a < c है।
* यदि a < b और a, b > 0, तो 1/b < 1/a है
* क्रमित क्षेत्र में [[विशेषता (बीजगणित)|अभिलक्षण (बीजगणित)]] 0 होती है। (चूंकि 1 > 0, फिर 1 + 1 > 0, और 1 + 1 + 1 > 0, आदि। यदि क्षेत्र में अभिलक्षण p > 0 है, तो −1 होगा p − 1 वाले का योग, लेकिन −1 धनात्मक नहीं है।) विशेष रूप से, परिमित क्षेत्र का क्रम नहीं दिया जा सकता है।
* वर्ग गैर-ऋणात्मक हैं: ''0 ≤ a<sup>2 ,</sup>F'' में सभी ''a'' के लिए हैं।
* वर्गों का प्रत्येक गैर-तुच्छ योग शून्य नहीं होता है। समान रूप से: <math>\textstyle \sum_{k=1}^n a_k^2 = 0 \; \Longrightarrow \; \forall k \; \colon a_k = 0 .</math><ref name=Lam41/><ref name=Lam232/>

क्रमित क्षेत्र का प्रत्येक उपक्षेत्र भी क्रमित क्षेत्र है (प्रेरित क्रम को वंशानुगत मिला हुआ)। सबसे छोटा उपक्षेत्र परिमेय संख्या के समरूपता है (अभिलक्षण 0 के किसी भी अन्य क्षेत्र के लिए), और इस परिमेय उपक्षेत्र पर क्रम स्वयं परिमेय के क्रम के समान है। यदि किसी क्रमित क्षेत्र का प्रत्येक तत्व उसके परिमेय उपक्षेत्र के दो तत्वों के बीच स्थित है, तो क्षेत्र को आर्किमिडीयन गुण कहा जाता है। अन्यथा, ऐसा क्षेत्र गैर-आर्किमिडीयन क्रमित क्षेत्र है और इसमें [[बहुत छोता|अत्यणु]] शामिल हैं। उदाहरण के लिए, वास्तविक संख्याएँ आर्किमिडीयन क्षेत्र बनाती हैं, लेकिन हाइपररियल संख्याएँ गैर-आर्किमिडीयन क्षेत्र बनाती हैं, क्योंकि यह किसी भी मानक [[प्राकृतिक संख्या]] से अधिक तत्वों के साथ वास्तविक संख्याओं का विस्तार करती है।<ref name="BairHenry">{{cite web | url=http://orbi.ulg.ac.be/bitstream/2268/13591/1/ImplicitDiff.pdf | title=सूक्ष्मदर्शी के साथ निहित भेदभाव| publisher=[[University of Liège]] | access-date=2013-05-04 |author1=Bair, Jaques |author2=Henry, Valérie }}</ref>

क्रमित क्षेत्र F, वास्तविक संख्या क्षेत्र 'R' के समरूपी है यदि F में ऊपरी सीमा वाले F के प्रत्येक गैर-रिक्त उपसमुच्चय में F में [[न्यूनतम ऊपरी सीमा|न्यूनतम उपरि परिबंध]] है। यह गुण बताता है कि क्षेत्र आर्किमिडीयन है।

===क्रमित क्षेत्र पर सदिश समष्टि===
क्रमित क्षेत्र पर सदिश समष्टि (विशेष रूप से, एन-स्पेस) कुछ विशेष गुण प्रदर्शित करते हैं और कुछ विशिष्ट संरचनाएं रखते हैं, अर्थात्: अभिविन्यास ([[सदिश स्थल]]), [[उत्तल विश्लेषण]], और धनात्मक-निश्चित आंतरिक उत्पाद है। ' '''R'''<sup>''n''</sup>' के उन गुणों की चर्चा के लिए वास्तविक समन्वय स्थान#ज्यामितीय गुण और उपयोग देखें, जिसे अन्य क्रमित किए गए क्षेत्र पर सदिश समष्टि के लिए सामान्यीकृत किया जा सकता है।

==क्षेत्र की क्रमबद्धता==
प्रत्येक क्रमित क्षेत्र औपचारिक रूप से वास्तविक क्षेत्र है, यानी, 0 को गैर-शून्य वर्गों के योग के रूप में नहीं लिखा जा सकता है।<ref name=Lam41>Lam (2005) p. 41</ref><ref name=Lam232>Lam (2005) p. 232</ref>

इसके विपरीत, प्रत्येक औपचारिक रूप से वास्तविक क्षेत्र को संगत कुल क्रम से सुसज्जित किया जा सकता है, जो इसे क्रमित क्षेत्र में बदलता है। (इस क्रम को विशिष्ट रूप से निर्धारित करने की आवश्यकता नहीं है।) प्रमाण ज़ोर्न के लेम्मा का उपयोग करता है।<ref name="Lam236">Lam (2005) p. 236</ref>

परिमित क्षेत्र और अधिक सामान्यतः धनात्मक अभिलक्षण (बीजगणित) के क्षेत्र को क्रमित क्षेत्र में नहीं बदला जा सकता है, क्योंकि अभिलक्षण ''p'' में, तत्व -1 को (''p'' - 1) वर्ग 1<sup>2</sup> के योग के रूप में लिखा जा सकता है। सम्मिश्र संख्याओं को भी क्रमित क्षेत्र में नहीं बदला जा सकता, क्योंकि −1 अधिकल्पित इकाई i का वर्ग है। इसके अलावा, ''p''-एडिक संख्याओं को क्रमबद्ध नहीं किया जा सकता है, क्योंकि हेंसेल की लेम्मा '''Q'''<sub>2</sub> के अनुसार इसमें −7 का वर्गमूल होता है, इस प्रकार 1<sup>2</sup> +1<sup>2</sup> +1<sup>2</sup> +2<sup>2</sup>+{{radic|−7}})<sup>2</sup>= 0, और '''Q<sub>''p''</sub>''' (p > 2) में 1 ''− p'' का वर्गमूल होता है, इस प्रकार (p − 1)⋅1<sup>2</sup> + ({{radic|1&nbsp;−&nbsp;''p''}})<sup>2</sup>=0 है।<ref>The squares of the square roots {{radic|−7}} and {{radic|1&nbsp;−&nbsp;''p''}} are in '''Q''', but are <&nbsp;0, so that these roots cannot be in '''Q''' which means that their {{nowrap|''p''-adic}} expansions are not periodic.</ref>
==क्रम द्वारा प्रेरित टोपोलॉजी==
यदि ''F'' कुल क्रमित ≤ से उत्पन्न होने वाले [[ऑर्डर टोपोलॉजी|क्रमित टोपोलॉजी]] से सुसज्जित है, तो स्वयंसिद्ध गारंटी देते हैं कि ऑपरेशन + और × निरंतर फलन (टोपोलॉजी) हैं, ताकि ''F'' [[टोपोलॉजिकल क्षेत्र]] हो।

==हैरिसन टोपोलॉजी==
'''हैरिसन टोपोलॉजी''' औपचारिक रूप से वास्तविक क्षेत्र F के क्रमित ''X<sub>F</sub>'' के समुच्चय पर टोपोलॉजी है। प्रत्येक क्रम को ''F''<sup>∗</sup> से ±1 तक गुणक समूह समरूपता के रूप में माना जा सकता है।। [[असतत टोपोलॉजी]] ±1 औरऔर [[उत्पाद टोपोलॉजी]] ±1<sup>''F''</sup> देने से पर ''X<sub>F</sub>'' [[सबस्पेस टोपोलॉजी]] को प्रेरित होती है। '''हैरिसन समुच्चय''' करता है <math>H(a) = \{ P \in X_F : a \in P \}</math> हैरिसन टोपोलॉजी के लिए उपआधार तैयार करें। उत्पाद [[बूलियन स्थान]] (कॉम्पैक्ट, हॉसडॉर्फ और पूरी तरह से डिस्कनेक्टेड) और ''X<sub>F</sub>'' है संवृत उपसमुच्चय है, इसलिए फिर से बूलियन है।<ref name=Lam271>Lam (2005) p. 271</ref><ref name=L8312>Lam (1983) pp.&nbsp;1–2</ref>
==प्रशंसक और सुपर क्रमित क्षेत्र==
''एफ'' पर एक पंखा ''टी'' का प्री क्रमित है, इस गुण के साथ कि यदि ''एस'' ''एफ'' में सूचकांक 2 का एक उपसमूह है<sup>∗</sup> जिसमें T − {0} है और −1 नहीं है तो S एक क्रम है (अर्थात, S जोड़ के तहत संवृत है)।<ref name=L8339>Lam (1983) p.&nbsp;39</ref> एक सुपरऑर्डर क्षेत्र एक पूरी तरह से वास्तविक क्षेत्र है जिसमें वर्गों के योग का समुच्चय एक प्रशंसक बनाता है।<ref name=L8345>Lam (1983) p.&nbsp;45</ref>


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

* {{annotated link|Linearly ordered group}}
* {{annotated link|Ordered group}}
* {{annotated link|Ordered ring}}
* {{annotated link|Ordered topological vector space}}
* {{annotated link|Ordered vector space}}
* {{annotated link|Partially ordered ring}}
* {{annotated link|Partially ordered space}}
* {{annotated link|Preorder field}}
* {{annotated link|Riesz space}}

==टिप्पणियाँ==
{{reflist}}


==संदर्भ==

* {{citation | last=Lam | first=T. Y. | author-link=Tsit Yuen Lam | title=Orderings, valuations and quadratic forms | series=CBMS Regional Conference Series in Mathematics | volume=52 | publisher=[[American Mathematical Society]] | year=1983 | isbn=0-8218-0702-1 | zbl=0516.12001 | url-access=registration | url=https://archive.org/details/orderingsvaluati0000lamt }}
* {{cite book | title=Introduction to Quadratic Forms over Fields | volume=67 | series=[[Graduate Studies in Mathematics]] | first=Tsit-Yuen | last=Lam | author-link=Tsit Yuen Lam | publisher=American Mathematical Society | year=2005 | isbn=0-8218-1095-2 | zbl=1068.11023 }}
* {{Lang Algebra|edition=3}}

{{Order theory}}
{{DEFAULTSORT:Ordered Field}}
[[Category: वास्तविक बीजगणितीय ज्यामिति]] [[Category: क्रमबद्ध बीजगणितीय संरचनाएँ]] [[Category: आदेशित समूह]] 



[[Category: Machine Translated Page]]
[[Category:Created On 30/06/2023]]