Lexikon der Mathematik: Lusin, Satz von
lautet:
Es seien Ω und Ω′ Hausdorffräume, wobei Ω′ eine abzählbare Basis besitzt, μ ein σ-endliches Borel-reguläres Maß auf \( {\mathcal B} \text{(}{\rm{\Omega }}\text{)}\), und f : Ω → Ω′ eine Abbildung.
Dann sind folgende Aussagen äquivalent:
- Es gibt eine \(\text{(} {\mathcal B} \text{(}{\rm{\Omega }})-{\mathcal B} \text{(}{\rm{\Omega }}^{\prime} \text{))}\)-meßbare Abbildung g : Ω → Ω′ mit f = g fast überall bzgl. μ
- Zu jedem offenen O ⊆ Ω mit μ(O) < ∞ und zu jedem π > 0 existiert eine kompakte Menge K ⊆ O mit μ(O\K) < ϵ so, daß f, eingeschränkt auf K, stetig ist bzgl. der Spurtopologie auf K.
- Zu jedem \(A\in {\mathcal B} \text{(}{\rm{\Omega }}\text{)}\)mit μ(A) < ∞ undzu jedem ϵ > 0 existiert eine kompakte Menge K ⊆ A mit μ(A\K) < ϵ so, daß f, eingeschränkt auf K, stetig ist bzgl. der Spurtopologie auf K.
- Zu jeder kompakten Menge K1 ⊆ Ω und zu jedem ϵ > 0 existiert eine kompakte Menge K2 ⊆ K1mit μ(K1\K2) < ϵ so, daß f, eingeschränkt auf K2, stetig ist bzgl. der Spurtopologie auf K2.
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!