वास्तविक संख्याओं का निर्माण

गणित में, वास्तविक संख्याओं को परिभाषित करने के कई समतुल्य तरीके हैं। उनमें से एक यह है कि वे एक पूर्ण क्रमित फ़ील्ड बनाते हैं जिसमें कोई छोटा पूर्ण आदेशित फ़ील्ड नहीं होता है। इस तरह की परिभाषा यह साबित नहीं करती है कि इस तरह के पूर्ण आदेशित क्षेत्र मौजूद हैं, और अस्तित्व प्रमाण में एक गणितीय संरचना का निर्माण होता है जो परिभाषा को संतुष्ट करता है।

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

स्वयंसिद्ध परिभाषाएँ

वास्तविक संख्याओं की स्वयंसिद्ध पद्धति में उन्हें एक पूर्ण आदेशित क्षेत्र के तत्वों के रूप में परिभाषित करना शामिल है। इसका अर्थ निम्नलिखित है। वास्तविक संख्याएँ एक सेट (गणित) बनाती हैं, जिसे आमतौर पर निरूपित किया जाता है $\mathbb {R}$, जिसमें दो विशिष्ट तत्व 0 और 1 को दर्शाते हैं, और जिन पर दो बाइनरी ऑपरेशन और एक द्विआधारी संबंध परिभाषित हैं; संक्रियाओं को वास्तविक संख्याओं का जोड़ और गुणा कहा जाता है और क्रमशः के साथ निरूपित किया जाता है + और ×; द्विआधारी संबंध असमानता है, निरूपित $\leq .$ इसके अलावा, स्वयंसिद्ध कहे जाने वाले निम्नलिखित गुण संतुष्ट होने चाहिए।

ऐसी गणितीय संरचना का अस्तित्व एक प्रमेय है, जो ऐसी संरचना के निर्माण से सिद्ध होता है। स्वयंसिद्धों का एक परिणाम यह है कि यह संरचना एक समरूपता तक अद्वितीय है, और इस प्रकार, निर्माण की विधि का उल्लेख किए बिना, वास्तविक संख्याओं का उपयोग और हेरफेर किया जा सकता है।

अभिगृहीत

1. $\mathbb {R}$ जोड़ और गुणा के अंतर्गत एक क्षेत्र (गणित) है। दूसरे शब्दों में,
   • सभी x, y, और z in के लिए $\mathbb {R}$, x + (y + z) = (x + y) + z और x × (y × z) = (x × y) × z। (जोड़ और गुणा की साहचर्यता)
   • सभी x और y के लिए $\mathbb {R}$, x + y = y + x और x × y = y × x। (जोड़ और गुणा की क्रमविनिमेय संक्रिया)
   • सभी x, y, और z in के लिए $\mathbb {R}$, x × (y + z) = (x × y) + (x × z)। (जोड़ पर गुणन का वितरण)
   • सभी एक्स के लिए $\mathbb {R}$, एक्स + 0 = एक्स। (योगात्मक पहचान तत्व का अस्तित्व)
   • 0 1 के बराबर नहीं है, और सभी x के लिए $\mathbb {R}$, एक्स × 1 = एक्स। (गुणात्मक पहचान का अस्तित्व)
   • प्रत्येक एक्स के लिए $\mathbb {R}$, इसमें एक तत्व −x मौजूद है $\mathbb {R}$, जैसे कि x + (−x) = 0. (योगात्मक व्युत्क्रम तत्व का अस्तित्व)
   • प्रत्येक x ≠ 0 इंच के लिए $\mathbb {R}$, एक तत्व x मौजूद है^-1 में $\mathbb {R}$, जैसे कि x × x⁻¹ = 1. (गुणात्मक व्युत्क्रमों का अस्तित्व)
2. $\mathbb {R}$ के लिए पूरी तरह से आदेशित किया गया है $\leq$. दूसरे शब्दों में,
   • सभी एक्स के लिए $\mathbb {R}$, एक्स ≤ एक्स। (प्रतिवर्त संबंध)
   • सभी x और y के लिए $\mathbb {R}$, यदि x ≤ y और y ≤ x, तो x = y। (प्रतिसममित संबंध)
   • सभी x, y, और z in के लिए $\mathbb {R}$, यदि x ≤ y और y ≤ z, तो x ≤ z. (सकर्मक संबंध)
   • सभी x और y के लिए $\mathbb {R}$, x ≤ y या y ≤ x। (कुल आदेश)
3. जोड़ और गुणा क्रम के अनुकूल हैं। दूसरे शब्दों में,
   • सभी एक्स, वाई और जेड इन के लिए $\mathbb {R}$, यदि x ≤ y, तो x + z ≤ y + z। (अतिरिक्त के तहत आदेश का संरक्षण)
   • सभी x और y के लिए $\mathbb {R}$, यदि 0 ≤ x और 0 ≤ y, तो 0 ≤ x × y (गुणन के तहत आदेश का संरक्षण)
4. क्रम ≤ निम्नलिखित अर्थों में पूर्ण है: का प्रत्येक गैर-खाली सबसेट $\mathbb {R}$ वह ऊपरी सीमा है जो कम से कम ऊपरी सीमा है। दूसरे शब्दों में,
   • यदि ए का एक गैर-रिक्त उपसमुच्चय है $\mathbb {R}$, और यदि A की ऊपरी सीमा है $\mathbb {R} ,$ तो ए के पास कम से कम ऊपरी बाउंड यू है, जैसे कि ए के प्रत्येक ऊपरी बाउंड वी के लिए, यू ≤ वी।

कम से कम ऊपरी बाध्य संपत्ति पर

अभिगृहीत 4, जिसके लिए आदेश को डेडेकिंड-पूर्ण होना आवश्यक है, आर्किमिडीयन संपत्ति का तात्पर्य है।

यथार्थ के लक्षण वर्णन में स्वयंसिद्ध महत्वपूर्ण है। उदाहरण के लिए, परिमेय संख्या Q का पूरी तरह से क्रमबद्ध क्षेत्र पहले तीन स्वयंसिद्धों को संतुष्ट करता है, लेकिन चौथे को नहीं। दूसरे शब्दों में, परिमेय संख्याओं के मॉडल भी पहले तीन स्वयंसिद्धों के मॉडल हैं।

ध्यान दें कि अभिगृहीत गैर-प्रथमक्रमणीयता है, क्योंकि यह वास्तविकताओं के संग्रह के बारे में एक कथन व्यक्त करता है, न कि केवल ऐसी व्यक्तिगत संख्याओं के बारे में। इस प्रकार, वास्तविक प्रथम-क्रम सिद्धांतों की सूची | प्रथम-क्रम तर्क सिद्धांत द्वारा नहीं दिए गए हैं।

मॉडलों पर

वास्तविक संख्याओं का एक मॉडल एक गणितीय संरचना है जो उपरोक्त स्वयंसिद्धों को संतुष्ट करता है। कई मॉडलों को # मॉडलों के स्पष्ट निर्माण दिए गए हैं। कोई भी दो मॉडल आइसोमोर्फिक हैं; इसलिए, वास्तविक संख्याएँ समरूपता तक अद्वितीय हैं।

यह कहना कि कोई भी दो मॉडल आइसोमॉर्फिक हैं, इसका मतलब है कि किसी भी दो मॉडल के लिए $(\mathbb {R} ,0_{\mathbb {R} },1_{\mathbb {R} },+_{\mathbb {R} },\times _{\mathbb {R} },\leq _{\mathbb {R} })$ और $(S,0_{S},1_{S},+_{S},\times _{S},\leq _{S}),$ एक आपत्ति है $f\colon \mathbb {R} \to S$ जो फील्ड ऑपरेशंस और ऑर्डर दोनों को सुरक्षित रखता है। स्पष्ट रूप से,

• f इंजेक्शन और विशेषण दोनों है।
• f(0_ℝ) = 0_S और f(1_ℝ) = 1_S.
• f(x +_ℝ y) = f(x) +_S f(y) और f(x ×_ℝ y) = f(x) ×_S f(y), सभी के लिए x और y में $\mathbb {R} .$
• x ≤_ℝ y अगर और केवल अगर f(x) ≤_S f(y), सभी के लिए x और y में $\mathbb {R} .$

तर्स्की का यथार्थ का स्वयंसिद्धीकरण

Main article: Tarski's axiomatization of the reals

वास्तविक संख्याओं और उनके अंकगणित का एक वैकल्पिक संश्लिष्ट अभिगृहीतीकरण अल्फ्रेड टार्स्की द्वारा दिया गया था, जिसमें नीचे दिखाए गए केवल 8 स्वयंसिद्ध और केवल चार आदिम धारणाएं शामिल हैं: एक समुच्चय (गणित) जिसे वास्तविक संख्या कहा जाता है, निरूपित $\mathbb {R}$, एक द्विआधारी संबंध खत्म $\mathbb {R}$ ऑर्डर कहा जाता है, जिसे इन्फ़िक्स <द्वारा दर्शाया जाता है, एक बाइनरी ऑपरेशन ओवर $\mathbb {R}$ जोड़ कहा जाता है, इन्फिक्स + द्वारा निरूपित किया जाता है, और स्थिर 1।

आदेश के सिद्धांत (आदिम: $\mathbb {R}$, <):

अभिगृहीत 1. यदि x <'y है, तो 'y' नहीं <'x। अर्थात्, < एक असममित संबंध है।

स्वयंसिद्ध 2. यदि x < z है, तो एक y मौजूद है जैसे कि x < y और y < z। दूसरे शब्दों में, < सघन क्रम है $\mathbb {R}$.

अभिगृहीत 3. <डेडेकिंड-पूर्ण है। अधिक औपचारिक रूप से, सभी X, Y ⊆ के लिए$\mathbb {R}$, यदि सभी x ∈ X और y ∈ Y, x < y, तो एक z ऐसा मौजूद है कि सभी x ∈ X और y ∈ Y के लिए, यदि z ≠ x और z ≠ y, तो x < z और z < y।

उपरोक्त कथन को कुछ हद तक स्पष्ट करने के लिए, X ⊆ दें$\mathbb {R}$ और वाई ⊆$\mathbb {R}$. अब हम दो सामान्य अंग्रेजी क्रियाओं को एक विशेष तरीके से परिभाषित करते हैं जो हमारे उद्देश्य के अनुकूल है:

X Y से पहले आता है अगर और केवल अगर हर x ∈ X और हर y ∈ Y, x < y के लिए।

वास्तविक संख्या z, X और Y को अलग करती है यदि और केवल यदि प्रत्येक x ∈ X के साथ x ≠ z और प्रत्येक y ∈ Y के साथ y ≠ z, x < z और z < y।

अभिगृहीत 3 को तब इस प्रकार कहा जा सकता है:

यदि वास्तविक का एक सेट वास्तविक के दूसरे सेट से पहले आता है, तो दो सेट को अलग करने वाली कम से कम एक वास्तविक संख्या मौजूद होती है।

योग के अभिगृहीत (आदिम: $\mathbb {R}$, <, +):

अभिगृहीत 4. x + (y + z) = (x + z) +y।

अभिगृहीत 5. सभी x, y के लिए, एक z मौजूद है जैसे कि x + z= y।

अभिगृहीत 6. यदि x + y < z + w, तो x < z या y < w ।

एक के लिए अभिगृहीत (आदिम: $\mathbb {R}$, <, +, 1):

अभिगृहीत 7. 1 ∈$\mathbb {R}$.

अभिगृहीत 8. 1 < 1 + 1।

इन स्वयंसिद्धों का अर्थ है $\mathbb {R}$ विशिष्ट तत्व 1 के साथ एक रैखिक रूप से आदेशित समूह एबेलियन समूह है। $\mathbb {R}$ डेडेकिंड-पूर्ण और विभाज्य समूह भी है।

मॉडलों के स्पष्ट निर्माण

हम सिद्ध नहीं करेंगे कि अभिगृहीतों का कोई भी मॉडल तुल्याकारी है। ऐसा प्रमाण किसी भी संख्या में आधुनिक विश्लेषण या सेट सिद्धांत पाठ्यपुस्तकों में पाया जा सकता है। हालांकि, हम कई निर्माणों की मूल परिभाषाओं और गुणों को रेखांकित करेंगे, क्योंकि इनमें से प्रत्येक गणितीय और ऐतिहासिक दोनों कारणों से महत्वपूर्ण है। जॉर्ज कैंटर/चार्ल्स मेरे, रिचर्ड डेडेकिंड/जोसेफ बर्ट्रेंड और कार्ल वीयरस्ट्रास के कारण पहले तीन, सभी एक दूसरे के कुछ वर्षों के भीतर हुए। प्रत्येक के फायदे और नुकसान हैं। तीनों मामलों में एक प्रमुख प्रेरणा गणित के छात्रों का निर्देश था।

कॉची अनुक्रमों से निर्माण

एक मीट्रिक स्थान में सभी कॉची अनुक्रमों को अभिसरण करने के लिए मजबूर करने के लिए एक मानक प्रक्रिया पूर्णता (टोपोलॉजी) नामक प्रक्रिया में मीट्रिक स्थान में नए बिंदु जोड़ रही है।

$\mathbb {R}$ मीट्रिक |x-y| के संबंध में क्यू के पूरा होने के रूप में परिभाषित किया गया है, जैसा कि नीचे विस्तृत किया जाएगा (अन्य मैट्रिक्स के संबंध में क्यू की पूर्णता के लिए, पी-एडिक नंबर देखें| p-adic नंबर।)

चलो 'आर' तर्कसंगत संख्याओं के कॉची अनुक्रमों का सेट (गणित) हो। यानी सीक्वेंस

एक्स₁, एक्स₂, एक्स₃,...

परिमेय संख्याओं की ऐसी कि प्रत्येक परिमेय के लिए ε > 0, एक पूर्णांक N मौजूद है जैसे कि सभी प्राकृतिक संख्याओं के लिए m,n > N, |x_m − x_n| < ε. यहाँ लंबवत पट्टियाँ निरपेक्ष मान दर्शाती हैं।

कॉची सीक्वेंस (x_n) और (वाई_n) को निम्नानुसार जोड़ा और गुणा किया जा सकता है:

(एक्स_n) + (और_n) = (एक्स_n + और_n)

(एक्स_n) × (और_n) = (एक्स_n × और_n).

दो कौशी क्रमों को समतुल्य कहा जाता है यदि और केवल यदि उनके बीच का अंतर शून्य हो जाता है। यह एक तुल्यता संबंध को परिभाषित करता है जो ऊपर परिभाषित कार्यों के साथ संगत है, और सभी तुल्यता वर्गों के सेट 'R' को #Axiomatic परिभाषाओं को पूरा करने के लिए दिखाया जा सकता है। हम अनुक्रम के समतुल्य वर्ग के साथ परिमेय संख्या r की पहचान करके 'Q' को 'R' में एम्बेडिंग कर सकते हैं (r,r,r, …).

कॉशी अनुक्रमों के बीच निम्नलिखित तुलना को परिभाषित करके वास्तविक संख्याओं के बीच तुलना प्राप्त की जाती है: (x_n) ≥ (y_n) अगर और केवल अगर x, y के समतुल्य है या एक पूर्णांक N मौजूद है जैसे कि x_n ≥ y_n सभी के लिए

   n > N.

निर्माण के द्वारा, प्रत्येक वास्तविक संख्या x को परिमेय संख्याओं के कॉशी अनुक्रम द्वारा दर्शाया जाता है। यह प्रतिनिधित्व अद्वितीय से बहुत दूर है; प्रत्येक परिमेय अनुक्रम जो x में अभिसरित होता है, x का निरूपण है। यह अवलोकन को दर्शाता है कि एक ही वास्तविक संख्या का अनुमान लगाने के लिए अक्सर विभिन्न अनुक्रमों का उपयोग किया जा सकता है। एकमात्र वास्तविक संख्या स्वयंसिद्ध जो परिभाषाओं से आसानी से पालन नहीं करता है, ≤ की पूर्णता है, अर्थात सबसे कम ऊपरी बाध्य संपत्ति। इसे इस प्रकार सिद्ध किया जा सकता है: मान लीजिए कि S 'R' का एक अरिक्त उपसमुच्चय है और U, S के लिए एक उपरी सीमा है। यदि आवश्यक हो तो एक बड़ा मान प्रतिस्थापित करके, हम मान सकते हैं कि U परिमेय है। चूँकि S अरिक्त है, हम एक परिमेय संख्या L चुन सकते हैं जैसे कि L < s एस में कुछ एस के लिए। अब परिमेय के अनुक्रम को परिभाषित करें (यू_n) और मैं_n) निम्नलिखित नुसार:

आप सेट करें₀ = यू और एल₀ = एल।

प्रत्येक n के लिए संख्या पर विचार करें:

एम_n = (में_n + एल_n)/2

अगर एम_n एस सेट के लिए एक ऊपरी सीमा है:

यू_n+1 = म_n और मैं_n+1 = एल_n

अन्यथा सेट करें:

एल_n+1 = म_n और आप_n+1 = यू_n

यह परिमेय के दो कौशी अनुक्रमों को परिभाषित करता है, और इसलिए हमारे पास वास्तविक संख्याएँ हैं l = (l_n) और u = (u_n). n पर प्रेरण द्वारा सिद्ध करना आसान है कि:

यू_n सभी n के लिए S की ऊपरी सीमा है

और:

एल_n किसी भी n के लिए S के लिए ऊपरी सीमा कभी नहीं होती है

इस प्रकार यू एस के लिए ऊपरी सीमा है। यह देखने के लिए कि यह कम से कम ऊपरी सीमा है, ध्यान दें कि (यू की सीमा_n- एल_n) 0 है, और इसलिए l = u। अब मान लीजिए b < u = l एस के लिए एक छोटी ऊपरी सीमा है। चूंकि (एल_n) मोनोटोनिक बढ़ रहा है यह देखना आसान है b < l_n कुछ एन के लिए लेकिन एल_n एस के लिए ऊपरी सीमा नहीं है और न ही बी है। इसलिए यू एस के लिए सबसे कम ऊपरी सीमा है और ≤ पूर्ण है।

सामान्य दशमलव अंकन का प्राकृतिक तरीके से कॉची अनुक्रमों में अनुवाद किया जा सकता है। उदाहरण के लिए, अंकन π = 3.1415... का अर्थ है कि π कॉशी अनुक्रम (3, 3.1, 3.14, 3.141, 3.1415, ...) का तुल्यता वर्ग है। समीकरण 0.999... = 1 बताता है कि अनुक्रम (0, 0.9, 0.99, 0.999,...) और (1, 1, 1, 1,...) समतुल्य हैं, अर्थात, उनका अंतर 0 में परिवर्तित हो जाता है।

'Q' की पूर्णता के रूप में 'R' के निर्माण का एक लाभ यह है कि यह निर्माण एक उदाहरण के लिए विशिष्ट नहीं है; इसका उपयोग अन्य मीट्रिक रिक्त स्थान के लिए भी किया जाता है।

डेडेकाइंड कट्स द्वारा निर्माण

डेडेकाइंड ने अपरिमेय संख्या, वास्तविक संख्याओं के निर्माण के लिए अपने कट का उपयोग किया।

एक ऑर्डर किए गए क्षेत्र में एक डेडेकाइंड कट इसका एक विभाजन है, (ए, बी), जैसे कि ए गैर-रिक्त है और नीचे की ओर बंद है, बी गैर-खाली है और ऊपर की ओर बंद है, और ए में कोई सबसे बड़ा तत्व नहीं है। वास्तविक संख्याओं को परिमेय संख्याओं के डेडेकिंड कटौती के रूप में निर्मित किया जा सकता है।

सुविधा के लिए हम निचला सेट ले सकते हैं $A\,$ किसी भी डेडेकाइंड कट के प्रतिनिधि के रूप में $(A,B)\,$, तब से $A$ पूर्णतः निर्धारित करता है $B$. ऐसा करने से हम सहज रूप से एक वास्तविक संख्या के बारे में सोच सकते हैं जो सभी छोटी परिमेय संख्याओं के समुच्चय द्वारा प्रदर्शित होती है। अधिक विस्तार से, एक वास्तविक संख्या $r$ समुच्चय का कोई उपसमुच्चय है ${\textbf {Q}}$ निम्नलिखित शर्तों को पूरा करने वाली परिमेय संख्याओं की:

1. $r$ खाली नहीं है
2. $r\neq {\textbf {Q}}$
3. $r$ नीचे बंद है। दूसरे शब्दों में, सभी के लिए $x,y\in {\textbf {Q}}$ ऐसा है कि $x<y$, अगर $y\in r$ तब $x\in r$
4. $r$ कोई सबसे बड़ा तत्व नहीं है। दूसरे शब्दों में, नहीं है $x\in r$ ऐसा कि सभी के लिए $y\in r$, $y\leq x$

• हम सेट बनाते हैं ${\textbf {R}}$ सभी डेडेकाइंड कट्स के सेट के रूप में वास्तविक संख्याओं का $A$ का ${\textbf {Q}}$, और वास्तविक संख्याओं पर कुल क्रम को निम्नानुसार परिभाषित करें: $x\leq y\Leftrightarrow x\subseteq y$
• हम परिमेय संख्या की पहचान करके परिमेय संख्याओं को वास्तविक में एम्बेड करते हैं $q$ सभी छोटी परिमेय संख्याओं के समुच्चय के साथ $\{x\in {\textbf {Q}}:x<q\}$. चूँकि परिमेय संख्याएँ सघन क्रम हैं, इस तरह के सेट में कोई सबसे बड़ा तत्व नहीं हो सकता है और इस प्रकार ऊपर दी गई वास्तविक संख्या होने की शर्तों को पूरा करता है।
• जोड़ना। $A+B:=\{a+b:a\in A\land b\in B\}$
• घटाव। $A-B:=\{a-b:a\in A\land b\in ({\textbf {Q}}\setminus B)\}$ कहाँ ${\textbf {Q}}\setminus B$ के पूरक (सेट सिद्धांत) को दर्शाता है $B$ में ${\textbf {Q}}$, $\{x:x\in {\textbf {Q}}\land x\notin B\}$
• किसी संख्या का निषेध घटाव का एक विशेष मामला है: $-B:=\{a-b:a<0\land b\in ({\textbf {Q}}\setminus B)\}$
• गुणन को परिभाषित करना आसान नहीं है।
  • अगर $A,B\geq 0$ तब $A\times B:=\{a\times b:a\geq 0\land a\in A\land b\geq 0\land b\in B\}\cup \{x\in \mathrm {Q} :x<0\}$
  • या तो $A\,$ या $B\,$ नकारात्मक है, हम सर्वसमिकाओं का उपयोग करते हैं $A\times B=-(A\times -B)=-(-A\times B)=(-A\times -B)\,$ रूपान्तरण करने के लिए $A\,$ और/या $B\,$ धनात्मक संख्याओं के लिए और फिर ऊपर दी गई परिभाषा को लागू करें।
• हम विभाजन (गणित) को एक समान तरीके से परिभाषित करते हैं:
  • अगर $A\geq 0{\mbox{ and }}B>0$ तब $A/B:=\{a/b:a\in A\land b\in ({\textbf {Q}}\setminus B)\}$
  • या तो $A\,$ या $B\,$ नकारात्मक है, हम सर्वसमिकाओं का उपयोग करते हैं $A/B=-(A/{-B})=-(-A/B)=-A/{-B}\,$ रूपान्तरण करने के लिए $A\,$ एक गैर-ऋणात्मक संख्या और/या $B\,$ एक सकारात्मक संख्या के लिए और फिर उपरोक्त परिभाषा लागू करें।
• उच्चतम यदि एक गैर-खाली सेट $S$ वास्तविक संख्याओं की कोई ऊपरी सीमा होती है ${\textbf {R}}$, तो इसकी कम से कम ऊपरी सीमा है ${\textbf {R}}$ वह बराबर है $\bigcup S$.

एक अपरिमेय संख्या का प्रतिनिधित्व करने वाले डेडेकाइंड कट के उदाहरण के रूप में, हम 2 का वर्गमूल ले सकते हैं। इसे सेट द्वारा परिभाषित किया जा सकता है $A=\{x\in {\textbf {Q}}:x<0\lor x\times x<2\}$. इसे उपरोक्त परिभाषाओं से देखा जा सकता है $A$ एक वास्तविक संख्या है, और वह $A\times A=2\,$. हालांकि, कोई भी दावा तत्काल नहीं है। दिखा रहा है $A\,$ वास्तविक है उसे दिखाने की आवश्यकता है $A$ कोई सबसे बड़ा तत्व नहीं है, यानी किसी सकारात्मक तर्कसंगत के लिए $x\,$ साथ $x\times x<2\,$, एक तर्कसंगत है $y\,$ साथ $x<y\,$ और $y\times y<2\,.$ विकल्प $y={\frac {2x+2}{x+2}}\,$ काम करता है। तब $A\times A\leq 2$ लेकिन समानता दिखाने के लिए यह दिखाने की आवश्यकता है कि यदि $r\,$ के साथ कोई परिमेय संख्या है $r<2\,$, तो सकारात्मक है $x\,$ में $A$ साथ $r<x\times x\,$.

इस निर्माण का एक फायदा यह है कि प्रत्येक वास्तविक संख्या एक अद्वितीय कटौती से मेल खाती है। इसके अलावा, कटौती की परिभाषा की पहली दो आवश्यकताओं को शिथिल करके, विस्तारित वास्तविक संख्या प्रणाली को जोड़कर प्राप्त किया जा सकता है $-\infty$ खाली सेट के साथ और $\infty$ सभी के साथ ${\textbf {Q}}$.

अति वास्तविक संख्या का उपयोग करके निर्माण

जैसा कि हाइपररियल नंबरों में होता है, कोई हाइपररेशनल का निर्माण करता है ^*क्यू एक ultrafilter के माध्यम से परिमेय संख्याओं से। यहाँ एक हाइपररेशनल परिभाषा के अनुसार दो hyperinteger का अनुपात है। सभी सीमित (यानी परिमित) तत्वों के रिंग (गणित) बी पर विचार करें ^*प्र. तब बी का एक अद्वितीय अधिकतम आदर्श आई, अतिसूक्ष्म संख्याएं हैं। भागफल वलय बी/आई वास्तविक संख्याओं का क्षेत्र (गणित) आर देता है. ध्यान दें कि बी आंतरिक सेट नहीं है ^*प्र. ध्यान दें कि यह निर्माण प्राकृतिक संख्याओं के सेट पर एक गैर-प्रमुख अल्ट्राफिल्टर का उपयोग करता है, जिसके अस्तित्व को पसंद के स्वयंसिद्ध द्वारा गारंटी दी जाती है।

यह पता चला है कि अधिकतम आदर्श आदेश का सम्मान करता है ^*प्र. इसलिए परिणामी क्षेत्र एक आदेशित क्षेत्र है। पूर्णता को कौशी अनुक्रमों के निर्माण के समान तरीके से सिद्ध किया जा सकता है।

असली संख्या से निर्माण

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

पूर्णांकों से निर्माण (यूडोक्सस रियल)

एक अपेक्षाकृत कम ज्ञात निर्माण केवल पूर्णांकों के योज्य समूह का उपयोग करके वास्तविक संख्याओं को परिभाषित करने की अनुमति देता है $\mathbb {Z}$ विभिन्न संस्करणों के साथ। निर्माण स्वचालित प्रमेय साबित कर रहा है IsarMathLib परियोजना द्वारा। Shenitzer (1987) और Arthan (2004) इस निर्माण को यूडोक्सस रियल के रूप में देखें, जिसका नाम एक प्राचीन यूनानी खगोलशास्त्री और कनिडस के गणितज्ञ यूडोक्सस के नाम पर रखा गया है।

एक 'लगभग समाकारिता' को एक मानचित्र होने दें $f:\mathbb {Z} \to \mathbb {Z}$ ऐसा सेट $\{f(n+m)-f(m)-f(n):n,m\in \mathbb {Z} \}$ परिमित है। (ध्यान दें कि $f(n)=\lfloor \alpha n\rfloor$ प्रत्येक के लिए लगभग समरूपता है $\alpha \in \mathbb {R}$.) बिंदुवार जोड़ के तहत लगभग समरूपता एक एबेलियन समूह बनाती है। हम कहते हैं कि दो लगभग समरूपताएं $f,g$ सेट अगर लगभग बराबर हैं $\{f(n)-g(n):n\in \mathbb {Z} \}$ परिमित है। यह लगभग समरूपता के सेट पर एक तुल्यता संबंध को परिभाषित करता है। वास्तविक संख्याओं को इस संबंध के समतुल्य वर्गों के रूप में परिभाषित किया गया है। वैकल्पिक रूप से, लगभग समान रूप से बहुत से मान लेने वाले लगभग समरूपता एक उपसमूह बनाते हैं, और वास्तविक संख्या का अंतर्निहित योजक समूह भागफल समूह है। इस तरह से परिभाषित वास्तविक संख्याओं को जोड़ने के लिए हम उन लगभग समरूपताओं को जोड़ते हैं जो उनका प्रतिनिधित्व करते हैं। वास्तविक संख्याओं का गुणन लगभग समरूपताओं की कार्यात्मक संरचना से मेल खाता है। अगर $[f]$ लगभग समरूपता द्वारा दर्शाई गई वास्तविक संख्या को दर्शाता है $f$ हम कहते हैं $0\leq [f]$ अगर $f$ घिरा हुआ है या $f$ अनंत संख्या में सकारात्मक मान लेता है $\mathbb {Z} ^{+}$. यह इस तरह से निर्मित वास्तविक संख्याओं के सेट पर कुल क्रम संबंध को परिभाषित करता है।

अन्य निर्माण

Faltin et al. (1975) लिखें: कुछ गणितीय संरचनाओं में उतने ही संशोधन हुए हैं या उन्हें उतने ही रूपों में प्रस्तुत किया गया है जितनी कि वास्तविक संख्याएँ। हर पीढ़ी अपने मूल्यों और गणितीय उद्देश्यों के आलोक में वास्तविकताओं की फिर से जांच करती है। कई अन्य निर्माण दिए गए हैं, इनके द्वारा:

• de Bruijn (1976), de Bruijn (1977)
• Rieger (1982)
• Knopfmacher & Knopfmacher (1987), Knopfmacher & Knopfmacher (1988)

एक सिंहावलोकन के लिए, देखें Weiss (2015).

एक के एक समीक्षक के रूप में: विवरण सभी शामिल हैं, लेकिन हमेशा की तरह वे थकाऊ हैं और बहुत शिक्षाप्रद नहीं हैं।

यह भी देखें

• Constructivism (mathematics)#Example from real analysis
• Decidability of first-order theories of the real numbers

ग्रन्थसूची

• A'Campo, Norbert (2003). "A natural construction for the real numbers". arXiv:math/0301015.

• Arthan, R.D. (2004). "The Eudoxus Real Numbers". arXiv:math/0405454.

• de Bruijn, N.G. (1976). "Defining reals without the use of rationals". Indagationes Mathematicae (Proceedings). 79 (2): 100–108. doi:10.1016/1385-7258(76)90055-X. also at http://alexandria.tue.nl/repository/freearticles/597556.pdf

• de Bruijn, N.G. (1977). "Construction of the system of real numbers". Nederl. Akad. Wetensch. Verslag Afd. Natuurk. 86 (9): 121–125.

• Faltin, F.; Metropolis, M.; Ross, B.; Rota, G.-C. (1975). "The real numbers as a wreath product". Advances in Mathematics. 16 (3): 278–304. doi:10.1016/0001-8708(75)90115-2.

• Hersh, Reuben (1997). What is Mathematics, Really?. New York: Oxford University Press US. p. 274. ISBN 978-0-19-513087-4.

• IsarMathLib (2022). "IsarMathLib".

• Kemp, Todd (2016). "Cauchy's construction of R" (PDF).

• Knopfmacher, Arnold; Knopfmacher, John (1987). "A new construction of the real numbers (via infinite products)". Nieuw Arch. Wisk. 4 (5): 19–31.

• Knopfmacher, Arnold; Knopfmacher, John (1988). "Two concrete new constructions of the real numbers". Rocky Mountain Journal of Mathematics. 18 (4): 813–824. doi:10.1216/RMJ-1988-18-4-813. S2CID 122161507.

• Pugh, Charles Chapman (2002). Real Mathematical Analysis. New York: Springer. pp. 11–15. ISBN 978-0-387-95297-0.

• Rieger, Georg Johann (1982). "A new approach to the real numbers (motivated by continued fractions)" (PDF). Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft. 33: 205–217.

• Shenitzer, A (1987). "A topics course in mathematics". The Mathematical Intelligencer. 9 (3): 44–52. doi:10.1007/bf03023955. S2CID 122199850.

• Street, Ross (September 2003). "Update on the efficient reals" (PDF). Retrieved 2010-10-23.

• Weiss, Ittay (2015). "The real numbers-a survey of constructions". Rocky Mountain Journal of Mathematics. 45 (3): 737–762. arXiv:1506.03467. doi:10.1216/RMJ-2015-45-3-737.