Bourbaki

习题 2, § 1

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

一般拓扑, I, 117

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

a) 令XX为有序集合。显示集合的间隔

[x,→[(resp.]←,x]) [x, \to[ \quad (\text{resp.}] \leftarrow, x])
是 XX 上的拓扑的基;这个拓扑称为XX的右(或左)拓扑。在右边拓扑中,开集合的任意交都是开集合,{x}\{x\}的闭包是区间]←,x]] \leftarrow, x]。

b) 如果拓扑空间满足以下条件,则称其为柯尔莫戈洛夫空间:给定XX的任意两个不同的点x,x′x, x',其中点之一存在邻域,且不存在邻域包含另一个。证明有序集合与右拓扑是柯尔莫戈洛夫空间。

c) 设XX为柯尔莫戈洛夫空间,其中开集合的每个交都是一个开集合。证明x∈{x′}x \in \{x'\}是XX中xx和x′x'之间的序关系,并且如果将这个关系写成x⩽x′x \leqslant x',那么XX上给定的拓扑与由此确定的右拓扑相同订购。

d) 从 c) 推导出,如果 XX 是柯尔莫戈洛夫空间,则 XX 的每个有限非空子集至少有一个孤立的点。因此,如果XX没有孤立的点,则XX的每个非空开子集都是无限的。

解答

尚未写出解答。

被以下引用

引用了

无。

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