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

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

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

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

יהי {\displaystyle \left(X,{\mathcal {F}},\mu \right)} מרחב מידה. תהי {\displaystyle \left\{f\_{n}\right\}\_{n=1}^{\infty }} סדרה של פונקציות אינטגרביליות. אזי סדרה זו היא מתכנסת בממוצע לפונקציה מדידה f אם ורק אם מתקיימים התנאים הבאים:

1. הסדרה מתכנסת במידה ל-f.
2. הסדרה אינטגרבילית במידה שווה.
3. לכל {\displaystyle \epsilon >0} קיימת קבוצה מדידה E ובעלת מידה סופית, שעבורה {\displaystyle \int \_{X\backslash E}\left|f\_{n}\right|d\mu <\epsilon }.

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

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

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

מסקנה ראשונה היא כי אם הסדרה אינטגרבילית במידה שווה ומתכנסת בהסתברות ל-f, אז התנאי השלישי מתקיים מאליו, ולכן ניתן להסיק כי הסדרה מתכנסת בממוצע ל-f. מסקנה שנייה היא בכיוון ההפוך, ולפיה אם לכל קבוצה מדידה E קיים הגבול {\displaystyle \lim \_{n\to \infty }\int \_{E}f\_{n}d\mu }, אזי הסדרה אינטגרבילית במידה שווה.

הוכחה
-----

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

נראה כי אכן f היא בעלת אינטגרל סופי. תחילה מהלמה של פאטו נובע כי {\displaystyle \int \_{X}\left|f\right|d\mu \leq \liminf \_{n\to \infty }\int \_{X}\left|f\_{n}\right|d\mu }. מההנחה כי מתקיימת אינטגרביליות במידה שווה, יש {\displaystyle \delta >0} שעבורה לכל קבוצה מדידה E שמקיימת {\displaystyle \mu (E)<\delta }, מתקיים {\displaystyle \int \_{E}\left|f\_{n}\right|d\mu \leq 1}. עבור קבוצה כזאת, על ידי משפט אגורוף הסדרה מתכנסת במידה שווה על הקבוצה {\displaystyle E^{c}}.

אם כך נובע כי קיים N שעבורו לכל {\displaystyle n>N} מתקיים {\displaystyle \int \_{E^{c}}\left|f\_{N}-f\_{n}\right|d\mu \leq 1}, ועל ידי אי-שוויון המשולש נובע {\displaystyle \int \_{E^{c}}\left|f\_{n}\right|d\mu \leq \int \_{E^{c}}\left|f\_{N}\right|d\mu +1}. מאי השוויון שהראינו מהלמה של פאטו נובע כי האינטגרל המבוקש הוא סופי.

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

נניח כי הסדרה מתכנסת בממוצע ל-f, ונראה כי מתקיימים שלושת התנאים שבמשפט:

1. נקבע {\displaystyle t>0} ונגדיר {\displaystyle E\_{m,n}:=\left\{\left|f\_{n}-f\_{m}\right|>t\right\}}. אז מתקיים:  

μ

(

E

m
,
n

)

=

1
t

⋅

∫

E

m
,
n

t
d
μ
(
x
)
≤

1
t

⋅
sup
∫

|

f

m

−

f

n

|

d
μ

⟶

m
,
n
→
∞

0

{\displaystyle \mu \left(E\_{m,n}\right)={\frac {1}{t}}\cdot \int \_{E\_{m,n}}td\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}

{\displaystyle \mu \left(E_{m,n}\right)={\frac {1}{t}}\cdot \int _{E_{m,n}}td\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}
2. יהי {\displaystyle \epsilon >0}. נקבע N מספיק גדול כך שלכל {\displaystyle n>N} מתקיים {\displaystyle \int \left|f\_{n}-f\_{N}\right|d\mu <\epsilon }. משפחת הפונקציות {\displaystyle \left\{f\_{1},f\_{2}\dots ,f\_{N}\right\}} היא סופית, ולכן אינטגרבילית במידה שווה. כלומר יש {\displaystyle \delta >0} כך שלכל קבוצה מדידה E המקיימת {\displaystyle \mu \left(E\right)<\delta } מתקיים {\displaystyle \int \_{E}f\_{m}d\mu <\epsilon } עבור {\displaystyle m=1,2,...N}. מצד שני עבור כל {\displaystyle n>N} מתקיים:  
{\displaystyle \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 }וקיבלנו אינטגרביליות במידה שווה של כל הסדרה.
3. יהי {\displaystyle \epsilon >0}. נקבע N מספיק גדול כך שלכל {\displaystyle n>N} מתקיים {\displaystyle \int \left|f\_{n}-f\_{N}\right|d\mu <\epsilon }. נניח ללא הגבלת הכלליות כי {\displaystyle f\_{N}=\varphi } פונקציה פשוטה (שכן כל פונקציה מדידה היא גבול בממוצע של פונקציות פשוטות). תהי S התומך של \varphi , שמהיותה פונקציה פשוטה נובע כי S בעלת מידה סופית. לא קשה להראות כי {\displaystyle \int \_{X\backslash S}f\_{n}d\mu <4\epsilon }. באופן דומה, לכל {\displaystyle m=1,2,...N} ניתן למצוא קבוצה {\displaystyle S\_{m}} בעלת מידה סופית המקיימת {\displaystyle \int \_{X\backslash S\_{m}}f\_{m}d\mu <4\epsilon }. אם כך נובע כי הקבוצה {\displaystyle E:=S\_{1}\cup S\_{2}\cup \dots \cup S\_{N}\cup A} היא בעלת מידה סופית ומקיימת {\displaystyle \int \_{X\backslash E}f\_{n}d\mu <4\epsilon }.

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

נניח כי מתקיימים שלושת התנאים שבמשפט. תהי A קבוצה המתקבלת מתנאי 3. כמו כן נקבע {\displaystyle t>0}, ותהי {\displaystyle E\_{m,n}:=\left\{\left|f\_{m}-f\_{n}\right|>t\right\}}. כעת מתקיים באופן כללי:



∫

|

f

m

−

f

n

|

d
μ
≤

∫

A
∖

E

m
,
n


|

f

m

−

f

n

|

d
μ
+

∫

E

m
,
n


|

f

m

−

f

n

|

d
μ
+

∫

X
∖
A

|

f

m

−

f

n

|

d
μ

{\displaystyle \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 }

{\displaystyle \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 }
כעת נשים לב כי כל אחד מביטויים אלה קטן כרצוננו:

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

דוגמה
-----

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

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

לכל {\displaystyle i=1,2,...n} נגדיר {\displaystyle f\_{n}^{i}={\frac {1}{x}}\cdot 1\_{A\_{n}^{i}}} (כאשר באופן כללי {\displaystyle 1\_{E}} היא הפונקציה המציינת של הקבוצה E), ונתבונן בסדרת הפונקציות

{\displaystyle \left(f\_{1}^{1},f\_{2}^{1},f\_{2}^{2},f\_{3}^{1},f\_{3}^{2},f\_{3}^{3},f\_{4}^{1},\dots \right)}

סדרה זו אינטגרבילית במידה שווה היות שלכל n נוכל לבחור {\displaystyle \delta ={\frac {1}{n\cdot 2^{n+1}}}}, ואז לכל קבוצה E עם {\displaystyle \mu \left(E\right)<\delta } ולכל {\displaystyle m\geq n} ולכל {\displaystyle i=1,2,...m} מתקיים

{\displaystyle \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}}}

מאידך, גם עבור כל {\displaystyle k<n} וכל {\displaystyle i=1,2,...k} מתקיים:

{\displaystyle \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}}}

ולכן הסדרה אינטגרבילית במידה שווה, וברור כי הסדרה מתכנסת נקודתית לפונקציה הקבועה {\displaystyle 0}, ולכן ממשפט ההתכנסות של ויטלי נובע כי היא מתכנסת בממוצע לפונקציה הקבועה {\displaystyle 0}.

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

ראו גם
------

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

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

\* Walter Rudin, **Real and Complex Analysis** (1986) page 133

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

* Vitali convergence theorem באתר planetmath