习题 11, § 2
标签 0B12,永久不变。引用为 [Bourbaki, Tag 0B12]。
一般拓扑, I, 122
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
如果拓扑空间是两个稠密子集的不相交的并,则称其是可解的。
a) 如果拓扑空间 可解,则证明 没有孤立的点并且 的每个开子空间都是可解的。还反过来证明,如果是拓扑空间并且是的非空可解开子空间的集合,使得包含的每个非空开子集集合属于到,那么是可解的(考虑不相交的互开集合属于到的最大集合)。
b) 如果柯尔莫戈洛夫空间可解,则的每个非空开子集都是无限的[使用§ 1的习题2d)]。
c) 令为拓扑空间,使得1) 的非空开子集的最小的基数是无限的,并且2) 拓扑有基 使得。证明 可解。 (使用超限归纳到构造两个不相交的密集子集或)。按集合理论的方法、章 III, § 6、习题 24 a)。特别是,有理线是可解的。
d) 如果对于的每个非空开子集,则没有孤立点的拓扑空间被称为等差。证明在没有孤立的点的空间中,包含中的每个非空开集合都有一个等差的非空开子空间。推论如果的每个等差开子空间可溶,则可溶。
解答
尚未写出解答。