Mesure sigma finie

Regarde de tous tes yeux, regarde !

Le dessin donne tout, après il suffit de rendre ça formel. On prend $n > m$ des entiers et $x \in B_n$ et on veut montrer que $x \not \in B_m$. On a $x \in A_n \setminus A_{n-1}$. Or les $A_k$ sont croissants, donc $A_m \subset A_{n-1}$ puisque $m \leq n-1$, donc $x \not \in A_m$ et en particulier $x \not \in B_m$.

Pour le fait que $A_n$ est la réunion des $B_k$ pour $k \leq n$, une petite récurrence fera l'affaire. L'intuition est qu'il y a un télescopage dans la réunion.