习题 14, § 2
标签 0C3M,永久不变。引用为 [Bourbaki, Tag 0C3M]。
一般拓扑, IX
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
a) 令 为可达拓扑空间 (章 I, § 8, 习题 1)。证明以下性质是等价的:
的点中的每个序列都有一个簇点。 的无限离散子空间不闭。 包含的每个可数开覆盖有限开覆盖。 给定的任何无限开覆盖,存在的开覆盖,与不同。
如果拓扑空间 是 Hausdorff 且具有上述性质,则称其为“可数紧”。
b) 可数紧致空间中的点的序列收敛当且仅当它具有唯一的簇点。
c) 可数紧致空间的每个闭子空间都是可数紧致。相反,如果 是 Hausdorff,并且 的每个点都有邻域的可数基数系统,则 的每个可数紧致子空间都在 中闭合。
d) 设是可数紧致空间到Hausdorff空间的连续映射。那么是的可数紧子空间。
e) 令为可数紧致空间,其中每个点都有一个可数基数系统为邻域。那么的点的每一个序列都有一个收敛子序列。
f) 设是拓扑空间的可数序列,其中每个点都有一个邻域的可数基本系统。
乘积空间 是可数紧致的当且仅当空间 中的每一个都是可数紧致的。 [使用 e) 和章 I, § 6、习题 16。]
g) 可数紧致空间,其中每个点都有邻域的可数基本系统是正则的。
h) 如果可数紧致空间具有开集合的可数基,则它是紧致的,因此可度量。
i) 可数紧凑空间上的每个下半连续实值函数都达到其下确界。特别是,每个可数紧致空间都是伪紧致 ( 习题 21) [cf. 习题 26 b)]。
j) 表明 a) 的性质 意味着以下内容:
每个点有限 ( no. 3) 包含 的有限开覆盖。 (通过矛盾论证。)相反,满足 的正则空间是可数紧的 [表明 则蕴含 ]。
解答
尚未写出解答。