न्यूनतम-उच्चतर-परिबद्ध गुण

गणित में, न्यूनतम-ऊपरी-परिबद्ध गुण (कभी-कभी पूर्णता या सर्वोच्च गुण या एल.यू.बी. गुण कहा जाता है) वास्तविक संख्याओं की एक मौलिक गुण है। अधिक सामान्यतः, आंशिक रूप से क्रमित किए गए समुच्चय $X$ में सबसे कम-ऊपरी-बाउंड गुण होती है यदि ऊपरी बाउंड के साथ $X$ के प्रत्येक गैर-खाली उपसमुच्चय में $X$ में कम से कम ऊपरी बाउंड (सर्वोच्च) होता है। प्रत्येक (आंशिक रूप से) क्रमित किए गए समुच्चय में कम से कम ऊपरी सीमा वाली गुण नहीं होती है। उदाहरण के लिए, अपने प्राकृतिक क्रम के साथ सभी परिमेय संख्याओं के समुच्चय Q में न्यूनतम ऊपरी सीमा वाली गुण नहीं होती है।

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

क्रमित सिद्धांत में, इस गुण को किसी आंशिक रूप से क्रमित समूह के लिए पूर्णता की धारणा के लिए सामान्यीकृत किया जा सकता है। रैखिक रूप से क्रमित समूह जो सघन होता है और जिसमें सबसे कम ऊपरी सीमा वाला गुण होता है, उसे रैखिक सातत्य कहा जाता है।

वास्तविक संख्याओं के लिए कथन
मान लीजिए $S$ वास्तविक संख्याओं का एक गैर-रिक्त समूह है। न्यूनतम-ऊपरी-सीमा वाली संपत्ति बताती है कि वास्तविक संख्याओं का कोई भी गैर-रिक्त समूह जिसकी ऊपरी सीमा है, वास्तविक संख्याओं में कम से कम ऊपरी सीमा होनी चाहिए।
 * वास्तविक संख्या $x$ को $S$ के लिए ऊपरी सीमा कहा जाता है यदि $x ≥ s$ सभी $s ∈ S$ के लिए है।
 * वास्तविक संख्या $x$, $S$ के लिए न्यूनतम ऊपरी सीमा (या सर्वोच्च) है यदि $x$ $S$ के लिए ऊपरी सीमा है और $S$ की प्रत्येक ऊपरी सीमा $y$ के लिए $x ≤ y$ है।

क्रमित समुच्चयों का सामान्यीकरण


अधिक सामान्यतः, कोई आंशिक रूप से क्रम किए गए सेट इस स्तिथि में, हम कहते हैं कि $X$ के पास सबसे कम ऊपरी सीमा वाली संपत्ति है यदि ऊपरी सीमा वाले $X$ के प्रत्येक गैर-रिक्त उपसमुच्चय में $X$ में सबसे कम ऊपरी सीमा होती है।

उदाहरण के लिए, समुच्चय $Q$ तर्कसंगत संख्याओं में सामान्य क्रम के तहत न्यूनतम-ऊपरी-सीमा वाली गुण नहीं होती है। उदाहरण के लिए, समुच्चय


 * $$ \left\{ x \in \mathbf{Q} : x^2 \le 2 \right\} = \mathbf{Q} \cap \left(-\sqrt{2}, \sqrt{2}\right) $$

$Q$ में ऊपरी सीमा होती है, लेकिन $Q$ में न्यूनतम ऊपरी सीमा नहीं होती है (क्योंकि दो का वर्गमूल अपरिमेय होता है)। डेडेकाइंड कट्स का उपयोग करके वास्तविक संख्याओं का निर्माण इस विफलता का लाभ उठाते हुए अपरिमेय संख्याओं को परिमेय के कुछ उपसमुच्चय की सबसे कम ऊपरी सीमा के रूप में परिभाषित करता है।

तार्किक स्थिति
न्यूनतम-ऊपरी-सीमा वाली संपत्ति पूर्णता स्वयंसिद्ध के अन्य रूपों के बराबर है, जैसे कॉची अनुक्रमों का अभिसरण या नेस्टेड अंतराल प्रमेय। संपत्ति की तार्किक स्थिति उपयोग की गई वास्तविक संख्याओं के निर्माण पर निर्भर करती है: सिंथेटिक दृष्टिकोण में, संपत्ति को सामान्यतः वास्तविक संख्याओं के लिए एक सिद्धांत के रूप में लिया जाता है (कम से कम ऊपरी सीमा सिद्धांत देखें); रचनात्मक दृष्टिकोण में, संपत्ति को एक प्रमेय के रूप में सिद्ध किया जाना चाहिए, या तो सीधे निर्माण से या किसी अन्य प्रकार की पूर्णता के परिणामस्वरूप हैं।

कॉची अनुक्रमों का उपयोग करके प्रमाण
इस धारणा का उपयोग करके न्यूनतम-ऊपरी-सीमा वाली गुण को साबित करना संभव है कि वास्तविक संख्याओं का प्रत्येक कॉची अनुक्रम अभिसरण करता है। मान लीजिये $S$ वास्तविक संख्याओं का अरिक्त समुच्चय बनें। अगर $S$ में बिल्कुल अवयव है, तो इसका एकमात्र अवयव न्यूनतम ऊपरी सीमा है। तो विचार करें $S$ एक से अधिक अवयवों के साथ, और मान लीजिए कि $S$ की एक ऊपरी सीमा है $B_{1}$. तब से $S$ शून्य नहीं है और इसमें एक से अधिक अवयव हैं, वास्तविक संख्या उपस्थित है $A_{1}$ इसके लिए कोई ऊपरी सीमा नहीं है $S$. अनुक्रमों को परिभाषित करें $A_{1}, A_{2}, A_{3}, ...$ और $B_{1}, B_{2}, B_{3}, ...$ पुनरावर्ती रूप से इस प्रकार है: तब $(A_{n} + B_{n}) ⁄ 2$ और $S$ जैसा $A_{n+1} = A_{n}$. इससे यह निष्कर्ष निकलता है कि दोनों अनुक्रम कॉची हैं और उनकी सीमा समान है $B_{n+1} = (A_{n} + B_{n}) ⁄ 2$, जिसके लिए न्यूनतम ऊपरी सीमा $s$ होनी चाहिए।
 * 1) जाँच करें  $S$ के लिए ऊपरी सीमा है $s>(A_{n} + B_{n}) ⁄ 2$.
 * 2) यदि यह है, मान लीजिये $A_{n+1} = s$ और मान लीजिये $B_{n+1} = B_{n}$.
 * 3) अन्यथा $A_{1} ≤ A_{2} ≤ A_{3} ≤ ⋯ ≤ B_{3} ≤ B_{2} ≤ B_{1}$ में एक अवयव $|A_{n} − B_{n}| → 0$ अवश्य होना चाहिए ताकि $n → ∞$ मान लीजिए $L$ और मान लीजिए $S$.

अनुप्रयोग
की सबसे कम-ऊपरी-सीमा वाली गुण $R$ का उपयोग वास्तविक विश्लेषण में कई मुख्य मूलभूत प्रमेयों को सिद्ध करने के लिए किया जा सकता है।

मध्यवर्ती मूल्य प्रमेय
मान लीजिये $f : [a, b] → R$ सतत कार्य हो, और मान लीजिए $f (a) < 0$ और $f (b) > 0$. इस स्तिथि में, मध्यवर्ती मूल्य प्रमेय बताता है कि $f$ अंतराल में किसी फ़ंक्शन का रूट होना चाहिए $[a, b]$. इस प्रमेय को समुच्चय पर विचार करके सिद्ध किया जा सकता है

वह है, $S  =  {s ∈ [a, b]  :  f (x) < 0 for all x ≤ s}$ का प्रारंभिक खंड है $S$ जो नकारात्मक मान लेता है $[a, b]$. तब $f$ के लिए ऊपरी सीमा है $b$, और सबसे छोटी ऊपरी सीमा का मूल $S$ होना चाहिए।

बोलजानो-वीयरस्ट्रैस प्रमेय
रिक्तबोल्ज़ानो-वीयरस्ट्रैस प्रमेय के लिए $f$ बताता है कि प्रत्येक अनुक्रम $R$ सवृत अंतराल में वास्तविक संख्याओं का $x_{n}$ अभिसरण अनुवर्ती होना चाहिए। इस प्रमेय को समुच्चय पर विचार करके सिद्ध किया जा सकता है

स्पष्ट रूप से, $$a\in S$$, और $[a, b]$ खाली नहीं है।

इसके साथ ही, $S  =  {s ∈ [a, b]  :  s ≤ x_{n} for infinitely many n}$ के लिए ऊपरी सीमा $S$ है, इसलिए $b$ की न्यूनतम ऊपरी सीमा $S$ है।

तब $S$ अनुक्रम का सीमा बिंदु $c$ होना चाहिए, और यह उसका अनुसरण करता है $c$ में अनुवर्ती $x_{n}$ है जो अभिसरण करता है।

अतिशय मान प्रमेय
मान लीजिये $x_{n}$ सतत कार्य हो और चलो $c$, जहाँ $f : [a, b] → R$ अगर $M = sup f ([a, b])$ की कोई ऊपरी सीमा नहीं है। अतिशय मूल्य प्रमेय यह बताता है $M = ∞$ परिमित है और $f ([a, b])$  कुछ के लिए $M$। इसे समुच्चय पर विचार करके सिद्ध किया जा सकता है

की परिभाषा के अनुसार $f (c) = M$, $c ∈ [a, b]$, और $S  =  {s ∈ [a, b]  :  sup f ([s, b]) = M}$ अपनी परिभाषा के अनुसार, $M$ से घिरा है।

अगर $a ∈ S$ की सबसे निचली ऊपरी सीमा है $b$, तो यह निरंतरता से इस प्रकार है कि $S$.

हेन-बोरेल प्रमेय
मान लीजिए कि $c$ $S$ में एक बंद अंतराल है, और मान लें कि $f (c) = M$ विवृत समुच्चयों का एक संग्रह है जो [a, b] को आच्छादित करता है। फिर हेइन-बोरेल प्रमेय बताता है कि $[a, b]$का कुछ सीमित उपसंग्रह $R$ को भी आच्छादित करता है। इस कथन को समुच्चय पर विचार करके सिद्ध किया जा सकता है

समुच्चय ${U_{α}}$ में स्पष्ट रूप से ${U_{α}}$ सम्मिलित है, और निर्माण द्वारा $[a, b]$ से घिरा है। न्यूनतम-ऊपरी-परिबद्ध संपत्ति द्वारा, $S  =  {s ∈ [a, b]  :  [a, s] सीमित रूप से अनेक लोगों द्वारा आच्छादित किया जा सकता है U_{α}}$ की न्यूनतम ऊपरी सीमा $S$ है। इसलिए, $a$ स्वयं कुछ खुले सेट $b$ का अवयव है, और यह $S$ के लिए अनुसरण करता है कि $c ∈ [a, b]$ को कुछ पर्याप्त छोटे $c$ के लिए सीमित रूप से कई $U_{α}$ द्वारा आच्छादित किया जा सकता है। इससे सिद्ध होता है कि $c < b$ और $[a, c + δ]$,$δ > 0$ के लिए ऊपरी सीमा नहीं है। परिणामस्वरूप, $U_{α}$

इतिहास
न्यूनतम-ऊपरी-सीमा वाली गुण के महत्व को सबसे पहले बर्नार्ड बोलजानो ने अपने 1817 के पेपर में प्रमेय का विशुद्ध रूप से विश्लेषणात्मक प्रमाण माना था कि विपरीत परिणाम देने वाले प्रत्येक दो मूल्यों के बीच, समीकरण की कम से कम वास्तविक वर्गमूल होती है।

यह भी देखें

 * वास्तविक विश्लेषण विषयों की सूची

संदर्भ