משפט השונות השלמה
מתוך ויקיפדיה, האנציקלופדיה החופשית
משפט השונות השלמה הוא משפט בתורת ההסתברות פירוק לשונות של משתנה מקרי לגורמים של תוחלת מותנית ושונות מותנית במשתנה אחר.
אם X הוא משתנה מקרי, אז משפט השונות השלמה אומר כי:
הוכחה [עריכה]
עפ"י הגדרת השונות: ![\operatorname{Var}[Y] = \operatorname{E}[Y^2] - \operatorname{E}[Y]^2](http://upload.wikimedia.org/math/7/e/a/7eacac960245200feef8860c665d7993.png)
בעזרת נוסחת ההסתברות השלמה.
![= \operatorname{E}\left[\operatorname{E}[Y^2|X]\right] - \operatorname{E}\left[\operatorname{E}[Y|X]\right]^2](http://upload.wikimedia.org/math/3/9/b/39bf7a2734de8a0d66ce700dae5d06ad.png)
נשכתב את הביטוי למומנט השני של Y:
![= \operatorname{E}\!\left[\operatorname{Var}[Y|X] + \operatorname{E}[Y|X]^2\right] - \operatorname{E}[\operatorname{E}[Y|X]]^2](http://upload.wikimedia.org/math/8/c/9/8c9b59f262fce70311de016f8e4b4d12.png)
לפי לינאריות התוחלת:
![= \operatorname{E}[\operatorname{Var}[Y|X]] + \left(\operatorname{E}\left[\operatorname{E}[Y|X]^2] - \operatorname{E}[\operatorname{E}[Y|X]\right]^2\right)](http://upload.wikimedia.org/math/2/4/a/24af962297bd9794ed0f93993705a88a.png)
לבסוף נזהה את הביטוי בסוגריים כשונות התוחלת המותנית
:
![= \operatorname{E}\left[\operatorname{Var}[Y|X]\right] + \operatorname{Var}\left[\operatorname{E}[Y|X]\right]](http://upload.wikimedia.org/math/6/8/7/687d42c89d22ee9bfc6d5ffb7b807c65.png)
