零集合

ウィキペディア

測度論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2026/03/21 06:16 UTC 版)

A が B の部分集合なら、A の測度は B と等しいかそれより小さい。また空集合の測度は 0 でなければならない。

測度論（そくどろん、英: measure theory）は、数学の実解析における一分野で、測度とそれに関連する概念（完全加法族、可測関数、積分等）を研究する。ここで測度（そくど、英: measure）とは面積、体積、個数といった「大きさ」に関する概念を精緻化・一般化したものである。よく知られているように積分は面積と関係があるので、積分（厳密にはルベーグ積分）も測度論を基盤にして定式化・研究できる。

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

概説

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

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

この測度の概念で、測度が定義できない集合が存在することが知られている。例えば $\mathbb {R} ^{2}$ ポータル・ カテゴリ

ウィキペディア小見出し辞書

零集合

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/18 09:18 UTC 版)

「ルベーグ外測度」の記事における「零集合」の解説

Rn の部分集合 E がルベーグ測度零またはルベーグ零集合であるとは、そのルベーグ外測度の値が零となるときに言う。これはルベーグの測度論においては、外測度零の任意の集合が可測でありかつその任意の部分集合が測度零であるという形で生じる。