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 tends to u in and the sequence to v in , then the sequence tends to in .
In fact, the sequence , being simply bounded in 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.