प्रभुत्व अभिसरण प्रमेय: Difference between revisions
(Created page with "{{Short description|Theorem in measure theory}} माप सिद्धांत में, हेनरी लेबेस्गुए का वर्चस्व...") |
No edit summary |
||
(5 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Theorem in measure theory}} | {{Short description|Theorem in measure theory}} | ||
[[माप सिद्धांत]] में, [[हेनरी लेबेस्गुए]] का वर्चस्व अभिसरण प्रमेय [[पर्याप्त स्थिति]]याँ प्रदान करता है जिसके | [[माप सिद्धांत]] में, [[हेनरी लेबेस्गुए]] का वर्चस्व अभिसरण प्रमेय [[पर्याप्त स्थिति]]याँ प्रदान करता है जिसके अनुसार [[लगभग हर जगह|लगभग प्रत्येक स्पेस]] [[फ़ंक्शन (गणित)|फलन (गणित)]] के [[अनुक्रम]] का [[अभिसरण (गणित)]] ''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> का प्रभुत्व होता है | ||
: <math> |f_n(x)| \le g(x)</math> | : <math> |f_n(x)| \le g(x)</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. कथन | टिप्पणी 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|μ-}}लगभग | टिप्पणी 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>, शर्त यह है कि | टिप्पणी 3. यदि <math>\mu (S) < \infty</math>, शर्त यह है कि प्रमुख पूर्णांक फलन उपस्थित है <math>g</math> अनुक्रम को [[समान रूप से एकीकृत]] करने के लिए छूट दी जा सकती है (f<sub>n</sub>), [[विटाली अभिसरण प्रमेय]] देखें। | ||
'टिप्पणी 4.' जबकि <math>f</math> क्या लेबेस्ग इंटीग्रेबल है, यह | 'टिप्पणी 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 41: | ||
प्रमेय अब अनुसरण करता है। | प्रमेय अब अनुसरण करता है। | ||
यदि धारणाएँ ही कायम रहती हैं {{nowrap|μ-almost}} | यदि धारणाएँ ही कायम रहती हैं {{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''}}, मापने योग्य है और इस संशोधित फलन अनुक्रम की बिंदुवार सीमा है। इन इंटीग्रल्स के मान इस μ-शून्य सेट एन पर इंटीग्रैंड्स में इन परिवर्तनों से प्रभावित नहीं होते हैं, इसलिए प्रमेय कायम रहता है। | ||
डीसीटी तब भी कायम रहता है जब 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 जो अनुक्रम पर | इस धारणा को नकारा नहीं जा सकता कि अनुक्रम पर कुछ पूर्णांकीय 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] पर अनुक्रम पर प्रभाव हो। प्रत्यक्ष गणना से पता चलता है कि एकीकरण और बिंदुवार सीमा इस अनुक्रम के लिए परिवर्तित नहीं होती है: | ||
: <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>) समान रूप से एकीकृत भी नहीं है, इसलिए विटाली अभिसरण प्रमेय भी प्रयुक्त नहीं है। | ||
==परिबद्ध अभिसरण प्रमेय== | ==परिबद्ध अभिसरण प्रमेय == | ||
प्रभुत्व अभिसरण प्रमेय का | प्रभुत्व अभिसरण प्रमेय का परिणाम परिबद्ध अभिसरण प्रमेय है, जो बताता है कि यदि (''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|μ-}}लगभग प्रत्येक स्पेस, माप स्पेस प्रदान किया गया {{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 पूर्णांक है क्योंकि यह परिमित माप के सेट पर स्थिर कार्य है। इसलिए, परिणाम प्रभुत्व अभिसरण प्रमेय से होता है। | ||
यदि धारणाएँ ही कायम रहती हैं {{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>-लगभग प्रत्येक स्पेस है। | |||
तब सभी <math>f_n</math> के साथ-साथ <math>f</math> भी <math>L^p</math> में हैं और अनुक्रम <math>(f_n)</math> <math>L^p</math> के अर्थ में <math>f</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>\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> | ||
==यह भी देखें == | |||
* [[यादृच्छिक चर का अभिसरण]], [[माध्य में अभिसरण]] | * [[यादृच्छिक चर का अभिसरण]], [[माध्य में अभिसरण]] | ||
* [[मोनोटोन अभिसरण प्रमेय]] (एक पूर्णांक | * [[मोनोटोन अभिसरण प्रमेय]] (एक पूर्णांक फलन द्वारा प्रभुत्व की आवश्यकता नहीं है बल्कि अनुक्रम की एकरसता मानता है) | ||
* शेफ़े की लेम्मा | * शेफ़े की लेम्मा | ||
* [[एकसमान अभिन्नता]] | * [[एकसमान अभिन्नता]] | ||
* विटाली अभिसरण प्रमेय (लेब्सग्यू के प्रभुत्व वाले अभिसरण प्रमेय का | * विटाली अभिसरण प्रमेय (लेब्सग्यू के प्रभुत्व वाले अभिसरण प्रमेय का सामान्यीकरण) | ||
== टिप्पणियाँ == | == टिप्पणियाँ == | ||
{{Reflist}} | {{Reflist}} | ||
==संदर्भ== | ==संदर्भ== | ||
* {{cite book | * {{cite book | ||
Line 124: | Line 119: | ||
}} | }} | ||
[[Category:Created On 25/06/2023]] | [[Category:Created On 25/06/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:प्रमाण युक्त लेख]] | |||
[[Category:माप सिद्धांत में प्रमेय]] | |||
[[Category:वास्तविक विश्लेषण में प्रमेय]] | |||
[[Category:संभाव्यता प्रमेय]] |
Latest revision as of 17:41, 16 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 के लिए x ∈ S \ N और तक f(x) = 0 के लिए x ∈ N, मापने योग्य है और इस संशोधित फलन अनुक्रम की बिंदुवार सीमा है। इन इंटीग्रल्स के मान इस μ-शून्य सेट एन पर इंटीग्रैंड्स में इन परिवर्तनों से प्रभावित नहीं होते हैं, इसलिए प्रमेय कायम रहता है।
डीसीटी तब भी कायम रहता है जब 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 सभी के लिए x ∈ S और सभी एन के लिए परिभाषित करना g(x) = M सभी के लिए x ∈ S. फिर अनुक्रम पर g प्रभाव है। इसके अतिरिक्त, g पूर्णांक है क्योंकि यह परिमित माप के सेट पर स्थिर कार्य है। इसलिए, परिणाम प्रभुत्व अभिसरण प्रमेय से होता है।
यदि धारणाएँ ही कायम रहती हैं μ-almost प्रत्येक स्पेस, तो वहाँ उपस्थित है μ-null तय करना N ∈ Σ जैसे कि फलन fn1S\N एस पर प्रत्येक स्पेस की धारणाओं को संतुष्ट करें।
Lp-स्पेस में प्रभुत्वपूर्ण अभिसरण (परिणाम)
मान लीजिए एक माप स्थान है, एक वास्तविक संख्या है और एक माप स्थान है। मापने योग्य फलन मान लें कि अनुक्रम -मापने योग्य फलन f में परिवर्तित हो जाता है, और में द्वारा प्रभाव होता है, अर्थात प्रत्येक प्राकृत संख्या के लिए हमारे पास, -लगभग प्रत्येक स्पेस है।
तब सभी के साथ-साथ भी में हैं और अनुक्रम के अर्थ में में परिवर्तित हो जाता है, अर्थात:
प्रमाण का विचार: मूल प्रमेय को फलन अनुक्रम पर प्रभावी फलन के साथ प्रयुक्त करें
एक्सटेंशन
प्रभुत्वशाली अभिसरण प्रमेय बानाच स्पेस में मूल्यों के साथ मापने योग्य कार्यों पर भी प्रयुक्त होता है, प्रभुत्वशाली कार्य अभी भी ऊपर के अनुसार गैर-नकारात्मक और पूर्णांक है। लगभग प्रत्येक स्पेस अभिसरण की धारणा को केवल माप में अभिसरण की आवश्यकता के लिए अशक्त किया जा सकता है।
प्रभुत्व अभिसरण प्रमेय सशर्त अपेक्षाओं पर भी प्रयुक्त होता है। [2]
यह भी देखें
- यादृच्छिक चर का अभिसरण, माध्य में अभिसरण
- मोनोटोन अभिसरण प्रमेय (एक पूर्णांक फलन द्वारा प्रभुत्व की आवश्यकता नहीं है बल्कि अनुक्रम की एकरसता मानता है)
- शेफ़े की लेम्मा
- एकसमान अभिन्नता
- विटाली अभिसरण प्रमेय (लेब्सग्यू के प्रभुत्व वाले अभिसरण प्रमेय का सामान्यीकरण)
टिप्पणियाँ
संदर्भ
- Bartle, R.G. (1995). The Elements of Integration and Lebesgue Measure. Wiley Interscience. ISBN 9780471042228.
- Royden, H.L. (1988). Real Analysis. Prentice Hall. ISBN 9780024041517.
- Weir, Alan J. (1973). "The Convergence Theorems". Lebesgue Integration and Measure. Cambridge: Cambridge University Press. pp. 93–118. ISBN 0-521-08728-7.
- Williams, D. (1991). Probability with martingales. Cambridge University Press. ISBN 0-521-40605-6.
- Zitkovic, Gordan (Fall 2013). "Lecture10: Conditional Expectation" (PDF). Retrieved December 25, 2020.