习题 4, § 1
标签 07LT，永久不变。引用为 [Bourbaki, Tag 07LT]。
拓扑向量空间, III, p. 38
Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。
设 E 是非离散可度量拓扑域 K 上的拓扑向量空间。证明，如果 E 是 Baire 空间，并且如果在 E 中存在由 E 的有界子集 (III, p. 37, exerc. 1) 形成的出生学可数基，则存在E 中 0 的邻域是有界的，因此与 E 的拓扑相关的 Hausdorff 拓扑是可度量的（III，p. 37，练习 2）（与练习 6 比较）。
解答
尚未写出解答。
被以下引用
无。
引用了
无。