Difference between revisions of "वास्तविक संख्याओं का निर्माण"
(Created page with "{{short description|Axiomatic definitions of the real numbers}} गणित में, वास्तविक संख्याओं को परिभाषित...") |
|||
Line 1: | Line 1: | ||
{{short description|Axiomatic definitions of the real numbers}} | {{short description|Axiomatic definitions of the real numbers}} | ||
गणित में, [[वास्तविक संख्या]]ओं को परिभाषित करने के कई समतुल्य | गणित में, [[वास्तविक संख्या]]ओं को परिभाषित करने के कई समतुल्य विधि हैं। उनमें से एक यह है कि वे एक पूर्ण क्रमित क्षेत्र बनाते हैं जिसमें कोई छोटा पूर्ण क्रमित क्षेत्र नहीं होता है। इस प्रकार की परिभाषा यह सिद्ध नहीं करती है कि इस प्रकार के [[पूर्ण आदेशित क्षेत्र|पूर्ण क्रमित क्षेत्र]] स्थित हैं, और अस्तित्व प्रमाण में एक [[गणितीय संरचना]] का निर्माण होता है जो परिभाषा को संतुष्ट करता है। | ||
लेख ऐसे कई निर्माण प्रस्तुत करता है।{{sfn|Weiss|2015}} वे इस | लेख ऐसे कई निर्माण प्रस्तुत करता है।{{sfn|Weiss|2015}} वे इस अर्थ में समतुल्य हैं कि, ऐसे किन्हीं दो निर्माणों के परिणाम दिए जाने पर, उनके बीच क्रमबद्ध क्षेत्र का एक अद्वितीय समरूपता है। यह उपरोक्त परिभाषा से उत्पन्न होता है और विशेष निर्माणों से स्वतंत्र है। ये समरूपता निर्माण के परिणामों की पहचान करने की अनुमति देते हैं, और क्रिया में, यह भूल जाते हैं कि कौन सा निर्माण चुना गया है। | ||
== स्वयंसिद्ध परिभाषाएँ == | == स्वयंसिद्ध परिभाषाएँ == | ||
वास्तविक संख्याओं की स्वयंसिद्ध पद्धति में उन्हें एक पूर्ण | वास्तविक संख्याओं की स्वयंसिद्ध पद्धति में उन्हें एक पूर्ण क्रमित क्षेत्र के अवयवों के रूप में परिभाषित करना सम्मिलित है।<ref>http://math.colorado.edu/~nita/RealNumbers.pdf {{Bare URL PDF|date=June 2022}}</ref><ref>http://homepages.math.uic.edu/~saunders/MATH313/INRA/INRA_chapters0and1.pdf {{Bare URL PDF|date=June 2022}}</ref><ref>https://www.math.uci.edu/~mfinkels/140A/Introduction%2520and%2520Logic%2520Notes.pdf {{Bare URL PDF|date=June 2022}}</ref> इसका अर्थ निम्नलिखित है। वास्तविक संख्याएँ एक [[सेट (गणित)|समूच्चय (गणित)]] बनाती हैं, जिसे सामान्यतः <math>\mathbb{R}</math> निरूपित किया जाता है, जिसमें दो विशिष्ट अवयव 0 और 1 को दर्शाते हैं, और जिन पर दो [[बाइनरी ऑपरेशन|द्विआधारी संचालन]] और एक [[द्विआधारी संबंध]] परिभाषित हैं; संक्रियाओं को वास्तविक संख्याओं का जोड़ और गुणा कहा जाता है और क्रमशः {{math|+}} और {{math|×}} के साथ निरूपित किया जाता है; द्विआधारी संबंध असमानता है, निरूपित <math>\le.</math> इसके अतिरिक्त, [[स्वयंसिद्ध]] कहे जाने वाले निम्नलिखित गुण संतुष्ट होने चाहिए। | ||
ऐसी गणितीय संरचना का अस्तित्व एक [[प्रमेय]] है, जो ऐसी संरचना के निर्माण से सिद्ध होता है। स्वयंसिद्धों का एक परिणाम यह है कि यह संरचना एक समरूपता [[तक]] अद्वितीय है, और इस प्रकार, निर्माण की विधि का उल्लेख किए बिना, वास्तविक संख्याओं का उपयोग और हेरफेर किया जा सकता है। | ऐसी गणितीय संरचना का अस्तित्व एक [[प्रमेय]] है, जो ऐसी संरचना के निर्माण से सिद्ध होता है। स्वयंसिद्धों का एक परिणाम यह है कि यह संरचना एक समरूपता [[तक]] अद्वितीय है, और इस प्रकार, निर्माण की विधि का उल्लेख किए बिना, वास्तविक संख्याओं का उपयोग और हेरफेर किया जा सकता है। | ||
Line 12: | Line 12: | ||
# <math>\mathbb{R}</math> जोड़ और गुणा के अंतर्गत एक [[क्षेत्र (गणित)]] है। दूसरे शब्दों में, | # <math>\mathbb{R}</math> जोड़ और गुणा के अंतर्गत एक [[क्षेत्र (गणित)]] है। दूसरे शब्दों में, | ||
#* सभी x, y, और z in के लिए <math>\mathbb{R}</math>, x + (y + z) = (x + y) + z और x × (y × z) = (x × y) × z। (जोड़ और गुणा की साहचर्यता) | #* सभी x, y, और z in के लिए <math>\mathbb{R}</math>, x + (y + z) = (x + y) + z और x × (y × z) = (x × y) × z। (जोड़ और गुणा की साहचर्यता) | ||
#* | #* <math>\mathbb{R}</math> में सभी x और y के लिए, x + y = y + x और x × y = y × x। (जोड़ और गुणा की क्रमविनिमेय संक्रिया) | ||
#* सभी x, y, और z in के लिए <math>\mathbb{R}</math>, x × (y + z) = (x × y) + (x × z)। (जोड़ पर गुणन का [[वितरण]]) | #* सभी x, y, और z in के लिए <math>\mathbb{R}</math>, x × (y + z) = (x × y) + (x × z)। (जोड़ पर गुणन का [[वितरण]]) | ||
#* सभी एक्स के लिए <math>\mathbb{R}</math>, एक्स + 0 = एक्स। (योगात्मक [[पहचान तत्व]] का अस्तित्व) | #* सभी एक्स के लिए <math>\mathbb{R}</math>, एक्स + 0 = एक्स। (योगात्मक [[पहचान तत्व|पहचान अवयव]] का अस्तित्व) | ||
#* 0 1 के बराबर नहीं है, और सभी x के लिए <math>\mathbb{R}</math>, एक्स × 1 = एक्स। (गुणात्मक पहचान का अस्तित्व) | #* 0 1 के बराबर नहीं है, और सभी x के लिए <math>\mathbb{R}</math>, एक्स × 1 = एक्स। (गुणात्मक पहचान का अस्तित्व) | ||
#* प्रत्येक एक्स के लिए <math>\mathbb{R}</math>, इसमें एक | #* प्रत्येक एक्स के लिए <math>\mathbb{R}</math>, इसमें एक अवयव −x स्थित है <math>\mathbb{R}</math>, जैसे कि x + (−x) = 0. (योगात्मक व्युत्क्रम अवयव का अस्तित्व) | ||
#* प्रत्येक x ≠ 0 इंच के लिए <math>\mathbb{R}</math>, एक | #* प्रत्येक x ≠ 0 इंच के लिए <math>\mathbb{R}</math>, एक अवयव x स्थित है<sup>-1</sup> में <math>\mathbb{R}</math>, जैसे कि x × x<sup>−1</sup> = 1. (गुणात्मक व्युत्क्रमों का अस्तित्व) | ||
# <math>\mathbb{R}</math> के लिए पूरी | # <math>\mathbb{R}</math> के लिए पूरी प्रकार से क्रमित किया गया है <math>\leq</math>. दूसरे शब्दों में, | ||
#* सभी एक्स के लिए <math>\mathbb{R}</math>, एक्स ≤ एक्स। ([[प्रतिवर्त संबंध]]) | #* सभी एक्स के लिए <math>\mathbb{R}</math>, एक्स ≤ एक्स। ([[प्रतिवर्त संबंध]]) | ||
#* सभी x और y के लिए <math>\mathbb{R}</math>, यदि x ≤ y और y ≤ x, तो x = y। (प्रतिसममित संबंध) | #* सभी x और y के लिए <math>\mathbb{R}</math>, यदि x ≤ y और y ≤ x, तो x = y। (प्रतिसममित संबंध) | ||
#* सभी x, y, और z in के लिए <math>\mathbb{R}</math>, यदि x ≤ y और y ≤ z, तो x ≤ z. ([[सकर्मक संबंध]]) | #* सभी x, y, और z in के लिए <math>\mathbb{R}</math>, यदि x ≤ y और y ≤ z, तो x ≤ z. ([[सकर्मक संबंध]]) | ||
#* सभी x और y के लिए <math>\mathbb{R}</math>, x ≤ y या y ≤ x। ([[कुल आदेश]]) | #* सभी x और y के लिए <math>\mathbb{R}</math>, x ≤ y या y ≤ x। ([[कुल आदेश|कुल क्रम]]) | ||
# जोड़ और गुणा क्रम के अनुकूल हैं। दूसरे शब्दों में, | # जोड़ और गुणा क्रम के अनुकूल हैं। दूसरे शब्दों में, | ||
#* सभी एक्स, वाई और जेड इन के लिए <math>\mathbb{R}</math>, यदि x ≤ y, तो x + z ≤ y + z। (अतिरिक्त के | #* सभी एक्स, वाई और जेड इन के लिए <math>\mathbb{R}</math>, यदि x ≤ y, तो x + z ≤ y + z। (अतिरिक्त के अंतर्गत क्रम का संरक्षण) | ||
#* सभी x और y के लिए <math>\mathbb{R}</math>, यदि 0 ≤ x और 0 ≤ y, तो 0 ≤ x × y (गुणन के | #* सभी x और y के लिए <math>\mathbb{R}</math>, यदि 0 ≤ x और 0 ≤ y, तो 0 ≤ x × y (गुणन के अंतर्गत क्रम का संरक्षण) | ||
# क्रम ≤ निम्नलिखित अर्थों में पूर्ण है: का प्रत्येक गैर-खाली | # क्रम ≤ निम्नलिखित अर्थों में पूर्ण है: का प्रत्येक गैर-खाली सबसमूच्चय <math>\mathbb{R}</math> वह [[ऊपरी सीमा]] है जो [[कम से कम ऊपरी सीमा]] है। दूसरे शब्दों में, | ||
#* यदि ए का एक गैर-रिक्त उपसमुच्चय है <math>\mathbb{R}</math>, और यदि A की ऊपरी सीमा है <math>\R,</math> तो ए के पास कम से कम ऊपरी बाउंड यू है, जैसे कि ए के प्रत्येक ऊपरी बाउंड वी के लिए, यू ≤ वी। | #* यदि ए का एक गैर-रिक्त उपसमुच्चय है <math>\mathbb{R}</math>, और यदि A की ऊपरी सीमा है <math>\R,</math> तो ए के पास कम से कम ऊपरी बाउंड यू है, जैसे कि ए के प्रत्येक ऊपरी बाउंड वी के लिए, यू ≤ वी। | ||
==== कम से कम ऊपरी बाध्य संपत्ति पर ==== | ==== कम से कम ऊपरी बाध्य संपत्ति पर ==== | ||
अभिगृहीत 4, जिसके लिए | अभिगृहीत 4, जिसके लिए क्रम को डेडेकिंड-पूर्ण होना आवश्यक है, आर्किमिडीयन संपत्ति का तात्पर्य है। | ||
यथार्थ के लक्षण वर्णन में स्वयंसिद्ध महत्वपूर्ण है। उदाहरण के लिए, परिमेय संख्या Q का पूरी | यथार्थ के लक्षण वर्णन में स्वयंसिद्ध महत्वपूर्ण है। उदाहरण के लिए, परिमेय संख्या Q का पूरी प्रकार से क्रमबद्ध क्षेत्र पहले तीन स्वयंसिद्धों को संतुष्ट करता है, लेकिन चौथे को नहीं। दूसरे शब्दों में, परिमेय संख्याओं के मॉडल भी पहले तीन स्वयंसिद्धों के मॉडल हैं। | ||
ध्यान दें कि अभिगृहीत गैर-प्रथमक्रमणीयता है, क्योंकि यह वास्तविकताओं के संग्रह के बारे में एक कथन व्यक्त करता है, न कि केवल ऐसी व्यक्तिगत संख्याओं के बारे में। इस प्रकार, वास्तविक प्रथम-क्रम सिद्धांतों की सूची | प्रथम-क्रम तर्क सिद्धांत द्वारा नहीं दिए गए हैं। | ध्यान दें कि अभिगृहीत गैर-प्रथमक्रमणीयता है, क्योंकि यह वास्तविकताओं के संग्रह के बारे में एक कथन व्यक्त करता है, न कि केवल ऐसी व्यक्तिगत संख्याओं के बारे में। इस प्रकार, वास्तविक प्रथम-क्रम सिद्धांतों की सूची | प्रथम-क्रम तर्क सिद्धांत द्वारा नहीं दिए गए हैं। | ||
Line 45: | Line 45: | ||
*{{math|1=''f''(0<sub>ℝ</sub>) = 0<sub>''S''</sub>}} और {{math|1=''f''(1<sub>ℝ</sub>) = 1<sub>''S''</sub>}}. | *{{math|1=''f''(0<sub>ℝ</sub>) = 0<sub>''S''</sub>}} और {{math|1=''f''(1<sub>ℝ</sub>) = 1<sub>''S''</sub>}}. | ||
*{{math|1=''f''(''x'' +<sub>ℝ</sub> ''y'') = ''f''(''x'') +<sub>''S''</sub> ''f''(''y'')}} और {{math|1=''f''(''x'' ×<sub>ℝ</sub> ''y'') = ''f''(''x'') ×<sub>''S''</sub> ''f''(''y'')}}, सभी के लिए {{math|''x''}} और {{math|''y''}} में <math>\mathbb{R}.</math> | *{{math|1=''f''(''x'' +<sub>ℝ</sub> ''y'') = ''f''(''x'') +<sub>''S''</sub> ''f''(''y'')}} और {{math|1=''f''(''x'' ×<sub>ℝ</sub> ''y'') = ''f''(''x'') ×<sub>''S''</sub> ''f''(''y'')}}, सभी के लिए {{math|''x''}} और {{math|''y''}} में <math>\mathbb{R}.</math> | ||
* {{math|''x'' ≤<sub>ℝ</sub> ''y''}} [[अगर और केवल अगर]] {{math|''f''(''x'') ≤<sub>''S''</sub> ''f''(''y'')}}, | * {{math|''x'' ≤<sub>ℝ</sub> ''y''}} [[अगर और केवल अगर]] {{math|''f''(''x'') ≤<sub>''S''</sub> ''f''(''y'')}}, सभी के लिए {{math|''x''}} और {{math|''y''}} में <math>\mathbb{R}.</math> | ||
===तर्स्की का यथार्थ का स्वयंसिद्धीकरण=== | ===तर्स्की का यथार्थ का स्वयंसिद्धीकरण=== | ||
{{Main|Tarski's axiomatization of the reals}} | {{Main|Tarski's axiomatization of the reals}} | ||
वास्तविक संख्याओं और उनके अंकगणित का एक वैकल्पिक संश्लिष्ट अभिगृहीतीकरण [[अल्फ्रेड टार्स्की]] द्वारा दिया गया था, जिसमें नीचे दिखाए गए केवल 8 स्वयंसिद्ध और केवल चार [[आदिम धारणा]]एं | वास्तविक संख्याओं और उनके अंकगणित का एक वैकल्पिक संश्लिष्ट अभिगृहीतीकरण [[अल्फ्रेड टार्स्की]] द्वारा दिया गया था, जिसमें नीचे दिखाए गए केवल 8 स्वयंसिद्ध और केवल चार [[आदिम धारणा]]एं सम्मिलित हैं: एक समुच्चय (गणित) जिसे वास्तविक संख्या कहा जाता है, निरूपित <math>\mathbb{R}</math>, एक द्विआधारी संबंध खत्म <math>\mathbb{R}</math> ऑर्डर कहा जाता है, जिसे [[इन्फ़िक्स]] <द्वारा दर्शाया जाता है, एक द्विआधारी संचालन ओवर <math>\mathbb{R}</math> जोड़ कहा जाता है, इन्फिक्स + द्वारा निरूपित किया जाता है, और स्थिर 1। | ||
क्रम के सिद्धांत (आदिम: <math>\mathbb{R}</math>, <): | |||
अभिगृहीत 1. यदि ''x'' <'y'' है, तो 'y' नहीं <'x''। अर्थात्, < एक [[असममित संबंध]] है। | अभिगृहीत 1. यदि ''x'' <'y'' है, तो 'y' नहीं <'x''। अर्थात्, < एक [[असममित संबंध]] है। | ||
स्वयंसिद्ध 2. यदि ''x'' < ''z'' है, तो एक ''y'' | स्वयंसिद्ध 2. यदि ''x'' < ''z'' है, तो एक ''y'' स्थित है जैसे कि ''x'' < ''y'' और ''y'' < ''z''। दूसरे शब्दों में, < [[सघन क्रम]] है <math>\mathbb{R}</math>. | ||
अभिगृहीत 3. <डेडेकिंड-पूर्ण है। अधिक औपचारिक रूप से, सभी ''X'', ''Y'' ⊆ के लिए<math>\mathbb{R}</math>, यदि सभी x ∈ X और y ∈ Y, x < y, तो एक z ऐसा | अभिगृहीत 3. <डेडेकिंड-पूर्ण है। अधिक औपचारिक रूप से, सभी ''X'', ''Y'' ⊆ के लिए<math>\mathbb{R}</math>, यदि सभी x ∈ X और y ∈ Y, x < y, तो एक z ऐसा स्थित है कि सभी x ∈ X और y ∈ Y के लिए, यदि z ≠ x और z ≠ y, तो x < z और z < y। | ||
उपरोक्त कथन को कुछ हद तक स्पष्ट करने के लिए, X ⊆ दें<math>\mathbb{R}</math> और वाई ⊆<math>\mathbb{R}</math>. अब हम दो सामान्य अंग्रेजी क्रियाओं को एक विशेष | उपरोक्त कथन को कुछ हद तक स्पष्ट करने के लिए, X ⊆ दें<math>\mathbb{R}</math> और वाई ⊆<math>\mathbb{R}</math>. अब हम दो सामान्य अंग्रेजी क्रियाओं को एक विशेष विधि से परिभाषित करते हैं जो हमारे उद्देश्य के अनुकूल है: | ||
:X Y से पहले आता है अगर और केवल अगर हर x ∈ X और हर y ∈ Y, x < y के लिए। | :X Y से पहले आता है अगर और केवल अगर हर x ∈ X और हर y ∈ Y, x < y के लिए। | ||
Line 68: | Line 68: | ||
अभिगृहीत 3 को तब इस प्रकार कहा जा सकता है: | अभिगृहीत 3 को तब इस प्रकार कहा जा सकता है: | ||
: यदि वास्तविक का एक | : यदि वास्तविक का एक समूच्चय वास्तविक के दूसरे समूच्चय से पहले आता है, तो दो समूच्चय को अलग करने वाली कम से कम एक वास्तविक संख्या स्थित होती है। | ||
योग के अभिगृहीत (आदिम: <math>\mathbb{R}</math>, <, +): | योग के अभिगृहीत (आदिम: <math>\mathbb{R}</math>, <, +): | ||
Line 74: | Line 74: | ||
अभिगृहीत 4. ''x'' + (''y'' + ''z'') = (''x'' + ''z'') +''y''। | अभिगृहीत 4. ''x'' + (''y'' + ''z'') = (''x'' + ''z'') +''y''। | ||
अभिगृहीत 5. सभी ''x'', ''y'' के लिए, एक ''z'' | अभिगृहीत 5. सभी ''x'', ''y'' के लिए, एक ''z'' स्थित है जैसे कि ''x'' + ''z''= ''y''। | ||
अभिगृहीत 6. यदि ''x'' + ''y'' < ''z'' + ''w'', तो ''x'' < ''z'' या ''y'' < ''w ''। | अभिगृहीत 6. यदि ''x'' + ''y'' < ''z'' + ''w'', तो ''x'' < ''z'' या ''y'' < ''w ''। | ||
Line 84: | Line 84: | ||
अभिगृहीत 8. 1 < 1 + 1। | अभिगृहीत 8. 1 < 1 + 1। | ||
इन स्वयंसिद्धों का अर्थ है <math>\mathbb{R}</math> विशिष्ट | इन स्वयंसिद्धों का अर्थ है <math>\mathbb{R}</math> विशिष्ट अवयव 1 के साथ एक [[रैखिक रूप से आदेशित समूह|रैखिक रूप से क्रमित समूह]] [[एबेलियन समूह]] है। <math>\mathbb{R}</math> डेडेकिंड-पूर्ण और [[विभाज्य समूह]] भी है। | ||
== मॉडलों के स्पष्ट निर्माण == | == मॉडलों के स्पष्ट निर्माण == | ||
हम सिद्ध नहीं करेंगे कि अभिगृहीतों का कोई भी मॉडल तुल्याकारी है। ऐसा प्रमाण किसी भी संख्या में आधुनिक विश्लेषण या | हम सिद्ध नहीं करेंगे कि अभिगृहीतों का कोई भी मॉडल तुल्याकारी है। ऐसा प्रमाण किसी भी संख्या में आधुनिक विश्लेषण या समूच्चय सिद्धांत पाठ्यपुस्तकों में पाया जा सकता है। हालांकि, हम कई निर्माणों की मूल परिभाषाओं और गुणों को रेखांकित करेंगे, क्योंकि इनमें से प्रत्येक गणितीय और ऐतिहासिक दोनों कारणों से महत्वपूर्ण है। [[जॉर्ज कैंटर]]/चार्ल्स मेरे, [[रिचर्ड डेडेकिंड]]/[[जोसेफ बर्ट्रेंड]] और [[कार्ल वीयरस्ट्रास]] के कारण पहले तीन, सभी एक दूसरे के कुछ वर्षों के भीतर हुए। प्रत्येक के फायदे और नुकसान हैं। तीनों मामलों में एक प्रमुख प्रेरणा गणित के छात्रों का निर्देश था। | ||
=== [[कॉची अनुक्रम]]ों से निर्माण === | === [[कॉची अनुक्रम]]ों से निर्माण === | ||
Line 94: | Line 94: | ||
<math>\mathbb{R}</math> मीट्रिक |''x''-''y''| के संबंध में क्यू के पूरा होने के रूप में परिभाषित किया गया है, जैसा कि नीचे विस्तृत किया जाएगा (अन्य मैट्रिक्स के संबंध में क्यू की पूर्णता के लिए, पी-एडिक नंबर देखें|'' p''-adic नंबर।) | <math>\mathbb{R}</math> मीट्रिक |''x''-''y''| के संबंध में क्यू के पूरा होने के रूप में परिभाषित किया गया है, जैसा कि नीचे विस्तृत किया जाएगा (अन्य मैट्रिक्स के संबंध में क्यू की पूर्णता के लिए, पी-एडिक नंबर देखें|'' p''-adic नंबर।) | ||
चलो 'आर' तर्कसंगत संख्याओं के कॉची अनुक्रमों का | चलो 'आर' तर्कसंगत संख्याओं के कॉची अनुक्रमों का समूच्चय (गणित) हो। यानी सीक्वेंस | ||
: ''एक्स''<sub>''1''</sub>, एक्स<sub>''2''</sub>, एक्स<sub>''3''</sub>,... | : ''एक्स''<sub>''1''</sub>, एक्स<sub>''2''</sub>, एक्स<sub>''3''</sub>,... | ||
परिमेय संख्याओं की ऐसी कि प्रत्येक परिमेय के लिए {{nowrap|''ε'' > 0}}, एक पूर्णांक N | परिमेय संख्याओं की ऐसी कि प्रत्येक परिमेय के लिए {{nowrap|''ε'' > 0}}, एक पूर्णांक N स्थित है जैसे कि सभी प्राकृतिक संख्याओं के लिए {{nowrap|''m'',''n'' > ''N''}}, {{nowrap| {{!}}''x''<sub>''m''</sub> − ''x''<sub>''n''</sub>{{!}} < ''ε''}}. यहाँ लंबवत पट्टियाँ निरपेक्ष मान दर्शाती हैं। | ||
कॉची सीक्वेंस (x<sub>''n''</sub>) और (वाई<sub>''n''</sub>) को निम्नानुसार जोड़ा और गुणा किया जा सकता है: | कॉची सीक्वेंस (x<sub>''n''</sub>) और (वाई<sub>''n''</sub>) को निम्नानुसार जोड़ा और गुणा किया जा सकता है: | ||
Line 103: | Line 103: | ||
दो कौशी क्रमों को समतुल्य कहा जाता है यदि और केवल यदि उनके बीच का अंतर शून्य हो जाता है। | दो कौशी क्रमों को समतुल्य कहा जाता है यदि और केवल यदि उनके बीच का अंतर शून्य हो जाता है। | ||
यह एक [[तुल्यता संबंध]] को परिभाषित करता है जो ऊपर परिभाषित कार्यों के साथ संगत है, और सभी [[तुल्यता वर्ग]]ों के | यह एक [[तुल्यता संबंध]] को परिभाषित करता है जो ऊपर परिभाषित कार्यों के साथ संगत है, और सभी [[तुल्यता वर्ग]]ों के समूच्चय 'R' को #Axiomatic परिभाषाओं को पूरा करने के लिए दिखाया जा सकता है। हम अनुक्रम के समतुल्य वर्ग के साथ परिमेय संख्या r की पहचान करके 'Q' को 'R' में [[एम्बेडिंग]] कर सकते हैं {{nowrap| (''r'',''r'',''r'', …)}}. | ||
कॉशी अनुक्रमों के बीच निम्नलिखित तुलना को परिभाषित करके वास्तविक संख्याओं के बीच तुलना प्राप्त की जाती है: {{nowrap|(''x''<sub>''n''</sub>) ≥ (''y''<sub>''n''</sub>)}} अगर और केवल अगर | कॉशी अनुक्रमों के बीच निम्नलिखित तुलना को परिभाषित करके वास्तविक संख्याओं के बीच तुलना प्राप्त की जाती है: {{nowrap|(''x''<sub>''n''</sub>) ≥ (''y''<sub>''n''</sub>)}} अगर और केवल अगर | ||
x, y के समतुल्य है या एक पूर्णांक N | x, y के समतुल्य है या एक पूर्णांक N स्थित है जैसे कि {{nowrap|''x''<sub>''n''</sub> ≥ ''y''<sub>''n''</sub>}} सभी के लिए | ||
{{nowrap|''n'' > ''N''}}. | |||
निर्माण के द्वारा, प्रत्येक वास्तविक संख्या x को परिमेय संख्याओं के कॉशी अनुक्रम द्वारा दर्शाया जाता है। यह प्रतिनिधित्व अद्वितीय से बहुत दूर है; प्रत्येक परिमेय अनुक्रम जो x में अभिसरित होता है, x का निरूपण है। यह अवलोकन को दर्शाता है कि एक ही वास्तविक संख्या का अनुमान लगाने के लिए अक्सर विभिन्न अनुक्रमों का उपयोग किया जा सकता है।{{sfn|Kemp|2016}} | निर्माण के द्वारा, प्रत्येक वास्तविक संख्या x को परिमेय संख्याओं के कॉशी अनुक्रम द्वारा दर्शाया जाता है। यह प्रतिनिधित्व अद्वितीय से बहुत दूर है; प्रत्येक परिमेय अनुक्रम जो x में अभिसरित होता है, x का निरूपण है। यह अवलोकन को दर्शाता है कि एक ही वास्तविक संख्या का अनुमान लगाने के लिए अक्सर विभिन्न अनुक्रमों का उपयोग किया जा सकता है।{{sfn|Kemp|2016}} | ||
एकमात्र वास्तविक संख्या स्वयंसिद्ध जो परिभाषाओं से आसानी से पालन नहीं करता है, ≤ की पूर्णता है, अर्थात सबसे कम ऊपरी बाध्य संपत्ति। इसे इस प्रकार सिद्ध किया जा सकता है: मान लीजिए कि S 'R' का एक अरिक्त उपसमुच्चय है और U, S के लिए एक उपरी सीमा है। यदि आवश्यक हो तो एक बड़ा मान प्रतिस्थापित करके, हम मान सकते हैं कि U परिमेय है। चूँकि S अरिक्त है, हम एक परिमेय संख्या L चुन सकते हैं जैसे कि {{nowrap|''L'' < ''s''}} एस में कुछ एस के लिए। अब परिमेय के अनुक्रम को परिभाषित करें (यू<sub>''n''</sub>) और मैं<sub>''n''</sub>) निम्नलिखित नुसार: | एकमात्र वास्तविक संख्या स्वयंसिद्ध जो परिभाषाओं से आसानी से पालन नहीं करता है, ≤ की पूर्णता है, अर्थात सबसे कम ऊपरी बाध्य संपत्ति। इसे इस प्रकार सिद्ध किया जा सकता है: मान लीजिए कि S 'R' का एक अरिक्त उपसमुच्चय है और U, S के लिए एक उपरी सीमा है। यदि आवश्यक हो तो एक बड़ा मान प्रतिस्थापित करके, हम मान सकते हैं कि U परिमेय है। चूँकि S अरिक्त है, हम एक परिमेय संख्या L चुन सकते हैं जैसे कि {{nowrap|''L'' < ''s''}} एस में कुछ एस के लिए। अब परिमेय के अनुक्रम को परिभाषित करें (यू<sub>''n''</sub>) और मैं<sub>''n''</sub>) निम्नलिखित नुसार: | ||
: आप | : आप समूच्चय करें<sub>0</sub> = यू और एल<sub>0</sub> = एल। | ||
प्रत्येक n के लिए संख्या पर विचार करें: | प्रत्येक n के लिए संख्या पर विचार करें: | ||
Line 118: | Line 118: | ||
:एम<sub>''n''</sub> = (में<sub>''n''</sub> + एल<sub>''n''</sub>)/2 | :एम<sub>''n''</sub> = (में<sub>''n''</sub> + एल<sub>''n''</sub>)/2 | ||
अगर एम<sub>''n''</sub> एस | अगर एम<sub>''n''</sub> एस समूच्चय के लिए एक ऊपरी सीमा है: | ||
: यू<sub>''n''+1</sub> = म<sub>''n''</sub> और मैं<sub>''n''+1</sub> = एल<sub>''n''</sub> | : यू<sub>''n''+1</sub> = म<sub>''n''</sub> और मैं<sub>''n''+1</sub> = एल<sub>''n''</sub> | ||
अन्यथा | अन्यथा समूच्चय करें: | ||
: एल<sub>''n''+1</sub> = म<sub>''n''</sub> और आप<sub>''n''+1</sub> = यू<sub>''n''</sub> | : एल<sub>''n''+1</sub> = म<sub>''n''</sub> और आप<sub>''n''+1</sub> = यू<sub>''n''</sub> | ||
Line 134: | Line 134: | ||
इस प्रकार यू एस के लिए ऊपरी सीमा है। यह देखने के लिए कि यह कम से कम ऊपरी सीमा है, ध्यान दें कि (यू की सीमा<sub>''n''</sub>- एल<sub>''n''</sub>) 0 है, और इसलिए l = u। अब मान लीजिए {{nowrap|1= ''b'' < ''u'' = ''l''}} एस के लिए एक छोटी ऊपरी सीमा है। चूंकि (एल<sub>''n''</sub>) मोनोटोनिक बढ़ रहा है यह देखना आसान है {{nowrap| ''b'' < ''l''<sub>''n''</sub>}} कुछ एन के लिए लेकिन एल<sub>''n''</sub> एस के लिए ऊपरी सीमा नहीं है और न ही बी है। इसलिए यू एस के लिए सबसे कम ऊपरी सीमा है और ≤ पूर्ण है। | इस प्रकार यू एस के लिए ऊपरी सीमा है। यह देखने के लिए कि यह कम से कम ऊपरी सीमा है, ध्यान दें कि (यू की सीमा<sub>''n''</sub>- एल<sub>''n''</sub>) 0 है, और इसलिए l = u। अब मान लीजिए {{nowrap|1= ''b'' < ''u'' = ''l''}} एस के लिए एक छोटी ऊपरी सीमा है। चूंकि (एल<sub>''n''</sub>) मोनोटोनिक बढ़ रहा है यह देखना आसान है {{nowrap| ''b'' < ''l''<sub>''n''</sub>}} कुछ एन के लिए लेकिन एल<sub>''n''</sub> एस के लिए ऊपरी सीमा नहीं है और न ही बी है। इसलिए यू एस के लिए सबसे कम ऊपरी सीमा है और ≤ पूर्ण है। | ||
सामान्य [[दशमलव अंकन]] का प्राकृतिक | सामान्य [[दशमलव अंकन]] का प्राकृतिक विधि से कॉची अनुक्रमों में अनुवाद किया जा सकता है। उदाहरण के लिए, अंकन π = 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' के निर्माण का एक लाभ यह है कि यह निर्माण एक उदाहरण के लिए विशिष्ट नहीं है; इसका उपयोग अन्य मीट्रिक रिक्त स्थान के लिए भी किया जाता है। | 'Q' की पूर्णता के रूप में 'R' के निर्माण का एक लाभ यह है कि यह निर्माण एक उदाहरण के लिए विशिष्ट नहीं है; इसका उपयोग अन्य मीट्रिक रिक्त स्थान के लिए भी किया जाता है। | ||
=== डेडेकाइंड कट्स द्वारा निर्माण === | === डेडेकाइंड कट्स द्वारा निर्माण === | ||
[[File:Dedekind cut- square root of two.png| thumb| right| 350px| डेडेकाइंड ने [[अपरिमेय संख्या]], वास्तविक संख्याओं के निर्माण के लिए अपने कट का उपयोग किया।]]एक ऑर्डर किए गए क्षेत्र में एक [[डेडेकाइंड कट]] इसका एक विभाजन है, (ए, बी), जैसे कि ए गैर-रिक्त है और नीचे की ओर बंद है, बी गैर-खाली है और ऊपर की ओर बंद है, और ए में कोई [[सबसे बड़ा तत्व]] नहीं है। वास्तविक संख्याओं को परिमेय संख्याओं के डेडेकिंड कटौती के रूप में निर्मित किया जा सकता है।<ref>https://www.math.ucdavis.edu/~temple/MAT25/HomeworkProblems.pdf {{Bare URL PDF|date=June 2022}}</ref><ref>http://math.furman.edu/~tlewis/math41/Pugh/chap1/sec2.pdf {{Bare URL PDF|date=June 2022}}</ref> | [[File:Dedekind cut- square root of two.png| thumb| right| 350px| डेडेकाइंड ने [[अपरिमेय संख्या]], वास्तविक संख्याओं के निर्माण के लिए अपने कट का उपयोग किया।]]एक ऑर्डर किए गए क्षेत्र में एक [[डेडेकाइंड कट]] इसका एक विभाजन है, (ए, बी), जैसे कि ए गैर-रिक्त है और नीचे की ओर बंद है, बी गैर-खाली है और ऊपर की ओर बंद है, और ए में कोई [[सबसे बड़ा तत्व|सबसे बड़ा अवयव]] नहीं है। वास्तविक संख्याओं को परिमेय संख्याओं के डेडेकिंड कटौती के रूप में निर्मित किया जा सकता है।<ref>https://www.math.ucdavis.edu/~temple/MAT25/HomeworkProblems.pdf {{Bare URL PDF|date=June 2022}}</ref><ref>http://math.furman.edu/~tlewis/math41/Pugh/chap1/sec2.pdf {{Bare URL PDF|date=June 2022}}</ref> | ||
सुविधा के लिए हम निचला | सुविधा के लिए हम निचला समूच्चय ले सकते हैं <math>A\,</math> किसी भी डेडेकाइंड कट के प्रतिनिधि के रूप में <math>(A, B)\,</math>, तब से <math>A</math> पूर्णतः निर्धारित करता है <math>B</math>. ऐसा करने से हम सहज रूप से एक वास्तविक संख्या के बारे में सोच सकते हैं जो सभी छोटी परिमेय संख्याओं के समुच्चय द्वारा प्रदर्शित होती है। अधिक विस्तार से, एक वास्तविक संख्या <math>r</math> समुच्चय का कोई उपसमुच्चय है <math>\textbf{Q}</math> निम्नलिखित शर्तों को पूरा करने वाली परिमेय संख्याओं की:{{sfn|Pugh|2002}} | ||
# <math>r</math> खाली नहीं है | # <math>r</math> खाली नहीं है | ||
# <math>r \neq \textbf{Q}</math> | # <math>r \neq \textbf{Q}</math> | ||
# <math>r</math> नीचे बंद है। दूसरे शब्दों में, सभी के लिए <math>x, y \in \textbf{Q}</math> ऐसा है कि <math>x < y</math>, अगर <math>y \in r</math> तब <math>x \in r</math> | # <math>r</math> नीचे बंद है। दूसरे शब्दों में, सभी के लिए <math>x, y \in \textbf{Q}</math> ऐसा है कि <math>x < y</math>, अगर <math>y \in r</math> तब <math>x \in r</math> | ||
# <math>r</math> कोई सबसे बड़ा | # <math>r</math> कोई सबसे बड़ा अवयव नहीं है। दूसरे शब्दों में, नहीं है <math>x \in r</math> ऐसा कि सभी के लिए <math>y \in r</math>, <math>y \leq x</math> | ||
* हम | * हम समूच्चय बनाते हैं <math> \textbf{R} </math> सभी डेडेकाइंड कट्स के समूच्चय के रूप में वास्तविक संख्याओं का <math>A</math> का <math> \textbf{Q} </math>, और वास्तविक संख्याओं पर कुल क्रम को निम्नानुसार परिभाषित करें: <math>x \leq y\Leftrightarrow x \subseteq y</math> | ||
* हम परिमेय संख्या की पहचान करके परिमेय संख्याओं को वास्तविक में एम्बेड करते हैं <math>q</math> सभी छोटी परिमेय संख्याओं के समुच्चय के साथ <math> \{ x \in \textbf{Q} : x < q \} </math>.{{sfn|Pugh|2002}} चूँकि परिमेय संख्याएँ सघन क्रम हैं, इस | * हम परिमेय संख्या की पहचान करके परिमेय संख्याओं को वास्तविक में एम्बेड करते हैं <math>q</math> सभी छोटी परिमेय संख्याओं के समुच्चय के साथ <math> \{ x \in \textbf{Q} : x < q \} </math>.{{sfn|Pugh|2002}} चूँकि परिमेय संख्याएँ सघन क्रम हैं, इस प्रकार के समूच्चय में कोई सबसे बड़ा अवयव नहीं हो सकता है और इस प्रकार ऊपर दी गई वास्तविक संख्या होने की शर्तों को पूरा करता है। | ||
* [[जोड़ना]]। <math>A + B := \{a + b: a \in A \land b \in B\}</math>{{sfn|Pugh|2002}} | * [[जोड़ना]]। <math>A + B := \{a + b: a \in A \land b \in B\}</math>{{sfn|Pugh|2002}} | ||
* [[घटाव]]। <math>A - B := \{a - b: a \in A \land b \in ( \textbf{Q} \setminus B ) \}</math> कहाँ <math> \textbf{Q} \setminus B </math> के [[पूरक (सेट सिद्धांत)]] को दर्शाता है <math>B</math> में <math>\textbf{Q}</math>, <math> \{ x : x \in \textbf{Q} \land x \notin B \} </math> | * [[घटाव]]। <math>A - B := \{a - b: a \in A \land b \in ( \textbf{Q} \setminus B ) \}</math> कहाँ <math> \textbf{Q} \setminus B </math> के [[पूरक (सेट सिद्धांत)|पूरक (समूच्चय सिद्धांत)]] को दर्शाता है <math>B</math> में <math>\textbf{Q}</math>, <math> \{ x : x \in \textbf{Q} \land x \notin B \} </math> | ||
* [[किसी संख्या का निषेध]] घटाव का एक विशेष मामला है: <math>-B := \{a - b: a < 0 \land b \in ( \textbf{Q} \setminus B ) \}</math> | * [[किसी संख्या का निषेध]] घटाव का एक विशेष मामला है: <math>-B := \{a - b: a < 0 \land b \in ( \textbf{Q} \setminus B ) \}</math> | ||
* गुणन को परिभाषित करना आसान नहीं है।{{sfn|Pugh|2002}} | * गुणन को परिभाषित करना आसान नहीं है।{{sfn|Pugh|2002}} | ||
** अगर <math>A, B \geq 0</math> तब <math> 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 \}</math> | ** अगर <math>A, B \geq 0</math> तब <math> 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 \}</math> | ||
** या तो <math>A\,</math> या <math>B\,</math> नकारात्मक है, हम सर्वसमिकाओं का उपयोग करते हैं <math> A \times B = -(A \times -B) = -(-A \times B) = (-A \times -B) \,</math> रूपान्तरण करने के लिए <math>A\,</math> और/या <math>B\,</math> धनात्मक संख्याओं के लिए और फिर ऊपर दी गई परिभाषा को लागू करें। | ** या तो <math>A\,</math> या <math>B\,</math> नकारात्मक है, हम सर्वसमिकाओं का उपयोग करते हैं <math> A \times B = -(A \times -B) = -(-A \times B) = (-A \times -B) \,</math> रूपान्तरण करने के लिए <math>A\,</math> और/या <math>B\,</math> धनात्मक संख्याओं के लिए और फिर ऊपर दी गई परिभाषा को लागू करें। | ||
* हम [[विभाजन (गणित)]] को एक समान | * हम [[विभाजन (गणित)]] को एक समान विधि से परिभाषित करते हैं: | ||
** अगर <math> A \geq 0 \mbox{ and } B > 0 </math> तब <math> A / B := \{ a / b : a \in A \land b \in ( \textbf{Q} \setminus B ) \}</math> | ** अगर <math> A \geq 0 \mbox{ and } B > 0 </math> तब <math> A / B := \{ a / b : a \in A \land b \in ( \textbf{Q} \setminus B ) \}</math> | ||
** या तो <math>A\,</math> या <math>B\,</math> नकारात्मक है, हम सर्वसमिकाओं का उपयोग करते हैं <math> A / B = -(A / {-B}) = -(-A / B)= -A / {-B} \, </math> रूपान्तरण करने के लिए <math>A\, </math> एक गैर-ऋणात्मक संख्या और/या <math>B\, </math> एक सकारात्मक संख्या के लिए और फिर उपरोक्त परिभाषा लागू करें। | ** या तो <math>A\,</math> या <math>B\,</math> नकारात्मक है, हम सर्वसमिकाओं का उपयोग करते हैं <math> A / B = -(A / {-B}) = -(-A / B)= -A / {-B} \, </math> रूपान्तरण करने के लिए <math>A\, </math> एक गैर-ऋणात्मक संख्या और/या <math>B\, </math> एक सकारात्मक संख्या के लिए और फिर उपरोक्त परिभाषा लागू करें। | ||
* [[उच्चतम]] यदि एक गैर-खाली | * [[उच्चतम]] यदि एक गैर-खाली समूच्चय <math>S</math> वास्तविक संख्याओं की कोई ऊपरी सीमा होती है <math>\textbf{R}</math>, तो इसकी कम से कम ऊपरी सीमा है <math>\textbf{R}</math> वह बराबर है <math>\bigcup S</math>.{{sfn|Pugh|2002}} | ||
एक अपरिमेय संख्या का प्रतिनिधित्व करने वाले डेडेकाइंड कट के उदाहरण के रूप में, हम [[2 का वर्गमूल]] ले सकते हैं। इसे | एक अपरिमेय संख्या का प्रतिनिधित्व करने वाले डेडेकाइंड कट के उदाहरण के रूप में, हम [[2 का वर्गमूल]] ले सकते हैं। इसे समूच्चय द्वारा परिभाषित किया जा सकता है <math>A = \{ x \in \textbf{Q} : x < 0 \lor x \times x < 2 \}</math>.{{sfn|Hersh|1997}} इसे उपरोक्त परिभाषाओं से देखा जा सकता है <math>A</math> एक वास्तविक संख्या है, और वह <math>A \times A = 2\,</math>. हालांकि, कोई भी दावा तत्काल नहीं है। दिखा रहा है <math>A\,</math> वास्तविक है उसे दिखाने की आवश्यकता है <math>A</math> कोई सबसे बड़ा अवयव नहीं है, यानी किसी सकारात्मक तर्कसंगत के लिए <math>x\,</math> साथ <math>x \times x < 2\,</math>, एक तर्कसंगत है <math>y\,</math> साथ <math>x<y\,</math> और <math>y \times y <2\,.</math> विकल्प <math>y=\frac{2x+2}{x+2}\,</math> काम करता है। तब <math>A \times A \le 2</math> लेकिन समानता दिखाने के लिए यह दिखाने की आवश्यकता है कि यदि <math>r\,</math> के साथ कोई परिमेय संख्या है <math>r < 2\,</math>, तो सकारात्मक है <math>x\,</math> में <math>A</math> साथ <math>r<x \times x\,</math>. | ||
इस निर्माण का एक फायदा यह है कि प्रत्येक वास्तविक संख्या एक अद्वितीय कटौती से मेल खाती है। इसके | इस निर्माण का एक फायदा यह है कि प्रत्येक वास्तविक संख्या एक अद्वितीय कटौती से मेल खाती है। इसके अतिरिक्त, कटौती की परिभाषा की पहली दो आवश्यकताओं को शिथिल करके, [[विस्तारित वास्तविक संख्या]] प्रणाली को जोड़कर प्राप्त किया जा सकता है <math>-\infty</math> खाली समूच्चय के साथ और <math>\infty</math> सभी के साथ <math>\textbf{Q}</math>. | ||
=== [[अति वास्तविक संख्या]] का उपयोग करके निर्माण === | === [[अति वास्तविक संख्या]] का उपयोग करके निर्माण === | ||
जैसा कि हाइपररियल नंबरों में होता है, कोई हाइपररेशनल का निर्माण करता है <sup>*</sup>क्यू एक [[ultrafilter]] के माध्यम से परिमेय संख्याओं से।<ref>https://sites.math.washington.edu/~morrow/336_15/papers/gianni.pdf {{Bare URL PDF|date=June 2022}}</ref><ref>https://math.berkeley.edu/~kruckman/ultrafilters.pdf {{Bare URL PDF|date=June 2022}}</ref> यहाँ एक हाइपररेशनल परिभाषा के अनुसार दो [[hyperinteger]] का अनुपात है। सभी सीमित (यानी परिमित) | जैसा कि हाइपररियल नंबरों में होता है, कोई हाइपररेशनल का निर्माण करता है <sup>*</sup>क्यू एक [[ultrafilter]] के माध्यम से परिमेय संख्याओं से।<ref>https://sites.math.washington.edu/~morrow/336_15/papers/gianni.pdf {{Bare URL PDF|date=June 2022}}</ref><ref>https://math.berkeley.edu/~kruckman/ultrafilters.pdf {{Bare URL PDF|date=June 2022}}</ref> यहाँ एक हाइपररेशनल परिभाषा के अनुसार दो [[hyperinteger]] का अनुपात है। सभी सीमित (यानी परिमित) अवयवों के रिंग (गणित) बी पर विचार करें <sup>*</sup>प्र. तब ''बी'' का एक अद्वितीय [[अधिकतम आदर्श]] ''आई'', अतिसूक्ष्म संख्याएं हैं। भागफल वलय ''बी/आई'' वास्तविक संख्याओं का क्षेत्र (गणित) आर देता है {{Citation needed|reason=No explanation given as to how the irrational numbers arise.|date=June 2017}}. ध्यान दें कि बी [[आंतरिक सेट|आंतरिक समूच्चय]] नहीं है <sup>*</sup>प्र. | ||
ध्यान दें कि यह निर्माण प्राकृतिक संख्याओं के | ध्यान दें कि यह निर्माण प्राकृतिक संख्याओं के समूच्चय पर एक गैर-प्रमुख अल्ट्राफिल्टर का उपयोग करता है, जिसके अस्तित्व को पसंद के स्वयंसिद्ध द्वारा गारंटी दी जाती है। | ||
यह पता चला है कि अधिकतम आदर्श | यह पता चला है कि अधिकतम आदर्श क्रम का सम्मान करता है <sup>*</sup>प्र. इसलिए परिणामी क्षेत्र एक क्रमित क्षेत्र है। पूर्णता को कौशी अनुक्रमों के निर्माण के समान विधि से सिद्ध किया जा सकता है। | ||
=== [[असली संख्या]] से निर्माण === | === [[असली संख्या]] से निर्माण === | ||
प्रत्येक | प्रत्येक क्रमित क्षेत्र को असली संख्या में एम्बेड किया जा सकता है। वास्तविक संख्या एक अधिकतम उपक्षेत्र बनाती है जो आर्किमिडीयन समूह है (जिसका अर्थ है कि कोई वास्तविक संख्या असीम रूप से बड़ी या असीम रूप से छोटी नहीं है)। यह एम्बेडिंग अद्वितीय नहीं है, हालांकि इसे कैनोनिकल विधि से चुना जा सकता है। | ||
=== पूर्णांकों से निर्माण (यूडोक्सस रियल) ===<!--Linked from 'Eudoxus of Cnidus'--> | === पूर्णांकों से निर्माण (यूडोक्सस रियल) ===<!--Linked from 'Eudoxus of Cnidus'--> | ||
एक अपेक्षाकृत कम ज्ञात निर्माण केवल पूर्णांकों के योज्य समूह का उपयोग करके वास्तविक संख्याओं को परिभाषित करने की अनुमति देता है <math>\mathbb{Z}</math> विभिन्न संस्करणों के साथ।{{sfn|Arthan|2004}}{{sfn|A'Campo|2003}}{{sfn|Street|2003}} निर्माण स्वचालित प्रमेय | एक अपेक्षाकृत कम ज्ञात निर्माण केवल पूर्णांकों के योज्य समूह का उपयोग करके वास्तविक संख्याओं को परिभाषित करने की अनुमति देता है <math>\mathbb{Z}</math> विभिन्न संस्करणों के साथ।{{sfn|Arthan|2004}}{{sfn|A'Campo|2003}}{{sfn|Street|2003}} निर्माण स्वचालित प्रमेय सिद्ध कर रहा है IsarMathLib परियोजना द्वारा।{{sfn|IsarMathLib}} {{harvtxt|Shenitzer|1987}} और {{harvtxt|Arthan|2004}} इस निर्माण को यूडोक्सस रियल के रूप में देखें, जिसका नाम एक प्राचीन यूनानी खगोलशास्त्री और कनिडस के गणितज्ञ यूडोक्सस के नाम पर रखा गया है। | ||
एक 'लगभग समाकारिता' को एक मानचित्र होने दें <math>f:\mathbb{Z}\to\mathbb{Z}</math> ऐसा | एक 'लगभग समाकारिता' को एक मानचित्र होने दें <math>f:\mathbb{Z}\to\mathbb{Z}</math> ऐसा समूच्चय <math>\{f(n+m)-f(m)-f(n): n,m\in\mathbb{Z}\}</math> परिमित है। (ध्यान दें कि <math>f(n) = \lfloor \alpha n\rfloor</math> प्रत्येक के लिए लगभग समरूपता है <math> \alpha \in \mathbb{R} </math>.) बिंदुवार जोड़ के अंतर्गत लगभग समरूपता एक एबेलियन समूह बनाती है। हम कहते हैं कि दो लगभग समरूपताएं <math>f,g</math> समूच्चय अगर लगभग बराबर हैं <math>\{f(n)-g(n): n\in \mathbb{Z}\}</math> परिमित है। यह लगभग समरूपता के समूच्चय पर एक तुल्यता संबंध को परिभाषित करता है। वास्तविक संख्याओं को इस संबंध के समतुल्य वर्गों के रूप में परिभाषित किया गया है। वैकल्पिक रूप से, लगभग समान रूप से बहुत से मान लेने वाले लगभग समरूपता एक उपसमूह बनाते हैं, और वास्तविक संख्या का अंतर्निहित योजक समूह भागफल समूह है। इस प्रकार से परिभाषित वास्तविक संख्याओं को जोड़ने के लिए हम उन लगभग समरूपताओं को जोड़ते हैं जो उनका प्रतिनिधित्व करते हैं। वास्तविक संख्याओं का गुणन लगभग समरूपताओं की कार्यात्मक संरचना से मेल खाता है। अगर <math>[f]</math> लगभग समरूपता द्वारा दर्शाई गई वास्तविक संख्या को दर्शाता है <math>f</math> हम कहते हैं <math>0\leq [f]</math> अगर <math>f</math> घिरा हुआ है या <math>f</math> अनंत संख्या में सकारात्मक मान लेता है <math>\mathbb{Z}^+</math>. यह इस प्रकार से निर्मित वास्तविक संख्याओं के समूच्चय पर कुल क्रम संबंध को परिभाषित करता है। | ||
=== अन्य निर्माण === | === अन्य निर्माण === | ||
Line 183: | Line 183: | ||
एक सिंहावलोकन के लिए, देखें {{harvtxt|Weiss|2015}}. | एक सिंहावलोकन के लिए, देखें {{harvtxt|Weiss|2015}}. | ||
एक के एक समीक्षक के रूप में: विवरण सभी | एक के एक समीक्षक के रूप में: विवरण सभी सम्मिलित हैं, लेकिन हमेशा की प्रकार वे थकाऊ हैं और बहुत शिक्षाप्रद नहीं हैं।<ref>{{MR|693180}} (84j:26002) review of {{harvtxt|Rieger1982}}.</ref> | ||
Revision as of 22:56, 15 February 2023
गणित में, वास्तविक संख्याओं को परिभाषित करने के कई समतुल्य विधि हैं। उनमें से एक यह है कि वे एक पूर्ण क्रमित क्षेत्र बनाते हैं जिसमें कोई छोटा पूर्ण क्रमित क्षेत्र नहीं होता है। इस प्रकार की परिभाषा यह सिद्ध नहीं करती है कि इस प्रकार के पूर्ण क्रमित क्षेत्र स्थित हैं, और अस्तित्व प्रमाण में एक गणितीय संरचना का निर्माण होता है जो परिभाषा को संतुष्ट करता है।
लेख ऐसे कई निर्माण प्रस्तुत करता है।[1] वे इस अर्थ में समतुल्य हैं कि, ऐसे किन्हीं दो निर्माणों के परिणाम दिए जाने पर, उनके बीच क्रमबद्ध क्षेत्र का एक अद्वितीय समरूपता है। यह उपरोक्त परिभाषा से उत्पन्न होता है और विशेष निर्माणों से स्वतंत्र है। ये समरूपता निर्माण के परिणामों की पहचान करने की अनुमति देते हैं, और क्रिया में, यह भूल जाते हैं कि कौन सा निर्माण चुना गया है।
स्वयंसिद्ध परिभाषाएँ
वास्तविक संख्याओं की स्वयंसिद्ध पद्धति में उन्हें एक पूर्ण क्रमित क्षेत्र के अवयवों के रूप में परिभाषित करना सम्मिलित है।[2][3][4] इसका अर्थ निम्नलिखित है। वास्तविक संख्याएँ एक समूच्चय (गणित) बनाती हैं, जिसे सामान्यतः निरूपित किया जाता है, जिसमें दो विशिष्ट अवयव 0 और 1 को दर्शाते हैं, और जिन पर दो द्विआधारी संचालन और एक द्विआधारी संबंध परिभाषित हैं; संक्रियाओं को वास्तविक संख्याओं का जोड़ और गुणा कहा जाता है और क्रमशः + और × के साथ निरूपित किया जाता है; द्विआधारी संबंध असमानता है, निरूपित इसके अतिरिक्त, स्वयंसिद्ध कहे जाने वाले निम्नलिखित गुण संतुष्ट होने चाहिए।
ऐसी गणितीय संरचना का अस्तित्व एक प्रमेय है, जो ऐसी संरचना के निर्माण से सिद्ध होता है। स्वयंसिद्धों का एक परिणाम यह है कि यह संरचना एक समरूपता तक अद्वितीय है, और इस प्रकार, निर्माण की विधि का उल्लेख किए बिना, वास्तविक संख्याओं का उपयोग और हेरफेर किया जा सकता है।
अभिगृहीत
- जोड़ और गुणा के अंतर्गत एक क्षेत्र (गणित) है। दूसरे शब्दों में,
- सभी x, y, और z in के लिए , x + (y + z) = (x + y) + z और x × (y × z) = (x × y) × z। (जोड़ और गुणा की साहचर्यता)
- में सभी x और y के लिए, x + y = y + x और x × y = y × x। (जोड़ और गुणा की क्रमविनिमेय संक्रिया)
- सभी x, y, और z in के लिए , x × (y + z) = (x × y) + (x × z)। (जोड़ पर गुणन का वितरण)
- सभी एक्स के लिए , एक्स + 0 = एक्स। (योगात्मक पहचान अवयव का अस्तित्व)
- 0 1 के बराबर नहीं है, और सभी x के लिए , एक्स × 1 = एक्स। (गुणात्मक पहचान का अस्तित्व)
- प्रत्येक एक्स के लिए , इसमें एक अवयव −x स्थित है , जैसे कि x + (−x) = 0. (योगात्मक व्युत्क्रम अवयव का अस्तित्व)
- प्रत्येक x ≠ 0 इंच के लिए , एक अवयव x स्थित है-1 में , जैसे कि x × x−1 = 1. (गुणात्मक व्युत्क्रमों का अस्तित्व)
- के लिए पूरी प्रकार से क्रमित किया गया है . दूसरे शब्दों में,
- सभी एक्स के लिए , एक्स ≤ एक्स। (प्रतिवर्त संबंध)
- सभी x और y के लिए , यदि x ≤ y और y ≤ x, तो x = y। (प्रतिसममित संबंध)
- सभी x, y, और z in के लिए , यदि x ≤ y और y ≤ z, तो x ≤ z. (सकर्मक संबंध)
- सभी x और y के लिए , x ≤ y या y ≤ x। (कुल क्रम)
- जोड़ और गुणा क्रम के अनुकूल हैं। दूसरे शब्दों में,
- सभी एक्स, वाई और जेड इन के लिए , यदि x ≤ y, तो x + z ≤ y + z। (अतिरिक्त के अंतर्गत क्रम का संरक्षण)
- सभी x और y के लिए , यदि 0 ≤ x और 0 ≤ y, तो 0 ≤ x × y (गुणन के अंतर्गत क्रम का संरक्षण)
- क्रम ≤ निम्नलिखित अर्थों में पूर्ण है: का प्रत्येक गैर-खाली सबसमूच्चय वह ऊपरी सीमा है जो कम से कम ऊपरी सीमा है। दूसरे शब्दों में,
- यदि ए का एक गैर-रिक्त उपसमुच्चय है , और यदि A की ऊपरी सीमा है तो ए के पास कम से कम ऊपरी बाउंड यू है, जैसे कि ए के प्रत्येक ऊपरी बाउंड वी के लिए, यू ≤ वी।
कम से कम ऊपरी बाध्य संपत्ति पर
अभिगृहीत 4, जिसके लिए क्रम को डेडेकिंड-पूर्ण होना आवश्यक है, आर्किमिडीयन संपत्ति का तात्पर्य है।
यथार्थ के लक्षण वर्णन में स्वयंसिद्ध महत्वपूर्ण है। उदाहरण के लिए, परिमेय संख्या Q का पूरी प्रकार से क्रमबद्ध क्षेत्र पहले तीन स्वयंसिद्धों को संतुष्ट करता है, लेकिन चौथे को नहीं। दूसरे शब्दों में, परिमेय संख्याओं के मॉडल भी पहले तीन स्वयंसिद्धों के मॉडल हैं।
ध्यान दें कि अभिगृहीत गैर-प्रथमक्रमणीयता है, क्योंकि यह वास्तविकताओं के संग्रह के बारे में एक कथन व्यक्त करता है, न कि केवल ऐसी व्यक्तिगत संख्याओं के बारे में। इस प्रकार, वास्तविक प्रथम-क्रम सिद्धांतों की सूची | प्रथम-क्रम तर्क सिद्धांत द्वारा नहीं दिए गए हैं।
मॉडलों पर
वास्तविक संख्याओं का एक मॉडल एक गणितीय संरचना है जो उपरोक्त स्वयंसिद्धों को संतुष्ट करता है। कई मॉडलों को # मॉडलों के स्पष्ट निर्माण दिए गए हैं। कोई भी दो मॉडल आइसोमोर्फिक हैं; इसलिए, वास्तविक संख्याएँ समरूपता तक अद्वितीय हैं।
यह कहना कि कोई भी दो मॉडल आइसोमॉर्फिक हैं, इसका मतलब है कि किसी भी दो मॉडल के लिए और एक आपत्ति है जो फील्ड ऑपरेशंस और ऑर्डर दोनों को सुरक्षित रखता है। स्पष्ट रूप से,
- f इंजेक्शन और विशेषण दोनों है।
- f(0ℝ) = 0S और f(1ℝ) = 1S.
- f(x +ℝ y) = f(x) +S f(y) और f(x ×ℝ y) = f(x) ×S f(y), सभी के लिए x और y में
- x ≤ℝ y अगर और केवल अगर f(x) ≤S f(y), सभी के लिए x और y में
तर्स्की का यथार्थ का स्वयंसिद्धीकरण
वास्तविक संख्याओं और उनके अंकगणित का एक वैकल्पिक संश्लिष्ट अभिगृहीतीकरण अल्फ्रेड टार्स्की द्वारा दिया गया था, जिसमें नीचे दिखाए गए केवल 8 स्वयंसिद्ध और केवल चार आदिम धारणाएं सम्मिलित हैं: एक समुच्चय (गणित) जिसे वास्तविक संख्या कहा जाता है, निरूपित , एक द्विआधारी संबंध खत्म ऑर्डर कहा जाता है, जिसे इन्फ़िक्स <द्वारा दर्शाया जाता है, एक द्विआधारी संचालन ओवर जोड़ कहा जाता है, इन्फिक्स + द्वारा निरूपित किया जाता है, और स्थिर 1।
क्रम के सिद्धांत (आदिम: , <):
अभिगृहीत 1. यदि x <'y है, तो 'y' नहीं <'x। अर्थात्, < एक असममित संबंध है।
स्वयंसिद्ध 2. यदि x < z है, तो एक y स्थित है जैसे कि x < y और y < z। दूसरे शब्दों में, < सघन क्रम है .
अभिगृहीत 3. <डेडेकिंड-पूर्ण है। अधिक औपचारिक रूप से, सभी X, Y ⊆ के लिए, यदि सभी x ∈ X और y ∈ Y, x < y, तो एक z ऐसा स्थित है कि सभी x ∈ X और y ∈ Y के लिए, यदि z ≠ x और z ≠ y, तो x < z और z < y।
उपरोक्त कथन को कुछ हद तक स्पष्ट करने के लिए, X ⊆ दें और वाई ⊆. अब हम दो सामान्य अंग्रेजी क्रियाओं को एक विशेष विधि से परिभाषित करते हैं जो हमारे उद्देश्य के अनुकूल है:
- X Y से पहले आता है अगर और केवल अगर हर x ∈ X और हर y ∈ Y, x < y के लिए।
- वास्तविक संख्या z, X और Y को अलग करती है यदि और केवल यदि प्रत्येक x ∈ X के साथ x ≠ z और प्रत्येक y ∈ Y के साथ y ≠ z, x < z और z < y।
अभिगृहीत 3 को तब इस प्रकार कहा जा सकता है:
- यदि वास्तविक का एक समूच्चय वास्तविक के दूसरे समूच्चय से पहले आता है, तो दो समूच्चय को अलग करने वाली कम से कम एक वास्तविक संख्या स्थित होती है।
योग के अभिगृहीत (आदिम: , <, +):
अभिगृहीत 4. x + (y + z) = (x + z) +y।
अभिगृहीत 5. सभी x, y के लिए, एक z स्थित है जैसे कि x + z= y।
अभिगृहीत 6. यदि x + y < z + w, तो x < z या y < w ।
एक के लिए अभिगृहीत (आदिम: , <, +, 1):
अभिगृहीत 7. 1 ∈.
अभिगृहीत 8. 1 < 1 + 1।
इन स्वयंसिद्धों का अर्थ है विशिष्ट अवयव 1 के साथ एक रैखिक रूप से क्रमित समूह एबेलियन समूह है। डेडेकिंड-पूर्ण और विभाज्य समूह भी है।
मॉडलों के स्पष्ट निर्माण
हम सिद्ध नहीं करेंगे कि अभिगृहीतों का कोई भी मॉडल तुल्याकारी है। ऐसा प्रमाण किसी भी संख्या में आधुनिक विश्लेषण या समूच्चय सिद्धांत पाठ्यपुस्तकों में पाया जा सकता है। हालांकि, हम कई निर्माणों की मूल परिभाषाओं और गुणों को रेखांकित करेंगे, क्योंकि इनमें से प्रत्येक गणितीय और ऐतिहासिक दोनों कारणों से महत्वपूर्ण है। जॉर्ज कैंटर/चार्ल्स मेरे, रिचर्ड डेडेकिंड/जोसेफ बर्ट्रेंड और कार्ल वीयरस्ट्रास के कारण पहले तीन, सभी एक दूसरे के कुछ वर्षों के भीतर हुए। प्रत्येक के फायदे और नुकसान हैं। तीनों मामलों में एक प्रमुख प्रेरणा गणित के छात्रों का निर्देश था।
कॉची अनुक्रमों से निर्माण
एक मीट्रिक स्थान में सभी कॉची अनुक्रमों को अभिसरण करने के लिए मजबूर करने के लिए एक मानक प्रक्रिया पूर्णता (टोपोलॉजी) नामक प्रक्रिया में मीट्रिक स्थान में नए बिंदु जोड़ रही है।
मीट्रिक |x-y| के संबंध में क्यू के पूरा होने के रूप में परिभाषित किया गया है, जैसा कि नीचे विस्तृत किया जाएगा (अन्य मैट्रिक्स के संबंध में क्यू की पूर्णता के लिए, पी-एडिक नंबर देखें| p-adic नंबर।)
चलो 'आर' तर्कसंगत संख्याओं के कॉची अनुक्रमों का समूच्चय (गणित) हो। यानी सीक्वेंस
- एक्स1, एक्स2, एक्स3,...
परिमेय संख्याओं की ऐसी कि प्रत्येक परिमेय के लिए ε > 0, एक पूर्णांक N स्थित है जैसे कि सभी प्राकृतिक संख्याओं के लिए m,n > N, |xm − xn| < ε. यहाँ लंबवत पट्टियाँ निरपेक्ष मान दर्शाती हैं।
कॉची सीक्वेंस (xn) और (वाईn) को निम्नानुसार जोड़ा और गुणा किया जा सकता है:
- (एक्सn) + (औरn) = (एक्सn + औरn)
- (एक्सn) × (औरn) = (एक्सn × औरn).
दो कौशी क्रमों को समतुल्य कहा जाता है यदि और केवल यदि उनके बीच का अंतर शून्य हो जाता है। यह एक तुल्यता संबंध को परिभाषित करता है जो ऊपर परिभाषित कार्यों के साथ संगत है, और सभी तुल्यता वर्गों के समूच्चय 'R' को #Axiomatic परिभाषाओं को पूरा करने के लिए दिखाया जा सकता है। हम अनुक्रम के समतुल्य वर्ग के साथ परिमेय संख्या r की पहचान करके 'Q' को 'R' में एम्बेडिंग कर सकते हैं (r,r,r, …).
कॉशी अनुक्रमों के बीच निम्नलिखित तुलना को परिभाषित करके वास्तविक संख्याओं के बीच तुलना प्राप्त की जाती है: (xn) ≥ (yn) अगर और केवल अगर x, y के समतुल्य है या एक पूर्णांक N स्थित है जैसे कि xn ≥ yn सभी के लिए
n > N.
निर्माण के द्वारा, प्रत्येक वास्तविक संख्या x को परिमेय संख्याओं के कॉशी अनुक्रम द्वारा दर्शाया जाता है। यह प्रतिनिधित्व अद्वितीय से बहुत दूर है; प्रत्येक परिमेय अनुक्रम जो x में अभिसरित होता है, x का निरूपण है। यह अवलोकन को दर्शाता है कि एक ही वास्तविक संख्या का अनुमान लगाने के लिए अक्सर विभिन्न अनुक्रमों का उपयोग किया जा सकता है।[5] एकमात्र वास्तविक संख्या स्वयंसिद्ध जो परिभाषाओं से आसानी से पालन नहीं करता है, ≤ की पूर्णता है, अर्थात सबसे कम ऊपरी बाध्य संपत्ति। इसे इस प्रकार सिद्ध किया जा सकता है: मान लीजिए कि S 'R' का एक अरिक्त उपसमुच्चय है और U, S के लिए एक उपरी सीमा है। यदि आवश्यक हो तो एक बड़ा मान प्रतिस्थापित करके, हम मान सकते हैं कि U परिमेय है। चूँकि S अरिक्त है, हम एक परिमेय संख्या L चुन सकते हैं जैसे कि L < s एस में कुछ एस के लिए। अब परिमेय के अनुक्रम को परिभाषित करें (यूn) और मैंn) निम्नलिखित नुसार:
- आप समूच्चय करें0 = यू और एल0 = एल।
प्रत्येक n के लिए संख्या पर विचार करें:
- एमn = (मेंn + एलn)/2
अगर एमn एस समूच्चय के लिए एक ऊपरी सीमा है:
- यूn+1 = मn और मैंn+1 = एलn
अन्यथा समूच्चय करें:
- एलn+1 = मn और आपn+1 = यूn
यह परिमेय के दो कौशी अनुक्रमों को परिभाषित करता है, और इसलिए हमारे पास वास्तविक संख्याएँ हैं l = (ln) और u = (un). n पर प्रेरण द्वारा सिद्ध करना आसान है कि:
- यूn सभी n के लिए S की ऊपरी सीमा है
और:
- एलn किसी भी n के लिए S के लिए ऊपरी सीमा कभी नहीं होती है
इस प्रकार यू एस के लिए ऊपरी सीमा है। यह देखने के लिए कि यह कम से कम ऊपरी सीमा है, ध्यान दें कि (यू की सीमाn- एलn) 0 है, और इसलिए l = u। अब मान लीजिए b < u = l एस के लिए एक छोटी ऊपरी सीमा है। चूंकि (एलn) मोनोटोनिक बढ़ रहा है यह देखना आसान है b < ln कुछ एन के लिए लेकिन एल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' के निर्माण का एक लाभ यह है कि यह निर्माण एक उदाहरण के लिए विशिष्ट नहीं है; इसका उपयोग अन्य मीट्रिक रिक्त स्थान के लिए भी किया जाता है।
डेडेकाइंड कट्स द्वारा निर्माण
एक ऑर्डर किए गए क्षेत्र में एक डेडेकाइंड कट इसका एक विभाजन है, (ए, बी), जैसे कि ए गैर-रिक्त है और नीचे की ओर बंद है, बी गैर-खाली है और ऊपर की ओर बंद है, और ए में कोई सबसे बड़ा अवयव नहीं है। वास्तविक संख्याओं को परिमेय संख्याओं के डेडेकिंड कटौती के रूप में निर्मित किया जा सकता है।[6][7]
सुविधा के लिए हम निचला समूच्चय ले सकते हैं किसी भी डेडेकाइंड कट के प्रतिनिधि के रूप में , तब से पूर्णतः निर्धारित करता है . ऐसा करने से हम सहज रूप से एक वास्तविक संख्या के बारे में सोच सकते हैं जो सभी छोटी परिमेय संख्याओं के समुच्चय द्वारा प्रदर्शित होती है। अधिक विस्तार से, एक वास्तविक संख्या समुच्चय का कोई उपसमुच्चय है निम्नलिखित शर्तों को पूरा करने वाली परिमेय संख्याओं की:[8]
- खाली नहीं है
- नीचे बंद है। दूसरे शब्दों में, सभी के लिए ऐसा है कि , अगर तब
- कोई सबसे बड़ा अवयव नहीं है। दूसरे शब्दों में, नहीं है ऐसा कि सभी के लिए ,
- हम समूच्चय बनाते हैं सभी डेडेकाइंड कट्स के समूच्चय के रूप में वास्तविक संख्याओं का का , और वास्तविक संख्याओं पर कुल क्रम को निम्नानुसार परिभाषित करें:
- हम परिमेय संख्या की पहचान करके परिमेय संख्याओं को वास्तविक में एम्बेड करते हैं सभी छोटी परिमेय संख्याओं के समुच्चय के साथ .[8] चूँकि परिमेय संख्याएँ सघन क्रम हैं, इस प्रकार के समूच्चय में कोई सबसे बड़ा अवयव नहीं हो सकता है और इस प्रकार ऊपर दी गई वास्तविक संख्या होने की शर्तों को पूरा करता है।
- जोड़ना। [8]
- घटाव। कहाँ के पूरक (समूच्चय सिद्धांत) को दर्शाता है में ,
- किसी संख्या का निषेध घटाव का एक विशेष मामला है:
- गुणन को परिभाषित करना आसान नहीं है।[8]
- अगर तब
- या तो या नकारात्मक है, हम सर्वसमिकाओं का उपयोग करते हैं रूपान्तरण करने के लिए और/या धनात्मक संख्याओं के लिए और फिर ऊपर दी गई परिभाषा को लागू करें।
- हम विभाजन (गणित) को एक समान विधि से परिभाषित करते हैं:
- अगर तब
- या तो या नकारात्मक है, हम सर्वसमिकाओं का उपयोग करते हैं रूपान्तरण करने के लिए एक गैर-ऋणात्मक संख्या और/या एक सकारात्मक संख्या के लिए और फिर उपरोक्त परिभाषा लागू करें।
- उच्चतम यदि एक गैर-खाली समूच्चय वास्तविक संख्याओं की कोई ऊपरी सीमा होती है , तो इसकी कम से कम ऊपरी सीमा है वह बराबर है .[8]
एक अपरिमेय संख्या का प्रतिनिधित्व करने वाले डेडेकाइंड कट के उदाहरण के रूप में, हम 2 का वर्गमूल ले सकते हैं। इसे समूच्चय द्वारा परिभाषित किया जा सकता है .[9] इसे उपरोक्त परिभाषाओं से देखा जा सकता है एक वास्तविक संख्या है, और वह . हालांकि, कोई भी दावा तत्काल नहीं है। दिखा रहा है वास्तविक है उसे दिखाने की आवश्यकता है कोई सबसे बड़ा अवयव नहीं है, यानी किसी सकारात्मक तर्कसंगत के लिए साथ , एक तर्कसंगत है साथ और विकल्प काम करता है। तब लेकिन समानता दिखाने के लिए यह दिखाने की आवश्यकता है कि यदि के साथ कोई परिमेय संख्या है , तो सकारात्मक है में साथ .
इस निर्माण का एक फायदा यह है कि प्रत्येक वास्तविक संख्या एक अद्वितीय कटौती से मेल खाती है। इसके अतिरिक्त, कटौती की परिभाषा की पहली दो आवश्यकताओं को शिथिल करके, विस्तारित वास्तविक संख्या प्रणाली को जोड़कर प्राप्त किया जा सकता है खाली समूच्चय के साथ और सभी के साथ .
अति वास्तविक संख्या का उपयोग करके निर्माण
जैसा कि हाइपररियल नंबरों में होता है, कोई हाइपररेशनल का निर्माण करता है *क्यू एक ultrafilter के माध्यम से परिमेय संख्याओं से।[10][11] यहाँ एक हाइपररेशनल परिभाषा के अनुसार दो hyperinteger का अनुपात है। सभी सीमित (यानी परिमित) अवयवों के रिंग (गणित) बी पर विचार करें *प्र. तब बी का एक अद्वितीय अधिकतम आदर्श आई, अतिसूक्ष्म संख्याएं हैं। भागफल वलय बी/आई वास्तविक संख्याओं का क्षेत्र (गणित) आर देता है[citation needed]. ध्यान दें कि बी आंतरिक समूच्चय नहीं है *प्र. ध्यान दें कि यह निर्माण प्राकृतिक संख्याओं के समूच्चय पर एक गैर-प्रमुख अल्ट्राफिल्टर का उपयोग करता है, जिसके अस्तित्व को पसंद के स्वयंसिद्ध द्वारा गारंटी दी जाती है।
यह पता चला है कि अधिकतम आदर्श क्रम का सम्मान करता है *प्र. इसलिए परिणामी क्षेत्र एक क्रमित क्षेत्र है। पूर्णता को कौशी अनुक्रमों के निर्माण के समान विधि से सिद्ध किया जा सकता है।
असली संख्या से निर्माण
प्रत्येक क्रमित क्षेत्र को असली संख्या में एम्बेड किया जा सकता है। वास्तविक संख्या एक अधिकतम उपक्षेत्र बनाती है जो आर्किमिडीयन समूह है (जिसका अर्थ है कि कोई वास्तविक संख्या असीम रूप से बड़ी या असीम रूप से छोटी नहीं है)। यह एम्बेडिंग अद्वितीय नहीं है, हालांकि इसे कैनोनिकल विधि से चुना जा सकता है।
पूर्णांकों से निर्माण (यूडोक्सस रियल)
एक अपेक्षाकृत कम ज्ञात निर्माण केवल पूर्णांकों के योज्य समूह का उपयोग करके वास्तविक संख्याओं को परिभाषित करने की अनुमति देता है विभिन्न संस्करणों के साथ।[12][13][14] निर्माण स्वचालित प्रमेय सिद्ध कर रहा है IsarMathLib परियोजना द्वारा।[15] Shenitzer (1987) और Arthan (2004) इस निर्माण को यूडोक्सस रियल के रूप में देखें, जिसका नाम एक प्राचीन यूनानी खगोलशास्त्री और कनिडस के गणितज्ञ यूडोक्सस के नाम पर रखा गया है।
एक 'लगभग समाकारिता' को एक मानचित्र होने दें ऐसा समूच्चय परिमित है। (ध्यान दें कि प्रत्येक के लिए लगभग समरूपता है .) बिंदुवार जोड़ के अंतर्गत लगभग समरूपता एक एबेलियन समूह बनाती है। हम कहते हैं कि दो लगभग समरूपताएं समूच्चय अगर लगभग बराबर हैं परिमित है। यह लगभग समरूपता के समूच्चय पर एक तुल्यता संबंध को परिभाषित करता है। वास्तविक संख्याओं को इस संबंध के समतुल्य वर्गों के रूप में परिभाषित किया गया है। वैकल्पिक रूप से, लगभग समान रूप से बहुत से मान लेने वाले लगभग समरूपता एक उपसमूह बनाते हैं, और वास्तविक संख्या का अंतर्निहित योजक समूह भागफल समूह है। इस प्रकार से परिभाषित वास्तविक संख्याओं को जोड़ने के लिए हम उन लगभग समरूपताओं को जोड़ते हैं जो उनका प्रतिनिधित्व करते हैं। वास्तविक संख्याओं का गुणन लगभग समरूपताओं की कार्यात्मक संरचना से मेल खाता है। अगर लगभग समरूपता द्वारा दर्शाई गई वास्तविक संख्या को दर्शाता है हम कहते हैं अगर घिरा हुआ है या अनंत संख्या में सकारात्मक मान लेता है . यह इस प्रकार से निर्मित वास्तविक संख्याओं के समूच्चय पर कुल क्रम संबंध को परिभाषित करता है।
अन्य निर्माण
Faltin et al. (1975) लिखें: कुछ गणितीय संरचनाओं में उतने ही संशोधन हुए हैं या उन्हें उतने ही रूपों में प्रस्तुत किया गया है जितनी कि वास्तविक संख्याएँ। हर पीढ़ी अपने मूल्यों और गणितीय उद्देश्यों के आलोक में वास्तविकताओं की फिर से जांच करती है।[16] कई अन्य निर्माण दिए गए हैं, इनके द्वारा:
- de Bruijn (1976), de Bruijn (1977)
- Rieger (1982)
- Knopfmacher & Knopfmacher (1987), Knopfmacher & Knopfmacher (1988)
एक सिंहावलोकन के लिए, देखें Weiss (2015).
एक के एक समीक्षक के रूप में: विवरण सभी सम्मिलित हैं, लेकिन हमेशा की प्रकार वे थकाऊ हैं और बहुत शिक्षाप्रद नहीं हैं।[17]
यह भी देखें
- Constructivism (mathematics)#Example from real analysis
- Decidability of first-order theories of the real numbers
संदर्भ
- ↑ Weiss 2015.
- ↑ http://math.colorado.edu/~nita/RealNumbers.pdf[bare URL PDF]
- ↑ http://homepages.math.uic.edu/~saunders/MATH313/INRA/INRA_chapters0and1.pdf[bare URL PDF]
- ↑ https://www.math.uci.edu/~mfinkels/140A/Introduction%2520and%2520Logic%2520Notes.pdf[bare URL PDF]
- ↑ Kemp 2016.
- ↑ https://www.math.ucdavis.edu/~temple/MAT25/HomeworkProblems.pdf[bare URL PDF]
- ↑ http://math.furman.edu/~tlewis/math41/Pugh/chap1/sec2.pdf[bare URL PDF]
- ↑ 8.0 8.1 8.2 8.3 8.4 Pugh 2002.
- ↑ Hersh 1997.
- ↑ https://sites.math.washington.edu/~morrow/336_15/papers/gianni.pdf[bare URL PDF]
- ↑ https://math.berkeley.edu/~kruckman/ultrafilters.pdf[bare URL PDF]
- ↑ Arthan 2004.
- ↑ A'Campo 2003.
- ↑ Street 2003.
- ↑ IsarMathLib.
- ↑ Faltin et al. 1975.
- ↑ MR693180 (84j:26002) review of Rieger1982.
ग्रन्थसूची
- 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.
- All articles with bare URLs for citations
- Articles with bare URLs for citations from June 2022
- Articles with PDF format bare URLs for citations
- Templates that generate short descriptions
- Articles with unsourced statements from June 2017
- वास्तविक संख्या
- निर्माणवाद (गणित)
- Machine Translated Page
- Created On 13/02/2023