מידת לבג

מתוך ויקיפדיה, האנציקלופדיה החופשית

יש לך הודעות חדשות (השווה לגרסה הקודמת).

מידת לבג היא פונקציית מידה על שדה המספרים הממשיים שמהווה הכללה של מושג האורך (אפשר להכליל מידת לבג של נפח על המרחב $\mathbb{R}^n$ ). באמצעות מידת לבג אפשר להרחיב מושגים מהאנליזה הממשית, הבולט שבהם הוא האינטגרל.

הערה: כדי להבין מאמר זה יש להכיר את מושג המידה, עליו אפשר לקרוא במאמר מידה (מתמטיקה).

[עריכה] תכונות מידת לבג וניסוח פורמלי של מהותה

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

תכונות של מידת לבג:

מידת לבג היא א-שלילית ומחזירה ערכים בין 0 לאינסוף (כולל אינסוף).
מידת לבג של קטע שווה לאורך הקטע.
מידת לבג היא סיגמא-סופית.
מידת לבג היא מידה שלמה.
מידת לבג של קבוצה בת מניה היא אפס.
משפט ויטלי: לכל קבוצה שמידתה שונה מאפס, קיימת תת-קבוצה שאיננה מדידה.
מידת לבג אינווריאנטית תחת הזזה: אם A מדידה, אזי A+c מדידה ו $\ m(A) = m(A+c)$ .

[עריכה] הבנייה של מידת לבג

יהי $\ [a,b) \subset \mathbb{R}$ קטע (אינטרוול) ממשי. אזי האורך שלו, הוא $\ l[a,b) = | [a,b) | = b - a$ . הגדרת האורך טובה לכל קטע - סגור או פתוח באחד או שניים מקצותיו. קל לראות שפונקציית האורך המוגדרת על קטעים היא אדיטיבית (סופית) על קבוצת כל הקטעים המוכלים בישר הממשי.

כדי להרחיב אותה לפונקציה סיגמא-אדיטיבית, נגדיר מידה חיצונית (Outer Measure) על הישר הממשי:

$\ m^* (A \subset \mathbb{R} ) = \inf \left\{ \sum_{n}{|I_n|} \ \ : \ \ A \subset \bigcup_{n}{I_n} \ \ \mbox{and} \ I_n \mbox{ are intervals} \right\}$

קל לראות שהמידה החיצונית היא סיגמא-חצי-אדיטיבית (כלומר, $\ m^* ( \bigcup_{n}{A_n} ) \le \sum_{n} m^* (A_n)$ ).

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

קבוצה A נקראת מדידה אם לכל קבוצה B מתקיים $\ m^*(B) =m^*(A \cap B) + m^*(B - A)$ .

אפשר להראות שעבור הישר הממשי, אוסף כל הקבוצות המדידות הוא הסיגמא-אלגברה הנוצרת על ידי כל קבוצות בורל והקבוצות בעלות מידה אפס. על הקבוצות המדידות, $\ m(A) = m^*(A)$ וזו מידת לבג. אוסף הקבוצות המדידות מכיל מגוון רב של קבוצות שימושיות:

כל קטע (פתוח, סגור וכו') הוא קבוצה מדידה.
כל קבוצה פתוחה היא קבוצה מדידה.
כל קבוצה סגורה היא מדידה.
כל איחוד בן מניה של קבוצות סגורות ( $\ F_{\sigma}$ ) הוא קבוצה מדידה.
כל חיתוך בן מניה של קבוצות פתוחות ( $\ G_{\delta}$ ) הוא קבוצה מדידה.
כל איחוד או חיתוך בן-מניה של הקבוצות לעיל גם הוא קבוצה מדידה.
כל קבוצה בעלת מידה אפס היא קבוצה מדידה.
כל קבוצה בת-מניה היא קבוצה מדידה ומידתה היא אפס.

[עריכה] הכללה לממד כלשהו

את מידת לבג אפשר להכליל בקלות למרחב $\ \mathbb{R}^n$ ובכך להכליל את מושג ה"היפר-נפח": אורך (n=1), שטח (n=2), הנפח (n=3) וכו. תהליך הבניה זהה לחלוטין, רק שבמקום בקטע משתמשים בהיפר-תיבות (מכפלה קרטזית של קטעים עם קצוות תחתונים סגורים וקצוות עליונים סגורים) $\ I_n = \prod_{k=1}^{n}{ [a_k , b_k )}$ , ומגדירים נפח על חוג התיבות באמצעות $\ v ( I_n) = \prod_{k=1}^{n}{| b_k - a_k |}$ . מכאן, מגדירים מידה חיצונית ומצמצמים אותה על אוסף כל הקבוצות המדידות הנוצרת על ידי חוג התיבות. במקרה זה, קבוצה A נקראת מדידה רק אם לכל $\varepsilon > 0$ קיימת קבוצה B בחוג התיבות כך ש $\ m( A \Delta B) < \varepsilon$ כאשר $Δ$ מסמל הפרש סימטרי של קבוצות.

[עריכה] יישומים

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