习题 25, § 4
标签 0C6S,永久不变。引用为 [Bourbaki, Tag 0C6S]。
一般拓扑, IX
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
如果给定 的任何开覆盖 ,存在对 进行细化 的点有限开覆盖,则 Hausdorff 空间 被称为“元紧”。
a) 证明元紧致空间的每个闭子空间都是元紧致,并且如果元紧致空间 的每个开子空间都是元紧致,那么 的每个子空间都是元紧致。
b) 令为Hausdorff空间,并令为上的闭等价关系,所有等价类都是紧致的。证明如果 是元紧致的,则 是元紧致的[论证如习题 21 b)]。
c) 证明既是元紧又是可数紧的拓扑空间 (§ 2, 习题 14) 是紧的。 [使用 Zorn 的引理来证明每个点有限开覆盖 包含是一个最小开覆盖,并使用 § 2、习题 14 a)。]
d) 章 I, § 9、习题 12 中定义的局部紧致、完全正常的空间 不是超紧致 (*)。
e) 令为可度量的空间,并令为的子集,使得及其补集在中稠密。 令表示将和集合开集合生成的拓扑赋予而得到的非常规空间。 证明 是超紧的。 (对于每个,考虑的邻域包含在的给定开放覆盖的集合中,使得如果,并且使得是邻域如果,则在中。 注 的子空间 是仿紧子, 的 的并也是仿紧子。)
解答
尚未写出解答。