习题 4, § 1

标签 078P，永久不变。引用为 [Bourbaki, Tag 078P]。

拓扑向量空间, I

Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。

令 $E$ 为向量空间除以环 $K$ 并进行估值；我们假设 $E$ 带有与其加法群结构兼容的*metrisable* 拓扑。进一步假设这个拓扑满足公理(EVT'_I)和(EVT'_II)；证明如果两个可度量群 $K, E$ 之一是*完整的*，则拓扑也满足 (EVT'_III) 并且在推论中与 $E$ 的向量空间结构兼容 (cf. GT, IX, § 5,练习23）。

解答

尚未写出解答。

被以下引用

无。

引用了

IX, § 5 not yet on this site