1.
Diffuse : la mesure de Lebesgue λ sur (R,B(R)) (λ({x})=0 pour tout x).
Purement atomique : la mesure de Dirac δa (A={a}, δa(Ac)=0, δa({a})=1>0).
2.
Si μ est diffuse et purement atomique : il existe S tel que μ(Sc)=0 et μ({x})>0 pour tout x∈S. Mais μ diffuse implique μ({x})=0 pour tout x, donc S=∅ et Sc=X. Ainsi μ(X)=0.
3.
Soit A={x∈X:μ({x})>0} l'ensemble des atomes. Posons μa(B)=μ(B∩A) et μd(B)=μ(B∩Ac).
μd est diffuse : pour x∈A, {x}∩Ac=∅; pour x∈/A, μ({x})=0.
μa est purement atomique : μa(Ac)=μ(Ac∩A)=0 et pour x∈A, μa({x})=μ({x})>0.
μ(B)=μ(B∩A)+μ(B∩Ac)=μa(B)+μd(B).
μ=μa+μd