विघटन प्रमेय

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

प्रेरणा

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

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

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

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

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

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

प्रमेय का कथन

(इसके बाद, p(x) टोपोलॉजिकल समष्टि (x, T) पर बोरेल माप संभाव्यता उपायों के संग्रह को निरूपित करेगा।)

प्रमेय की मान्यताएँ इस प्रकार हैं:

• मान लें कि 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)$ प्रत्येक बोरेल-मापने योग्य समुच्चय B ⊆ Y के लिए बोरेल-मापने योग्य फलन है;
• μ_x फाइबर (गणित) π⁻¹(x) के लिए $\nu$-लगभग सभी x ∈ x, पर रहता है:
  $$\mu _{x}\left(Y\setminus \pi ^{-1}(x)\right)=0,$$
  और इसलिए μ_x(E) = m_x(E ∩ p⁻¹(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₁ × x₂ और π_i : Y → x_i के रूप में लिखा जाता है प्राकृतिक प्रक्षेपण (गणित) है, तो प्रत्येक फाइबर π₁⁻¹(x₁) X₂ के साथ विहित रूप में पहचाना जा सकता है और संभाव्यता मापों का बोरेल वर्ग उपस्थित है $\{\mu _{x_{1}}\}_{x_{1}\in X_{1}}$ p(x₂) जो (π₁)_∗(μ) है लगभग प्रत्येक समष्टि विशिष्ट रूप से निर्धारित) जैसे कि

$$\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³ पर प्रयुक्त होता है , यह अंतर्निहित है कि Σ पर सही माप त्रि-आयामी लेबेस्ग माप λ³Σ पर, विघटन है और यह कि ∂Σ पर इस माप का विघटन λ³ पर ∂Σ के विघटन के समान है.

नियमित वितरण

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

यह भी देखें

• इओनेस्कु-तुलसीया प्रमेय
• संयुक्त संभाव्यता वितरण – Type of probability distribution
• कोपुला (सांख्यिकी)
• नियमित अपेक्षा
• बोरेल-कोलमोगोरोव विरोधाभास
• नियमित संभाव्यता