משפט שלושת הטורים של קולמוגורוב

בערך זה נעשה שימוש בסימנים מוסכמים מתחום המתמטיקה. להבהרת הסימנים ראו סימון מתמטי.

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

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

המשפט קרוי על שמו של המתמטיקאי הרוסי אנדריי קולמוגורוב.

נוסח פורמלי

תהי ${\left(X_n\right)}_{n=1}^{\mathrm{\infty }}$ סדרה של משתנים מקריים בלתי-תלויים במרחב הסתברות $(\mathrm{\Omega },{ℱ},\mathbb{\mathbb{P}})$. מתקיים כי הטור $\sum _{n=1}^{\mathrm{\infty }}{X}_n$ מתכנס בהסתברות, אם ורק אם קיים קבוע $A>0$, כך שמתקיימים שלושת התנאים הבאים גם יחד:

1. הטור $\sum _{n=1}^{\mathrm{\infty }}\mathbb{\mathbb{P}}(\left|X_n\right|\ge A)$ מתכנס.
2. נסמן $Y_n=X_n\cdot 1_{\{\left|X_n\right|\le A\}}$. הטור $\sum _{n=1}^{\mathrm{\infty }}\mathbf{𝐄}\left[Y_n\right]$ מתכנס.
3. הטור $\sum _{n=1}^{\mathrm{\infty }}\mathbf{𝐕}\mathbf{𝐚}\mathbf{𝐫}\left(Y_n\right)$ מתכנס.

הוכחה

בכיוון ראשון, נראה כי אם שלושת התנאים מתקיימים אז הטור $\sum _{n=1}^{\mathrm{\infty }}{X}_n$ מתכנס. מתנאי 1 יחד עם הלמה של בורל-קנטלי נובע כי $X_n=Y_n$ בהסתברות 1 עבור כל $n\in \mathbb{\mathbb{N}}$ גדול מספיק. מתנאים 3-2 יחד עם משפט שני הטורים של קולמוגורוב נובע כי הטור $\sum _{n=1}^{\mathrm{\infty }}{Y}_n$ מתכנס בהסתברות.

בכיוון השני, נראה כי אם הטור $\sum _{n=1}^{\mathrm{\infty }}{X}_n$ מתכנס בהסתברות אז שלושת התנאים שבמשפט מתקיימים:

1. נשים לב כי במקרה זה הטור $\sum _{n=1}^{\mathrm{\infty }}\mathbb{\mathbb{P}}(\left|X_n\right|\ge A)$ מתכנס עבור כל $A>0$, שכן אם היה איזשהו $A>0$ שעבורו טור זה לא היה מתכנס, אז היינו מקבלים מהלמה של בורל-קנטלי כי המאורע $\{X_n\ge A\}$ מתרחש עבור אינסוף אינדקסים, ולכן היה נובע כי הטור $\sum _{n=1}^{\mathrm{\infty }}{X}_n$ מתבדר בהסתברות, בסתירה להנחה.
2. נראה כי תנאי 3 גורר את תנאי 2. מתנאי 1 המופעל למשל עבור $A=1$, ואם נניח שמתקיים תנאי 3, אז ממשפט שני הטורים של קולמוגורוב נובע כי הטור $\sum _{n=1}^{\mathrm{\infty }}(Y_n-\mathbf{𝐄}\left[Y_n\right])$ מתכנס בהסתברות. אבל מתנאי 1 יחד עם התכנסות בהסתברות הטור $\sum _{n=1}^{\mathrm{\infty }}{X}_n$ נובע כי $\sum _{n=1}^{\mathrm{\infty }}{Y}_n$ מתכנס בהסתברות (מנימוק דומה לזה שבכיוון הראשון של ההוכחה), ולכן בהכרח גם $\sum _{n=1}^{\mathrm{\infty }}\mathbf{𝐄}\left[Y_n\right]$ מתכנס.
3. תחילה נראה כי ניתן להניח ללא הגבלת הכלליות כי $\mathbf{𝐄}\left[Y_n\right]=0$. נסמן ${Y_n}^{\prime }$ משתנה מקרי בלתי-תלוי ב-$Y_n$ ובעל אותה ההתפלגות. אזי אם נסמן $Z_n=Y_n-{Y_n}^{\prime }$, נקבל סדרה של משתנים מקריים בלתי-תלויים וחסומים על ידי $2$ (שכן $Y_n,{Y_n}^{\prime }$ שניהם חסומים על ידי $1$). כמו כן מתקיים $\mathbf{𝐕}\mathbf{𝐚}\mathbf{𝐫}\left(Z_n\right)=2\mathbf{𝐕}\mathbf{𝐚}\mathbf{𝐫}\left(Y_n\right)$, וכן גם הטור $\sum _{n=1}^{\mathrm{\infty }}{Z}_n=\sum _{n=1}^{\mathrm{\infty }}{Y}_n-\sum _{n=1}^{\mathrm{\infty }}{Y_n}^{\prime }$ מתכנס בהסתברות. אם כך נראה כי תנאי 3 מתקיים עבור ${\left(Z_n\right)}_{n=1}^{\mathrm{\infty }}$, כלומר שהטור $\sum _{n=1}^{\mathrm{\infty }}\mathbf{𝐕}\mathbf{𝐚}\mathbf{𝐫}\left(Z_n\right)$ מתכנס. דבר זה נראה באופן כללי בלמה הבאה.

למת עזר

למה: תהי ${\left(Z_n\right)}_{n=1}^{\mathrm{\infty }}$ סדרה של משתנים מקריים בלתי-תלויים, בעלי תוחלת אפס ובעלי שונויות שנסמן $\mathbf{𝐕}\mathbf{𝐚}\mathbf{𝐫}\left(Z_n\right)={\sigma }_n^2$, החסומה בהסתברות על ידי קבוע $C>0$ כלשהו. אזי הטור $\sum _{n=1}^{\mathrm{\infty }}{\sigma }_n^2$ מתכנס.

הוכחה: נסמן $S_i=Z_1+Z_2+\dots +Z_i$. עבור כל $L>0$ נגדיר ${\tau }_L=\min \{i\ge 0\mid \left|S_i\right|\ge L\}$. מההנחה בלמה לגבי החסימות, נובע כי $\mathbb{\mathbb{P}}({\tau }_L=\mathrm{\infty })\to 1$ כאשר $L\to \mathrm{\infty }$. כמו כן אם ${\tau }_L<\mathrm{\infty }$ אז $\left|S_{{\tau }_L}\right|\le L+C$.

היות שהנחנו כי התוחלות הן אפס וכי יש אי-תלות, נובע כי, $$\mathbf{𝐄}\left[S_n^2\right]=\sum _{i=1}^n\mathbf{𝐄}\left[Z_i^2\right]+2\sum _{1\le i<j\le n}\mathbf{𝐄}[Z_i\cdot Z_j]=\sum _{i=1}^n{\sigma }_i^2$$

נסמן $n\wedge {\tau }_L=\min \{n,{\tau }_L\}$, ואם נחליף את $n$ ב-$n\wedge {\tau }_L$, נקבל כי, $$\mathbf{𝐄}\left[S_{n\wedge {\tau }_L}^2\right]=\mathbf{𝐄}\left[{(\sum _{j=1}^n{Z}_j\cdot 1_{\{j\le {\tau }_L\}})}^2\right]=\sum _{j=1}^n\mathbf{𝐄}[Z_j^2\cdot 1_{\{j\le {\tau }_L\}}]+2\sum _{1\le i<j\le n}\mathbf{𝐄}[Z_i\cdot Z_j\cdot 1_{\{j\le {\tau }_L\}}]$$

נשים לב כי המאורע $\{j\le {\tau }_L\}={\{{\tau }_L<j-1\}}^c$ נקבע על ידי $Z_1,Z_2,\dots ,Z_{j-1}$, ולכן הוא בלתי-תלוי ב-$Z_j$. אם כך נקבל, $${(L+C)}^2\ge \mathbf{𝐄}\left[S_{n\wedge {\tau }_L}^2\right]=\sum _{j=1}^n{\sigma }_j^2\cdot \mathbb{\mathbb{P}}(j\le {\tau }_L)+2\sum _{1\le i<j\le n}\mathbf{𝐄}[Z_i\cdot 1_{\{j\le {\tau }_L\}}]\cdot \mathbf{𝐄}\left[Z_j\right]\ge \mathbb{\mathbb{P}}({\tau }_L=\mathrm{\infty })\cdot \sum _{j=1}^n{\sigma }_j^2$$

אם כך נבחר $L>0$ גדול דיו כך שיתקיים $\mathbb{\mathbb{P}}({\tau }_L=\mathrm{\infty })>0$, ואם נשאיף $n\to \mathrm{\infty }$ נקבל כי הטור $\sum _{n=1}^{\mathrm{\infty }}{\sigma }_n^2$ מתכנס, כנדרש.

דוגמה

באמצעות משפט זה ניתן למצוא התנהגות מפתיעה של הגרסה האקראית של הטור ההרמוני המתחלף, השונה מההתנהגות המוכרת של הטור ההרמוני המתחלף. ממבחן לייבניץ להתכנסות טורים אנו יודעים כי הטור $\sum _{n=1}^{\mathrm{\infty }}{(-1)}^n\frac{1}{n}$ מתכנס וכמותו גם הטור $\sum _{n=1}^{\mathrm{\infty }}{(-1)}^n\frac{1}{\sqrt{n}}$ מתכנס. עם זאת נראה כי אם הסימנים אינם מתחלפים באופן דטרמיניסטי אלא מוגרלים אקראית, אפילו אם הם מוגרלים בהסתברות שווה — מתגלה התנהגות שונה.

נתבונן בטור שבו הסימן של כל איבר נקבע בצורה אקראית. כלומר, תהי ${\left({\mathbf{𝐬}}_n\right)}_{n=1}^{\mathrm{\infty }}$ סדרה של משתנים מקריים בלתי-תלויים, בעלי ההתפלגות $\mathbb{\mathbb{P}}({\mathbf{𝐬}}_n=+1)=\mathbb{\mathbb{P}}({\mathbf{𝐬}}_n=-1)=\frac{1}{2}$.

ניתן להראות כי הטור $\sum _{n=1}^{\mathrm{\infty }}{\mathbf{𝐬}}_n\cdot \frac{1}{n}$ מקיים את שלושת התנאים במשפט, ולכן הוא מתכנס בהסתברות, בדומה להתכנסות של הגרסה הרגילה לטור בעל סימנים מתחלפים.

מנגד, ניתן להראות כי הטור $\sum _{n=1}^{\mathrm{\infty }}{\mathbf{𝐬}}_n\cdot \frac{1}{\sqrt{n}}$ אינו מקיים את תנאי 3 במשפט, ולכן הוא מתבדר בהסתברות, בניגוד להתכנסות של הגרסה הרגילה לטור בעל סימנים מתחלפים.

קישורים חיצוניים

• Rongfeng Sun, Lacture notes on Probability Theory, Lacture 4

הערות שוליים

משפט_שלושת_הטורים_של_קולמוגורוב19548180Q3527233