מידה חיצונית

בתורת המידה, מידה חיצונית היא פונקציה מקבוצת החזקה של קבוצה לא ריקה נתונה, אל הרחבת הממשיים <math>[0,\infty]</math> (כלומר, היא מקבלת ערכים אי-שליליים או <math>\infty</math>), המקיימת תכונות דומות לאלו של אורך. ייחודה והשוני שלה ממידה רגילה הוא שהיא מוגדרת על כל תתי הקבוצות של קבוצה נתונה. חשיבותה המרכזית היא בהגדרת מידת לבג, שהיא צמצום מידה חיצונית על הממשיים לקבוצות מדידות. עם זאת, למושג בפני עצמו יש חשיבות, והוא חלק מתורת המידה הכללית (שלא תלויה בהכרח בממשיים).

==הגדרה==

תהי <math>X</math> קבוצה, ונסמן ב-<math>\mathcal{P}(X)</math> את קבוצת החזקה שלה.

מידה חיצונית על <math>X</math> היא פונקציה <math>\mu^* \colon \mathcal{P}(X) \to [0,\infty]</math>, המקיימת:
* קבוצה ריקה אפסה - <math>\mu^*(\emptyset) = 0</math>
* מונוטוניות - <math>A \subseteq B \Rightarrow \mu^*(A) \le \mu^*(B)</math>
* <math>\sigma</math>-תת אדיטיביות - <math>A \subseteq \bigcup _{ i=1 }^{ \infty }{ { A }_{ i } } \Rightarrow \mu ^*(A) \le \sum _{ i=1 }^{ \infty }{ \mu ^*({ A }_{ i }) } </math>

מידה חיצונית נקראת סופית אם <math>\mu ^ * (X) < \infty</math>, וסיגמא-סופית אם קיימים <math>\{A_i\}_{i=1}^\infty \subseteq X</math> כך ש- <math>X=\bigcup _{ i=1 }^{ \infty }{ { A }_{ i } }</math> המקיימים <math>\mu ^ * ({A}_{i}) < \infty</math> לכל <math>i</math>.

תת קבוצה <math>E \subseteq X</math> נקראת מדידה ביחס ל<math>\mu ^ *</math>, אם מתקיים <math>\forall Y \subseteq X : \mu ^ *(Y)= \mu ^ *(E \cap Y)+\mu ^ * (E^c \cap Y)</math>.

==בניית מידה חיצונית==
נציג כעת בנייה של מידה חיצונית.

תהי <math>X</math> קבוצה לא ריקה, ו- <math>\mathcal{E} \subseteq \mathcal{P}(X)</math> משפחה לא ריקה של תתי קבוצות שלה, עם <math>\emptyset \in \mathcal{E}</math>. בהינתן פונקציה <math>\rho \colon \mathcal{E} \to [0,\infty]</math> המקיימת <math>\rho(\emptyset) = 0</math> נגדיר פונקציה <math>\mu^* \colon \mathcal{P}(X) \to [0,\infty]</math> באופן:

<math>\mu^*(A) = \inf\left\{ \sum_{j=1}^\infty \rho(E_j) : \forall j \; E_j \in \mathcal{E} \text{ and } A \subseteq \bigcup_{j=1}^\infty E_j \right\}</math>

(אם לא קיים כיסוי כמו בהגדרה, מגדירים את המידה החיצונית להיות אינסוף). כלומר, <math>\mu^*(A)</math> מתאים לקבוצה <math>A \subseteq X</math> את הקירוב הטוב ביותר של מידתה מבחוץ על ידי כיסוי בן מנייה של קבוצות מ- <math>\mathcal{E}</math>. ניתן להוכיח ש- <math>\mu^*</math> אכן מידה חיצונית.

בדרך כלל (ובפרט בבניית מידת לבג ובמשפט ההרחבה של קרתאודורי), לוקחים את משפחת הקבוצות <math>\mathcal{E}</math> להיות חוג (קבוצת קבוצות לא ריקה הסגורה לאיחוד והפרש קבוצות), ואת <math>\rho</math> להיות מידה-חוגית עליו (כלומר פונקציה שמקיימת את התכונות הרגילות של מידה, רק על חוג ולא על סיגמא-אלגברה, והתכונה האחרונה (סיגמא-אדיטיביות) רק כאשר האיחוד האינסופי שייך למשפחה).

==תכונות ודוגמאות==
* קבוצת הקבוצות המדידות כפי שהוגדרו לעיל היא סיגמא-אלגברה. צמצום המידה החיצונית על סיגמא-אלגברה זו מהווה מידה. יתרה מזאת, מרחב המידה שמתקבל הוא שלם.
* אם <math>\mu ^ * (A)=0 </math> אז <math>A</math> מדידה, ו- <math>\forall B \subseteq X: \mu ^ * (A \cup B)=\mu ^ * (B)</math>.
* בשל הגדרתה על כל תתי הקבוצות, מידה חיצונית היא "כללית מדי". במילים אחרות, אי אפשר לדרוש עבורה תכונות שמקיימת מידה על סיגמא-אלגברה כלשהי, כמו סיגמא-אדיטיביות. בפרט, אי אפשר להגדיר אינטגרל על כל קבוצה עם מידה חיצונית.
* מידות מוכרות רבות מתקבלות מבניית מידה חיצונית וצמצומה על סיגמא אלגברה כלשהי (בדיוק כמו במקרה של מידת לבג). דוגמה למידה כזו היא מידת האוסדורף (ראו גם [http://www.encyclopediaofmath.org/index.php/Hausdorff_measure כאן]),

דוגמאות נוספות ראו בקריאה נוספת.

==ראו גם==
*מידה (מתמטיקה)
*מידת לבג
*משפט ההרחבה של קרתאודורי

==לקריאה נוספת==
<div class="mw-content-ltr">
* H. L. Royden, Real Analysis, Prentice Hall, 1963, p. 216-224
* G. B. Folland, Real Analysis: Modern Techniques and Their Applications, John Wiley & Sons, Second Edition, 1999, p. 28-32
* [https://www.encyclopediaofmath.org/index.php/Outer_measure Outer measure] ,[http://www.encyclopediaofmath.org/ Encyclopedia of Mathematics]
</div>

==קישורים חיצוניים==
* 

קטגוריה:תורת המידה