निम्न को सीमित करें और श्रेष्ठ को सीमित करें

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

किसी अनुक्रम की निचली सीमा $$(x_n)$$ द्वारा निरूपित किया जाता है $$\liminf_{n\to\infty}x_n\quad\text{or}\quad \varliminf_{n\to\infty}x_n,$$ और एक अनुक्रम की श्रेष्ठतम सीमा $$(x_n)$$ द्वारा निरूपित किया जाता है $$\limsup_{n\to\infty}x_n\quad\text{or}\quad \varlimsup_{n\to\infty}x_n.$$

अनुक्रमों के लिए परिभाषा
एक अनुक्रम का (xn) द्वारा परिभाषित किया गया है $$\liminf_{n\to\infty} x_n := \lim_{n\to\infty}\! \Big(\inf_{m \geq n} x_m\Big)$$ या $$\liminf_{n\to\infty} x_n := \sup_{n \geq 0}\,\inf_{m \geq n} x_m = \sup\,\{\, \inf\,\{\,x_m : m \geq n\,\} : n \geq 0\,\}.$$ इसी प्रकार, का (xn) द्वारा परिभाषित किया गया है $$\limsup_{n\to\infty} x_n := \lim_{n\to\infty}\! \Big(\sup_{m \geq n} x_m\Big)$$ या $$\limsup_{n\to\infty} x_n := \inf_{n \geq 0}\,\sup_{m \geq n} x_m = \inf\,\{\, \sup\,\{\,x_m : m \geq n\,\} : n \geq 0\,\}.$$ वैकल्पिक रूप से, संकेतन $$\varliminf_{n\to\infty} x_n := \liminf_{n\to\infty} x_n$$ और $$\varlimsup_{n\to\infty} x_n := \limsup_{n\to\infty} x_n$$ कभी-कभी उपयोग किया जाता है।

अनुक्रम की क्रमिक सीमाओं की अवधारणा का उपयोग करके श्रेष्ठ और निम्न सीमाओं को समान रूप से परिभाषित किया जा सकता है $$(x_n)$$. तत्व $$\xi$$ विस्तारित वास्तविक संख्याओं का $$\overline{\R}$$ की एक अनुवर्ती सीमा है $$(x_n)$$ यदि प्राकृतिक संख्याओं का कड़ाई से बढ़ता हुआ क्रम मौजूद है $$(n_k)$$ ऐसा है कि $$\xi=\lim_{k\to\infty} x_{n_k}$$. अगर $$E \subseteq \overline{\R}$$ की सभी अनुवर्ती सीमाओं का समुच्चय है $$(x_n)$$, तब
 * $$\limsup_{n\to\infty} x_n = \sup E $$ और
 * $$\liminf_{n\to\infty} x_n = \inf E.$$

यदि अनुक्रम में पद वास्तविक संख्याएँ हैं, तो सीमा श्रेष्ठ और सीमा निम्न हमेशा मौजूद रहती हैं, क्योंकि ±∞ (अर्थात विस्तारित वास्तविक संख्या रेखा) के साथ वास्तविक संख्याएँ पूर्ण मीट्रिक स्थान हैं। अधिक सामान्यतः, ये परिभाषाएँ किसी भी आंशिक रूप से क्रमित सेट में समझ में आती हैं, बशर्ते सर्वोच्च और अनंत मौजूद हों, जैसे कि पूर्ण जाली में।

जब भी सामान्य सीमा मौजूद होती है, निचली सीमा और श्रेष्ठ सीमा दोनों उसके बराबर होती हैं; इसलिए, प्रत्येक को सामान्य सीमा का सामान्यीकरण माना जा सकता है जो मुख्य रूप से उन मामलों में दिलचस्प है जहां सीमा मौजूद नहीं है। जब भी lim inf xnऔर लिम सप एक्सnदोनों मौजूद हैं, हमारे पास हैं


 * $$\liminf_{n\to\infty}x_n \leq \limsup_{n\to\infty}x_n.$$

निचली और श्रेष्ठ सीमाएँ बिग-ओ संकेतन  से संबंधित हैं, जिसमें वे एक क्रम को केवल सीमा में बांधते हैं; अनुक्रम सीमा से अधिक हो सकता है. हालाँकि, बिग-ओ नोटेशन के साथ अनुक्रम केवल अनुक्रम के एक सीमित उपसर्ग में सीमा से अधिक हो सकता है, जबकि ई जैसे अनुक्रम की सीमा श्रेष्ठ होती है−n वास्तव में अनुक्रम के सभी तत्वों से कम हो सकता है। एकमात्र वादा यह किया गया है कि अनुक्रम की कुछ पूँछ को ऊपर सीमा श्रेष्ठ प्लस एक मनमाने ढंग से छोटे सकारात्मक स्थिरांक द्वारा सीमित किया जा सकता है, और नीचे सीमा अवर शून्य एक मनमाने ढंग से छोटे सकारात्मक स्थिरांक द्वारा सीमित किया जा सकता है।

किसी अनुक्रम की ऊपरी सीमा और निचली सीमा किसी फ़ंक्शन का एक विशेष मामला है (नीचे देखें)।

वास्तविक संख्याओं के अनुक्रम का मामला
गणितीय विश्लेषण में, वास्तविक संख्याओं के अनुक्रमों का अध्ययन करने के लिए सीमा श्रेष्ठ और सीमा निम्न महत्वपूर्ण उपकरण हैं। चूंकि वास्तविक संख्याओं के असीमित सेट का सर्वोच्च और अनंत मौजूद नहीं हो सकता है (वास्तविक पूर्ण जाली नहीं हैं), एफ़िनली विस्तारित वास्तविक संख्या प्रणाली में अनुक्रमों पर विचार करना सुविधाजनक है: हम सकारात्मक और नकारात्मक अनंत को वास्तविक रेखा में जोड़ते हैं पूर्ण रूप से ऑर्डर किया गया सेट [−∞,∞] देने के लिए, जो एक पूर्ण जाली है।

व्याख्या
एक क्रम पर विचार करें $$(x_n)$$ वास्तविक संख्याओं से युक्त। मान लें कि सीमा श्रेष्ठ और सीमा निम्न वास्तविक संख्याएँ हैं (इसलिए, अनंत नहीं)।
 * की सीमा श्रेष्ठ $$x_n$$ सबसे छोटी वास्तविक संख्या है $$b$$ ऐसा कि, किसी भी सकारात्मक वास्तविक संख्या के लिए $$\varepsilon$$, वहाँ एक प्राकृतिक संख्या मौजूद है $$N$$ ऐसा है कि $$x_nN$$. दूसरे शब्दों में, सीमा से अधिक बड़ी कोई भी संख्या अनुक्रम के लिए अंतिम ऊपरी सीमा होती है। अनुक्रम के तत्वों की केवल एक सीमित संख्या ही इससे अधिक होती है $$b+\varepsilon$$.
 * की सीमा हीन $$x_n$$ सबसे बड़ी वास्तविक संख्या है $$b$$ ऐसा कि, किसी भी सकारात्मक वास्तविक संख्या के लिए $$\varepsilon$$, वहाँ एक प्राकृतिक संख्या मौजूद है $$N$$ ऐसा है कि $$x_n>b-\varepsilon$$ सभी के लिए $$n>N$$. दूसरे शब्दों में, निचली सीमा से नीचे की कोई भी संख्या अनुक्रम के लिए अंतिम निचली सीमा होती है। अनुक्रम के तत्वों की केवल एक सीमित संख्या से कम है $$b-\varepsilon$$.

गुण
वास्तविक संख्याओं के अनुक्रम के लिए सीमा निम्न और सीमा श्रेष्ठ का संबंध इस प्रकार है: $$\limsup_{n\to\infty} \left(-x_n\right) = -\liminf_{n\to\infty} x_n$$ जैसा कि पहले उल्लेख किया गया है, इसका विस्तार करना सुविधाजनक है $$\R$$ को $$[-\infty, \infty].$$ तब, $$\left(x_n\right)$$ में $$[-\infty, \infty]$$ किसी अनुक्रम की सीमा यदि और केवल यदि $$\liminf_{n\to\infty} x_n = \limsup_{n\to\infty} x_n$$ किस स्थिति में $$\lim_{n\to\infty} x_n$$ उनके सामान्य मूल्य के बराबर है। (ध्यान दें कि जब आप काम कर रहे हों $$\R,$$ के लिए अभिसरण $$-\infty$$ या $$\infty$$ अभिसरण के रूप में नहीं माना जाएगा।) चूंकि निचली सीमा अधिकतम सीमा से बेहतर है, इसलिए निम्नलिखित शर्तें लागू होती हैं $$\begin{alignat}{4} \liminf_{n\to\infty} x_n &=  \infty &&\;\;\text{ implies }\;\; \lim_{n\to\infty} x_n = \infty, \\[0.3ex] \limsup_{n\to\infty} x_n &= - \infty &&\;\;\text{ implies }\;\; \lim_{n\to\infty} x_n = - \infty. \end{alignat}$$ अगर $$I = \liminf_{n\to\infty} x_n$$ और $$S = \limsup_{n\to\infty} x_n$$, फिर अंतराल $$[I, S]$$ किसी भी संख्या को शामिल करने की आवश्यकता नहीं है $$x_n,$$ लेकिन हर मामूली इज़ाफ़ा $$[I - \epsilon, S + \epsilon],$$ मनमाने ढंग से छोटे के लिए $$\epsilon > 0,$$ शामिल है $$x_n$$ सीमित अनेक सूचकांकों को छोड़कर सभी के लिए $$n.$$ दरअसल, अंतराल $$[I, S]$$ इस संपत्ति के साथ सबसे छोटा बंद अंतराल है। हम इस संपत्ति को इस तरह औपचारिक रूप दे सकते हैं: अनुवर्ती मौजूद हैं $$x_{k_n}$$ और $$x_{h_n}$$ का $$x_n$$ (कहाँ $$k_n$$ और $$h_n$$ बढ़ रहे हैं) जिसके लिए हमारे पास है $$\liminf_{n\to\infty} x_n + \epsilon>x_{h_n} \;\;\;\;\;\;\;\;\; x_{k_n} > \limsup_{n\to\infty} x_n - \epsilon$$ दूसरी ओर, वहाँ एक मौजूद है $$n_0\in\mathbb{N}$$ ताकि सभी के लिए $$n \geq n_0$$ $$\liminf_{n\to\infty} x_n - \epsilon < x_n < \limsup_{n\to\infty} x_n + \epsilon$$ पुनर्पूंजीकरण करने के लिए:


 * अगर $$\Lambda$$ श्रेष्ठ सीमा से अधिक है, अधिक से अधिक सीमित रूप से अनेक हैं $$x_n$$ से अधिक $$\Lambda;$$ यदि यह कम है, तो अनंत रूप से अनेक हैं।
 * अगर $$\lambda$$ निम्न सीमा से कम है, अधिक से अधिक सीमित रूप से अनेक हैं $$x_n$$ से कम $$\lambda;$$ यदि यह अधिक है, तो अनंत रूप से अनेक हैं।

सामान्य रूप में, $$\inf_n x_n \leq \liminf_{n\to\infty} x_n \leq \limsup_{n\to\infty} x_n \leq \sup_n x_n.$$ किसी अनुक्रम का लिमिफ़ और लिमसुप क्रमशः सबसे छोटा और सबसे बड़ा सीमा बिंदु हैं। अनुरूप रूप से, निचली सीमा सुपरएडिटिविटी को संतुष्ट करती है: $$\liminf_{n\to\infty}\, (a_n + b_n) \geq \liminf_{n\to\infty} a_n +\ \liminf_{n\to\infty} b_n.$$ विशेष मामले में कि अनुक्रमों में से एक वास्तव में अभिसरण करता है, मान लीजिए $$a_n \to a,$$ तब ऊपर की असमानताएँ समानताएँ बन जाती हैं (के साथ)। $$\limsup_{n\to\infty} a_n$$ या $$\liminf_{n\to\infty} a_n$$ द्वारा प्रतिस्थापित किया जा रहा है $$a$$).
 * वास्तविक संख्याओं के किन्हीं दो अनुक्रमों के लिए $$(a_n), (b_n),$$ जब भी असमानता का दाहिना पक्ष परिभाषित किया जाता है (अर्थात नहीं) तो श्रेष्ठ सीमा उप-अडिटिविटी को संतुष्ट करती है $$\infty - \infty$$ या $$-\infty + \infty$$): $$\limsup_{n\to\infty}\, (a_n + b_n) \leq \limsup_{n\to\infty} a_n +\ \limsup_{n\to\infty} b_n.$$

जब भी दाहिना भाग आकार में न हो तो पकड़ें $$0 \cdot \infty.$$ अगर $$\lim_{n\to\infty} a_n = A$$ मौजूद है (मामले सहित)। $$A = +\infty$$) और $$B = \limsup_{n\to\infty} b_n,$$ तब $$\limsup_{n\to\infty} \left(a_n b_n\right) = A B$$ उसे उपलब्ध कराया $$A B$$ स्वरूप का नहीं है $$0 \cdot \infty.$$
 * गैर-ऋणात्मक वास्तविक संख्याओं के किन्हीं दो अनुक्रमों के लिए $$(a_n), (b_n),$$ असमानताएँ $$\limsup_{n\to\infty}\, (a_n b_n) \leq \left(\limsup_{n\to\infty} a_n \!\right) \!\!\left(\limsup_{n\to\infty} b_n \!\right)$$ और $$\liminf_{n\to\infty}\, (a_n b_n) \geq \left(\liminf_{n\to\infty} a_n \right)\!\!\left(\liminf_{n\to\infty} b_n\right)$$

उदाहरण

 * उदाहरण के तौर पर, त्रिकोणमितीय फ़ंक्शन फ़ंक्शन द्वारा दिए गए अनुक्रम पर विचार करें: $$x_n = \sin(n).$$ इस तथ्य का उपयोग करते हुए कि pi|π एक अपरिमेय संख्या है, यह इस प्रकार है $$\liminf_{n\to\infty} x_n = -1$$ और $$\limsup_{n\to\infty} x_n = +1.$$ (ऐसा इसलिए है क्योंकि अनुक्रम $$\{1, 2, 3, \ldots\}$$ समवितरण मॉड 1|समवितरित मॉड 2π है, जो समवितरण प्रमेय का परिणाम है।)


 * संख्या सिद्धांत से एक उदाहरण है $$\liminf_{n\to\infty}\, (p_{n+1} - p_n),$$ कहाँ $$p_n$$ है $$n$$-वाँ अभाज्य संख्या.
 * इस निचली सीमा का मान 2 होने का अनुमान लगाया गया है - यह जुड़वां अभाज्य अनुमान है - लेकिन 246 से कम या उसके बराबर होने का केवल गणितीय प्रमाण रहा है। संगत सीमा श्रेष्ठ है $$+\infty$$, क्योंकि मनमाने ढंग से बड़े प्राइम गैप हैं।

वास्तविक-मूल्यवान कार्य
मान लें कि एक फ़ंक्शन को वास्तविक संख्याओं के सबसेट से वास्तविक संख्याओं तक परिभाषित किया गया है। जैसा कि अनुक्रमों के मामले में, यदि हम +∞ और −∞ मानों की अनुमति देते हैं, तो निचली सीमा और श्रेष्ठ सीमा हमेशा अच्छी तरह से परिभाषित होती हैं; वास्तव में, यदि दोनों सहमत हैं तो सीमा मौजूद है और उनके सामान्य मूल्य के बराबर है (फिर से संभवतः अनंत सहित)। उदाहरणार्थ, दिया गया $$f(x) = \sin(1/x)$$, अपने पास $$\limsup_{x\to 0} f(x) = 1$$ और $$\liminf_{x\to 0} f(x) = -1$$. दोनों के बीच का अंतर इस बात का एक मोटा माप है कि फ़ंक्शन कितनी बेतहाशा दोलन करता है, और इस तथ्य के अवलोकन में, इसे 0 पर f का दोलन (गणित) कहा जाता है। दोलन का यह विचार, उदाहरण के लिए, रीमैन अभिन्न  को चित्रित करने के लिए पर्याप्त है। |रीमैन-इंटीग्रेबल माप शून्य के एक सेट को छोड़कर निरंतर फ़ंक्शन के रूप में कार्य करता है। ध्यान दें कि गैर-शून्य दोलन के बिंदु (यानी, जिन बिंदुओं पर एफ पैथोलॉजिकल (गणित) है) असंततताएं हैं, जब तक कि वे शून्य का एक सेट नहीं बनाते हैं, एक नगण्य सेट तक सीमित होते हैं।

मीट्रिक रिक्त स्थान से कार्य
मीट्रिक स्पेस पर परिभाषित कार्यों के लिए लिमसुप और लिमिफ़ की एक धारणा है, जिसका वास्तविक-मूल्यवान कार्यों की सीमा से संबंध लिमसुप, लिमिफ़ और वास्तविक अनुक्रम की सीमा के बीच के संबंध को दर्शाता है। एक मीट्रिक स्थान लें $$X$$, एक उपस्थान $$E$$ में निहित $$X$$, और एक फ़ंक्शन $$f:E \to \mathbb{R}$$. किसी भी सीमा बिंदु के लिए परिभाषित करें $$a$$ का $$E$$,


 * $$\limsup_{x \to a} f(x) = \lim_{\varepsilon \to 0} \left(\sup\,\{ f(x) : x \in E \cap B(a,\varepsilon)\setminus\{a\} \}\right)$$

और


 * $$\liminf_{x \to a} f(x) = \lim_{\varepsilon \to 0} \left(\inf\,\{ f(x) : x \in E \cap B(a,\varepsilon)\setminus\{a\} \}\right)$$

कहाँ $$B(a,\varepsilon)$$ त्रिज्या की गेंद (गणित) को दर्शाता है $$\varepsilon$$ के बारे में $$a$$.

ध्यान दें कि जैसे-जैसे ε सिकुड़ता है, गेंद पर फ़ंक्शन का सर्वोच्चता मोनोटोन घटता जा रहा है, इसलिए हमारे पास है


 * $$\limsup_{x \to a} f(x) = \inf_{\varepsilon > 0} \left(\sup\,\{ f(x) : x \in E \cap B(a,\varepsilon)\setminus\{a\} \}\right)$$

और इसी तरह
 * $$\liminf_{x \to a} f(x) = \sup_{\varepsilon > 0} \left(\inf\,\{ f(x) : x \in E \cap B(a,\varepsilon)\setminus\{a\} \}\right).$$

टोपोलॉजिकल स्पेस से कार्य
यह अंततः सामान्य टोपोलॉजिकल स्पेस के लिए परिभाषाओं को प्रेरित करता है। पहले की तरह एक्स, ई और ए लें, लेकिन अब एक्स को एक टोपोलॉजिकल स्पेस होने दें। इस मामले में, हम मीट्रिक गेंदों को पड़ोस (गणित) से बदल देते हैं:


 * $$\limsup_{x \to a} f(x) = \inf\,\{\, \sup\,\{ f(x) : x \in E \cap U\setminus\{a\} \} : U\ \mathrm{open},\, a \in U,\, E \cap U\setminus\{a\} \neq \emptyset \}$$
 * $$\liminf_{x \to a} f(x) = \sup\,\{\, \inf\,\{ f(x) : x \in E \cap U\setminus\{a\} \} : U\ \mathrm{open},\, a \in U,\, E \cap U\setminus\{a\} \neq \emptyset \}$$

(नेट (गणित) और पड़ोस फ़िल्टर का उपयोग करके लिम का उपयोग करके सूत्र लिखने का एक तरीका है)। यह संस्करण अक्सर अर्ध-निरंतरता की चर्चाओं में उपयोगी होता है जो अक्सर विश्लेषण में सामने आते हैं। एक दिलचस्प नोट यह है कि यह संस्करण अनुक्रमों को विस्तारित वास्तविक रेखा के टोपोलॉजिकल उप-स्थान के रूप में प्राकृतिक संख्याओं के कार्यों के रूप में मानते हुए, अंतरिक्ष में ([−∞,∞] में N का बंद होना, विस्तारित वास्तविक संख्या) को समाहित करता है। लाइन, N ∪ {∞} है।)

समुच्चयों का क्रम
एक सेट (गणित) विशेष रूप से, X का प्रत्येक उपसमुच्चय ऊपर X से और नीचे खाली सेट ∅ से घिरा है क्योंकि ∅ ⊆ Y ⊆ (अर्थात्, X के उपसमुच्चय का क्रम)।

सेटों के अनुक्रम की सीमा को परिभाषित करने के दो सामान्य तरीके हैं। दोनों ही मामलों में: दो परिभाषाओं के बीच अंतर यह है कि टोपोलॉजी (यानी, पृथक्करण की मात्रा कैसे निर्धारित करें) को कैसे परिभाषित किया जाता है। वास्तव में, दूसरी परिभाषा पहली के समान है जब एक्स पर टोपोलॉजी को प्रेरित करने के लिए अलग मीट्रिक का उपयोग किया जाता है।
 * अनुक्रम एकल बिंदुओं के बजाय बिंदुओं के सेट के आसपास जमा होता है। अर्थात्, क्योंकि अनुक्रम का प्रत्येक तत्व स्वयं एक समुच्चय है, ऐसे संचय समुच्चय मौजूद हैं जो किसी न किसी तरह अनुक्रम के अनंत रूप से कई तत्वों के निकट हैं।
 * सर्वोच्च/श्रेष्ठ/बाहरी सीमा एक ऐसा समुच्चय है जो (गणित) इन संचय समुच्चयों को एक साथ जोड़ता है। अर्थात्, यह सभी संचय समुच्चयों का संघ (समुच्चय सिद्धांत) है। सेट समावेशन द्वारा ऑर्डर करते समय, सर्वोच्च सीमा संचय बिंदुओं के सेट पर सबसे कम ऊपरी सीमा होती है क्योंकि इसमें उनमें से प्रत्येक शामिल होता है। इसलिए, यह सीमा बिंदुओं का सर्वोच्च है।
 * न्यूनतम/हीन/आंतरिक सीमा एक ऐसा सेट है जहां ये सभी संचय सेट मिलते हैं (गणित)। अर्थात्, यह सभी संचय सेटों का प्रतिच्छेदन (सेट सिद्धांत) है। सेट समावेशन द्वारा ऑर्डर करते समय, अनंत सीमा संचय बिंदुओं के सेट पर सबसे बड़ी निचली सीमा होती है क्योंकि यह उनमें से प्रत्येक में समाहित होती है। इसलिए, यह सीमा बिंदुओं में से न्यूनतम है।
 * क्योंकि ऑर्डर सेट समावेशन द्वारा होता है, तो बाहरी सीमा में हमेशा आंतरिक सीमा शामिल होगी (यानी, lim inf Xn ⊆ लिम सुपर Xn). इसलिए, जब सेटों के अनुक्रम के अभिसरण पर विचार किया जाता है, तो आम तौर पर उस अनुक्रम की बाहरी सीमा के अभिसरण पर विचार करना पर्याप्त होता है।

सामान्य सेट अभिसरण
मेट्रिज़ेबल स्थान में सेटों का एक क्रम $$X$$ जब अनुक्रम के प्रत्येक सदस्य के तत्व सीमित सेट के तत्वों के पास पहुंचते हैं तो एक सीमित सेट के करीब पहुंचता है। विशेषकर, यदि $$(X_n)$$ के उपसमुच्चय का एक क्रम है $$X,$$ तब: सीमा $$\lim X_n$$ अस्तित्व में है यदि और केवल यदि $$\liminf X_n$$ और $$\limsup X_n$$ सहमत हूँ, किस मामले में $$\lim X_n = \limsup X_n = \liminf X_n.$$ बाहरी और आंतरिक सीमाओं को सेट-सैद्धांतिक सीमा के साथ भ्रमित नहीं किया जाना चाहिए | सेट-सैद्धांतिक सीमाएं श्रेष्ठ और निम्न हैं, क्योंकि बाद वाले सेट अंतरिक्ष की टोपोलॉजिकल संरचना के प्रति संवेदनशील नहीं हैं।
 * $$\limsup X_n,$$ जिसे बाहरी सीमा भी कहा जाता है, इसमें वे तत्व शामिल होते हैं जो बिंदुओं की सीमा होते हैं $$X_n$$ गणनीय अनंत से लिया गया|(गणनीय) अनंत अनेक $$n.$$ वह है, $$x \in \limsup X_n$$ यदि और केवल यदि बिंदुओं का कोई क्रम मौजूद है $$(x_k)$$ और ए $$(X_{n_k})$$ का $$(X_n)$$ ऐसा है कि $$x_k \in X_{n_k}$$ और $$\lim_{k\to\infty} x_k = x.$$
 * $$\liminf X_n,$$ जिसे आंतरिक सीमा भी कहा जाता है, इसमें वे तत्व शामिल होते हैं जो बिंदुओं की सीमा होते हैं $$X_n$$ निश्चित रूप से बहुतों को छोड़कर सभी के लिए $$n$$ (अर्थात, निश्चित रूप से अनेक $$n$$). वह है, $$x \in \liminf X_n$$ यदि और केवल यदि कोई मौजूद है अंकों का $$(x_k)$$ ऐसा है कि $$x_k \in X_k$$ और $$\lim_{k\to\infty} x_k = x.$$

विशेष मामला: असतत मीट्रिक
यह माप सिद्धांत और संभाव्यता में प्रयुक्त परिभाषा है। सेट-सैद्धांतिक दृष्टिकोण से आगे की चर्चा और उदाहरण, नीचे चर्चा किए गए टोपोलॉजिकल दृष्टिकोण के विपरीत, सेट-सैद्धांतिक सीमा पर हैं।

इस परिभाषा के अनुसार, सेटों का एक अनुक्रम एक सीमित सेट के करीब पहुंचता है, जब सीमित सेट में ऐसे तत्व शामिल होते हैं जो अनुक्रम के सीमित सेटों को छोड़कर सभी में होते हैं और इसमें ऐसे तत्व शामिल नहीं होते हैं जो अनुक्रम के सेटों के सीमित कई सेटों को छोड़कर सभी में होते हैं। अर्थात्, यह मामला सामान्य परिभाषा को विशिष्ट बनाता है जब सेट एक्स पर टोपोलॉजी असतत मीट्रिक से प्रेरित होती है।

विशेष रूप से, बिंदु x, y ∈ X के लिए, असतत मीट्रिक को परिभाषित किया गया है
 * $$d(x,y) := \begin{cases} 0 &\text{if } x = y,\\ 1 &\text{if } x \neq y, \end{cases}$$

जिसके अंतर्गत बिंदुओं का एक क्रम (xk) बिंदु x ∈ X पर अभिसरित होता है यदि और केवल यदि xk = x सभी के लिए लेकिन सीमित रूप से अनेक k के लिए। इसलिए, यदि सीमा सेट मौजूद है तो इसमें बिंदु और केवल वे बिंदु शामिल हैं जो अनुक्रम के कई सेटों को छोड़कर सभी में हैं। चूंकि असतत मीट्रिक में अभिसरण अभिसरण का सबसे सख्त रूप है (यानी, इसकी सबसे अधिक आवश्यकता है), सीमा निर्धारित की यह परिभाषा सबसे सख्त संभव है।

यदि (एक्सn) X के उपसमुच्चय का एक क्रम है, तो निम्नलिखित हमेशा मौजूद रहते हैं: ध्यान दें कि x ∈ lim sup X उप>n यदि और केवल यदि x ∉ lim inf X उप>नसी. इस अर्थ में, अनुक्रम की एक सीमा होती है जब तक कि एक्स में प्रत्येक बिंदु या तो सीमित रूप से कई एक्स को छोड़कर सभी में दिखाई देता हैn या बहुत से X को छोड़कर सभी में प्रकट होता हैnसी. सेट सिद्धांत की मानक भाषा का उपयोग करते हुए, समावेशन (सेट सिद्धांत) एक्स के सभी सबसेट के संग्रह पर आंशिक रूप से ऑर्डर किया गया सेट प्रदान करता है जो सेट चौराहे को सबसे बड़ी निचली सीमा उत्पन्न करने और सेट यूनियन को कम से कम ऊपरी सीमा उत्पन्न करने की अनुमति देता है। इस प्रकार, उपसमुच्चय के संग्रह का इन्फ़िमम या मीट (गणित) सबसे बड़ी निचली सीमा है जबकि सुप्रीमम या जॉइन (गणित) सबसे कम ऊपरी सीमा है। इस संदर्भ में, आंतरिक सीमा, lim inf Xn, अनुक्रम की पूंछों का सबसे बड़ा मिलन है, और बाहरी सीमा, lim sup Xn, अनुक्रम की पूँछों का सबसे छोटा जुड़ाव है। निम्नलिखित इसे सटीक बनाता है।
 * लिम सुपर एक्सn एक्स के तत्व शामिल हैं जो एक्स से संबंधित हैंn अपरिमित रूप से अनेक एन के लिए (गणनीय रूप से अनंत देखें)। अर्थात्, x ∈ lim sup Xn यदि और केवल यदि कोई अनुवर्ती मौजूद है (Xn k ) का (Xn) ऐसा कि x ∈ Xn k सभी के लिए।
 * lim inf X उप>n में एक्स के तत्व शामिल हैं जो एक्स से संबंधित हैं उप>n 'परिमित रूप से अनेक को छोड़कर सभी' n के लिए (अर्थात, सह-अनेक n के लिए)। अर्थात्, x ∈ lim inf X उप>n यदि और केवल यदि कुछ m > 0 मौजूद है जैसे कि x ∈ X सभी n > m के लिए उप>n ।
 * लिम एक्सn अस्तित्व में है यदि और केवल यदि lim inf Xn और लिम सुपर एक्सn सहमत हूं, किस स्थिति में लिम एक्सn = लिम सुपर एक्सn = lim inf Xn.
 * चलो मैंn n का मिलन हो अनुक्रम की पूँछ। वह है,
 * $$\begin{align}I_n

&= \inf\,\{ X_m : m \in \{n, n+1, n+2, \ldots\}\}\\ &= \bigcap_{m=n}^{\infty} X_m = X_n \cap X_{n+1} \cap X_{n+2} \cap \cdots. \end{align}$$
 * क्रम (आईn) गैर-घटता नहीं है (अर्थात् In ⊆ मैंn+1) क्योंकि प्रत्येक In+1 I से कम समुच्चयों का प्रतिच्छेदन हैn. पूँछों के मिलने के इस क्रम में सबसे कम ऊपरी सीमा है
 * $$\begin{align}

\liminf_{n\to\infty} X_n &= \sup\,\{ \,\inf\,\{X_m: m \in \{n, n+1, \ldots\}\}: n \in \{1,2,\dots\}\}\\ &= \bigcup_{n=1}^\infty \left({\bigcap_{m=n}^\infty}X_m\right)\!. \end{align}$$
 * तो अधिकतम सीमा में सभी उपसमुच्चय शामिल हैं जो अनुक्रम के सभी लेकिन सीमित रूप से कई सेटों के लिए निचली सीमाएं हैं।


 * इसी प्रकार, मान लीजिए जेn n का सम्मिलित होना अनुक्रम की पूँछ। वह है,
 * $$\begin{align}J_n

&= \sup\,\{ X_m : m \in \{n, n+1, n+2, \ldots\}\}\\ &= \bigcup_{m=n}^{\infty} X_m = X_n \cup X_{n+1} \cup X_{n+2} \cup \cdots. \end{align}$$
 * क्रम (जेn) गैर-बढ़ती है (यानी जेn ⊇ जेn+1) क्योंकि प्रत्येक जेn+1 J से कम समुच्चयों का मिलन हैn. पूँछों के जुड़ने के इस क्रम पर सबसे बड़ी निचली सीमा है
 * $$\begin{align}

\limsup_{n\to\infty} X_n &= \inf\,\{ \,\sup\,\{X_m: m \in \{n, n+1, \ldots\}\}: n \in \{1,2,\dots\}\}\\ &= \bigcap_{n=1}^\infty \left({\bigcup_{m=n}^\infty}X_m\right)\!. \end{align}$$
 * तो सीमा सर्वोच्च सभी उपसमुच्चयों में निहित है जो अनुक्रम के सभी लेकिन सीमित रूप से कई सेटों के लिए ऊपरी सीमाएं हैं।

उदाहरण
निम्नलिखित कई सेट अभिसरण उदाहरण हैं। सेट एक्स पर टोपोलॉजी को प्रेरित करने के लिए उपयोग की जाने वाली मीट्रिक के संबंध में उन्हें खंडों में तोड़ दिया गया है।


 * असतत मीट्रिक का उपयोग करना


 * बोरेल-कैंटेली लेम्मा इन निर्माणों का एक उदाहरण अनुप्रयोग है।


 * असतत मीट्रिक या यूक्लिडियन मीट्रिक का उपयोग करना


 * समुच्चय X = {0,1} और उपसमुच्चय के अनुक्रम पर विचार करें:
 * $$(X_n) = (\{0\},\{1\},\{0\},\{1\},\{0\},\{1\},\dots).$$
 * इस अनुक्रम के विषम और सम तत्व दो अनुवर्ती बनाते हैं, ({0}, {0}, {0}, ...) और ({1}, {1}, {1}, ...), जो क्रमशः सीमा बिंदु 0 और 1 हैं, और इसलिए बाहरी या ऊपरी सीमा इन दो बिंदुओं का सेट {0,1} है। हालाँकि, कोई सीमा बिंदु नहीं है जिसे (X) से लिया जा सकेn) समग्र रूप से अनुक्रम, और इसलिए आंतरिक या निचली सीमा खाली सेट है { }। वह है,
 * लिम सुपर एक्सn = {0,1}
 * lim inf Xn = { }
 * हालाँकि, (Y के लिए)n) = ({0}, {0}, {0}, ...) और (Zn) = ({1}, {1}, {1}, ...):
 * लिम सप वाईn = lim inf Yn =क्यों?n = {0}
 * लिम सप जेडn = lim inf Zn = लिम Zn = {1}


 * समुच्चय X = {50, 20, −100, −25, 0, 1} और उपसमुच्चय के अनुक्रम पर विचार करें:
 * $$(X_n) = (\{50\}, \{20\}, \{-100\}, \{-25\}, \{0\}, \{1\}, \{0\}, \{1\}, \{0\}, \{1\}, \dots).$$
 * जैसा कि पिछले दो उदाहरणों में है,
 * लिम सुपर एक्सn = {0,1}
 * lim inf Xn = { }
 * अर्थात, जो चार तत्व पैटर्न से मेल नहीं खाते हैं, वे लिम इन्फ़ और लिम सुप को प्रभावित नहीं करते हैं क्योंकि उनमें से केवल सीमित संख्या में हैं। वास्तव में, इन तत्वों को क्रम में कहीं भी रखा जा सकता है। जब तक अनुक्रम की पूँछें बनी रहती हैं, बाहरी और भीतरी सीमाएँ अपरिवर्तित रहेंगी। आवश्यक आंतरिक और बाहरी सीमाओं की संबंधित अवधारणाएं, जो आवश्यक सर्वोच्च और आवश्यक अनंत का उपयोग करती हैं, एक महत्वपूर्ण संशोधन प्रदान करती हैं जो अनगिनत अंतरालीय परिवर्धन को कुचल देती है (केवल सीमित रूप से कई के बजाय)।


 * यूक्लिडियन मीट्रिक का उपयोग करना


 * परिमेय संख्याओं के उपसमुच्चय के अनुक्रम पर विचार करें:
 * $$(X_n) = ( \{0\}, \{1\}, \{1/2\}, \{1/2\}, \{2/3\}, \{1/3\}, \{3/4\}, \{1/4\}, \dots ).$$
 * इस अनुक्रम के विषम और सम तत्व दो अनुवर्ती बनाते हैं, ({0}, {1/2}, {2/3}, {3/4}, ...) और ({1}, {1/2) }, {1/3}, {1/4}, ...), जिनकी सीमा बिंदु क्रमशः 1 और 0 हैं, और इसलिए बाहरी या ऊपरी सीमा इन दो बिंदुओं का सेट {0,1} है। हालाँकि, कोई सीमा बिंदु नहीं है जिसे (X) से लिया जा सकेn) समग्र रूप से अनुक्रम, और इसलिए आंतरिक या निचली सीमा खाली सेट है { }। तो, पिछले उदाहरण की तरह,
 * लिम सुपर एक्सn = {0,1}
 * lim inf Xn = { }
 * हालाँकि, (Y के लिए)n) = ({0}, {1/2}, {2/3}, {3/4}, ...) और (Zn) = ({1}, {1/2}, {1/3}, {1/4}, ...):
 * लिम सप वाईn = lim inf Yn =क्यों?n = {1}
 * लिम सप जेडn = lim inf Zn = लिम Zn = {0}
 * इन चार मामलों में से प्रत्येक में, सीमित सेट के तत्व मूल अनुक्रम से किसी भी सेट के तत्व नहीं हैं।


 * एक गतिशील प्रणाली के समाधान की Ω सीमा (यानी, सीमा सेट) प्रणाली के समाधान प्रक्षेप पथ की बाहरी सीमा है। क्योंकि प्रक्षेप पथ इस सीमा सेट के और करीब आते जाते हैं, इन प्रक्षेप पथों की पूंछें सीमा निर्धारित में परिवर्तित हो जाती हैं।
 * उदाहरण के लिए, एक एलटीआई प्रणाली, जो एक बिना अवमंदित दूसरे क्रम की एलटीआई प्रणाली (यानी, शून्य अवमंदन अनुपात) के साथ कई स्थिरता सिद्धांत प्रणालियों का कैस्केड कनेक्शन है, परेशान होने के बाद अंतहीन रूप से दोलन करेगी (उदाहरण के लिए, एक आदर्श घंटी बजने के बाद)। इसलिए, यदि इस प्रणाली की स्थिति और वेग को एक-दूसरे के विरुद्ध प्लॉट किया जाता है, तो प्रक्षेप पथ राज्य स्थान (नियंत्रण) में एक सर्कल तक पहुंच जाएंगे। यह वृत्त, जो सिस्टम का Ω सीमा सेट है, सिस्टम के समाधान प्रक्षेप पथ की बाहरी सीमा है। वृत्त शुद्ध साइनसोइडल टोन आउटपुट के अनुरूप प्रक्षेपवक्र के स्थान का प्रतिनिधित्व करता है; अर्थात्, सिस्टम आउटपुट शुद्ध स्वर के करीब/अनुमानित होता है।

सामान्यीकृत परिभाषाएँ
उपरोक्त परिभाषाएँ कई तकनीकी अनुप्रयोगों के लिए अपर्याप्त हैं। वास्तव में, उपरोक्त परिभाषाएँ निम्नलिखित परिभाषाओं की विशेषज्ञता हैं।

एक सेट के लिए परिभाषा
एक समुच्चय X⊆ Y की निचली सीमा समुच्चय के सभी सीमा बिंदुओं का न्यूनतम है। वह है,
 * $$\liminf X := \inf\,\{ x \in Y : x \text{ is a limit point of } X \}\,$$

इसी प्रकार, X की सीमा श्रेष्ठता समुच्चय के सभी सीमा बिंदुओं में सर्वोच्च है। वह है,
 * $$\limsup X := \sup\,\{ x \in Y : x \text{ is a limit point of } X \}\,$$

ध्यान दें कि सेट इसके अलावा, यह एक पूर्ण जाली होनी चाहिए ताकि सुप्रीमा और इनफिमा हमेशा मौजूद रहें। उस स्थिति में प्रत्येक सेट की एक सीमा श्रेष्ठ और एक सीमा निम्न होती है। यह भी ध्यान दें कि किसी समुच्चय की निचली सीमा और ऊपरी सीमा का समुच्चय के तत्व होना जरूरी नहीं है।

फ़िल्टर आधारों के लिए परिभाषा
उस स्थान में एक टोपोलॉजिकल स्पेस एक्स और एक फ़िल्टर आधार बी लें। उस फ़िल्टर बेस के लिए सभी क्लस्टर बिंदुओं का सेट दिया गया है
 * $$\bigcap\, \{ \overline{B}_0 : B_0 \in B \}$$

कहाँ $$\overline{B}_0$$ का समापन (टोपोलॉजी) है $$B_0$$. यह स्पष्ट रूप से एक बंद सेट है और एक सेट के सीमा बिंदुओं के सेट के समान है। मान लें कि X भी आंशिक रूप से ऑर्डर किया गया सेट है। फ़िल्टर बेस बी की सीमा श्रेष्ठ को इस प्रकार परिभाषित किया गया है
 * $$\limsup B := \sup\, \bigcap\, \{ \overline{B}_0 : B_0 \in B \}$$

जब वह सर्वोच्च अस्तित्व में है. जब X का कुल ऑर्डर होता है, एक पूर्ण जाली होती है और ऑर्डर टोपोलॉजी होती है,
 * $$\limsup B = \inf\,\{ \sup B_0 : B_0 \in B \}.$$

इसी प्रकार, फिल्टर बेस बी की निचली सीमा को इस प्रकार परिभाषित किया गया है
 * $$\liminf B := \inf\, \bigcap\, \{ \overline{B}_0 : B_0 \in B \}$$

जब वह असीम अस्तित्व में हो; यदि X पूरी तरह से ऑर्डर किया गया है, एक पूर्ण जाली है, और उसके पास ऑर्डर टोपोलॉजी है, तो
 * $$\liminf B = \sup\,\{ \inf B_0 : B_0 \in B \}.$$

यदि सीमा अवर और सीमा श्रेष्ठ सहमत हैं, तो बिल्कुल एक क्लस्टर बिंदु होना चाहिए और फ़िल्टर आधार की सीमा इस अद्वितीय क्लस्टर बिंदु के बराबर है।

अनुक्रमों और जालों के लिए विशेषज्ञता
ध्यान दें कि फ़िल्टर आधार नेट (गणित) के सामान्यीकरण हैं, जो अनुक्रमों के सामान्यीकरण हैं। इसलिए, ये परिभाषाएँ किसी भी नेट (और इस प्रकार किसी भी अनुक्रम) की सीमा को निम्न और नेट (गणित)#सीमा को श्रेष्ठ भी देती हैं। उदाहरण के लिए, टोपोलॉजिकल स्पेस लें $$X$$ और जाल $$(x_\alpha)_{\alpha \in A}$$, कहाँ $$(A,{\leq})$$ एक निर्देशित सेट है और $$x_\alpha \in X$$ सभी के लिए $$\alpha \in A$$. इस नेट द्वारा उत्पन्न फिल्टर बेस (टेल्स का) है $$B$$ द्वारा परिभाषित
 * $$B := \{ \{ x_\alpha : \alpha_0 \leq \alpha \} : \alpha_0 \in A \}.\,$$

इसलिए, नेट की सीमा निम्न और सीमा श्रेष्ठ, सीमा श्रेष्ठ और सीमा निम्न के बराबर हैं $$B$$ क्रमश। इसी प्रकार, टोपोलॉजिकल स्पेस के लिए $$X$$, अनुक्रम ले लो $$(x_n)$$ कहाँ $$x_n \in X$$ किसी के लिए $$n \in \mathbb{N}$$. इस अनुक्रम द्वारा उत्पन्न फिल्टर बेस (पूंछ का) है $$C$$ द्वारा परिभाषित
 * $$C := \{ \{ x_n : n_0 \leq n \} : n_0 \in \mathbb{N} \}.\,$$

इसलिए, अनुक्रम की सीमा निम्न और सीमा श्रेष्ठ, सीमा श्रेष्ठ और सीमा निम्न के बराबर हैं $$C$$ क्रमश।

यह भी देखें

 * निम्नतम आवश्यक और उच्चतम आवश्यक
 * लिफाफा (लहरें)
 * एकतरफ़ा सीमा
 * दीनी व्युत्पन्न
 * सेट-सैद्धांतिक सीमा