ディンキンのパイ-ラムダ定理
📂測度論ディンキンのパイ-ラムダ定理
定理
パイシステムPがラムダシステムLの部分集合である場合、P⊂σ(P)⊂Lを満たすシグマフィールドσ(P)が存在する。
- σ(P)はPの全ての要素を含む最小のシグマフィールドを示す。
説明
このステートメントだけ見ると非常に単純に見えるが、このような定理の証明はかなり長くて複雑だ。ここでパイシステムPとラムダシステムLの役割が何かを考えてみよう。
パイシステムとラムダシステム:
- 以下を満たすPを**π-システム**という。
A,B∈P⟹A∩B∈P
- 以下の条件を満たすLを**λ-システム**という。
- (i): ∅∈L
- (ii): A∈L⟹Ac∈L
- (iii): 全てのi=jに対して、Ai∩Aj=∅の時、{An}n∈N⊂L⟹n∈N⋃An∈L
測度論はその名の通り、何かを測る理論だから、どうしても可測空間を考えなくてはならないし、何をするにしてもシグマフィールドが必要だ。しかし、与えられた問題にぴったりのシグマフィールドを見つけるのは思ったほど簡単なことではないかもしれない。この問題のシグマフィールドがパイシステムより大きくなければならないがラムダシステムより大きくなってはいけないという制約がある場合、この定理を通して具体的なシグマフィールドσ(P)を得ることができるだろう。
これはシグマフィールドを見つける難しい問題に直面した時、比較的作りやすいパイシステムから始めてアプローチすることができるという意味になる。ラムダシステムはこのような簡単なパイシステムを含むように構築されなければならず、この作業は通常、「ただ何かのシグマフィールドを見つけること」より具体的で簡単だ。