Bourbaki

习题 14, § 2

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

一般拓扑, IX

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

a) 令 XX 为可达拓扑空间 (章 I, § 8, 习题 1)。证明以下性质是等价的:

α\alpha XX 的点中的每个序列都有一个簇点。 β\beta XX 的无限离散子空间不闭。 γ\gammaXX包含的每个可数开覆盖XX有限开覆盖​​。 δ\delta 给定XX的任何无限开覆盖R\mathfrak{R},存在XX的开覆盖G⊂R\mathscr{G} \subset \mathfrak{R},与R\mathfrak{R}不同。

如果拓扑空间 XX 是 Hausdorff 且具有上述性质,则称其为“可数紧”。

b) 可数紧致空间中的点的序列收敛当且仅当它具有唯一的簇点。

c) 可数紧致空间的每个闭子空间都是可数紧致。相反,如果 XX 是 Hausdorff,并且 XX 的每个点都有邻域的可数基数系统,则 XX 的每个可数紧致子空间都在 XX 中闭合。

d) 设ff是可数紧致空间XX到Hausdorff空间X′X'的连续映射。那么f(X)f(X)是X′X'的可数紧子空间。

e) 令XX为可数紧致空间,其中每个点都有一个可数基数系统为邻域。那么XX的点的每一个序列都有一个收敛子序列。

f) 设(Xn)(X_n)是拓扑空间的可数序列,其中每个点都有一个邻域的可数基本系统。

乘积空间 ∏n=1∞Xn\prod_{n=1}^\infty X_n 是可数紧致的当且仅当空间 XnX_n 中的每一个都是可数紧致的。 [使用 e) 和章 I, § 6、习题 16。]

g) 可数紧致空间,其中每个点都有邻域的可数基本系统是正则的。

h) 如果可数紧致空间具有开集合的可数基,则它是紧致的,因此可度量。

i) 可数紧凑空间上的每个下半连续实值函数都达到其下确界。特别是,每个可数紧致空间都是伪紧致 (§ 1,\S \ 1, 习题 21) [cf. § 4,\S \ 4, 习题 26 b)]。

j) 表明 a) 的性质 δ)\delta) 意味着以下内容:

ζ)\zeta) 每个点有限 (§ 4,\S \ 4, no. 3) XX 包含 XX 的有限开覆盖。 (通过矛盾论证。)相反,满足 ζ)\zeta) 的正则空间是可数紧的 [表明 ζ)\zeta) 则蕴含 β)\beta)]。

解答

尚未写出解答。

被以下引用

引用了

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