क्रमित क्षेत्र

गणित में, क्रमित क्षेत्र एक ऐसा क्षेत्र (गणित) है जिसमें इसके तत्वों का कुल क्रम क्षेत्र संचालन के साथ संगत होता है। क्रमित क्षेत्र का मूल उदाहरण वास्तविक संख्याओं का क्षेत्र है, और प्रत्येक डेडेकाइंड-पूर्ण क्रमित क्षेत्र वास्तविक के समरूपी है।

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

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

परिभाषाएँ

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

कुल क्रम

एक क्षेत्र (गणित) $(F,+,\cdot \,)$ एक साथ कुल क्रम के साथ $<$ पर $F$ यदि क्रम सभी के लिए निम्नलिखित गुणों को संतुष्ट करता है $a,b,c\in F:$

• अगर $a<b$ तब $a+c<b+c,$ और
• अगर $0<a$ और $0<b$ तब $0<a\cdot b.$

धनात्मक शंकु

एprepositive cone या किसी क्षेत्र का पूर्वक्रम करना $F$ एक उपसमुच्चय है $P\subseteq F$ जिसमें निम्नलिखित गुण हैं:

• के लिए $x$ और $y$ में $P,$ दोनों $x+y$ और $x\cdot y$ में हैं $P.$
• अगर $x\in F,$ तब $x^{2}\in P.$ विशेष रूप से, $1=1^{2}\in P.$
• तत्व $-1$ इसमें नहीं है $P.$

एpreordered field प्रीऑर्डरिंग से सुसज्जित एक क्षेत्र है $P.$ इसके गैर-शून्य तत्व $P^{*}$ के गुणक समूह का एक उपसमूह बनाएं $F.$ यदि इसके अतिरिक्त, सेट $F$ का मिलन है $P$ और $-P,$ हम बुलाते है $P$ का एक धनात्मक शंकु $F.$ के गैर-शून्य तत्व $P$ के धनात्मक तत्व कहलाते हैं $F.$ एक आदेशित क्षेत्र एक क्षेत्र है $F$ एक धनात्मक शंकु के साथ $P.$ पूर्वक्रम जारी है $F$ वास्तव में धनात्मक शंकु के परिवारों के प्रतिच्छेदन हैं $F.$ धनात्मक शंकु अधिकतम प्रीऑर्डरिंग हैं।

दो परिभाषाओं की समानता

होने देना $F$ एक क्षेत्र हो. के क्षेत्र क्रमों के बीच एक आपत्ति है $F$ और के धनात्मक शंकु $F.$ पहली परिभाषा के अनुसार क्षेत्र ऑर्डरिंग ≤ को देखते हुए, तत्वों का सेट ऐसा होता है $x\geq 0$ का एक धनात्मक शंकु बनता है $F.$ इसके विपरीत, एक धनात्मक शंकु दिया गया है $P$ का $F$ जैसा कि दूसरी परिभाषा में है, कोई कुल क्रम को जोड़ सकता है $\leq _{P}$ पर $F$ व्यवस्थित करके $x\leq _{P}y$ मतलब निकालना $y-x\in P.$ यह कुल ऑर्डरिंग $\leq _{P}$ पहली परिभाषा के गुणों को संतुष्ट करता है।

आदेशित क्षेत्र के उदाहरण

आदेशित क्षेत्र के उदाहरण हैं:

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

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

आदेशित क्षेत्र के गुण

संपत्ति $a>0\land x<y\Rightarrow ax<ay$

संपत्ति $x<y\Rightarrow a+x<a+y$

एफ में प्रत्येक ए, बी, सी, डी के लिए:

• या तो −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²F में सभी a के लिए।
• वर्गों का प्रत्येक गैर-तुच्छ योग शून्य नहीं होता है। समान रूप से: $\textstyle \sum _{k=1}^{n}a_{k}^{2}=0\;\Longrightarrow \;\forall k\;\colon a_{k}=0.$

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

आदेशित क्षेत्र पर वेक्टर रिक्त स्थान

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

क्षेत्र की क्रमबद्धता

प्रत्येक आदेशित क्षेत्र औपचारिक रूप से वास्तविक क्षेत्र है, यानी, 0 को गैर-शून्य वर्गों के योग के रूप में नहीं लिखा जा सकता है। इसके विपरीत, प्रत्येक औपचारिक रूप से वास्तविक क्षेत्र को एक संगत कुल क्रम से सुसज्जित किया जा सकता है, जो इसे एक क्रमित क्षेत्र में बदल देगा। (इस क्रम को विशिष्ट रूप से निर्धारित करने की आवश्यकता नहीं है।) प्रमाण ज़ोर्न के लेम्मा का उपयोग करता है। परिमित क्षेत्र और अधिक सामान्यतः धनात्मक विशेषता (बीजगणित) के क्षेत्र को क्रमित क्षेत्र में नहीं बदला जा सकता है, क्योंकि विशेषता पी में, तत्व -1 को (पी - 1) वर्ग 1 के योग के रूप में लिखा जा सकता है।². सम्मिश्र संख्याओं को भी एक क्रमित क्षेत्र में नहीं बदला जा सकता, क्योंकि −1 अधिकल्पित इकाई i का एक वर्ग है। इसके अलावा, पी-एडिक संख्याओं को क्रमबद्ध नहीं किया जा सकता है, क्योंकि हेंसल की लेम्मा#उदाहरण|हेंसेल की लेम्मा 'क्यू' के अनुसार₂ इसमें −7 का वर्गमूल होता है, इस प्रकार 1² +1² +1² +2²+√−7)²= 0, और Q_p (p > 2) में 1 − p का वर्गमूल होता है, इस प्रकार (p − 1)⋅1² + (√1 − p)²=0.

क्रम द्वारा प्रेरित टोपोलॉजी

यदि F कुल क्रमित ≤ से उत्पन्न होने वाले क्रमित टोपोलॉजी से सुसज्जित है, तो स्वयंसिद्ध गारंटी देते हैं कि ऑपरेशन + और × निरंतर फ़ंक्शन (टोपोलॉजी) हैं, ताकि F एक टोपोलॉजिकल क्षेत्र हो।

हैरिसन टोपोलॉजी

हैरिसन टोपोलॉजी क्रमित X के सेट पर एक टोपोलॉजी है_F औपचारिक रूप से वास्तविक क्षेत्र F का। प्रत्येक क्रम को F से गुणक समूह समरूपता के रूप में माना जा सकता है^∗ ±1 पर। असतत टोपोलॉजी ±1 और ±1 दे रहे हैं^एफउत्पाद टोपोलॉजी एक्स पर सबस्पेस टोपोलॉजी को प्रेरित करती है_F. हैरिसन सेट करता है $H(a)=\{P\in X_{F}:a\in P\}$ हैरिसन टोपोलॉजी के लिए एक उपआधार तैयार करें। उत्पाद एक बूलियन स्थान (सघन स्थान , हॉसडॉर्फ़ स्थान और पूरी तरह पूरी तरह से कटा हुआ स्थान) और एक्स है_F एक बंद उपसमुच्चय है, इसलिए फिर से बूलियन।

प्रशंसक और सुपर क्रमित क्षेत्र

एफ पर एक पंखा टी का प्री क्रमित है, इस गुण के साथ कि यदि एस एफ में सूचकांक 2 का एक उपसमूह है^∗ जिसमें T − {0} है और −1 नहीं है तो S एक क्रम है (अर्थात, S जोड़ के तहत बंद है)। एक सुपरऑर्डर क्षेत्र एक पूरी तरह से वास्तविक क्षेत्र है जिसमें वर्गों के योग का सेट एक प्रशंसक बनाता है।

यह भी देखें

• Linearly ordered group
• Ordered group
• Ordered ring
• Ordered topological vector space
• Ordered vector space – Vector space with a partial order
• Partially ordered ring
• Partially ordered space
• Preorder field
• Riesz space

संदर्भ

• Lam, T. Y. (1983), Orderings, valuations and quadratic forms, CBMS Regional Conference Series in Mathematics, vol. 52, American Mathematical Society, ISBN 0-8218-0702-1, Zbl 0516.12001
• Lam, Tsit-Yuen (2005). Introduction to Quadratic Forms over Fields. Graduate Studies in Mathematics. Vol. 67. American Mathematical Society. ISBN 0-8218-1095-2. Zbl 1068.11023.
• Lang, Serge (1993), Algebra (Third ed.), Reading, Mass.: Addison-Wesley, ISBN 978-0-201-55540-0, Zbl 0848.13001