Proposition 6
Tag 08MZ, permanent. Cite it as [Bourbaki, Tag 08MZ].
Integration, III, p. 26, § 2. Support of a measure
The set of measures on a locally compact space , whose support is contained in a closed set , is a vaguely closed linear subspace of .
For, it is the intersection of the vaguely closed hyperplanes with equation , where runs over the set of functions in whose support does not intersect .
Suppose is not compact: given a filter on the space of measures on , we shall say that the support of a measure recedes indefinitely along if, for every compact subset of , there exists a set such that for every measure .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.