Forum : analyse :
tribus

Bonjour,

on considère une application et une tribu sur .

Je veux montrer que pour , on a .

Pour l'inclusion , c'est ok,
mais je ne vois pas comment faire pour montrer l'inclusion inverse.

Merci pour votre aide.

Salut,
on peut montrer sans problème que le truc de droite est une tribu et ça doit pas être difficile de montrer que c'est la plus petite qui contient f^(-1)(C).

L'idée avec laquelle je partirais:
sigma(C) est la plus petite tribu qui contient C, suppose que ce que l'on cherche ne soit pas la plus petite tribu et arrive à une contradiction avec le fait que sigma(C) soit la plus petite qui contient C.

L'idée est que les opérations se passent bien avec l'image réciproque.

ok je vais essayer ton plan, merci otto