Loading AI tools
מוויקיפדיה, האנציקלופדיה החופשית
בתורת המידה, מידה חיצונית היא פונקציה מקבוצת החזקה של קבוצה לא ריקה נתונה, אל הרחבת הממשיים (כלומר, היא מקבלת ערכים אי-שליליים או ), המקיימת תכונות דומות לאלו של אורך. ייחודה והשוני שלה ממידה רגילה הוא שהיא מוגדרת על כל תתי הקבוצות של קבוצה נתונה. חשיבותה המרכזית היא בהגדרת מידת לבג, שהיא צמצום מידה חיצונית על הממשיים לקבוצות מדידות. עם זאת, למושג בפני עצמו יש חשיבות, והוא חלק מתורת המידה הכללית (שלא תלויה בהכרח בממשיים).
תהי קבוצה, ונסמן ב- את קבוצת החזקה שלה.
מידה חיצונית על היא פונקציה , המקיימת:
מידה חיצונית נקראת סופית אם , וסיגמא-סופית אם קיימים כך ש- המקיימים לכל .
נציג כעת בנייה של מידה חיצונית.
תהי קבוצה לא ריקה, ו- משפחה לא ריקה של תתי קבוצות שלה, עם . בהינתן פונקציה המקיימת נגדיר פונקציה באופן:
(אם לא קיים כיסוי כמו בהגדרה, מגדירים את המידה החיצונית להיות אינסוף). כלומר, מתאים לקבוצה את הקירוב הטוב ביותר של מידתה מבחוץ על ידי כיסוי בן מנייה של קבוצות מ- . ניתן להוכיח ש- אכן מידה חיצונית.
בדרך כלל (ובפרט בבניית מידת לבג ובמשפט ההרחבה של קרתאודורי), לוקחים את משפחת הקבוצות להיות חוג (קבוצת קבוצות לא ריקה הסגורה לאיחוד והפרש קבוצות), ואת להיות מידה-חוגית עליו (כלומר פונקציה שמקיימת את התכונות הרגילות של מידה, רק על חוג ולא על סיגמא-אלגברה, והתכונה האחרונה (סיגמא-אדיטיביות) רק כאשר האיחוד האינסופי שייך למשפחה).
דוגמאות נוספות ראו בקריאה נוספת.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.