数学、とくに測度論における外測度（がいそくど, ）とは、与えられた集合の部分集合の大きさを与える測度関数を可測集合以外の全ての部分集合に拡張して得られるような一定の性質を満たす関数である。この概念はコンスタンティン・カラテオドリによって加算加法的測度の理論の基礎を与えるため導入された。その後のカラテオドリの研究によるカラテオドリの拡張定理や、フェリックス・ハウスドルフによる距離空間のハウスドルフ次元などに関する多くの応用が見つかった。集合 "X" の上の外測度 μ とは、冪集合2 上で定義され、拡張された区間 [0, ∞] に値を持つ（つまり、無限大も許す非負値の）関数であって次の性質を満たすもののことである：集合族 "S" ⊆ 2 上で定義された [0, ∞] 値関数 "m" に対し、によって "X" 上の外測度 φ が定義される。"S"がσ-代数で"m"が加算加法的な測度ならばφは"m"の拡張になっている。外測度 μ に対し、任意の集合 "A" にたいして、次の式を満たすような集合 "E" をμ-可測集合とする。このときμ-可測集合全体は完全加法族となり、これらの集合に関する μの制限は完備な測度を与えている。

出典:wikipedia