习题 1, § 4
标签 07V4，永久不变。引用为 [Bourbaki, Tag 07V4]。
拓扑向量空间, IV, p. 62
Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。
令 E 和 F 为两个局部凸 Hausdorff 空间，E' 和 F' 分别为对偶。证明，如果对于 F 的每个向量子空间 N，由 τ(F, F') 在 N 上感应的拓扑与 τ(N, F'/N°) 相同（IV，p. 51，执行 20），则对于拓扑 σ(E, E')，从 E 到 F 的每个严格态射和对于拓扑 τ(E, E') 和 τ(F, F') 来说，σ(F, F') 也是严格的态射（cf. IV、p. 10，命题 11）。考虑 F 可度量的情况。
解答
尚未写出解答。
被以下引用
无。
引用了
无。