| 查看: 2496 | 回复: 6 | |||
rainbowguy银虫 (正式写手)
|
[求助]
是不是所有的可分度量空间的子空间都是可分的？
|
|
如题，是不是所有的可分度量空间X的子空间Y都是可分的？我的理解是可分的。原因如下：对于可分的度量空间X，必有一个可数的稠密子集M。对于X的子空间Y，也必有M的子集M1在Ｙ中也是稠密的，所以Ｙ也可分。 请教大虾上述理解是否正确？ |
回复此楼» 猜你喜欢
职称评审没过，求安慰
已经有49人回复
-
26申博自荐
已经有3人回复
-
A期刊撤稿
已经有4人回复
-
垃圾破二本职称评审标准
已经有17人回复
-
投稿Elsevier的Neoplasia杂志，到最后选publishing options时页面空白，不能完成投稿
已经有22人回复
-
EST投稿状态问题
已经有7人回复
-
毕业后当辅导员了，天天各种学生超烦
已经有4人回复
-
三无产品还有机会吗
已经有6人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 【新虫求助】，journal of computer国外审稿人--都是找什么级别的人啊
已经有5人回复
- 谢谢3
已经有28人回复
- 学校对小论文要求不高（非英文，非核心）的 可以看看
已经有5人回复
- 基于子空间的人脸识别【无重复】
已经有104人回复
- 为什么感觉自己做的实验数据都是垃圾？
已经有18人回复
- 所有的指示剂变色范围（包括酸碱指示剂，氧化指示剂，金属指示剂）
已经有158人回复
- 大家找工作都是去哪里找的呀？
已经有12人回复
- 悲剧呀！！！我以后的就业前景，，，这万恶的专业，，，可恨又可悲的自己。。。
已经有42人回复
- 【求助】如何求解线性子空间交的一组基【已结】
已经有4人回复
- 没有博士学位的讲师可以申请国家基金面上项目吗？
已经有26人回复
sukiyq
木虫 (小有名气)
- 应助: 25 (小学生)
- 金币: 2808.9
- 散金: 10
- 红花: 3
- 帖子: 211
- 在线: 68.5小时
- 虫号: 1397425
- 注册: 2011-09-10
- 专业: 模式识别
【答案】应助回帖
★ ★ ★
小雨萌萌(金币+3): 3Q~ 2011-09-17 17:57:48
小雨萌萌(金币+3): 3Q~ 2011-09-17 17:57:48
|
对于可分的度量空间X，必有一个可数的稠密子集M，计M={a(i)}，a(i)的个数是可数个。对每一个正整数k，记以点a为圆心，1/k为半径的开球是B(a,1/k)。y由于M在X中稠密，对任意X中的元素x，以及任意正整数k，都存在M中某一个元素a使|x-a|<1/k。所以以每一个a(i)为圆心1/k为半径的圆的并，记为UB(a(i),1/k)就是M的一个覆盖，这样的覆盖对任意k都成立。 对于子空间Y中的任意点y，显然y也属于X，所以必有某一个a(i)使得|y-a(i)|<1/k，即y在开球B(a(i),1/k)中，由于Y是子空间，Y和此开球的交还有其他点(如不然，y就成了子空间Y的一个孤立点，子空间能有孤立点吗?),记为z(a(i),k)。把所有的z(a(i),k)收集起来，这些点至多有可数个，对任意y属于Y，都存在某一个z(a(i),k)，使得y和z(a(i),k)在同一个开球B(a(i),k)中,也就是说|y-z(a(i),k)|<2/k，且他们都是子空间Y的元素，所以{z(a(i),k)}是Y的稠密子集。 |
2楼2011-09-14 00:25:50
sukiyq
木虫 (小有名气)
- 应助: 25 (小学生)
- 金币: 2808.9
- 散金: 10
- 红花: 3
- 帖子: 211
- 在线: 68.5小时
- 虫号: 1397425
- 注册: 2011-09-10
- 专业: 模式识别
【答案】应助回帖
rainbowguy(金币+10): 2011-09-16 11:13:04
|
对于可分的度量空间X，必有一个可数的稠密子集M，计M={a(i)}，a(i)的个数是可数个。对每一个正整数k，记以点a为圆心，1/k为半径的开球是B(a,1/k)。由于M在X中稠密，对任意X中的元素x，以及任意正整数k，都存在M中某一个元素a使|x-a|<1/k。所以以每一个a(i)为圆心1/k为半径的圆的并，记为UB(a(i),1/k)就是M的一个覆盖，这样的覆盖对任意k都成立。 对于子空间Y中的任意点y，显然y也属于X，所以必有某一个a(i)使得|y-a(i)|<1/k，即y在开球B(a(i),1/k)中，由于Y是子空间，Y和此开球的交还有其他点(如不然，y就成了子空间Y的一个孤立点，子空间能有孤立点吗?),记为z(a(i),k)。把所有的z(a(i),k)收集起来，这些点至多有可数个，对任意y属于Y，都存在某一个z(a(i),k)，使得y和z(a(i),k)在同一个开球B(a(i),k)中,也就是说|y-z(a(i),k)|<2/k，且他们都是子空间Y的元素，所以{z(a(i),k)}是Y的稠密子集。 |
3楼2011-09-14 00:26:02
Pchief
铁杆木虫 (正式写手)
- 数学EPI: 26
- 应助: 13 (小学生)
- 贵宾: 0.024
- 金币: 10629.9
- 红花: 36
- 帖子: 987
- 在线: 1988.3小时
- 虫号: 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
rainbowguy
银虫 (正式写手)
- 应助: 4 (幼儿园)
- 金币: 176.7
- 散金: 327
- 红花: 7
- 帖子: 311
- 在线: 219小时
- 虫号: 1107527
- 注册: 2010-09-25
- 性别: GG
- 专业: 污染物行为过程及其环境效
5楼2011-09-14 08:55:31
rainbowguy
银虫 (正式写手)
- 应助: 4 (幼儿园)
- 金币: 176.7
- 散金: 327
- 红花: 7
- 帖子: 311
- 在线: 219小时
- 虫号: 1107527
- 注册: 2010-09-25
- 性别: GG
- 专业: 污染物行为过程及其环境效
6楼2011-09-14 09:16:14
sukiyq
木虫 (小有名气)
- 应助: 25 (小学生)
- 金币: 2808.9
- 散金: 10
- 红花: 3
- 帖子: 211
- 在线: 68.5小时
- 虫号: 1397425
- 注册: 2011-09-10
- 专业: 模式识别
7楼2011-09-14 20:30:41