वास्तविक संख्याओं की पूर्णता: Difference between revisions
(Created page with "{{Distinguish|Completeness (logic)}} {{Use shortened footnotes|date=May 2021}} पूर्णता वास्तविक संख्याओं की एक सं...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Distinguish|Completeness (logic)}} | {{Distinguish|Completeness (logic)}} | ||
पूर्णता [[वास्तविक संख्या]]ओं की संपत्ति है, जो सहज रूप से दर्शाती है कि [[वास्तविक रेखा]] में कोई अंतराल (डेडेकाइंड की शब्दावली में) या लापता बिंदु नहीं हैं। यह परिमेय संख्याओं के विपरीत है, जिनकी संगत संख्या रेखा में प्रत्येक [[अपरिमेय संख्या]] मान पर अंतर होता है। [[दशमलव]] में, पूर्णता इस कथन के समतुल्य है कि दशमलव अंकों की कोई भी अनंत स्ट्रिंग वास्तव में किसी वास्तविक संख्या के लिए [[दशमलव प्रतिनिधित्व]] है। | |||
उपयोग की गई वास्तविक संख्याओं के निर्माण के आधार पर, पूर्णता | उपयोग की गई वास्तविक संख्याओं के निर्माण के आधार पर, पूर्णता [[स्वयंसिद्ध]] (पूर्णता स्वयंसिद्ध) का रूप ले सकती है, या निर्माण से सिद्ध [[प्रमेय]] हो सकती है। पूर्णता के कई तार्किक तुल्यता रूप हैं, सबसे प्रमुख डेडेकिंड पूर्णता और कॉची पूर्णता ([[पूर्ण मीट्रिक स्थान]]) हैं। | ||
== पूर्णता के रूप == | == पूर्णता के रूप == | ||
[[वास्तविक संख्या]]एँ वास्तविक संख्याओं का निर्माण हो सकती हैं # सिंथेटिक दृष्टिकोण | [[वास्तविक संख्या]]एँ वास्तविक संख्याओं का निर्माण हो सकती हैं # सिंथेटिक दृष्टिकोण [[आदेशित क्षेत्र]] के रूप में पूर्णता स्वयंसिद्ध के कुछ संस्करण को संतुष्ट करता है। इस स्वयंसिद्ध के विभिन्न संस्करण इस मायने में समान हैं कि कोई भी आदेशित क्षेत्र जो पूर्णता के रूप को संतुष्ट करता है, कॉची पूर्णता और नेस्टेड अंतराल प्रमेय के अलावा उन सभी को संतुष्ट करता है, जो कि गैर-आर्किमिडीयन आदेशित फ़ील्ड आर्किमिडीयन संपत्ति में सख्ती से कमजोर हैं। जो आदेशित हैं और कॉची पूर्ण हैं। जब मॉडल का उपयोग करके वास्तविक संख्या का निर्माण किया जाता है, तो पूर्णता प्रमेय या प्रमेयों का संग्रह बन जाती है। | ||
=== कम से कम ऊपरी बाध्य संपत्ति === | === कम से कम ऊपरी बाध्य संपत्ति === | ||
Line 11: | Line 11: | ||
सबसे कम-ऊपरी-बाध्य संपत्ति बताती है कि [[ऊपरी सीमा]] वाले वास्तविक संख्याओं के प्रत्येक गैर-रिक्त उपसमुच्चय में वास्तविक संख्याओं के सेट में [[कम से कम ऊपरी सीमा]] (या सर्वोच्च) होनी चाहिए। | सबसे कम-ऊपरी-बाध्य संपत्ति बताती है कि [[ऊपरी सीमा]] वाले वास्तविक संख्याओं के प्रत्येक गैर-रिक्त उपसमुच्चय में वास्तविक संख्याओं के सेट में [[कम से कम ऊपरी सीमा]] (या सर्वोच्च) होनी चाहिए। | ||
परिमेय संख्या 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|''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=''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'''}}. | ||
[[आंशिक रूप से आदेशित सेट]]ों की सेटिंग के लिए कम से कम ऊपरी बाध्य संपत्ति को सामान्यीकृत किया जा सकता है। पूर्णता देखें (आदेश सिद्धांत)। | [[आंशिक रूप से आदेशित सेट]]ों की सेटिंग के लिए कम से कम ऊपरी बाध्य संपत्ति को सामान्यीकृत किया जा सकता है। पूर्णता देखें (आदेश सिद्धांत)। | ||
Line 23: | Line 23: | ||
: इस नाम की अधिक सामान्य अवधारणाओं के लिए डेडेकिंड पूर्णता देखें। | : इस नाम की अधिक सामान्य अवधारणाओं के लिए डेडेकिंड पूर्णता देखें। | ||
[[डेडेकाइंड पूर्णता]] वह संपत्ति है जो वास्तविक संख्याओं के प्रत्येक [[डेडेकाइंड कट]] को | [[डेडेकाइंड पूर्णता]] वह संपत्ति है जो वास्तविक संख्याओं के प्रत्येक [[डेडेकाइंड कट]] को वास्तविक संख्या द्वारा उत्पन्न करती है। वास्तविक संख्याओं के सिंथेटिक दृष्टिकोण में, यह पूर्णता का संस्करण है जिसे अक्सर स्वयंसिद्ध के रूप में शामिल किया जाता है। | ||
परिमेय संख्या '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> | ||
एल में अधिकतम नहीं है और आर में न्यूनतम नहीं है, इसलिए यह कटौती तर्कसंगत संख्या से उत्पन्न नहीं होती है। | एल में अधिकतम नहीं है और आर में न्यूनतम नहीं है, इसलिए यह कटौती तर्कसंगत संख्या से उत्पन्न नहीं होती है। | ||
वास्तविक संख्याओं का | वास्तविक संख्याओं का निर्माण है # वास्तविक संख्याओं के नाम के लिए परिमेय संख्याओं के डेडेकिंड कट्स का उपयोग करने के विचार के आधार पर डेडेकाइंड कट्स द्वारा निर्माण; उदा. ऊपर वर्णित कट (एल, आर) का नाम होगा <math>\sqrt{2}</math>. यदि कोई डेडेकाइंड कट्स के साथ वास्तविक संख्याओं के निर्माण को दोहराता है (अर्थात, सभी संभव डेडेकाइंड कट्स को जोड़कर वास्तविक संख्याओं के सेट को बंद करें), तो कोई अतिरिक्त संख्या प्राप्त नहीं होगी क्योंकि वास्तविक संख्याएं पहले से ही डेडेकाइंड पूर्ण हैं। | ||
=== कॉची पूर्णता === | === कॉची पूर्णता === | ||
कॉशी पूर्णता यह कथन है कि वास्तविक संख्याओं का प्रत्येक [[कॉची अनुक्रम]] | कॉशी पूर्णता यह कथन है कि वास्तविक संख्याओं का प्रत्येक [[कॉची अनुक्रम]] वास्तविक संख्या में अनुक्रमों को अभिसरण करता है। | ||
परिमेय संख्या 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|Nested intervals}} | ||
नेस्टेड अंतराल प्रमेय पूर्णता का दूसरा रूप है। होने देना {{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>''}} ठीक बिंदु शामिल है। | ||
परिमेय संख्या नेस्टेड अंतराल प्रमेय को संतुष्ट नहीं करती है। उदाहरण के लिए, अनुक्रम (जिसकी शर्तें सुझाए गए तरीके से पाई के अंकों से ली गई हैं) | परिमेय संख्या नेस्टेड अंतराल प्रमेय को संतुष्ट नहीं करती है। उदाहरण के लिए, अनुक्रम (जिसकी शर्तें सुझाए गए तरीके से पाई के अंकों से ली गई हैं) | ||
Line 58: | Line 58: | ||
=== खुला प्रेरण सिद्धांत === | === खुला प्रेरण सिद्धांत === | ||
ओपन इंडक्शन सिद्धांत कहता है कि | ओपन इंडक्शन सिद्धांत कहता है कि खुला उपसमुच्चय <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}}) बताता है कि वास्तविक संख्याओं का प्रत्येक गैर-घटता हुआ, परिबद्ध क्रम अभिसरित होता है। इसे कम से कम ऊपरी बाध्य संपत्ति के विशेष मामले के रूप में देखा जा सकता है, लेकिन वास्तविक संख्याओं की कॉची पूर्णता को साबित करने के लिए इसका सीधे तौर पर उपयोग किया जा सकता है। | ||
===बोल्जानो–वीयरस्ट्रास प्रमेय=== | ===बोल्जानो–वीयरस्ट्रास प्रमेय=== | ||
Line 69: | Line 69: | ||
=== [[मध्यवर्ती मूल्य प्रमेय]] === | === [[मध्यवर्ती मूल्य प्रमेय]] === | ||
मध्यवर्ती मूल्य प्रमेय कहता है कि प्रत्येक निरंतर कार्य जो नकारात्मक और सकारात्मक दोनों मूल्यों को प्राप्त करता है, उसकी | मध्यवर्ती मूल्य प्रमेय कहता है कि प्रत्येक निरंतर कार्य जो नकारात्मक और सकारात्मक दोनों मूल्यों को प्राप्त करता है, उसकी जड़ होती है। यह कम से कम ऊपरी बाध्य संपत्ति का परिणाम है, लेकिन इसका उपयोग कम से कम ऊपरी बाध्य संपत्ति को साबित करने के लिए भी किया जा सकता है, अगर इसे स्वयंसिद्ध के रूप में माना जाता है। (निरंतरता की परिभाषा पूर्णता के किसी भी रूप पर निर्भर नहीं करती है, इसलिए यह गोलाकार नहीं है।) | ||
== यह भी देखें == | == यह भी देखें == | ||
Line 88: | Line 88: | ||
* {{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: वास्तविक संख्या]] | ||
Revision as of 11:30, 24 July 2023
पूर्णता वास्तविक संख्याओं की संपत्ति है, जो सहज रूप से दर्शाती है कि वास्तविक रेखा में कोई अंतराल (डेडेकाइंड की शब्दावली में) या लापता बिंदु नहीं हैं। यह परिमेय संख्याओं के विपरीत है, जिनकी संगत संख्या रेखा में प्रत्येक अपरिमेय संख्या मान पर अंतर होता है। दशमलव में, पूर्णता इस कथन के समतुल्य है कि दशमलव अंकों की कोई भी अनंत स्ट्रिंग वास्तव में किसी वास्तविक संख्या के लिए दशमलव प्रतिनिधित्व है।
उपयोग की गई वास्तविक संख्याओं के निर्माण के आधार पर, पूर्णता स्वयंसिद्ध (पूर्णता स्वयंसिद्ध) का रूप ले सकती है, या निर्माण से सिद्ध प्रमेय हो सकती है। पूर्णता के कई तार्किक तुल्यता रूप हैं, सबसे प्रमुख डेडेकिंड पूर्णता और कॉची पूर्णता (पूर्ण मीट्रिक स्थान) हैं।
पूर्णता के रूप
वास्तविक संख्याएँ वास्तविक संख्याओं का निर्माण हो सकती हैं # सिंथेटिक दृष्टिकोण आदेशित क्षेत्र के रूप में पूर्णता स्वयंसिद्ध के कुछ संस्करण को संतुष्ट करता है। इस स्वयंसिद्ध के विभिन्न संस्करण इस मायने में समान हैं कि कोई भी आदेशित क्षेत्र जो पूर्णता के रूप को संतुष्ट करता है, कॉची पूर्णता और नेस्टेड अंतराल प्रमेय के अलावा उन सभी को संतुष्ट करता है, जो कि गैर-आर्किमिडीयन आदेशित फ़ील्ड आर्किमिडीयन संपत्ति में सख्ती से कमजोर हैं। जो आदेशित हैं और कॉची पूर्ण हैं। जब मॉडल का उपयोग करके वास्तविक संख्या का निर्माण किया जाता है, तो पूर्णता प्रमेय या प्रमेयों का संग्रह बन जाती है।
कम से कम ऊपरी बाध्य संपत्ति
सबसे कम-ऊपरी-बाध्य संपत्ति बताती है कि ऊपरी सीमा वाले वास्तविक संख्याओं के प्रत्येक गैर-रिक्त उपसमुच्चय में वास्तविक संख्याओं के सेट में कम से कम ऊपरी सीमा (या सर्वोच्च) होनी चाहिए।
परिमेय संख्या Q में न्यूनतम उपरी परिबद्ध गुण नहीं है। उदाहरण परिमेय संख्याओं का सबसेट है
इस सेट की ऊपरी सीमा होती है। हालाँकि, इस सेट में कम से कम ऊपरी सीमा नहीं है Q: वास्तविक के सबसेट के रूप में सबसे कम ऊपरी सीमा होगी √2, लेकिन यह अंदर मौजूद नहीं है Q. किसी ऊपरी सीमा के लिए x ∈ Q, और ऊपरी सीमा है y ∈ Q साथ y < x.
उदाहरण के लिए, लो 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' डेडेकाइंड पूर्ण नहीं है। उदाहरण डेडेकाइंड कट है
एल में अधिकतम नहीं है और आर में न्यूनतम नहीं है, इसलिए यह कटौती तर्कसंगत संख्या से उत्पन्न नहीं होती है।
वास्तविक संख्याओं का निर्माण है # वास्तविक संख्याओं के नाम के लिए परिमेय संख्याओं के डेडेकिंड कट्स का उपयोग करने के विचार के आधार पर डेडेकाइंड कट्स द्वारा निर्माण; उदा. ऊपर वर्णित कट (एल, आर) का नाम होगा . यदि कोई डेडेकाइंड कट्स के साथ वास्तविक संख्याओं के निर्माण को दोहराता है (अर्थात, सभी संभव डेडेकाइंड कट्स को जोड़कर वास्तविक संख्याओं के सेट को बंद करें), तो कोई अतिरिक्त संख्या प्राप्त नहीं होगी क्योंकि वास्तविक संख्याएं पहले से ही डेडेकाइंड पूर्ण हैं।
कॉची पूर्णता
कॉशी पूर्णता यह कथन है कि वास्तविक संख्याओं का प्रत्येक कॉची अनुक्रम वास्तविक संख्या में अनुक्रमों को अभिसरण करता है।
परिमेय संख्या Q कॉची पूर्ण नहीं है। उदाहरण परिमेय संख्याओं का निम्नलिखित क्रम है:
यहाँ अनुक्रम में nवाँ पद पाई के लिए nवाँ दशमलव सन्निकटन है। हालांकि यह परिमेय संख्याओं का कौशी अनुक्रम है, यह किसी भी परिमेय संख्या में परिवर्तित नहीं होता है। (इस वास्तविक संख्या रेखा में, यह क्रम पाई में परिवर्तित हो जाता है।)
कॉची पूर्णता कॉची अनुक्रमों का उपयोग करके वास्तविक संख्याओं के निर्माण से संबंधित है। अनिवार्य रूप से, यह विधि वास्तविक संख्या को तर्कसंगत संख्याओं के कॉची अनुक्रम की सीमा के रूप में परिभाषित करती है।
गणितीय विश्लेषण में, कॉची पूर्णता को किसी भी मीट्रिक स्थान के लिए पूर्णता की धारणा के लिए सामान्यीकृत किया जा सकता है। पूर्ण मीट्रिक स्थान देखें।
एक आदेशित क्षेत्र के लिए, कॉची पूर्णता इस पृष्ठ पर पूर्णता के अन्य रूपों की तुलना में कमजोर है। लेकिन कॉशी पूर्णता और आर्किमिडीयन संपत्ति को साथ लिया जाना दूसरों के बराबर है।
नेस्टेड अंतराल प्रमेय
नेस्टेड अंतराल प्रमेय पूर्णता का दूसरा रूप है। होने देना In = [an, bn] बंद अंतराल (गणित) का क्रम हो, और मान लीजिए कि ये अंतराल इस अर्थ में नेस्टेड हैं
इसके अलावा, मान लीजिए bn − an → 0 जैसा n → +∞. नेस्टेड अंतराल प्रमेय कहता है कि सभी अंतरालों का प्रतिच्छेदन (सेट सिद्धांत)। In ठीक बिंदु शामिल है।
परिमेय संख्या नेस्टेड अंतराल प्रमेय को संतुष्ट नहीं करती है। उदाहरण के लिए, अनुक्रम (जिसकी शर्तें सुझाए गए तरीके से पाई के अंकों से ली गई हैं)
परिमेय संख्याओं में बंद अंतरालों का नेस्टेड अनुक्रम है जिसका प्रतिच्छेदन खाली है। (वास्तविक संख्या में, इन अंतरालों के प्रतिच्छेदन में संख्या पाई होती है।)
नेस्टेड अंतराल प्रमेय पूर्णता के भावों के इस स्पेक्ट्रम में कॉची पूर्णता के समान तार्किक स्थिति साझा करता है। दूसरे शब्दों में, नेस्टेड अंतराल प्रमेय अपने आप में पूर्णता के अन्य रूपों की तुलना में कमजोर है, हालांकि आर्किमिडीयन संपत्ति के साथ मिलकर, यह दूसरों के बराबर है।
खुला प्रेरण सिद्धांत
ओपन इंडक्शन सिद्धांत कहता है कि खुला उपसमुच्चय अंतराल का पूरे अंतराल के बराबर होना चाहिए, यदि कोई हो , हमारे पास वह है तात्पर्य .
ओपन इंडक्शन सिद्धांत को ऑर्डर टोपोलॉजी के तहत मनमाने ढंग से ऑर्डर किए गए सेट के लिए डेडेकिंड पूर्णता के बराबर दिखाया जा सकता है, विरोधाभास द्वारा प्रमाण का उपयोग करके। कमजोर नींव में जैसे कि रचनात्मक विश्लेषण में जहां बहिष्कृत मध्य का कानून पकड़ में नहीं आता है, कम से कम ऊपरी बाध्य संपत्ति का पूर्ण रूप डेडेकाइंड रियल के लिए विफल रहता है, जबकि खुली प्रेरण संपत्ति अधिकांश मॉडलों में सही रहती है (ब्राउवर के बार प्रमेय से निम्नलिखित) ) और प्रमुख प्रमेयों के संक्षिप्त प्रमाण देने के लिए पर्याप्त मजबूत है।
मोनोटोन अभिसरण प्रमेय
मोनोटोन अभिसरण प्रमेय # वास्तविक संख्याओं के मोनोटोन अनुक्रम का अभिसरण (कोर्नर द्वारा विश्लेषण के मौलिक स्वयंसिद्ध के रूप में वर्णित)[1]) बताता है कि वास्तविक संख्याओं का प्रत्येक गैर-घटता हुआ, परिबद्ध क्रम अभिसरित होता है। इसे कम से कम ऊपरी बाध्य संपत्ति के विशेष मामले के रूप में देखा जा सकता है, लेकिन वास्तविक संख्याओं की कॉची पूर्णता को साबित करने के लिए इसका सीधे तौर पर उपयोग किया जा सकता है।
बोल्जानो–वीयरस्ट्रास प्रमेय
Bolzano-Weierstrass प्रमेय कहता है कि वास्तविक संख्याओं के प्रत्येक परिबद्ध अनुक्रम का अभिसरण परिणाम होता है। पुनः, यह प्रमेय ऊपर दी गई पूर्णता के अन्य रूपों के समतुल्य है।
मध्यवर्ती मूल्य प्रमेय
मध्यवर्ती मूल्य प्रमेय कहता है कि प्रत्येक निरंतर कार्य जो नकारात्मक और सकारात्मक दोनों मूल्यों को प्राप्त करता है, उसकी जड़ होती है। यह कम से कम ऊपरी बाध्य संपत्ति का परिणाम है, लेकिन इसका उपयोग कम से कम ऊपरी बाध्य संपत्ति को साबित करने के लिए भी किया जा सकता है, अगर इसे स्वयंसिद्ध के रूप में माना जाता है। (निरंतरता की परिभाषा पूर्णता के किसी भी रूप पर निर्भर नहीं करती है, इसलिए यह गोलाकार नहीं है।)
यह भी देखें
संदर्भ
- ↑ Körner, Thomas William (2004). A companion to analysis: a second first and first second course in analysis. AMS Chelsea. ISBN 9780821834473.
आगे की पढाई
- Aliprantis, Charalambos D.; Burkinshaw, Owen (1998). Principles of real analysis (3rd ed.). Academic. ISBN 0-12-050257-7.
- Browder, Andrew (1996). Mathematical Analysis: An Introduction. Undergraduate Texts in Mathematics. New York City: Springer Verlag. ISBN 0-387-94614-4.
- Bartle, Robert G.; Sherbert, Donald R. (2000). Introduction to Real Analysis (3rd ed.). New York City: John Wiley and Sons. ISBN 0-471-32148-6.
- Abbott, Stephen (2001). Understanding Analysis. Undergraduate Texts in Mathematics. New York: Springer Verlag. ISBN 0-387-95060-5.
- Rudin, Walter (1976). Principles of Mathematical Analysis. Walter Rudin Student Series in Advanced Mathematics (3rd ed.). McGraw-Hill. ISBN 9780070542358.
- Dangello, Frank; Seyfried, Michael (1999). Introductory Real Analysis. Brooks Cole. ISBN 9780395959336.
- Bressoud, David (2007). A Radical Approach to Real Analysis. MAA. ISBN 978-0-88385-747-2.