习题 3, § 1
标签 07RL，永久不变。引用为 [Bourbaki, Tag 07RL]。
拓扑向量空间, IV, p. 48
Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。
设 F 为向量空间。证明，对于拓扑 σ(F, F*)，F 的每个有界子集都是有限维的。推断，如果 F 是无限维的，则在 F 的完成（对于 σ(F, F*)）中，存在紧致子集，它们不包含在 F 的任何有界子集的闭包中（cf. II，p. 52，命题 10）。
解答
尚未写出解答。
被以下引用
无。