0 Daumen
416 Aufrufe

Aufgabe:

Sei (Ω,A,μ) (\Omega, Α, \mu) ein Maßraum und f : Ω[0,] f:\Omega \rightarrow[0,\infty] eine messbare Funktion mit Ωfdμ< \int_\Omega fd\mu < \infty .

Zeigen Sie dass f1() f^{-1}({\infty}) eine Nullmenge und xΩf(x)0 {x \in \Omega |f(x) \neq 0}  σ \sigma -endlich ist.


Problem/Ansatz:

Ich habe mir überlegt, ein Widerspruchbeweis zu führen. Mit der Annahme f1f^{-1} sei keine Nullmenge. Dann kann ich ja zeigen, dass μ(f1())>0\mu (f^{-1}({\infty})) >0. Über ein AkA_k aus Ω\Omega zeige ich dann, dass folgt Ωfdμ=\int_\Omega fd\mu = \infty. 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?

Avatar von

Ein anderes Problem?

Stell deine Frage

Ähnliche Fragen

2 Antworten
1 Antwort
1 Antwort
Gefragt 30 Okt 2022 von Gast