התכנסות (הסתברות)

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

לדוגמה, נניח ש-\ X_n סדרה של משתנים מקריים בלתי תלויים בעלי תוחלת \ \mu ושונות \ \sigma^2, ותהי \ Y_n = \frac{X_1+\dots+X_n}{n} סדרת הממוצעים. לפי החוק החלש של המספרים הגדולים, הסדרה \ Y_n **מתכנסת בהסתברות** אל התוחלת; לפי החוק החזק של המספרים הגדולים, אותה סדרה **מתכנסת כמעט בוודאות**; ואילו לפי משפט הגבול המרכזי, הסדרה המתוקננת \ \frac{Y_n-\mu}{\sigma/\sqrt{n}} **מתכנסת בהתפלגות** אל ההתפלגות הנורמלית הסטנדרטית.

להלן, \ X הוא משתנה מקרי ו-\ X_1,X_2,\dots,X_n,\dots היא סדרה של משתנים מקריים, המוגדרים כולם על אותו מרחב הסתברות (למעט התכנסות בהתפלגות המוגדרת גם ללא הדרישה למרחב משותף). 

## התכנסות בהתפלגות

נניח ש- \ F_n הן פונקציות ההסתברות המצטברת של המשתנים המקריים \ X_n, וש- \ F היא פונקציית ההסתברות המצטברת של \ X. הסדרה \ X_n **מתכנסת בהתפלגות** ל- X, אם לכל x שבו F רציפה, \ F_n(x) \rightarrow F(x), כלומר, סדרת הפונקציות \ F_n מתכנסת נקודתית לפונקציה F לכל נקודת רציפות של F. מכיוון ש- \ F(x) = P(X \leq x), משמעותה של התכנסות כזו היא שהסיכוי של \ X_n ליפול בקטע מסוים, כאשר n גדול מספיק, קרוב לסיכוי של X ליפול באותו קטע. 
מקובל לסמן התכנסות בהתפלגות ב- \ X_n \xrightarrow{\mathcal D} X. 

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

התכנסות בהתפלגות נשמרת תחת פונקציות רציפות: אם \ X_n \xrightarrow{\mathcal D} X אז \ f(X_n) \xrightarrow{\mathcal D} f(X) לכל פונקציה רציפה \ f: \mathbb{R} \rightarrow \mathbb{R}.

התכונה "\ F_n(x) \rightarrow F(x) לכל x" (ללא המגבלה על הרציפות של F) חזקה ממש מהתכנסות בהתפלגות.

## התכנסות בהסתברות

הסדרה \ X_1,\dots,X_n,\dots **מתכנסת בהסתברות** אל המשתנה המקרי X, אם לכל \ 0 , סדרת ההסתברויות \ P(|X_n - X| מתכנסת ל-1. במילים אחרות, הסיכוי לכך שאברי הסדרה יהיו רחוקים מ- X, שואף לאפס. 
מקובל לסמן התכנסות בהסתברות ב- \ X_n \xrightarrow{P} X. כל סדרה המתכנסת בהסתברות, מתכנסת גם בהתפלגות.

## התכנסות כמעט בוודאות

הסדרה \ X_1,\dots,X_n,\dots **מתכנסת כמעט בוודאות** (Almost surely) אל המשתנה המקרי X, אם הסיכוי לכך ש- \ \lim_{n\rightarrow \infty} X_n = X שווה ל-1. במקרה כזה מסמנים \ X_n \xrightarrow{a.s.} X. התכנסות כמעט בוודאות נקראת לפעמים **התכנסות בהסתברות 1**, **התכנסות כמעט בכל מקום**, או **התכנסות במובן החזק**. 

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

כל סדרה המתכנסת כמעט בוודאות מתכנסת גם בהסתברות, ולכן גם בהתפלגות. מאידך, התכנסות כמעט בוודאות אינה שכיחה במיוחד. למשל, אם המשתנים \ X_n בלתי תלויים, אז הסדרה אינה יכולה להתכנס כמעט בוודאות, אלא אם המשתנה X שאליו היא מתכנסת הוא קבוע. אם למשתנים תוחלת אפס והטור \ \sum V(X_n) מתכנס, אז הסדרה מתכנסת לאפס כמעט בוודאות.

### התכנסות כמעט תמיד

הסדרה \ X_1,\dots,X_n,\dots **מתכנסת כמעט תמיד** אל X, אם לכל \ \delta>0, סדרת ההסתברויות \ p_n = P(\forall k>n: |X_k - X|  שואפת ל-1. תופעה זו שקולה להתכנסות כמעט בוודאות.

### התכנסות בוודאות
אם הגבול \ \lim_{n\rightarrow \infty} X_n קיים ושווה ל- X בוודאות (ולא רק בהסתברות 1), אז הסדרה **מתכנסת בוודאות** ל-X. זוהי התכנסות חזקה יותר מהתכנסות כמעט בוודאות, אך מבחינת תורת ההסתברות ההבדל בין השתיים זניח, ולכן ההתכנסות בוודאות אינה שימושית במיוחד.

## התכנסות בתוחלת
הסדרה \ X_1,\dots,X_n,\dots **מתכנסת בתוחלת** אל X, אם לכל המשתנים המקריים \ |X_n| יש תוחלת סופית, והסדרה \ E(|X_n-X|) שואפת לאפס.

באופן כללי יותר, הסדרה **מתכנסת במומנט ה-p-י** (X_n \xrightarrow{\overset{}{L^p}} X) אם לכל המשתנים כנ"ל יש מומנט p-י סופי, והסדרה הסדרה \ E(|X_n-X|^p) שואפת לאפס. זוהי למעשה התכנסות במרחב Lp. התכנסות בתוחלת היא מקרה פרטי של התכנסות במומנט – היא התכנסות במומנט הראשון.

אם X_n מתכנסת במומנט השני ל־X (p=2), אומרים ש־X_n מתכנסת ב**ממוצע ריבועי** (mean square) ל־X (X_n \xrightarrow{\overset{}\overset{}\text{m.s.}} X).

התכנסות במומנט ה-p-י חזקה יותר ככל ש-p גדול יותר (בתנאי ש־\ p\geq 1), ותמיד (לכל 0 ) נובעת ממנה התכנסות בהסתברות (לפי אי-שוויון צ'ביצ'ב). מאידך, אם המשתנים \ X_n חסומים, אז התכנסות בהסתברות גוררת גם התכנסות במומנט ה-p-י לכל \ p \geq 1.

## התכנסות חלשה
סוג נוסף של התכנסות הוא **התכנסות חלשה** - נאמר כי X_n \overset{w}{\to} X (מהמילה weakly) אם לכל פונקציה רציפה וחסומה g מתקיים E[g(X_n)] \to E[g(X)].

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

## הגדרות פורמליות של טיפוסי ההתכנסות
הסדרה \ X_1,\dots,X_n,\dots **מתכנסת בהסתברות** ל-\ X אם
* \ \forall \epsilon > 0: \forall \delta > 0: \exists N\!: \forall n>N\!: P(|X_n-X| 1-\epsilon;
**מתכנסת כמעט תמיד** אם
* \ \forall \epsilon > 0: \forall \delta > 0: \exists N\!: P(\forall n>N\!: |X_n-X| 1-\epsilon;
ו**מתכנסת כמעט בוודאות** אם
* \ P(\forall \delta > 0: \exists N\!: \forall n>N\!: |X_n-X|.

## ראו גם
* התכנסות של סדרת פונקציות

## לקריאה נוספת
*עלי מרצבך ואברהם שמרון, **תורת ההסתברות**, אקדמון, 1994.

קטגוריה:תורת ההסתברות
קטגוריה:התכנסות (מתמטיקה)