משפט אגורוף

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

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

את המשפט הוכיחו באופן בלתי־תלוי המתמטיקאי האיטלקי קרלו סבריני בשנת 1910, והמתמטיקאי והפיזיקאי הרוסי דמיטרי אגורוף בשנת 1911.

נוסח פורמלי

יהי $(X,{\mathcal {M}},\mu )$ מרחב מידה סופי, כלומר $\mu (X)<\infty$ . תהי ${\bigl \{}f_{n}:X\to \mathbb {C} {\bigr \}}_{n=1}^{\infty }$ סדרת פונקציות מדידות המתכנסת נקודתית לפונקציה גבולית $f$ כמעט תמיד.

אזי לכל $\varepsilon >0$ קיימת קבוצה מדידה $E$ עבורה $\mu (E)<\varepsilon$ , כך שעל $X\setminus E$ ההתכנסות $f_{n}\to f$ היא במידה שווה.

כישלון משפט אגורוף במרחב מידה אינסופי

נתבונן במרחב $(\mathbb {R} ,{\mathcal {B}},\lambda )$ כאשר $\lambda$ היא מידת לבג. מידתו של מרחב זה היא אינסופית (למעשה היא אף סיגמא־סופית). ניתן לראות כי סדרת הפונקציות המציינות $f_{n}(x)=1_{[n,n+1]}(x)$ מתכנסת נקודתית לפונקציה הגבולית אפס, אך אינה מתכנסת במידה שווה על אף תת-קבוצה ממידה אינסופית של הממשיים.

הוכחה

נסמן $E_{n,k}=\bigcup _{j=n}^{\infty }{\Big \{}x\in X:{\bigl |}f_{j}(x)-f(x){\bigr |}\geq k^{-1}{\Big \}}$ . נשים לב כי $x\in E_{n,k}^{c}$ אם ורק אם לכל $j\geq n$ מתקיים ${\bigl |}f_{j}(x)-f(x){\bigr |}<k^{-1}$ .

המשמעות של ההתכנסות $f_{n}\to f$ כמעט תמיד היא שמתקיים $\mu \left(\bigcap _{n=1}^{\infty }E_{n,k}\right)=0$ , ומההנחה כי המרחב סופי נובע שניתן להשתמש ברציפות המידה ולהסיק כי $\lim _{n\to \infty }\mu (E_{n,k})=\mu \left(\bigcap _{n=1}^{\infty }E_{n,k}\right)=0$ .

כעת בהינתן $\varepsilon >0$ , לכל $k$ נבחר $n_{k}$ גדול מספיק שעבורו $\mu (E_{n_{k},k})<{\frac {\varepsilon }{2^{k}}}$ . נגדיר $E=\bigcup _{k=1}^{\infty }E_{n_{k},k}$ ונקבל כי $\mu (E)=\sum _{k=1}^{\infty }\mu (E_{n_{k},k})<\varepsilon$ .

ברור מהגדרת $E$ שלכל $x\in E^{c}$ מתקיים ${\bigl |}f_{j}(x)-f(x){\bigr |}<k^{-1}$ , כאשר $j$ אינו תלוי ב־$x$ , ולכן על $E^{c}$ ההתכנסות היא במידה שווה.

לקריאה נוספת

• Egoroff, D. Th. (1911), "Sur les suites des fonctions mesurables", Comptes rendus de l'Académie des sciences#1666-1965|Comptes rendus hebdomadaires des séances de l'Académie des sciences (בצרפתית), 152: 244–246, JFM 42.0423.01

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0