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

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

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

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

נוסח פורמלי

יהי $(X,{ℱ},\mu )$ מרחב מידה. תהי ${f}_1,f_2,\dots$ סדרה של פונקציות ממשיות או מרוכבות מדידות, אשר מתכנסת כמעט בכל מקום לפונקציה גבולית $\underset{k\to \mathrm{\infty }}{\lim }{f}_k=f$. אם קיימת פונקציה אינטגרבילית לבג $g$ שהאינטגרל שלה סופי כך ש-$|f_k|\le g$ עבור כל $k=1,2,\dots$ כמעט בכל מקום, אזי כל הפונקציות בסדרה והגבול הנקודתי הן אינטגרביליות עם אינטגרל סופי, ומתקיים $\underset{k\to \mathrm{\infty }}{\lim }\underset{X}{\int }{f}_{k}d\mu =\underset{X}{\int }fd\mu$.

הוכחה

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

כיוון ש-$|f_k|\le g$ אז $g+f_k$ היא פונקציה אי שלילית כמעט בכל מקום, ניתן להשתמש עליה בלמה של פאטו ולקבל:

$\begin{array}{r}\underset{X}{\int }gd\mu +\underset{X}{\int }fd\mu =\underset{X}{\int }(g+f)d\mu \\ =\underset{X}{\int }\underset{k\to \mathrm{\infty }}{\lim }(g+f_k)d\mu \\ \le \underset{k\to \mathrm{\infty }}{\mathrm{lim\; inf}}\underset{X}{\int }(g+f_k)d\mu \\ =\underset{X}{\int }gd\mu +\underset{k\to \mathrm{\infty }}{\mathrm{lim\; inf}}\underset{X}{\int }{f}_{k}d\mu \end{array}$

כאשר $\mathrm{lim\; inf}$ מסמן את הגבול התחתון של הסדרה.

לאחר חיסור $\underset{X}{\int }gd\mu$ משני האגפים (דבר שעבורו נדרש שהאינטגרל יהיה סופי) מקבלים:

$\underset{X}{\int }fd\mu \le \underset{k\to \mathrm{\infty }}{\mathrm{lim\; inf}}\underset{X}{\int }{f}_{k}d\mu$

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

$\underset{X}{\int }-fd\mu \le \underset{k\to \mathrm{\infty }}{\mathrm{lim\; inf}}\underset{X}{\int }-f_{k}d\mu =-\underset{k\to \mathrm{\infty }}{\mathrm{lim\; sup}}\underset{X}{\int }{f}_{k}d\mu$ כאשר $\mathrm{lim\; sup}$ הוא הגבול העליון. כלומר:

$\underset{X}{\int }fd\mu \ge \underset{k\to \mathrm{\infty }}{\mathrm{lim\; sup}}\underset{X}{\int }{f}_{k}d\mu$

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

$\underset{k\to \mathrm{\infty }}{\mathrm{lim\; sup}}\underset{X}{\int }{f}_{k}d\mu \le \underset{X}{\int }fd\mu \le \underset{k\to \mathrm{\infty }}{\mathrm{lim\; inf}}\underset{X}{\int }{f}_{k}d\mu$

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

ראו גם

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

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

• .html משפט ההתכנסות הנשלטת, באתר MathWorld (באנגלית)