測度論

[120px|thumb| が  の[部分集合なら、 の測度は  と等しいかそれより小さい。また空集合の測度は  でなければならない。]]
**測度論**（そくどろん、）は、数学の実解析における一分野で、測度とそれに関連する概念（完全加法族、可測関数、積分等）を研究する。ここで**測度**（そくど、）とは面積、体積、個数といった「大きさ」に関する概念を精緻化・一般化したものである。よく知られているように積分は面積と関係があるので、積分（厳密にはルベーグ積分）も測度論を基盤にして定式化・研究できる。

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

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

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

この測度の概念で、測度が定義できない集合が存在することが知られている。例えば \mathbb{R}^2 上の測度として面積を考えた場合、面積が定義できない集合が存在する。しかしながら面積を定義できない集合は通常の方法では作れない（そのような集合を作るには選択公理が必要である）ことが知られているため、面積が定義できない集合があるという事実は、\mathbb{R}^2 上で測度論を展開する上であまり障害にならない。ただし面積が定義できない集合が存在することを利用すると、非常に不可解な性質を導くことができることが知られている（バナッハ＝タルスキーのパラドックス）。

## 歴史

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

== 形式的定義 ==
形式的に、集合 <small><math>X</math></small> の部分集合からなる[[完全加法族]] <small><math>\mathbf A</math></small> 上で定義される可算加法的測度 <small><math>\mu</math></small> は、拡張された区間 <small><math>[0,\,\infty]</math></small> に値を持つ（つまり、無限大も許す非負値の）関数であり、次の性質を満たす。
*空集合の測度は 0 である。
:<math>\mu\left(\varnothing\right)=0</math>
***完全加法性**（可算加法性）：<small><math>E_1</math></small>, <small><math>E_2</math></small>, <small><math>E_3</math></small>, ... が[[素集合|どの二つも互いに共通部分を持たない]] <small><math>\mathbf A</math></small> に属する集合の列ならば
:<math>\mu\left(\begin{align}\bigcup_i^{}\end{align}\,E_i\right)=\begin{align}\sum_i^{}\end{align}\,\mu\left(E_i\right)</math>

<small><math>\mathbf A</math></small> の[[元 (数学)|元]]を**可測集合**（）という。また、<small><math>\left(X,\,\mathbf A,\,\mu\right)</math></small> に相当する[[数学的構造]]を**測度空間**（）という。次の性質は、前述の定義から導かれる。
***単調性**：<small><math>E_1</math></small> と <small><math>E_2</math></small> が可測集合で <small><math>E_1\sube E_2</math></small> ならば、<small><math>\mu\left(E_1\right)\le\mu\left(E_2\right)</math></small>。
*<small><math>E_1</math></small>, <small><math>E_2</math></small>, <small><math>E_3</math></small>, ... が可測集合の列で、各 <small><math>n</math></small> において <small><math>E_n\sube E_{n\,+\,1}</math></small> ならば、<small><math>E_n</math></small> たちの和集合は可測で
:<math>\mu\left(\begin{align}\bigcup_i^{}\end{align}\,E_i\right)=\lim_i\,\mu\left(E_i\right)</math>
*<small><math>E_1</math></small>, <small><math>E_2</math></small>, <small><math>E_3</math></small>, ... が可測集合の列で、各 <small><math>n</math></small> において <small><math>E_n\supe E_{n\,+\,1}</math></small> ならば、<small><math>E_n</math></small> たちの共通部分も可測である。さらに、少なくとも一つの <small><math>n</math></small> について <small><math>E_n</math></small> の測度が有限値であるならば
:<math>\mu\left(\begin{align}\bigcap_i^{}\end{align}\,E_i\right)=\lim_i\,\mu\left(E_i\right)</math>

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

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

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

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

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

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

== 例 ==

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

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

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

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

## 脚注

## 参考文献
* 
* 

## 関連文献
* 

## 関連項目
* 面積
* 体積
* 外測度
* ハウスドルフ測度