Bourbaki

Corollary 2

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

Topological Vector Spaces, III, p. 33, § 5. Hypocontinuous bilinear mappings

Suppose S is barrelled. If the sequence (un)(u_n) tends to u in L(R;S)\mathscr{L}(R; S) and the sequence (vn)(v_n) to v in L(S,T)\mathscr{L}(S, T), then the sequence (vn∘un)(v_n \circ u_n) tends to v∘uv \circ u in L(R;T)\mathscr{L}(R; T).

In fact, the sequence (vn)(v_n), being simply bounded in L(S;T)\mathscr{L}(S; T) is equicontinuous, since S is barrelled (III, p. 25, th. 1); the corollary is then a consequence of cor. 1.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.