外測度
数学、とくに測度論における外測度(がいそくど, outer measure, exterior measure)は、与えられた集合の全ての部分集合に対して定義され、補完数直線に値をとる集合函数で、特定の技術的条件を満足するものを言う。この概念はコンスタンティン・カラテオドリによって加算加法的測度の理論の基礎を与えるため導入された。その後のカラテオドリの研究によるカラテオドリの拡張定理や、フェリックス・ハウスドルフによる距離空間のハウスドルフ次元などに関する多くの応用が見つかった。
カラテオドリの外測度は任意の部分集合に対して値が定まるが、それらの中には望ましい性質を持つ「可測集合」とそうでない非可測集合(英語版)とが混じっていることに注意すべきである。外測度の構成の目的は、そうして可測集合のクラスだけを取り出せば、それが完全加法族でありかつその上に定義域を制限した外測度が完全加法性を満たし実際にひとつの測度を与えるという点にある。
このように得られる φ0 は X 上の計量外測度である。
この構成法は距離空間に対するハウスドルフ測度(英語版)の構成に用いられる。
φ が X 上の計量外測度ならば、X の任意のボレル部分集合が φ-可測である。