Dimostrazione additività numerabile

morbibi
Salve a tutti,

Ho questa proprietà da dimostrare: Sia M una $\sigma$-algebra e $\mu$ una misura su essa che sia monotona, subadditiva e finitamente additiva. Dimostrare allora che è $\sigma$-additiva.

Non so bene da che parte iniziare, sfruttando la monotonia e la additività numerabile arrivo a scrivere:
$\sum_{n=1}^N \mu(A_n) = \mu(\uuu_{n=1}^N A_n) \le \mu(\uuu_{n=1}^\infty A_n) \le \sum_{n=1}^\infty \mu(A_n)$

E poi non so come procedere!
Grazie in anticipo

Risposte
morbibi
Sono arrivato a scrivere questo, ma vorrei la vostra opinione.

Per la subadditività, basta dimostrare che $\mu(\uuu^\infty A_n) \ge \sum^\infty \mu(A_n)$ così da avere l'asserto.
Sfruttando la monotonia e l'additività numerabile si ha:
$\mu(\uuu^\infty A_n) \ge \mu(\uuu^N A_n) = \sum^N \mu(A_n)$

Poi vorrei semplicemente dire che anche facendo tendere $N$ a infinito, la disuguaglianza rimane valida e terminare così la dimostrazione. Posso farlo?

dissonance
Mi pare che vada bene.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.