Remark
Tag 07HJ, permanent. Cite it as [Bourbaki, Tag 07HJ].
Topological Vector Spaces, chapter II, § 6. Weak topologies
— Suppose that the duality between F and G is separating in G and that the duality between and is separating in . If we identify G and with subspaces of and respectively, the conditions a) and b) are equivalent to ; v is the restriction of the transpose of u (A, II, § 2.5) to .
We say, simply (when there is no chance of confusion) that v is the transpose of u (relative to the duality on the one hand between F and G and on the other hand between and ) and we again use to denote it.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.