समुच्चय-सैद्धांतिक सीमा

गणित में, सेट के अनुक्रम की सीमा (गणित) $$A_1, A_2, \ldots$$ (एक सामान्य समुच्चय के उपसमुच्चय $$X$$) एक सेट है जिसके तत्व अनुक्रम द्वारा दो समकक्ष तरीकों से निर्धारित किए जाते हैं: (1) अनुक्रम पर ऊपरी और निचली सीमाओं द्वारा जो एक ही सेट में नीरस रूप से परिवर्तित होते हैं (अनुक्रम की सीमा के अनुरूप | वास्तविक-मूल्यवान अनुक्रमों का अभिसरण) और (2) संकेतक कार्यों के अनुक्रम के अभिसरण द्वारा जो स्वयं वास्तविक संख्या-मूल्यवान हैं। जैसा कि अन्य वस्तुओं के अनुक्रमों के मामले में होता है, अभिसरण आवश्यक या सामान्य भी नहीं है।

अधिक आम तौर पर, फिर से वास्तविक-मूल्यवान अनुक्रमों के अनुरूप, एक सेट अनुक्रम की कम प्रतिबंधात्मक सीमा अनंत और सीमा सर्वोच्च हमेशा मौजूद होती है और अभिसरण निर्धारित करने के लिए इसका उपयोग किया जा सकता है: सीमा मौजूद होती है यदि सीमा अनंत और सीमा सर्वोच्च समान होती है। (नीचे देखें)। ऐसी निर्धारित सीमाएँ माप (गणित) और संभाव्यता में आवश्यक हैं।

यह एक आम ग़लतफ़हमी है कि यहां वर्णित अधिकतम और सर्वोच्च सीमाओं में संचय बिंदुओं के सेट शामिल हैं, अर्थात, के सेट $$x = \lim_{k \to \infty} x_k,$$ जहां प्रत्येक $$x_k$$ कुछ में है $$A_{n_k}.$$ यह केवल तभी सत्य है जब अभिसरण असतत मीट्रिक द्वारा निर्धारित किया जाता है (अर्थात्, $$x_n \to x$$ अगर वहाँ होता $$N$$ ऐसा है कि $$x_n = x$$ सभी के लिए $$n \geq N$$). यह लेख उस स्थिति तक ही सीमित है क्योंकि यह माप सिद्धांत और संभाव्यता के लिए प्रासंगिक एकमात्र लेख है। नीचे दिए गए उदाहरण देखें. (दूसरी ओर, अधिक सामान्य सीमा श्रेष्ठ और सीमा निम्न # सामान्य सेट अभिसरण हैं जो विभिन्न मीट्रिक (गणित) या टोपोलॉजिकल स्पेस के तहत संचय बिंदु शामिल करते हैं।)

दो परिभाषाएँ
लगता है कि $$\left(A_n\right)_{n=1}^\infty$$ सेटों का एक क्रम है. दो समकक्ष परिभाषाएँ इस प्रकार हैं।


 * संघ (सेट सिद्धांत) और  प्रतिच्छेदन (सेट सिद्धांत)  का उपयोग करना: परिभाषित करें $$\liminf_{n \to \infty} A_n = \bigcup_{n \geq 1} \bigcap_{j \geq n} A_j$$ और $$\limsup_{n \to \infty} A_n = \bigcap_{n \geq 1} \bigcup_{j \geq n} A_j$$ यदि ये दोनों सेट बराबर हैं, तो अनुक्रम की सेट-सैद्धांतिक सीमा $$A_n$$ मौजूद है और उस सामान्य सेट के बराबर है। ऊपर वर्णित किसी भी सेट का उपयोग सीमा प्राप्त करने के लिए किया जा सकता है, और सीमा प्राप्त करने के अन्य साधन भी हो सकते हैं।
 * सूचक कार्यों का उपयोग करना: चलो $$\mathbb{1}_{A_n}(x)$$ बराबर $$1$$ अगर $$x \in A_n,$$ और $$0$$ अन्यथा। परिभाषित करना $$\liminf_{n \to \infty} A_n = \Bigl\{ x \in X : \liminf_{n \to \infty} \mathbb{1}_{A_n}(x) = 1 \Bigr\}$$ और $$\limsup_{n \to \infty} A_n = \Bigl\{ x \in X : \limsup_{n \to \infty} \mathbb{1}_{A_n}(x) = 1 \Bigr\},$$ जहां दाईं ओर कोष्ठक के अंदर के भाव क्रमशः वास्तविक-मूल्यवान अनुक्रम की अधिकतम सीमा और अधिकतम सीमा हैं $$\mathbb{1}_{A_n}(x).$$ पुनः, यदि ये दोनों सेट बराबर हैं, तो अनुक्रम की सेट-सैद्धांतिक सीमा $$A_n$$ मौजूद है और उस सामान्य सेट के बराबर है, और ऊपर वर्णित किसी भी सेट का उपयोग सीमा प्राप्त करने के लिए किया जा सकता है।

परिभाषाओं की तुल्यता देखने के लिए, अधिकतम सीमा पर विचार करें। नीचे डी मॉर्गन के नियम का उपयोग बताता है कि यह सीमा सर्वोच्च के लिए पर्याप्त क्यों है। चूँकि संकेतक फ़ंक्शन केवल मान लेते हैं $$0$$ और $$1,$$ $$\liminf_{n \to \infty} \mathbb{1}_{A_n}(x) = 1$$ अगर और केवल अगर $$\mathbb{1}_{A_n}(x)$$ मूल्य लेता है $$0$$ केवल बहुत बार। समान रूप से, $x \in \bigcup_{n \geq 1} \bigcap_{j \geq n} A_j$ यदि और केवल यदि अस्तित्व है $$n$$ जैसे कि तत्व अंदर है $$A_m$$ हरएक के लिए $$m \geq n,$$ जिसका अर्थ है यदि और केवल यदि $$x \not\in A_n$$ केवल बहुत से लोगों के लिए $$n.$$ इसलिए, $$x$$ में है $$\liminf_{n \to \infty} A_n$$ अगर और केवल अगर $$x$$ सभी में है लेकिन सीमित रूप से अनेक है $$A_n.$$ इस कारण से, सीमा अनंत के लिए एक आशुलिपि वाक्यांश है$$x$$ में है $$A_n$$ सभी लेकिन सीमित रूप से अक्सर, आम तौर पर लेखन द्वारा व्यक्त किए जाते हैं$$A_n$$ ए.बी.एफ.ओ. .

इसी प्रकार, एक तत्व $$x$$ सीमा सर्वोच्च में है, चाहे कितना भी बड़ा क्यों न हो $$n$$ है, वहाँ मौजूद है $$m \geq n$$ जैसे कि तत्व अंदर है $$A_m.$$ वह है, $$x$$ सीमा सर्वोच्च में है यदि और केवल यदि $$x$$ अपरिमित रूप से अनेक में है $$A_n.$$ इस कारण से, सीमा सर्वोच्च के लिए एक संक्षिप्त वाक्यांश है$$x$$ में है $$A_n$$ अनंत बार, आम तौर पर लेखन द्वारा व्यक्त किया जाता है$$A_n$$ आई.ओ. .

इसे दूसरे तरीके से कहें तो, अधिकतम सीमा में ऐसे तत्व शामिल होते हैं जो अंततः हमेशा के लिए रहते हैं (अंदर हैं)। बाद सेट करें  $$n$$), जबकि सीमा सर्वोच्च में ऐसे तत्व शामिल होते हैं जो कभी भी हमेशा के लिए नहीं जाते (अंदर हैं)।  बाद सेट करें  $$n$$). या अधिक औपचारिक रूप से:


 * $\lim_{n\in\N}A_n = L \quad \Longleftrightarrow$     || for every $$x\in L$$     &thinsp; there is a $$n_0\in\N$$ with $$x\in A_n$$ for all $$n\ge n_0$$ and
 * ||for every $$y\in X\!\setminus\! L$$ there is a $$p_0\in\N$$ with $$y\not\in A_p$$ for all $$p\ge p_0$$.
 * }
 * ||for every $$y\in X\!\setminus\! L$$ there is a $$p_0\in\N$$ with $$y\not\in A_p$$ for all $$p\ge p_0$$.
 * }

मोनोटोन अनुक्रम
क्रम $$\left(A_n\right)$$ यदि ऐसा कहा जाता है कि इसमें वृद्धि नहीं हो रही है $$A_{n+1} \subseteq A_n$$ प्रत्येक के लिए $$n,$$ और यदि न घटे $$A_n \subseteq A_{n+1}$$ प्रत्येक के लिए $$n.$$ इनमें से प्रत्येक मामले में निर्धारित सीमा मौजूद है। उदाहरण के लिए, एक गैर-बढ़ते अनुक्रम पर विचार करें $$\left(A_n\right).$$ तब $$\bigcap_{j \geq n} A_j = \bigcap_{j \geq 1} A_j \text{ and } \bigcup_{j \geq n} A_j = A_n.$$ इनसे यह निष्कर्ष निकलता है $$\liminf_{n \to \infty} A_n = \bigcup_{n \geq 1} \bigcap_{j \geq n} A_j = \bigcap_{j \geq 1} A_j = \bigcap_{n \geq 1} \bigcup_{j \geq n} A_j = \limsup_{n \to \infty} A_n.$$ इसी प्रकार, यदि $$\left(A_n\right)$$ फिर घट नहीं रहा है $$\lim_{n \to \infty} A_n = \bigcup_{j \geq 1} A_j.$$ कैंटर सेट#टर्नरी सेट का निर्माण और सूत्र इस प्रकार परिभाषित किया गया है।

गुण
= \left(\bigcap_n \bigcup_{j \geq n} A_j^c\right)^c = \left(\limsup_{n \to \infty} A_n^c\right)^c.$$ वह है, $$x \in A_n$$ लेकिन अंततः सभी प्रायः एक जैसे ही होते हैं $$x \not\in A_n$$ बहुत बार.
 * यदि की सीमा $$\mathbb{1}_{A_n}(x),$$ जैसा $$n$$ अनंत तक जाता है, सबके लिए विद्यमान है $$x$$ तब $$\lim_{n \to \infty} A_n = \left\{ x \in X : \lim_{n \to \infty} \mathbb{1}_{A_n}(x) = 1 \right\}.$$ अन्यथा, के लिए सीमा $$\left(A_n\right)$$ मौजूद नहीं होना।
 * यह दिखाया जा सकता है कि अधिकतम सीमा सर्वोच्च सीमा में निहित है: $$\liminf_{n\to\infty} A_n \subseteq \limsup_{n\to\infty} A_n,$$ उदाहरण के लिए, बस उसका अवलोकन करके $$x \in A_n$$ सभी लेकिन निश्चित रूप से अक्सर इसका तात्पर्य होता है $$x \in A_n$$ अनंत बार.
 * सेट-सैद्धांतिक सीमा#मोनोटोन अनुक्रमों का उपयोग करना $ B_n = \bigcap_{j \geq n} A_j$ और का $ C_n = \bigcup_{j \geq n} A_j,$  $$\liminf_{n\to\infty} A_n = \lim_{n\to\infty}\bigcap_{j \geq n} A_j \quad \text{ and } \quad \limsup_{n\to\infty} A_n = \lim_{n\to\infty} \bigcup_{j \geq n} A_j.$$
 * सेट पूरक के साथ, डी मॉर्गन के नियम का दो बार उपयोग करके $$A^c := X \setminus A,$$ $$\liminf_{n \to \infty} A_n = \bigcup_n \left(\bigcup_{j \geq n} A_j^c\right)^c
 * उपरोक्त दूसरी परिभाषा से और वास्तविक-मूल्य वाले अनुक्रम की अधिकतम सीमा और अधिकतम सीमा की परिभाषाओं से, $$\mathbb{1}_{\liminf_{n \to \infty} A_n}(x) = \liminf_{n \to \infty}\mathbb{1}_{A_n}(x) = \sup_{n \geq 1} \inf_{j \geq n} \mathbb{1}_{A_j}(x)$$ और $$\mathbb{1}_{\limsup_{n \to \infty} A_n}(x) = \limsup_{n \to \infty} \mathbb{1}_{A_n}(x) = \inf_{n \geq 1} \sup_{j \geq n} \mathbb{1}_{A_j}(x).$$
 * कल्पना करना $$\mathcal{F}$$ एक सिग्मा बीजगणित है|$\sigma$-उपसमुच्चय का बीजगणित $$X.$$ वह है, $$\mathcal{F}$$ खाली सेट है और पूरक के तहत और अनगिनत सेटों के यूनियनों और चौराहों के तहत बंद है। फिर, उपरोक्त पहली परिभाषा के अनुसार, यदि प्रत्येक $$A_n \in \mathcal{F}$$ फिर दोनों $$\liminf_{n \to \infty} A_n$$ और $$\limsup_{n \to \infty} A_n$$ के तत्व हैं $$\mathcal{F}.$$

उदाहरण
= \bigcup_n \left[0, 1 - \frac{1}{n}\right] = [0, 1)$$ और $$\limsup_{n \to \infty} A_n = \bigcap_n \bigcup_{j \geq n}\left(-\frac{1}{j}, 1 - \frac{1}{j}\right] = \bigcap_n \left(- \frac{1}{n}, 1\right) = [0, 1).$$ इसलिए $$\lim_{n \to \infty} A_n = [0, 1)$$ मौजूद। = \bigcup_n \left(\frac{1}{2n}, 1 - \frac{1}{2n}\right] = (0, 1)$$ और $$\limsup_{n \to \infty} A_n = \bigcap_n \bigcup_{j \geq n} \left(\frac{(-1)^j}{j}, 1 - \frac{(-1)^j}{j}\right] = \bigcap_n \left(-\frac{1}{2n-1}, 1 + \frac{1}{2n-1}\right] = [0, 1].$$ इसलिए $$\lim_{n \to \infty} A_n$$ अस्तित्व में नहीं है, इस तथ्य के बावजूद कि अंतराल (गणित) के बाएँ और दाएँ समापन बिंदु क्रमशः 0 और 1 पर मिलते हैं।
 * होने देना $$A_n = \left(- \frac{1}{n}, 1 - \frac{1}{n}\right].$$ तब $$\liminf_{n \to \infty} A_n = \bigcup_n \bigcap_{j \geq n} \left(-\frac{1}{j}, 1 - \frac{1}{j} \right]
 * पिछले उदाहरण को इसमें बदलें $$A_n = \left(\frac{(-1)^n}{n}, 1 - \frac{(-1)^n}{n}\right].$$ तब $$\liminf_{n \to \infty} A_n = \bigcup_n \bigcap_{j \geq n} \left(\frac{(-1)^j}{j}, 1-\frac{(-1)^j}{j}\right]
 * होने देना $$A_n = \left\{ 0, \frac{1}{n}, \frac{2}{n}, \ldots, \frac{n - 1}{n}, 1\right\}.$$ तब $$\bigcup_{j \geq n} A_j = \Q\cap[0,1]$$ (जो 0 और 1 के बीच की सभी परिमेय संख्याएँ हैं, सम्मिलित) चूँकि सम के लिए $$j < n$$ और $$0 \leq k \leq j,$$ $$\frac{k}{j} = \frac{nk}{nj}$$ उपरोक्त का एक तत्व है. इसलिए, $$\limsup_{n \to \infty} A_n = \Q \cap [0, 1].$$ वहीं दूसरी ओर, $$\bigcap_{j \geq n} A_j = \{0, 1\},$$ जो ये दर्शाता हे $$\liminf_{n \to \infty} A_n = \{0,1\}.$$इस मामले में, अनुक्रम $$A_1, A_2, \ldots$$ कोई सीमा नहीं है. ध्यान दें कि $$\lim_{n \to \infty} A_n$$ संचय बिंदुओं का सेट नहीं है, जो संपूर्ण अंतराल होगा $$[0, 1]$$ (सामान्य यूक्लिडियन दूरी के अनुसार)।

संभावना का उपयोग
निर्धारित सीमाएँ, विशेष रूप से अधिकतम सीमा और सर्वोच्च सीमा, संभाव्यता और माप (गणित) के लिए आवश्यक हैं। ऐसी सीमाओं का उपयोग अन्य, अधिक उद्देश्यपूर्ण, सेटों की संभावनाओं और मापों की गणना (या साबित) करने के लिए किया जाता है। निम्नलिखित के लिए, $$(X,\mathcal{F},\mathbb{P})$$ एक संभाव्यता स्थान है, जिसका अर्थ है $$\mathcal{F}$$ के उपसमुच्चय का एक सिग्मा-बीजगणित|σ-बीजगणित है $$ X$$ और $$\mathbb{P}$$ उस σ-बीजगणित पर परिभाषित एक संभाव्यता माप है। σ-बीजगणित में सेट को इवेंट (संभावना सिद्धांत) के रूप में जाना जाता है।

अगर $$A_1, A_2, \ldots$$ घटनाओं की एक सेट-सैद्धांतिक सीमा#मोनोटोन_अनुक्रम है $$\mathcal{F}$$ तब $$\lim_{n \to \infty} A_n$$ मौजूद है और $$\mathbb{P}\left(\lim_{n \to \infty} A_n\right) = \lim_{n \to \infty} \mathbb{P}\left(A_n\right).$$

बोरेल-कैंटेली लेमास
संभाव्यता में, दो बोरेल-कैंटेली लेम्मा यह दिखाने के लिए उपयोगी हो सकते हैं कि घटनाओं के अनुक्रम की संभावना 1 या 0 के बराबर है। पहले (मूल) बोरेल-कैंटेली लेम्मा का कथन है $$ दूसरा बोरेल-कैंटेली लेम्मा एक आंशिक उलटा है: $$

लगभग निश्चित अभिसरण
संभाव्यता के सबसे महत्वपूर्ण अनुप्रयोगों में से एक यादृच्छिक चर के अनुक्रम के लगभग निश्चित अभिसरण को प्रदर्शित करना है। वह घटना जो यादृच्छिक चर का एक क्रम है $$Y_1, Y_2, \ldots$$ दूसरे यादृच्छिक चर में परिवर्तित हो जाता है $$Y$$ औपचारिक रूप से व्यक्त किया गया है $\left\{\limsup_{n\to\infty} \left|Y_n - Y\right| = 0\right\}.$ हालाँकि, इसे केवल घटनाओं के संक्षिप्त विवरण के रूप में लिखना एक गलती होगी। वह यह है  समारोह $\limsup_{n\to\infty} \left\{ \left|Y_n - Y\right| = 0\right\}$ ! इसके बजाय, घटना का है $$\begin{align} \left\{\limsup_{n\to\infty} \left|Y_n - Y\right| \neq 0\right\} &= \left\{\limsup_{n\to\infty} \left|Y_n - Y\right| > \frac{1}{k} \text{ for some } k\right\}\\ &= \bigcup_{k \geq 1} \bigcap_{n \geq 1} \bigcup_{j \geq n} \left\{\left|Y_j - Y\right| > \tfrac{1}{k}\right\} \\ &= \lim_{k\to\infty} \limsup_{n\to\infty} \left\{ \left|Y_n - Y\right| > \tfrac{1}{k}\right\}. \end{align}$$ इसलिए, $$\mathbb{P}\left(\left\{\limsup_{n\to\infty} \left|Y_n - Y\right| \neq 0 \right\}\right) = \lim_{k\to\infty} \mathbb{P}\left(\limsup_{n\to\infty} \left\{ \left|Y_n - Y\right| > \tfrac{1}{k} \right\}\right).$$