Bourbaki

Exercise 23, § 5

Topological Vector Spaces, II, p. 80

Let EE be a topological vector space, and let T\mathscr{T} be the locally convex topology on EE that is the finest of all those that are coarser than the given topology T0\mathscr{T}_0 on EE. If FF is a locally convex space, then the continuous linear mappings of EE in FF are the same for T0\mathscr{T}_0 as for T\mathscr{T}. There exists a continuous linear form on EE that is distinct from the null form if, and only if, there exists a neighbourhood of 0 for T0\mathscr{T}_0 whose convex envelope is not everywhere dense (for T0\mathscr{T}_0) (cf. I, p. 25, exerc. 4).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.