הצגת המקור של הדף "משפט ההתכנסות של ויטלי"

{{סימון מתמטי}}

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

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

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

יהי <math>\left( X, \mathcal{F}, \mu \right)</math> [[מרחב מידה]]. תהי <math>\left\{ f_n \right\}_{n=1}^{\infty}</math> סדרה של פונקציות אינטגרביליות. אזי סדרה זו היא [[התכנסות בממוצע|מתכנסת בממוצע]] לפונקציה מדידה <math>f</math> [[אם ורק אם]] מתקיימים התנאים הבאים:
# הסדרה [[התכנסות במידה|מתכנסת במידה]] ל-<math>f</math>.
# הסדרה [[אינטגרבילית במידה שווה]].
# לכל <math>\epsilon > 0</math> קיימת קבוצה מדידה <math>E</math> ובעלת מידה סופית, שעבורה <math>\int_{X \backslash E} \left| f_n \right| d\mu < \epsilon</math>.

כמו כן, במצב זה מתקיים כי <math>f</math> היא בעלת אינטגרל סופי.

===מסקנות עבור מרחבי הסתברות===

עבור מרחב מידה בעל מידה סופית, ללא הגבלת הכלליות [[מרחב הסתברות]], נובעות ממשפט זה שתי מסקנות יסודיות:

מסקנה ראשונה היא כי אם הסדרה אינטגרבילית במידה שווה ו[[התכנסות בהסתברות|מתכנסת בהסתברות]] ל-<math>f</math>, אז התנאי השלישי מתקיים מאליו, ולכן ניתן להסיק כי הסדרה [[התכנסות בממוצע|מתכנסת בממוצע]] ל-<math>f</math>. מסקנה שנייה היא בכיוון ההפוך, ולפיה אם לכל קבוצה מדידה <math>E</math> קיים הגבול <math>\lim_{n \to \infty} \int_E f_n d\mu</math>, אזי הסדרה אינטגרבילית במידה שווה.

==הוכחה==
===סופיות האינטגרל של הפונקציה הגבולית===

נראה כי אכן <math>f</math> היא בעלת אינטגרל סופי. תחילה מ[[הלמה של פאטו]] נובע כי <math>\int_X \left| f \right| d\mu \leq \liminf_{n \to \infty} \int_X \left| f_n \right| d\mu</math>. מההנחה כי מתקיימת [[אינטגרביליות במידה שווה]], יש <math>\delta > 0</math> שעבורה לכל קבוצה מדידה <math>E</math> שמקיימת <math>\mu (E) < \delta</math>, מתקיים <math>\int_E \left| f_n \right| d\mu \leq 1</math>. עבור קבוצה כזאת, על ידי [[משפט אגורוף]] הסדרה [[התכנסות במידה שווה|מתכנסת במידה שווה]] על הקבוצה <math>E^c</math>.

אם כך נובע כי קיים <math>N</math> שעבורו לכל <math>n > N</math> מתקיים <math>\int_{E^c} \left| f_N - f_n \right| d\mu \leq 1</math>, ועל ידי [[אי-שוויון המשולש]] נובע <math>\int_{E^c} \left| f_n \right| d\mu \leq \int_{E^c} \left| f_N \right| d\mu + 1</math>. מאי השוויון שהראינו מהלמה של פאטו נובע כי האינטגרל המבוקש הוא סופי.

===שלושת התנאים הכרחיים===

נניח כי הסדרה מתכנסת בממוצע ל-<math>f</math>, ונראה כי מתקיימים שלושת התנאים שבמשפט:
# נקבע <math>t>0</math> ונגדיר <math>E_{m,n} := \left\{ \left| f_n - f_m \right| > t \right\}</math>. אז מתקיים:{{ש}}<math display="block">\mu \left( E_{m,n} \right) = \frac{1}{t} \cdot \int_{E_{m,n}} t d\mu(x) \leq \frac{1}{t} \cdot \sup \int \left| f_m - f_n \right| d\mu \underset{{\scriptstyle m,n\to\infty}}{\longrightarrow} 0</math>
# יהי <math>\epsilon > 0</math>. נקבע <math>N</math> מספיק גדול כך שלכל <math>n > N</math> מתקיים <math>\int \left| f_n - f_N \right| d\mu < \epsilon</math>. משפחת הפונקציות <math>\left\{ f_1, f_2 \dots, f_N \right\}</math> היא סופית, ולכן אינטגרבילית במידה שווה. כלומר יש <math>\delta > 0</math> כך שלכל קבוצה מדידה <math>E</math> המקיימת <math>\mu \left( E \right) < \delta</math> מתקיים <math>\int_E f_m d\mu < \epsilon</math> עבור <math>m = 1,2,...,N</math>. מצד שני עבור כל <math>n > N</math> מתקיים:{{ש}}<center><math>\int_E f_n d\mu \leq \int_E \left| f_n - f_N \right| d\mu + \int_E \left| f_N \right| d\mu < 2 \epsilon</math></center>וקיבלנו אינטגרביליות במידה שווה של כל הסדרה.
# יהי <math>\epsilon > 0</math>. נקבע <math>N</math> מספיק גדול כך שלכל <math>n > N</math> מתקיים <math>\int \left| f_n - f_N \right| d\mu < \epsilon</math>. נניח [[ללא הגבלת הכלליות]] כי <math>f_N = \varphi</math> [[פונקציה פשוטה]] (שכן כל [[פונקציה מדידה]] היא [[התכנסות בממוצע|גבול בממוצע]] של פונקציות פשוטות). תהי <math>S</math> ה[[תומך]] של <math>\varphi</math>, שמהיותה פונקציה פשוטה נובע כי <math>S</math> בעלת מידה סופית. לא קשה להראות כי <math>\int_{X \backslash S} f_n d\mu < 4 \epsilon</math>. באופן דומה, לכל <math>m = 1,2,...,N</math> ניתן למצוא קבוצה <math>S_m</math> בעלת מידה סופית המקיימת <math>\int_{X \backslash S_m} f_m d\mu < 4 \epsilon</math>. אם כך נובע כי הקבוצה <math>E := S_1 \cup S_2 \cup \dots \cup S_N \cup A</math> היא בעלת מידה סופית ומקיימת <math>\int_{X \backslash E} f_n d\mu < 4 \epsilon</math>.

===שלושת התנאים מספיקים===

נניח כי מתקיימים שלושת התנאים שבמשפט. תהי <math>A</math> קבוצה המתקבלת מתנאי 3. כמו כן נקבע <math>t > 0</math>, ותהי <math>E_{m,n} := \left\{ \left| f_m - f_n \right| > t \right\}</math>. כעת מתקיים באופן כללי:
<math display="block">\int \left| f_m - f_n \right| d\mu \leq \int_{A \backslash E_{m,n}} \left| f_m - f_n \right| d\mu + \int_{E_{m,n}} \left| f_m - f_n \right| d\mu + \int_{X \backslash A} \left| f_m - f_n \right| d\mu</math>

כעת נשים לב כי כל אחד מביטויים אלה קטן כרצוננו:
* הביטוי השלישי קטן כרצוננו מתנאי 3.
* עבור הביטוי השני, נתבונן ב-<math>t = \frac{\epsilon}{\mu\left(A\right)} > 0</math>, ומתנאי 2 נובע שיש <math>\delta > 0</math> כך שאם <math>\mu\left(E\right) < \delta</math> אז <math>\int_E f_n d\mu < \epsilon</math>. מתנאי 1 יש <math>N</math> מספיק גדול שעבור כל <math>m,n > N</math> מתקיים <math>\mu\left(E_{m,n}\right) < \delta</math>. מכך נובע כי הביטוי השני קטן כרצוננו.
* עבור הביטוי השלישי, נשים לב כי על הקבוצה <math>A \backslash E_{m,n}</math> מתקיים <math>\left| f_m - f_n \right| \leq t</math>, ולכן נובע כי <math>\int_{A \backslash E_{m,n}} \left| f_m - f_n \right| d\mu \leq t \cdot \mu \left( A \right) = \epsilon</math>. כלומר גם הביטוי הראשון קטן כרצוננו.

==דוגמה==

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

נסמן <math>A_n = \left[ 2^{-(n+1)}, 2^{-n} \right]</math>, ונחלק קטע זה ל-<math>n</math> תת-קטעים באורכים שווים של <math>\frac{1}{n \cdot 2^{n+1}}</math>, אותם נסמן <math>A_n^1,A_n^2,...,A_n^n</math>.

לכל <math>i = 1,2,...,n</math> נגדיר <math>f_n^i = \frac{1}{x} \cdot 1_{A_n^i}</math> (כאשר באופן כללי <math>1_E</math> היא ה[[פונקציה מציינת|פונקציה המציינת]] של הקבוצה <math>E</math>), ונתבונן בסדרת הפונקציות
<center><math>\left( f_1^1,f_2^1,f_2^2,f_3^1,f_3^2,f_3^3,f_4^1, \dots \right)</math>
</center>

סדרה זו [[אינטגרבילית במידה שווה]] היות שלכל <math>n</math> נוכל לבחור <math>\delta = \frac{1}{n \cdot 2^{n+1}}</math>, ואז לכל קבוצה <math>E</math> עם <math>\mu \left( E \right) < \delta</math> ולכל <math>m \geq n</math> ולכל <math>i = 1,2,...,m</math> מתקיים
<center><math>\int_E \left| f_m^i \right| \leq \int_{A_m^i} \left| f_m^i \right| \leq 2^{m+1} \cdot \frac{1}{m \cdot 2^{m+1}} = \frac{1}{m} \leq \frac{1}{n}</math>
</center>

מאידך, גם עבור כל <math>k < n</math> וכל <math>i = 1,2,...,k</math> מתקיים:
<center><math>\int_E \left| f_k^i \right| \leq \delta \cdot 2^{k+1} = \frac{2^{k+1}}{n \cdot 2^{n+1}} < \frac{1}{n}</math>
</center>

ולכן הסדרה אינטגרבילית במידה שווה, וברור כי הסדרה מתכנסת נקודתית לפונקציה הקבועה <math>0</math>, ולכן ממשפט ההתכנסות של ויטלי נובע כי היא מתכנסת בממוצע לפונקציה הקבועה <math>0</math>.

מאידך, נשים לב כי לא ניתן להשתמש במשפט ההתכנסות הנשלטת, כי לו הייתה בשלילה פונקציה <math>g</math> בעלת אינטגרל סופי המקיימת <math>\left| f_n^i \right| \leq g</math> לכל <math>n,i</math>, אז היה מתקיים <math>\left| \frac{1}{x} \right| \leq g</math>, בסתירה לעובדה הידועה כי הפונקציה <math>\frac{1}{x}</math> בעלת אינטגרל שאינו סופי.

==ראו גם==

* [[הלמה של פאטו]]
* [[משפט ההתכנסות הנשלטת]]
* [[משפט ההתכנסות המונוטונית]]

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

<div class="mw-content-ltr">* Walter Rudin, '''Real and Complex Analysis''' (1986) page 133
</div>

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

* [http://planetmath.org/VitaliConvergenceTheorem Vitali convergence theorem] באתר planetmath

[[קטגוריה:משפטים באנליזה|התכנסות של ויטלי]]
[[קטגוריה:משפטים בתורת המידה|התכנסות של ויטלי]]
[[קטגוריה:משפטים בתורת ההסתברות|התכנסות של ויטלי]]