Messräume/Messbare Abbildung/Definition

Messbare Abbildung

Es seien $(M,𝒜)$ und $(N,ℬ)$ Messräume. Eine Abbildung

$\phi :M⟶N$

heißt messbar (oder genauer $𝒜-ℬ$-messbar), wenn für alle  $T\in ℬ$  das Urbild ${\phi }^{-1}(T)$ zu $𝒜$ gehört.