1 Dimostrazione esercizio 1

ˆ ∅ ∈ A banale.
ˆ ∀A, C ∈ A poiché se A = X allora A ∪ C = X, se A = ∅ allora A ∪ C = C,
se A = B e C = B c allora A ∪ C = X (e specularmente invertendo i ruoli),
si ha che vale la seconda condizione.
ˆ Poiché A contiene solo le coppie (X, ∅) e (B, B c ) che sono tra loro com-
plementari, la terza condizione segue banalmente.

Dunque A è un’algebra su X.

ˆ Consideriamo la successione {Ei }∞

i=1 . Distinguiamo alcuni casi distinti tra
loro per valutare ∪∞ E
i=1 i

– ∃i : Ei = X o ∃i, j : Ei = B, Ej = Bc . In questo caso l’unione è

uguale a X, dunque appartiene ad A;
– ∀i ∈ N, Ei = ∅, allora l’unione coincide con l’insieme vuoto, dunque
appartiene ad A;
– Escludendo i casi precedenti, allora tutti gli elementi dell’unione pos-
sono essere B e ∅ oppure B c e ∅. Dunque anche in questo caso l’unione
appartiene ad A.

Dunque A è una σ-algebra.

2 Dimostrazione esercizio 2
ˆ La prima condizione di misura, µ(∅) = 0 è immediatamente verificata.
ˆ Verifichiamo l’additività numerabile. Sia {Ei }∞
i=1 ⊆ A successione di
elementi a 2 a 2 disgiunti. Sia la successione {Bi }∞i=1 definita ricorsi-
vamente nel seguente modo: B1 = E1 e Bn = ∪ni=1 Ei . Si vede che
∀n, Bn ⊆ Bn+1 . Si ha che µ(∪∞ ∞
i=1 Ei ) = µ(∪i=1 Bi ) =(per continuità
i
dal basso) limi→+∞ µ(Bi ) = limi→+∞ µ(∪j=1 Ej ) =(per addittività finita)
Pi P∞
limi→+∞ j=1 µ(Ej ) = j=1 µ(Ej ).

Da queste due condizioni segue che µ è una misura.

3 Dimostrazione esercizio 4
i. (X, A, µ) non è completo: R \ {0} ∈ A e µ(R \ {0}) = 0. Poiché R+ ∈
R \ {0} e R+ ∈/ A lo spazio con misura non è completo.
ii. Verifichiamo che lo spazio di misura dato sia un completamento:
– La prima condizione è banale perché B è l’insieme delle parti di X.

1
 – Si osserva che ν(∅) = ν(R \ {0}) = 0 e ν(0) = ν(R0) = 1. Dunque ν
ristretta a A coincide con µ. Dunque anche la seconda condizione è
verificata.
– Sia E ∈ B. Se 0 ∈
/ E, E = ∅ ∪ C, dove: ∅, R \ {0} ∈ A, C ⊆ R \ {0}
e µ(R \ {0}) = 0. Se 0 ∈ E, E = {0} ∪ C, dove: ∅, R \ {0} ∈ A,
C ⊆ R \ {0} e µ(R \ {0}) = 0.
Per il teorema visto, (X, B, ν) è il completamento dello spazio di partenza.