משפט ההתכנסות הנשלטת

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

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

משפט זה הוא מקרה פרטי של משפט ההתכנסות של ויטלי.

נוסח פורמלי

עריכה

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

הוכחה

עריכה

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

כיוון ש-  אז   היא פונקציה אי שלילית כמעט בכל מקום, ניתן להשתמש עליה בלמה של פאטו ולקבל:

 

כאשר   מסמן את הגבול התחתון של הסדרה.

לאחר חיסור   משני האגפים (דבר שעבורו נדרש שהאינטגרל יהיה סופי) מקבלים:

 

ניתן לעשות את אותו הדבר גם עם הפונקציה האי שלילית  , ולקבל:

  כאשר   הוא הגבול העליון. כלומר:

 

ומהשוואת שתי התוצאות קיבלנו:

 

מכיוון שאגף שמאל תמיד לא קטן מאגף ימין, כל אי השוויונים הופכים לשוויונות, ולכן קיבלנו את התוצאה המבוקשת.

ראו גם

עריכה

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

עריכה