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

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

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

अभिगृहीत परिभाषाएँ

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

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

अभिगृहीत

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

कम से कम ऊपरी सीमा पर गुण

अभिगृहीत 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), $\mathbb {R}$ में सभी x और y के लिए।
• x ≤_ℝ y यदि और मात्र यदि f(x) ≤_S f(y), $\mathbb {R}$में सभी x और y के लिए।

तर्स्की का वास्तविक का अभिगृहीतीकरण

Main article: तर्स्की का वास्तविक का अभिगृहीतीकरण

वास्तविक संख्याओं और उनके अंकगणित का एक वैकल्पिक संश्लिष्ट अभिगृहीतीकरण अल्फ्रेड टार्स्की द्वारा दिया गया था, जिसमें नीचे दर्शाए गए मात्र 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}$ और Y⊆$\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| के संबंध में Q के पूरा होने के रूप में परिभाषित किया गया है, जैसा कि नीचे विस्तृत किया जाएगा (अन्य मापन के संबंध में Q की पूर्णता के लिए, पी-एडिक संख्या देखें | )

'R' परिमेय संख्याओं के कॉची अनुक्रमों का समूच्चय (गणित) हो। अर्थात् अनुक्रम

x₁, x₂, x₃,...

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

कॉची अनुक्रम (x_n) और (y_n) को निम्नानुसार जोड़ा और गुणा किया जा सकता है:

(x_n) + (y_n) = (x_n + y_n)

(x_n) × (y_n) = (x_n × y_n).

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

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

निर्माण के द्वारा, प्रत्येक वास्तविक संख्या x को परिमेय संख्याओं के कॉची अनुक्रम द्वारा दर्शाया जाता है। यह प्रतिनिधित्व अद्वितीय से बहुत दूर है; प्रत्येक परिमेय अनुक्रम जो x में अभिसरित होता है, x का निरूपण है। यह अवलोकन को दर्शाता है कि एक ही वास्तविक संख्या का अनुमान लगाने के लिए प्रायः विभिन्न अनुक्रमों का उपयोग किया जा सकता है।

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

समूच्चय u₀ = U और l₀ = L।

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

m_n = (u_n + l_n)/2

यदि m_n S समूच्चय के लिए एक ऊपरी सीमा है:

u_n+1 = m_n और l_n+1 = l_n

अन्यथा समूच्चय :

l_n+1 = m_n और u_n+1 = u_n

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

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

और:

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

इस प्रकार u S के लिए ऊपरी सीमा है। यह देखने के लिए कि यह कम से कम ऊपरी सीमा है, ध्यान दें कि ((u_n − l_n) की सीमा 0 है, और इसलिए l = u। अब मान लीजिए कि b < u = l, S के लिए एक छोटी ऊपरी सीमा है। चूंकि (I_n) एकदिष्ट वर्धमान है यह देखना आसान है कि कुछ n के लिए b < l_n है। परन्तु l_n, S के लिए ऊपरी सीमा नहीं है और इसलिए न तो b है। इसलिए u S के लिए सबसे कम ऊपरी सीमा है और ≤ पूर्ण है।

सामान्य दशमलव अंकन का प्राकृतिक विधि से कॉची अनुक्रमों में अनुवाद किया जा सकता है। उदाहरण के लिए, अंकन π = 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,B), जैसे कि A गैर-रिक्त है और नीचे की ओर बंद है, B गैर-रिक्त है और ऊपर की ओर बंद है, और A में कोई सबसे बड़ा अवयव नहीं है। वास्तविक संख्याओं को परिमेय संख्याओं के डेडेकिंड कटौती के रूप में निर्माण किया जा सकता है।

सुविधा के लिए हम निचला समूच्चय $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 {Q}}$ सभी डेडेकाइंड कटौती् $A$ के समूच्चय के रूप में वास्तविक संख्याओं का समूच्चय ${\textbf {R}}$ बनाते हैं, और वास्तविक संख्याओं पर कुल क्रम को निम्नानुसार परिभाषित करते हैं; $x\leq y\Leftrightarrow x\subseteq y$
• हम सभी छोटी परिमेय संख्याओं $\{x\in {\textbf {Q}}:x<q\}$ के समुच्चय के साथ परिमेय संख्या $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{ औ र }}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\times x<2\,$के साथ किसी भी धनात्मक परिमेय $x\,$ के लिए $x<y\,$ और $y\times y<2\,$के साथ $y\,$ एक परिमेय है। विकल्प $y={\frac {2x+2}{x+2}}\,$ कार्य करता है। तब $A\times A\leq 2$ परन्तु समानता दिखाने के लिए यह दिखाने की आवश्यकता है कि यदि $r\,$ , $r<2\,$ के साथ कोई परिमेय संख्या है, तो $A$ में $r<x\times x\,$के साथ धनात्मक $x\,$है ।

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

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

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

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

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

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

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

एक अपेक्षाकृत कम ज्ञात निर्माण मात्र पूर्णांकों के योज्य समूह का उपयोग करके वास्तविक संख्याओं को परिभाषित करने की अनुमति देता है $\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.