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

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

संदर्भ के आधार पर, सशर्त अपेक्षा या तो यादृच्छिक चर या कार्य हो सकती है। यादृच्छिक चर $$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}$$, $$\mathcal{F}$$ का उप $$\sigma$$ -बीजगणित है, इसलिए फलन $$X\colon\Omega \to \mathbb{R}^n$$ आमतौर पर $\int_H X \,dP|_\mathcal{H}$ मापने योग्य, इस प्रकार $$H\in\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})$$ के रूप में दर्शाया गया है, कोई भी $$\Omega \to \mathbb{R}^n$$ $$\mathcal{H}$$ मापने योग्य है।


 * $$\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}$$ पर एक परिमित माप है। जो $$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 (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$$.

$Y$ दिए गए $X$ की सशर्त अपेक्षा को उपरोक्त निर्माण को $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})$$ की परिभाषा किसी ईवेंट H के लिए $$\operatorname{E}(X \mid 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$$-अशक्त अद्वितीय और पूर्णांक $$E$$-मान $$\mathcal{H}$$-मापने योग्य यादृच्छिक चर $$\operatorname{E}(X \mid \mathcal{H})$$ तक $$\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$$ स्क्वायर-इंटीग्रेबल रियल रैंडम वेरिएबल्स के हिल्बर्ट अंतरिक्ष में हैं (परिमित दूसरे क्षण के साथ वास्तविक रैंडम वेरिएबल्स)।
 * $$Y$$ के लिए $$\mathcal{H}$$-मापने योग्य ,अपने पास $$E(Y(X - E(X\mid\mathcal{H}))) = 0$$, अर्थात सशर्त अपेक्षा $$E(X\mid\mathcal{H})$$ एलपी स्पेस के अर्थ में है। $$L^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)$$ है।
 * कंडीशनिंग एलपी स्पेस का एक संकुचन (संचालन सिद्धांत) प्रक्षेपण है। Lp रिक्त स्पेस $$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)$$ किसी भी p ≥ 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