Bourbaki

习题 25, § 4

标签 0C6S,永久不变。引用为 [Bourbaki, Tag 0C6S]。

一般拓扑, IX

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

如果给定 XX 的任何开覆盖 RR,存在对 XX 进行细化 RR 的点有限开覆盖​​,则 Hausdorff 空间 XX 被称为“元紧”。

a) 证明元紧致空间的每个闭子空间都是元紧致,并且如果元紧致空间 XX 的每个开子空间都是元紧致,那么 XX 的每个子空间都是元紧致。

b) 令XX为Hausdorff空间,并令RR为XX上的闭等价关系,所有等价类都是紧致的。证明如果 X/RX/R 是元紧致的,则 XX 是元紧致的[论证如习题 21 b)]。

c) 证明既是元紧又是可数紧的拓扑空间 (§ 2, 习题 14) 是紧的。 [使用 Zorn 的引理来证明每个点有限开覆盖​​ 包含是一个最小开覆盖,并使用 § 2、习题 14 a)。]

d) 章 I, § 9、习题 12 中定义的局部紧致、完全正常的空间 X=[a,b[X = [a, b[ 不是超紧致 (*)。

e) 令YY为可度量的空间,并令AA为YY的子集,使得AA及其补集在YY中稠密。 令XX表示将YY和集合AA开集合生成的拓扑赋予YY而得到的非常规空间。 证明 XX 是超紧的。 (对于每个x∈Xx \in X,考虑xx的邻域VxV_x包含在XX的给定开放覆盖R\mathfrak{R}的集合中,使得Vx⊂AV_x \subset A如果x∈Ax \in A,并且使得VxV_x是邻域如果x∉Ax \notin A,则xx在YY中。 注 XX 的子空间 AA 是仿紧子,x∉Ax \notin A 的 VxV_x 的并也是仿紧子。)

解答

尚未写出解答。

被以下引用

引用了

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