logo

外測度 📂測度論

外測度

定義 1

ERE \subset \mathbb{R}, {InI  nN}\left\{ I_{n} \in \mathcal{I} \ | \ n \in \mathbb{N} \right\} , {EnP(R)  nN}\left\{ E_{n} \in \mathscr{P} ( \mathbb{R} ) \ | \ n \in \mathbb{N} \right\}において、関数m(E):=infZEm^{ \ast } (E) : = \inf Z_{E}外測度outer measureと呼ぶ。

基本性質

外測度は以下の性質を持つ。

  • [1] 長さの一般化: II    m(I)=l(I)I \in \mathcal{I} \implies m^{ \ast } (I) = l(I)
  • [2] 正符号性: NN    m(N)=0N \in \mathcal{N} \iff m^{ \ast }(N) = 0
  • [3] 単調性: E1E2    m(E1)m(E2)E_{1} \subset E_{2} \implies m^{ \ast }(E_{1}) \le m^{ \ast }(E_{2})
  • [4] 変換不変性: tR    m(E)=m(E+t)t \in \mathbb{R} \implies m^{ \ast } (E) = m^{ \ast } (E+t)
  • [5] 可算劣加法性: m(n=1En)n=1m(En)\displaystyle m^{ \ast } \left( \bigcup_{n=1}^{\infty} E_{n} \right) \le \sum_{n=1}^{\infty} m^{ \ast } (E_{n})

説明

ZEZ_{E}の要素が距離の合計であるので、ZEZ_{E}は下に有界であり、infZE\inf Z_{E}の存在は自明である。条件ではEn=1In\displaystyle E \subset \bigcup_{n=1}^{\infty} I_{n}を満たさなければならず、最小のinf\infを選ぶことは「外側から範囲を絞る」ことと考えることができる。そのため、外測度は**(Lebesgue)外測度**とも呼ばれ、この名前付けは妥当であると言えるだろう。

性質[1]から推測できるように、外測度は「長さ」を一般化するために考案された概念である。自然と、我々が直感的に、慣習的に使用してきた長さをカバーできなければならない。この意味で、[2]〜[5]のような性質は必須であり、それがなければ一般化とは言い難い。

特に[5]を見ると、ノルムの三角不等式に似た面があり、項の数が可算的に増えたという違いがある。常識的に、すべてのiji \ne jに対し、EiEj=E_{i} \cap E_{j} = \emptysetの時 m(n=1En)=n=1m(En) m^{ \ast } \left( \bigcup_{n=1}^{\infty} E_{n} \right) = \sum_{n=1}^{\infty} m^{ \ast } (E_{n}) が成立するならば、つまりm(n=1En)=n=1m(En)\displaystyle m^{ \ast } \left( \bigsqcup_{n=1}^{\infty} E_{n} \right) = \sum_{n=1}^{\infty} m^{ \ast } (E_{n})が成立するならば、長さの一般化は成功したと言えるだろう。(ここで\bigsqcupは互いに素な集合の和集合を意味する記号である。)

外測度の限界

問題は、これほど強い条件を設定したにも関わらず、異常な反例が存在し、等式を成立させることができなかったことである。この等式を満たすために、数学者たち、特にルベーグは新しい条件を探し始めることになる。

反例

すべてのiji \ne jに対し、以下は常に成立しない。 EiEj=    m(n=1En)=n=1m(En)\displaystyle E_{i} \cap E_{j} = \emptyset \implies m^{ \ast } \left( \bigsqcup_{n=1}^{\infty} E_{n} \right) = \sum_{n=1}^{\infty} m^{ \ast } (E_{n})

反証

EiEj=    m(n=1En)n=1m(En)\displaystyle E_{i} \cap E_{j} = \emptyset \implies m^{ \ast } \left( \bigsqcup_{n=1}^{\infty} E_{n} \right) \ne \sum_{n=1}^{\infty} m^{ \ast } (E_{n})の反例を示せば十分である。


x,y[0,1]x,y \in [0,1]yxQy-x \in \mathbb{Q}ならばxyx \sim yである関係を定義すれば、\simが同値関係であることは容易に示せる。\simは同値類AαA_{\alpha}を決定し、[0,1][0,1]が非可算であるため、すべてのα[0,1]\alpha \in [0,1]に対してAαA_{\alpha}が存在し、AαA_{\alpha}は非可算的に多い。一方xAαx \in A_{\alpha}qQ[0,1]q \in \mathbb{Q} \cap [0,1]に対してx(xq)=qQx - (x - q) = q \in \mathbb{Q}が成立するため、それぞれのAαA_{\alpha}は可算集合である。

これで、すべてのAαA_{\alpha}から元をひとつずつ選んで集めた集合EEを考える。このような集合EEを構成できることは選択公理により保証されている。

すると、任意のqnQ[0,1]q_{n} \in \mathbb{Q} \cap [0,1]に対してEn:=E+qnE_{n} := E + q_{n}を定義できる。zEiEjz \in E_{i} \cap E_{j}と仮定すると aα+qi=z=aβ+qjaαaβ=qjqiQ a_{\alpha} + q_{i} = z = a_{\beta} + q_{j} \\ a_{\alpha} - a_{\beta} = q_{j} - q_{i} \in \mathbb{Q} であり、これはaαaβQa_{\alpha} - a_{\beta} \in \mathbb{Q}を意味し、aαa_{\alpha}aβa_{\beta}があるAλA_{\lambda}に同時に属していることを意味する。しかし、EEは各AαA_{\alpha}からひとつの元だけを選んできたので、矛盾が発生し、したがってiji \ne jに対してEiEj=E_{i} \cap E_{j} = \emptysetが成立しなければならない。

一方で、[0,1]n=1En[1,2]\displaystyle [0,1] \subset \bigsqcup_{n=1}^{\infty} E_{n} \subset [-1,2]であるため、[3] 単調性により m[0,1]m(n=1En)m[1,2] m^{ \ast } [0,1] \le m^{ \ast } \left( \bigsqcup_{n=1}^{\infty} E_{n} \right) \le m^{ \ast } [-1, 2] m(n=1En)=n=1m(En)\displaystyle m^{ \ast } \left( \bigsqcup_{n=1}^{\infty} E_{n} \right) = \sum_{n=1}^{\infty} m^{ \ast } (E_{n})が成立すると仮定すると 1n=1m(En)3 1 \le \sum_{n=1}^{\infty} m^{ \ast } ( E_{n} ) \le 3

[4] 変換不変性によりm(En)=m(E+qn)=m(E)m^{ \ast }(E_{n}) = m^{ \ast }(E + q_{n}) = m^{ \ast }(E)であるため、 1n=1m(En)=m(E)+m(E)+3 1 \le \sum_{n=1}^{\infty} m^{ \ast } ( E_{n} ) = m^{ \ast } (E) + m^{ \ast } (E) + \cdots \le 3 1n=1m(E)\displaystyle 1 \le \sum_{n=1}^{\infty} m^{ \ast } ( E )であるためにはn=1m(E)=\displaystyle \sum_{n=1}^{\infty} m^{ \ast } ( E ) = \inftyでなければならず、n=1m(E)3\displaystyle \sum_{n=1}^{\infty} m^{ \ast } ( E ) \le 3であるためにはn=1m(E)=0\displaystyle \sum_{n=1}^{\infty} m^{ \ast } ( E ) = 0でなければならない。これら二つの条件を同時に満たすことは不可能であるため、 m(n=1En)n=1m(En) m^{ \ast } \left( \bigsqcup_{n=1}^{\infty} E_{n} \right) \ne \sum_{n=1}^{\infty} m^{ \ast } (E_{n})

反例だけでなく、このような反例を思いつく脳がこの世に存在したことがさらに衝撃的だ。もし、類似していない、独創的な反例を発見したら、精神病院か大学院のどちらかを必ず訪れることをおすすめする。


  1. Capinski. (1999). Measure, Integral and Probability: p20. ↩︎