Merci verdurin
Si je prends une variable aléatoire X de (Ω,F,P) dans (E,G), Φ est une fonction mesurable de (E,G) dans (Ω,F) ?
Je vois a peu près pourquoi ton exemple marche mais c'est car G est la tribu engendrée par {0} et {1}, donc la fonction carré convient.
Ma question est plutôt : comment exhiber de telles fonctions Φ et Ψ définies sur R tout entier avec Φ injective non surjective ? Si je prend la fonction carré de R+ dans R, la fonction racine convient pour Ψ mais elles ne sont pas définies sur R…