Bourbaki

Corollary 3

Tag 08N4, permanent. Cite it as [Bourbaki, Tag 08N4].

Integration, chapter III, § 2. Support of a measure

— Let μ\mu be a bounded measure on XX; if f∈K(X;C)f \in \mathscr{K}(X; \mathbf{C}) is such that ∣f(x)∣≤a|f(x)| \leq a on Supp⁡(μ)\operatorname{Supp}(\mu), then ∣μ(f)∣≤a∥μ∥|\mu(f)| \leq a \|\mu\|.

For, Supp⁡(∣μ∣)=Supp⁡(μ)\operatorname{Supp}(|\mu|) = \operatorname{Supp}(\mu), and if hh is a continuous mapping of XX into [0,1][0, 1], equal to 1 on Supp⁡(f)\operatorname{Supp}(f) and with compact support, then ∣f(x)∣≤ah(x)|f(x)| \leq ah(x) on Supp⁡(μ)\operatorname{Supp}(\mu), therefore

∣μ∣(∣f∣)≤a∣μ∣(h)≤a∥μ∥ |\mu|(|f|) \leq a|\mu|(h) \leq a\|\mu\|

by Corollary 2; the conclusion then follows from formula (13) of § 1, No. 6.

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.