数学联邦政治世界观
超小超大

Vitali Set的“病态性质”

Vitali Set(下文称维塔利集)是利用选择公理构造出的不满足实数子集正则性质(regularity property)的一个集合。其构造是这样的:令 ∼ 是 [0,1] 的等价关系,其中 x∼y↔∃q∈Q(x−y=q) ,令 ℜ={[x]:x∈[0,1]} ,其中 [x] 是等价类,不难看出 [x]≠[y]→[x]∩[y]=∅ ;根据选择公理,我们令 ν 是从每个等价类中挑选出的一个元素构成的集合,ν 就是一个维塔利集。显然 ν 有如下性质:第一,

x,y∈ν →∀q∈Q(x−y≠q) ;

第二,

∀x∈[0,1]∃!y∈ν∃!q∈Q(x−y=q) ;

第三, R=⋃q∈Q ν+q ,其中 ν+q={x+q:x∈ν} 。

定理 1 :维塔利集 ν 不是勒贝格可测集。

证明:假设 ν 可测,则 ν 要么是零测集要么测度大于零。如果维塔利集 ν 是零测集,那么根据可数可加性可得 μ(R)=μ(∑q∈Qν+q)=∑q∈Qμ(ν+q)=0 ,矛盾(注意 r,s∈Q∧r≠s 蕴含 (ν+s)∩(ν+r)=∅ );如果 μ(ν)=ϵ>0 ,那么 μ([−1,2])≥∑q∈Q∩[0,1]μ(ν+q)=∞ ,矛盾,反证 ν 不可测。 ⊣

定理 2 :维塔利集 ν 不满足Baire性质。

证明:Baire性质是指存在开集 G 使得 G△ν 是第一范畴集。如果 ν 满足Baire性质,那么存在 G=⋃ᵢ(αᵢ,bᵢ) 满足 G△ν 是第一范畴集(这是有实数集的拓扑性质决定的),因此必然存在 (α,b) 满足 (α,b)−ν 是第一范畴集。由于 q∈Q→(ν+q)∩ν=∅ ,因此 (α,b)∩(ν+q) 是第一范畴集,进一步得 (α−q,b−q)∩ν 是第一范畴集。由于 (α,b)∩ν⊆⋃q∈Q(α−q,b−q)∩ν ,因此 (α,b)∩ν 是第一范畴集,这就有 (α,b)=((α,b)−ν)∪((α,b)∩ν) 是第一范畴集,但是Baire证明了所有完备度量空间都是第二范畴集、

(R,d) 是完备度量空间且 R 和 (α,b) 拓扑同胚,因此 (α,b) 是第二范畴集,矛盾,反证 ν 不满足Baire性质。⊣

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

远航,归家 连载中
远航,归家
熙年_981297772
挖了坑,就会填。微重生。
0.3万字12个月前
我在盛世找你在末世爱我 连载中
我在盛世找你在末世爱我
你与鱼吻雨
那我们会在另一个平行世界重逢
7.9万字12个月前
器灵和我的吸血鬼男友后续 连载中
器灵和我的吸血鬼男友后续
晴天8
新的人类女孩又展开了一系列故事爱的人是吸血鬼弟弟喜欢的人又是器灵想和俩位姐弟将何去何从
5.1万字12个月前
十一日常记录站 连载中
十一日常记录站
冬池
移步林思祈
1.4万字12个月前
误落尘网中,一去十三年 连载中
误落尘网中,一去十三年
星河在北
一个南瓜的爆笑仙侠之旅
4.5万字12个月前
斗龙战士之爱恋的开始 连载中
斗龙战士之爱恋的开始
凯风风殿
简介正在更新
0.6万字12个月前