औपचारिक रूप से वास्तविक क्षेत्र: Difference between revisions

Latest revision as of 10:09, 27 July 2023

गणित में, विशेष रूप से क्षेत्र सिद्धांत (गणित) और वास्तविक बीजगणितीय ज्यामिति में, औपचारिक रूप से वास्तविक क्षेत्र एक ऐसा क्षेत्र है जिसे एक (आवश्यक नहीं कि अद्वितीय हो) क्रम से सुसज्जित किया जा सकता है, जो इसे एक क्रमित क्षेत्र बनाता है।

वैकल्पिक परिभाषाएँ

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

इसी प्रकार औपचारिक रूप से वास्तविक क्षेत्र F एक ऐसा क्षेत्र है जो निम्नलिखित समकक्ष गुणों में से एक को भी संतुष्ट करता है:^[1]^[2]

−1, F में वर्ग संख्या का योग नहीं है। दूसरे शब्दों में, F का मान (बीजगणित) अनंत है। (विशेष रूप से, ऐसे क्षेत्र में विशेषता (बीजगणित) 0 होनी चाहिए, क्योंकि विशेषता पी के क्षेत्र में तत्व -1, 1 का योग है।) इसे प्रथम-क्रम तर्क में प्रत्येक चर संख्या के लिए एक वाक्य के साथ $\forall x_{1}(-1\neq x_{1}^{2})$ $\forall x_{1}x_{2}(-1\neq x_{1}^{2}+x_{2}^{2})$ , आदि द्वारा व्यक्त किया जा सकता है।
F का एक तत्व उपस्थित है जो F में वर्गों का योग नहीं है, और F की विशेषता 2 नहीं है।
यदि F के तत्वों के वर्गों का कोई भी योग शून्य के समतुल्य है, तो उनमें से प्रत्येक तत्व शून्य होता है।

यह देखना सरल होता है कि ये तीन गुण समतुल्य हैं। इसके अतिरिक्त यह देखना भी सरल होता है कि एक क्षेत्र जो क्रमीकरण स्वीकार करता है उसे इन तीन गुणों को भी पूरा करना होता है।

एक प्रमाण यह है कि यदि F इन तीन गुणों को संतुष्ट करता है, तो F एक क्रमीकरण स्वीकार करता है जो पूर्वधनात्मक शंकु और धनात्मक शंकु की धारणा का उपयोग करता है। मान लीजिए -1 वर्गों का योग नहीं है; फिर ज़ोर्न के लेम्मा तर्क से पता चलता है कि वर्गों के योग के पूर्वधनात्मक शंकु को एक धनात्मक शंकु P ⊆ F तक बढ़ाया जा सकता है। कोई इस धनात्मक शंकु का उपयोग क्रम को परिभाषित करने के लिए करता है: a ≤ b यदि और केवल यदि b − a, P से संबंधित है।

वास्तविक विवृत क्षेत्र

औपचारिक रूप से वास्तविक उचित बीजीय विस्तार के बिना एक औपचारिक रूप से वास्तविक क्षेत्र एक वास्तविक विवृत क्षेत्र है।^[3] इसी प्रकार यदि K औपचारिक रूप से वास्तविक है और Ω K युक्त एक बीजगणितीय रूप से विवृत क्षेत्र है, तो K युक्त Ω का एक वास्तविक विवृत उपक्षेत्र है। एक वास्तविक विवृत क्षेत्र को एक अनूठी विधि से व्यवस्थित किया जा सकता है,^[3] और गैर-ऋणात्मक तत्व बिल्कुल वर्ग हैं।

संदर्भ

Milnor, John; Husemoller, Dale (1973). Symmetric bilinear forms. Springer. ISBN 3-540-06009-X.
Rajwade, A. R. (1993). Squares. London Mathematical Society Lecture Note Series. Vol. 171. Cambridge University Press. ISBN 0-521-42668-5. Zbl 0785.11022.

[1] Rajwade, Theorem 15.1.

[2] Milnor and Husemoller (1973) p.60

[R216-3] 3.0 ^3.1 Rajwade (1993) p.216

[1]

[2]

[3]

@@ Line 1: / Line 1: @@
 {{Short description|Field that can be equipped with an ordering}}
-{{More citations needed|date=December 2009}}
+गणित में, विशेष रूप से [[क्षेत्र सिद्धांत (गणित)]] और [[वास्तविक बीजगणितीय ज्यामिति]] में, '''औपचारिक रूप से वास्तविक क्षेत्र''' एक ऐसा क्षेत्र है जिसे एक (आवश्यक नहीं कि अद्वितीय हो) क्रम से सुसज्जित किया जा सकता है, जो इसे एक क्रमित क्षेत्र बनाता है।
-गणित में, विशेष रूप से [[क्षेत्र सिद्धांत (गणित)]] और [[वास्तविक बीजगणितीय ज्यामिति]] में, एक औपचारिक रूप से वास्तविक क्षेत्र एक क्षेत्र (गणित) होता है जिसे एक (जरूरी नहीं कि अद्वितीय) क्रम से सुसज्जित किया जा सकता है जो इसे एक आदेशित क्षेत्र बनाता है।
 ==वैकल्पिक परिभाषाएँ==
-ऊपर दी गई परिभाषा [[प्रथम-क्रम तर्क]]|प्रथम-क्रम परिभाषा नहीं है, क्योंकि इसमें [[सेट (गणित)]] पर क्वांटिफायर की आवश्यकता होती है। हालाँकि, निम्नलिखित मानदंडों को फ़ील्ड की भाषा में (अनंत रूप से कई) प्रथम-क्रम [[वाक्य (गणितीय तर्क)]] के रूप में कोडित किया जा सकता है और उपरोक्त परिभाषा के बराबर हैं।
+ऊपर दी गई परिभाषा [[प्रथम-क्रम तर्क]] की परिभाषा नहीं है, क्योंकि इसमें [[सेट (गणित)]] पर क्वांटिफायर की आवश्यकता होती है। चूंकि, निम्नलिखित मानदंडों को क्षेत्र की भाषा में (अनंत रूप से कई) प्रथम-क्रम [[वाक्य (गणितीय तर्क)]] के रूप में कोडित किया जा सकता है और यह उपरोक्त परिभाषा के समतुल्य होते हैं।
-औपचारिक रूप से वास्तविक फ़ील्ड F एक ऐसा फ़ील्ड है जो निम्नलिखित समकक्ष गुणों में से एक को भी संतुष्ट करता है:<ref>Rajwade, Theorem 15.1.</ref><ref>Milnor and Husemoller (1973) p.60</ref>
+इसी प्रकार औपचारिक रूप से वास्तविक क्षेत्र F एक ऐसा क्षेत्र है जो निम्नलिखित समकक्ष गुणों में से एक को भी संतुष्ट करता है:<ref>Rajwade, Theorem 15.1.</ref><ref>Milnor and Husemoller (1973) p.60</ref>
-* −1, F में [[वर्ग संख्या]]ओं का योग नहीं है। दूसरे शब्दों में, F का स्टुफ़े (बीजगणित) अनंत है। (विशेष रूप से, ऐसे क्षेत्र में [[विशेषता (बीजगणित)]] 0 होनी चाहिए, क्योंकि विशेषता पी के क्षेत्र में तत्व −1 1s का योग है।) इसे प्रथम-क्रम तर्क में व्यक्त किया जा सकता है <math>\forall x_1 (-1 \ne x_1^2)</math>, <math>\forall x_1 x_2 (-1 \ne x_1^2 + x_2^2)</math>, आदि, प्रत्येक चर संख्या के लिए एक वाक्य के साथ।
+* −1, F में [[वर्ग संख्या]] का योग नहीं है। दूसरे शब्दों में, F का मान (बीजगणित) अनंत है। (विशेष रूप से, ऐसे क्षेत्र में [[विशेषता (बीजगणित)]] 0 होनी चाहिए, क्योंकि विशेषता पी के क्षेत्र में तत्व -1, 1 का योग है।) इसे प्रथम-क्रम तर्क में प्रत्येक चर संख्या के लिए एक वाक्य के साथ <math>\forall x_1 (-1 \ne x_1^2)</math> <math>\forall x_1 x_2 (-1 \ne x_1^2 + x_2^2)</math>, आदि द्वारा व्यक्त किया जा सकता है।
-* F का एक तत्व मौजूद है जो F में वर्गों का योग नहीं है, और F की विशेषता 2 नहीं है।
+*F का एक तत्व उपस्थित है जो F में वर्गों का योग नहीं है, और F की विशेषता 2 नहीं है।
-* यदि F के तत्वों के वर्गों का कोई भी योग शून्य के बराबर है, तो उनमें से प्रत्येक तत्व शून्य होना चाहिए।
+*यदि F के तत्वों के वर्गों का कोई भी योग शून्य के समतुल्य है, तो उनमें से प्रत्येक तत्व शून्य होता है।
-यह देखना आसान है कि ये तीन गुण समतुल्य हैं। यह देखना भी आसान है कि एक क्षेत्र जो ऑर्डरिंग स्वीकार करता है उसे इन तीन गुणों को पूरा करना होगा।
+यह देखना सरल होता है कि ये तीन गुण समतुल्य हैं। इसके अतिरिक्त यह देखना भी सरल होता है कि एक क्षेत्र जो क्रमीकरण स्वीकार करता है उसे इन तीन गुणों को भी पूरा करना होता है।
-एक प्रमाण कि यदि F इन तीन गुणों को संतुष्ट करता है, तो F एक ऑर्डर को स्वीकार करता है जो ऑर्डर किए गए फ़ील्ड#Def 2 की धारणा का उपयोग करता है: F और सकारात्मक शंकु का एक सकारात्मक शंकु। मान लीजिए -1 वर्गों का योग नहीं है; फिर ज़ोर्न के लेम्मा तर्क से पता चलता है कि वर्गों के योग के पूर्वसकारात्मक शंकु को एक सकारात्मक शंकु तक बढ़ाया जा सकता है {{nowrap|''P'' ⊆ ''F''}}. किसी क्रम को परिभाषित करने के लिए कोई इस सकारात्मक शंकु का उपयोग करता है: {{nowrap|''a'' ≤ ''b''}} अगर और केवल अगर {{nowrap|''b''&thinsp;−&thinsp;''a''}} P का है.
+एक प्रमाण यह है कि यदि F इन तीन गुणों को संतुष्ट करता है, तो F एक क्रमीकरण स्वीकार करता है जो पूर्वधनात्मक शंकु और धनात्मक शंकु की धारणा का उपयोग करता है। मान लीजिए -1 वर्गों का योग नहीं है; फिर ज़ोर्न के लेम्मा तर्क से पता चलता है कि वर्गों के योग के पूर्वधनात्मक शंकु को एक धनात्मक शंकु {{nowrap|''P'' ⊆ ''F''}} तक बढ़ाया जा सकता है। कोई इस धनात्मक शंकु का उपयोग क्रम को परिभाषित करने के लिए करता है: {{nowrap|''a'' ≤ ''b''}} यदि और केवल यदि {{nowrap|''b''&thinsp;−&thinsp;''a''}}, P से संबंधित है।
-==वास्तविक बंद फ़ील्ड==
+==वास्तविक विवृत क्षेत्र==
-औपचारिक रूप से वास्तविक उचित बीजीय विस्तार के बिना एक औपचारिक रूप से वास्तविक क्षेत्र एक [[वास्तविक बंद क्षेत्र]] है।<ref name=R216>Rajwade (1993) p.216</ref> यदि K औपचारिक रूप से वास्तविक है और Ω K युक्त एक [[बीजगणितीय रूप से बंद फ़ील्ड]] है, तो K युक्त Ω का एक वास्तविक बंद [[फ़ील्ड विस्तार]] है। एक वास्तविक बंद फ़ील्ड को एक अनोखे तरीके से ऑर्डर किया जा सकता है,<ref name=R216/>और गैर-नकारात्मक तत्व बिल्कुल वर्ग हैं।
+औपचारिक रूप से वास्तविक उचित बीजीय विस्तार के बिना एक औपचारिक रूप से वास्तविक क्षेत्र एक [[वास्तविक बंद क्षेत्र|वास्तविक विवृत क्षेत्र]] है।<ref name="R216">Rajwade (1993) p.216</ref> इसी प्रकार यदि K औपचारिक रूप से वास्तविक है और Ω K युक्त एक [[बीजगणितीय रूप से बंद फ़ील्ड|बीजगणितीय रूप से विवृत क्षेत्र]] है, तो K युक्त Ω का एक वास्तविक विवृत उपक्षेत्र है। एक वास्तविक विवृत क्षेत्र को एक अनूठी विधि से व्यवस्थित किया जा सकता है,<ref name="R216" /> और गैर-ऋणात्मक तत्व बिल्कुल वर्ग हैं।
 ==टिप्पणियाँ==
@@ Line 27: / Line 26: @@
 * {{cite book | title=Squares | volume=171 | series=London Mathematical Society Lecture Note Series | first=A. R. | last=Rajwade | publisher=[[Cambridge University Press]] | year=1993 | isbn=0-521-42668-5 | zbl=0785.11022 }}
-{{DEFAULTSORT:Formally Real Field}}[[Category: फ़ील्ड (गणित)]] [[Category: आदेशित समूह]]
+{{DEFAULTSORT:Formally Real Field}}
 [[pl:Ciało (formalnie) rzeczywiste]]
+[[Category:Created On 20/07/2023|Formally Real Field]]
+[[Category:Lua-based templates|Formally Real Field]]
-[[Category: Machine Translated Page]]
+[[Category:Machine Translated Page|Formally Real Field]]
-[[Category:Created On 20/07/2023]]
+[[Category:Pages with script errors|Formally Real Field]]
+[[Category:Templates Vigyan Ready|Formally Real Field]]
+[[Category:Templates that add a tracking category|Formally Real Field]]
+[[Category:Templates that generate short descriptions|Formally Real Field]]
+[[Category:Templates using TemplateData|Formally Real Field]]
+[[Category:आदेशित समूह|Formally Real Field]]
+[[Category:फ़ील्ड (गणित)|Formally Real Field]]

Anonymous

Search

औपचारिक रूप से वास्तविक क्षेत्र: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 10:09, 27 July 2023

Contents

वैकल्पिक परिभाषाएँ

वास्तविक विवृत क्षेत्र

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

औपचारिक रूप से वास्तविक क्षेत्र: Difference between revisions

Latest revision as of 10:09, 27 July 2023

वैकल्पिक परिभाषाएँ

वास्तविक विवृत क्षेत्र

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories