הלמה של דוב-דינקין

בתורת המידה ובתורת ההסתברות, **הלמה של [[ג'וזף דוב|דוב]]-[[יוג'ין דינקין|דינקין]]** הוא משפט המאפיין מתי משתנה מקרי אחד ניתן לביטוי כפונקציה מדידה של משתנה מקרי אחר, באמצעות הסיגמא-אלגבראות הנוצרות על ידי המשתנים המקריים. 

למשפט זה תפקיד חשוב בפיתוח התורה של תוחלת מותנית, בכך שהוא מאפשר להכליל את מושג ההתניה במשתנה מקרי, ולהגדיר התניה בסיגמא-אלגברה. ההתניה במשתנה המקרי מתקבלת כמקרה פרטי מהגדרה זו על ידי התניה בסיגמא-אלגברה הנוצרת על-ידו.

## נוסח פורמלי

יהי \left( \Omega, \mathcal{F} \right) מרחב מדיד. נתבונן במרחב המדיד \left( \mathbb{R}^n, \mathcal{B}_n \right) כאשר \mathcal{B}_n היא סיגמא-אלגברת בורל של \mathbb{R}^n. לכל פונקציה מדידה f: \Omega \to \mathbb{R}^n, נגדיר את הסיגמא-אלגברה הנוצרת על ידי f להיות התת-סיגמא-אלגברה של \mathcal{F} הנוצרת על ידי כל הקבוצות מהצורה f^{-1} \left( B \right) עבור B \in \mathcal{B}_n. נסמן זאת,
\sigma \left( f \right) = \sigma \left( \left\{ f^{-1} \left( B \right) \mid B \in \mathcal{B}_n \right\} \right)


**משפט:** יהיו X,Y: \Omega \to \mathbb{R}^n משתנים מקריים. אז Y הוא מדיד ביחס לסיגמא-אלגברה \sigma \left( X \right), אם ורק אם \sigma \left( Y \right) \subset \sigma \left( X \right), אם ורק אם קיימת פונקציה מדידה F: \mathbb{R}^n \to \mathbb{R}^n כך שמתקיים Y = F \circ X .

כמו כן, לכל מידת הסתברות \mathbb{P} שנתונה על המרחב \left( \Omega, \mathcal{F} \right), אם מתקיים התנאי שבמשפט, אז F היא יחידה כמעט תמיד ביחס למידה \mu המוגדרת על \left( \mathbb{R}^n, \mathcal{B}_n \right) על ידי \mu \left( B \right) = \mathbb{P} \left( X^{-1} \left( B \right) \right) לכל B \in \mathcal{B}_n.

## הוכחה

השקילות הראשונה בטענה ברורה. כמו כן הטענה כי אם Y = F \circ X  אז \sigma \left( Y \right) \subset \sigma \left( X \right), גם היא ברורה, ונובעת מהטענה הפשוטה כי הרכבה של פונקציות מדידות היא פונקציה מדידה. עיקר האתגר במשפט הוא להוכיח כי אם \sigma \left( Y \right) \subset \sigma \left( X \right) אז Y הוא פונקציה מדידה של X.

תחילה נראה את היחידות כמעט תמיד של F. נניח כי F' היא פונקציה כלשהי המקיימת Y = F' \circ X = F \circ X, אז נתבונן בקבוצה המדידה B = \left\{ x \in \Omega \mid F(x) = F'(x) \right\}. נשים לב כי X^{-1} \left( B \right) = \Omega, ולכן מידתה של B היא 1, כנדרש.

כעת נראה את הקיום. ניתן להוכיח את המשפט באמצעות הוכחתו עבור פונקציות מציינות, להסיק אותו עבור פונקציות פשוטות, ועל ידי שימוש בעובדה שכל פונקציה מדידה היא גבול של סדרה מונוטונית של פונקציות פשוטות, ניתן להסיק את המשפט לכל פונקציה מדידה. להלן נציג הוכחה אחרת.

לצורך הפשטות, נוכיח זאת עבור קטע היחידה I = \left[ 0,1 \right] עם סיגמא-אלגברת בורל שלו, שהוא איזומורפי כמרחב מדיד ל-\left( \mathbb{R}, \mathcal{B}_1 \right). ההוכחה למקרה ה-n-ממדי תהיה כמעט זהה. נשים לב כי ניתן להציג מרחב זה על ידי מרחב מכפלה מהצורה \left\{ 0,1 \right\}^\mathbb{N}, עם סיגמא-אלגברת בורל המכפלה. לכל i \in \mathbb{N} נתבונן בפונקציית ההטלה p_i : \left\{ 0,1 \right\}^\mathbb{N} \to \left\{ 0,1 \right\} המחזירה את ערך הקואורדינטה ה-i. זו פונקציה מדידה. נשים לב שקיימת פונקציה F_i: \left\{0,1\right\}^\mathbb{N} \to \left\{ 0,1 \right\}, כך שמתקיים p_i \circ Y = F_i \circ X. ניתן לראות כי F_i מדידה ביחס לסיגמא-אלגברה \sigma \left( Y \right), ואם נניח את ההנחה שבמשפט כי \sigma \left( Y \right) \subset \sigma \left( X \right), ינבע כי היא גם מדידה ביחס לסיגמא-אלגברה \sigma \left( X \right). נגדיר לפיכך F: \left\{0,1\right\}^\mathbb{N} \to \left\{0,1\right\}^\mathbb{N} על ידי F = \left(F_1,F_2, \dots \right), וזו הפונקציה המבוקשת.

## לקריאה נוספת

* A. Bobrowski: *Functional analysis for probability and stochastic processes: an introduction*, Cambridge University Press (2005),  
* M. M. Rao, R. J. Swift : *Probability Theory with Applications*, Mathematics and Its Applications, Band 582, Springer-Verlag (2006), 

קטגוריה:משפטים בתורת ההסתברות
קטגוריה:משפטים בתורת המידה