习题 12, § 2
标签 0BQ5,永久不变。引用为 [Bourbaki, Tag 0BQ5]。
一般拓扑, IV
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
a) 令为良序集,并令表示的区间[0, 1[。证明集合 ,按字典顺序线性排序并赋予拓扑 ,是连通的 (习题 7);因此,存在线性有序集 ,它们在拓扑 中相连,并具有任意基数 [cf. , 习题 7 b)]
b) 取为不可数良序集,其中]都是可数的:相应的拓扑空间称为Alexandroff半线。证明对于 () 的每个区间 , 的严格递增的同胚到 的区间 。 (通过超限归纳证明存在严格递增的同胚,与点的集合、的等价于的子空间。)
解答
尚未写出解答。