Präring/Äußeres Maß/Fortsetzung/Zerlegungseigenschaft/Eigenschaften/Fakt
Erscheinungsbild
Es sei eine Menge, ein Präring auf ,
ein äußeres Maß auf und die Fortsetzung von auf die Potenzmenge . Dann gelten folgende Aussagen.
- Das Mengensystem aller Teilmengen , die die Zerlegungseigenschaft besitzen, bilden eine -Algebra.
- Die Einschränkung von auf diese -Algebra ist ein Maß.