מידה סיגמא-סופית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 11:
* '''סמי-סופית''' אם כל קבוצה מדידה <math>\ E \subseteq X</math> מכילה תת-קבוצה מדידה <math>\ F \subseteq E</math> בעלת מידה סופית שאינה אפס.
באופן מעט כללי יותר, אומרים על [[תת-קבוצה]] <math>\ E \subseteq X</math> שהיא מקיימת את אחת מהתכונות הנ"ל אם הצמצום של <math>\,\mu</math> לתתי-הקבוצות המדידות של <math>E</math> נותן מידה המקיימת את התכונה המדוברת. למשל,
כל מידה סופית היא סיגמא-סופית וכל מידה סיגמא-סופית היא סמי-סופית, אך באופן כללי כל אחת מהתכונות הללו היא חלשה ממש מקודמותיה.
|