习题 20, § 2
标签 0C3S,永久不变。引用为 [Bourbaki, Tag 0C3S]。
一般拓扑, IX
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
a) 在可度量的局部紧致空间上给出闭等价关系的例,它具有可数基,使得是仿紧致的,但存在的点,它没有可数的基数系统邻域 [cf. 章 I, § 10、习题 17 和章 IX, § 4、习题 24 a)]。
b) 令为可度量的空间,并令为上的闭等价关系。 证明如果 的每个点都具有邻域的可数基本系统,则每个等价类 (mod ) 在 中都有一个紧致边界。 (表明如果结果为假,则中将存在序列,所有点都是不同的,没有集群点,并且中的像是序列,其收敛到与所有点不同的点序列。)对于每个,令为中的逆像,并令为的边界(如果该边界不为空);如果既开又闭,则令小于单个点的由……组成中的任意子集。 令为集合的并,因为贯穿。 证明 同胚于 。
解答
尚未写出解答。