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

गणित में, न्यूनतम-ऊपरी-परिबद्ध गुण (कभी-कभी पूर्णता या सर्वोच्च गुण या एल.यू.बी. गुण कहा जाता है) वास्तविक संख्याओं की एक मौलिक गुण है। अधिक आम तौर पर, आंशिक रूप से क्रमित किए गए समुच्चय $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$ की सबसे निचली ऊपरी सीमा है $S$, तो यह निरंतरता से अनुसरण करता है कि $b$.

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

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

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

यह भी देखें

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

संदर्भ