ルベーグ-スティルチェス測度
そろそろまともな例を挙げないと怒られる(誰に?)ので、所謂(ボレル集合族上の)ルベーグ測度を定義する。ルベーグ測度の構成法はいくつかあるが、ここでは右連続非減少函数の定めるスティルチェス測度の1つとして与える。
半環と測度
測度について議論する上で恐らく最弱の集合族の1つが半環だろう。
定義 集合においてが次の3条件を満たすとき、は上の半環であるという。
- である。
- ならである。
- なら有限個の互いに素な元を用いてと表せる。
半加法族は半環であり、半環が全体集合を含むとき半加法族となる。
半加法族に対して成り立った補題が、半環上でも全く同じ証明により成立する。
補題 を半環とする。任意の及びに対し、互いに素なが存在して
と表せる。
定義 を半環とする。集合函数が正値かつ有限加法的であるとき、は半環上の前測度という。
次の命題も半加法族のときと全く同様に示すことができる。
命題 を半環上の前測度とする。次が成り立つ。
- 及び互いに素なに対し、
が成り立つ。
- 及びに対し、
が成り立つ。
特には単調かつ有限劣加法的である。
上の補題と命題から、次の命題を示すことができる。
命題 を半環上の前測度とする。に対し、互いに素なが存在して、
を満たす。
(証明)とする。補題より互いに素なが存在してと表せる。このときが成り立つ。は単調かつ有限加法的なので
となる。
半環上の前測度に対する測度への拡張問題については以下の定理が成り立つ。
定理 (カラテオドリの拡張定理) は半環上の前測度とする。以下は同値である。
- 上の測度が存在してを満たす。つまりならが成り立つ。
- は弱可算劣加法的である。
(証明)ホップの拡張定理と同様に証明したい。まず外測度の構成に関しては、から誘導される外測度を考える。
次にを示したい。及びを取る。の被覆を取れば、はの被覆となる。また半環の定義より各に対して、互いに素なが存在してと表せる。このときはの被覆となる。故に
となる。このとき
であるから、よりの有限加法性が使えて結局
が従う。
以上によりは上の測度となることが分かった。最後に上での値を見てみよう。まずに対して定義よりが成り立つ。逆を示すためにの被覆を取る。先の命題より、互いに素なが存在して
を満たす。もの被覆となるから、の弱可算劣加法性及び単調性より
を得る。右辺の下限を取ればが従う。
定理により、半環上の前測度に対しても、可算加法性、可算劣加法性、弱可算劣加法性は全て同値となる。
スティルチェス測度
この節では、ユークリッド空間の通常の位相において、ボレル集合族上の測度として、スティルチェス測度の構成を行う。一般論ではなく具体例に関する内容であることから、連続性の公理に始まる実数の性質、あるいは距離空間としての位相的性質、そして解析的な連続性の扱い方などについては既知とする。和書なら杉浦光夫「解析入門」が網羅的である。ここで用いる大事な性質を一つ挙げるならば、有界閉区間のコンパクト性である。即ち、閉区間を任意個の開区間で覆ったとき、その中の有限個を選んで再び閉区間を覆うようにできる。コンパクト性については後の章で改めて議論する。
まずは開区間から為る可算開基を持つ。つまり第2可算公理を満たすのだが、は測度論的には扱い難い。そこで次の集合族について考える。
命題 空集合及び左半開区間から為る集合をとする。このときは半環であり、を満たす。
(証明)が半環となることは良いだろう。差集合を取るときが特殊で、のときに限りとなるのでの元の非交叉有限和である。
に対し、なるを取る。また数列を、を満たすように取る。このとき
であるから、を得る。
逆にに対し、数列をを満たすように取る。このとき
であるから、を得る。
以下ボレル集合族のことをで表す。
命題 は右連続な非減少函数とする。に対し
と定めると、は半環上の前測度となる。
(証明)が有限加法的であることは明らかだろう。実際とすると、より、
が成り立つ。
が弱可算劣加法的であることを示そう。とする。とする。は右連続だから、十分小さなを取り、
を満たすようにできる。より、コンパクト性から有限集合を選び、特にが成り立つようにできる。は半環上の前測度だから、
を得る。は任意だから、の弱可算劣加法性が従う。
拡張定理より上の測度であり、上でと一致するものが存在する。特には-有限なので、拡張された測度も-有限である。更には有限交叉で閉じるので、このような測度は一意的である。
定義 右連続な非減少函数に対し、上の-有限な測度で、に対してとなるものを、(ボレル集合族上の)スティルチェス測度(Stieltjes measure)と呼ぶ。
特にのとき、(ボレル集合族上の)ルベーグ測度(Lebesgue measure)と呼ぶ。
所感
拡張定理に関して、カラテオドリ自身は半環ではなく、集合環という少し強い条件のクラスを考えていたらしい。集合環についてはまたどこかで扱いたい。
今回self-containedにならなかったけど仕方ない。
位相空間に入る「自然な」測度を考えるのは研究する価値がある。例えば距離空間に入る測度として、フラクタル関連でよく用いるハウスドルフ測度がある。表現論などでは局所コンパクトハウスドルフ位相群上に、群作用で不変な(位相的に良い性質を持つ)測度としてハール測度がある。これらに関しては後の章で扱う予定。
他にも大事な例があったら教えて欲しい。