Sia ${A_n}_{ninNN,n>=1}$ con $A_n$ in una $\sigma$-algebra $AAninNN$ e tali che $A_nsupeA_{n+1}$ e $\mu(A_1)<+infty$ allora $\mu(nn_{n=1}^{+infty}A_n)=lim_(n->infty)\mu(A_n)$.
Ho provato a dimostrarlo così (vorrei sapere se va bene, grazie):
Poniamo $G_n=A_1\\A_n$ con $n>=1$, abbiamo che $nn_{n=1}^{+infty}A_n=A_1\\(uu_{n=1}^{+infty}G_(n+1)\\G_n)$, per cui $\mu(nn_{n=1}^{+infty}A_n)=\mu(A_1\\(uu_{n=1}^{+infty}G_(n+1)\\G_n))=\mu(A_1)-\mu(uu_{n=1}^{+infty}G_(n+1)\\G_n)=\mu(A_1)-\sum_{n=1}^{+infty} \mu(G_(n+1)\\G_n)=\mu(A_1)+\sum_{n=1}^{+infty}\mu(A_(n+1))-\mu(A_n)=\mu(A_1)+lim_(k->infty)\sum_{n=1}^{k}\mu(A_(n+1))-\mu(A_n)=\mu(A_1)+lim_(k->infty)\mu(A_(k+1))-\mu(A_1)=lim_(k->infty)\mu(A_(k+1))$
qui rinomino $n=k+1$ ( $n$ non ha la stessa valenza del $n$ di prima!) per cui diventa $nn_{n=1}^{+infty}A_n=lim_(n->infty)\mu(A_(n))$.