この記事の目的
測度論(ルベーグ積分)を勉強していると, 必ず出てくる完備測度空間. しかし, なぜ「完備」なのだろう? そう疑問に思ったことがある人は少なくないのではないでしょうか. この記事では, 完備測度空間の「完備」と位相的な意味の完備性には関係があることを説明します.
予備知識
測度論のごく基本的な事柄が分かっていれば十分です. 関数解析の知識があると, よりモチベーションを理解しやすいかもしれません.
本論
この記事を通して, は測度空間とします.
まず, 完備測度空間の定義を思い出しましょう.
完備測度空間
が完備測度空間である.
がを満たすならば, 任意のに対して, となる.
さて, -可測関数の全体を, と書くことにします.
通常, に位相的な概念は定義されませんが, ここではあえて, 次のようにの完備性を定義してみましょう.
が完備であるとは, 次が成立することである:
とする.(は仮定していないことに注意.) さらに a.e.であるとする. このとき, となる.
定義2の直感的な意味
この定義は, 直感的には, “からへの写像全体”という非常に大きな集合に, a.e.の収束によって「位相」を定義すれば, は閉集合であることを意味します.
さて, 次の定理が成立します.
つまり, 測度空間の完備性は, その空間上の可測関数全体がa.e.の収束について閉じている(=「完備」である)ための必要十分条件だったのですね. この定理を証明して, この記事を終えることにします.
まず, を示す.
対偶を示す. が完備測度空間でないと仮定する. このとき, 仮定から, とが存在して, かつとなる.
と定義する. ただし, はの定義関数である. このとき, 任意のに対してなので, a.e.が成立している. 一方, なのでは-可測ではない. つまり. これでは完備ではないことが示された.
次に, ()を示す.
a.e.を仮定する. つまり, ある零集合が存在して, 任意のに対してとなる. を次のように定めよう.
なので, . これに注意すれば, 任意のボレル可測集合に対して,
の可測性より. とが完備測度空間であることより. これで, が分かった. つまりは-可測である.