Bourbaki

习题 11, § 2

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

一般拓扑, I, 122

Bourbaki marks this one as harder than the rest.

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

如果拓扑空间是两个稠密子集的不相交的并,则称其是可解的。

a) 如果拓扑空间 XX 可解,则证明 XX 没有孤立的点并且 XX 的每个开子空间都是可解的。还反过来证明,如果XX是拓扑空间并且B\mathfrak{B}是XX的非空可解开子空间的集合,使得XX包含的每个非空开子集集合属于到B\mathfrak{B},那么XX是可解的(考虑不相交的互开集合属于到B\mathfrak{B}的最大集合)。

b) 如果柯尔莫戈洛夫空间XX可解,则XX的每个非空开子集都是无限的[使用§ 1的习题2d)]。

c) 令XX为拓扑空间,使得1) XX的非空开子集的最小的基数d\mathfrak{d}是无限的,并且2) 拓扑有基B\mathfrak{B} XX使得card(B)≤d\mathrm{card}(\mathfrak{B}) \leq \mathfrak{d}。证明 XX 可解。 (使用超限归纳到构造两个不相交的密集子集或XX)。按集合理论的方法、章 III, § 6、习题 24 a)。特别是,有理线是可解的。

d) 如果card(U)=card(X)\mathrm{card}(U) = \mathrm{card}(X)对于XX的每个非空开子集,则没有孤立点的拓扑空间XX被称为等差。证明在没有孤立的点的空间XX中,XX包含中的每个非空开集合都有一个等差的非空开子空间。推论如果XX的每个等差开子空间可溶,则XX可溶。

解答

尚未写出解答。

被以下引用

引用了

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