18/03/07 13:46:34.13 20bjKC4z.net
>>458-459
カントール集合とσ代数関連引用
もうひとつストンと納得できない(むつかしい)記述ですが(^^
URLリンク(ja.wikipedia.org)
完備測度
(抜粋)
例
実数直線の開区間によって生成されるボレル σ-集合代数上で定義されるボレル測度は完備でなく、したがって完備ルベーグ測度を定義するためには上述の完備化の手順が必要となる。
このことは、実数に対するすべてのボレル集合の集まりは実数と同じ濃度を持つという事実によって示される。
カントール集合はボレル集合であるが、測度ゼロであり、そのベキ集合の濃度は実数の濃度よりも厳密に大きい。
したがってカントール集合には、ボレル集合に含まれないような部分集合が存在する。すなわち、ボレル測度は完備ではない。
(引用終わり)