औपचारिक रूप से वास्तविक क्षेत्र

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

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

औपचारिक रूप से वास्तविक फ़ील्ड F एक ऐसा फ़ील्ड है जो निम्नलिखित समकक्ष गुणों में से एक को भी संतुष्ट करता है:
 * −1, F में वर्ग संख्याओं का योग नहीं है। दूसरे शब्दों में, F का स्टुफ़े (बीजगणित) अनंत है। (विशेष रूप से, ऐसे क्षेत्र में विशेषता (बीजगणित) 0 होनी चाहिए, क्योंकि विशेषता पी के क्षेत्र में तत्व −1 1s का योग है।) इसे प्रथम-क्रम तर्क में व्यक्त किया जा सकता है $$\forall x_1 (-1 \ne x_1^2)$$, $$\forall x_1 x_2 (-1 \ne x_1^2 + x_2^2)$$, आदि, प्रत्येक चर संख्या के लिए एक वाक्य के साथ।
 * F का एक तत्व मौजूद है जो F में वर्गों का योग नहीं है, और F की विशेषता 2 नहीं है।
 * यदि F के तत्वों के वर्गों का कोई भी योग शून्य के बराबर है, तो उनमें से प्रत्येक तत्व शून्य होना चाहिए।

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

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

वास्तविक बंद फ़ील्ड
औपचारिक रूप से वास्तविक उचित बीजीय विस्तार के बिना एक औपचारिक रूप से वास्तविक क्षेत्र एक वास्तविक बंद क्षेत्र है। यदि K औपचारिक रूप से वास्तविक है और Ω K युक्त एक बीजगणितीय रूप से बंद फ़ील्ड है, तो K युक्त Ω का एक वास्तविक बंद फ़ील्ड विस्तार है। एक वास्तविक बंद फ़ील्ड को एक अनोखे तरीके से ऑर्डर किया जा सकता है, और गैर-नकारात्मक तत्व बिल्कुल वर्ग हैं।

संदर्भ


Ciało (formalnie) rzeczywiste