Bourbaki

Remark 2

Tag 07NI, permanent. Cite it as [Bourbaki, Tag 07NI].

Topological Vector Spaces, III, p. 23, § 3. Spaces of continuous linear mappings

Let (un)(u_n) be a sequence of continuous linear mappings from a Banach space E into a Banach space F; it may happen that (un(x))(u_n(x)) has a limit at every point of an everywhere dense vector subspace T of E, without the sequence (un)(u_n) being bounded in the normed space L(E;F)\mathscr{L}(E; F). For example, take E to be the space of all continuous numerical functions on R\mathbf{R}, tending to zero at infinity, with the norm ∥f∥=sup⁡x∈R∣f(x)∣\|f\| = \sup_{x \in \mathbf{R}} |f(x)| and let T be the subspace of continuous numerical functions with compact support. The sequence of continuous linear mappings f↦nf(n)f \mapsto nf(n) from E into R\mathbf{R} converges to 0 for all f∈Tf \in T, but is not bounded in Lb(E;R)\mathscr{L}_b(E; \mathbf{R}). The same example shows that in the space L(T;R)\mathscr{L}(T; \mathbf{R}), a sequence (vn)(v_n) may be simply convergent and non-bounded for the topology of bounded convergence.

On the other hand, the sequence of continuous linear mappings f↦∑k=1nf(k)f \mapsto \sum_{k=1}^n f(k) is a Cauchy sequence in L(T;R)\mathscr{L}(T; \mathbf{R}) for the topology of simple convergence, but does not tend to a limit in L(T;R)\mathscr{L}(T; \mathbf{R}) for this 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.

Transcribed from the printed volume. Not translated.