4.6. 解釈
Lebesgue内測度 \lambda_*(A) は，
「A の中に入るコンパクト集合のうち，どこまで大きな面積を確保できるか」
を表している．
したがって，Lebesgue流の可測性
\lambda^*(A)=\lambda_*(A)
とは，外から見た大きさと内から見た大きさが一致して， その集合の面積がぶれないことを意味している．
ただし，この定義は補助的である． 理由は2つある．
-
コンパクト集合という位相的概念に依存している
-
この定義だけから可測集合全体の構造を調べるのは難しい