विघटन प्रमेय: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Theorem in measure theory}} {{Use dmy dates|date=July 2020}} गणित में, विघटन प्रमेय माप सिद्धां...")
 
No edit summary
Line 1: Line 1:
{{Short description|Theorem in measure theory}}
{{Short description|Theorem in measure theory}}
{{Use dmy dates|date=July 2020}}
गणित में, विघटन प्रमेय [[माप सिद्धांत]] और संभाव्यता सिद्धांत का परिणाम है। यह प्रश्न में माप स्थान के शून्य उपसमुच्चय के [[माप (गणित)]] के गैर-तुच्छ प्रतिबंध के विचार को कठोरता से परिभाषित करता है। यह [[कंडीशनिंग (संभावना)]] के अस्तित्व से संबंधित है। अर्थ में, विघटन किसी [[उत्पाद माप]] के निर्माण की विपरीत प्रक्रिया है।
गणित में, विघटन प्रमेय [[माप सिद्धांत]] और संभाव्यता सिद्धांत का परिणाम है। यह प्रश्न में माप स्थान के शून्य उपसमुच्चय के [[माप (गणित)]] के गैर-तुच्छ प्रतिबंध के विचार को कठोरता से परिभाषित करता है। यह [[कंडीशनिंग (संभावना)]] के अस्तित्व से संबंधित है। एक अर्थ में, विघटन किसी [[उत्पाद माप]] के निर्माण की विपरीत प्रक्रिया है।


==प्रेरणा==
==प्रेरणा==
[[यूक्लिडियन विमान]] R में इकाई वर्ग पर विचार करें<sup>2</sup>, {{nowrap|1=''S'' = [0, 1] × [0, 1]}}. द्वि-आयामी [[लेब्सेग माप]] λ के प्रतिबंध द्वारा एस पर परिभाषित [[संभाव्यता माप]] μ पर विचार करें<sup>2</sup>से S. यानी, किसी घटना E ⊆ S की संभावना बस E का क्षेत्रफल है। हम मानते हैं कि E, S का एक मापने योग्य उपसमुच्चय है।
[[यूक्लिडियन विमान]] R में इकाई वर्ग पर विचार करें<sup>2</sup>, {{nowrap|1=''S'' = [0, 1] × [0, 1]}}. द्वि-आयामी [[लेब्सेग माप]] λ के प्रतिबंध द्वारा एस पर परिभाषित [[संभाव्यता माप]] μ पर विचार करें<sup>2</sup>से S. यानी, किसी घटना E ⊆ S की संभावना बस E का क्षेत्रफल है। हम मानते हैं कि E, S का मापने योग्य उपसमुच्चय है।


S के एक-आयामी उपसमुच्चय पर विचार करें जैसे कि रेखा खंड L<sub>''x''</sub> = {x} × [0, 1]. एल<sub>''x''</sub> μ-माप शून्य है; एल का प्रत्येक उपसमुच्चय<sub>''x''</sub> एक μ-[[शून्य सेट]] है; चूँकि लेबेस्ग्यू माप स्थान एक पूर्ण माप है,
S के एक-आयामी उपसमुच्चय पर विचार करें जैसे कि रेखा खंड L<sub>''x''</sub> = {x} × [0, 1]. एल<sub>''x''</sub> μ-माप शून्य है; एल का प्रत्येक उपसमुच्चय<sub>''x''</sub> μ-[[शून्य सेट]] है; चूँकि लेबेस्ग्यू माप स्थान पूर्ण माप है,
<math display=block>E \subseteq L_{x} \implies \mu (E) = 0.</math>
<math display=block>E \subseteq L_{x} \implies \mu (E) = 0.</math>
सच होते हुए भी, यह कुछ हद तक असंतोषजनक है। यह कहना अच्छा होगा कि μ L तक ही सीमित है<sub>''x''</sub> एक आयामी लेबेस्ग्यू माप λ है<sup>1</sup>, बजाय [[तुच्छ उपाय]] के। द्वि-आयामी घटना ई की संभावना तब ऊर्ध्वाधर स्लाइस ई ∩ एल की एक-आयामी संभावनाओं के लेबेस्ग एकीकरण के रूप में प्राप्त की जा सकती है<sub>''x''</sub>: अधिक औपचारिक रूप से, यदि μ<sub>''x''</sub> एल पर एक-आयामी लेबेस्ग माप को दर्शाता है<sub>''x''</sub>, तब
सच होते हुए भी, यह कुछ हद तक असंतोषजनक है। यह कहना अच्छा होगा कि μ L तक ही सीमित है<sub>''x''</sub> आयामी लेबेस्ग्यू माप λ है<sup>1</sup>, बजाय [[तुच्छ उपाय]] के। द्वि-आयामी घटना ई की संभावना तब ऊर्ध्वाधर स्लाइस ई ∩ एल की एक-आयामी संभावनाओं के लेबेस्ग एकीकरण के रूप में प्राप्त की जा सकती है<sub>''x''</sub>: अधिक औपचारिक रूप से, यदि μ<sub>''x''</sub> एल पर एक-आयामी लेबेस्ग माप को दर्शाता है<sub>''x''</sub>, तब
<math display=block>\mu (E) = \int_{[0, 1]} \mu_{x} (E \cap L_{x}) \, \mathrm{d} x</math>
<math display=block>\mu (E) = \int_{[0, 1]} \mu_{x} (E \cap L_{x}) \, \mathrm{d} x</math>
किसी भी अच्छे E ⊆ S के लिए। विघटन प्रमेय [[मीट्रिक स्थान]]ों पर उपायों के संदर्भ में इस तर्क को कठोर बनाता है।
किसी भी अच्छे E ⊆ S के लिए। विघटन प्रमेय [[मीट्रिक स्थान]]ों पर उपायों के संदर्भ में इस तर्क को कठोर बनाता है।
Line 15: Line 14:
(इसके बाद, ''पी''(''एक्स'') [[टोपोलॉजिकल स्पेस]] (''एक्स'', ''टी'') पर [[बोरेल माप]] संभाव्यता उपायों के संग्रह को निरूपित करेगा।)
(इसके बाद, ''पी''(''एक्स'') [[टोपोलॉजिकल स्पेस]] (''एक्स'', ''टी'') पर [[बोरेल माप]] संभाव्यता उपायों के संग्रह को निरूपित करेगा।)
प्रमेय की मान्यताएँ इस प्रकार हैं:
प्रमेय की मान्यताएँ इस प्रकार हैं:
* मान लें कि ''Y'' और ''X'' दो पोलिश स्पेस#रेडॉन स्पेस हैं (यानी एक टोपोलॉजिकल स्पेस जैसे कि ''M'' पर प्रत्येक बोरेल माप संभाव्यता माप [[आंतरिक नियमित माप]] है उदाहरण के लिए अलग-अलग स्पेस मीट्रिक रिक्त स्थान जिस पर प्रत्येक संभाव्यता माप एक [[रेडॉन माप]] है)।
* मान लें कि ''Y'' और ''X'' दो पोलिश स्पेस#रेडॉन स्पेस हैं (यानी टोपोलॉजिकल स्पेस जैसे कि ''M'' पर प्रत्येक बोरेल माप संभाव्यता माप [[आंतरिक नियमित माप]] है उदाहरण के लिए अलग-अलग स्पेस मीट्रिक रिक्त स्थान जिस पर प्रत्येक संभाव्यता माप [[रेडॉन माप]] है)।
* मान लीजिए μ ∈ ''P''(''Y'')।
* मान लीजिए μ ∈ ''P''(''Y'')।
* मान लीजिए π : ''Y'' → ''X'' एक बोरेल-मापने योग्य फ़ंक्शन है। यहां किसी को π को ''Y'' को विघटित करने के एक फ़ंक्शन के रूप में सोचना चाहिए, ''Y'' को विभाजित करने के अर्थ में <math>\{ \pi^{-1}(x)\ |\ x \in X\}</math>. उदाहरण के लिए, उपरोक्त प्रेरक उदाहरण के लिए, कोई परिभाषित कर सकता है <math>\pi((a,b)) = a</math>, <math>(a,b) \in [0,1]\times [0,1]</math>, जो वह देता है <math>\pi^{-1}(a) = a \times [0,1]</math>, एक टुकड़ा जिसे हम पकड़ना चाहते हैं।
* मान लीजिए π : ''Y'' → ''X'' बोरेल-मापने योग्य फ़ंक्शन है। यहां किसी को π को ''Y'' को विघटित करने के फ़ंक्शन के रूप में सोचना चाहिए, ''Y'' को विभाजित करने के अर्थ में <math>\{ \pi^{-1}(x)\ |\ x \in X\}</math>. उदाहरण के लिए, उपरोक्त प्रेरक उदाहरण के लिए, कोई परिभाषित कर सकता है <math>\pi((a,b)) = a</math>, <math>(a,b) \in [0,1]\times [0,1]</math>, जो वह देता है <math>\pi^{-1}(a) = a \times [0,1]</math>, टुकड़ा जिसे हम पकड़ना चाहते हैं।
* होने देना <math>\nu</math> ∈ ''P''(''X'') पुशफॉरवर्ड माप हो {{nowrap|1=ν = π<sub>∗</sub>(μ) = μ ∘ π<sup>−1</sup>.}} यह माप x का वितरण प्रदान करता है (जो घटनाओं से मेल खाता है <math>\pi^{-1}(x)</math>).
* होने देना <math>\nu</math> ∈ ''P''(''X'') पुशफॉरवर्ड माप हो {{nowrap|1=ν = π<sub>∗</sub>(μ) = μ ∘ π<sup>−1</sup>.}} यह माप x का वितरण प्रदान करता है (जो घटनाओं से मेल खाता है <math>\pi^{-1}(x)</math>).


प्रमेय का निष्कर्ष: वहाँ मौजूद है <math>\nu</math>-[[लगभग हर जगह]] संभाव्यता उपायों का विशिष्ट रूप से निर्धारित परिवार {μ<sub>''x''</sub>}<sub>''x''∈''X''</sub> ⊆ ''P''(''Y''), जो का विघटन प्रदान करता है <math>\mu</math> में {{nowrap|<math>\{\mu_x\}_{x \in X}</math>,}} ऐसा है कि:
प्रमेय का निष्कर्ष: वहाँ मौजूद है <math>\nu</math>-[[लगभग हर जगह]] संभाव्यता उपायों का विशिष्ट रूप से निर्धारित परिवार {μ<sub>''x''</sub>}<sub>''x''∈''X''</sub> ⊆ ''P''(''Y''), जो का विघटन प्रदान करता है <math>\mu</math> में {{nowrap|<math>\{\mu_x\}_{x \in X}</math>,}} ऐसा है कि:
* कार्यक्रम <math>x \mapsto \mu_{x}</math> बोरेल मापने योग्य है, इस अर्थ में <math>x \mapsto \mu_{x} (B)</math> प्रत्येक बोरेल-मापने योग्य सेट बी ⊆ वाई के लिए एक बोरेल-मापने योग्य फ़ंक्शन है;
* कार्यक्रम <math>x \mapsto \mu_{x}</math> बोरेल मापने योग्य है, इस अर्थ में <math>x \mapsto \mu_{x} (B)</math> प्रत्येक बोरेल-मापने योग्य सेट बी ⊆ वाई के लिए बोरेल-मापने योग्य फ़ंक्शन है;
* μ<sub>''x''</sub> [[फाइबर (गणित)]] π पर रहता है<sup>−1</sup>(x): के लिए <math>\nu</math>-[[लगभग सभी]] एक्स ∈ एक्स, <math display=block>\mu_{x} \left( Y \setminus \pi^{-1} (x) \right) = 0,</math> और इसलिए μ<sub>''x''</sub>(ई) = एम<sub>''x''</sub>(ई ∩ पी<sup>−1</sup>(x));
* μ<sub>''x''</sub> [[फाइबर (गणित)]] π पर रहता है<sup>−1</sup>(x): के लिए <math>\nu</math>-[[लगभग सभी]] एक्स ∈ एक्स, <math display=block>\mu_{x} \left( Y \setminus \pi^{-1} (x) \right) = 0,</math> और इसलिए μ<sub>''x''</sub>(ई) = एम<sub>''x''</sub>(ई ∩ पी<sup>−1</sup>(x));
* प्रत्येक बोरेल-मापने योग्य फ़ंक्शन के लिए f : Y → [0, ∞], <math display="block">\int_{Y} f(y) \, \mathrm{d} \mu (y) = \int_{X} \int_{\pi^{-1} (x)} f(y) \, \mathrm{d} \mu_{x} (y) \mathrm{d} \nu (x).</math> विशेष रूप से, किसी भी घटना E ⊆ Y के लिए, f को E का सूचक फलन मानते हुए,<ref name=Dellacherie_Meyer>{{cite book |author1=Dellacherie, C.  |author2=Meyer, P.-A. | title=संभावनाएँ और संभावनाएँ| series=North-Holland Mathematics Studies |publisher=North-Holland | location=Amsterdam | year=1978 |isbn=0-7204-0701-X }}</ref> <math display="block">\mu (E) = \int_{X} \mu_{x} \left( E \right) \, \mathrm{d} \nu (x).</math>
* प्रत्येक बोरेल-मापने योग्य फ़ंक्शन के लिए f : Y → [0, ∞], <math display="block">\int_{Y} f(y) \, \mathrm{d} \mu (y) = \int_{X} \int_{\pi^{-1} (x)} f(y) \, \mathrm{d} \mu_{x} (y) \mathrm{d} \nu (x).</math> विशेष रूप से, किसी भी घटना E ⊆ Y के लिए, f को E का सूचक फलन मानते हुए,<ref name=Dellacherie_Meyer>{{cite book |author1=Dellacherie, C.  |author2=Meyer, P.-A. | title=संभावनाएँ और संभावनाएँ| series=North-Holland Mathematics Studies |publisher=North-Holland | location=Amsterdam | year=1978 |isbn=0-7204-0701-X }}</ref> <math display="block">\mu (E) = \int_{X} \mu_{x} \left( E \right) \, \mathrm{d} \nu (x).</math>
Line 29: Line 28:


===उत्पाद स्थान===
===उत्पाद स्थान===
{{More citations needed section|date=May 2022}}
मूल उदाहरण उत्पाद रिक्त स्थान की समस्या का विशेष मामला था, जिस पर विघटन प्रमेय लागू होता है।
मूल उदाहरण उत्पाद रिक्त स्थान की समस्या का एक विशेष मामला था, जिस पर विघटन प्रमेय लागू होता है।


जब Y को [[कार्तीय गुणन]]फल Y = X के रूप में लिखा जाता है<sub>1</sub> × एक्स<sub>2</sub> और π<sub>''i''</sub> : वाई → एक्स<sub>''i''</sub> प्राकृतिक [[प्रक्षेपण (गणित)]] है, तो प्रत्येक फाइबर π<sub>1</sub><sup>−1</sup>(x<sub>1</sub>) X के साथ विहित रूप में पहचाना जा सकता है<sub>2</sub> और संभाव्यता मापों का एक बोरेल परिवार मौजूद है <math>\{ \mu_{x_{1}} \}_{x_{1} \in X_{1}}</math> ''पी''(''एक्स'' में<sub>2</sub>) (जो (π) है<sub>1</sub>)<sub>∗</sub>(μ)-लगभग हर जगह विशिष्ट रूप से निर्धारित) जैसे कि
जब Y को [[कार्तीय गुणन]]फल Y = X के रूप में लिखा जाता है<sub>1</sub> × एक्स<sub>2</sub> और π<sub>''i''</sub> : वाई → एक्स<sub>''i''</sub> प्राकृतिक [[प्रक्षेपण (गणित)]] है, तो प्रत्येक फाइबर π<sub>1</sub><sup>−1</sup>(x<sub>1</sub>) X के साथ विहित रूप में पहचाना जा सकता है<sub>2</sub> और संभाव्यता मापों का बोरेल परिवार मौजूद है <math>\{ \mu_{x_{1}} \}_{x_{1} \in X_{1}}</math> ''पी''(''एक्स'' में<sub>2</sub>) (जो (π) है<sub>1</sub>)<sub>∗</sub>(μ)-लगभग हर जगह विशिष्ट रूप से निर्धारित) जैसे कि
<math display=block>\mu = \int_{X_{1}} \mu_{x_{1}} \, \mu \left(\pi_1^{-1}(\mathrm d x_1) \right)= \int_{X_{1}} \mu_{x_{1}} \, \mathrm{d} (\pi_{1})_{*} (\mu) (x_{1}),</math>
<math display=block>\mu = \int_{X_{1}} \mu_{x_{1}} \, \mu \left(\pi_1^{-1}(\mathrm d x_1) \right)= \int_{X_{1}} \mu_{x_{1}} \, \mathrm{d} (\pi_{1})_{*} (\mu) (x_{1}),</math>
जो विशेष रूप से है{{Clarify|date=May 2022|reason=Notation "\mu(d x_2{{!}}x_1)" has not been defined}}
जो विशेष रूप से है{{Clarify|date=May 2022|reason=Notation "\mu(d x_2{{!}}x_1)" has not been defined}}
Line 44: Line 42:


===[[वेक्टर कैलकुलस]]===
===[[वेक्टर कैलकुलस]]===
विघटन प्रमेय को वेक्टर कैलकुलस में एक प्रतिबंधित माप के उपयोग को उचित ठहराने के रूप में भी देखा जा सकता है। उदाहरण के लिए, स्टोक्स के प्रमेय में जैसा कि एक कॉम्पैक्ट अंतरिक्ष [[सतह (गणित)]] के माध्यम से बहने वाले वेक्टर क्षेत्र पर लागू होता है {{nowrap|Σ ⊂ '''R'''<sup>3</sup>}}, यह अंतर्निहित है कि Σ पर सही माप त्रि-आयामी लेबेस्ग माप λ का विघटन है<sup>3</sup>Σ पर, और यह कि ∂Σ पर इस माप का विघटन λ के विघटन के समान है<sup>3</sup>पर ∂Σ.<ref name=Ambrosio_Gigli_Savare>{{cite book | author=Ambrosio, L., Gigli, N. & Savaré, G. | title=मीट्रिक रिक्त स्थान और संभाव्यता माप के स्थान में क्रमिक प्रवाह| publisher=ETH Zürich, Birkhäuser Verlag, Basel | year=2005 | isbn=978-3-7643-2428-5 }}</ref>
विघटन प्रमेय को वेक्टर कैलकुलस में प्रतिबंधित माप के उपयोग को उचित ठहराने के रूप में भी देखा जा सकता है। उदाहरण के लिए, स्टोक्स के प्रमेय में जैसा कि कॉम्पैक्ट अंतरिक्ष [[सतह (गणित)]] के माध्यम से बहने वाले वेक्टर क्षेत्र पर लागू होता है {{nowrap|Σ ⊂ '''R'''<sup>3</sup>}}, यह अंतर्निहित है कि Σ पर सही माप त्रि-आयामी लेबेस्ग माप λ का विघटन है<sup>3</sup>Σ पर, और यह कि ∂Σ पर इस माप का विघटन λ के विघटन के समान है<sup>3</sup>पर ∂Σ.<ref name=Ambrosio_Gigli_Savare>{{cite book | author=Ambrosio, L., Gigli, N. & Savaré, G. | title=मीट्रिक रिक्त स्थान और संभाव्यता माप के स्थान में क्रमिक प्रवाह| publisher=ETH Zürich, Birkhäuser Verlag, Basel | year=2005 | isbn=978-3-7643-2428-5 }}</ref>


===सशर्त वितरण===
===सशर्त वितरण===
Line 61: Line 59:


{{reflist}}
{{reflist}}
{{Measure theory}}
[[Category: माप सिद्धांत में प्रमेय]] [[Category: संभाव्यता प्रमेय]]  
[[Category: माप सिद्धांत में प्रमेय]] [[Category: संभाव्यता प्रमेय]]  



Revision as of 09:02, 12 July 2023

गणित में, विघटन प्रमेय माप सिद्धांत और संभाव्यता सिद्धांत का परिणाम है। यह प्रश्न में माप स्थान के शून्य उपसमुच्चय के माप (गणित) के गैर-तुच्छ प्रतिबंध के विचार को कठोरता से परिभाषित करता है। यह कंडीशनिंग (संभावना) के अस्तित्व से संबंधित है। अर्थ में, विघटन किसी उत्पाद माप के निर्माण की विपरीत प्रक्रिया है।

प्रेरणा

यूक्लिडियन विमान R में इकाई वर्ग पर विचार करें2, S = [0, 1] × [0, 1]. द्वि-आयामी लेब्सेग माप λ के प्रतिबंध द्वारा एस पर परिभाषित संभाव्यता माप μ पर विचार करें2से S. यानी, किसी घटना E ⊆ S की संभावना बस E का क्षेत्रफल है। हम मानते हैं कि E, S का मापने योग्य उपसमुच्चय है।

S के एक-आयामी उपसमुच्चय पर विचार करें जैसे कि रेखा खंड Lx = {x} × [0, 1]. एलx μ-माप शून्य है; एल का प्रत्येक उपसमुच्चयx μ-शून्य सेट है; चूँकि लेबेस्ग्यू माप स्थान पूर्ण माप है,

सच होते हुए भी, यह कुछ हद तक असंतोषजनक है। यह कहना अच्छा होगा कि μ L तक ही सीमित हैx आयामी लेबेस्ग्यू माप λ है1, बजाय तुच्छ उपाय के। द्वि-आयामी घटना ई की संभावना तब ऊर्ध्वाधर स्लाइस ई ∩ एल की एक-आयामी संभावनाओं के लेबेस्ग एकीकरण के रूप में प्राप्त की जा सकती हैx: अधिक औपचारिक रूप से, यदि μx एल पर एक-आयामी लेबेस्ग माप को दर्शाता हैx, तब
किसी भी अच्छे E ⊆ S के लिए। विघटन प्रमेय मीट्रिक स्थानों पर उपायों के संदर्भ में इस तर्क को कठोर बनाता है।

प्रमेय का कथन

(इसके बाद, पी(एक्स) टोपोलॉजिकल स्पेस (एक्स, टी) पर बोरेल माप संभाव्यता उपायों के संग्रह को निरूपित करेगा।) प्रमेय की मान्यताएँ इस प्रकार हैं:

  • मान लें कि Y और X दो पोलिश स्पेस#रेडॉन स्पेस हैं (यानी टोपोलॉजिकल स्पेस जैसे कि M पर प्रत्येक बोरेल माप संभाव्यता माप आंतरिक नियमित माप है उदाहरण के लिए अलग-अलग स्पेस मीट्रिक रिक्त स्थान जिस पर प्रत्येक संभाव्यता माप रेडॉन माप है)।
  • मान लीजिए μ ∈ P(Y)।
  • मान लीजिए π : YX बोरेल-मापने योग्य फ़ंक्शन है। यहां किसी को π को Y को विघटित करने के फ़ंक्शन के रूप में सोचना चाहिए, Y को विभाजित करने के अर्थ में . उदाहरण के लिए, उपरोक्त प्रेरक उदाहरण के लिए, कोई परिभाषित कर सकता है , , जो वह देता है , टुकड़ा जिसे हम पकड़ना चाहते हैं।
  • होने देना P(X) पुशफॉरवर्ड माप हो ν = π(μ) = μ ∘ π−1. यह माप x का वितरण प्रदान करता है (जो घटनाओं से मेल खाता है ).

प्रमेय का निष्कर्ष: वहाँ मौजूद है -लगभग हर जगह संभाव्यता उपायों का विशिष्ट रूप से निर्धारित परिवार {μx}xXP(Y), जो का विघटन प्रदान करता है में , ऐसा है कि:

  • कार्यक्रम बोरेल मापने योग्य है, इस अर्थ में प्रत्येक बोरेल-मापने योग्य सेट बी ⊆ वाई के लिए बोरेल-मापने योग्य फ़ंक्शन है;
  • μx फाइबर (गणित) π पर रहता है−1(x): के लिए -लगभग सभी एक्स ∈ एक्स,
    और इसलिए μx(ई) = एमx(ई ∩ पी−1(x));
  • प्रत्येक बोरेल-मापने योग्य फ़ंक्शन के लिए f : Y → [0, ∞],
    विशेष रूप से, किसी भी घटना E ⊆ Y के लिए, f को E का सूचक फलन मानते हुए,[1]


अनुप्रयोग

उत्पाद स्थान

मूल उदाहरण उत्पाद रिक्त स्थान की समस्या का विशेष मामला था, जिस पर विघटन प्रमेय लागू होता है।

जब Y को कार्तीय गुणनफल Y = X के रूप में लिखा जाता है1 × एक्स2 और πi : वाई → एक्सi प्राकृतिक प्रक्षेपण (गणित) है, तो प्रत्येक फाइबर π1−1(x1) X के साथ विहित रूप में पहचाना जा सकता है2 और संभाव्यता मापों का बोरेल परिवार मौजूद है पी(एक्स में2) (जो (π) है1)(μ)-लगभग हर जगह विशिष्ट रूप से निर्धारित) जैसे कि

जो विशेष रूप से है[clarification needed]
और
सशर्त अपेक्षा का संबंध पहचानों द्वारा दिया गया है


वेक्टर कैलकुलस

विघटन प्रमेय को वेक्टर कैलकुलस में प्रतिबंधित माप के उपयोग को उचित ठहराने के रूप में भी देखा जा सकता है। उदाहरण के लिए, स्टोक्स के प्रमेय में जैसा कि कॉम्पैक्ट अंतरिक्ष सतह (गणित) के माध्यम से बहने वाले वेक्टर क्षेत्र पर लागू होता है Σ ⊂ R3, यह अंतर्निहित है कि Σ पर सही माप त्रि-आयामी लेबेस्ग माप λ का विघटन है3Σ पर, और यह कि ∂Σ पर इस माप का विघटन λ के विघटन के समान है3पर ∂Σ.[2]

सशर्त वितरण

विघटन प्रमेय को आंकड़ों में सशर्त संभाव्यता वितरण का कठोर उपचार देने के लिए लागू किया जा सकता है, जबकि सशर्त संभाव्यता के विशुद्ध रूप से अमूर्त फॉर्मूलेशन से बचा जा सकता है।[3]

यह भी देखें

संदर्भ

  1. Dellacherie, C.; Meyer, P.-A. (1978). संभावनाएँ और संभावनाएँ. North-Holland Mathematics Studies. Amsterdam: North-Holland. ISBN 0-7204-0701-X.
  2. Ambrosio, L., Gigli, N. & Savaré, G. (2005). मीट्रिक रिक्त स्थान और संभाव्यता माप के स्थान में क्रमिक प्रवाह. ETH Zürich, Birkhäuser Verlag, Basel. ISBN 978-3-7643-2428-5.{{cite book}}: CS1 maint: multiple names: authors list (link)
  3. Chang, J.T.; Pollard, D. (1997). "विघटन के रूप में कंडीशनिंग" (PDF). Statistica Neerlandica. 51 (3): 287. CiteSeerX 10.1.1.55.7544. doi:10.1111/1467-9574.00056. S2CID 16749932.