関連１
http://www.yasuhisay.info/entry/20080605/1212640012
ボレル集合体とはなんぞや yasuhisa's blog 2008-06-05
(抜粋)
ボレル集合体
上のはルベーグ積分から確率論 (共立講座 21世紀の数学)を読んでいたんだけど、以下はルベーグ積分30講 (数学30講シリーズ)を読んだして書いてる。
可算個の開集合の共通部分として表わされる集合をGδ集合と言う。可算個の閉集合の和集合として表わされる集合をFσ集合と言う。
ん。上のからいくとGδとかFσは必ずしも開集合であるとか閉集合であるとは言えない集合のことなんだな。で、GδとかFσに対して色々な操作をしていくことでまた集合を作り出していく。どういう操作かと言えば。
Gδ集合の可算個の和集合を取ると、この集合は一般的には、Gδ集合でもFσ集合でもない。このような集合をGδσ集合という。同様に、Fσ集合の可算個の共通部分として表わされる集合をFσδ集合という。
こんな操作。
積集合を取った集合がいくつかあって、その和集合を考えるもの
和集合を取った集合がいくつかあって、その積集合を考えるもの
という風になっているんっだね。で、前回にやった逆の操作(積なら和、和なら積)という操作をどんどんどんどん繰り返していく。すると部分集合族の系列から新しいタイプの集合が次々と得られる。そしてこの操作をやって得られるRkの部分集合のことをRkのボレル集合と言う。おお、ボレル集合が登場した!!
ボレル集合は、すでに可測であるということが知られている開集合と閉集合から、可算個の和と共通部分と取るという操作を高々加算回繰り返して得られるのだから、これらはすべて可測な集合である、ということが分かる。これから「Rkのボレル集合はすべて可測である」という定理が導ける。これは便利そうな性質というか定理だなー。
(引用終り)
つづく
