Bourbaki

Proposition 15

Tag 093S, permanent. Cite it as [Bourbaki, Tag 093S].

Integration, V, p. 62, § 5. Measures defined by numerical densities

Every complex measure σ\sigma on TT may be written in one and only one way in the form ρ+θ\rho + \theta, where ρ\rho is an atomic measure and θ\theta is a diffuse measure; one then has ∣σ∣=∣ρ∣+∣θ∣|\sigma| = |\rho| + |\theta|..

The uniqueness of the decomposition is obvious since, ρ\rho being atomic and θ\theta diffuse, necessarily ρ=∑t∈Tρ({t})εt=∑t∈Tσ({t})εt\rho = \sum_{t \in T} \rho(\{t\}) \varepsilon_t = \sum_{t \in T} \sigma(\{t\}) \varepsilon_t and θ=σ−ρ\theta = \sigma - \rho. To establish existence, it suffices to observe that ∑t∈K∣σ({t})∣≤∣σ∣(K)<+∞\sum_{t \in K} |\sigma(\{t\})| \leq |\sigma|(K) < +\infty for every compact set KK, so that one can set ∑t∈Tσ({t})εt=ρ\sum_{t \in T} \sigma(\{t\}) \varepsilon_t = \rho. The measure σ−ρ\sigma - \rho is obviously diffuse, and the relation ∣σ∣=∣ρ∣+∣σ−ρ∣|\sigma| = |\rho| + |\sigma - \rho| follows at once from Cor. 3 of Prop. 13 of No. 7.

One observes that this proof shows that if σ\sigma is carried by a set MM and if ∣σ∣({t})>0|\sigma|(\{t\}) > 0 for every t∈Mt \in M, then σ\sigma is atomic.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.