πシステムとλシステム
📂測度論πシステムとλシステム
定義
- 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
説明
測度論において、システムsystemはコレクション上に定義された一種の代数構造と見なせるんだ。抽象代数だけでは全てを包括できなかったから、グループだとかリングだなんて言わずに、別途でこのような言葉を作って使うことにしたんだよ。
- パイシステムは、システムの名前がついているほど良い条件ではないように見えるかもしれないけど、共通部分に対して閉じていることが、思ったよりも強力だ。これだけで必ず空集合を持つことになる。数学的な議論で最初の条件として空集合がよく言及されることを考えると、実はもう二つの性質を持っているとも見なせるんだ。
- ラムダシステムはシグマ代数と非常に似ていて、違いは集合のシーケンスがディスジョイント(i=j⟹Ai∩Aj=∅)でなければならないという条件があることだ。この条件があることで、Lを想像することがずっと簡単になるんだ。