Definition 4
Tag 093F, permanent. Cite it as [Bourbaki, Tag 093F].
Integration, V, p. 54, § 5. Measures defined by numerical densities
One says that a complex measure on is concentrated on a subset of , or that carries , if is locally negligible for .
The set carries if and only if it carries . It is equivalent to say that carries , or that is -measurable and . If is concentrated on , then every measure with base is concentrated on .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.