Example
Tag 07EH, permanent. Cite it as [Bourbaki, Tag 07EH].
Topological Vector Spaces, chapter II, § 4. Locally convex spaces
— Let X be a locally compact space and the vector space of finite continuous real valued functions defined over X with compact support. For every compact subset K of X, let be the vector subspace of E formed by those functions which are such that . Denote by the topology induced on and by the topology of uniform convergence on X. The inductive limit of the topologies is finer than ; we can show that if X is paracompact and not compact, then is strictly finer than (cf. INT, III, 2nd ed., § 1.8). The importance of lies in the fact that the linear forms on E that are continuous in are precisely the real measures on X (INT, III, 2nd., § 1.3).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.