3. Lebesgue外測度
本章の目標
Jordan外測度の「有限被覆」を「可算被覆」に置き換えて
Lebesgue外測度 \lambda^* を定義し,
それが \RR^d 上の外測度になることを示す.
さらに,Lebesgue外測度が開被覆によっても同じように記述できることを証明する.
\lambda^* はすべての部分集合に定義されるが,
一般には可算劣加法性しか言えない.
本章の目標
Jordan外測度の「有限被覆」を「可算被覆」に置き換えて
Lebesgue外測度 \lambda^* を定義し,
それが \RR^d 上の外測度になることを示す.
さらに,Lebesgue外測度が開被覆によっても同じように記述できることを証明する.
\lambda^* はすべての部分集合に定義されるが,
一般には可算劣加法性しか言えない.