もう少しだけ-集合体の話を続けます。
応用上重要な-集合体として,実数上で定義されるBorel -集合体(Borel -field) があります。
今回は、このBorel -集合体について簡単に説明します。
Borel -集合体とは,すべての半開区間の集まりから生成される上の-集合体のことです。ここにです。
Borel -集合体は,半開区間だけでなく様々な区間が要素として入ります。
例えば,, , , , , 等々です。
同様に,上で定義された拡張されたBorel -集合体を考えることも出来ます。
ここにです。
さらに,Borel -集合体は,容易に次元ユークリッド空間に拡張できます。
次元ユークリッド空間に拡張したBorel -集合体をで表すことにします。