מידת לבג – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
←‏הבנייה של מידת לבג: הסבר בעברית להגדרה של מידה חיצונית
שורה 23:
כדי להרחיב אותה לפונקציה סיגמא-אדיטיבית, נגדיר [[מידה חיצונית]] (Outer Measure) על הישר הממשי:
::: <math>\ 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\} </math>
כלומר, פונקציה זו מחזירה את ה[[אינפימום]] על קבוצת סכומי הארכים של [[קטע (מתמטיקה)|קטעים]] המכסים את A.
 
קל לראות שהמידה החיצונית היא [[סיגמא-חצי-אדיטיבית]] (כלומר, <math>\ m^* ( \bigcup_{n}{A_n} ) \le \sum_{n} m^* (A_n)</math> ).