בתורת המידה, מידה חיצונית היא פונקציה מקבוצת החזקה של קבוצה לא ריקה נתונה, אל הרחבת הממשיים (כלומר, היא מקבלת ערכים אי-שליליים או ∞ ), המקיימת תכונות דומות לאלו של אורך.
ייחודה והשוני שלה ממידה רגילה הוא שהיא מוגדרת על כל תתי הקבוצות של קבוצה נתונה. חשיבותה המרכזית היא בהגדרת מידת לבג, שהיא צמצום מידה חיצונית על הממשיים לקבוצות מדידות. עם זאת, למושג בפני עצמו יש חשיבות, והוא חלק מתורת המידה הכללית (שלא תלויה בהכרח בממשיים).
תהי קבוצה, ונסמן ב- את קבוצת החזקה שלה.
מידה חיצונית על היא פונקציה , המקיימת:
מידה חיצונית נקראת סופית אם , וסיגמא-סופית אם קיימים כך ש- המקיימים לכל .
נציג כעת בנייה של מידה חיצונית.
תהי קבוצה לא ריקה, ו- משפחה לא ריקה של תתי קבוצות שלה, עם . בהינתן פונקציה המקיימת נגדיר פונקציה באופן:
(אם לא קיים כיסוי כמו בהגדרה, מגדירים את המידה החיצונית להיות אינסוף). כלומר, מתאים לקבוצה את הקירוב הטוב ביותר של מידתה מבחוץ על ידי כיסוי בן מנייה של קבוצות מ- . ניתן להוכיח ש- אכן מידה חיצונית.
בדרך כלל (ובפרט בבניית מידת לבג ובמשפט ההרחבה של קרתאודורי), לוקחים את משפחת הקבוצות להיות חוג (קבוצת קבוצות לא ריקה הסגורה לאיחוד והפרש קבוצות), ואת להיות מידה-חוגית עליו (כלומר פונקציה שמקיימת את התכונות הרגילות של מידה, רק על חוג ולא על סיגמא-אלגברה, והתכונה האחרונה (סיגמא-אדיטיביות) רק כאשר האיחוד האינסופי שייך למשפחה).
דוגמאות נוספות ראו בקריאה נוספת.
This article uses material from the Wikipedia עברית article מידה חיצונית, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). התוכן זמין לפי תנאי CC BY-SA 4.0 אלא אם כן נאמר אחרת. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki עברית (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.