Bourbaki

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 E=K(X;R)E = \mathscr{K}(X; \mathbf{R}) the vector space of finite continuous real valued functions defined over X with compact support. For every compact subset K of X, let EKE_K be the vector subspace of E formed by those functions f∈Ef \in E which are such that x∉K⇒f(x)=0x \notin K \Rightarrow f(x) = 0. Denote by TK\mathscr{T}_K the topology induced on EKE_K and by Tu\mathscr{T}_u the topology of uniform convergence on X. The inductive limit T\mathscr{T} of the topologies TK\mathscr{T}_K is finer than Tu\mathscr{T}_u; we can show that if X is paracompact and not compact, then T\mathscr{T} is strictly finer than Tu\mathscr{T}_u (cf. INT, III, 2nd ed., § 1.8). The importance of T\mathscr{T} lies in the fact that the linear forms on E that are continuous in T\mathscr{T} 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.

Transcribed from the printed volume. Not translated.