वास्तविक संख्याओं की पूर्णता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(4 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Distinguish|Completeness (logic)}}
{{Distinguish|पूर्णता (तर्क)}}
पूर्णता [[वास्तविक संख्या]]ओं की संपत्ति है, जो सहज रूप से दर्शाती है कि [[वास्तविक रेखा]] में कोई अंतराल (डेडेकाइंड की शब्दावली में) या लापता बिंदु नहीं हैं। यह परिमेय संख्याओं के विपरीत है, जिनकी संगत संख्या रेखा में प्रत्येक [[अपरिमेय संख्या]] मान पर अंतर होता है। [[दशमलव]] में, पूर्णता इस कथन के समतुल्य है कि दशमलव अंकों की कोई भी अनंत स्ट्रिंग वास्तव में किसी वास्तविक संख्या के लिए [[दशमलव प्रतिनिधित्व]] है।


उपयोग की गई वास्तविक संख्याओं के निर्माण के आधार पर, पूर्णता [[स्वयंसिद्ध]] (पूर्णता स्वयंसिद्ध) का रूप ले सकती है, या निर्माण से सिद्ध [[प्रमेय]] हो सकती है। पूर्णता के कई तार्किक तुल्यता रूप हैं, सबसे प्रमुख डेडेकिंड पूर्णता और कॉची पूर्णता ([[पूर्ण मीट्रिक स्थान]]) हैं।
'''पूर्णता [[वास्तविक संख्या]]ओं''' की प्रोपर्टी है, जो सहज रूप से दर्शाती है कि [[वास्तविक रेखा]] में कोई अंतराल (डेडेकाइंड की शब्दावली में) या विलुप्त बिंदु नहीं हैं। यह परिमेय संख्याओं के विपरीत है, जिनकी संगत संख्या रेखा में प्रत्येक [[अपरिमेय संख्या]] मान पर अंतर होता है। [[दशमलव]] में, पूर्णता इस कथन के समतुल्य है कि दशमलव अंकों की कोई भी अनंत स्ट्रिंग वास्तव में किसी वास्तविक संख्या के लिए [[दशमलव प्रतिनिधित्व]] है।
 
उपयोग की गई वास्तविक संख्याओं के निर्माण के आधार पर, पूर्णता [[स्वयंसिद्ध]] (पूर्णता स्वयंसिद्ध) का रूप ले सकती है, या निर्माण से सिद्ध [[प्रमेय]] हो सकती है। पूर्णता के कई तार्किक तुल्यता रूप हैं, सबसे प्रमुख डेडेकिंड पूर्णता और कॉची पूर्णता ([[पूर्ण मीट्रिक स्थान|पूर्ण मीट्रिक समिष्ट]]) हैं।


== पूर्णता के रूप ==
== पूर्णता के रूप ==
[[वास्तविक संख्या]]एँ वास्तविक संख्याओं का निर्माण हो सकती हैं # सिंथेटिक दृष्टिकोण [[आदेशित क्षेत्र]] के रूप में पूर्णता स्वयंसिद्ध के कुछ संस्करण को संतुष्ट करता है। इस स्वयंसिद्ध के विभिन्न संस्करण इस मायने में समान हैं कि कोई भी आदेशित क्षेत्र जो पूर्णता के रूप को संतुष्ट करता है, कॉची पूर्णता और नेस्टेड अंतराल प्रमेय के अलावा उन सभी को संतुष्ट करता है, जो कि गैर-आर्किमिडीयन आदेशित फ़ील्ड आर्किमिडीयन संपत्ति में सख्ती से कमजोर हैं। जो आदेशित हैं और कॉची पूर्ण हैं। जब मॉडल का उपयोग करके वास्तविक संख्या का निर्माण किया जाता है, तो पूर्णता प्रमेय या प्रमेयों का संग्रह बन जाती है।
[[वास्तविक संख्या]]एँ वास्तविक संख्याओं का निर्माण हो सकती हैं सिंथेटिक दृष्टिकोण [[आदेशित क्षेत्र|क्रमबद्ध क्षेत्र]] के रूप में पूर्णता स्वयंसिद्ध के कुछ संस्करण को संतुष्ट करता है। इस स्वयंसिद्ध के विभिन्न संस्करण इस कथन में समान हैं कि कोई भी क्रमबद्ध क्षेत्र जो पूर्णता के रूप को संतुष्ट करता है, कॉची पूर्णता और नेस्टेड अंतराल प्रमेय के अतिरिक्त उन सभी को संतुष्ट करता है, जो कि गैर-आर्किमिडीयन क्रमबद्ध फ़ील्ड आर्किमिडीयन प्रोपर्टी में सख्ती से अशक्त हैं। जो क्रमबद्ध हैं और कॉची पूर्ण हैं। जब मॉडल का उपयोग करके वास्तविक संख्या का निर्माण किया जाता है, तो पूर्णता प्रमेय या प्रमेयों का संग्रह बन जाती है।
 
=== न्यूनतम ऊपरी सीमा वाली प्रोपर्टी ===
{{main|न्यूनतम ऊपरी सीमा वाली प्रोपर्टी}}


=== कम से कम ऊपरी बाध्य संपत्ति ===
सबसे कम-ऊपरी-बाध्य प्रोपर्टी बताती है कि [[ऊपरी सीमा]] वाले वास्तविक संख्याओं के प्रत्येक गैर-रिक्त उपसमुच्चय में वास्तविक संख्याओं के समुच्चय में [[कम से कम ऊपरी सीमा]] (या सर्वोच्च) होनी चाहिए।
{{main|Least-upper-bound property}}
सबसे कम-ऊपरी-बाध्य संपत्ति बताती है कि [[ऊपरी सीमा]] वाले वास्तविक संख्याओं के प्रत्येक गैर-रिक्त उपसमुच्चय में वास्तविक संख्याओं के सेट में [[कम से कम ऊपरी सीमा]] (या सर्वोच्च) होनी चाहिए।


परिमेय संख्या Q में न्यूनतम उपरी परिबद्ध गुण नहीं है। उदाहरण परिमेय संख्याओं का सबसेट है
परिमेय संख्या Q में न्यूनतम उपरी परिबद्ध गुण नहीं है। उदाहरण परिमेय संख्याओं का उपसमुच्चय है
:<math>S = \{ x\in \Q \mid x^2 < 2\}.</math>
:<math>S = \{ x\in \Q \mid x^2 < 2\}.</math>
इस सेट की ऊपरी सीमा होती है। हालाँकि, इस सेट में कम से कम ऊपरी सीमा नहीं है {{math|'''Q'''}}: वास्तविक के सबसेट के रूप में सबसे कम ऊपरी सीमा होगी {{math|√2}}, लेकिन यह अंदर मौजूद नहीं है {{math|'''Q'''}}.
इस समुच्चय की ऊपरी सीमा होती है। चूँकि, इस समुच्चय {{math|'''Q'''}} में कम से कम ऊपरी सीमा नहीं है : वास्तविक के उपसमुच्चय के रूप में सबसे कम ऊपरी सीमा {{math|√2}} होती है , किन्तु यह {{math|'''Q'''}} अंदर उपस्थित नहीं है किसी ऊपरी सीमा {{math|''x'' ∈ '''Q'''}} के लिए , और ऊपरी सीमा {{math|''y'' ∈ '''Q'''}} है
किसी ऊपरी सीमा के लिए {{math|''x'' ∈ '''Q'''}}, और ऊपरी सीमा है {{math|''y'' ∈ '''Q'''}} साथ {{math|''y'' < ''x''}}.
 


उदाहरण के लिए, लो {{math|1=''x'' = 1.5}}, तब {{mvar|x}} निश्चित रूप से की ऊपरी सीमा है {{mvar|S}}, जबसे {{mvar|x}} सकारात्मक है और {{math|1=''x''{{sup|2}} = 2.25 ≥ 2}}; अर्थात् कोई तत्व नहीं {{mvar|S}} से बड़ा है {{mvar|x}}. हालाँकि, हम छोटी ऊपरी सीमा चुन सकते हैं, कहते हैं {{math|1=''y'' = 1.45}}; यह की ऊपरी सीमा भी है {{mvar|S}} उन्हीं कारणों से, लेकिन यह इससे छोटा है {{mvar|x}}, इसलिए {{mvar|x}} की कम से कम ऊपरी सीमा नहीं है {{mvar|S}}. हम की ऊपरी सीमा खोजने के लिए इसी तरह आगे बढ़ सकते हैं {{mvar|S}} जो इससे छोटा है {{mvar|y}}, कहो {{math|1=''z'' = 1.42}}, आदि, जैसे कि हम कभी भी कम से कम ऊपरी सीमा नहीं पाते हैं {{mvar|S}} में {{math|'''Q'''}}.
उदाहरण के लिए, लो {{math|1=''x'' = 1.5}}, तब {{mvar|x}} निश्चित रूप से की ऊपरी सीमा {{mvar|S}} है , जबसे {{mvar|x}} धनात्मक है और {{math|1=''x''{{sup|2}} = 2.25 ≥ 2}}; अर्थात् कोई अवयव नहीं {{mvar|S}} से बड़ा है {{mvar|x}}. चूँकि, हम छोटी ऊपरी सीमा चुन सकते हैं, कहते हैं {{math|1=''y'' = 1.45}}; यह की ऊपरी सीमा {{mvar|S}} भी है उन्हीं कारणों से, किन्तु यह इससे छोटा {{mvar|x}} है , इसलिए {{mvar|x}} की कम से कम ऊपरी सीमा {{mvar|S}} नहीं है . हम की ऊपरी सीमा खोजने के लिए इसी तरह {{mvar|S}} आगे बढ़ सकते हैं जो इससे {{mvar|y}} छोटा है , जहाँ {{math|1=''z'' = 1.42}}, आदि, जैसे कि हम कभी भी कम से कम ऊपरी सीमा {{mvar|S}} में {{math|'''Q'''}}. नहीं पाते हैं


[[आंशिक रूप से आदेशित सेट]]ों की सेटिंग के लिए कम से कम ऊपरी बाध्य संपत्ति को सामान्यीकृत किया जा सकता है। पूर्णता देखें (आदेश सिद्धांत)।
[[आंशिक रूप से आदेशित सेट|आंशिक रूप से क्रमबद्ध सेट]] की सेटिंग के लिए कम से कम ऊपरी बाध्य प्रोपर्टी को सामान्यीकृत किया जा सकता है। पूर्णता देखें (आदेश सिद्धांत)।


=== डेडेकिंड पूर्णता ===
=== डेडेकिंड पूर्णता ===
: इस नाम की अधिक सामान्य अवधारणाओं के लिए डेडेकिंड पूर्णता देखें।
: इस नाम की अधिक सामान्य अवधारणाओं के लिए डेडेकिंड पूर्णता देखें।


[[डेडेकाइंड पूर्णता]] वह संपत्ति है जो वास्तविक संख्याओं के प्रत्येक [[डेडेकाइंड कट]] को वास्तविक संख्या द्वारा उत्पन्न करती है। वास्तविक संख्याओं के सिंथेटिक दृष्टिकोण में, यह पूर्णता का संस्करण है जिसे अक्सर स्वयंसिद्ध के रूप में शामिल किया जाता है।
[[डेडेकाइंड पूर्णता]] वह प्रोपर्टी है जो वास्तविक संख्याओं के प्रत्येक [[डेडेकाइंड कट]] को वास्तविक संख्या द्वारा उत्पन्न करती है। वास्तविक संख्याओं के सिंथेटिक दृष्टिकोण में, यह पूर्णता का संस्करण है जिसे अधिकांशतः स्वयंसिद्ध के रूप में सम्मिलित किया जाता है।


परिमेय संख्या 'Q' डेडेकाइंड पूर्ण नहीं है। उदाहरण डेडेकाइंड कट है
परिमेय संख्या 'Q' डेडेकाइंड पूर्ण नहीं है। उदाहरण डेडेकाइंड कट है
:<math>L = \{ x \in \Q \mid x^2 \le 2 \vee x < 0\}.</math>
:<math>L = \{ x \in \Q \mid x^2 \le 2 \vee x < 0\}.</math>
:<math>R = \{ x \in \Q \mid x^2 \ge 2 \wedge x > 0 \}.</math>
:<math>R = \{ x \in \Q \mid x^2 \ge 2 \wedge x > 0 \}.</math>
एल में अधिकतम नहीं है और आर में न्यूनतम नहीं है, इसलिए यह कटौती तर्कसंगत संख्या से उत्पन्न नहीं होती है।
L में अधिकतम नहीं है और आर में न्यूनतम नहीं है, इसलिए यह कटौती तर्कसंगत संख्या से उत्पन्न नहीं होती है।


वास्तविक संख्याओं का निर्माण है # वास्तविक संख्याओं के नाम के लिए परिमेय संख्याओं के डेडेकिंड कट्स का उपयोग करने के विचार के आधार पर डेडेकाइंड कट्स द्वारा निर्माण; उदा. ऊपर वर्णित कट (एल, आर) का नाम होगा <math>\sqrt{2}</math>. यदि कोई डेडेकाइंड कट्स के साथ वास्तविक संख्याओं के निर्माण को दोहराता है (अर्थात, सभी संभव डेडेकाइंड कट्स को जोड़कर वास्तविक संख्याओं के सेट को बंद करें), तो कोई अतिरिक्त संख्या प्राप्त नहीं होगी क्योंकि वास्तविक संख्याएं पहले से ही डेडेकाइंड पूर्ण हैं।
वास्तविक संख्याओं का निर्माण है वास्तविक संख्याओं के नाम के लिए परिमेय संख्याओं के डेडेकिंड कट्स का उपयोग करने के विचार के आधार पर डेडेकाइंड कट्स द्वारा निर्माण; उदा. ऊपर वर्णित कट (L, R) <math>\sqrt{2}</math> का नाम होता है. यदि कोई डेडेकाइंड कट्स के साथ वास्तविक संख्याओं के निर्माण को दोहराता है (अर्थात, सभी संभव डेडेकाइंड कट्स को जोड़कर वास्तविक संख्याओं के समुच्चय को बंद करें), तो कोई अतिरिक्त संख्या प्राप्त नहीं होगी क्योंकि वास्तविक संख्याएं पहले से ही डेडेकाइंड पूर्ण हैं।


=== कॉची पूर्णता ===
=== कॉची पूर्णता ===
Line 37: Line 39:
परिमेय संख्या Q कॉची पूर्ण नहीं है। उदाहरण परिमेय संख्याओं का निम्नलिखित क्रम है:
परिमेय संख्या Q कॉची पूर्ण नहीं है। उदाहरण परिमेय संख्याओं का निम्नलिखित क्रम है:
:<math>3,\quad 3.1,\quad 3.14,\quad 3.142,\quad 3.1416,\quad \ldots</math>
:<math>3,\quad 3.1,\quad 3.14,\quad 3.142,\quad 3.1416,\quad \ldots</math>
यहाँ अनुक्रम में nवाँ पद पाई के लिए nवाँ दशमलव सन्निकटन है। हालांकि यह परिमेय संख्याओं का कौशी अनुक्रम है, यह किसी भी परिमेय संख्या में परिवर्तित नहीं होता है। (इस वास्तविक संख्या रेखा में, यह क्रम पाई में परिवर्तित हो जाता है।)
यहाँ अनुक्रम में nवाँ पद पाई के लिए nवाँ दशमलव सन्निकटन है। चूँकि यह परिमेय संख्याओं का कौशी अनुक्रम है, यह किसी भी परिमेय संख्या में परिवर्तित नहीं होता है। (इस वास्तविक संख्या रेखा में, यह क्रम पाई में परिवर्तित हो जाता है।)


कॉची पूर्णता कॉची अनुक्रमों का उपयोग करके वास्तविक संख्याओं के निर्माण से संबंधित है। अनिवार्य रूप से, यह विधि वास्तविक संख्या को तर्कसंगत संख्याओं के कॉची अनुक्रम की सीमा के रूप में परिभाषित करती है।
कॉची पूर्णता कॉची अनुक्रमों का उपयोग करके वास्तविक संख्याओं के निर्माण से संबंधित है। अनिवार्य रूप से, यह विधि वास्तविक संख्या को तर्कसंगत संख्याओं के कॉची अनुक्रम की सीमा के रूप में परिभाषित करती है।


[[गणितीय विश्लेषण]] में, कॉची पूर्णता को किसी भी [[मीट्रिक स्थान]] के लिए पूर्णता की धारणा के लिए सामान्यीकृत किया जा सकता है। पूर्ण मीट्रिक स्थान देखें।
[[गणितीय विश्लेषण]] में, कॉची पूर्णता को किसी भी [[मीट्रिक स्थान|मीट्रिक समिष्ट]] के लिए पूर्णता की धारणा के लिए सामान्यीकृत किया जा सकता है। पूर्ण मीट्रिक समिष्ट देखें।


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


=== नेस्टेड अंतराल प्रमेय ===
=== नेस्टेड अंतराल प्रमेय ===
{{main|Nested intervals}}
{{main|नेस्टेड अंतराल}}
नेस्टेड अंतराल प्रमेय पूर्णता का दूसरा रूप है। होने देना {{math|1=''I<sub>n</sub>'' = [''a<sub>n</sub>'', ''b<sub>n</sub>'']}} बंद [[अंतराल (गणित)]] का क्रम हो, और मान लीजिए कि ये अंतराल इस अर्थ में नेस्टेड हैं
 
नेस्टेड अंतराल प्रमेय पूर्णता का दूसरा रूप है। मान लीजिए {{math|1=''I<sub>n</sub>'' = [''a<sub>n</sub>'', ''b<sub>n</sub>'']}} बंद [[अंतराल (गणित)]] का क्रम हो, और मान लीजिए कि ये अंतराल इस अर्थ में नेस्टेड हैं
:<math> I_1 \;\supset\; I_2 \;\supset\; I_3 \;\supset\; \cdots </math>
:<math> I_1 \;\supset\; I_2 \;\supset\; I_3 \;\supset\; \cdots </math>
इसके अलावा, मान लीजिए {{math|''b<sub>n</sub>'' − ''a<sub>n</sub>'' → 0}} जैसा {{math|''n'' → +∞}}. नेस्टेड अंतराल प्रमेय कहता है कि सभी अंतरालों का प्रतिच्छेदन (सेट सिद्धांत){{math|''I<sub>n</sub>''}} ठीक बिंदु शामिल है।
इसके अतिरिक्त, मान लीजिए {{math|''b<sub>n</sub>'' − ''a<sub>n</sub>'' → 0}} जैसा {{math|''n'' → +∞}}. नेस्टेड अंतराल प्रमेय कहता है कि सभी अंतरालों का प्रतिच्छेदन (सेट सिद्धांत) {{math|''I<sub>n</sub>''}} ठीक बिंदु सम्मिलित है।


परिमेय संख्या नेस्टेड अंतराल प्रमेय को संतुष्ट नहीं करती है। उदाहरण के लिए, अनुक्रम (जिसकी शर्तें सुझाए गए तरीके से पाई के अंकों से ली गई हैं)
परिमेय संख्या नेस्टेड अंतराल प्रमेय को संतुष्ट नहीं करती है। उदाहरण के लिए, अनुक्रम (जिसकी नियम सुझाए गए विधि से पाई के अंकों से ली गई हैं)
:<math>[3,4] \;\supset\; [3.1,3.2] \;\supset\; [3.14,3.15] \;\supset\; [3.141,3.142] \;\supset\; \cdots </math>
:<math>[3,4] \;\supset\; [3.1,3.2] \;\supset\; [3.14,3.15] \;\supset\; [3.141,3.142] \;\supset\; \cdots </math>
परिमेय संख्याओं में बंद अंतरालों का नेस्टेड अनुक्रम है जिसका प्रतिच्छेदन खाली है। (वास्तविक संख्या में, इन अंतरालों के प्रतिच्छेदन में संख्या पाई होती है।)
परिमेय संख्याओं में बंद अंतरालों का नेस्टेड अनुक्रम है जिसका प्रतिच्छेदन रिक्त है। (वास्तविक संख्या में, इन अंतरालों के प्रतिच्छेदन में संख्या पाई होती है।)


नेस्टेड अंतराल प्रमेय पूर्णता के भावों के इस स्पेक्ट्रम में कॉची पूर्णता के समान तार्किक स्थिति साझा करता है। दूसरे शब्दों में, नेस्टेड अंतराल प्रमेय अपने आप में पूर्णता के अन्य रूपों की तुलना में कमजोर है, हालांकि आर्किमिडीयन संपत्ति के साथ मिलकर, यह दूसरों के बराबर है।
नेस्टेड अंतराल प्रमेय पूर्णता के भावों के इस स्पेक्ट्रम में कॉची पूर्णता के समान तार्किक स्थिति साझा करता है। दूसरे शब्दों में, नेस्टेड अंतराल प्रमेय अपने आप में पूर्णता के अन्य रूपों की तुलना में अशक्त है, चूँकि आर्किमिडीयन प्रोपर्टी के साथ मिलकर, यह दूसरों के समान है।


=== खुला प्रेरण सिद्धांत ===
=== खुला प्रेरण सिद्धांत ===
ओपन इंडक्शन सिद्धांत कहता है कि खुला उपसमुच्चय <math>S</math> अंतराल का <math>[a,b]</math> पूरे अंतराल के बराबर होना चाहिए, यदि कोई हो <math>r \in [a,b]</math>, हमारे पास वह है <math>[a,r) \subset S</math> तात्पर्य <math>[a,r] \subset S</math>.
ओपन इंडक्शन सिद्धांत कहता है कि खुला उपसमुच्चय <math>S</math> अंतराल का <math>[a,b]</math> पूरे अंतराल के समान होना चाहिए, यदि कोई हो <math>r \in [a,b]</math>, हमारे पास वह <math>[a,r) \subset S</math> तात्पर्य <math>[a,r] \subset S</math> है.


ओपन इंडक्शन सिद्धांत को ऑर्डर टोपोलॉजी के तहत मनमाने ढंग से ऑर्डर किए गए सेट के लिए डेडेकिंड पूर्णता के बराबर दिखाया जा सकता है, विरोधाभास द्वारा प्रमाण का उपयोग करके। कमजोर नींव में जैसे कि [[रचनात्मक विश्लेषण]] में जहां बहिष्कृत मध्य का कानून पकड़ में नहीं आता है, कम से कम ऊपरी बाध्य संपत्ति का पूर्ण रूप डेडेकाइंड रियल के लिए विफल रहता है, जबकि खुली प्रेरण संपत्ति अधिकांश मॉडलों में सही रहती है (ब्राउवर के बार प्रमेय से निम्नलिखित) ) और प्रमुख प्रमेयों के संक्षिप्त प्रमाण देने के लिए पर्याप्त मजबूत है।
ओपन इंडक्शन सिद्धांत को ऑर्डर टोपोलॉजी के अनुसार इच्छानुसार से ऑर्डर किए गए समुच्चय के लिए डेडेकिंड पूर्णता के समान दिखाया जा सकता है, विरोधाभास द्वारा प्रमाण का उपयोग करके अशक्त नींव में जैसे कि [[रचनात्मक विश्लेषण]] में जहां बहिष्कृत मध्य का नियम पकड़ में नहीं आता है, कम से कम ऊपरी बाध्य प्रोपर्टी का पूर्ण रूप डेडेकाइंड रियल के लिए विफल रहता है, जबकि विवृत प्रेरण प्रोपर्टी अधिकांश मॉडलों में सही रहती है (ब्राउवर के बार प्रमेय से निम्नलिखित) ) और प्रमुख प्रमेयों के संक्षिप्त प्रमाण देने के लिए पर्याप्त सशक्त है।


=== मोनोटोन अभिसरण प्रमेय ===
=== मोनोटोन अभिसरण प्रमेय ===
मोनोटोन अभिसरण प्रमेय # वास्तविक संख्याओं के मोनोटोन अनुक्रम का अभिसरण (कोर्नर द्वारा विश्लेषण के मौलिक स्वयंसिद्ध के रूप में वर्णित){{r|Körner2004}}) बताता है कि वास्तविक संख्याओं का प्रत्येक गैर-घटता हुआ, परिबद्ध क्रम अभिसरित होता है। इसे कम से कम ऊपरी बाध्य संपत्ति के विशेष मामले के रूप में देखा जा सकता है, लेकिन वास्तविक संख्याओं की कॉची पूर्णता को साबित करने के लिए इसका सीधे तौर पर उपयोग किया जा सकता है।
मोनोटोन अभिसरण प्रमेय वास्तविक संख्याओं के मोनोटोन अनुक्रम का अभिसरण (कोर्नर द्वारा विश्लेषण के मौलिक स्वयंसिद्ध के रूप में वर्णित) {{r|Körner2004}}) बताता है कि वास्तविक संख्याओं का प्रत्येक गैर-घटता हुआ, परिबद्ध क्रम अभिसरित होता है। इसे कम से कम ऊपरी बाध्य प्रोपर्टी के विशेष स्थिति के रूप में देखा जा सकता है, किन्तु वास्तविक संख्याओं की कॉची पूर्णता को सिद्ध करने के लिए इसका सामान्यतः उपयोग किया जा सकता है।


===बोल्जानो–वीयरस्ट्रास प्रमेय===
===बोल्जानो–वीयरस्ट्रास प्रमेय===
Bolzano-Weierstrass प्रमेय कहता है कि वास्तविक संख्याओं के प्रत्येक परिबद्ध अनुक्रम का अभिसरण परिणाम होता है। पुनः, यह प्रमेय ऊपर दी गई पूर्णता के अन्य रूपों के समतुल्य है।
बोलजानो-विअरस्ट्रास प्रमेय कहता है कि वास्तविक संख्याओं के प्रत्येक परिबद्ध अनुक्रम का अभिसरण परिणाम होता है। इस प्रकार पुनः, यह प्रमेय ऊपर दी गई पूर्णता के अन्य रूपों के समतुल्य है।


=== [[मध्यवर्ती मूल्य प्रमेय]] ===
=== [[मध्यवर्ती मूल्य प्रमेय]] ===
मध्यवर्ती मूल्य प्रमेय कहता है कि प्रत्येक निरंतर कार्य जो नकारात्मक और सकारात्मक दोनों मूल्यों को प्राप्त करता है, उसकी जड़ होती है। यह कम से कम ऊपरी बाध्य संपत्ति का परिणाम है, लेकिन इसका उपयोग कम से कम ऊपरी बाध्य संपत्ति को साबित करने के लिए भी किया जा सकता है, अगर इसे स्वयंसिद्ध के रूप में माना जाता है। (निरंतरता की परिभाषा पूर्णता के किसी भी रूप पर निर्भर नहीं करती है, इसलिए यह गोलाकार नहीं है।)
मध्यवर्ती मूल्य प्रमेय कहता है कि प्रत्येक निरंतर कार्य जो ऋणात्मक और धनात्मक दोनों मूल्यों को प्राप्त करता है, उसकी रूट होती है। यह कम से कम ऊपरी बाध्य प्रोपर्टी का परिणाम है, किन्तु इसका उपयोग कम से कम ऊपरी बाध्य प्रोपर्टी को सिद्ध करने के लिए भी किया जा सकता है, यदि इसे स्वयंसिद्ध के रूप में माना जाता है। (निरंतरता की परिभाषा पूर्णता के किसी भी रूप पर निर्भर नहीं करती है, इसलिए यह वृत्ताकार नहीं है।)


== यह भी देखें ==
== यह भी देखें                                                                                                                                                                                                                                         ==
* [[वास्तविक विश्लेषण विषयों की सूची]]
* [[वास्तविक विश्लेषण विषयों की सूची]]


==संदर्भ==
==संदर्भ                                                                                                                             ==
{{reflist|refs=
{{reflist|refs=
<ref name=Körner2004>{{cite book |last=Körner |first=Thomas William |author-link=Thomas William Körner |date=2004 |title=A companion to analysis: a second first and first second course in analysis |publisher=AMS Chelsea |isbn=9780821834473}}</ref>
<ref name=Körner2004>{{cite book |last=Körner |first=Thomas William |author-link=Thomas William Körner |date=2004 |title=A companion to analysis: a second first and first second course in analysis |publisher=AMS Chelsea |isbn=9780821834473}}</ref>
}}
}}
==आगे की पढाई==
==आगे की पढाई==
* {{cite book |last1=Aliprantis |first1=Charalambos D. |author-link1=Charalambos D. Aliprantis |last2=Burkinshaw |first2=Owen |date=1998 |title =Principles of real analysis |edition=3rd |publisher=Academic |isbn=0-12-050257-7}}
* {{cite book |last1=Aliprantis |first1=Charalambos D. |author-link1=Charalambos D. Aliprantis |last2=Burkinshaw |first2=Owen |date=1998 |title =Principles of real analysis |edition=3rd |publisher=Academic |isbn=0-12-050257-7}}
Line 88: Line 89:
* {{cite book |author1=Dangello, Frank  |author2=Seyfried, Michael |date=1999 |title=Introductory Real Analysis |publisher=Brooks Cole |isbn=9780395959336 }}
* {{cite book |author1=Dangello, Frank  |author2=Seyfried, Michael |date=1999 |title=Introductory Real Analysis |publisher=Brooks Cole |isbn=9780395959336 }}
*{{cite book |author=Bressoud, David |date=2007 |title=A Radical Approach to Real Analysis |publisher=[[Mathematical Association of America|MAA]] |isbn=978-0-88385-747-2 }}
*{{cite book |author=Bressoud, David |date=2007 |title=A Radical Approach to Real Analysis |publisher=[[Mathematical Association of America|MAA]] |isbn=978-0-88385-747-2 }}
[[Category: वास्तविक संख्या]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 27/01/2023]]
[[Category:Created On 27/01/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:वास्तविक संख्या]]

Latest revision as of 13:09, 4 August 2023

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

उपयोग की गई वास्तविक संख्याओं के निर्माण के आधार पर, पूर्णता स्वयंसिद्ध (पूर्णता स्वयंसिद्ध) का रूप ले सकती है, या निर्माण से सिद्ध प्रमेय हो सकती है। पूर्णता के कई तार्किक तुल्यता रूप हैं, सबसे प्रमुख डेडेकिंड पूर्णता और कॉची पूर्णता (पूर्ण मीट्रिक समिष्ट) हैं।

पूर्णता के रूप

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

न्यूनतम ऊपरी सीमा वाली प्रोपर्टी

सबसे कम-ऊपरी-बाध्य प्रोपर्टी बताती है कि ऊपरी सीमा वाले वास्तविक संख्याओं के प्रत्येक गैर-रिक्त उपसमुच्चय में वास्तविक संख्याओं के समुच्चय में कम से कम ऊपरी सीमा (या सर्वोच्च) होनी चाहिए।

परिमेय संख्या Q में न्यूनतम उपरी परिबद्ध गुण नहीं है। उदाहरण परिमेय संख्याओं का उपसमुच्चय है

इस समुच्चय की ऊपरी सीमा होती है। चूँकि, इस समुच्चय Q में कम से कम ऊपरी सीमा नहीं है : वास्तविक के उपसमुच्चय के रूप में सबसे कम ऊपरी सीमा √2 होती है , किन्तु यह Q अंदर उपस्थित नहीं है किसी ऊपरी सीमा xQ के लिए , और ऊपरी सीमा yQ है


उदाहरण के लिए, लो x = 1.5, तब x निश्चित रूप से की ऊपरी सीमा S है , जबसे x धनात्मक है और x2 = 2.25 ≥ 2; अर्थात् कोई अवयव नहीं S से बड़ा है x. चूँकि, हम छोटी ऊपरी सीमा चुन सकते हैं, कहते हैं y = 1.45; यह की ऊपरी सीमा S भी है उन्हीं कारणों से, किन्तु यह इससे छोटा x है , इसलिए x की कम से कम ऊपरी सीमा S नहीं है . हम की ऊपरी सीमा खोजने के लिए इसी तरह S आगे बढ़ सकते हैं जो इससे y छोटा है , जहाँ z = 1.42, आदि, जैसे कि हम कभी भी कम से कम ऊपरी सीमा S में Q. नहीं पाते हैं

आंशिक रूप से क्रमबद्ध सेट की सेटिंग के लिए कम से कम ऊपरी बाध्य प्रोपर्टी को सामान्यीकृत किया जा सकता है। पूर्णता देखें (आदेश सिद्धांत)।

डेडेकिंड पूर्णता

इस नाम की अधिक सामान्य अवधारणाओं के लिए डेडेकिंड पूर्णता देखें।

डेडेकाइंड पूर्णता वह प्रोपर्टी है जो वास्तविक संख्याओं के प्रत्येक डेडेकाइंड कट को वास्तविक संख्या द्वारा उत्पन्न करती है। वास्तविक संख्याओं के सिंथेटिक दृष्टिकोण में, यह पूर्णता का संस्करण है जिसे अधिकांशतः स्वयंसिद्ध के रूप में सम्मिलित किया जाता है।

परिमेय संख्या 'Q' डेडेकाइंड पूर्ण नहीं है। उदाहरण डेडेकाइंड कट है

L में अधिकतम नहीं है और आर में न्यूनतम नहीं है, इसलिए यह कटौती तर्कसंगत संख्या से उत्पन्न नहीं होती है।

वास्तविक संख्याओं का निर्माण है वास्तविक संख्याओं के नाम के लिए परिमेय संख्याओं के डेडेकिंड कट्स का उपयोग करने के विचार के आधार पर डेडेकाइंड कट्स द्वारा निर्माण; उदा. ऊपर वर्णित कट (L, R) का नाम होता है. यदि कोई डेडेकाइंड कट्स के साथ वास्तविक संख्याओं के निर्माण को दोहराता है (अर्थात, सभी संभव डेडेकाइंड कट्स को जोड़कर वास्तविक संख्याओं के समुच्चय को बंद करें), तो कोई अतिरिक्त संख्या प्राप्त नहीं होगी क्योंकि वास्तविक संख्याएं पहले से ही डेडेकाइंड पूर्ण हैं।

कॉची पूर्णता

कॉशी पूर्णता यह कथन है कि वास्तविक संख्याओं का प्रत्येक कॉची अनुक्रम वास्तविक संख्या में अनुक्रमों को अभिसरण करता है।

परिमेय संख्या Q कॉची पूर्ण नहीं है। उदाहरण परिमेय संख्याओं का निम्नलिखित क्रम है:

यहाँ अनुक्रम में nवाँ पद पाई के लिए nवाँ दशमलव सन्निकटन है। चूँकि यह परिमेय संख्याओं का कौशी अनुक्रम है, यह किसी भी परिमेय संख्या में परिवर्तित नहीं होता है। (इस वास्तविक संख्या रेखा में, यह क्रम पाई में परिवर्तित हो जाता है।)

कॉची पूर्णता कॉची अनुक्रमों का उपयोग करके वास्तविक संख्याओं के निर्माण से संबंधित है। अनिवार्य रूप से, यह विधि वास्तविक संख्या को तर्कसंगत संख्याओं के कॉची अनुक्रम की सीमा के रूप में परिभाषित करती है।

गणितीय विश्लेषण में, कॉची पूर्णता को किसी भी मीट्रिक समिष्ट के लिए पूर्णता की धारणा के लिए सामान्यीकृत किया जा सकता है। पूर्ण मीट्रिक समिष्ट देखें।

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

नेस्टेड अंतराल प्रमेय

नेस्टेड अंतराल प्रमेय पूर्णता का दूसरा रूप है। मान लीजिए In = [an, bn] बंद अंतराल (गणित) का क्रम हो, और मान लीजिए कि ये अंतराल इस अर्थ में नेस्टेड हैं

इसके अतिरिक्त, मान लीजिए bnan → 0 जैसा n → +∞. नेस्टेड अंतराल प्रमेय कहता है कि सभी अंतरालों का प्रतिच्छेदन (सेट सिद्धांत) In ठीक बिंदु सम्मिलित है।

परिमेय संख्या नेस्टेड अंतराल प्रमेय को संतुष्ट नहीं करती है। उदाहरण के लिए, अनुक्रम (जिसकी नियम सुझाए गए विधि से पाई के अंकों से ली गई हैं)

परिमेय संख्याओं में बंद अंतरालों का नेस्टेड अनुक्रम है जिसका प्रतिच्छेदन रिक्त है। (वास्तविक संख्या में, इन अंतरालों के प्रतिच्छेदन में संख्या पाई होती है।)

नेस्टेड अंतराल प्रमेय पूर्णता के भावों के इस स्पेक्ट्रम में कॉची पूर्णता के समान तार्किक स्थिति साझा करता है। दूसरे शब्दों में, नेस्टेड अंतराल प्रमेय अपने आप में पूर्णता के अन्य रूपों की तुलना में अशक्त है, चूँकि आर्किमिडीयन प्रोपर्टी के साथ मिलकर, यह दूसरों के समान है।

खुला प्रेरण सिद्धांत

ओपन इंडक्शन सिद्धांत कहता है कि खुला उपसमुच्चय अंतराल का पूरे अंतराल के समान होना चाहिए, यदि कोई हो , हमारे पास वह तात्पर्य है.

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

मोनोटोन अभिसरण प्रमेय

मोनोटोन अभिसरण प्रमेय वास्तविक संख्याओं के मोनोटोन अनुक्रम का अभिसरण (कोर्नर द्वारा विश्लेषण के मौलिक स्वयंसिद्ध के रूप में वर्णित) [1]) बताता है कि वास्तविक संख्याओं का प्रत्येक गैर-घटता हुआ, परिबद्ध क्रम अभिसरित होता है। इसे कम से कम ऊपरी बाध्य प्रोपर्टी के विशेष स्थिति के रूप में देखा जा सकता है, किन्तु वास्तविक संख्याओं की कॉची पूर्णता को सिद्ध करने के लिए इसका सामान्यतः उपयोग किया जा सकता है।

बोल्जानो–वीयरस्ट्रास प्रमेय

बोलजानो-विअरस्ट्रास प्रमेय कहता है कि वास्तविक संख्याओं के प्रत्येक परिबद्ध अनुक्रम का अभिसरण परिणाम होता है। इस प्रकार पुनः, यह प्रमेय ऊपर दी गई पूर्णता के अन्य रूपों के समतुल्य है।

मध्यवर्ती मूल्य प्रमेय

मध्यवर्ती मूल्य प्रमेय कहता है कि प्रत्येक निरंतर कार्य जो ऋणात्मक और धनात्मक दोनों मूल्यों को प्राप्त करता है, उसकी रूट होती है। यह कम से कम ऊपरी बाध्य प्रोपर्टी का परिणाम है, किन्तु इसका उपयोग कम से कम ऊपरी बाध्य प्रोपर्टी को सिद्ध करने के लिए भी किया जा सकता है, यदि इसे स्वयंसिद्ध के रूप में माना जाता है। (निरंतरता की परिभाषा पूर्णता के किसी भी रूप पर निर्भर नहीं करती है, इसलिए यह वृत्ताकार नहीं है।)

यह भी देखें

संदर्भ

  1. Körner, Thomas William (2004). A companion to analysis: a second first and first second course in analysis. AMS Chelsea. ISBN 9780821834473.

आगे की पढाई