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

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

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

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

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

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

धनात्मक शंकु
किसी क्षेत्र का उपसर्गणीय शंकु या पूर्वक्रम $$F$$ एक उपसमुच्चय है $$P \subseteq F$$ जिसमें निम्नलिखित गुण हैं: पूर्वक्रमित क्षेत्र पूर्वक्रम $$P.$$से सुसज्जित एक क्षेत्र है इसके गैर-शून्य तत्व $$P^*$$ के गुणक समूह का उपसमूह$$F.$$उपसमूह बनाता है।
 * $$x$$ और $$y$$ में $$P,$$के लिए दोनों $$x + y$$ और $$x \cdot y$$ में $$P.$$ हैं
 * अगर $$x \in F,$$ तब $$x^2 \in P.$$ विशेष रूप से, $$1 = 1^2 \in P.$$
 * तत्व $$- 1$$ इसमें $$P.$$ नहीं है

यदि इसके अतिरिक्त, सेट $$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) \ne 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) \ne 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 ≤ 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 ≤ a2F में सभी a के लिए।
 * वर्गों का प्रत्येक गैर-तुच्छ योग शून्य नहीं होता है। समान रूप से: $$\textstyle \sum_{k=1}^n a_k^2 = 0 \; \Longrightarrow \; \forall k \; \colon a_k = 0 .$$

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

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

क्षेत्र की क्रमबद्धता
प्रत्येक क्रमित क्षेत्र औपचारिक रूप से वास्तविक क्षेत्र है, यानी, 0 को गैर-शून्य वर्गों के योग के रूप में नहीं लिखा जा सकता है। इसके विपरीत, प्रत्येक औपचारिक रूप से वास्तविक क्षेत्र को एक संगत कुल क्रम से सुसज्जित किया जा सकता है, जो इसे एक क्रमित क्षेत्र में बदल देगा। (इस क्रम को विशिष्ट रूप से निर्धारित करने की आवश्यकता नहीं है।) प्रमाण ज़ोर्न के लेम्मा का उपयोग करता है। परिमित क्षेत्र और अधिक सामान्यतः धनात्मक विशेषता (बीजगणित) के क्षेत्र को क्रमित क्षेत्र में नहीं बदला जा सकता है, क्योंकि विशेषता पी में, तत्व -1 को (पी - 1) वर्ग 1 के योग के रूप में लिखा जा सकता है।2. सम्मिश्र संख्याओं को भी एक क्रमित क्षेत्र में नहीं बदला जा सकता, क्योंकि −1 अधिकल्पित इकाई i का एक वर्ग है। इसके अलावा, पी-एडिक संख्याओं को क्रमबद्ध नहीं किया जा सकता है, क्योंकि हेंसल की लेम्मा#उदाहरण|हेंसेल की लेम्मा 'क्यू' के अनुसार2 इसमें −7 का वर्गमूल होता है, इस प्रकार 12 +12 +12 +22+$\sqrt{−7}$)2= 0, और Qp (p > 2) में 1 − p का वर्गमूल होता है, इस प्रकार (p − 1)⋅12 + ($\sqrt{1 − p}$)2=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 जोड़ के तहत बंद है)। एक सुपरऑर्डर क्षेत्र एक पूरी तरह से वास्तविक क्षेत्र है जिसमें वर्गों के योग का सेट एक प्रशंसक बनाता है।