24小时热门版块排行榜    

CyRhmU.jpeg
查看: 2060  |  回复: 15

rainbowguy

银虫 (正式写手)


[交流] 【求助】怎么理解证明E为可测集的另一种方式?

如下图所示,
回复此楼

» 猜你喜欢

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

» 抢金币啦!回帖就可以得到:

查看全部散金贴

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

chengwan

木虫 (初入文坛)


谁这样证明?
2楼2011-01-12 10:41:24
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

rainbowguy

银虫 (正式写手)


引用回帖:
Originally posted by chengwan at 2011-01-12 10:41:24:
谁这样证明?

下图为证明过程:
3楼2011-01-12 10:55:58
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
E 是可测集,这是已知的题设条件,不是要证明的结论,要证明的结论是 f 为可测函数
4楼2011-01-12 11:06:14
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

rainbowguy

银虫 (正式写手)


证明可测函数前,要证明E(f 关键是上面证明E(f 的方法。也就是第二种方式,请解释下,为什么这种方式能证明是可测集?
引用回帖:
Originally posted by Pchief at 2011-01-12 11:06:14:
E 是可测集,这是已知的题设条件,不是要证明的结论,要证明的结论是 f 为可测函数

5楼2011-01-12 15:29:24
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
开集恒为Borel集,Borel集恒为可测集,两个可测集的交还是可测集,这些都是常识,对于E∩G的可测性还有疑问吗?
6楼2011-01-12 15:56:43
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

rainbowguy

银虫 (正式写手)


麻烦Pchief大虾仔细看下定理1 的证明过程。如果按你说的,E(f 整个定理1的证明都是在证明E(f引用回帖:
Originally posted by Pchief at 2011-01-12 15:56:43:
开集恒为Borel集,Borel集恒为可测集,两个可测集的交还是可测集,这些都是常识,对于E∩G的可测性还有疑问吗?

7楼2011-01-12 16:20:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
rainbowguy(金币+4): 2011-01-12 17:19:15
你还是没说清你的疑问所在,这么说吧:你所不明白的地方是(请选择)

(1)为什么会存在开集 G 使得 E {f (2)为什么E∩G是一个可测集,还是
(3)以上两者兼有,或者是
(4)其他地方。

先选择一个,我才好有针对性的回答。
8楼2011-01-12 16:41:02
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

rainbowguy

银虫 (正式写手)


我的疑问是为什么用 E∩G 来证明 E {f 证明中当证明了 E {f引用回帖:
Originally posted by Pchief at 2011-01-12 16:41:02:
你还是没说清你的疑问所在,这么说吧:你所不明白的地方是(请选择)

(1)为什么会存在开集 G 使得 E {f (2)为什么E∩G是一个可测集,还是
(3)以上两者兼有,或者是
(4)其他地方 ...

9楼2011-01-12 16:59:49
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
rainbowguy(金币+4): 2011-01-12 17:58:00
引用回帖:
Originally posted by rainbowguy at 2011-01-12 16:59:49:
我的疑问是为什么用 E∩G 来证明 E {f 证明中当证明了 E {f

引入开集 G, 把可测性未知的 E {f思路是基于连续函数的另一定义,即如果“开集的原象是开集”,则函数 f 称为是连续的。这种定义是 拓扑学 上采用的定义。当然这个定义跟分析学中ε-δ定义等价,但这里我们不去详细验证。于是,站在拓扑学的观点上看,这个命题就是无比显然的:区间(-∞, a)显然是一个开集,而集合 E {f相对于 E 的开集。在拓扑学中,相对于某个子集的开集这一概念指的正是该子集与全空间的某个开集的交集,所以自然有 E {f
10楼2011-01-12 17:45:32
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

rainbowguy

银虫 (正式写手)


没有太看明白..
E {f 为什么E∩G可测性明显是可测集?
我没有明显看出来,E∩G一定是可测集吗?
引用回帖:
Originally posted by Pchief at 2011-01-12 17:45:32:


引入开集 G, 把可测性未知的 E {f思路是基于连续函数的另一定义,即如果“开集的原象是开集”,则函数 f 称为是连续的。这种定义是 拓扑学 上采用的定义 ...

11楼2011-01-12 17:57:29
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
E∩G可测的理由见6楼
12楼2011-01-12 17:59:31
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

rainbowguy

银虫 (正式写手)


G为可测集,两个可测集的交还是可测集,但是E的可测性未知,
E∩G的可测吗?
引用回帖:
Originally posted by Pchief at 2011-01-12 15:56:43:
开集恒为Borel集,Borel集恒为可测集,两个可测集的交还是可测集,这些都是常识,对于E∩G的可测性还有疑问吗?

13楼2011-01-12 18:02:05
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

rainbowguy

银虫 (正式写手)


我明白了,E(f 所以需要证明E(f引用回帖:
Originally posted by rainbowguy at 2011-01-12 18:02:05:
G为可测集,两个可测集的交还是可测集,但是E的可测性未知,
E∩G的可测吗?


14楼2011-01-12 18:04:54
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
rainbowguy(金币+6): 2011-01-12 20:59:52
E 的可测性是题设。
15楼2011-01-12 18:26:07
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hill008

金虫 (正式写手)


rainbowguy(金币+1): 2011-01-12 20:59:58
人家是在证明f连续则必Lebesgue可测。
16楼2011-01-12 20:27:51
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 rainbowguy 的主题更新
普通表情 高级回复(可上传附件)
信息提示
请填处理意见