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

गणित में, समुच्चयों के अनुक्रम की सीमा $$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$$ a.b.f.o. '' लिखकर व्यक्त किया जाता है।

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

इसे दूसरे तरीके से कहें तो, अधिकतम सीमा में ऐसे तत्व सम्मिलित होते हैं जो अंततः सदैव के लिए रहते हैं (अंदर हैं)। बाद समुच्चय करें  $$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).$$