मोनोटोन अभिसरण प्रमेय

वास्तविक विश्लेषण के गणितीय क्षेत्र में, मोनोटोन अभिसरण प्रमेय कई संबंधित प्रमेयों में से है जो मोनोटोनिक अनुक्रमों (अनुक्रम जो गैर-घटते या गैर-बढ़ते हैं) के अभिसरण (गणित) को साबित करते हैं जो कि बंधा हुआ कार्य भी हैं। अनौपचारिक रूप से, प्रमेय बताते हैं कि यदि कोई अनुक्रम बढ़ रहा है और ऊपर सर्वोच्च से घिरा हुआ है, तो अनुक्रम सर्वोच्च में परिवर्तित हो जाएगा; उसी तरह, यदि कोई अनुक्रम घट रहा है और नीचे अनंत से घिरा है, तो यह अनंत में परिवर्तित हो जाएगा।

लेम्मा 1
यदि वास्तविक संख्याओं का अनुक्रम बढ़ रहा है और ऊपर से घिरा हुआ है, तो इसकी सर्वोच्च सीमा है।

प्रमाण
होने देना $$ (a_n)_{n\in\mathbb{N}} $$ ऐसा क्रम हो, और चलो $$\{ a_n \}$$ की शर्तों का सेट हो $$ (a_n)_{n\in\mathbb{N}} $$. अनुमान से, $$\{ a_n \}$$ गैर-रिक्त है और ऊपर से घिरा हुआ है। वास्तविक संख्याओं की न्यूनतम-ऊपरी-सीमा वाली संपत्ति द्वारा, $c = \sup_n \{a_n\}$ अस्तित्व में है और सीमित है। अब, प्रत्येक के लिए $$\varepsilon > 0$$, वहां मौजूद $$N$$ ऐसा है कि $$a_N > c - \varepsilon $$, अन्यथा से $$c - \varepsilon $$ की ऊपरी सीमा है $$\{ a_n \}$$, जो की परिभाषा के विपरीत है $$c$$. तब से $$(a_n)_{n\in\mathbb{N}}$$ बढ़ रहा है, और $$c$$ प्रत्येक के लिए इसकी ऊपरी सीमा है $$n > N$$, अपने पास $$|c - a_n| \leq |c - a_N| < \varepsilon $$. इसलिए, परिभाषा के अनुसार, की सीमा $$(a_n)_{n\in\mathbb{N}}$$ है $\sup_n \{a_n\}.$

लेम्मा 2
यदि वास्तविक संख्याओं का कोई क्रम घट रहा हो और नीचे परिबद्ध हो, तो उसकी न्यूनतम सीमा होती है।

प्रमाण
प्रमाण उस मामले के प्रमाण के समान है जब अनुक्रम बढ़ रहा है और ऊपर से घिरा हुआ है।

प्रमेय
अगर $$(a_n)_{n\in\mathbb{N}}$$ वास्तविक संख्याओं का मोनोटोन अनुक्रम है (अर्थात्, यदि an≤एn+1 प्रत्येक n ≥ 1 या a के लिएn≥एn+1 प्रत्येक n ≥ 1) के लिए, तो इस अनुक्रम की सीमित सीमा होती है यदि और केवल यदि अनुक्रम परिबद्ध अनुक्रम है।

प्रमाण

 * यदि -दिशा: प्रमाण सीधे लेम्मास से आता है।
 * केवल यदि -दिशा: (ε, δ) द्वारा - सीमा की परिभाषा, प्रत्येक अनुक्रम $$(a_n)_{n\in\mathbb{N}}$$ सीमित सीमा के साथ $$L$$ आवश्यक रूप से परिबद्ध है।

प्रमेय
यदि सभी प्राकृत संख्याओं j और k के लिए, aj,k गैर-नकारात्मक वास्तविक संख्या है और aj,k≤ एj+1,k, तब
 * $$\lim_{j\to\infty} \sum_k a_{j,k} = \sum_k \lim_{j\to\infty} a_{j,k}.$$

प्रमेय कहता है कि यदि आपके पास गैर-नकारात्मक वास्तविक संख्याओं का अनंत मैट्रिक्स है तो पंक्तियों के योग की सीमा उस श्रृंखला के योग के बराबर होती है जिसका पद k स्तंभ k की सीमा द्वारा दिया जाता है (जो इसका सर्वोच्च भी है)। श्रृंखला में अभिसरण योग होता है यदि और केवल यदि पंक्ति योगों का (कमजोर रूप से बढ़ता हुआ) क्रम परिबद्ध है और इसलिए अभिसरण है।
 * 1) कॉलम कमजोर रूप से बढ़ रहे हैं और बंधे हुए हैं, और
 * 2) प्रत्येक पंक्ति के लिए, श्रृंखला (गणित) जिसके पद इस पंक्ति द्वारा दिए गए हैं, का अभिसरण योग है,

उदाहरण के तौर पर, पंक्तियों की अनंत श्रृंखला पर विचार करें


 * $$ \left( 1+ \frac1 n\right)^n = \sum_{k=0}^n \binom nk \frac 1 {n^k} = \sum_{k=0}^n \frac1{k!} \times \frac nn \times \frac{n-1}n\times\cdots\times\frac{n-k+1}n,$$

जहां n अनंत तक पहुंचता है (इस श्रृंखला की सीमा e (गणितीय स्थिरांक) है)। यहां पंक्ति n और कॉलम k में मैट्रिक्स प्रविष्टि है


 * $$\binom nk \frac 1 {n^k} =\frac1{k!}\times\frac nn\times\frac{n-1}n\times\cdots\times\frac{n-k+1}n;$$

कॉलम (निश्चित k) वास्तव में n के साथ कमजोर रूप से बढ़ रहे हैं और (1/k से!) बंधे हुए हैं, जबकि पंक्तियों में केवल सीमित रूप से कई गैर-शून्य पद हैं, इसलिए शर्त 2 संतुष्ट है; प्रमेय अब कहता है कि आप पंक्ति योग की सीमा की गणना कर सकते हैं $$(1+1/n)^n$$ अर्थात्, स्तंभ सीमाओं का योग लेकर$$\frac1{k!}$$.

बेप्पो लेवी की लेम्मा
निम्नलिखित परिणाम बेप्पो लेवी के कारण है, जिन्होंने 1906 में हेनरी लेबेस्गुए द्वारा पहले के परिणाम का थोड़ा सा सामान्यीकरण साबित किया था। जो आगे हुआ, $$\operatorname{\mathcal B}_{\R_{\geq 0}}$$ को दर्शाता है $$\sigma$$- बोरेल का बीजगणित चालू होता है $$[0,+\infty]$$. परिभाषा से, $$\operatorname{\mathcal B}_{\R_{\geq 0}}$$ सेट शामिल है $$\{+\infty\}$$ और सभी बोरेल उपसमुच्चय $$\R_{\geq 0}.$$

प्रमेय
होने देना $$(\Omega,\Sigma,\mu)$$ माप हो (गणित), और $$X\in\Sigma$$. बिंदुवार गैर-घटते क्रम पर विचार करें $$\{f_k\}^\infty_{k=1}$$ का $$(\Sigma,\operatorname{\mathcal B}_{\R_{\geq 0}})$$-मापने योग्य कार्य गैर-नकारात्मक कार्य $$f_k:X\to [0,+\infty]$$, अर्थात, प्रत्येक के लिए $${k\geq 1}$$ और हर $${x\in X}$$,


 * $$ 0 \leq f_k(x) \leq f_{k+1}(x)\leq\infty. $$

अनुक्रम की बिन्दुवार सीमा निर्धारित करें $$\{f_{n}\}$$ होना $$f$$. यानी हर किसी के लिए $$x\in X$$,


 * $$ f(x):= \lim_{k\to\infty} f_k(x). $$

तब $$f$$ है $$(\Sigma,\operatorname{\mathcal B}_{\R_{\geq 0}})$$-मापने योग्य और


 * $$\lim_{k\to\infty} \int_X f_k \,d\mu = \int_X f \,d\mu. $$

टिप्पणी 1. अभिन्न अंग परिमित या अनंत हो सकते हैं।

टिप्पणी 2. यदि इसकी धारणाएँ मान्य हैं तो प्रमेय सत्य रहता है $$\mu$$-लगभग हर जगह। दूसरे शब्दों में, यह पर्याप्त है कि शून्य सेट है $$N$$ ऐसा कि क्रम $$\{f_n(x)\}$$ प्रत्येक के लिए गैर-कमी $${x\in X\setminus N}.$$ यह देखने के लिए कि यह सच क्यों है, हम अवलोकन से शुरू करते हैं जो अनुक्रम की अनुमति देता है $$\{ f_n \}$$ बिंदुवार गैर-घटाना लगभग हर जगह इसकी बिंदुवार सीमा का कारण बनता है $$f$$ कुछ शून्य सेट पर अपरिभाषित होना $$N$$. उस शून्य सेट पर, $$f$$ फिर मनमाने ढंग से परिभाषित किया जा सकता है, उदाहरण के लिए शून्य के रूप में, या किसी अन्य तरीके से जो मापनीयता को सुरक्षित रखता है। यह देखने के लिए कि यह प्रमेय के परिणाम को प्रभावित क्यों नहीं करेगा, तब से ध्यान दें $${\mu(N)=0},$$ हमारे पास, हर किसी के लिए है $$k,$$
 * $$ \int_X f_k \,d\mu = \int_{X \setminus N} f_k \,d\mu$$ और $$\int_X f \,d\mu = \int_{X \setminus N} f \,d\mu, $$

उसे उपलब्ध कराया $$f$$ है $$(\Sigma,\operatorname{\mathcal B}_{\R_{\geq 0}})$$-मापने योग्य. (ये समानताएं गैर-नकारात्मक फ़ंक्शन के लिए लेबेस्ग इंटीग्रल की परिभाषा से सीधे अनुसरण करती हैं)।

टिप्पणी 3. प्रमेय की मान्यताओं के तहत, 1. $\textstyle f(x) = \liminf_k f_k(x) = \limsup_k f_k(x) = \sup_k f_k(x)$

2. $\textstyle \liminf_k \int_X f_k \,d\mu = \textstyle \limsup_k \int_X f_k \,d\mu = \lim_k \int_X f_k \,d\mu = \sup_k \int_X f_k \,d\mu$

(ध्यान दें कि समानता की दूसरी श्रृंखला टिप्पणी 5 से अनुसरण करती है)।

टिप्पणी 4. नीचे दिया गया प्रमाण यहां स्थापित किए गए को छोड़कर लेबेस्ग इंटीग्रल के किसी भी गुण का उपयोग नहीं करता है। इस प्रकार, प्रमेय का उपयोग लेबेस्ग एकीकरण से संबंधित अन्य बुनियादी गुणों, जैसे कि रैखिकता, को साबित करने के लिए किया जा सकता है।

टिप्पणी 5 (लेबेस्ग इंटीग्रल की एकरसता)। नीचे दिए गए प्रमाण में, हम लेबेस्ग इंटीग्रल के मोनोटोनिक गुण को केवल गैर-नकारात्मक कार्यों पर लागू करते हैं। विशेष रूप से (टिप्पणी 4 देखें), कार्य करें $$f,g : X \to [0,+\infty]$$ होना $$(\Sigma,\operatorname{\mathcal B}_{\R_{\geq 0}})$$-मापने योग्य.


 * अगर $$f \leq g$$ हर जगह पर $$X,$$ तब


 * $$\int_X f\,d\mu \leq \int_X g\,d\mu.$$


 * अगर $$ X_1,X_2 \in \Sigma $$ और $$X_1 \subseteq X_2, $$ तब


 * $$\int_{X_1} f\,d\mu \leq \int_{X_2} f\,d\mu.$$

सबूत। निरूपित $$\operatorname{SF}(h)$$ सरल का सेट $$(\Sigma, \operatorname{\mathcal B}_{\R_{\geq 0}})$$-मापने योग्य कार्य $$s:X\to [0,\infty)$$ ऐसा है कि $$0\leq s\leq h$$ हर जगह पर $$X.$$ 1. चूँकि $$f \leq g,$$ अपने पास


 * $$ \operatorname{SF}(f) \subseteq \operatorname{SF}(g). $$

लेबेस्ग इंटीग्रल की परिभाषा और सुप्रीमम के गुणों के अनुसार,


 * $$\int_X f\,d\mu = \sup_{s\in {\rm SF}(f)}\int_X s\,d\mu \leq \sup_{s\in {\rm SF}(g)}\int_X s\,d\mu = \int_X g\,d\mu.$$

2. चलो $${\mathbf 1}_{X_1}$$ सेट का सूचक कार्य हो $$X_1.$$ इसका अनुमान लेबेस्ग इंटीग्रल की परिभाषा से लगाया जा सकता है


 * $$ \int_{X_2} f\cdot {\mathbf 1}_{X_1} \,d\mu = \int_{X_1} f \,d\mu$$

यदि हम उस पर ध्यान दें, प्रत्येक के लिए $$s \in {\rm SF}(f\cdot {\mathbf 1}_{X_1}),$$ $$s=0$$ के बाहर $$X_1.$$ पिछली संपत्ति के साथ संयुक्त, असमानता $$ f\cdot {\mathbf 1}_{X_1} \leq f$$ तात्पर्य


 * $$ \int_{X_1} f \,d\mu = \int_{X_2} f\cdot {\mathbf 1}_{X_1} \,d\mu \leq \int_{X_2} f \,d\mu. $$

प्रमाण
यह प्रमाण फ़तौ की प्रमेयिका पर निर्भर नहीं करता है; हालाँकि, हम बताते हैं कि उस लेम्मा का उपयोग कैसे किया जा सकता है। जो लोग प्रमाण की इस स्वतंत्रता में रुचि नहीं रखते हैं वे नीचे दिए गए मध्यवर्ती परिणामों को छोड़ सकते हैं।

लेब्सग्यू माप के रूप में अभिन्न
लेम्मा 1. चलो $$(\Omega,\Sigma,\mu)$$ मापने योग्य स्थान बनें. सरल पर विचार करें $$(\Sigma,\operatorname{\mathcal B}_{\R_{\geq 0}})$$-मापने योग्य गैर-नकारात्मक कार्य $$s:\Omega\to{\mathbb R_{\geq 0}}$$. उपसमुच्चय के लिए $$S\subseteq\Omega$$, परिभाषित करना
 * $$\nu(S)=\int_Ss\,d\mu.$$

तब $$\nu$$ पर उपाय है $$\Omega$$.

प्रमाण
एकरसता टिप्पणी 5 से आती है। यहां, हम केवल गणनीय योगात्मकता सिद्ध करेंगे, बाकी पाठक पर छोड़ देंगे। होने देना $$S=\bigcup^\infty_{i=1}S_i$$, जहां सभी सेट $$S_i$$ जोड़ीवार असंयुक्त हैं. सरलता के कारण,
 * $$s=\sum^n_{i=1}c_i\cdot {\mathbf 1}_{A_i},$$

कुछ परिमित गैर-ऋणात्मक स्थिरांकों के लिए $$c_i\in{\mathbb R}_{\geq 0}$$ और जोड़ीवार असंयुक्त सेट $$A_i\in\Sigma$$ ऐसा है कि $$\bigcup^n_{i=1}A_i=\Omega$$. लेब्सेग इंटीग्रल की परिभाषा के अनुसार,

\begin{align} \nu(S) &=\sum^n_{i=1}c_i\cdot\mu(S\cap A_i)\\ &=\sum^n_{i=1}c_i\cdot\mu\left(\left(\bigcup^\infty_{j=1} S_j\right)\cap A_i\right)\\ &=\sum^n_{i=1}c_i\cdot\mu\left(\bigcup^\infty_{j=1}(S_j\cap A_i)\right) \end{align} $$ चूंकि सभी सेट $$S_j\cap A_i$$ जोड़ीवार असंयुक्त हैं, गणनीय योगात्मकता $$\mu$$ हमें देता है

\sum^n_{i=1} c_i\cdot\mu \left(\bigcup^\infty_{j=1}(S_j\cap A_i)\right)=\sum^n_{i=1}c_i\cdot\sum^\infty_{j=1} \mu(S_j\cap A_i). $$ चूँकि सभी सारांश गैर-ऋणात्मक हैं, श्रृंखला का योग, चाहे यह योग परिमित हो या अनंत, यदि योग क्रम बदलता है तो नहीं बदल सकता। इसी कारणवश,

\begin{align} \sum^n_{i=1}c_i\cdot\sum^\infty_{j=1}\mu(S_j\cap A_i)&=\sum^\infty_{j=1}\sum^n_{i=1}c_i\cdot \mu(S_j\cap A_i)\\ &=\sum^\infty_{j=1}\int_{S_j} s\,d\mu\\ &=\sum^\infty_{j=1}\nu(S_j), \end{align} $$ आवश्यकता अनुसार।

नीचे से निरंतरता
निम्नलिखित संपत्ति माप की परिभाषा का प्रत्यक्ष परिणाम है।

लेम्मा 2. चलो $$\mu$$ उपाय हो, और $$S = \bigcup^\infty_{i=1}S_i$$, कहाँ

S_1\subseteq\cdots\subseteq S_i\subseteq S_{i+1}\subseteq\cdots\subseteq S $$ अपने सभी सेटों के साथ गैर-घटती हुई श्रृंखला है $$\mu$$-मापने योग्य. तब
 * $$\mu(S)=\lim_i\mu(S_i).$$

प्रमेय का प्रमाण
चरण 1. हम इसे दिखाकर शुरुआत करते हैं $$f$$ है $$ (\Sigma, \operatorname{\mathcal B}_{\R_{\geq 0}}) $$-मापने योग्य.

टिप्पणी। यदि हम फ़तौ की लेम्मा का उपयोग कर रहे थे, तो मापनीयता टिप्पणी 3(ए) से आसानी से अनुसरण करेगी।

फ़तौ के लेम्मा का उपयोग किए बिना ऐसा करने के लिए, यह दिखाना पर्याप्त है कि अंतराल की उलटी छवि $$[0,t]$$ अंतर्गत $$f$$ सिग्मा-बीजगणित का तत्व है $$\Sigma$$ पर $$X$$, क्योंकि (बंद) अंतराल वास्तविक पर बोरेल सिग्मा बीजगणित उत्पन्न करते हैं। तब से $$[0,t]$$ बंद अंतराल है, और, प्रत्येक के लिए $$k$$, $$0\le f_k(x) \le f(x)$$,


 * $$0\leq f(x)\leq t\quad \Leftrightarrow\quad \Bigl[\forall k\quad 0\leq f_k(x)\leq t\Bigr].$$

इस प्रकार,


 * $$\{x\in X \mid 0\leq f(x)\leq t\} = \bigcap_k \{x\in X \mid 0\leq f_k(x)\leq t\}.$$

एक के नीचे स्थापित बोरेल की उलटी छवि होना $$(\Sigma,\operatorname{\mathcal B}_{\R_{\geq 0}})$$-मापने योग्य कार्य $$f_k$$, गणनीय प्रतिच्छेदन में प्रत्येक सेट का तत्व है $$\Sigma$$. तब से $$\sigma$$-बीजगणित, परिभाषा के अनुसार, गणनीय प्रतिच्छेदन के अंतर्गत बंद होते हैं, इससे पता चलता है $$f$$ है $$(\Sigma,\operatorname{\mathcal B}_{\R_{\geq 0}})$$-मापने योग्य, और अभिन्न $$\textstyle \int_X f \,d\mu $$ अच्छी तरह से परिभाषित है (और संभवतः अनंत)।

स्टेप 2. हम सबसे पहले वो दिखाएंगे $$\textstyle\int_X f \,d\mu \geq \lim_k \int_X f_k \,d\mu. $$ की परिभाषा $$f$$ और की एकरसता $$\{f_k\}$$ इसका मतलब यह है $$f(x)\geq f_k(x)$$, हरएक के लिए $$k$$ और हर $$x\in X$$. लेबेस्ग इंटीग्रल की एकरसता (या, अधिक सटीक रूप से, रिमार्क 5 में स्थापित इसका संकीर्ण संस्करण; रिमार्क 4 भी देखें) द्वारा,
 * $$\int_X f\,d\mu\geq\int_X f_k\,d\mu,$$

और
 * $$\int_X f\,d\mu\geq\lim_k\int_X f_k\,d\mu.$$

ध्यान दें कि दाईं ओर की सीमा मौजूद है (सीमित या अनंत) क्योंकि, एकरसता के कारण (टिप्पणी 5 और टिप्पणी 4 देखें), अनुक्रम गैर-घटता नहीं है।

चरण 2 का अंत.

अब हम विपरीत असमानता को सिद्ध करते हैं। हम यह दिखाना चाहते हैं


 * $$ \int_X f \,d\mu \leq \lim_k \int_X f_k \,d\mu $$.

फ़तौ की लेम्मा का उपयोग करके प्रमाण। टिप्पणी 3 के अनुसार, जिस असमानता को हम सिद्ध करना चाहते हैं वह इसके समतुल्य है
 * $$\int_X \liminf_k f_k(x) \,d\mu \leq \liminf_k \int_X f_k \,d\mu.$$

लेकिन बाद वाला फ़तौ की लेम्मा से तुरंत अनुसरण करता है, और प्रमाण पूरा हो गया है।

स्वतंत्र प्रमाण. फ़तौ की लेम्मा का उपयोग किए बिना असमानता को साबित करने के लिए, हमें कुछ अतिरिक्त मशीनरी की आवश्यकता है। निरूपित $$\operatorname{SF}(f)$$ सरल का सेट $$(\Sigma,\operatorname{\mathcal B}_{\R_{\geq 0}})$$-मापने योग्य कार्य $$s:X\to [0,\infty)$$ ऐसा है कि $$0\leq s\leq f$$ पर $$X$$.

चरण 3. सरल कार्य दिया गया है $$s\in\operatorname{SF}(f)$$ और वास्तविक संख्या $$t\in (0,1)$$, परिभाषित करना
 * $$B^{s,t}_k=\{x\in X\mid t\cdot s(x)\leq f_k(x)\}\subseteq X.$$

तब $$B^{s,t}_k\in\Sigma$$, $$B^{s,t}_k\subseteq B^{s,t}_{k+1}$$, और $$\textstyle X=\bigcup_k B^{s,t}_k$$.

चरण 3ए. पहले दावे को साबित करने के लिए आइए $$\textstyle s=\sum^m_{i=1}c_i\cdot{\mathbf 1}_{A_i}$$, जोड़ीवार असंयुक्त मापन योग्य सेटों के कुछ सीमित संग्रह के लिए $$A_i\in\Sigma$$ ऐसा है कि $$\textstyle X=\cup^m_{i=1}A_i$$, कुछ (परिमित) गैर-नकारात्मक स्थिरांक $$c_i\in {\mathbb R}_{\geq 0}$$, और $${\mathbf 1}_{A_i}$$ सेट के सूचक फ़ंक्शन को दर्शाते हुए $$A_i$$.

हरएक के लिए $$ x\in A_i, $$ $$t\cdot s(x)\leq f_k(x)$$ यदि और केवल यदि धारण करता है $$ f_k(x) \in [t\cdot c_i, +\infty].$$ यह देखते हुए कि सेट $$A_i$$ जोड़ीवार असंयुक्त हैं,


 * $$B^{s,t}_k=\bigcup^m_{i=1}\Bigl(f^{-1}_k\Bigl([t\cdot c_i,+\infty]\Bigr)\cap A_i\Bigr).$$

पूर्व छवि के बाद से $$f^{-1}_k\Bigl([t\cdot c_i,+\infty]\Bigr)$$ बोरेल सेट का $$[t\cdot c_i,+\infty]$$ मापने योग्य फ़ंक्शन के अंतर्गत $$f_k$$ मापने योग्य है, और $$\sigma$$-बीजगणित, परिभाषा के अनुसार, परिमित प्रतिच्छेदन और संघों के अंतर्गत बंद हैं, पहला दावा इस प्रकार है।

चरण 3बी. दूसरे दावे को साबित करने के लिए, प्रत्येक के लिए उस पर ध्यान दें $$k$$ और हर $$x\in X$$, $$f_k(x)\leq f_{k+1}(x).$$ चरण 3सी. तीसरे दावे को साबित करने के लिए हम उसे दिखाते हैं $$\textstyle X\subseteq\bigcup_k B^{s,t}_k$$.

वास्तव में, यदि, इसके विपरीत, $$\textstyle X\not\subseteq\bigcup_k B^{s,t}_k$$, फिर तत्व
 * $$\textstyle x_0\in X\setminus\bigcup_k B^{s,t}_k=\bigcap_k(X\setminus B^{s,t}_k)$$

ऐसा मौजूद है $$f_k(x_0)<t\cdot s(x_0)$$, हरएक के लिए $$k$$. सीमा मान कर $$k\to\infty$$, हम पाते हैं
 * $$f(x_0)\leq t\cdot s(x_0)<s(x_0).$$

लेकिन प्रारंभिक धारणा से, $$s\leq f$$. यह विरोधाभास है.

चरण 4. हर सरल के लिए $$(\Sigma,\operatorname{\mathcal B}_{\R_{\geq 0}})$$-मापने योग्य गैर-नकारात्मक कार्य $$s_2$$,
 * $$\lim_n\int_{B^{s,t}_n}s_2\,d\mu=\int_Xs_2\,d\mu.$$

इसे सिद्ध करने के लिए परिभाषित करें $$\textstyle\nu(S)=\int_S s_2\,d\mu$$. लेम्मा 1 द्वारा, $$\nu(S)$$ पर उपाय है $$\Omega$$. नीचे से निरंतरता द्वारा (लेम्मा 2),
 * $$\lim_n\int_{B^{s,t}_n}s_2\,d\mu=\lim_n\nu(B^{s,t}_n)=\nu(X)=\int_Xs_2\,d\mu,$$

आवश्यकता अनुसार।

चरण 5. अब हम इसे प्रत्येक के लिए सिद्ध करते हैं $$s\in\operatorname{SF}(f)$$,
 * $$\int_X s\,d\mu\leq\lim_k\int_X f_k\,d\mu.$$

दरअसल, की परिभाषा का उपयोग करते हुए $$B^{s,t}_k$$, की गैर-नकारात्मकता $$f_k$$, और लेबेस्ग इंटीग्रल की एकरसता (टिप्पणी 5 और रिमार्क 4 देखें), हमारे पास है
 * $$\int_{B^{s,t}_k}t\cdot s\,d\mu\leq\int_{B^{s,t}_k} f_k\,d\mu\leq\int_X f_k\,d\mu,$$

हरएक के लिए $$k\geq 1$$. चरण 4 के अनुसार, जैसे $$k\to\infty$$, असमानता हो जाती है
 * $$t\int_X s\,d\mu\leq\lim_k\int_X f_k\,d\mu.$$

सीमा मान कर $$t\uparrow 1$$ पैदावार
 * $$\int_X s\,d\mu\leq\lim_k\int_X f_k\,d\mu,$$

आवश्यकता अनुसार।

चरण 6. अब हम विपरीत असमानता को सिद्ध करने में सक्षम हैं, अर्थात।
 * $$ \int_X f \,d\mu \leq \lim_k \int_X f_k \,d\mu. $$

दरअसल, गैर-नकारात्मकता से, $$f_+ = f$$ और $$f_- = 0.$$ नीचे दी गई गणना के लिए, की गैर-नकारात्मकता $$f$$ जरूरी है। लेबेस्ग इंटीग्रल की परिभाषा और चरण 5 में स्थापित असमानता को लागू करने पर, हमारे पास है
 * $$ \int_X f \,d\mu=\sup_{s\in\operatorname{SF}(f)}\int_X s\,d\mu\leq\lim_k\int_X f_k\,d\mu.$$

सबूत पूरा है.

यह भी देखें

 * अनंत शृंखला
 * प्रभुत्व अभिसरण प्रमेय

टिप्पणियाँ
[[it:Passaggio al limite sotto segno di integrale#Integrale di Lebesg