定理． （i）． （ii）．□ つまり，測度空間はの拡張になっている．（証明） （i） 任意のおよびをとる． の被覆をとする．このとき となる．1行目から2行目へは外測度，すなわちをとっていることに注意する． 両辺に関するをとると が従う．これはカラテオ…