24小时热门版块排行榜    

查看: 3091  |  回复: 13
本帖产生 1 个 数学EPI ,点击这里进行查看

Ptolomaeus

铁杆木虫 (正式写手)

[求助] 问个泛函分析的问题, 有关序列极限,略难。。。

在拓扑空间中,序列子列的极限称为序列的极限点,其全体称为极限点集。设(X,d)是度量空间。如果X中两个序列{x_n},{y_n}有相同的极限点集,证明有个双限f:N-->N  使 lim_n d(x_n,y_{f(n)})=0。( N是自然数集。)

[ Last edited by Ptolomaeus on 2011-12-27 at 19:22 ]
回复此楼

» 收录本帖的淘帖专辑推荐

番茄园子

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
回帖置顶 ( 共有1个 )

xxxfield

银虫 (小有名气)

【答案】应助回帖

感谢参与,应助指数 +1
Ptolomaeus(金币+40): ★★★很有帮助 2012-01-01 22:17:58
nono2009(数学EPI+1): 成功应助 2012-01-02 07:43:27
设极限点集为K,取一序列epsilon_n单调下降趋向于0。对n=1,存在N_1,当n>N_1时, x_n,y_n都属于K的epsilon_1邻域K_1内,这样{x_n},{y_n},(n<=N_1)可作一一对应。由紧性,可将K_1划分成互不相交的有限份,设为K_1^1,K_1^2,...,K_1^{m1},使得每个K_1^j的直径小于等于epsilon_1,且都含有K中的点。这样可将{x_n},{y_n},(n>N_1)同时划分成有限份,设为{x_n^1},...,{x_n^{m1}},{y_n^1},...,{y_n^{m1}}(每个都是无穷序列),使得{x_n^j},{y_n^j}都属于K_1^j,显然|x_n^j-y_n^j|<=epsilon_1。接下来,对每个K与K_1^j的交集以及epsilon_2作同样的过程,使得在{x_n^j},{y_n^j}中除有限个点(两个序列中取一样多的个数)外,都在K的epsilon_2邻域内,而这除外的有限个点之间可建立一一对应,且它们之间的距离<=epsilon_1。接下来的过程应该明白了。
8楼2011-12-30 12:46:24
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通回帖

Ptolomaeus

铁杆木虫 (正式写手)

木有人回答。。。顶一下
2楼2011-12-27 23:39:12
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

begtostudy

金虫 (正式写手)

Dr. 白途思


3楼2011-12-28 08:56:47
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

jollage

银虫 (正式写手)

【答案】应助回帖


感谢参与,应助指数 +1
soliton923(金币+1): 谢谢参与讨论~~~ 2011-12-28 22:22:14
Ptolomaeus(金币+1): 有帮助 |x_n - y_n|Ptolomaeus(金币+9): 2012-01-01 11:36:45
对于某一个epsilon,总有n使
|x_n - y_{f(n)}|<|x_n - y_n| + |y_n - y_{f(n)}|< epsilon/2 + epsilon/2

|x_n - y_n|
4楼2011-12-28 21:36:13
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Ptolomaeus

铁杆木虫 (正式写手)

引用回帖:
: Originally posted by jollage at 2011-12-28 21:36:13:
对于某一个epsilon,总有n使
|x_n - y_{f(n)}|<|x_n - y_n| + |y_n - y_{f(n)}|< epsilon/2 + epsilon/2

|x_n - y_n|<epsilon/2  是已知,|y_n - y_{f(n)}|<epsilon/2 是紧空间。

|x_n - y_n|
5楼2011-12-29 20:25:34
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

jollage

银虫 (正式写手)

【答案】应助回帖


小雨萌萌(金币+1): 谢谢回帖~ 2011-12-30 09:45:08
我是这样想的:
如果对于某一个epsilon,我们有{x_n}中的某个子序列趋向于极限点P,因为{x_n}和{y_n}有相同的极限点集,在P附近肯定有一个属于{y_n}的子序列趋向于P,所以可以找到这样的n使得|x_n - y_n|
6楼2011-12-29 21:52:06
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Ptolomaeus

铁杆木虫 (正式写手)

引用回帖:
: Originally posted by jollage at 2011-12-29 21:52:06:
我是这样想的:
如果对于某一个epsilon,我们有{x_n}中的某个子序列趋向于极限点P,因为{x_n}和{y_n}有相同的极限点集,在P附近肯定有一个属于{y_n}的子序列趋向于P,所以可以找到这样的n使得|x_n - y_n|<eps ...

子序列说不清楚
另外存在这样的n与存在N,任意n>N都成立是不一样的
7楼2011-12-29 22:14:12
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

jfili

金虫 (正式写手)

【答案】应助回帖

★ ★ ★
感谢参与,应助指数 +1
nono2009(金币+3): 鼓励应助 2012-01-02 07:42:59
由于(X,d)为紧的度量空间,我证明下面一个结论:设有界实数集[0,1]中有两个极限点集相同的数列{xn}、{yn},则一定存在双限f: N---->N,使得
lim_n |x_n-y_{f(n)}|=0。而原问题的证明与此相似。

第一步:{xn}可以分解为最多可列个不相交的子集{xnk}的并,且每一个子列都是收敛的
证明:将[0,1]分解为两个区间[0,1/2)、[1/2,1],{xn}也被分解为两个子列,如果其中只有有限个点,则作为另一个区间点集的前有限个点,如果其中有无限个点,将这区间平分……一直进行进去,分界点都是有理数,所以点集{xn}被分为最多可列个点集。极限相同的点集合并后就得到了最多可列个点集,且每个点集都有唯一的极限点。
说明:如果没有紧性,上述空间分割是不能做到的。
第二步:设{xn(i)}和{ym(j)}为{xn}和{yn}的满足上述分割的子集,且极限相同。再由于{xn}和{yn}极限点集相同,所以定义映射 f(n(i))=m(j)
可以验证n(i)和m(j)的并为自然数集,且f为双射
9楼2011-12-31 19:53:28
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Ptolomaeus

铁杆木虫 (正式写手)

引用回帖:
9楼: Originally posted by jfili at 2011-12-31 19:53:28:
由于(X,d)为紧的度量空间,我证明下面一个结论:设有界实数集[0,1]中有两个极限点集相同的数列{xn}、{yn},则一定存在双限f: N---->N,使得
lim_n |x_n-y_{f(n)}|=0。而原问题的证明与此相似。

第一步:{ ...

你这样划分的端点可以和[0,1]之间二进制小数全体形成一一对应,从而是不可列的。
10楼2012-01-01 11:51:21
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 Ptolomaeus 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 投票:  有多少人是今天查系统知道结果的? +7 爱看书的可乐 2026-08-26 8/400 2026-08-26 10:50 by cmrandy
[基金申请] 系统查不到 +3 董八千 2026-08-26 3/150 2026-08-26 10:38 by dly19880520
[基金申请] 国合里面能看到了 +6 一怀馨秋 2026-08-26 6/300 2026-08-26 10:19 by guo2070
[基金申请] 今天务委会开完了,明天出结果吗 +19 angus9576 2026-08-25 23/1150 2026-08-26 10:03 by zp519
[基金申请] 项目信息和经费信息在系统里都可以看到了 +6 wittyboy 2026-08-26 13/650 2026-08-26 09:48 by wittyboy
[基金申请] 牛来!米来!面来! +8 beefly 2026-08-26 8/400 2026-08-26 08:37 by xuzhipiao
[基金申请] 2026年8月25日国自然放榜前突然收到列入评审专家邮件,有关系吗? +24 木水思豆 2026-08-25 27/1350 2026-08-26 08:26 by yanchen918
[基金申请] 明天应该可查了!? +6 chengyan1220 2026-08-23 6/300 2026-08-25 19:45 by zfd97
[基金申请] 有没有大神帮我看看基金代码 28+4 1234567wang 2026-08-24 10/500 2026-08-25 19:15 by lfy8008
[基金申请] 某些机构,以效率低为荣,以效率低作为存在感 +9 yuleib84 2026-08-25 10/500 2026-08-25 17:14 by alexon
[基金申请] 今日不放榜?网传国自然预计 8 月 27 日可查结果 +17 医学老男孩 2026-08-20 22/1100 2026-08-25 15:36 by 医学老男孩
[基金申请] 没有任何消息-是不是就凉了 +9 图啦图啦 2026-08-24 10/500 2026-08-25 11:59 by 南海小哥
[基金申请] 人气不行了 +11 fansofjerry 2026-08-21 11/550 2026-08-25 11:04 by 孤独的英雄6
[教师之家] 导师吐槽:我怎么摊上了这么个极品研究生! +3 苏东坡二世 2026-08-23 3/150 2026-08-25 10:35 by shisan1313
[基金申请] 我面上完蛋了 +13 且听虎啸 2026-08-20 14/700 2026-08-25 09:10 by mrkang
[基金申请] 只有每年这种时候来逛逛小木虫 +25 yaoyewhu2008 2026-08-20 27/1350 2026-08-25 08:01 by Equinoxhua
[基金申请] 让我中一个面上吧! +13 大萍1987 2026-08-20 16/800 2026-08-24 10:23 by 太傻了
[基金申请] 看来今天不会放榜了? +8 chengyan1220 2026-08-21 11/550 2026-08-21 17:52 by dcqxinyang
[基金申请] 时间戳又变了 +13 wuchongjun 2026-08-20 19/950 2026-08-21 17:21 by 紫杉醇
[基金申请] 基金啊基金 +4 longfie172 2026-08-20 4/200 2026-08-21 08:58 by mark mao
信息提示
请填处理意见