ऊपरी और निचली सीमाएं

गणित में, विशेष रूप से क्रम सिद्धांत में, एक ऊपरी सीमा या प्रमुख एक उपसमुच्चय का $S$ कुछ पूर्व आदेश का $(K, ≤)$ का एक तत्व है $K$ के प्रत्येक तत्व से अधिक या उसके बराबर है $S$. द्वैत (आदेश सिद्धांत), एक निचली सीमा या मामूली $S$ का एक तत्व के रूप में परिभाषित किया गया है $K$ जो कि प्रत्येक तत्व से कम या उसके बराबर है $S$. एक ऊपरी (क्रमशः, निचला) बाउंड वाला एक सेट ऊपर या प्रमुख से घिरा हुआ कहा जाता है (क्रमशः नीचे से घिरा हुआ या छोटा) उस सीमा से। उपरोक्त परिबद्ध (नीचे परिबद्ध) शब्दों का उपयोग गणितीय साहित्य में उन सेटों के लिए भी किया जाता है जिनकी ऊपरी (क्रमशः निचली) सीमाएँ होती हैं।

उदाहरण
उदाहरण के लिए, $5$ सेट के लिए एक निचली सीमा है $S = \{5, 8, 42, 34, 13934\}$ (पूर्णांकों या वास्तविक संख्याओं आदि के उपसमुच्चय के रूप में), और ऐसा ही है $4$. दूसरी ओर, $6$ के लिए निचली सीमा नहीं है $S$ चूंकि यह प्रत्येक तत्व से छोटा नहीं है $S$.

सेट $S = \{42\}$ है $42$ ऊपरी सीमा और निचली सीमा दोनों के रूप में; अन्य सभी संख्याएँ या तो उसके लिए ऊपरी सीमा या निचली सीमा हैं $S$.

प्राकृतिक संख्याओं के प्रत्येक उपसमुच्चय की निचली सीमा होती है क्योंकि प्राकृतिक संख्याओं में कम से कम तत्व (0 या 1, सम्मेलन के आधार पर) होता है। प्राकृतिक संख्याओं का एक अनंत उपसमुच्चय ऊपर से परिबद्ध नहीं किया जा सकता है। पूर्णांकों का एक अनंत उपसमुच्चय नीचे से परिबद्ध या ऊपर से परिबद्ध हो सकता है, लेकिन दोनों नहीं। परिमेय संख्याओं का एक अनंत उपसमुच्चय नीचे से परिबद्ध हो भी सकता है और नहीं भी, और ऊपर से परिबद्ध हो भी सकता है और नहीं भी।

एक गैर-खाली पूरी तरह से आदेशित सेट के प्रत्येक परिमित उपसमुच्चय में ऊपरी और निचली दोनों सीमाएँ होती हैं।

कार्यों की सीमा
परिभाषाओं को फ़ंक्शन (गणित) और यहां तक ​​​​कि कार्यों के सेट के लिए सामान्यीकृत किया जा सकता है।

एक समारोह दिया किसी फ़ंक्शन के डोमेन के साथ $f$ और एक पूर्व-आदेशित सेट $(K, ≤)$ कोडोमेन के रूप में, एक तत्व $D$ का $y$ की ऊपरी सीमा है  अगर $y ≥ f(x)$ प्रत्येक के लिए $K$ में $f$. यदि समानता कम से कम एक मान के लिए है तो ऊपरी सीमा को गणितीय शब्दजाल#शार्प कहा जाता है $x$. यह इंगित करता है कि बाधा इष्टतम है, और इस प्रकार असमानता को अमान्य किए बिना इसे और कम नहीं किया जा सकता है।

इसी प्रकार, एक समारोह $D$ डोमेन पर परिभाषित $x$ और समान कोडोमेन है $(K, ≤)$ की ऊपरी सीमा है, अगर $g(x) ≥ f(x)$ प्रत्येक के लिए $g$ में $D$. कार्यक्रम $f$ आगे कार्यों के एक सेट की ऊपरी सीमा कहा जाता है, यदि यह उस सेट में प्रत्येक कार्य की ऊपरी सीमा है।

≥ को ≤ से बदलकर (सेट के) कार्यों के लिए निचली सीमा की धारणा को समान रूप से परिभाषित किया गया है।

तंग सीमा
एक अपर बाउंड को टाइट अपर बाउंड, सबसे कम अपर बाउंड या अंतिम कहा जाता है, अगर कोई छोटा मान अपर बाउंड नहीं है। इसी तरह, एक निचली सीमा को तंग निचली सीमा, सबसे बड़ी निचली सीमा, या कम सीमा कहा जाता है, यदि कोई बड़ा मूल्य निचली सीमा नहीं है।

सटीक ऊपरी सीमा
एक ऊपरी सीमा $x$ एक उपसमुच्चय का $D$ एक पूर्व-आदेशित सेट का $(K, ≤)$ के लिए एक सटीक ऊपरी सीमा कहा जाता है $g$ अगर का हर तत्व $u$ जिसका कड़ाई से पालन किया जाता है $S$ के कुछ तत्वों द्वारा भी प्रमुख है $S$. रैखिक क्रम के घटे हुए उत्पाद की सटीक ऊपरी सीमा PCF सिद्धांत में एक महत्वपूर्ण भूमिका निभाती है।

यह भी देखें

 * सबसे बड़ा तत्व और सबसे छोटा तत्व
 * अधम और श्रेष्ठ
 * अधिकतम और न्यूनतम तत्व

संदर्भ
Schranke (Mathematik) Kresy dolny i górny