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

תוכן שנמחק תוכן שנוסף
Luckas-bot (שיחה | תרומות)
Yonidebot (שיחה | תרומות)
מ בוט החלפות: לעתים;
שורה 41:
למחלקת המידות הסיגמא-סופיות יש מספר תכונות נוחות ביותר; מבחינה זו ניתן להשוות סיגמא-סופיות לתכונת ה[[מרחב ספרבילי|ספרביליות]] של מרחבים טופולוגיים. משפטים מסוימים בתורת המידה דורשים סיגמא-סופיות בתור הנחה. לדוגמה, [[משפט רדון-ניקודים]] ו[[משפט פוביני]] אינם נכונים ללא הנחה מסוימת של סיגמא-סופיות (או משהו דומה) על המידות או על הקבוצות שעוסקים בהן.
 
למרות שלעיתיםשלעתים מתייחסים למידות שאינן סיגמא-סופיות כפתולוגיות, הן מופיעות בצורה טבעית למדי בתחומים שונים. למשל, אם <math>X</math> הוא [[מרחב מטרי]] עם [[מימד האוסדורף]] <math>r</math>, אז כל [[מידת האוסדורף|מידות האוסדורף]] שממימד נמוך יותר אינן סיגמא-סופיות אם מתייחסים אליהן כאל מידות על <math>X</math>. בנוסף, כפי שצוין לעיל, חבורה קומפקטית מקומית אינה חייבת להיות סיגמא-סופית ביחס למידת האר שלה.
 
===שקילות למידת הסתברות===
שורה 61:
: <math>\mu_{0}\left(E\right)=\sup\left\{ \mu\left(F\right):F\subseteq E,\,\mu\left(F\right)<\infty\right\} </math>
 
המידה <math>\mu_0</math> היא סמי-סופית והיא מכונה לעיתיםלעתים '''החלק הסמי-סופי''' של <math>\mu</math>. ההצדקה לטרמינולוגיה זו היא העובדה הבאה: קיימת מידה <math>\nu</math> על אותו המרחב אשר מחזירה רק את הערכים 0 ו-<math>\infty</math> כך שמתקיים <math>\mu = \mu_0 + \nu</math>. <math>\mu</math> היא סמי-סופית אם ורק אם <math>\mu = \mu_0</math>. נעיר כי המידה <math>\nu</math> לעיל באופן כללי לא נקבעת ביחידות.
 
נדיר מאוד למצוא מידות לא סמי-סופיות בשימושים בפועל, אלא אם כן יוצאים מראש במטרה למצוא מידה שכזו.