قانون امید ریاضی کل

در نظریه احتمالات قضیه‌ای وجود دارد که با نام‌های قانون کل امید ریاضی، قانون امید ریاضی کل (به انگلیسی: Law of total expectation)، قانون برج یا قانون آدام شناخته می‌شود. این قانون بیان می‌کند که اگر X متغیری تصادفی باشد که امید ریاضی آن \operatorname{E}(X) تعریف شده باشد، و Y یک متغیر تصادفی دلخواه روی همان فضای نمونه باشد، آنگاه \operatorname{E} (X) = \operatorname{E} ( \operatorname{E} ( X \mid Y))؛

به این معنی که امید ریاضیِ امید ریاضی X به شرط Y، با امید ریاضی X برابر است.

## مفهوم

### مفهوم ریاضی
می‌دانیم که  \operatorname{E} [X \mid Y] تابعی از متغیر تصادفی Y است که مقدارش در Y = y برابر با \operatorname{E} [ X \mid Y = y] می‌باشد. توجه کنید که  \operatorname{E} [X \mid Y] خود نیز یک متغیر تصادفی است.

یک خاصیت بی‌نهایت مهم از امید ریاضی شرطی این است که برای تمام متغیرهای تصادفی X و Y داریم

\operatorname{E} (X) = \operatorname{E} ( \operatorname{E} ( X \mid Y)).

اگر Y یک متغیر تصادفی گسسته باشد، آنگاه معادله بیان می‌کند که

\operatorname{E} (X) =  \sum_{y}\operatorname{E} [ X \mid Y = y] \operatorname{P} \lbrace Y = y \rbrace

درحالیکه اگر Y پیوسته با چگالی f_{Y}(y) باشند، آنگاه معادله بیان می‌کند که


\operatorname{E}(X) = \int_{-\infty}^{\infty} \operatorname{E}[X \mid Y = y]f_{Y}(y)dy
.

### مفهوم شهودی
یک راه برای درک معادله تعبیری به شرح زیر است:

برای محاسبه \operatorname{E} (X)، می‌توانیم متوسط وزن دار شده مقدار امید ریاضی شرطی X به شرط Y = yرا اختیار کنیم، بطوریکه که هر جمله \operatorname{E} [ X \mid Y = y]را توسط احتمال پیشامدی که روی آن شرط گذاشته شده است، وزن‌دار نماییم. این یک نتیجه بی‌نهایت مفید است که ما را قادر می‌سازد تا امیدهای ریاضی را با شرطی کردن روی برخی از مقادیر تصادفی مناسب محاسبه کنیم.

## اثبات قضیه

### حالت گسسته
با این فرض که هر دو متغیر تصادفی X و Y گسسته باشند و روی فضای نمونه یکسانی تعریف شده باشند داریم

: 
\begin{align}
\operatorname{E} \left( \operatorname{E} (X \mid Y) \right) 
&= \operatorname{E} \Bigg[\sum_x x \cdot \operatorname{P}(X=x \mid Y) \Bigg] \\[6pt]
&=\sum_y \Bigg[\sum_x x \cdot \operatorname{P}(X=x \mid Y) \Bigg] \cdot \operatorname{P}(Y=y) \\[6pt]
&=\sum_y \sum_x x \cdot \operatorname{P}(X=x, Y=y) \\[6pt]
&=\sum_x x\sum_y \operatorname{P}(X=x, Y=y)\\[6pt]
&=\sum_x x \cdot \operatorname{P}(X=x)\\[6pt]
&=\operatorname{E}(X).
\end{align}


بنابر این معادلهٔ زیر برقرار است:

: \operatorname{E}(X) = \operatorname{E} \left( \operatorname{E}(X|Y) \right)

که به صورت دقیق‌تر یعنی:

: \operatorname{E}_X(x) = \operatorname{E}_Y\left[ \operatorname{E}_{X|Y=y}(x) \right]طرف راست معادله به امید ریاضی مکرر اشاره دارد و همانطور که گفته شد گاهی اوقات قانون برج یا احتمال برج نامیده می‌شود. این پیش‌فرض در قانون امید ریاضی کل بسیار مورد توجه قرار گرفته است. در امید مکرر برای متغیرهای تصادفی پیوسته، نتایج ما کاملاً با امید مکرر برای متغیرهای تصادفی گسسته قابل قیاس هستند. و نتیجهٔ اصلی هنوز برقرار است:
:: \operatorname{E}(X) = \operatorname{E} \left( \operatorname{E}(X|Y) \right)

### حالت پیوسته (حالت خاص)
در حالتی که X و Y متغیرهای تصادفی پیوسته با تابع چگالی احتمال توام\begin{alignat}{2} f(x,y)\end{alignat} هستند، قضیه را ثابت می‌کنیم.


\begin{align}
\operatorname{E} \left( \operatorname{E} (X \mid Y) \right) 
&= \int_{-\infty}^{\infty} \operatorname{E}(X\mid Y = y)f_{Y}(y)dy \\[6pt]
&= \int_{-\infty}^{\infty} \Biggl(\int_{-\infty}^{\infty} xf_{X|Y}(x|y)dx\biggr)f_{Y}(y)dy \\[6pt]
&= \int_{-\infty}^{\infty} x\Biggl(\int_{-\infty}^{\infty} f_{X|Y}(x|y)f_{Y}(y)dy\biggr)dx \\[6pt]
&= \int_{-\infty}^{\infty} x\Biggl(\int_{-\infty}^{\infty}  \frac{f_{}(x,y)}{f_{Y}(y)}f_{Y}(y) dy\biggr)dx \\[6pt]
&= \int_{-\infty}^{\infty} x\Biggl(\int_{-\infty}^{\infty}  f_{}(x,y)dy\biggr)dx \\[6pt]
&= \int_{-\infty}^{\infty} xf_{X}(x)dx \\[6pt]
&= \operatorname{E}(X)
\end{align}


## مثال ها

### مثال 1 (کارخانه تولید لامپ)
فرض کنیم دو کارخانه لامپ‌های مورد نیاز بازار را تأمین می‌کنند. طول عمر لامپ‌های کارخانه Xبه‌طور متوسط ۵۰۰۰ ساعت است، درحالیکه طول عمر متوسط لامپ‌های کارخانه Y، 4000 ساعت است. می‌دانیم که ۶۰ درصد از همه لامپ‌های موجود را کارخانه Xتأمین می‌کند. امید ریاضی طول عمر یک لامپ خریده شده چقدر است؟

#### پاسخ
\begin{align}
&\operatorname{E} (L) = \operatorname{E} \left( \operatorname{E} (L \mid X) \right)  \\
&= \operatorname{E}(L \mid X_{1}) \operatorname{P}(X_{1})+\operatorname{E}(L \mid X_{2}) \operatorname{P}(X_{2}) \\
&= 5000(.6)+4000(.4)=4600
\end{align}

که:
* \operatorname{E} (L)امید ریاضی طول عمر لامپ است؛
* \operatorname{P}(X)={6 \over 10} احتمال تولید لامپ خریداری شده توسط کارخانه Xاست؛
* \operatorname{P}(Y)={4 \over 10} احتمال تولید لامپ خریداری شده توسط کارخانه Yاست؛
* \operatorname{E}(L \mid X)=5000 امید ریاضی طول عمر لامپی است که توسط کارخانه Xتولید شده؛
* \operatorname{E}(L \mid Y)=4000 امید ریاضی طول عمر لامپی است که توسط کارخانه Yتولید شده.

بنابراین طول عمر مورد انتظار هر لامپ خریداری شده ۴۶۰۰ ساعت است.

### مثال 2 (معدنچی)
۱- یک معدنچی در معدنی که ۳ درب دارد گیر افتاده است. درب اول او را به تونلی هدایت می‌کند که پس از طی مسیری ۲ ساعته، او را به خارج از معدن می‌رساند. درب دوم او را به تونلی می‌برد که پس از ۳ ساعت وی به همان نقطه اول باز می‌گردد. درب سوم هم مانند درب دوم است ولی ۵ ساعت طول می‌کشد تا معدنچی به نقطه اولش بازگردد. با فرض این که به دلیل تاریکی معدنچی نمی‌تواند درب‌ها را از هم تشخیص بدهد و هر بار با احتمال مساوی یکی از درب‌ها را انتخاب کند، امید ریاضی مدت زمانی که طول می‌کشد تا او از معدن خارج شود چند است؟
بندانگشتی|مثال معدنچی|جایگزین=
#### پاسخ
مدت زمان مد نظر را با متغیر تصادفی X نمایش می‌دهیم. سپس متغیر Y را برابر دربی که معدنچی به تصادف انتخاب می‌کند در نظر می‌گیریم. در نتیجه در زمانی که معدنچی شروع به حرکت می‌کند، داریم:

\begin{align}
&\mathop{\mathbb{E}}[X] \\
&=\mathop{\mathbb{E}}[X|Y=1].P[Y=1] + \mathop{\mathbb{E}}[X|Y=2].P[Y=2] + \mathop{\mathbb{E}}[X|Y=3].P[Y=3] \\
&= \frac{1}{3}[\mathop{\mathbb{E}}[X|Y=1] + \mathop{\mathbb{E}}[X|Y=2] + \mathop{\mathbb{E}}[X|Y=3]] = \frac{1}{3}[(2) + (\mathop{\mathbb{E}}[X + 3]) + (\mathop{\mathbb{E}}[X + 5])]\\
&  = \frac{1}{3}[(2) + (\mathop{\mathbb{E}}[X] + 3) + (\mathop{\mathbb{E}}[X] + 5)]\\
&  = 10

\end{align}



### مثال 3 (راه رفتن تصادفی)
فردی روی یک عدد طبیعی تصادفی بین 0 تا Nقرار دارد و در هرگام با احتمال یک قدم به سمت راست یا چپ بر میدارد و زمانی که به یکی از دو انتهای بازه(0 یا N) برسد کار خود را تمام می‌کند. می‌خواهیم متوسط زمانی که طول می‌کشد تا فرد به یکی از دو انتها برسد را حساب کنیم.

#### پاسخ
T را به عنوان زمان رسیدن به یکی از دو انتها در نظر بگیرید. مشخصا این یک کمیت تصادفی است و بنابراین امید ریاضی روی آن تعریف می‌شود. فرض میکنیم فرد در ابتدا روی عدد باشد و زمان رسیدن به یکی از دو انتها را با T_{i} نشان می‌دهیم. اگر این متغیر را روی جهت حرکت(به سمت راست یا چپ) شرطی کنیم، طبق ویژگی \mathop{\mathbb{E}}[X] = \mathop{\mathbb{E}}[\mathop{\mathbb{E}}[X|Y]]
داریم:

\mathop{\mathbb{E}}[T_i] =
\mathop{\mathbb{E}}[\mathop{\mathbb{E}}[T_i|X]] = P[X_1]\mathop{\mathbb{E}}[T_i|X_1]] + P[X_2]
\mathop{\mathbb{E}}[T_i|X_2]
* X: جهت حرکت
* X_1: حرکت به چپ
* X_2: حرکت به راست.

وقتی به سمت راست یا چپ حرکت میکنیم در واقع یک قدم برداشته‌ایم و در یک جایگاه جدید قرار داریم. پس متوسط رسیدن به انتها از این جایگاه جدید هرچه باشد، با یک قدمی که برداشته‌ایم جمع خواهد یعنی

\begin{align}
\mathop{\mathbb{E}}[T_i|X_1] = \mathop{\mathbb{E}}[T_{i-1}] + 1,\\
\mathop{\mathbb{E}}[T_i|X_2] = \mathop{\mathbb{E}}[T_{i+1}] + 1
\end{align}

همچنین احتمال حرکت به سمت راست یا چپ برابر 1/2 است. از این پس \mathop{\mathbb{E}}[T_i] = a_i قرار می‌دهیم.

a_i = \frac{1}{2} (a_{i-1} + 1) + \frac{1}{2} (a_{i+1} + 1) ,  a_0 = a_N = 0


جواب از حل رابطه بازگشتی بالا بدست می آید.

## جستارهای وابسته
* قانون احتمال کامل
* امید ریاضی(مقدار چشم داشتی)
* احتمال شرطی
* آر (زبان برنامه‌نویسی)

## منابع

*

رده:احتمال شرطی
رده:احتمالات کاربردی
رده:جبر متغیر تصادفی
رده:قوانین آماری
رده:نظریه توزیع‌های احتمالی
رده:ویکی‌سازی رباتیک
رده:آمار و احتمالات
رده:احتمالات
رده:قضیه‌های احتمالات
رده:واژگان آمار