הלמה של פאטו

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

שימוש מיידי של הלמה הוא בהוכחת משפט ההתכנסות הנשלטת.

ניסוח פורמלי

אם $f_{1}, f_{2}, \dots$ סדרת פונקציות אי-שליליות ומדידות, אז מתקיים אי-השוויון

\int \underset{n \to \infty}{lim inf} f_{n} \leq \underset{n \to \infty}{lim inf} \int f_{n}

הוכחה

הוכחת הלמה מסתמכת על משפט ההתכנסות המונוטונית, העוסק בסדרה עולה של פונקציות מדידות ואי שליליות. לצורך ההוכחה מגדירים סדרה חדשה של פונקציות $g_{1}, g_{2}, \dots$ באמצעות הסדרה המקורית, כך שהסדרה החדשה עונה על תנאי משפט ההתכנסות המונוטונית.

אם כן, מגדירים $g_{n} = \inf {f_{n}, f_{n + 1}, \dots}$ .

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

$g_{n} \leq f_{n}$ (ולכן גם $\int g_{n} \leq \int f_{n}$ )
$\lim_{n \to \infty} g_{n} = \underset{n \to \infty}{lim inf} f_{n}$

באמצעות שתי תכונות אלו ומשפט ההתכנסות המונוטונית מקבלים:

\int \underset{n \to \infty}{lim inf} f_{n} = \int \lim_{n \to \infty} g_{n} = \lim_{n \to \infty} \int g_{n} = \underset{n \to \infty}{lim inf} \int g_{n} \leq \underset{n \to \infty}{lim inf} \int f_{n}

למת פאטו ההפוכה

למת פאטו ההפוכה קובעת כי אם $f_{n}$ סדרת פונקציות מדידות וחסומות $| f_{n} | \leq g$ על ידי פונקציה אינטגרבילית, אז $\underset{n \to \infty}{lim sup} \leq \int \underset{n \to \infty}{lim sup} f_{n}$ .

כדי להוכיח זאת, יש להביט בסדרת הפונקציות האי-שליליות $h_{n} = g - f_{n}$ , ולהפעיל את למת פאטו הרגילה:

\begin{aligned} \int \underset{n \to \infty}{lim inf} (g - f_{n}) \leq \underset{n \to \infty}{lim inf} \int (g - f_{n}) \\ \int \underset{n \to \infty}{lim inf} g + \int \underset{n \to \infty}{lim inf} (- f_{n}) \leq \underset{n \to \infty}{lim inf} \int g + \underset{n \to \infty}{lim inf} \int (- f_{n}) \\ \int g + \int \underset{n \to \infty}{lim inf} (- f_{n}) \leq \int g + \underset{n \to \infty}{lim inf} \int (- f_{n}) \\ - \int \underset{n \to \infty}{lim sup} f_{n} \leq - \underset{n \to \infty}{lim sup} \int f_{n} \\ \underset{n \to \infty}{lim sup} \int f_{n} \leq \int \underset{n \to \infty}{lim sup} f_{n} \end{aligned}

דוגמאות

בלמת פאטו לא תמיד מתקיים שוויון, ואפילו אפשר להגיע למצב של $\infty > 0$ . למשל $f_{n} = n χ_{[n, n + 1]}$ (כאשר $χ$ הפונקציה המציינת).
בעזרת למת פאטו ולמת פאטו ההפוכה אפשר להוכיח את "ההפך" למשפט ההתכנסות המונוטונית – אם $f_{n}$ סדרה יורדת של פונקציות אי-שליליות אינטגרביליות, אז $\int \lim_{n \to \infty} f_{n} = \lim_{n \to \infty} \int f_{n}$ .

אכן, אם נסמן

f = \lim_{n \to \infty} f_{n}

,

לפי למת פאטו

\int f = \int \underset{n \to \infty}{lim inf} f_{n} \leq \underset{n \to \infty}{lim inf} \int f_{n} = \lim_{n \to \infty} \int f_{n}

;

לפי למת פאטו ההפוכה

\underset{n \to \infty}{lim sup} \int f_{n} \leq \int \underset{n \to \infty}{lim sup} f_{n} = \int f

;

וביחד

\underset{n \to \infty}{lim sup} \int f_{n} \leq \int f \leq \underset{n \to \infty}{lim inf} \int f_{n}

.

ראו גם

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

הלמה של פאטו

תוכן עניינים

ניסוח פורמלי

הוכחה

למת פאטו ההפוכה

דוגמאות

ראו גם

תפריט ניווט

הלמה של פאטו

ניסוח פורמלי

הוכחה

למת פאטו ההפוכה

דוגמאות

ראו גם

תפריט ניווט

חיפוש