प्रभुत्व अभिसरण प्रमेय

माप सिद्धांत में, हेनरी लेबेस्गुए का वर्चस्व अभिसरण प्रमेय पर्याप्त स्थितियाँ प्रदान करता है जिसके तहत लगभग हर जगह फ़ंक्शन (गणित) के अनुक्रम का अभिसरण (गणित) एल में अभिसरण का अर्थ देता है।1मानदंड. इसकी शक्ति और उपयोगिता, रीमैन अभिन्न  की तुलना में लेब्सग इंटीग्रल के दो प्राथमिक सैद्धांतिक लाभ हैं।

गणितीय विश्लेषण और आंशिक अंतर समीकरणों में इसकी लगातार उपस्थिति के अलावा, इसका व्यापक रूप से संभाव्यता सिद्धांत में उपयोग किया जाता है, क्योंकि यह यादृच्छिक चर के अपेक्षित मूल्यों के अभिसरण के लिए पर्याप्त स्थिति देता है।

कथन
लेबेस्ग्यू का प्रभुत्व अभिसरण प्रमेय। होने देना $$(f_n)$$ माप स्थान पर जटिल संख्या-मूल्य वाले मापनीय कार्यों का एक क्रम बनें $(S,\Sigma,\mu)$. मान लीजिए कि अनुक्रम बिंदुवार किसी फ़ंक्शन में अभिसरण करता है $$f$$ और कुछ अभिन्न कार्य पर हावी है $$g$$ इस अर्थ में कि
 * $$ |f_n(x)| \le g(x)$$

अनुक्रम के सूचकांक सेट और सभी बिंदुओं में सभी संख्याओं n के लिए $$x\in S$$. तब f पूर्णांक है (लेबेस्ग एकीकरण अर्थ में) और
 * $$ \lim_{n\to\infty} \int_S |f_n-f| \, d\mu = 0$$

जिसका तात्पर्य यह भी है
 * $$\lim_{n\to\infty} \int_S f_n\,d\mu = \int_S f\,d\mu$$

टिप्पणी 1. कथन जी पूर्णांकीय है अर्थात मापने योग्य कार्य है $$g$$ क्या लेब्सेग एकीकृत है; अर्थात।
 * $$\int_S|g|\,d\mu < \infty.$$

टिप्पणी 2. अनुक्रम और वर्चस्व का अभिसरण $$g$$ केवल पकड़ने के लिए ही आराम किया जा सकता है μ-लगभग हर जगह माप के लिए जगह उपलब्ध कराई गई (S, Σ, μ) माप (गणित)#सम्पूर्णता या है $$f$$ एक मापने योग्य फ़ंक्शन के रूप में चुना गया है जो सहमत है μ-almost हर जगह के साथ μ-almost हर जगह मौजूदा बिंदुवार सीमा। (ये सावधानियां आवश्यक हैं, क्योंकि अन्यथा एक गैर-मापने योग्य सेट मौजूद हो सकता है|एक का गैर-मापनीय उपसमुच्चय μ-null तय करना N ∈ Σ, इस तरह $$f$$ मापने योग्य नहीं हो सकता है.)

टिप्पणी 3. यदि $$\mu (S) < \infty$$, शर्त यह है कि एक प्रमुख पूर्णांक फलन मौजूद है $$g$$ अनुक्रम को समान रूप से एकीकृत करने के लिए छूट दी जा सकती है (fn), विटाली अभिसरण प्रमेय देखें।

'टिप्पणी 4.' जबकि $$f$$ क्या लेबेस्ग इंटीग्रेबल है, यह सामान्य तौर पर रीमैन अभिन्न  नहीं है। उदाहरण के लिए, एफ लेंn में परिभाषित किया जाना है $$[0,1]$$ ताकि परिमेय संख्याओं पर यह एक हो और अन्य सभी जगह (अपरिमेय संख्याओं पर) शून्य हो। श्रृंखला (एफn) बिंदुवार 0 पर अभिसरण करता है, इसलिए f समान रूप से शून्य है, लेकिन $$|f_n-f|=f_n$$ रीमैन पूर्णांकीय नहीं है, क्योंकि प्रत्येक परिमित अंतराल में इसकी छवि है $$\{0,1\}$$ और इस प्रकार ऊपरी और निचले डार्बौक्स इंटीग्रल क्रमशः 1 और 0 हैं।

प्रमाण
व्यापकता खोए बिना, कोई यह मान सकता है कि f वास्तविक है, क्योंकि कोई f को उसके वास्तविक और काल्पनिक भागों में विभाजित कर सकता है (याद रखें कि जटिल संख्याओं का एक क्रम तभी अभिसरण होता है जब उसके वास्तविक और काल्पनिक दोनों समकक्ष अभिसरण होते हैं) और त्रिकोण असमानता को लागू करते हैं अंत में।

लेबेस्गु का प्रभुत्व अभिसरण प्रमेय फतौ-लेबेस्गु प्रमेय का एक विशेष मामला है। हालाँकि, नीचे एक प्रत्यक्ष प्रमाण है जो फ़तौ के लेम्मा को आवश्यक उपकरण के रूप में उपयोग करता है।

चूँकि f अनुक्रम की बिंदुवार सीमा है (fn) मापने योग्य कार्यों में से जिन पर जी का प्रभुत्व है, यह भी मापने योग्य है और जी पर हावी है, इसलिए यह पूर्णांक है। इसके अलावा, (बाद में इनकी आवश्यकता होगी),
 * $$   |f-f_n| \le |f| + |f_n| \leq 2g$$

सभी n और के लिए
 * $$   \limsup_{n\to\infty} |f-f_n| = 0.$$

इनमें से दूसरा तुच्छ रूप से सत्य है (एफ की परिभाषा के अनुसार)। लेब्सेग इंटीग्रल का उपयोग करना#लेब्सेग इंटीग्रल के मूल प्रमेय,
 * $$   \left | \int_S{f\,d\mu} - \int_S{f_n\,d\mu} \right|=   \left| \int_S{(f-f_n)\,d\mu} \right|\le \int_S{|f-f_n|\,d\mu}.$$

उल्टे फ़तौ लेम्मा द्वारा (यह यहाँ है कि हम इस तथ्य का उपयोग करते हैं कि |f−fn| ऊपर एक पूर्णांकीय फ़ंक्शन द्वारा घिरा हुआ है)
 * $$\limsup_{n\to\infty} \int_S |f-f_n|\,d\mu \le \int_S \limsup_{n\to\infty} |f-f_n|\,d\mu = 0,$$

जिसका अर्थ है कि सीमा मौजूद है और गायब हो जाती है यानी
 * $$\lim_{n\to\infty} \int_S |f-f_n|\,d\mu= 0.$$

अंततः, तब से
 * $$\lim_{n\to\infty} \left|\int_S fd\mu-\int_S f_nd\mu\right| \leq\lim_{n\to\infty} \int_S |f-f_n|\,d\mu= 0.$$

हमारे पास वह है
 * $$\lim_{n\to\infty} \int_S f_n\,d\mu= \int_S f\,d\mu.$$

प्रमेय अब अनुसरण करता है।

यदि धारणाएँ ही कायम रहती हैं μ-almost हर जगह, तो वहाँ एक मौजूद है μ-null तय करना N ∈ Σ जैसे कि फ़ंक्शन fn'1'S \ N S पर हर जगह मान्यताओं को संतुष्ट करें। फिर फ़ंक्शन f(x) को f की बिंदुवार सीमा के रूप में परिभाषित किया गया हैn(एक्स) के लिए x ∈ S \ N और तक के लिए x ∈ N, मापने योग्य है और इस संशोधित फ़ंक्शन अनुक्रम की बिंदुवार सीमा है। इन इंटीग्रल्स के मान इस μ-null सेट एन पर इंटीग्रैंड्स में इन परिवर्तनों से प्रभावित नहीं होते हैं, इसलिए प्रमेय कायम रहता है।

DCT तब भी कायम रहता है जब fn माप (परिमित माप) में एफ में परिवर्तित हो जाता है और प्रमुख कार्य लगभग हर जगह गैर-नकारात्मक होता है।

धारणाओं की चर्चा
इस धारणा को नकारा नहीं जा सकता कि अनुक्रम पर कुछ पूर्णांकीय g का प्रभुत्व है। इसे इस प्रकार देखा जा सकता है: परिभाषित करें अंतराल में x के लिए (गणित) (0, 1/n] और  अन्यथा। कोई भी g जो अनुक्रम पर हावी है उसे बिंदुवार सर्वोच्च पर भी हावी होना चाहिए . उसका अवलोकन करो
 * $$\int_0^1 h(x)\,dx \ge \int_{\frac{1}{m}}^1{h(x)\,dx} = \sum_{n=1}^{m-1} \int_{\left(\frac{1}{n+1},\frac{1}{n}\right]}{h(x)\,dx} \ge \sum_{n=1}^{m-1} \int_{\left(\frac{1}{n+1},\frac{1}{n}\right]}{n\,dx}=\sum_{n=1}^{m-1} \frac{1}{n+1} \to \infty \qquad \text{as }m\to\infty $$

हार्मोनिक श्रृंखला (गणित) के विचलन से। इसलिए, लेबेस्ग इंटीग्रल की एकरसता हमें बताती है कि कोई इंटीग्रेबल फ़ंक्शन मौजूद नहीं है जो [0,1] पर अनुक्रम पर हावी हो। प्रत्यक्ष गणना से पता चलता है कि एकीकरण और बिंदुवार सीमा इस अनुक्रम के लिए परिवर्तित नहीं होती है:
 * $$\int_0^1 \lim_{n\to\infty} f_n(x)\,dx = 0 \neq 1 = \lim_{n\to\infty}\int_0^1 f_n(x)\,dx,$$

क्योंकि अनुक्रम की बिन्दुवार सीमा शून्य फलन है। ध्यान दें कि अनुक्रम (fn) समान रूप से एकीकृत भी नहीं है, इसलिए विटाली अभिसरण प्रमेय भी लागू नहीं है।

परिबद्ध अभिसरण प्रमेय
प्रभुत्व अभिसरण प्रमेय का एक परिणाम परिबद्ध अभिसरण प्रमेय है, जो बताता है कि यदि (एफn) एक समान सीमा वाले वास्तविक संख्या-मूल्य वाले मापन योग्य कार्यों का एक क्रम है जो एक सीमाबद्ध माप स्थान पर बिंदुवार परिवर्तित होता है (S, Σ, μ) (यानी वह जिसमें μ(S) परिमित है) एक फ़ंक्शन f के लिए, तो सीमा f एक पूर्णांक फ़ंक्शन है और


 * $$\lim_{n\to\infty} \int_S{f_n\,d\mu} = \int_S{f\,d\mu}.$$

टिप्पणी: अनुक्रम के बिंदुवार अभिसरण और एकसमान सीमा को धारण करने के लिए ही ढील दी जा सकती है μ-लगभग हर जगह, माप स्थान प्रदान किया गया (S, Σ, μ) माप है (गणित)#पूर्णता या एफ को मापने योग्य फ़ंक्शन के रूप में चुना जाता है जो μ-लगभग हर जगह सहमत होता है μ-almost हर जगह मौजूदा बिंदुवार सीमा।

प्रमाण
चूँकि अनुक्रम समान रूप से परिबद्ध है, इसलिए एक वास्तविक संख्या M ऐसी है fn(x) सभी के लिए x ∈ S और सभी एन के लिए। परिभाषित करना सभी के लिए x ∈ S. फिर अनुक्रम पर g हावी है। इसके अलावा, g पूर्णांक है क्योंकि यह परिमित माप के सेट पर एक स्थिर कार्य है। इसलिए, परिणाम प्रभुत्व अभिसरण प्रमेय से होता है।

यदि धारणाएँ ही कायम रहती हैं μ-almost हर जगह, तो वहाँ एक मौजूद है μ-null तय करना N ∈ Σ जैसे कि फ़ंक्शन fn''1S\N एस पर हर जगह की धारणाओं को संतुष्ट करें।

एल में प्रभुत्व अभिसरणपी-स्पेस (परिणाम)
होने देना $$(\Omega,\mathcal{A},\mu)$$ एक माप स्थान बनें, $ 1\leq p<\infty$ एक वास्तविक संख्या और $$(f_n)$$ का एक क्रम $$\mathcal{A}$$-मापने योग्य कार्य $$f_n:\Omega\to\Complex\cup\{\infty\}$$.

अनुक्रम मान लें $$(f_n)$$ अभिसरण $$\mu$$-लगभग हर जगह एक $$\mathcal{A}$$-मापने योग्य कार्य $$f$$, और a का प्रभुत्व है $$g \in L^p$$ (सीएफ. एलपी स्पेस), यानी, प्रत्येक प्राकृतिक संख्या के लिए $$n$$ अपने पास: $$|f_n|\leq g$$, μ-लगभग हर जगह।

फिर सब $$f_n$$ साथ ही $$f$$ में हैं $$L^p$$ और क्रम $$(f_n)$$ में एकत्रित हो जाता है $$f$$ एलपी-स्पेस में|का भाव $$L^p$$, अर्थात:


 * $$\lim_{n \to \infty}\|f_n-f\|_p =\lim_{n \to \infty}\left(\int_\Omega |f_n-f|^p \,d\mu\right)^{\frac{1}{p}} = 0.$$

प्रमाण का विचार: मूल प्रमेय को फ़ंक्शन अनुक्रम पर लागू करें $$h_n = |f_n-f|^p$$ प्रभुत्वशाली कार्य के साथ $$(2g)^p$$.

एक्सटेंशन
प्रभुत्वशाली अभिसरण प्रमेय बानाच स्थान में मूल्यों के साथ मापने योग्य कार्यों पर भी लागू होता है, प्रभुत्वशाली कार्य अभी भी ऊपर के अनुसार गैर-नकारात्मक और पूर्णांक है। लगभग हर जगह अभिसरण की धारणा को केवल माप में अभिसरण की आवश्यकता के लिए कमजोर किया जा सकता है।

प्रभुत्व अभिसरण प्रमेय सशर्त अपेक्षाओं पर भी लागू होता है।

यह भी देखें

 * यादृच्छिक चर का अभिसरण, माध्य में अभिसरण
 * मोनोटोन अभिसरण प्रमेय (एक पूर्णांक फ़ंक्शन द्वारा प्रभुत्व की आवश्यकता नहीं है बल्कि अनुक्रम की एकरसता मानता है)
 * शेफ़े की लेम्मा
 * एकसमान अभिन्नता
 * विटाली अभिसरण प्रमेय (लेब्सग्यू के प्रभुत्व वाले अभिसरण प्रमेय का एक सामान्यीकरण)