Bourbaki

习题 12, § 1

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

一般拓扑, VI

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

a) 令ff为R\mathbf{R}到R\mathbf{R}的映射,令G⊂R2G \subset \mathbf{R}^2为ff的图。假设GG在R2\mathbf{R}^2中是稠密的,并且满足R2\mathbf{R}^2中的每个完美集合,该完美集合不包含在第{xn}×R\{x_n\} \times \mathbf{R}行的任何可数并中。表明 GG 已连通。 (如果这是假的,证明R2\mathbf{R}^2中存在两个非空不相交的开集合A,BA, B,使得GG是G∩AG \cap A和G∩BG \cap B的并,并且至少存在一个点 AA和BB的一个点具有相同的横坐标,利用R\mathbf{R}相连的事实,然后使用习题11。)

b) 由a)推导出R\mathbf{R}有线性映射ff进入R\mathbf{R},其图GG在R2\mathbf{R}^2中稠密且连通。 [使用a)和习题11,定义通过ff的超限归纳值在点的Hamel基的R\mathbf{R},使用与集合中相同的方法理论,章III, § 6,习题24.]推出R2\mathbf{R}^2的子群GG满足条件(R_I)和章的(R_{II}) V, § 3、习题 4,但不是局部紧凑的,因此拓扑严格地比更细通常的拓扑为R\mathbf{R};并且GG不是本地连接的。

解答

尚未写出解答。

被以下引用

引用了

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