## 2. 準備 — 記号と、可算個を扱う覚悟自然数は $\mathbb{N} = \{1, 2, 3, \ldots\}$ とします。$E^{c} = \mathbb{R} \setminus E$、$A \setminus B = A \cap B^{c}$ と書きます。「可算」は「有限または可算無限」の意味で使います。可算個の可算集合の和集合は可算である、という事実は繰り返し使います。 **区間**とは、端点 $a \le b$ を持つ $(a,b)$、$[a,b]$、$[a,b)$、$(a,b]$ のいずれか、あるいは $(-\infty, a)$、$(a, \infty)$ のような非有界なもの、あるいは $\mathbb{R}$ 自身、あるいは空集合を指します。その**長さ** $\ell(I)$ を、有界なら $b - a$、非有界なら $\infty$、$\ell(\emptyset) = 0$ と定めます。値は $[0, \infty]$ の中で考えます。非負の項からなる級数 $\sum_{n=1}^{\infty} a_n$（$a_n \in [0,\infty]$）は、有限部分和の上限として $[0,\infty]$ の元として常に定まり、しかも**項の並べ替えで値が変わりません**。この事実のおかげで、可算個の区間を二重添字で並べたり順序を付け替えたりしても和が変わらず、以下の議論が回ります。$\infty + x = \infty$、$0 \cdot \infty = 0$ という規約も使います。 ## 3. ルベーグ外測度 $A \subset \mathbb{R}$ に対し、 $$ m^{*}(A) = \inf \left\{ \sum_{n=1}^{\infty} \ell(I_n) \;\middle|\; I_1, I_2, \ldots \text{ は開区間で } A \subset \bigcup_{n=1}^{\infty} I_n \right\} $$ と定め、これを $A$ の**ルベーグ外測度**という。値は $[0, \infty]$ に属する。下限を取る集合は空ではありません。$I_n = (-n, n)$ と取れば $\bigcup_n I_n = \mathbb{R} \supset A$ だからです（このとき総和は $\infty$ ですが、下限を取る対象としては適格です）。したがって $m^{*}(A)$ は常に定義されます。**外測度は $\mathbb{R}$ のすべての部分集合に対して定義される**ことに注意してください。§1.5 の (M4) はここでは生きています。失われるのは加法性のほうです。被覆は可算無限列としましたが、有限個の開区間 $I_1, \ldots, I_N$ で $A$ を覆えるときも、$n > N$ に対して $I_n = (-\varepsilon 2^{-n}, \varepsilon 2^{-n})$ を付け足せば可算列になり、総和は $\sum_{n > N} \varepsilon 2^{-n+1} \le 2\varepsilon$ しか増えません。$\varepsilon > 0$ は任意なので、下限を計算するうえでは有限被覆も許してよいことになります。以下ではこの言い換えを断りなく使います。

### 3.1. 外測度の基本性質外測度 $m^{*}$ について次が成り立つ。 1. $m^{*}(\emptyset) = 0$。 2. （単調性）$A \subset B$ ならば $m^{*}(A) \le m^{*}(B)$。 3. （可算劣加法性）$A_1, A_2, \ldots \subset \mathbb{R}$ に対し $\displaystyle m^{*}\left( \bigcup_{n=1}^{\infty} A_n \right) \le \sum_{n=1}^{\infty} m^{*}(A_n)$。 4. （平行移動不変性）$t \in \mathbb{R}$ と $A \subset \mathbb{R}$ に対し $m^{*}(A + t) = m^{*}(A)$。ここで $A + t = \{a + t : a \in A\}$。 **(1)** 任意の $\varepsilon > 0$ に対し、$I_n = (-\varepsilon 2^{-n}, \varepsilon 2^{-n})$ とおくと $\emptyset \subset \bigcup_n I_n$ であり、$\sum_{n=1}^{\infty} \ell(I_n) = \sum_{n=1}^{\infty} 2\varepsilon 2^{-n} = 2\varepsilon$ です。よって $m^{*}(\emptyset) \le 2\varepsilon$ が任意の $\varepsilon > 0$ で成り立ち、$m^{*}(\emptyset) = 0$ を得ます。 **(2)** $\{I_n\}$ が $B$ の開区間被覆なら、$A \subset B \subset \bigcup_n I_n$ より $\{I_n\}$ は $A$ の被覆でもあります。したがって $m^{*}(A)$ の定義で下限を取る数の集合は $m^{*}(B)$ のそれを含みます。より大きい集合の下限は小さいので $m^{*}(A) \le m^{*}(B)$ です。 **(3)** ある $n$ で $m^{*}(A_n) = \infty$ なら右辺は $\infty$ となり主張は明らかに成り立つので、すべての $n$ で $m^{*}(A_n) < \infty$ とします。$\varepsilon > 0$ を取ります。下限の定義より、各 $n$ に対して開区間の列 $\{I_{n,k}\}_{k \in \mathbb{N}}$ で $$ A_n \subset \bigcup_{k=1}^{\infty} I_{n,k}, \qquad \sum_{k=1}^{\infty} \ell(I_{n,k}) \le m^{*}(A_n) + \varepsilon 2^{-n} $$ を満たすものが取れます（下限より真に大きい数 $m^{*}(A_n) + \varepsilon 2^{-n}$ は、下限の定義から、ある被覆の総和以上になります）。族 $\{I_{n,k}\}_{(n,k) \in \mathbb{N} \times \mathbb{N}}$ は可算個の開区間からなり、$\bigcup_n A_n$ を覆います。§2 で述べたとおり非負項の可算和は並べ方によらないので、これを一列に並べ替えて $$ m^{*}\left( \bigcup_{n} A_n \right) \le \sum_{n=1}^{\infty} \sum_{k=1}^{\infty} \ell(I_{n,k}) \le \sum_{n=1}^{\infty} \left( m^{*}(A_n) + \varepsilon 2^{-n} \right) = \sum_{n=1}^{\infty} m^{*}(A_n) + \varepsilon $$ を得ます。$\varepsilon > 0$ は任意なので主張が従います。 **(4)** $\{I_n\}$ が $A$ の開区間被覆であることと、$\{I_n + t\}$ が $A + t$ の開区間被覆であることは同値です（$I + t$ はまた開区間です）。そして $\ell(I + t) = \ell(I)$ です。したがって $m^{*}(A)$ と $m^{*}(A+t)$ は、まったく同じ数の集合の下限として定義されており、一致します。 (3) で $A_3 = A_4 = \cdots = \emptyset$ と取れば有限劣加法性 $m^{*}(A_1 \cup A_2) \le m^{*}(A_1) + m^{*}(A_2)$ が出ます。この形は後で何度も使います。 $E = \{x_1, x_2, x_3, \ldots\}$ を可算集合とすると $m^{*}(E) = 0$ である。実際、$\varepsilon > 0$ に対して $I_n = \left( x_n - \varepsilon 2^{-n-1},\ x_n + \varepsilon 2^{-n-1} \right)$ とおけば $x_n \in I_n$ なので $E \subset \bigcup_n I_n$ であり、 $$ \sum_{n=1}^{\infty} \ell(I_n) = \sum_{n=1}^{\infty} 2 \cdot \varepsilon 2^{-n-1} = \varepsilon \sum_{n=1}^{\infty} 2^{-n} = \varepsilon $$ です。よって $m^{*}(E) \le \varepsilon$ が任意の $\varepsilon > 0$ で成り立ち、$m^{*}(E) = 0$ を得ます。$E$ が有限集合の場合も、同じ区間列で覆えば同じ結論です。特に $m^{*}(\mathbb{Q}) = 0$ です。有理数全体は $\mathbb{R}$ で稠密で、どの区間にも無限個入っているのに、長さは $0$ です。**稠密さと大きさは別物**であることを、この例はきっぱり示しています。 ### 3.2. 区間の外測度は長さに一致する外測度が「長さの一般化」を名乗るには、少なくとも区間の上で長さと一致していなければなりません。これは定義から自明ではありません。$[0,1]$ を覆う開区間の総和が $1$ より小さくできないことを示すには、実数の完備性が要ります。任意の区間 $I \subset \mathbb{R}$（開・閉・半開、有界・非有界を問わない）に対して $m^{*}(I) = \ell(I)$ が成り立つ。 **第 1 段：$I = [a,b]$（$a \le b$）の場合の $m^{*}([a,b]) \le b - a$。** $\varepsilon > 0$ に対し $I_1 = (a - \varepsilon, b + \varepsilon)$ は $[a,b]$ を覆う開区間で $\ell(I_1) = b - a + 2\varepsilon$ です。§3 の言い換えより有限被覆で下限を評価してよいので $m^{*}([a,b]) \le b - a + 2\varepsilon$、$\varepsilon \to 0$ として $m^{*}([a,b]) \le b - a$ を得ます。 **第 2 段：$m^{*}([a,b]) \ge b - a$。** $\{I_n\}_{n \in \mathbb{N}}$ を $[a,b]$ の任意の開区間被覆とします。$[a,b]$ は有界閉集合なのでハイネ・ボレルの定理よりコンパクトで、有限個の $I_{n_1}, \ldots, I_{n_N}$ がすでに $[a,b]$ を覆います。**ここで実数の完備性を使いました。** 総和は非負なので $\sum_{n=1}^{\infty} \ell(I_n) \ge \sum_{j=1}^{N} \ell(I_{n_j})$ です。よって、この有限被覆について $\sum_{j=1}^{N} \ell(I_{n_j}) > b - a$ を示せば十分です。有限個の開区間から次のように連鎖を選びます。$a \in [a,b]$ は覆われているので、$a$ を含むものがあります。それを $(\alpha_1, \beta_1)$ とすると $\alpha_1 < a < \beta_1$ です。$(\alpha_1,\beta_1), \ldots, (\alpha_k,\beta_k)$ まで選べていて $\beta_1 < \beta_2 < \cdots < \beta_k$ かつ $\beta_k \le b$ であるとします。$\beta_k \ge \beta_1 > a$ なので $\beta_k \in [a,b]$ であり、$\beta_k$ を含む区間が取れます。それを $(\alpha_{k+1}, \beta_{k+1})$ とすると $\alpha_{k+1} < \beta_k < \beta_{k+1}$ となり、$\beta$ の狭義増加が保たれます。$\beta_1 < \beta_2 < \cdots$ は狭義単調増加なので、選ばれる区間は互いに異なります。区間は有限個 $N$ しかないので、この操作は高々 $N$ 回で止まります。止まるのは $\beta_K > b$ となったときです。このとき、選んだ区間の長さの総和は $$ \sum_{k=1}^{K} (\beta_k - \alpha_k) = (\beta_K - \alpha_1) + \sum_{k=1}^{K-1} (\beta_k - \alpha_{k+1}) $$ と書けます（右辺を展開すると $\sum_k \beta_k - \sum_k \alpha_k$ となり、左辺と一致します）。$\alpha_{k+1} < \beta_k$ より右辺第 2 項の各項は正なので（$K = 1$ のときは空和で $0$）、 $$ \sum_{j=1}^{N} \ell(I_{n_j}) \ge \sum_{k=1}^{K} (\beta_k - \alpha_k) \ge \beta_K - \alpha_1 > b - a $$ を得ます（最後の不等号は $\beta_K > b$ と $\alpha_1 < a$ から）。$\{I_n\}$ は任意だったので下限を取って $m^{*}([a,b]) \ge b - a$ です。第 1 段と合わせて $m^{*}([a,b]) = b - a$ が示せました。 **第 3 段：有界区間一般。** $I$ を端点 $a \le b$ の有界区間とします。$a = b$ なら $I$ は空集合か一点集合で、の (1) とより $m^{*}(I) = 0 = \ell(I)$ です。$a < b$ とし、$0 < \eta < (b-a)/2$ を取ると $$ [a + \eta,\ b - \eta] \subset I \subset [a, b] $$ です。の単調性と第 2 段までの結果から $$ b - a - 2\eta = m^{*}([a+\eta, b-\eta]) \le m^{*}(I) \le m^{*}([a,b]) = b - a $$ となり、$\eta \to 0$ として $m^{*}(I) = b - a = \ell(I)$ を得ます。 **第 4 段：非有界区間。** $I$ が非有界なら、任意の $M > 0$ に対して $I$ は長さ $M$ の閉区間 $J$ を含みます。単調性と第 2 段より $m^{*}(I) \ge m^{*}(J) = M$ です。$M$ は任意なので $m^{*}(I) = \infty = \ell(I)$ です。は劣加法性しか主張していません。互いに素な $A, B$ に対する等式 $m^{*}(A \cup B) = m^{*}(A) + m^{*}(B)$ は、外測度に対しては**一般には成り立ちません**。この記事の Appendix で構成するヴィタリ集合 $V$ は、$V$ の平行移動たちが互いに素であるにもかかわらず加法性が破れる例を与えます。そして、これは外測度の定義がまずいのではありません。§1.5 で述べたとおり (M1) から (M4) が両立しない以上、$\mathbb{R}$ の部分集合全体の上で完全加法的な長さは原理的に存在しないのです。次節では、加法性が成り立つ集合だけを選び出します。 ## 4. カラテオドリの条件と可測集合 $E \subset \mathbb{R}$ が**ルベーグ可測**であるとは、**任意の**集合 $A \subset \mathbb{R}$ に対して $$ m^{*}(A) = m^{*}(A \cap E) + m^{*}(A \cap E^{c}) $$ が成り立つことをいう。ここで $A$ を**試験集合**と呼ぶ。ルベーグ可測集合全体のなす族を $\mathcal{M}$ と書く。三つの注意を述べます。 **第一に、示すべきは片側の不等式だけです。** $A = (A \cap E) \cup (A \cap E^{c})$ なので、の劣加法性から $m^{*}(A) \le m^{*}(A \cap E) + m^{*}(A \cap E^{c})$ は $E$ が何であっても常に成り立ちます。よって可測性の検証で確かめるべきは $$ m^{*}(A) \ge m^{*}(A \cap E) + m^{*}(A \cap E^{c}) $$ のみです。さらに $m^{*}(A) = \infty$ のときこれは自明なので、$m^{*}(A) < \infty$ なる $A$ だけを考えれば十分です。 **第二に、条件は $E$ と $E^{c}$ について完全に対称です。** $(E^{c})^{c} = E$ なので、$E \in \mathcal{M}$ ならただちに $E^{c} \in \mathcal{M}$ が従います。補集合について閉じていることが、定義から労なく手に入るわけです。 **第三に、直観です。** 条件は「$E$ はどんな試験集合 $A$ を持ってきても、$A$ を $E$ の内側と外側にきれいに切り分ける」と読めます。切り口が「ぼやけている」集合、たとえばヴィタリ集合のような集合は、適当な $A$ に対してこの等式を破ります。歴史的には、ルベーグ自身は有界集合 $E \subset I$ に対して内測度 $\ell(I) - m^{*}(I \setminus E)$ を定義し、これが外測度と一致することを可測性の定義としました。カラテオドリが 1914 年に導入した上の形は、有界性を前提とせず、$\mathbb{R}^d$ にも抽象的な外測度にもそのまま移せる点で優れています。実際、この記事の第 4 節の議論は $m^{*}$ の具体的な形を一切使っておらず、の (1)(2)(3) だけから従います。 ### 4.1. 零集合は可測 $E \subset \mathbb{R}$ が $m^{*}(E) = 0$ を満たすならば $E \in \mathcal{M}$ である。 $A \subset \mathbb{R}$ を任意に取ります。より $m^{*}(A) \ge m^{*}(A \cap E) + m^{*}(A \cap E^{c})$ を示せば十分です。 $A \cap E \subset E$ なので、の単調性より $m^{*}(A \cap E) \le m^{*}(E) = 0$、すなわち $m^{*}(A \cap E) = 0$ です。また $A \cap E^{c} \subset A$ なので、同じく単調性より $m^{*}(A \cap E^{c}) \le m^{*}(A)$ です。二つを足して $$ m^{*}(A \cap E) + m^{*}(A \cap E^{c}) \le 0 + m^{*}(A) = m^{*}(A) $$ を得ます。と合わせると、$\mathbb{Q}$ をはじめとするすべての可算集合が可測で測度 $0$ であることが分かります。第 5 節で見るように、非可算だが外測度 $0$ の集合もあります。 ### 4.2. 可測集合の族は σ-加法族をなす $\mathcal{M}$ は $\mathbb{R}$ 上の σ-加法族である。すなわち次の三つが成り立つ。 1. $\emptyset \in \mathcal{M}$ かつ $\mathbb{R} \in \mathcal{M}$。 2. $E \in \mathcal{M}$ ならば $E^{c} \in \mathcal{M}$。 3. $E_1, E_2, \ldots \in \mathcal{M}$ ならば $\displaystyle \bigcup_{n=1}^{\infty} E_n \in \mathcal{M}$。さらに、$E_1, E_2, \ldots \in \mathcal{M}$ が互いに素（$i \ne j$ ならば $E_i \cap E_j = \emptyset$）ならば、**任意の**試験集合 $A \subset \mathbb{R}$ に対して $$ m^{*}\left( A \cap \bigcup_{n=1}^{\infty} E_n \right) = \sum_{n=1}^{\infty} m^{*}(A \cap E_n) $$ が成り立つ。 **(a) $\emptyset, \mathbb{R} \in \mathcal{M}$。** より $m^{*}(\emptyset) = 0$ なので、から $\emptyset \in \mathcal{M}$ です。$\mathbb{R} = \emptyset^{c}$ なので (b) から $\mathbb{R} \in \mathcal{M}$ が従います。 **(b) 補集合について閉じる。** の等式は $E$ と $E^{c}$ を入れ替えても同じ式です。よって $E \in \mathcal{M} \Rightarrow E^{c} \in \mathcal{M}$。 **(c) 有限和について閉じる。** $E_1, E_2 \in \mathcal{M}$ とし、$A$ を任意の試験集合とします。まず $E_1$ の可測性を $A$ に適用して $$ m^{*}(A) = m^{*}(A \cap E_1) + m^{*}(A \cap E_1^{c}) $$ を得ます。次に $E_2$ の可測性を試験集合 $A \cap E_1^{c}$ に適用して $$ m^{*}(A \cap E_1^{c}) = m^{*}(A \cap E_1^{c} \cap E_2) + m^{*}(A \cap E_1^{c} \cap E_2^{c}) $$ を得ます。二つを合わせると $$ m^{*}(A) = m^{*}(A \cap E_1) + m^{*}(A \cap E_1^{c} \cap E_2) + m^{*}\bigl( A \cap (E_1 \cup E_2)^{c} \bigr) $$ です（最後の項ではド・モルガンの法則 $E_1^{c} \cap E_2^{c} = (E_1 \cup E_2)^{c}$ を使いました）。ところが $$ A \cap (E_1 \cup E_2) = (A \cap E_1) \cup (A \cap E_1^{c} \cap E_2) $$ なので（左辺の点は $E_1$ に入るか、入らずに $E_2$ に入るかのどちらかです）、の劣加法性より $$ m^{*}\bigl( A \cap (E_1 \cup E_2) \bigr) \le m^{*}(A \cap E_1) + m^{*}(A \cap E_1^{c} \cap E_2) $$ です。したがって $$ m^{*}(A) \ge m^{*}\bigl( A \cap (E_1 \cup E_2) \bigr) + m^{*}\bigl( A \cap (E_1 \cup E_2)^{c} \bigr) $$ となり、より $E_1 \cup E_2 \in \mathcal{M}$ です。帰納法により有限和 $E_1 \cup \cdots \cup E_n$ も可測です。(b) とド・モルガンの法則から有限交叉 $E_1 \cap E_2 = (E_1^{c} \cup E_2^{c})^{c}$ も可測、したがって差 $E_1 \setminus E_2 = E_1 \cap E_2^{c}$ も可測です。 **(d) 互いに素な有限個に対する加法性（試験集合つき）。** $F_1, \ldots, F_n \in \mathcal{M}$ が互いに素なとき、任意の $A$ に対して $$ m^{*}\left( A \cap \bigcup_{k=1}^{n} F_k \right) = \sum_{k=1}^{n} m^{*}(A \cap F_k) $$ が成り立つことを $n$ についての帰納法で示します。$n = 1$ は自明です。$n - 1$ で成り立つとし、$G = \bigcup_{k=1}^{n} F_k$ とおきます。$F_n$ の可測性を試験集合 $A \cap G$ に適用します。$F_k$ たちが互いに素なので $$ (A \cap G) \cap F_n = A \cap F_n, \qquad (A \cap G) \cap F_n^{c} = A \cap \bigcup_{k=1}^{n-1} F_k $$ です。よって $$ m^{*}(A \cap G) = m^{*}(A \cap F_n) + m^{*}\left( A \cap \bigcup_{k=1}^{n-1} F_k \right) = m^{*}(A \cap F_n) + \sum_{k=1}^{n-1} m^{*}(A \cap F_k) $$ となり（最後の等号は帰納法の仮定）、主張が従います。 **(e) 可算和について閉じること、および最後の等式。** $E_1, E_2, \ldots \in \mathcal{M}$ とし $E = \bigcup_{n=1}^{\infty} E_n$ とおきます。互いに素な形に直すため $$ F_1 = E_1, \qquad F_n = E_n \setminus (E_1 \cup \cdots \cup E_{n-1}) \quad (n \ge 2) $$ とおきます。(c) より $F_n \in \mathcal{M}$ で、$F_n$ たちは互いに素、そして $\bigcup_{n} F_n = E$ です。$G_N = \bigcup_{n=1}^{N} F_n$ とおくと (c) より $G_N \in \mathcal{M}$ です。任意の試験集合 $A$ に対して、$G_N$ の可測性と (d) から $$ m^{*}(A) = m^{*}(A \cap G_N) + m^{*}(A \cap G_N^{c}) = \sum_{n=1}^{N} m^{*}(A \cap F_n) + m^{*}(A \cap G_N^{c}) $$ です。$G_N \subset E$ より $E^{c} \subset G_N^{c}$ なので、の単調性から $m^{*}(A \cap G_N^{c}) \ge m^{*}(A \cap E^{c})$ です。よって $$ m^{*}(A) \ge \sum_{n=1}^{N} m^{*}(A \cap F_n) + m^{*}(A \cap E^{c}) $$ が任意の $N$ で成り立ちます。左辺は $N$ に依らないので $N \to \infty$ として $$ m^{*}(A) \ge \sum_{n=1}^{\infty} m^{*}(A \cap F_n) + m^{*}(A \cap E^{c}) $$ を得ます。ここで $A \cap E = \bigcup_{n} (A \cap F_n)$ なので、の可算劣加法性より $\sum_{n} m^{*}(A \cap F_n) \ge m^{*}(A \cap E)$ です。したがって $$ m^{*}(A) \ge \sum_{n=1}^{\infty} m^{*}(A \cap F_n) + m^{*}(A \cap E^{c}) \ge m^{*}(A \cap E) + m^{*}(A \cap E^{c}) \ge m^{*}(A) $$ となります（最後は劣加法性）。両端が一致するので、途中の不等号はすべて等号です。特に $E \in \mathcal{M}$ であり、かつ $$ \sum_{n=1}^{\infty} m^{*}(A \cap F_n) = m^{*}(A \cap E) $$ が成り立ちます。もとの $E_n$ たちが互いに素であった場合は $F_n = E_n$ なので、これが定理の最後の等式です。補集合と可算和が使えるので、ド・モルガンの法則により可算交叉 $\bigcap_{n} E_n = \left( \bigcup_{n} E_n^{c} \right)^{c}$ も $\mathcal{M}$ に属します。以後この事実も断りなく使います。 ### 4.3. ルベーグ測度と完全加法性外測度 $m^{*}$ を可測集合族 $\mathcal{M}$ に制限したものを $m$ と書き、**ルベーグ測度**という。すなわち $E \in \mathcal{M}$ に対し $m(E) = m^{*}(E)$。 $m(\emptyset) = 0$ である。また $E_1, E_2, \ldots \in \mathcal{M}$ が互いに素ならば $$ m\left( \bigcup_{n=1}^{\infty} E_n \right) = \sum_{n=1}^{\infty} m(E_n) $$ が成り立つ。さらに $m$ は平行移動不変である。すなわち $E \in \mathcal{M}$ と $t \in \mathbb{R}$ に対し $E + t \in \mathcal{M}$ かつ $m(E+t) = m(E)$。 $m(\emptyset) = m^{*}(\emptyset) = 0$ はの (1) です。完全加法性は、の最後の等式で試験集合を $A = \mathbb{R}$ と取れば得られます。実際、$\mathbb{R} \cap E_n = E_n$ であり、和集合も $\mathcal{M}$ に属するので、両辺は $m$ の値として読めます。平行移動不変性を示します。$E \in \mathcal{M}$ と $t \in \mathbb{R}$ を取り、$A$ を任意の試験集合とします。$(E + t)^{c} = E^{c} + t$ および $A \cap (E + t) = \bigl( (A - t) \cap E \bigr) + t$ に注意して、の (4) を三度使うと $$ \begin{aligned} m^{*}\bigl( A \cap (E+t) \bigr) + m^{*}\bigl( A \cap (E+t)^{c} \bigr) &= m^{*}\bigl( (A - t) \cap E \bigr) + m^{*}\bigl( (A-t) \cap E^{c} \bigr) \\ &= m^{*}(A - t) = m^{*}(A) \end{aligned} $$ となります（2 行目の最初の等号は $E$ の可測性を試験集合 $A - t$ に適用したものです）。よって $E + t \in \mathcal{M}$ で、$m(E+t) = m^{*}(E+t) = m^{*}(E) = m(E)$ です。と合わせると、$m$ は**完備**でもあります。すなわち $m(N) = 0$ となる $N \in \mathcal{M}$ の部分集合はすべて $\mathcal{M}$ に属し、測度 $0$ です（部分集合の外測度は単調性より $0$ だからです）。この性質は「ほとんど至るところ」の議論を滑らかにします。第 6 節で立ち返ります。 ## 5. どれだけの集合が可測か前節までで $\mathcal{M}$ が良い構造を持つことは分かりましたが、$\mathcal{M} = \{\emptyset, \mathbb{R}\}$ でも σ-加法族です。$\mathcal{M}$ が十分大きいことを確かめなければ理論に中身がありません。次が成り立つ。 1. 任意の $a \in \mathbb{R}$ に対して $(a, \infty) \in \mathcal{M}$ である。 2. すべての区間、すべての開集合、すべての閉集合は $\mathcal{M}$ に属する。さらに、開集合全体を含む最小の σ-加法族（ボレル集合族）$\mathcal{B}$ について $\mathcal{B} \subset \mathcal{M}$ が成り立つ。 3. 任意の区間 $I$ に対して $m(I) = \ell(I)$ である。 **(1)** $E = (a, \infty)$ とおき、$A$ を任意の試験集合とします。より $m^{*}(A) < \infty$ の場合に $m^{*}(A \cap E) + m^{*}(A \cap E^{c}) \le m^{*}(A)$ を示せば十分です。 $\varepsilon > 0$ を取り、開区間の被覆 $\{I_n\}$ で $A \subset \bigcup_n I_n$ かつ $\sum_n \ell(I_n) \le m^{*}(A) + \varepsilon$ となるものを取ります。各 $n$ について $$ I_n' = I_n \cap (a, \infty), \qquad I_n'' = I_n \cap (-\infty, a] $$ とおきます。$I_n'$ と $I_n''$ は（空かもしれない）区間で、$I_n$ を点 $a$ で切ったものですから $$ \ell(I_n') + \ell(I_n'') = \ell(I_n) $$ が成り立ちます（$a \notin I_n$ なら一方が $I_n$ で他方が空、$a \in I_n$ なら $I_n = (c,d)$ に対して $\ell(I_n') = d - a$、$\ell(I_n'') = a - c$ です）。さて $A \cap E \subset \bigcup_n I_n'$ かつ $A \cap E^{c} \subset \bigcup_n I_n''$ なので、の単調性と可算劣加法性、およびより $$ m^{*}(A \cap E) \le \sum_{n} m^{*}(I_n') = \sum_{n} \ell(I_n'), \qquad m^{*}(A \cap E^{c}) \le \sum_{n} \ell(I_n'') $$ です。足すと $$ m^{*}(A \cap E) + m^{*}(A \cap E^{c}) \le \sum_{n} \bigl( \ell(I_n') + \ell(I_n'') \bigr) = \sum_{n} \ell(I_n) \le m^{*}(A) + \varepsilon $$ となり、$\varepsilon \to 0$ として主張を得ます。 **(2)** (1) とから順に積み上げます。まず補集合を取って $(-\infty, a] \in \mathcal{M}$ です。次に $$ (-\infty, b) = \bigcup_{n=1}^{\infty} \left( -\infty,\ b - \tfrac{1}{n} \right] $$ は可算和なので $\mathcal{M}$ に属します（右辺の和が左辺に等しいのは、$x < b$ ならある $n$ で $x \le b - 1/n$ となるからです）。したがって $$ (a, b) = (a, \infty) \cap (-\infty, b) \in \mathcal{M} $$ です。一点集合 $\{a\}$ はとより可測なので、$[a,b] = (a,b) \cup \{a\} \cup \{b\}$、$[a,b) = (a,b) \cup \{a\}$ なども可測です。非有界区間も上で扱いました。以上ですべての区間が可測です。 $U \subset \mathbb{R}$ を開集合とします。$U$ の各点 $x$ に対し、$x \in (c, d) \subset U$ なる開区間があり、有理数の稠密性（）から $p, q \in \mathbb{Q}$ で $c < p < x < q < d$ を満たすものが取れます。このとき $x \in (p,q) \subset U$ です。よって $$ U = \bigcup \bigl\{ (p,q) \;:\; p, q \in \mathbb{Q},\ p < q,\ (p,q) \subset U \bigr\} $$ であり、右辺は $\mathbb{Q} \times \mathbb{Q}$ の部分集合で添字づけられているので**可算個**の開区間の和です。より $U \in \mathcal{M}$ です。閉集合は開集合の補集合なので可測です。最後に、$\mathcal{M}$ はすべての開集合を含む σ-加法族です。$\mathcal{B}$ は開集合全体を含む σ-加法族のうち最小のものですから、$\mathcal{B} \subset \mathcal{M}$ です。 **(3)** 区間 $I$ は (2) より可測で、$m(I) = m^{*}(I) = \ell(I)$ はです。ボレル集合族には開集合・閉集合・可算交叉（$G_\delta$ 集合）・可算和（$F_\sigma$ 集合）とその繰り返しがすべて含まれます。連続関数の不連続点集合や、関数列の収束点集合といった、解析で自然に現れる集合はほぼすべてボレル集合です。はそれらがすべて測れることを保証しています。 $C_0 = [0,1]$ とし、$C_{n-1}$ を構成する各閉区間から中央の長さ $1/3$ の開区間を取り除いて $C_n$ を作る。$C_n$ は長さ $3^{-n}$ の閉区間 $2^n$ 個の和である。**カントール集合**を $C = \bigcap_{n=0}^{\infty} C_n$ と定める。 $C$ は閉集合の可算交叉なので閉集合であり、より可測です。測度を計算します。$C \subset C_n$ と単調性、および $C_n$ が互いに素な $2^n$ 個の閉区間の和であることと、の (3) から $$ m(C) \le m(C_n) = 2^n \cdot 3^{-n} = \left( \frac{2}{3} \right)^n $$ です。$(2/3)^n \to 0$（$n \to \infty$）なので $m(C) = 0$ を得ます。一方、$C$ は非可算です。$x \in [0,1]$ の $3$ 進展開 $x = \sum_{k=1}^{\infty} a_k 3^{-k}$（$a_k \in \{0,1,2\}$）を使うと、$C$ はすべての $a_k$ を $0$ か $2$ に取れる $x$ の全体と一致します。写像 $(a_k)_k \mapsto \sum_k a_k 3^{-k}$ は $\{0,2\}^{\mathbb{N}}$ から $C$ への全単射を与えるので、$C$ の濃度は連続体濃度 $2^{\aleph_0}$ です（[濃度と無限](/mathematics/foundations/cardinality-and-infinity) の）。つまり**濃度と測度は独立**です。$\mathbb{Q}$ は可算で測度 $0$、$C$ は非可算で測度 $0$、$[0,1]$ は非可算で測度 $1$。可算集合が零集合であることはで見ましたが、逆は成り立ちません。から $\mathcal{B} \subsetneq \mathcal{M}$ が濃度の比較で分かります。$m(C) = 0$ なので、$C$ の**任意の**部分集合は外測度 $0$ であり、より可測です。よって $\mathcal{M}$ は $C$ の冪集合を含み、その濃度は $2^{2^{\aleph_0}}$ 以上です。一方、$\mathcal{B}$ の濃度は $2^{\aleph_0}$ であることが（超限帰納法による構成から）知られています。$2^{\aleph_0} < 2^{2^{\aleph_0}}$ なので、可測だがボレル集合でない集合が存在します。差はちょうど零集合の分です。$E \in \mathcal{M}$ なら、あるボレル集合 $B$ と零集合 $N$ を使って $E = B \setminus N$ の形に書けることが知られています。ルベーグ可測集合族は、ボレル集合族を零集合で「完備化」したものです。 ## 6. 測度零集合と「ほとんど至るところ」 $N \subset \mathbb{R}$ が $m^{*}(N) = 0$ を満たすとき、$N$ を**測度零集合**（零集合）という。より零集合は可測で $m(N) = 0$ である。 $x \in \mathbb{R}$ に関する命題 $P(x)$ について、ある零集合 $N$ が存在して $x \notin N$ を満たすすべての $x$ で $P(x)$ が成り立つとき、$P$ は**ほとんど至るところ**（almost everywhere、a.e.）成り立つという。集合 $E$ 上で考える場合は、$E$ に含まれるある零集合 $N$ について $E \setminus N$ 上で $P$ が成り立つことをいい、「$E$ 上 a.e. で $P$」と書く。零集合の扱いやすさは、次の二点に集約されます。第一に、零集合の部分集合はまた零集合です（単調性）。第二に、可算個の零集合の和集合はまた零集合です（可算劣加法性）。これは演習 1 で確かめてもらいます。**可算個の例外を無視できる**というこの性質が、以後の理論の柔軟さの源です。より $\mathbb{Q}$ は零集合です。$x \notin \mathbb{Q}$ なら $\chi_{\mathbb{Q}}(x) = 0$ なので、$\chi_{\mathbb{Q}} = 0$ は $\mathbb{R}$ 上 a.e. で成り立ちます。この言い方ができると、§1.2 の困難の位置がはっきりします。$\chi_{\mathbb{Q}}$ は「ほとんど至るところ $0$ の関数」であり、積分は $0$ であってほしい。リーマン積分はこれを表現できませんでしたが、次章のルベーグ積分は零集合の上での値の違いを一切見ない（）ので、$\int_0^1 \chi_{\mathbb{Q}} \, dm = 0$ となります。さらに §1.3 の列 $g_n$ については $\int_0^1 g_n \, dm = 0 \to 0 = \int_0^1 \chi_{\mathbb{Q}} \, dm$ で、極限と積分の交換も成立します。一般に、$f = g$ が a.e. で成り立てば両者のルベーグ積分は一致します。この同一視を突き詰めると、関数そのものではなく「a.e. で等しい関数の同値類」を要素とする空間、すなわち [L^p 空間と関数解析への導入](/mathematics/real-analysis/lp-spaces) のが定める空間 $L^p$ が現れます。「ほとんど至るところ」は便利な言い回しではなく、理論の対象そのものを決める概念です。 ### 6.1. リーマン積分可能性の完全な特徴づけ零集合の言葉があると、「どの関数がリーマン積分可能か」という問いに完全な答えが与えられます。 $f : [a,b] \to \mathbb{R}$ を有界関数とし、$D_f$ を $f$ の不連続点全体の集合とする。$f$ が $[a,b]$ 上リーマン積分可能であるための必要十分条件は $m^{*}(D_f) = 0$、すなわち $D_f$ が零集合であることである。証明の鍵は**振動**です。$x \in [a,b]$ に対し $$ \omega_f(x) = \lim_{\delta \to 0+} \left( \sup_{|y - x| < \delta} f(y) - \inf_{|y-x| < \delta} f(y) \right) $$ とおきます（括弧内は $\delta$ について単調減少で下に有界なので極限が存在します）。定義から、$f$ が $x$ で連続であることと $\omega_f(x) = 0$ は同値です。$\alpha > 0$ に対し $D_\alpha = \{ x \in [a,b] : \omega_f(x) \ge \alpha \}$ とおくと、$D_\alpha$ は閉集合であり、$D_f = \bigcup_{k=1}^{\infty} D_{1/k}$ と書けます。十分性は次のように示します。$m^{*}(D_f) = 0$ とすると単調性より各 $D_\alpha$ も零集合で、しかも有界閉集合なのでコンパクトです。よって長さの総和が $\varepsilon$ 未満の**有限個**の開区間で覆えます。その外側の点では振動が $\alpha$ 未満なので、その部分をさらに細かく分割すれば上下ダルブー和の差を $\alpha (b-a) + 2 \sup|f| \cdot \varepsilon$ 程度に抑えられます。$\alpha$ と $\varepsilon$ を小さく取れば差は任意に小さくなります。必要性は逆をたどります。$f$ がリーマン積分可能なら、上下ダルブー和の差が $\varepsilon / k$ 未満の分割が取れます。差が小さいことから、$D_{1/k}$ のうち分割点でない部分は、長さの総和が $\varepsilon$ 未満の有限個の区間で覆えます。分割点は有限個なので零集合です。よって $m^{*}(D_{1/k}) = 0$ となり、可算劣加法性から $m^{*}(D_f) = 0$ です。詳細は W. Rudin, *Principles of Mathematical Analysis*, 3rd ed. の第 11 章を参照してください。は §1.2 の結論をただちに再現します。$\chi_{\mathbb{Q}}$ の不連続点集合は $[0,1]$ 全体で、$m([0,1]) = 1 \ne 0$ ですから、リーマン積分可能ではありません。より面白いのは次の例です。 $t : [0,1] \to \mathbb{R}$ を $$ t(x) = \begin{cases} 1/q & \left( x = p/q,\ p \in \mathbb{Z},\ q \in \mathbb{N},\ \gcd(p,q) = 1 \right) \\ 0 & (x \notin \mathbb{Q}) \end{cases} $$ で定める（$0 = 0/1$ なので $t(0) = 1$）。この $t$ は**すべての無理点で連続、すべての有理点で不連続**である。まず有理点 $r$ での不連続性です。$t(r) = 1/q > 0$ ですが、$r$ のどんな近傍にも無理数があり、そこでの値は $0$ です。よって $t$ は $r$ で連続ではありません。次に無理点 $x_0$ での連続性です。$\varepsilon > 0$ を取ります。区間 $[x_0 - 1, x_0 + 1]$ に属する既約分数 $p/q$ で $q < 1/\varepsilon$ を満たすものは有限個しかありません。実際、$q$ の候補は $1 \le q < 1/\varepsilon$ を満たす有限個の自然数であり、各 $q$ に対して $p$ は長さ $2q$ の区間に入る整数なので有限個です。$x_0$ は無理数なのでそれらのどれとも異なり、$\delta$ を $x_0$ からそれら有限個の点までの距離の最小値より小さく取れます。すると $|x - x_0| < \delta$ のとき、$x$ が無理数なら $t(x) = 0$、$x = p/q$（既約）なら $q \ge 1/\varepsilon$ なので $t(x) = 1/q \le \varepsilon$ です。いずれにせよ $|t(x) - t(x_0)| = |t(x)| \le \varepsilon$ で、連続性が示されました。したがって $D_t = \mathbb{Q} \cap [0,1]$ で、よりこれは零集合です。より $t$ はリーマン積分可能です。積分の値は、上ダルブー和が任意に小さくできること（上の議論で $t(x) > \varepsilon$ となる点は有限個）と $t \ge 0$ から $\int_0^1 t(x)\,dx = 0$ です。 $\chi_{\mathbb{Q}}$ と $t$ はどちらも不連続点が $\mathbb{Q}$ 上に稠密にありますが、$\chi_{\mathbb{Q}}$ は $[0,1]$ 全体で不連続、$t$ は $\mathbb{Q}$ でのみ不連続です。この差がリーマン積分可能性を分けています。 ## 7. 演習 1. $N_1, N_2, \ldots$ がすべて零集合ならば $N = \bigcup_{n=1}^{\infty} N_n$ も零集合であることを示してください。 2. 零集合の部分集合は零集合であることを示してください。 **1.** の可算劣加法性より $$ 0 \le m^{*}(N) = m^{*}\left( \bigcup_{n=1}^{\infty} N_n \right) \le \sum_{n=1}^{\infty} m^{*}(N_n) = \sum_{n=1}^{\infty} 0 = 0 $$ なので $m^{*}(N) = 0$ です。 **2.** $M \subset N$ で $m^{*}(N) = 0$ とすると、の単調性より $0 \le m^{*}(M) \le m^{*}(N) = 0$、よって $m^{*}(M) = 0$ です。 2 の性質を測度の**完備性**といいます。と合わせると、零集合の部分集合はすべて可測で測度 $0$ です。これは自明な性質ではありません。たとえばルベーグ測度をボレル集合族 $\mathcal{B}$ に制限した測度は完備ではありません。で見たように、カントール集合の部分集合にはボレル集合でないものがあるからです。 $E \subset \mathbb{R}$ が次の条件を満たすとします。すなわち、任意の $\varepsilon > 0$ に対して開集合 $O$ で $E \subset O$ かつ $m^{*}(O \setminus E) < \varepsilon$ を満たすものが存在する。このとき $E$ が可測であることを示してください。各 $n \in \mathbb{N}$ に対し、仮定を $\varepsilon = 1/n$ に適用して開集合 $O_n \supset E$ で $m^{*}(O_n \setminus E) < 1/n$ となるものを取ります。$G = \bigcap_{n=1}^{\infty} O_n$ とおきます。 $O_n$ は開集合なのでより可測、そして可算交叉も可測なので（の補集合と可算和からド・モルガンの法則で従います）$G \in \mathcal{M}$ です。 $E \subset G$ であり、各 $n$ について $G \setminus E \subset O_n \setminus E$ なので、の単調性より $$ m^{*}(G \setminus E) \le m^{*}(O_n \setminus E) < \frac{1}{n} $$ が任意の $n$ で成り立ちます。よって $m^{*}(G \setminus E) = 0$ であり、より $G \setminus E \in \mathcal{M}$ です。最後に $E \subset G$ から $E = G \setminus (G \setminus E) = G \cap (G \setminus E)^{c}$ です。より $\mathcal{M}$ は補集合と有限交叉について閉じているので $E \in \mathcal{M}$ です。なお逆も成り立ち、「可測であること」と「任意の $\varepsilon > 0$ に対して上のような $O$ が取れること」は同値です。これを可測集合の**外部正則性**による特徴づけといい、カラテオドリの条件よりも直観的な可測性の言い換えを与えます。 $K_0 = [0,1]$ とし、$K_{n-1}$ を構成する $2^{n-1}$ 個の閉区間のそれぞれから、その中央にある長さ $4^{-n}$ の開区間を取り除いて $K_n$ を作ります（$n = 1, 2, \ldots$）。$K = \bigcap_{n=0}^{\infty} K_n$ とおきます。 1. $K_n$ を構成する各閉区間の長さ $\ell_n$ が $\ell_n = (2^n + 1) / 2^{2n+1}$ であることを示し、この構成が実行可能である（各段階で取り除く区間の長さが元の区間の長さより小さい）ことを確かめてください。 2. $m(K) = 1/2$ を示してください。 3. $K$ は空でない閉集合だが内点を持たないことを示してください。 4. 特性関数 $\chi_K$ は $[0,1]$ 上でリーマン積分可能でないことを示してください。 **1.** $K_{n-1}$ の各閉区間（長さ $\ell_{n-1}$）から中央の長さ $4^{-n}$ の開区間を除くと、長さ $(\ell_{n-1} - 4^{-n})/2$ の閉区間が 2 個残ります。よって $\ell_0 = 1$、$\ell_n = (\ell_{n-1} - 4^{-n})/2$ です。$\ell_n = (2^n+1)/2^{2n+1}$ を帰納法で示します。$n = 0$ のとき $(1+1)/2 = 1 = \ell_0$ で成立。$n$ で成り立つとすると $$ \ell_{n+1} = \frac{1}{2}\left( \frac{2^n+1}{2^{2n+1}} - \frac{1}{2^{2n+2}} \right) = \frac{1}{2} \cdot \frac{2(2^n+1) - 1}{2^{2n+2}} = \frac{2^{n+1}+1}{2^{2n+3}} = \frac{2^{n+1}+1}{2^{2(n+1)+1}} $$ となり成立します。構成可能性は $\ell_{n-1} > 4^{-n}$ を確かめればよく、 $$ \ell_{n-1} = \frac{2^{n-1}+1}{2^{2n-1}} > \frac{2^{n-1}}{2^{2n-1}} = \frac{1}{2^{n}} \ge \frac{1}{2^{2n}} = 4^{-n} $$ から従います（$n \ge 1$ で $2^n \le 2^{2n}$）。 **2.** 取り除かれた開区間たちは互いに素です。第 $n$ 段では $2^{n-1}$ 個の長さ $4^{-n}$ の開区間が取り除かれるので、取り除かれた部分 $[0,1] \setminus K$ の測度はの完全加法性より $$ m\bigl( [0,1] \setminus K \bigr) = \sum_{n=1}^{\infty} 2^{n-1} \cdot 4^{-n} = \frac{1}{2} \sum_{n=1}^{\infty} \left( \frac{2}{4} \right)^{n} = \frac{1}{2} \cdot \frac{1/2}{1 - 1/2} = \frac{1}{2} $$ です。$K$ は閉集合の可算交叉なので閉集合でありより可測、$[0,1] = K \cup ([0,1] \setminus K)$ は互いに素な可測集合の和なので、再び完全加法性と $m([0,1]) = 1$ から $$ 1 = m(K) + \frac{1}{2}, \qquad \text{よって } m(K) = \frac{1}{2}. $$ （$m([0,1]) = 1 < \infty$ なので引き算ができます。） **3.** $K$ が閉であることは上で述べました。$0$ は各段階で最も左の閉区間の左端であり続けるので $0 \in K_n$ が任意の $n$ で成り立ち、$0 \in K$ です。よって $K \ne \emptyset$ です。内点を持たないことを示します。ある開区間 $(u,v)$（$u < v$）が $K$ に含まれたとします。$\ell_n = (2^n+1)/2^{2n+1} \le 2^{n+1}/2^{2n+1} = 2^{-n} \to 0$ なので、$\ell_N < v - u$ となる $N$ が取れます。$(u,v) \subset K \subset K_N$ であり、$K_N$ は互いに交わらない有限個の閉区間の和で、隣り合う閉区間の間には取り除かれた開区間があるので分離されています。$(u,v)$ は連結なので、$K_N$ を構成する閉区間のうちのただ一つに含まれなければなりません。しかしその閉区間の長さは $\ell_N < v - u$ なので矛盾です。よって $K$ は内点を持ちません。 **4.** $x \in K$ とします。$\chi_K(x) = 1$ ですが、3 より $x$ は $K$ の内点ではないので、$x$ のどんな近傍にも $K$ に属さない点 $y$ があり、そこでは $\chi_K(y) = 0$ です。よって $\chi_K$ は $x$ で連続ではありません。したがって $\chi_K$ の不連続点集合 $D$ は $K$ を含み、の単調性と 2 から $$ m^{*}(D) \ge m^{*}(K) = \frac{1}{2} > 0 $$ です。より $\chi_K$ はリーマン積分可能ではありません。一方 $K$ は閉集合なので可測であり、次章で定義するルベーグ積分では $\int_0^1 \chi_K \, dm = m(K) = 1/2$ となります。この $K$ は**測度が正の閉集合でありながら区間を一つも含まない**という、リーマン積分の枠内では表現しにくい対象です。 ## 参考文献 - 伊藤清三『ルベーグ積分入門』裳華房、1963 — 第 1〜2 章。外測度から可測集合を構成する標準的な日本語の教科書です。 - 猪狩惺『実解析入門』岩波書店、1996 — 第 1〜2 章。測度論の基礎から丁寧に積み上げています。 - W. Rudin, *Principles of Mathematical Analysis*, 3rd ed., McGraw-Hill, 1976 — 第 11 章。リーマン積分可能性のルベーグの判定条件の証明があります。 - G. B. Folland, *Real Analysis: Modern Techniques and Their Applications*, 2nd ed., Wiley, 1999 — 第 1 章。カラテオドリの条件を抽象的な外測度に対して扱っており、この記事の議論がそのまま一般化されることが分かります。 - H. L. Royden and P. M. Fitzpatrick, *Real Analysis*, 4th ed., Pearson, 2010 — 第 2 章。ヴィタリ集合の構成と、外部正則性による可測性の特徴づけが詳しく書かれています。 - H. Lebesgue, "Intégrale, longueur, aire", *Annali di Matematica Pura ed Applicata* 7 (1902) — ルベーグの学位論文。測度と積分の原論文です。 ## Appendix: 非可測集合の存在（ヴィタリ集合） **目標。** §1.5 で挙げた四つの要請 (M1) 正規化、(M2) 平行移動不変性、(M3) 完全加法性、(M4) $\mathbb{R}$ のすべての部分集合で定義されること、が両立しないことを示します。言い換えると、$\mathcal{M} \ne \mathcal{P}(\mathbb{R})$、すなわち非可測集合が存在することを示します。ここでは選択公理を使います。1905 年のヴィタリによる構成です。 **同値関係を入れる。** $x, y \in [0,1]$ に対して $x \sim y \iff x - y \in \mathbb{Q}$ と定めます。これが同値関係であることは、$0 \in \mathbb{Q}$（反射律）、$\mathbb{Q}$ が符号反転で閉じること（対称律）、$\mathbb{Q}$ が加法で閉じること（推移律）から従います（[関係と同値関係](/mathematics/foundations/equivalence-relations) の）。$[0,1]$ はこの関係で同値類に分割されます。 **選択する。** 選択公理により、各同値類からちょうど一つずつ代表元を選んで集合 $V \subset [0,1]$ を作れます。この $V$ を**ヴィタリ集合**といいます。$V$ は「具体的に書き下す」ことができません。選択公理が本質的です。 **平行移動の族を作る。** $\mathbb{Q} \cap [-1, 1] = \{q_1, q_2, q_3, \ldots\}$ と番号付けし（$\mathbb{Q}$ は可算なのでできます）、$V_n = V + q_n$ とおきます。次の二つが成り立ちます。第一に、$V_n$ たちは互いに素です。$x \in V_i \cap V_j$ とすると $x = v + q_i = w + q_j$（$v, w \in V$）と書け、$v - w = q_j - q_i \in \mathbb{Q}$ なので $v \sim w$ です。$V$ は各同値類から一つしか元を持たないので $v = w$、したがって $q_i = q_j$、すなわち $i = j$ です。第二に、$[0,1] \subset \bigcup_{n=1}^{\infty} V_n \subset [-1, 2]$ です。実際、$x \in [0,1]$ を取ると、$x$ の属する同値類の代表元 $v \in V$ があり、$x - v \in \mathbb{Q}$ です。$x, v \in [0,1]$ より $x - v \in [-1,1]$ なので $x - v = q_n$ なる $n$ があり、$x = v + q_n \in V_n$ です。また $V_n \subset [0,1] + [-1,1] \subset [-1,2]$ です。 **矛盾を導く。** いま (M1)〜(M4) をすべて満たす $\mu$ が存在したとします。(M4) より $\mu(V)$ が定義されます。(M2) より $\mu(V_n) = \mu(V)$ がすべての $n$ で成り立ちます。$V_n$ は互いに素なので (M3) より $$ \mu\left( \bigcup_{n=1}^{\infty} V_n \right) = \sum_{n=1}^{\infty} \mu(V_n) = \sum_{n=1}^{\infty} \mu(V) $$ です。一方、$[0,1] \subset \bigcup_n V_n \subset [-1,2]$ と (M1) および単調性（(M3) から $A \subset B$ のとき $\mu(B) = \mu(A) + \mu(B \setminus A) \ge \mu(A)$ として従います）より $$ 1 = \mu([0,1]) \le \sum_{n=1}^{\infty} \mu(V) \le \mu([-1,2]) = 3 $$ です。ところが $\sum_{n=1}^{\infty} \mu(V)$ は同じ値を無限回足したものなので、$\mu(V) = 0$ なら $0$、$\mu(V) > 0$ なら $\infty$ にしかなりません。$0 < 1$ でも $\infty > 3$ でも上の不等式に反します。これが矛盾です。 **結論。** (M1)〜(M4) を同時に満たす $\mu$ は存在しません。$m^{*}$ は (M1)（）、(M2)（の (4)）、(M4)（の直後の注意）を満たしているので、破れているのは (M3) です。すなわち外測度は完全加法的ではありません。同じ議論を $\mu = m$、定義域を $\mathcal{M}$ として読み直すと、$V \in \mathcal{M}$ を仮定して矛盾が出ます。よって $V \notin \mathcal{M}$、非可測集合が存在します。