測度論
 | 出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 |
測度論（そくどろん、英: measure theory）は、数学の実解析における一分野で、測度とそれに関連する概念（完全加法族、可測関数、積分等）を研究する。ここで測度（そくど、英: measure）とは面積、体積、個数といった「大きさ」に関する概念を精緻化・一般化したものである。よく知られているように積分は面積と関係があるので、積分（厳密にはルベーグ積分）も測度論を基盤にして定式化・研究できる[1]。
また、測度の概念は確率を数学的に定式化する際にも用いられるため（コルモゴロフの公理）、確率論や統計学においても測度論は重要である。たとえば「サイコロの目が偶数になる確率」は目が 1, ..., 6 になるという 6 つの事象の集合の中で、2, 4, 6 という 3 つ分の「大きさ」を持っているため、測度の概念で記述できる。
概説
与えられた集合上の測度は 2 段階のステップで定義される。まずその集合の部分集合で測度が定義可能なもの（可測集合という）はどれであるかを決め、次にそれらの部分集合に対し具体的に測度を定義する。測度の定義は形式的に与えられ、その要件は、空集合の測度が 0 であることと、n 個の互いに素な集合の測度の和がそれらの集合の和集合の測度と一致することだけである。前述した面積、体積、個数はいずれも測度であることが容易に確かめられる。
重要なことは上の定義で n が可算個であってもよいということである。このことが測度論をベースにした積分の定義（ルベーグ積分）を従来の定義（リーマン積分）よりも使い易くしており、前者では適切な条件のもと積分と可算和の順番を交換できることを保証できる（有界収束定理）が、後者の場合は同じ条件下であってもこの種の交換は有限和のときにしか保証されない。
- 測度空間のページへのリンク
