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

Full outer measure的定义

在一个Fσ集F ⊂ Xᶜ 使得

μ(F)=μ*(Xᶜ),定义G=Fᶜ,则G ⊃ X是一个Gδ 集,并且

μ*(G\X)=μ*(Xᶜ\F) ≤ μ*(Xᶜ) — μ(F)=0.

所以这个G便是要求的集合。

定义2:任给集合Y ⊂ X ⊂ [0,1],称Y在X上有full outer measure,当且仅当

env(Y)=env(X),即二者拥有相同的包络。

现在来验证几个关于这两个定义的等价命题。

命题1:集合G为集合X的包络当且仅当对任何borel集A ⊂ [0,1],有

μ(A∩G)=μ*(A∩X)。

首先,μ(A∩G) ≥ μ*(A∩X)是显然的。先证明从左到右,任取borel集A,假设μ(A∩G)>μ*(A∩X),来引出矛盾。取一个Gδ集E ⊃ A ∩ X 使得

μ(E)=μ* (A∩X),此时令

F=(A∩G)\E,可知F是borel的,而且因为μ(E)=μ*(A∩X)<μ (A∩G),所以μ(E)>0 。但是, 注意到

F=(B∩G)\E ⊂ (B∩G)\(B∩X)=B∩(G\X)

所以F ⊂ G\X,而μ*(G\X)=0,所以μ(F)=0,矛盾。

在来证明从右边到左边。考察μ*(G\X),任给闭集D ⊂ G\X,来证明

μ(D)=0。因为

μ(D)=μ(D∩G)=μ*(D∩X)=μ*(∅)=0.

所以μ*(G\X)=0。

命题2:定义2等价于:对任何borel集A ⊂ [0,1],如果 A∩X 是non-null的,则 A∩Y 是non-null的。

先来证明从左到右:取G为X和Y共同的包络。现固定任何borel集A,如果A∩X是

non-null的,即μ*(A∩X)>0,则由命题1可得:

μ*(A∩Y)=μ(A∩G)=μ*(A∩X)>0.

从而 A∩Y也是non-null的。

再来证明从右到左。任取G为X的包络,我们只需要证明G也为Y的包络即可。假设不然,即μ*(G\Y)>0,则存在Fσ集

H ⊂ G\Y,使得

μ(H)=μ*(G\Y)>0。但因为

H∩Y=∅.所以 H∩Y 是null的,由前提假设,这使得H∩X也是null的。然而根据

命题1,

0=μ*(H∩X)=μ(H∩G)=μ(H)>0,

矛盾。

命题3:定义2等价于:对于任何borel集

A ⊂ [0,1],如果A∩X是non-null的,则

A∩Y≠∅.

由命题2,左边蕴含右边是显然的。现在“证明右边蕴含左边。取G为X的包络,我们只需证明G也为Y的包络。实际上证明和命题2的充分性相似。假设G不是Y的包络,则存在Fσ集H ⊂ G\Y使得

μ(H)=μ*(G\Y)>0。但是此时

H∩Y=∅,运用充分性假设,我们有H∩X是null的。但是根据命题1,

0=μ*(H∩X)=μ(H∩G)=μ(H)>0,

矛盾。

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

锦年金缘 连载中
锦年金缘
浅和苏
很多年后,众人才知道,那年他们的遇见,早已注定……
0.6万字6个月前
勿入混圈 连载中
勿入混圈
段筱玖
女主段筱筱的作死之路
0.2万字6个月前
快穿之恋爱脑男主养成记 连载中
快穿之恋爱脑男主养成记
177***305_2182843138
萧晓:男德班创始人,养成经验源于男人,用于男人。致力于养成恋爱脑男人。
0.3万字3个月前
神凰之上 连载中
神凰之上
墨莲宜
1.4万字3个月前
谢绝凌 连载中
谢绝凌
白芷沂
在这个宇宙中,女主角就如同那破晓前的孤星,身披一袭神秘的面纱,让人难以捉摸。似乎命运之神特意为她安排了一场跌宕起伏的剧本,她的故事像是一首待......
1.7万字3个月前
青丝与白发 连载中
青丝与白发
是亭
请勿上升正主
14.7万字2周前