測度論の中で、特に有限測度空間における集合の測度に関する命題は重要です。本記事では、与えられた命題「任意のA∊Σに対し、μ(A)>0ならばあるB∊Σが存在してB⊂Aかつμ(B)>0となる」を基に、「Aに含まれる可測集合の中で測度が最大のものが存在する」ことを証明する方法について解説します。
命題の解説
まず、与えられた命題は次の内容です。有限測度空間(S, Σ, μ)において、「任意のA∊Σに対し、μ(A)>0ならばあるB∊Σが存在してB⊂Aかつμ(B)>0となる」という条件が成り立ちます。このとき、A∊Σがμ(A)>0を満たすとすると、Aに含まれる可測集合の中で測度が最大のものが存在することを示したいという問題です。
測度の最大集合が存在する理由
まず、測度が最大の可測集合の存在を証明するために、Aに含まれる可測集合の中でμ(B)が最も大きいBを選びます。Aの任意の部分集合CがΣに属し、C⊂Aであれば、μ(C)≦μ(B)が成り立つ必要があります。ここで重要なのは、BがAに対して最大の測度を持つ集合であるため、他の可測集合Cと比較しても、その測度が大きいことです。
測度が最大となる集合の構成方法
測度が最大となる集合を構成するために、まずAの中でμ(B)>0となるような部分集合Bを取ります。このBがAの中で最も測度が大きい部分集合であり、他のC⊂Aに対してはμ(C)≦μ(B)が成り立ちます。このようにして、Aの中で最大の測度を持つ部分集合が必ず存在することが確認できます。
有限測度空間における矛盾の回避
もし、最大測度を持つ部分集合が存在しないと仮定すると、測度が無限に増加してしまう矛盾が生じます。有限測度空間であるため、これは許容できない状況です。したがって、最大測度を持つ集合が存在しないという仮定は矛盾し、実際には最大測度を持つ部分集合が存在することが示されます。
まとめ
有限測度空間における命題を示すためには、測度が最大となる部分集合の存在を証明することが必要です。この命題は、測度論における基本的な理論の一部であり、特に可測集合の最大性について理解するための重要なステップです。
コメント