完全加法族 測度 定理6.1 で定義された外測度について -可測集合の全体は完全加法族であり は上の測度である 前半は定理5.3と可測性の定義から 後半は定理5.3と外測度の定義から(§5 参照) Lebesgue測度： におけるLebesgue外測度 (§5 参照)について -可測集…