定義8．（ルベーグ外測度） for all と定める．このをルベーグ外測度という．□ 今からの流れは以下のようである． １．ルベーグ外測度はカラテオドリの外測度の条件を満たす ２．ルベーグ外測度でカラテオドリの条件を満たす集合系は集合体となる ３．ルベー…