Proposition 15
Tag 093S, permanent. Cite it as [Bourbaki, Tag 093S].
Integration, V, p. 62, § 5. Measures defined by numerical densities
Every complex measure on may be written in one and only one way in the form , where is an atomic measure and is a diffuse measure; one then has ..
The uniqueness of the decomposition is obvious since, being atomic and diffuse, necessarily and . To establish existence, it suffices to observe that for every compact set , so that one can set . The measure is obviously diffuse, and the relation follows at once from Cor. 3 of Prop. 13 of No. 7.
One observes that this proof shows that if is carried by a set and if for every , then is atomic.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.