1.
μa=δa (mesure de Dirac). δa(∅)=0. Pour (An) disjoints : si a∈/⋃An, les deux côtés valent 0. Si a∈⋃An, il existe un unique n0 tel que a∈An0, et δa(⋃An)=1=∑δa(An).
2.
f=g μa-p.p. ⟺f(a)=g(a).
Nécessité : f=g μa-p.p. implique ∃A avec μa(A)=0 et f=g sur Ac. μa(A)=0⟹a∈/A⟹a∈Ac⟹f(a)=g(a).
Suffisance : prendre A={a}c, μa(A)=0 et f=g sur {a}.
3.i.
∫θdμa=∑αiμa(Ai)=∑αiχAi(a)=θ(a).
3.ii.
Par approximation par fonctions étagées croissantes θn↗f et convergence monotone :
∫fdμa=lim∫θndμa=limθn(a)=f(a).
∫Xfdμa=f(a)