习题 12, § 1
标签 0BWP,永久不变。引用为 [Bourbaki, Tag 0BWP]。
一般拓扑, VI
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
a) 令为到的映射,令为的图。假设在中是稠密的,并且满足中的每个完美集合,该完美集合不包含在第行的任何可数并中。表明 已连通。 (如果这是假的,证明中存在两个非空不相交的开集合,使得是和的并,并且至少存在一个点 和的一个点具有相同的横坐标,利用相连的事实,然后使用习题11。)
b) 由a)推导出有线性映射进入,其图在中稠密且连通。 [使用a)和习题11,定义通过的超限归纳值在点的Hamel基的,使用与集合中相同的方法理论,章III, § 6,习题24.]推出的子群满足条件(R_I)和章的(R_{II}) V, § 3、习题 4,但不是局部紧凑的,因此拓扑严格地比更细通常的拓扑为;并且不是本地连接的。
解答
尚未写出解答。