Proposition 4
Tag 08MX, permanent. Cite it as [Bourbaki, Tag 08MX].
Integration, III, p. 26, § 2. Support of a measure
The support of the sum of two measures is contained in the union of their supports.
For, if the restrictions of two measures to an open set are zero, then the same is true of the restriction of their sum.
If and are two positive measures, then the support of is equal to the union of the supports of and ; for, if is a point of the union and is any neighborhood of , then there exists a continuous function with support contained in and such that one of the numbers , is ; a fortiori, .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.