Misure esterne boreliane

[Plepp]

Sera! Qualcuno sa dirmi dove posso trovare una dimostrazione di questo fatto?

Teorema Sia $(X,d)$ metrico e $\mu$ una misura esterna su $X$. Se per ogni $E,F\subseteq X$, con $d(E,F)>0$, vale
\[\mu(E\cup F)=\mu(E)+\mu(F)\]
allora $\mu$ è una misura esterna boreliana (ovvero i boreliani di $X$ sono $\mu$-misurabili).

[Luca.Lussardi]

ftp://ftp.dmf.unicatt.it/pub/users/degi ... nt/aam.pdf

teorema 2.1 pagina 80, e' fatta in $\mathbb R^n$ ma e' la stessa cosa su uno spazio metrico.

[Plepp]

Grazie mille Luca, stavo cercando proprio queste dispense ma non sono riuscito a trovarle sulla pagina del prof. Degiovanni.
[ot]Dunque sarò un tuo allievo durante il prossimo semestre? intendo per Processi Stocastici[/ot]

[Luca.Lussardi]

[ot]Purtroppo no, ho lasciato Brescia a febbraio di quest'anno, sono ora dipendente del Politecnico di Torino.[/ot]