Si f : (Rd, B(Rd)) → (Rd , B(Rd )) est continue, alors elle est mesurable.
Démonstration.
Comme B(Rd ) est engendrée par les ouverts de Rd , il suffit par le lemme de montrer que f−1(O) ∈ B(Rd) pour tout ouvert O de Rd .
Or ceci est évident puisque par continuité f−1(O) est ouvert, donc borélien.
.
1) Soient (X,d) un espace métrique (par exemple R), et f : X → R une fonction continue.
Pourquoi f est-elle mesurable? Réponse: Pour tout ouvert O de R, f−1(O) est ouvert (car f continue), donc mesurable.
Comme l'ensemble des ouverts de R engendre la tribue borélienne, f−1 est continue.
On dit que f est mesurable (ou A − B mesurable) si f−1(B) ∈ A pour tout B ∈ B, c'est-à-dire, si σ(f) = f−1(B) ⊂ A .
On dit que f est borélienne si B est une tribu borélienne.