Example 2
Tag 07JD, permanent. Cite it as [Bourbaki, Tag 07JD].
Topological Vector Spaces, II, p. 60, § 7. Extremal points and extremal generators
\* If is a compact space, then the cone of positive measures on , with the vague topology, is a cone with a compact sole (INT, III, 2nd ed., § 1, No. 9, cor. 3 of prop. 15). \*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.