习题 16, § 2
标签 0BQ9,永久不变。引用为 [Bourbaki, Tag 0BQ9]。
一般拓扑, IV
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
令 为连通的 Hausdorff 空间,它在两个不同的点 和 之间是完全不可约的,也就是说,除了 本身之外, 不存在连通的子集,而包含都是和。证明是连通的,并且对于每个,中的补集恰好有两个分量和,使得。 [证明不能被章I, § 11的利用习题4a)划分为三个非空开集合。]推导出上存在线性排序,与拓扑兼容(使用习题 15)。
解答
尚未写出解答。