Tribu engendrée par une partition - Bibm@th.net
Enoncé
Soit $E$ un ensemble infini et $(A_n)_{n\in\mathbb N}$ une partition de $E$. Pour toute partie $J$ de $\mathbb N$, on pose $B_J=\bigcup_{j\in J}A_j$.
- Démontrer que $\mathcal T=\{B_J;\ J\in\mathcal P(\mathbb N)\}$ est une tribu sur $E$ et que c'est la plus petite tribu contenant tous les $A_n$.
- Trouver une partition $(A_n)_{n\in\mathbb N}$ de $\mathbb N$ de sorte que, pour tout $n\in\mathbb N$, $A_n$ n'est pas fini.
- Trouver une tribu incluse dans $\mathcal P(\mathbb N)$, de cardinal infini, dont tous les éléments, sauf l'ensemble vide, sont de cardinal infini.