測度論

測度論は、数学の実解析における一分野で、測度とそれに関連する概念を研究する。ここで測度とは面積、体積、個数といった「大きさ」に関する概念を精緻化・一般化したものである。よく知られているように積分は面積と関係があるので、積分も測度論を基盤にして定式化・研究できる。

また、測度の概念は確率を数学的に定式化する際にも用いられるため、確率論や統計学においても測度論は重要である。たとえば「//サイコロの目が偶数になる確率//」は目が 1, ..., 6 になるという 6 つの事象の集合の中で、2, 4, 6 という 3 つ分の「大きさ」を持っているため、測度の概念で記述できる。

1. 概説
-----

与えられた集合上の測度は 2 段階のステップで定義される。まずその集合の部分集合で測度が定義可能なものはどれであるかを決め、次にそれらの部分集合に対し具体的に測度を定義する。測度の定義は形式的に与えられ、その要件は、空集合の測度が 0}} であることと、n}} 個の互いに素な集合の測度の和がそれらの集合の和集合の測度と一致することだけである。前述した面積、体積、個数はいずれも測度であることが容易に確かめられる。

重要なことは上の定義で n}} が可算個であってもよいということである。このことが測度論をベースにした積分の定義を従来の定義よりも使い易くしており、前者では適切な条件のもと積分と可算和の順番を交換できることを保証できるが、後者の場合は同じ条件下であってもこの種の交換は有限和のときにしか保証されない。

この測度の概念で、測度が定義できない集合が存在することが知られている。例えば 上の測度として面積を考えた場合、面積が定義できない集合が存在する。しかしながら面積を定義できない集合は通常の方法では作れないことが知られているため、面積が定義できない集合があるという事実は、 上で測度論を展開する上であまり障害にならない。ただし面積が定義できない集合が存在することを利用すると、非常に不可解な性質を導くことができることが知られている。

2. 歴史
-----

歴史的に微分積分学で扱うことのできた素朴な意味での体積は、リーマン積分を用いて表され、有限加法的であった。1902年、アンリ・ルベーグは彼の学位論文『積分、長さ、体積』 において測度の概念を確立する。これにより新たに定義された"体積"は、完全加法的であることを積極的に要求したため、極限概念との親和性が高く、そのためリーマン積分による場合よりも多くの集合に体積の定義が可能となった。これが測度論の始まりである。

3. 形式的定義
--------

形式的に、集合 X}} の部分集合からなる完全加法族 A}} 上で定義される可算加法的測度 μ}} とは拡張された区間 !!}}}} に値を持つ関数であって、次の性質を満たすもののことである：

空集合の測度は 0}} である。
完全加法性：//E//sub がどの二つも互いに共通部分を持たない A}} に属する集合の列ならばA}} の元は可測集合  と呼ばれる。 また、数学的構造 }} は 測度空間  と呼ばれる。次の性質は、上の定義から導かれるものである：

単調性：//E//sub と //E//sub が可測集合で //E//sub を満たすならば、
//E//sub が可測集合の列で、各 n}} において //Esub ならば、Esub たちの和集合は可測で//
//E//sub が可測集合の列で、各 n}} において //Esub ならば、Esub たちの共通部分も可測である。さらに、少なくとも 1 つの n}} について Esub の測度が有限値であるならば//

4. σ}}-有限測度
-----------

測度空間 Ω}} が有限であるというのは、//μ// }} が有限値であることである。また、Ω}} が測度有限なる可測集合の可算和で表されるとき、Ω}} は σ}} -有限であるという。測度空間に属する集合は、それが測度有限なる可測集合の可算和であるとき σ}} -有限測度を持つという。

例えば、実数全体の集合に標準ルベーグ測度を考えた測度空間は σ}} -有限であるが、有限ではない。実際に、任意の整数 k}} に対して 閉区間 !!}}}} を考えると、これらは可算個であり、それぞれ測度 1}} であって、和集合を考えれば実数直線を尽くす。

対して、実数全体の集合に数え上げ測度を考える。これは、実数からなる有限集合に、その集合に入る点の数を対応させるものである。この測度空間は σ}} -有限でない。なぜなら、どの測度有限な集合も有限個の点しか持たないのであって、その可算個の和集合は高々可算であるので、非可算集合である数直線を被覆し尽くすことができないからである。

σ}} -有限な測度空間は非常によい性質を持っている; σ}} -有限性は位相空間の可分性になぞらえることができる.

5. 完備性
------

可測集合 S}} が //μ// =}} 0}} であるとき零集合  という。測度 μ}} が完備  であるとは、零集合の全ての部分集合が可測であることである。もちろん自動的に零集合自身が可測となる。

測度を完備測度に拡張することは簡単である。単純に、可測集合 S}} と零集合の分だけ異なる集合 S'}}}} たちをすべて合わせたものの成す完全加法族を考えればよい。

6. 例
----

零測度：全ての可測集合Sに対して//μ// =}} 0}}となるような測度。以下に重要な測度をいくつか掲げる。

数え上げ測度：//μ// =}} //S//}} の元の個数。
ルベーグ測度：R}} 上の区間を全て含む完全加法族の上で定義され、//μ//!}}) =}} 1}} を満たす、唯一の完備かつ平行移動不変な測度。
ハール測度：局所コンパクト位相群へのルベーグ測度の一般化で、同様の性質を持つ。
零測度：//μ// =}} 0 for all //S//}}。
どの確率空間も、全空間の値が 1}} であって、したがってどの可測集合も単位区間 !!}}}} に値をとるような測度を生じさせる。そのような測度は確率測度と呼ばれる。

7. 一般化
------

目的によっては、"測度" の値域を非負の実数あるいは無限大に制限しないものも有用である。たとえば、可算加法的な集合関数で負符号も許す実数に値をとるものは//符号付測度//と呼ばれる。同様の関数で複素数に値をとるものは//複素測度//と呼ばれる。バナッハ空間に値をとる測度はスペクトル測度  と呼ばれ、主に関数解析学においてスペクトル定理  などに用いられる。これらの一般化した測度との区別のため、通常の測度を"正値測度"と呼ぶことがある。

ほかの一般化として有限加法的測度  がある。これは、完全加法性の代わりに有限加法性を課すことを除けば測度と同じである。歴史的には、こちらの定義の方が先に使われていたが、あまり有用ではないことが証明された。

ハドヴィガーの定理  として知られる積分幾何学における注目すべき結果によると、Rsup のコンパクト凸集合の有限和の上で定義された平行移動不変、有限加法的で、必ずしも非負ではない集合関数のなす空間は、各 //k// =}} 0, 1, 2, ..., //n//}} に対して「次数 k}} の斉次な」測度とそれらの測度の線型結合からなる。「次数 k}} の斉次な」とは、任意の集合は //c// > 0}} 倍すると測度が csup 倍になるということである。次数 n}} の斉次な測度は通常の n}} 次元体積であり、次数 //n// − 1}} の斉次な測度は「表面積」である。次数 1}} の斉次な測度は「平均幅」という誤称をもつ不思議な関数である。次数 0}} の斉次な測度はオイラー標数である。

8. 脚注
-----

9. 参考文献
-------

10. 関連項目
--------

面積
体積
外測度
ハウスドルフ測度