משפט אגורוף

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

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

נוסח פורמלי

יהי  מרחב מידה סופי. כלומר . תהי  סדרת פונקציות מדידות המתכנסת נקודתית לפונקציה גבולית  כמעט תמיד.

אזי לכל  קיימת קבוצה מדידה  המקיימת , כך שעל  ההתכנסות  היא התכנסות במידה שווה.

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

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

הוכחה

נסמן . נשים לב כי  אם ורק אם לכל  מתקיים .

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

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

ברור מהגדרת  שלכל  מתקיים , כאשר  אינו תלוי ב-, ולכן על  ההתכנסות היא במידה שווה.

לקריאה נוספת

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

אגורוף
אגורוף