习题 7, § 3
标签 0BKL,永久不变。引用为 [Bourbaki, Tag 0BKL]。
一般拓扑, III, 307
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
a) 令 G 为 Hausdorff 拓扑群。如果 G 中 e 存在邻域 V_0,使得对称性 (视为 到 的映射)在 上均匀连续,则表明 G 具有完备性(证明 § 4 的定理 1 的条件为满意)。
\* b) 证明如果 G 是群的无限乘积,每个都与习题 4 中定义的拓扑群相同,则 G 是完备的,但不存在 e 上的邻域 ,被视为 的映射入,一致连续*。
解答
尚未写出解答。