東大の授業で奮闘するスレ

329：臺地 ◆6rqpPuO9q2：2007/03/13(火) 22:51:38: Lem2.11
E1,E2,・・・∈Lなら、∪[n=1,∞]En∈Lである。
E1,E2,・・・が互いに素なら、m(∪En)=Σ[n=1,∞]m(En)

証明
E1∩E2≠φだとしても、E2'=E2＼E1=E2∩E1^c=(E2^c∪E1)^c(これは可測)とかおいて互いに素
なものに切り離せるので、初めからE1,・・・は互いに素としてよい。

∀A∈2^ Rをとり、m*(A∩∪En)+m*(A∩∩En^c)≦m*(A)を示す。
A∩∪En=∪(A∩En)で、劣加法性、単調性より、
左辺≦Σ[j=1,∞]m*(A∩Ej)+m*(A∩∩[j=1,∞]Ej^c)=sup[n≧1]Σ[j=1,n]m*(A∩Ej)+m*(A∩∩[j=1,n]Ej^c)
これがm*(A)以下であることを示せばよい。

ここで、Lem2.10より、∀n≧1に対し、
Σ[j=1,n]m*(A∩Ej)+m*(A∩∩[j=1,n]Ej^c)=m*(A∩∪[j=1,n]Ej)+m*(A∩∩[j=1,n]Ej^c)=m*(A)なのでOK。

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板