Remark 2
Tag 07QQ, permanent. Cite it as [Bourbaki, Tag 07QQ].
Topological Vector Spaces, chapter IV, § 1. Duality
Let K be a convex subset of F which is compact for the weak topology and a positive measure on K. Put
for all . It is immediate that p is a semi-norm. Moreover, for every , the relation « for all » implies that . This proves that the semi-norm p on E is continuous for the Mackey topology . \*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.