je seche lamentablement :
dans la premiere page d'un poly de theorie de la mesure, apres simplement avoir donne la definition d'une tribu et de la tribu engendree par un ensemble de parties ("par le haut", c'est a dire simplement l'intersection des tribus le contenant, la caracterisation "par le bas" etant comme chacun sait plus delicate, necessitant une reiteration aleph_1 fois du processus de passage au complementaire et reunion denombrable), on fait une remarque sans demonstration :
"l'image reciproque par une fonction quelconque de la tribu engendree par B est incluse dans la tribu engendree par l'image reciproque de B"
(en fait on annonce l'egalite, mais l'autre inclusion est pour le coup evidente).
comment on prouve ca avec juste les defintions donnees plus haut ?
-----