下記の定理を証明します.
RVに, この定理が"One can show that ..."と書いてありましたが, 証明がなかったので, 自分で補いました.
なお, 本稿における用語の定義は, RVに従っています. 文献によっては定義が本稿のものと微妙に異なる可能性がありますのでご注意下さい.
はじめに, 測度の定義を復習します.
加法族・可測空間
を集合, をの部分集合の族とする. が上の加法族であるとは, 以下の条件をみたすことである.
- .
- は補集合について閉じている. すなわちならば, .
- は可算合併について閉じている. すなわちならば, .
加法族の元のことを可測集合とよぶ. 可測空間とは, 集合と, 上の加法族の組のことである. 誤解のおそれがなければ, 単にのことを可測空間とよぶ.
条件(1), (2)より, 加法族は空集合を含み, 条件(2), (3)より, 加法族は可算交叉についても閉じていることがわかります (ド・モルガンの法則).
測度・測度空間
を可測空間とする. 上の関数が上の測度であるとは, 以下の条件をみたすことである.
- .
- が互いに交わりを持たない可測集合ならば, .
測度空間とは, 集合, 上の加法族, 上の測度の組のことである.
可測集合がをみたすならば, 条件2よりなので, であることがわかります.
ボレル集合族・ボレル測度
を位相空間とする. のすべての開集合を含む最小の加法族をのボレル集合族といい, の元をボレル集合, 可測空間上の測度をボレル測度という.
加法族の定義から, はの開集合および閉集合の可算合併と可算交叉を含むことがわかります. とくに, がハウスドルフ空間であれば, コンパクト集合は閉集合なので, コンパクト集合はボレル集合になります.
続いて, ラドン測度を定義します. RVでは局所コンパクト空間しか扱わないので, 測度空間に局所コンパクト性を課していますが, 実際は任意のハウスドルフ空間に一般化できます.
外部正則性
をハウスドルフ空間, をのボレル集合とする. 上のボレル測度がにおいて外部正則であるとは, がなりたつことである.
内部正則性
をハウスドルフ空間, をのボレル集合とする. 上のボレル測度がにおいて内部正則であるとは, がなりたつことである.
ラドン測度
を局所コンパクトハウスドルフ空間とする. のボレル測度がラドン測度であるとは, 以下をみたすことである.
- の任意のコンパクト集合に対して, .
- はの任意のボレル集合において外部正則.
- はの任意の開集合において内部正則.
σ有限性
をハウスドルフ空間, を上のボレル測度とする. のボレル集合が有限であるとは, がとなるボレル集合の可算合併で表されることをいう.
定理1の証明
のボレル集合が有限とする.
まず, の場合を考える. 正の数を任意にとる. はにおいて外部正則なので, を含む開集合が存在して, となる. また, はにおいて内部正則なので, に含まれるコンパクト集合が存在して, となる. と外部正則性から, を含む開集合で, となるものが存在する. はに含まれるコンパクト集合である. ここで,
は任意だったので, これはが内部正則であることを意味している.
続いて, の場合を考える. は有限だから, となるボレル集合の可算合併で書ける. 自然数を任意に取る. だから, ある自然数が存在して, とできる. は有限だから, 前半の証明よりに含まれるコンパクト集合が存在して, とできる. は任意だったので, これはを意味している.