विघटन प्रमेय

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

प्रेरणा

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

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

$$E\subseteq L_{x}\implies \mu (E)=0.$$

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

$$\mu (E)=\int _{[0,1]}\mu _{x}(E\cap L_{x})\,\mathrm {d} x$$

किसी भी अच्छे E ⊆ S के लिए। विघटन प्रमेय मीट्रिक स्थानों पर उपायों के संदर्भ में इस तर्क को कठोर बनाता है।

प्रमेय का कथन

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

• मान लें कि Y और X दो पोलिश स्पेस#रेडॉन स्पेस हैं (यानी एक टोपोलॉजिकल स्पेस जैसे कि M पर प्रत्येक बोरेल माप संभाव्यता माप आंतरिक नियमित माप है उदाहरण के लिए अलग-अलग स्पेस मीट्रिक रिक्त स्थान जिस पर प्रत्येक संभाव्यता माप एक रेडॉन माप है)।
• मान लीजिए μ ∈ P(Y)।
• मान लीजिए π : Y → X एक बोरेल-मापने योग्य फ़ंक्शन है। यहां किसी को π को Y को विघटित करने के एक फ़ंक्शन के रूप में सोचना चाहिए, Y को विभाजित करने के अर्थ में $\{\pi ^{-1}(x)\ |\ x\in X\}$. उदाहरण के लिए, उपरोक्त प्रेरक उदाहरण के लिए, कोई परिभाषित कर सकता है $\pi ((a,b))=a$, $(a,b)\in [0,1]\times [0,1]$, जो वह देता है $\pi ^{-1}(a)=a\times [0,1]$, एक टुकड़ा जिसे हम पकड़ना चाहते हैं।
• होने देना $\nu$ ∈ P(X) पुशफॉरवर्ड माप हो ν = π_∗(μ) = μ ∘ π⁻¹. यह माप x का वितरण प्रदान करता है (जो घटनाओं से मेल खाता है $\pi ^{-1}(x)$).

प्रमेय का निष्कर्ष: वहाँ मौजूद है $\nu$-लगभग हर जगह संभाव्यता उपायों का विशिष्ट रूप से निर्धारित परिवार {μ_x}_x∈X ⊆ P(Y), जो का विघटन प्रदान करता है $\mu$ में $\{\mu _{x}\}_{x\in X}$, ऐसा है कि:

• कार्यक्रम $x\mapsto \mu _{x}$ बोरेल मापने योग्य है, इस अर्थ में $x\mapsto \mu _{x}(B)$ प्रत्येक बोरेल-मापने योग्य सेट बी ⊆ वाई के लिए एक बोरेल-मापने योग्य फ़ंक्शन है;
• μ_x फाइबर (गणित) π पर रहता है⁻¹(x): के लिए $\nu$-लगभग सभी एक्स ∈ एक्स,
  $$\mu _{x}\left(Y\setminus \pi ^{-1}(x)\right)=0,$$
  और इसलिए μ_x(ई) = एम_x(ई ∩ पी⁻¹(x));
• प्रत्येक बोरेल-मापने योग्य फ़ंक्शन के लिए f : Y → [0, ∞],
  $$\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).$$
  विशेष रूप से, किसी भी घटना E ⊆ Y के लिए, f को E का सूचक फलन मानते हुए,
  $$\mu (E)=\int _{X}\mu _{x}\left(E\right)\,\mathrm {d} \nu (x).$$

अनुप्रयोग

उत्पाद स्थान

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

जब Y को कार्तीय गुणनफल Y = X के रूप में लिखा जाता है₁ × एक्स₂ और π_i : वाई → एक्स_i प्राकृतिक प्रक्षेपण (गणित) है, तो प्रत्येक फाइबर π₁⁻¹(x₁) X के साथ विहित रूप में पहचाना जा सकता है₂ और संभाव्यता मापों का एक बोरेल परिवार मौजूद है $\{\mu _{x_{1}}\}_{x_{1}\in X_{1}}$ पी(एक्स में₂) (जो (π) है₁)_∗(μ)-लगभग हर जगह विशिष्ट रूप से निर्धारित) जैसे कि

$$\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}),$$

जो विशेष रूप से है

$$\int _{X_{1}\times X_{2}}f(x_{1},x_{2})\,\mu (\mathrm {d} x_{1},\mathrm {d} x_{2})=\int _{X_{1}}\left(\int _{X_{2}}f(x_{1},x_{2})\mu (\mathrm {d} x_{2}|x_{1})\right)\mu \left(\pi _{1}^{-1}(\mathrm {d} x_{1})\right)$$

और

$$\mu (A\times B)=\int _{A}\mu \left(B|x_{1}\right)\,\mu \left(\pi _{1}^{-1}(\mathrm {d} x_{1})\right).$$

सशर्त अपेक्षा का संबंध पहचानों द्वारा दिया गया है

$$\operatorname {E} (f|\pi _{1})(x_{1})=\int _{X_{2}}f(x_{1},x_{2})\mu (\mathrm {d} x_{2}|x_{1}),$$

$$\mu (A\times B|\pi _{1})(x_{1})=1_{A}(x_{1})\cdot \mu (B|x_{1}).$$

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

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

सशर्त वितरण

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

यह भी देखें

• Ionescu-Tulcea theorem
• Joint probability distribution
• Copula (statistics)
• Conditional expectation
• Borel–Kolmogorov paradox
• नियमित सशर्त संभाव्यता