सशर्त अपेक्षा

संभाव्यता सिद्धांत में, सशर्त अपेक्षा, सशर्त अपेक्षित मूल्य, या एक यादृच्छिक चर का सशर्त कारण इसका अपेक्षित मूल्य है बड़ी संख्या में होने वाली घटनाओं के नियम पर यह "औसतन" मान लेगा यह देखते हुए कि नियमो का एक निश्चित समुच्चय है होने के लिए जाना जाता है। यदि यादृच्छिक चर केवल मूल्यों की एक सीमित संख्या में ले सकता है, तो "नियमं" हैं कि चर केवल उन मानों का एक सबसमुच्चय ले सकता है। अधिक औपचारिक रूप से, उस स्थिति में जब यादृच्छिक चर को असतत संभाव्यता स्थान पर परिभाषित किया जाता है, तो नियमं इस संभाव्यता स्थान के एक समुच्चय का विभाजन होती हैं।

संदर्भ के आधार पर, सशर्त अपेक्षा या तो एक यादृच्छिक चर या एक कार्य हो सकती है। यादृच्छिक चर $$E(X\mid Y)$$ सशर्त संभाव्यता के अनुरूप निरूपित किया जाता है। फलन फॉर्म को या तो निरूपित किया जाता है | $$E(X\mid Y=y)$$ या एक अलग फलन प्रतीक जैसे $$f(y)$$ को $$E(X\mid Y) = f(Y)$$ अर्थ के साथ प्रस्तुत किया गया है.

उदाहरण 1: डाइस रोलिंग
एक निष्पक्ष पासे के रोल पर विचार करें और मान लें कि A = 1 यदि संख्या सम है (अर्थात, 2, 4, या 6) और A = 0 अन्यथा इसके अतिरिक्त B = 1 दें यदि संख्या प्रमुख है (अर्थात, 2, 3, या 5) और B = 0 अन्यथा है। A की बिना नियम अपेक्षा $$E[A] = (0+1+0+1+0+1)/6 = 1/2$$ है | किंतु B = 1 पर सशर्त A की अपेक्षा (अर्थात, सशर्त पर डाइ रोल 2, 3, या 5) है $$E[A\mid B=1]=(1+0+0)/3=1/3$$, और B = 0 पर सशर्त A की अपेक्षा (अर्थात, डाई रोल 1, 4, या 6 होने पर सशर्त) $$E[A\mid B=0]=(0+1+1)/3=2/3$$ है। इसी तरह, A = 1 पर सशर्त B की अपेक्षा है | $$E[B\mid A=1]= (1+0+0)/3=1/3$$, और A = 0 पर सशर्त B की अपेक्षा $$E[B\mid A=0]=(0+1+1)/3=2/3$$ है |

उदाहरण 2: वर्षा डेटा
मान लीजिए कि हमारे पास 1 जनवरी, 1990 से 31 दिसंबर, 1999 तक दस-वर्ष (3652-दिन) की अवधि के प्रत्येक दिन एक मौसम केंद्र द्वारा एकत्रित दैनिक वर्षा डेटा (प्रति दिन वर्षा का मिमी) है। एक अनिर्दिष्ट दिन उन 3652 दिनों के लिए वर्षा की मात्रा का औसत है। मार्च के महीने में एक अन्यथा अनिर्दिष्ट दिन के लिए वर्षा की सशर्त अपेक्षा (सशर्त होने पर) दस साल की अवधि के सभी 310 दिनों में दैनिक वर्षा का औसत है जो मार्च में पड़ता है। और 2 मार्च के दिनों में वर्षा की सशर्त अपेक्षा उस विशिष्ट तिथि के साथ दस दिनों में हुई वर्षा की मात्रा का औसत है।

इतिहास
सशर्त संभाव्यता की संबंधित अवधारणा कम से कम पियरे-साइमन लाप्लास के समय की है \ जिन्होंने सशर्त वितरण की गणना की यह एंड्री निकोलाइविच कोलमोगोरोव थे | जिन्होंने 1933 में रेडॉन-निकोडायम प्रमेय का उपयोग करके इसे औपचारिक रूप दिया था। पॉल हेल्मोस के कार्यों में और जोसेफ एल. डूब गया था | 1953 से, सिग्मा-बीजगणित उप-σ-अल्जेब्रा का उपयोग करके इसकी आधुनिक परिभाषा के लिए सशर्त अपेक्षा को सामान्यीकृत किया गया था।

एक घटना पर कंडीशनिंग
यदि A $$\mathcal{F}$$ में गैर-शून्य संभावना के साथ एक घटना है, और $X$ एक असतत यादृच्छिक चर है, तो $X$ दिए गए $A$ की सशर्त अपेक्षा है |

\begin{aligned} \operatorname{E} (X \mid A) &= \sum_x x P(X = x \mid A) \\ & =\sum_x x \frac{P(\{X = x\} \cap A)}{P(A)} \end{aligned} $$ जहां $X$ योग के सभी संभावित परिणामों पर लिया जाता है |

ध्यान दें कि यदि $$P(A) = 0$$, शून्य से विभाजन के कारण सशर्त अपेक्षा अपरिभाषित है।

असतत यादृच्छिक चर
यदि $X$ और $Y$ असतत यादृच्छिक चर हैं | जिसकी सशर्त अपेक्षा $X$ दिया गया $Y$ है |

\begin{aligned} \operatorname{E} (X \mid Y=y) &= \sum_x x P(X = x \mid Y = y) \\ &= \sum_x x \frac{P(X = x, Y = y)}{P(Y=y)} \end{aligned} $$ जहाँ $$P(X = x, Y = y)$$ का संयुक्त संभाव्यता द्रव्यमान फलन है | $X$ और $Y$. योग के सभी संभावित $X$ परिणामों पर लिया जाता है |

ध्यान दें कि असतत यादृच्छिक चर पर कंडीशनिंग संबंधित घटना पर कंडीशनिंग के समान है |
 * $$\operatorname{E} (X \mid Y=y) = \operatorname{E} (X \mid A)$$ जहाँ $A$ समुच्चय $$\{ Y = y \}$$ है |

निरंतर यादृच्छिक चर
माना $$X$$ और $$Y$$ को संयुक्त घनत्व $$f_{X,Y}(x,y),$$ $$Y$$ के घनत्व के साथ निरंतर यादृच्छिक चर होने दें $$f_{Y}(y),$$ और सशर्त घनत्व $$\textstyle f_{X|Y}(x|y) = \frac{ f_{X,Y}(x,y) }{f_{Y}(y)}$$ का $$X$$ दिया गया ईवेंट $$Y=y.$$ $$X$$ दिए गए $$Y=y$$ की सशर्त अपेक्षा है |

\begin{aligned} \operatorname{E} (X \mid Y=y) &= \int_{-\infty}^\infty x f_{X|Y}(x\mid y) \, \mathrm{d}x \\ &= \frac{1}{f_{Y}(y)}\int_{-\infty}^\infty x f_{X,Y}(x,y) \, \mathrm{d}x. \end{aligned} $$ जब भाजक शून्य होता है, तो व्यंजक अपरिभाषित होता है।

ध्यान दें कि निरंतर यादृच्छिक $$\{ Y = y \}$$ चर पर कंडीशनिंग घटना पर कंडीशनिंग के समान नहीं है | जैसा कि असतत स्थिति में था। चर्चा के लिए, सशर्त प्रायिकता प्रायिकता शून्य की घटना पर कंडीशनिंग देखें। इस भेद का सम्मान नहीं करने से विरोधाभासी निष्कर्ष निकल सकते हैं | जैसा कि बोरेल-कोल्मोगोरोव विरोधाभास द्वारा दिखाया गया है।

L2 यादृच्छिक चर
इस खंड में सभी यादृच्छिक चर $$L^2$$ में माने जाते हैं, जो वर्ग समाकलनीय है। इसकी पूर्ण सामान्यता में, इस धारणा के बिना सशर्त अपेक्षा विकसित की जाती है, उप-σ-बीजगणित के संबंध में सशर्त अपेक्षा के अनुसार नीचे देखें। $$L^2$$ सिद्धांत चूंकि अधिक सहज ज्ञान युक्त माना जाता है और महत्वपूर्ण सामान्यीकरणों को स्वीकार करता है। $$L^2$$ यादृच्छिक चर सशर्त अपेक्षा के संदर्भ में प्रतिगमन विश्लेषण भी कहा जाता है। निम्नलिखित में मान लें $$(\Omega, \mathcal{F}, P)$$ एक प्रायिकता स्थान है, और $$X: \Omega \to \mathbb{R}$$ माध्य $$\mu_X$$ और प्रसरण $$\sigma_X^2$$ अपेक्षा $$\mu_X$$ औसत वर्ग त्रुटि को कम करता है |


 * $$ \min_{x \in \mathbb{R}} \operatorname{E}\left((X - x)^2\right) = \operatorname{E}\left((X - \mu_X)^2\right)

= \sigma_X^2 $$.

$X$ की सशर्त अपेक्षा को एक ही संख्या $$\mu_X$$ के अतिरिक्त समान रूप से परिभाषित किया गया है | परिणाम एक फलन $$e_X(y)$$ होगा। माना $$Y: \Omega \to \mathbb{R}^n$$ एक यादृच्छिक वेक्टर है। सशर्त अपेक्षा $$e_X: \mathbb{R}^n \to \mathbb{R}$$ एक मापने योग्य कार्य है | जैसे कि


 * $$ \min_{g \text{ measurable }} \operatorname{E}\left((X - g(Y))^2\right) = \operatorname{E}\left((X - e_X(Y))^2\right)

$$.

ध्यान दें कि विपरीत $$\mu_X$$, सशर्त अपेक्षा $$e_X$$ सामान्यतः अद्वितीय नहीं है | माध्य चुकता त्रुटि के कई मिनिमाइज़र हो सकते हैं।

अद्वितीयता
उदाहरण 1: उस स्थिति पर विचार करें जहां $Y$ निरंतर यादृच्छिक चर है जो सदैव 1 होता है। फिर फॉर्म के किसी भी फलन द्वारा माध्य चुकता त्रुटि को कम किया जाता है |

e_X(y) = \begin{cases} \mu_X & \text{ if } y = 1 \\ \text{any number} & \text{ otherwise} \end{cases} $$ उदाहरण 2: उस स्थिति पर विचार करें जहां $Y$ द्वि-आयामी यादृच्छिक वेक्टर $$(X, 2X)$$ है | फिर स्पष्ट रूप से
 * $$\operatorname{E}(X \mid Y) = X$$

किंतु कार्यों के संदर्भ में इसे $$e_X(y_1, y_2) = 3y_1-y_2$$ या $$e'_X(y_1, y_2) = y_2 - y_1$$ या असीम रूप से कई अन्य विधियों से व्यक्त किया जा सकता है। रेखीय प्रतिगमन के संदर्भ में, इस विशिष्टता की कमी को बहुसंरेखता कहा जाता है।

सशर्त अपेक्षा माप शून्य के एक समुच्चय $$\mathbb{R}^n$$ तक अद्वितीय है | उपयोग किया जाने वाला माप पुशफॉर्वर्ड $Y$ उपाय है जो प्रेरित है |

पहले उदाहरण में, पुशवर्ड माप 1 पर एक डिराक वितरण है। दूसरे में यह विकर्ण $$\{ y : y_2 = 2 y_1 \}$$ पर केंद्रित है | जिससे कोई भी समुच्चय जो इसे प्रतिच्छेद न करे, उसका माप 0 होता है।

अस्तित्व
$$ \min_g \operatorname{E}\left((X - g(Y))^2\right)$$ के लिए एक मिनिमाइज़र का अस्तित्व गैर समान है। यह दिखाया जा सकता है |
 * $$ M := \{ g(Y) : g \text{ is measurable and }\operatorname{E}(g(Y)^2) < \infty \} = L^2(\Omega, \sigma(Y)) $$

हिल्बर्ट स्पेस $$L^2(\Omega)$$ की एक बंद उप-स्पेस है। हिल्बर्ट प्रक्षेपण प्रमेय के अनुसार, $$e_X$$ मिनिमाइज़र होने के लिए आवश्यक और पर्याप्त शर्त यह है कि $M$ में सभी $$f(Y)$$ के लिए हमारे पास है
 * $$ \langle X - e_X(Y), f(Y) \rangle = 0$$.

शब्दों में, यह समीकरण कहता है कि अवशिष्ट (सांख्यिकी) $$X - e_X(Y)$$ अंतरिक्ष के लिए ओर्थोगोनल है | $M$ के सभी कार्यों में से $Y$ यह ओर्थोगोनलिटी की स्थिति, संकेतक कार्यों $$f(Y) = 1_{Y \in H}$$ पर प्रयुक्त होती है | उस स्थिति के लिए सशर्त अपेक्षा का विस्तार करने के लिए नीचे उपयोग किया जाता है | $X$ और $Y$ जरूरी $$L^2$$ नहीं हैं |

प्रतिगमन से संबंध
विश्लेषणात्मक रूप से इसकी गणना करने और प्रक्षेप के लिए कठिनाइयों के कारण सशर्त अपेक्षा अक्सर प्रयुक्त गणित और सांख्यिकी हिल्बर्ट उप-स्थान में अनुमानित होती है।
 * $$ M = \{ g(Y) : \operatorname{E}(g(Y)^2) < \infty \}$$
 * ऊपर परिभाषित किसी भी मापने योग्य फलन की अनुमति देने के अतिरिक्त $g$ के कार्यात्मक रूप को सीमित करके उपसमुच्चय के साथ प्रतिस्थापित किया गया है। इसके उदाहरण निर्णय वृक्ष प्रतिगमन हैं | जब $g$ को एक साधारण फ़ंक्शन रैखिक प्रतिगमन होना आवश्यक है जब $g$ एफ़िन परिवर्तन होना आवश्यक है।

सशर्त अपेक्षा के ये सामान्यीकरण कई सशर्त अपेक्षाओं की कीमत पर आते हैं # मूल गुण अब धारण नहीं करते हैं। उदाहरण के लिए, माना $M$ के सभी रैखिक कार्यों का स्थान हो $Y$ और जाने $$\mathcal{E}_{M}$$ इस सामान्यीकृत सशर्त अपेक्षा को निरूपित करें/$$L^2$$ प्रक्षेपण। यदि $$M$$ इसमें स्थिर कार्य, टावर संपत्ति शामिल नहीं है $$ \operatorname{E}(\mathcal{E}_M(X)) = \operatorname{E}(X) $$ धारण नहीं करेगा।

एक महत्वपूर्ण विशेष स्थिति है जब $X$ और $Y$ संयुक्त रूप से सामान्य रूप से वितरित होते हैं। इस स्थिति में यह दिखाया जा सकता है कि सशर्त अपेक्षा रैखिक प्रतिगमन के बराबर है:
 * $$ e_X(Y) = \alpha_0 + \sum_i \alpha_i Y_i$$

गुणांक के लिए $$\{\alpha_i\}_{i = 0..n}$$ बहुभिन्नरूपी सामान्य वितरण#सशर्त वितरण में वर्णित।

उप-σ-बीजगणित
के संबंध में सशर्त अपेक्षा निम्न पर विचार करें:
 * $$(\Omega, \mathcal{F}, P)$$ संभावना स्थान है।
 * $$X\colon\Omega \to \mathbb{R}^n$$ एक यादृच्छिक चर है # परिमित अपेक्षा के साथ उस प्रायिकता स्थान पर परिभाषा।
 * $$\mathcal{H} \subseteq \mathcal{F}$$ एक उप-सिग्मा-बीजगणित है|σ-बीजगणित का $$\mathcal{F}$$.

तब से $$\mathcal{H}$$ एक उप है $$\sigma$$-बीजगणित का $$\mathcal{F}$$, कार्यक्रम $$X\colon\Omega \to \mathbb{R}^n$$ आमतौर पर नहीं है $$\mathcal{H}$$-मापने योग्य, इस प्रकार रूप के अभिन्न अंग का अस्तित्व $\int_H X \,dP|_\mathcal{H}$, जहाँ $$H\in\mathcal{H}$$ और $$P|_\mathcal{H}$$ का प्रतिबंध है $$P$$ को $$\mathcal{H}$$, सामान्य तौर पर नहीं कहा जा सकता। चूंकि, स्थानीय औसत $\int_H X\,dP$ में वसूल किया जा सकता है $$(\Omega, \mathcal{H}, P|_\mathcal{H})$$ सशर्त अपेक्षा की मदद से।

X की एक सशर्त अपेक्षा दी गई $$\mathcal{H}$$, इस रूप में घोषित किया गया $$\operatorname{E}(X\mid\mathcal{H})$$, क्या किसी $$\mathcal{H}$$-मापने योग्य समारोह $$\Omega \to \mathbb{R}^n$$ जो संतुष्ट करता है:


 * $$\int_H \operatorname{E}(X \mid \mathcal{H}) \,\mathrm{d}P = \int_H X \,\mathrm{d}P$$

प्रत्येक के लिए $$H \in \mathcal{H}$$.

जैसा कि में नोट किया गया है $$L^2$$ चर्चा, यह स्थिति यह कहने के बराबर है कि अवशिष्ट (सांख्यिकी) $$X - \operatorname{E}(X \mid \mathcal{H})$$ सूचक कार्यों के लिए ओर्थोगोनल है $$1_H$$:
 * $$ \langle X - \operatorname{E}(X \mid \mathcal{H}), 1_H \rangle = 0 $$

अस्तित्व
का अस्तित्व $$\operatorname{E}(X\mid\mathcal{H})$$ इसे नोट करके स्थापित किया जा सकता है $\mu^X\colon F \mapsto \int_F X \, \mathrm{d}P$ के लिए $$F \in \mathcal{F}$$ पर एक परिमित उपाय है $$(\Omega, \mathcal{F})$$ यह संबंध में पूर्ण निरंतरता है  $$P$$. यदि $$h$$ से प्राकृतिक इंजेक्शन है $$\mathcal{H}$$ को $$\mathcal{F}$$, तब $$\mu^X \circ h = \mu^X|_\mathcal{H}$$ का प्रतिबंध है $$\mu^X$$ को $$\mathcal{H}$$ और $$P \circ h = P|_\mathcal{H}$$ का प्रतिबंध है $$P$$ को $$\mathcal{H}$$. आगे, $$\mu^X \circ h$$ के संबंध में बिल्कुल निरंतर है $$P \circ h$$, क्योंकि शर्त
 * $$P \circ h (H) = 0 \iff P(h(H)) = 0$$

तात्पर्य
 * $$\mu^X(h(H)) = 0 \iff \mu^X \circ h(H) = 0.$$

इस प्रकार, हमारे पास है
 * $$\operatorname{E}(X\mid\mathcal{H}) = \frac{\mathrm{d}\mu^X|_\mathcal{H}}{\mathrm{d}P|_\mathcal{H}} = \frac{\mathrm{d}(\mu^X \circ h)}{\mathrm{d}(P \circ h)},$$

जहां डेरिवेटिव रेडॉन-निकोडिम प्रमेय हैं | रेडॉन-निकोडीम उपायों के डेरिवेटिव।

एक यादृच्छिक चर के संबंध में सशर्त अपेक्षा
उपरोक्त के अतिरिक्त, विचार करें
 * एक मापने योग्य स्थान $$(U, \Sigma)$$, और
 * एक यादृच्छिक चर $$Y\colon\Omega \to U$$.

की सशर्त अपेक्षा $X$ दिया गया $Y$ को उपरोक्त निर्माण को Σ-algebra#σ-algebra पर यादृच्छिक चर या वेक्टर द्वारा उत्पन्न करके परिभाषित किया गया है। σ-बीजगणित द्वारा उत्पन्न $Y$:
 * $$\operatorname{E}[X|Y] := \operatorname{E}[X|\sigma(Y)]$$.

डूब-डिंकिन लेम्मा द्वारा, एक कार्य मौजूद है $$e_X \colon U \to \mathbb{R}^n$$ ऐसा है कि
 * $$\operatorname{E}[X|Y] = e_X(Y)$$.

चर्चा

 * यह कोई रचनात्मक परिभाषा नहीं है; हमें केवल आवश्यक संपत्ति दी जाती है जो एक सशर्त अपेक्षा को पूरा करना चाहिए।
 * की परिभाषा $$\operatorname{E}(X \mid \mathcal{H})$$ के समान हो सकता है $$\operatorname{E}(X \mid H)$$ एक घटना के लिए $$H$$ किंतु ये बहुत अलग वस्तुएं हैं। पूर्व एक है $$\mathcal{H}$$-मापने योग्य समारोह $$\Omega \to \mathbb{R}^n$$, जबकि बाद वाला एक तत्व है $$\mathbb{R}^n$$ और $$\operatorname{E}(X \mid H)\ P(H)= \int_H X \,\mathrm{d}P= \int_H \operatorname{E} (X\mid\mathcal{H})\,\mathrm{d}P$$ के लिए $$H\in\mathcal{H}$$.
 * विशिष्टता को लगभग निश्चित रूप से दिखाया जा सकता है: अर्थात, समान सशर्त अपेक्षा के संस्करण केवल एक शून्य समुच्चय पर भिन्न होंगे।
 * σ-बीजगणित $$\mathcal{H}$$ कंडीशनिंग की ग्रैन्युलैरिटी को नियंत्रित करता है। एक सशर्त अपेक्षा $$E(X\mid\mathcal{H})$$ एक महीन (बड़ा) σ-बीजगणित पर $$\mathcal{H}$$ घटनाओं के एक बड़े वर्ग की संभावनाओं के बारे में जानकारी रखता है। अधिक घटनाओं पर मोटे (छोटे) σ-बीजगणित औसत पर एक सशर्त अपेक्षा।

सशर्त संभावना
एक बोरेल सबसमुच्चय के लिए $B$ में $$\mathcal{B}(\mathbb{R}^n)$$, कोई यादृच्छिक चर के संग्रह पर विचार कर सकता है
 * $$ \kappa_\mathcal{H}(\omega, B) := \operatorname{E}(1_{X \in B}|\mathcal{H})(\omega) $$.

यह दिखाया जा सकता है कि वे एक मार्कोव कर्नेल बनाते हैं, जो कि लगभग सभी के लिए है $$\omega$$, $$\kappa_\mathcal{H}(\omega, -)$$ संभाव्यता माप है। अचेतन सांख्यिकीविद का नियम तब है
 * $$ \operatorname{E}[f(X)|\mathcal{H}] = \int f(x) \kappa_\mathcal{H}(-, \mathrm{d}x) $$.

इससे पता चलता है कि सशर्त अपेक्षाएं, उनके बिना शर्त समकक्षों की तरह, एकीकरण, एक सशर्त उपाय के खिलाफ।

सामान्य परिभाषा
पूर्ण सामान्यता में, विचार करें:
 * एक संभाव्यता स्थान $$(\Omega,\mathcal{A},P)$$.
 * एक बनच स्थान $$(E,\|\cdot\|_E)$$.
 * एक बोचनर अभिन्न यादृच्छिक चर $$X:\Omega\to E$$.
 * एक उप-σ-बीजगणित $$\mathcal{H}\subseteq \mathcal{A}$$.

की सशर्त अपेक्षा $$X$$ दिया गया $$\mathcal{H}$$ एक तक है $$P$$-nullset अद्वितीय और पूर्णांक $$E$$-मूल्यवान $$\mathcal{H}$$- मापने योग्य यादृच्छिक चर $$\operatorname{E}(X \mid \mathcal{H})$$ संतुष्टि देने वाला
 * $$\int_H \operatorname{E}(X \mid \mathcal{H}) \,\mathrm{d}P = \int_H X \,\mathrm{d}P$$

सभी के लिए $$H \in \mathcal{H}$$. इस समुच्चयिंग में सशर्त अपेक्षा को कभी-कभी ऑपरेटर नोटेशन में भी दर्शाया जाता है $$\operatorname{E}^\mathcal{H}X$$.

मूल गुण
निम्नलिखित सभी सूत्रों को लगभग निश्चित अर्थों में समझना है। σ-बीजगणित $$\mathcal{H}$$ एक यादृच्छिक चर द्वारा प्रतिस्थापित किया जा सकता है $$Z$$, अर्थात। $$\mathcal{H}=\sigma(Z)$$.


 * स्वतंत्र कारकों को बाहर निकालना:
 * यदि $$X$$ का स्वतंत्रता (संभाव्यता सिद्धांत) है $$\mathcal{H}$$, तब $$E(X\mid\mathcal{H}) = E(X)$$.

होने देना $$B \in \mathcal{H}$$. तब $$X$$ से स्वतंत्र है $$1_B$$, तो हमें वह मिलता है
 * $$\int_B X\,dP = E(X1_B) = E(X)E(1_B) = E(X)P(B) = \int_B E(X)\,dP.$$

इस प्रकार सशर्त अपेक्षा की परिभाषा निरंतर यादृच्छिक चर से संतुष्ट होती है $$E(X)$$, जैसी इच्छा थी। $$\square$$


 * यदि $$X$$ से स्वतंत्र है $$\sigma(Y, \mathcal{H})$$, तब $$E(XY\mid \mathcal{H}) = E(X) \, E(Y\mid\mathcal{H})$$. ध्यान दें कि यह जरूरी नहीं है कि यदि $$X$$ से ही स्वतंत्र है $$\mathcal{H}$$ और का $$Y$$.
 * यदि $$X,Y$$ स्वतंत्र हैं, $$\mathcal{G},\mathcal{H}$$ स्वतंत्र हैं, $$X$$ से स्वतंत्र है $$\mathcal{H}$$ और $$Y$$ से स्वतंत्र है $$\mathcal{G}$$, तब $$E(E(XY\mid\mathcal{G})\mid\mathcal{H}) = E(X) E(Y) = E(E(XY\mid\mathcal{H})\mid\mathcal{G})$$.
 * स्थिरता:
 * यदि $$X$$ है $$\mathcal{H}$$-मापने योग्य, फिर $$E(X\mid\mathcal{H}) = X$$.

प्रत्येक के लिए $$H\in \mathcal{H}$$ अपने पास $$\int_H E(X|\mathcal{H})dP = \int_H X dP$$, या समकक्ष
 * $$ \int_H \big( E(X|\mathcal{H}) - X \big) dP = 0 $$

चूंकि यह प्रत्येक के लिए सत्य है $$H \in \mathcal{H}$$, और दोनों $$E(X|\mathcal{H})$$ और $$X$$ हैं $$\mathcal{H}$$-मापने योग्य (पूर्व संपत्ति परिभाषा के अनुसार है; बाद की संपत्ति यहां महत्वपूर्ण है), इससे कोई दिखा सकता है
 * $$ \int_H \big| E(X|\mathcal{H}) - X \big| dP = 0 $$

और इसका तात्पर्य है $$ E(X|\mathcal{H}) = X$$ लगभग हर जगह। $$\square$$


 * विशेष रूप से, उप-σ-बीजगणित के लिए $$\mathcal{H}_1\subset\mathcal{H}_2 \subset\mathcal{F}$$ अपने पास $$E(E(X\mid\mathcal{H}_2)\mid\mathcal{H}_1) = E(X\mid\mathcal{H}_1)$$.
 * यदि Z एक यादृच्छिक चर है, तो $$\operatorname{E}(f(Z) \mid Z)=f(Z)$$. अपने सरलतम रूप में, यह कहते हैं $$\operatorname{E}(Z \mid Z)=Z$$.
 * ज्ञात कारकों को बाहर निकालना:
 * यदि $$X$$ है $$\mathcal{H}$$-मापने योग्य, फिर $$E(XY\mid\mathcal{H}) = X \, E(Y\mid\mathcal{H})$$.

यहां सभी यादृच्छिक चर सामान्यता के नुकसान के बिना गैर-नकारात्मक मान लिए गए हैं। सामान्य मामले का इलाज किया जा सकता है $$X = X^+ - X^-$$.

हल करना $$A \in \mathcal{H}$$ और जाने $$X = 1_A$$. फिर किसी के लिए $$H \in \mathcal{H}$$
 * $$\int_H E(1_A Y | \mathcal{H}) dP = \int_H 1_A Y dP = \int_{A \cap H} Y dP = \int_{A\cap H} E(Y|\mathcal{H})dP = \int_H 1_A E(Y|\mathcal{H})dP $$

इस तरह $$ E(1_A Y | \mathcal{H}) = 1_A E(Y|\mathcal{H})$$ लगभग हर जगह।

कोई भी सरल फलन सूचक फलनों का परिमित रेखीय संयोजन होता है। रैखिकता से उपरोक्त संपत्ति सरल कार्यों के लिए होती है: यदि $$X_n$$ तब एक साधारण कार्य है $$E(X_n Y | \mathcal{H}) = X_n \, E(Y| \mathcal{H})$$.

अब चलो $$X$$ होना $$\mathcal{H}$$-मापने योग्य। फिर सरल कार्यों का एक क्रम मौजूद होता है $$\{ X_n \}_{n\geq 1}$$ मोनोटोनिक रूप से अभिसरण करना (यहाँ अर्थ है $$X_n \leq X_{n+1}$$) और बिंदुवार $$X$$. नतीजतन, के लिए $$Y \geq 0 $$, क्रम $$\{ X_n Y \}_{n\geq 1}$$ मोनोटोनिक रूप से और पॉइंटवाइज़ में परिवर्तित हो जाता है $$ X Y $$.

इसके अलावा, चूंकि $$E(Y|\mathcal{H}) \geq 0$$, क्रम $$\{ X_n E(Y|\mathcal{H}) \}_{n\geq 1}$$ मोनोटोनिक रूप से और पॉइंटवाइज़ में परिवर्तित हो जाता है $$X \, E(Y|\mathcal{H})$$ सरल कार्यों के लिए सिद्ध विशेष मामले का संयोजन, सशर्त अपेक्षा की परिभाषा, और मोनोटोन अभिसरण प्रमेय को तैनात करना:

\int_H X \, E(Y|\mathcal{H}) dP = \int_H \lim_{n \to \infty} X_n \, E(Y|\mathcal{H}) dP = \lim_{n \to \infty} \int_H X_n E(Y|\mathcal{H}) dP = \lim_{n \to \infty} \int_H E(X_n Y|\mathcal{H}) dP = \lim_{n \to \infty} \int_H X_n Y dP = \int_H \lim_{n\to \infty} X_n Y dP = \int_H XY dP = \int_H E(XY|\mathcal{H}) dP$$ यह सभी के लिए है $$H\in \mathcal{H}$$, कहाँ से $$X \, E(Y|\mathcal{H}) = E(XY| \mathcal{H})$$ लगभग हर जगह। $$\square$$


 * यदि Z एक यादृच्छिक चर है, तो $$\operatorname{E}(f(Z) Y \mid Z)=f(Z)\operatorname{E}(Y \mid Z)$$.
 * कुल अपेक्षा का नियम: $$E(E(X \mid \mathcal{H})) = E(X)$$.
 * टॉवर संपत्ति:
 * उप-σ-बीजगणित के लिए $$\mathcal{H}_1\subset\mathcal{H}_2 \subset\mathcal{F}$$ अपने पास $$E(E(X\mid\mathcal{H}_2)\mid\mathcal{H}_1) = E(X\mid\mathcal{H}_1)$$.
 * एक विशेष स्थिति $$\mathcal{H}_1=\{\emptyset, \Omega\}$$ कुल अपेक्षा का नियम पुनर्प्राप्त करता है: $$E(E(X\mid\mathcal{H}_1) ) = E(X )$$.
 * एक विशेष स्थिति तब होता है जब Z एक होता है $$\mathcal{H}$$- मापने योग्य यादृच्छिक चर। तब $$\sigma(Z) \subset \mathcal{H}$$ और इस तरह $$E(E(X \mid \mathcal{H}) \mid Z) = E(X \mid Z)$$.
 * संदेह मेर्टिंगेल संपत्ति: ऊपर के साथ $$Z = E(X \mid \mathcal{H})$$ (जो है $$\mathcal{H}$$-मापने योग्य), और उपयोग भी $$\operatorname{E}(Z \mid Z)=Z$$, देता है $$E(X \mid E(X \mid \mathcal{H})) = E(X \mid \mathcal{H})$$.
 * यादृच्छिक चर के लिए $$X,Y$$ अपने पास $$E(E(X\mid Y)\mid f(Y)) = E(X\mid f(Y))$$.
 * यादृच्छिक चर के लिए $$X,Y,Z$$ अपने पास $$E(E(X\mid Y,Z)\mid Y) = E(X\mid Y)$$.
 * रैखिकता: हमारे पास है $$E(X_1 + X_2 \mid \mathcal{H}) = E(X_1 \mid \mathcal{H}) + E(X_2 \mid \mathcal{H})$$ और $$E(a X \mid \mathcal{H}) = a\,E(X \mid \mathcal{H})$$ के लिए $$a\in\R$$.
 * सकारात्मकता : यदि $$X \ge 0$$ तब $$E(X \mid \mathcal{H}) \ge 0$$.
 * एकरसता: यदि $$X_1 \le X_2$$ तब $$E(X_1 \mid \mathcal{H}) \le E(X_2 \mid \mathcal{H})$$.
 * मोनोटोन अभिसरण प्रमेय: यदि $$0\leq X_n \uparrow X$$ तब $$E(X_n \mid \mathcal{H}) \uparrow E(X \mid \mathcal{H})$$.
 * प्रभुत्व अभिसरण प्रमेय: यदि $$X_n \to X$$ और $$|X_n| \le Y$$ साथ $$Y \in L^1$$, तब $$E(X_n \mid \mathcal{H}) \to E(X \mid \mathcal{H})$$.
 * फतौ की लेम्मा: यदि $$\textstyle E(\inf_n X_n \mid \mathcal{H}) > -\infty$$ तब $$\textstyle E(\liminf_{n\to\infty} X_n \mid \mathcal{H}) \le \liminf_{n\to\infty} E(X_n \mid \mathcal{H})$$.
 * जेन्सेन की असमानता: यदि $$f \colon \mathbb{R} \rightarrow \mathbb{R}$$ एक उत्तल कार्य है, फिर $$f(E(X\mid \mathcal{H})) \le E(f(X)\mid\mathcal{H})$$.
 * सशर्त विचरण: सशर्त अपेक्षा का उपयोग करके हम विचरण की परिभाषा के साथ सादृश्य द्वारा परिभाषित कर सकते हैं, औसत से औसत वर्ग विचलन, सशर्त विचरण
 * परिभाषा: $$\operatorname{Var}(X \mid \mathcal{H}) = \operatorname{E}\bigl( (X - \operatorname{E}(X \mid \mathcal{H}))^2 \mid  \mathcal{H} \bigr)$$
 * विचरण के लिए बीजगणितीय सूत्र: $$\operatorname{Var}(X \mid \mathcal{H}) = \operatorname{E}(X^2 \mid  \mathcal{H}) - \bigl(\operatorname{E}(X \mid  \mathcal{H})\bigr)^2$$
 * कुल विचरण का नियम: $$\operatorname{Var}(X) = \operatorname{E}(\operatorname{Var}(X \mid \mathcal{H})) + \operatorname{Var}(\operatorname{E}(X \mid \mathcal{H}))$$.
 * मार्टिंगेल अभिसरण प्रमेय: एक यादृच्छिक चर के लिए $$X$$, जिसकी परिमित अपेक्षा है, हमारे पास है $$E(X\mid\mathcal{H}_n) \to E(X\mid\mathcal{H})$$, या तो $$\mathcal{H}_1 \subset \mathcal{H}_2 \subset \dotsb$$ उप-σ-बीजगणित की एक बढ़ती हुई श्रृंखला है और $$\textstyle \mathcal{H} = \sigma(\bigcup_{n=1}^\infty \mathcal{H}_n)$$ या यदि $$\mathcal{H}_1 \supset \mathcal{H}_2 \supset \dotsb$$ उप-σ-बीजगणित की एक घटती श्रृंखला है और $$\textstyle \mathcal{H} = \bigcap_{n=1}^\infty \mathcal{H}_n$$.
 * सशर्त अपेक्षा के रूप में $$L^2$$-प्रोजेक्शन: यदि $$X,Y$$ स्क्वायर-इंटीग्रेबल रियल रैंडम वेरिएबल्स के हिल्बर्ट अंतरिक्ष  में हैं (परिमित दूसरे क्षण के साथ वास्तविक रैंडम वेरिएबल्स)।
 * के लिए $$\mathcal{H}$$-मापने योग्य $$Y$$, अपने पास $$E(Y(X - E(X\mid\mathcal{H}))) = 0$$, अर्थात सशर्त अपेक्षा $$E(X\mid\mathcal{H})$$ एलपी स्पेस के अर्थ में है | एल2(पी) स्केलर उत्पाद से ओर्थोगोनल प्रक्षेपण $$X$$ की रैखिक उपसमष्टि के लिए $$\mathcal{H}$$-मापने योग्य कार्य। (यह हिल्बर्ट प्रोजेक्शन प्रमेय के आधार पर सशर्त अपेक्षा के अस्तित्व को परिभाषित करने और साबित करने की अनुमति देता है।)
 * मानचित्रण $$X \mapsto \operatorname{E}(X\mid\mathcal{H})$$ स्व-संयोजक है | स्व-संयोजक: $$\operatorname E(X \operatorname E(Y \mid \mathcal{H})) = \operatorname E\left(\operatorname E(X \mid \mathcal{H}) \operatorname E(Y \mid \mathcal{H})\right) = \operatorname E(\operatorname E(X \mid \mathcal{H}) Y)$$
 * कंडीशनिंग एलपी स्पेस का एक संकुचन (ऑपरेटर सिद्धांत) प्रक्षेपण है | एल पी  रिक्त स्थान $$L^p(\Omega, \mathcal{F}, P) \rightarrow L^p(\Omega, \mathcal{H}, P)$$. अर्थात।, $$\operatorname{E}\big(|\operatorname{E}(X \mid\mathcal{H})|^p \big) \le \operatorname{E}\big(|X|^p\big)$$ किसी भी पी ≥ 1 के लिए।
 * दूब की सशर्त स्वतंत्रता संपत्ति: यदि $$X,Y$$ सशर्त रूप से स्वतंत्र दिए गए हैं $$Z$$, तब $$P(X \in B\mid Y,Z) = P(X \in B\mid Z)$$ (समान रूप से, $$E(1_{\{X \in B\}}\mid Y,Z) = E(1_{\{X \in B\}} \mid Z)$$).

यह भी देखें

 * कंडीशनिंग (संभावना)
 * विघटन प्रमेय
 * दूब-डाइनकिन लेम्मा
 * गुणनखंड लेम्मा
 * संयुक्त संभाव्यता वितरण
 * गैर-विनिमेय सशर्त अपेक्षा

संभाव्यता नियम

 * कुल संचयन का नियम (अन्य तीन का सामान्यीकरण करता है)
 * कुल अपेक्षा का नियम
 * कुल संभाव्यता का नियम
 * कुल विचरण का नियम

संदर्भ

 * William Feller, An Introduction to Probability Theory and its Applications, vol 1, 1950, page 223
 * Paul A. Meyer, Probability and Potentials, Blaisdell Publishing Co., 1966, page 28
 * , pages 67–69