Aufgabe:
Sei (Ω,A,μ) ein Maßraum und f : Ω→[0,∞] eine messbare Funktion mit ∫Ωfdμ<∞.
Zeigen Sie dass f−1(∞) eine Nullmenge und x∈Ω∣f(x)=0 σ-endlich ist.
Problem/Ansatz:
Ich habe mir überlegt, ein Widerspruchbeweis zu führen. Mit der Annahme f−1 sei keine Nullmenge. Dann kann ich ja zeigen, dass μ(f−1(∞))>0. Über ein Ak aus Ω zeige ich dann, dass folgt ∫Ωfdμ=∞. Was ein Widerspruch wäre.
Irgendwie gefällt mir dieser Beweisansatz aber nicht, ich kann nicht genau sagen, was ,ich daran stört. Gibt es eine elegantere Lösung?