प्रभुत्व अभिसरण प्रमेय: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Theorem in measure theory}}
{{Short description|Theorem in measure theory}}
[[माप सिद्धांत]] में, [[हेनरी लेबेस्गुए]] का वर्चस्व अभिसरण प्रमेय [[पर्याप्त स्थिति]]याँ प्रदान करता है जिसके तहत [[लगभग हर जगह]] [[फ़ंक्शन (गणित)]] के [[अनुक्रम]] का [[अभिसरण (गणित)]] ''एल'' में अभिसरण का अर्थ देता है।<sup>1</sup>मानदंड. इसकी शक्ति और उपयोगिता, [[ रीमैन अभिन्न ]] की तुलना में [[लेब्सग इंटीग्रल]] के दो प्राथमिक सैद्धांतिक लाभ हैं।
[[माप सिद्धांत]] में, [[हेनरी लेबेस्गुए]] का वर्चस्व अभिसरण प्रमेय [[पर्याप्त स्थिति]]याँ प्रदान करता है जिसके अनुसार [[लगभग हर जगह|लगभग प्रत्येक स्पेस]] [[फ़ंक्शन (गणित)|फलन (गणित)]] के [[अनुक्रम]] का [[अभिसरण (गणित)]] ''L<sup>1</sup>'' में अभिसरण का अर्थ देता है।मानदंड. इसकी शक्ति और उपयोगिता, [[ रीमैन अभिन्न ]] की तुलना में [[लेब्सग इंटीग्रल]] के दो प्राथमिक सैद्धांतिक लाभ हैं।


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


==कथन==
==कथन==
लेबेस्ग्यू का प्रभुत्व अभिसरण प्रमेय।<ref>For the real case, see {{cite book |last1=Evans |first1=Lawrence C |last2=Gariepy |first2=Ronald F |title=Measure Theory and Fine Properties of Functions |date=2015 |publisher=CRC Press |pages=Theorem 1.19}}</ref> होने देना <math>(f_n)</math> माप स्थान पर [[जटिल संख्या]]-मूल्य वाले मापनीय कार्यों का क्रम बनें {{nowrap|<math>(S,\Sigma,\mu)</math>}}. मान लीजिए कि अनुक्रम बिंदुवार किसी फ़ंक्शन में अभिसरण करता है <math>f</math> और कुछ अभिन्न कार्य पर हावी है <math>g</math> इस अर्थ में कि
लेबेस्ग्यू का प्रभुत्व अभिसरण प्रमेय <ref>For the real case, see {{cite book |last1=Evans |first1=Lawrence C |last2=Gariepy |first2=Ronald F |title=Measure Theory and Fine Properties of Functions |date=2015 |publisher=CRC Press |pages=Theorem 1.19}}</ref> मान लीजिए <math>(f_n)</math> एक माप स्पेस पर [[जटिल संख्या]] वाले मापनीय कार्यों का {{nowrap|<math>(S,\Sigma,\mu)</math>}} एक क्रम है। मान लीजिए कि अनुक्रम बिंदुवार फलन <math>f</math> में परिवर्तित हो जाता है और इस अर्थ में कुछ पूर्णांक फलन <math>g</math> का प्रभुत्व होता है
: <math> |f_n(x)| \le g(x)</math>
: <math> |f_n(x)| \le g(x)</math>
अनुक्रम के सूचकांक सेट और सभी बिंदुओं में सभी संख्याओं n के लिए <math>x\in S</math>.
 
तब f पूर्णांक है (लेबेस्ग एकीकरण अर्थ में) और
 
अनुक्रम के सूचकांक सेट में सभी संख्याओं n और S में सभी बिंदुओं <math>x\in S</math> के लिए तब f पूर्णांक है (लेब्सग्यू अर्थ में) और
: <math> \lim_{n\to\infty} \int_S |f_n-f| \, d\mu = 0</math>
: <math> \lim_{n\to\infty} \int_S |f_n-f| \, d\mu = 0</math>
जिसका तात्पर्य यह भी है
जिसका तात्पर्य यह भी है
:<math>\lim_{n\to\infty} \int_S f_n\,d\mu = \int_S f\,d\mu</math>
:<math>\lim_{n\to\infty} \int_S f_n\,d\mu = \int_S f\,d\mu</math>
टिप्पणी 1. कथन ''जी'' पूर्णांकीय है अर्थात मापने योग्य कार्य है <math>g</math> क्या लेब्सेग एकीकृत है; अर्थात।
टिप्पणी 1. कथन "<math>g</math> पूर्णांक है" का अर्थ है कि मापने योग्य फलन <math>g</math> पूर्णांक है अर्थात
:<math>\int_S|g|\,d\mu < \infty.</math>
:<math>\int_S|g|\,d\mu < \infty.</math>
टिप्पणी 2. अनुक्रम और वर्चस्व का अभिसरण <math>g</math> केवल पकड़ने के लिए ही आराम किया जा सकता है {{nowrap|μ-}}लगभग हर जगह माप के लिए जगह उपलब्ध कराई गई {{nowrap|(''S'', Σ, μ)}} माप (गणित)#सम्पूर्णता या है <math>f</math> मापने योग्य फ़ंक्शन के रूप में चुना गया है जो सहमत है {{nowrap|μ-almost}} हर जगह के साथ {{nowrap|μ-almost}} हर जगह मौजूदा बिंदुवार सीमा। (ये सावधानियां आवश्यक हैं, क्योंकि अन्यथा [[गैर-मापने योग्य सेट]] मौजूद हो सकता है|एक का गैर-मापनीय उपसमुच्चय {{nowrap|μ-null}} तय करना {{nowrap|''N'' ∈ Σ}}, इस तरह <math>f</math> मापने योग्य नहीं हो सकता है.)
टिप्पणी 2. अनुक्रम और वर्चस्व का अभिसरण <math>g</math> केवल पकड़ने के लिए ही आराम किया जा सकता है {{nowrap|μ-}}लगभग प्रत्येक स्पेस माप के लिए स्पेस उपलब्ध कराई गई {{nowrap|(''S'', Σ, μ)}} माप (गणित) सम्पूर्णता या है <math>f</math> मापने योग्य फलन के रूप में चुना गया है जो सहमत है {{nowrap|μ-almost}} प्रत्येक स्पेस के साथ {{nowrap|μ-almost}} प्रत्येक स्पेस वर्तमान बिंदुवार सीमा। (ये सावधानियां आवश्यक हैं, क्योंकि अन्यथा [[गैर-मापने योग्य सेट]] उपस्थित हो सकता है | एक का गैर-मापनीय उपसमुच्चय {{nowrap|μ-null}} तय करना {{nowrap|''N'' ∈ Σ}}, इस तरह <math>f</math> मापने योग्य नहीं हो सकता है.)


टिप्पणी 3. यदि <math>\mu (S) < \infty</math>, शर्त यह है कि प्रमुख पूर्णांक फलन मौजूद है <math>g</math> अनुक्रम को [[समान रूप से एकीकृत]] करने के लिए छूट दी जा सकती है (f<sub>n</sub>), [[विटाली अभिसरण प्रमेय]] देखें।
टिप्पणी 3. यदि <math>\mu (S) < \infty</math>, शर्त यह है कि प्रमुख पूर्णांक फलन उपस्थित है <math>g</math> अनुक्रम को [[समान रूप से एकीकृत]] करने के लिए छूट दी जा सकती है (f<sub>n</sub>), [[विटाली अभिसरण प्रमेय]] देखें।


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


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


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


चूँकि f अनुक्रम की बिंदुवार सीमा है (f<sub>''n''</sub>) मापने योग्य कार्यों में से जिन पर जी का प्रभुत्व है, यह भी मापने योग्य है और जी पर हावी है, इसलिए यह पूर्णांक है। इसके अलावा, (बाद में इनकी आवश्यकता होगी),
चूँकि f अनुक्रम की बिंदुवार सीमा है (f<sub>''n''</sub>) मापने योग्य कार्यों में से जिन पर g का प्रभुत्व है, यह भी मापने योग्य है और g पर प्रभाव है, इसलिए यह पूर्णांक है। इसके अतिरिक्त, (बाद में इनकी आवश्यकता होगी),
: <math>    |f-f_n| \le |f| + |f_n| \leq 2g</math>
: <math>    |f-f_n| \le |f| + |f_n| \leq 2g</math>
सभी n और के लिए
सभी n और के लिए
: <math>    \limsup_{n\to\infty} |f-f_n| = 0.</math>
: <math>    \limsup_{n\to\infty} |f-f_n| = 0.</math>
इनमें से दूसरा तुच्छ रूप से सत्य है (एफ की परिभाषा के अनुसार)। लेब्सेग इंटीग्रल का उपयोग करना#लेब्सेग इंटीग्रल के मूल प्रमेय,
इनमें से दूसरा तुच्छ रूप से सत्य है (f की परिभाषा के अनुसार)। लेब्सेग इंटीग्रल का उपयोग करना लेब्सेग इंटीग्रल के मूल प्रमेय,
: <math>    \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}.</math>
: <math>    \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}.</math>
उल्टे फ़तौ लेम्मा द्वारा (यह यहाँ है कि हम इस तथ्य का उपयोग करते हैं कि |f−f<sub>n</sub>| ऊपर पूर्णांकीय फ़ंक्शन द्वारा घिरा हुआ है)
उल्टे फ़तौ लेम्मा द्वारा (यह यहाँ है कि हम इस तथ्य का उपयोग करते हैं कि |f−f<sub>n</sub>| ऊपर पूर्णांकीय फलन द्वारा घिरा हुआ है)
: <math>\limsup_{n\to\infty} \int_S |f-f_n|\,d\mu \le \int_S \limsup_{n\to\infty} |f-f_n|\,d\mu = 0,</math>
: <math>\limsup_{n\to\infty} \int_S |f-f_n|\,d\mu \le \int_S \limsup_{n\to\infty} |f-f_n|\,d\mu = 0,</math>
जिसका अर्थ है कि सीमा मौजूद है और गायब हो जाती है यानी
जिसका अर्थ है कि सीमा उपस्थित है और विलुप्त हो जाती है अर्थात
: <math>\lim_{n\to\infty} \int_S |f-f_n|\,d\mu= 0.</math>
: <math>\lim_{n\to\infty} \int_S |f-f_n|\,d\mu= 0.</math>
अंततः, तब से
अंततः, तब से
Line 41: Line 42:
प्रमेय अब अनुसरण करता है।
प्रमेय अब अनुसरण करता है।


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


DCT तब भी कायम रहता है जब f<sub>''n''</sub> माप (परिमित माप) में एफ में परिवर्तित हो जाता है और प्रमुख कार्य लगभग हर जगह गैर-नकारात्मक होता है।
डीसीटी तब भी कायम रहता है जब f<sub>''n''</sub> माप (परिमित माप) में f में परिवर्तित हो जाता है और प्रमुख कार्य लगभग प्रत्येक स्पेस गैर-नकारात्मक होता है।


==धारणाओं की चर्चा==
==धारणाओं की चर्चा==
इस धारणा को नकारा नहीं जा सकता कि अनुक्रम पर कुछ पूर्णांकीय g का प्रभुत्व है। इसे इस प्रकार देखा जा सकता है: परिभाषित करें {{nowrap|''f<sub>n</sub>''(''x'') {{=}} ''n''}} अंतराल में x के लिए (गणित) {{nowrap|(0, 1/''n'']}} और {{nowrap|''f''<sub>''n''</sub>(''x'') {{=}} 0}} अन्यथा। कोई भी g जो अनुक्रम पर हावी है उसे बिंदुवार सर्वोच्च पर भी हावी होना चाहिए {{nowrap|''h'' {{=}} sup<sub>''n''</sub> ''f<sub>n</sub>''}}. उसका अवलोकन करो
इस धारणा को नकारा नहीं जा सकता कि अनुक्रम पर कुछ पूर्णांकीय g का प्रभुत्व है। इसे इस प्रकार देखा जा सकता है: परिभाषित करें {{nowrap|''f<sub>n</sub>''(''x'') {{=}} ''n''}} अंतराल में x के लिए (गणित) {{nowrap|(0, 1/''n'']}} और {{nowrap|''f''<sub>''n''</sub>(''x'') {{=}} 0}} अन्यथा। कोई भी g जो अनुक्रम पर प्रभाव है उसे बिंदुवार सर्वोच्च पर भी प्रभाव होना चाहिए {{nowrap|''h'' {{=}} sup<sub>''n''</sub> ''f<sub>n</sub>''}}. उसका अवलोकन करो
: <math>\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  </math>
: <math>\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  </math>
[[हार्मोनिक श्रृंखला (गणित)]] के विचलन से। इसलिए, लेबेस्ग इंटीग्रल की एकरसता हमें बताती है कि कोई इंटीग्रेबल फ़ंक्शन मौजूद नहीं है जो [0,1] पर अनुक्रम पर हावी हो। प्रत्यक्ष गणना से पता चलता है कि एकीकरण और बिंदुवार सीमा इस अनुक्रम के लिए परिवर्तित नहीं होती है:
[[हार्मोनिक श्रृंखला (गणित)]] के विचलन से। इसलिए, लेबेस्ग इंटीग्रल की एकरसता हमें बताती है कि कोई इंटीग्रेबल फलन उपस्थित नहीं है जो [0,1] पर अनुक्रम पर प्रभाव हो। प्रत्यक्ष गणना से पता चलता है कि एकीकरण और बिंदुवार सीमा इस अनुक्रम के लिए परिवर्तित नहीं होती है:
: <math>\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,</math>
: <math>\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,</math>
क्योंकि अनुक्रम की बिन्दुवार सीमा शून्य फलन है। ध्यान दें कि अनुक्रम (f<sub>n</sub>) समान रूप से एकीकृत भी नहीं है, इसलिए विटाली अभिसरण प्रमेय भी लागू नहीं है।
क्योंकि अनुक्रम की बिन्दुवार सीमा शून्य फलन है। ध्यान दें कि अनुक्रम (f<sub>n</sub>) समान रूप से एकीकृत भी नहीं है, इसलिए विटाली अभिसरण प्रमेय भी प्रयुक्त नहीं है।


==परिबद्ध अभिसरण प्रमेय==
==परिबद्ध अभिसरण प्रमेय                                                                                                                                                 ==
प्रभुत्व अभिसरण प्रमेय का परिणाम परिबद्ध अभिसरण प्रमेय है, जो बताता है कि यदि (''एफ''<sub>''n''</sub>) समान सीमा वाले [[वास्तविक संख्या]]-मूल्य वाले मापन योग्य कार्यों का क्रम है जो सीमाबद्ध माप स्थान पर बिंदुवार परिवर्तित होता है {{nowrap|(''S'', Σ, μ)}} (यानी वह जिसमें μ(S) परिमित है) फ़ंक्शन f के लिए, तो सीमा f पूर्णांक फ़ंक्शन है और
प्रभुत्व अभिसरण प्रमेय का परिणाम परिबद्ध अभिसरण प्रमेय है, जो बताता है कि यदि (''f''<sub>''n''</sub>) समान सीमा वाले [[वास्तविक संख्या]]-मूल्य वाले मापन योग्य कार्यों का क्रम है जो सीमाबद्ध माप स्पेस पर बिंदुवार परिवर्तित होता है {{nowrap|(''S'', Σ, μ)}} (अर्थात वह जिसमें μ(S) परिमित है) फलन f के लिए, जिससे सीमा f पूर्णांक फलन है और


:<math>\lim_{n\to\infty} \int_S{f_n\,d\mu} = \int_S{f\,d\mu}.</math>
:<math>\lim_{n\to\infty} \int_S{f_n\,d\mu} = \int_S{f\,d\mu}.</math>
टिप्पणी: अनुक्रम के बिंदुवार अभिसरण और एकसमान सीमा को धारण करने के लिए ही ढील दी जा सकती है {{nowrap|μ-}}लगभग हर जगह, माप स्थान प्रदान किया गया {{nowrap|(''S'', Σ, μ)}} माप है (गणित)#पूर्णता या एफ को मापने योग्य फ़ंक्शन के रूप में चुना जाता है जो μ-लगभग हर जगह सहमत होता है {{nowrap|μ-almost}} हर जगह मौजूदा बिंदुवार सीमा।
टिप्पणी: अनुक्रम के बिंदुवार अभिसरण और एकसमान सीमा को धारण करने के लिए ही ढील दी जा सकती है {{nowrap|μ-}}लगभग प्रत्येक स्पेस, माप स्पेस प्रदान किया गया {{nowrap|(''S'', Σ, μ)}} माप है (गणित) पूर्णता या f को मापने योग्य फलन के रूप में चुना जाता है जो μ-लगभग प्रत्येक स्पेस सहमत होता है {{nowrap|μ-almost}} प्रत्येक स्पेस वर्तमान बिंदुवार सीमा है।


===प्रमाण===
===प्रमाण===
चूँकि अनुक्रम समान रूप से परिबद्ध है, इसलिए वास्तविक संख्या M ऐसी है {{nowrap|{{!}}''f<sub>n</sub>''(''x''){{!}} ≤ ''M''}} सभी के लिए {{nowrap|''x'' ∈ ''S''}} और सभी एन के लिए। परिभाषित करना {{nowrap|''g''(''x'') {{=}} ''M''}} सभी के लिए {{nowrap|''x'' ∈ ''S''}}. फिर अनुक्रम पर g हावी है। इसके अलावा, g पूर्णांक है क्योंकि यह परिमित माप के सेट पर स्थिर कार्य है। इसलिए, परिणाम प्रभुत्व अभिसरण प्रमेय से होता है।
चूँकि अनुक्रम समान रूप से परिबद्ध है, इसलिए वास्तविक संख्या M ऐसी है {{nowrap|{{!}}''f<sub>n</sub>''(''x''){{!}} ≤ ''M''}} सभी के लिए {{nowrap|''x'' ∈ ''S''}} और सभी एन के लिए परिभाषित करना {{nowrap|''g''(''x'') {{=}} ''M''}} सभी के लिए {{nowrap|''x'' ∈ ''S''}}. फिर अनुक्रम पर g प्रभाव है। इसके अतिरिक्त, g पूर्णांक है क्योंकि यह परिमित माप के सेट पर स्थिर कार्य है। इसलिए, परिणाम प्रभुत्व अभिसरण प्रमेय से होता है।
 
यदि धारणाएँ ही कायम रहती हैं {{nowrap|μ-almost}} प्रत्येक स्पेस, तो वहाँ उपस्थित है {{nowrap|μ-null}} तय करना {{nowrap|''N'' ∈ Σ}} जैसे कि फलन f<sub>n</sub>''1''S''\''N'' एस पर प्रत्येक स्पेस की धारणाओं को संतुष्ट करें।''
 
==''L<sup>p</sup>''-स्पेस में प्रभुत्वपूर्ण अभिसरण (परिणाम)                                                                                                                                                    ==
मान लीजिए <math>(\Omega,\mathcal{A},\mu)</math> एक माप स्थान है, एक वास्तविक संख्या है और <math>(f_n)</math> एक माप स्थान है। मापने योग्य फलन मान लें कि अनुक्रम <math>f_n:\Omega\to\Complex\cup\{\infty\}</math>-मापने योग्य फलन f में परिवर्तित हो जाता है, और <math>g \in L^p</math> में <math>\mathcal{A}</math>  द्वारा प्रभाव होता है, अर्थात प्रत्येक प्राकृत संख्या <math>n</math> के लिए हमारे पास, <math>\mu</math>-लगभग प्रत्येक स्पेस है।


यदि धारणाएँ ही कायम रहती हैं {{nowrap|μ-almost}} हर जगह, तो वहाँ मौजूद है {{nowrap|μ-null}} तय करना {{nowrap|''N'' ∈ Σ}} जैसे कि फ़ंक्शन f<sub>n</sub>''1''S''\''N''</sub> एस पर हर जगह की धारणाओं को संतुष्ट करें।
तब सभी <math>f_n</math> के साथ-साथ <math>f</math> भी <math>L^p</math> में हैं और अनुक्रम <math>(f_n)</math> <math>L^p</math> के अर्थ में <math>f</math> में परिवर्तित हो जाता है, अर्थात: 


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


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


फिर सब <math>f_n</math> साथ ही <math>f</math> में हैं <math>L^p</math> और क्रम <math>(f_n)</math> में एकत्रित हो जाता है <math>f</math> एलपी-स्पेस में|का भाव <math>L^p</math>, अर्थात:
प्रमाण का विचार: मूल प्रमेय को फलन अनुक्रम <math>h_n = |f_n-f|^p</math> पर प्रभावी फलन <math>(2g)^p</math> के साथ प्रयुक्त करें


:<math>\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.</math>
==एक्सटेंशन                                                                                                                                                                                                ==
प्रमाण का विचार: मूल प्रमेय को फ़ंक्शन अनुक्रम पर लागू करें <math>h_n = |f_n-f|^p</math> प्रभुत्वशाली कार्य के साथ <math>(2g)^p</math>.
प्रभुत्वशाली अभिसरण प्रमेय बानाच स्पेस में मूल्यों के साथ मापने योग्य कार्यों पर भी प्रयुक्त होता है, प्रभुत्वशाली कार्य अभी भी ऊपर के अनुसार गैर-नकारात्मक और पूर्णांक है। लगभग प्रत्येक स्पेस अभिसरण की धारणा को केवल [[माप में अभिसरण]] की आवश्यकता के लिए अशक्त किया जा सकता है।


==एक्सटेंशन==
प्रभुत्व अभिसरण प्रमेय सशर्त अपेक्षाओं पर भी प्रयुक्त होता है। <ref>Zitkovic 2013, Proposition 10.5.</ref>
प्रभुत्वशाली अभिसरण प्रमेय बानाच स्थान में मूल्यों के साथ मापने योग्य कार्यों पर भी लागू होता है, प्रभुत्वशाली कार्य अभी भी ऊपर के अनुसार गैर-नकारात्मक और पूर्णांक है। लगभग हर जगह अभिसरण की धारणा को केवल [[माप में अभिसरण]] की आवश्यकता के लिए कमजोर किया जा सकता है।


प्रभुत्व अभिसरण प्रमेय सशर्त अपेक्षाओं पर भी लागू होता है। <ref>Zitkovic 2013, Proposition 10.5.</ref>




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

Revision as of 16:08, 5 July 2023

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

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

कथन

लेबेस्ग्यू का प्रभुत्व अभिसरण प्रमेय [1] मान लीजिए एक माप स्पेस पर जटिल संख्या वाले मापनीय कार्यों का एक क्रम है। मान लीजिए कि अनुक्रम बिंदुवार फलन में परिवर्तित हो जाता है और इस अर्थ में कुछ पूर्णांक फलन का प्रभुत्व होता है


अनुक्रम के सूचकांक सेट में सभी संख्याओं n और S में सभी बिंदुओं के लिए तब f पूर्णांक है (लेब्सग्यू अर्थ में) और

जिसका तात्पर्य यह भी है

टिप्पणी 1. कथन " पूर्णांक है" का अर्थ है कि मापने योग्य फलन पूर्णांक है अर्थात

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

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

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

प्रमाण

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

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

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

सभी n और के लिए

इनमें से दूसरा तुच्छ रूप से सत्य है (f की परिभाषा के अनुसार)। लेब्सेग इंटीग्रल का उपयोग करना लेब्सेग इंटीग्रल के मूल प्रमेय,

उल्टे फ़तौ लेम्मा द्वारा (यह यहाँ है कि हम इस तथ्य का उपयोग करते हैं कि |f−fn| ऊपर पूर्णांकीय फलन द्वारा घिरा हुआ है)

जिसका अर्थ है कि सीमा उपस्थित है और विलुप्त हो जाती है अर्थात

अंततः, तब से

हमारे पास वह है

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

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

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

धारणाओं की चर्चा

इस धारणा को नकारा नहीं जा सकता कि अनुक्रम पर कुछ पूर्णांकीय g का प्रभुत्व है। इसे इस प्रकार देखा जा सकता है: परिभाषित करें fn(x) = n अंतराल में x के लिए (गणित) (0, 1/n] और fn(x) = 0 अन्यथा। कोई भी g जो अनुक्रम पर प्रभाव है उसे बिंदुवार सर्वोच्च पर भी प्रभाव होना चाहिए h = supn fn. उसका अवलोकन करो

हार्मोनिक श्रृंखला (गणित) के विचलन से। इसलिए, लेबेस्ग इंटीग्रल की एकरसता हमें बताती है कि कोई इंटीग्रेबल फलन उपस्थित नहीं है जो [0,1] पर अनुक्रम पर प्रभाव हो। प्रत्यक्ष गणना से पता चलता है कि एकीकरण और बिंदुवार सीमा इस अनुक्रम के लिए परिवर्तित नहीं होती है:

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

परिबद्ध अभिसरण प्रमेय

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

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

प्रमाण

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

यदि धारणाएँ ही कायम रहती हैं μ-almost प्रत्येक स्पेस, तो वहाँ उपस्थित है μ-null तय करना N ∈ Σ जैसे कि फलन fn1S\N एस पर प्रत्येक स्पेस की धारणाओं को संतुष्ट करें।

Lp-स्पेस में प्रभुत्वपूर्ण अभिसरण (परिणाम)

मान लीजिए एक माप स्थान है, एक वास्तविक संख्या है और एक माप स्थान है। मापने योग्य फलन मान लें कि अनुक्रम -मापने योग्य फलन f में परिवर्तित हो जाता है, और में द्वारा प्रभाव होता है, अर्थात प्रत्येक प्राकृत संख्या के लिए हमारे पास, -लगभग प्रत्येक स्पेस है।

तब सभी के साथ-साथ भी में हैं और अनुक्रम के अर्थ में में परिवर्तित हो जाता है, अर्थात:


प्रमाण का विचार: मूल प्रमेय को फलन अनुक्रम पर प्रभावी फलन के साथ प्रयुक्त करें

एक्सटेंशन

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

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


यह भी देखें

टिप्पणियाँ

  1. For the real case, see Evans, Lawrence C; Gariepy, Ronald F (2015). Measure Theory and Fine Properties of Functions. CRC Press. pp. Theorem 1.19.
  2. Zitkovic 2013, Proposition 10.5.


संदर्भ