Bourbaki

习题 13, § 4

标签 07OZ,永久不变。引用为 [Bourbaki, Tag 07OZ]。

拓扑向量空间, III, p. 44

It is set in small type as supplementary.

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

a) 令 E 为凸桶形空间、(Cn)(C_n) 递增序列,平衡集合,使得 E=⋃nCnE = \bigcup_n C_n。令 U 为凸、平衡且吸收的集合,使得对于每个 n,U∩CnU \cap C_n 都在 CnC_n 中闭合。证明 U 是 E 中 0 的邻域。(证明 U‾⊂2U\overline{U} \subset 2U,通过考虑 U 上的过滤器 F\mathfrak{F} 收敛到点 x∈Ex \in E 和应用执行。12,c))。 b) 令 E 为 E 的子空间的桶装空间、(En)(E_n) 递增序列,使得 E=⋃nEnE = \bigcup_n E_n。

证明,如果 U 是 E 的子集,且对于每个 n,U∩EnU \cap E_n 是 EnE_n 中的桶,则 U 是 E 中 0 的邻域。特别是,E 是序列的严格归纳法极限 (II, p. 33) (En)(E_n)。

解答

尚未写出解答。

被以下引用

无。

引用了

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