| 查看: 2521 | 回复: 6 | ||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | ||
rainbowguy银虫 (正式写手)
|
[求助]
是不是所有的可分度量空间的子空间都是可分的？
|
|
|
如题，是不是所有的可分度量空间X的子空间Y都是可分的？我的理解是可分的。原因如下：对于可分的度量空间X，必有一个可数的稠密子集M。对于X的子空间Y，也必有M的子集M1在Ｙ中也是稠密的，所以Ｙ也可分。 请教大虾上述理解是否正确？ |
回复此楼» 猜你喜欢
论文终于录用啦！满足毕业条件了
已经有17人回复
-
不自信的我
已经有5人回复
-
磺酰氟产物，毕不了业了！
已经有4人回复
-
投稿Elsevier的杂志（返修），总是在选择OA和subscription界面被踢皮球
已经有8人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 【新虫求助】，journal of computer国外审稿人--都是找什么级别的人啊
已经有5人回复
- 谢谢3
已经有28人回复
- 学校对小论文要求不高（非英文，非核心）的 可以看看
已经有5人回复
- 基于子空间的人脸识别【无重复】
已经有104人回复
- 为什么感觉自己做的实验数据都是垃圾？
已经有18人回复
- 所有的指示剂变色范围（包括酸碱指示剂，氧化指示剂，金属指示剂）
已经有158人回复
- 大家找工作都是去哪里找的呀？
已经有12人回复
- 悲剧呀！！！我以后的就业前景，，，这万恶的专业，，，可恨又可悲的自己。。。
已经有42人回复
- 【求助】如何求解线性子空间交的一组基【已结】
已经有4人回复
- 没有博士学位的讲师可以申请国家基金面上项目吗？
已经有26人回复
Pchief
铁杆木虫 (正式写手)
- 数学EPI: 26
- 应助: 13 (小学生)
- 贵宾: 0.024
- 金币: 10637.9
- 红花: 36
- 帖子: 987
- 在线: 1990小时
- 虫号: 52235
- 注册: 2004-09-04
- 专业: 泛函分析
★ ★ ★ ★ ★
小雨萌萌(金币+5): 谢谢~ 2011-09-17 17:58:08
小雨萌萌(金币+5): 谢谢~ 2011-09-17 17:58:08
|
一般而言，可分的拓扑空间，其子空间不必可分。但可分的度量空间其子空间必定可分。 但这个命题的证明并不简单。应当注意：当 M 在 X 中稠密时， M ∩ Y 在 Y 中不必稠密。反例有如： X = R^2 为欧氏平面， M 为横纵坐标均为有理数的点全体，显然 M 在 X 中稠。又 Y 为中心在原点，半径为 π 的圆周，则 M ∩ Y 是空集，这是因为假如点 P(x,y) 在 M∩ Y 中，则 根号(x^2+y^2) = π 但上式左边是代数数，右边是超越数，矛盾。因此，M ∩ Y 在 Y 中不稠。 建议由以下步骤来证明这一命题： (1) 对于 X 的可数稠密子集 M，设 D 为中心在 M 中，半径为有理数的开球全体，则 D 中开球的个数可数，并且 X 中每个开集都是 D 中若干开球的并。 (2) 对于 X 的子空间 Y，令 D' 为形如 B ∩ Y 的集合全体，其中 B ∈ D 。并且，不失一般性可假设 D' 中不含空集。则 D' 也是可数的，且 Y 中每一个开集也能表示为 D' 中若干元素的并集。 (3) 在 D' 的每个元素中取一个点 x ，这种 x 的全体记作 M' 。 则 Y 中每个非空开集必与 M' 有非空的交，于是 M' 在 Y 中稠密。又由于 D' 可数， M' 也是可数的。 |
4楼2011-09-14 08:54:53