Tribu image réciproque

Étant donnés $({\mathrm{\Omega }}_2,{ℬ}_2)$ un espace mesurable, ${\mathrm{\Omega }}_1$ un ensemble et $f:{\mathrm{\Omega }}_1\to {\mathrm{\Omega }}_2$ une application, la tribu image réciproque de ${ℬ}_2$ sous $f$ est l'ensemble noté $f^{-1}({ℬ}_2)$ défini par :

$f^{-1}({ℬ}_2)=\{f^{-1}(A_2)\mid A_2\in {ℬ}_2\}.$

C'est une tribu sur ${\mathrm{\Omega }}_1$.