内測度
測度が誘導する内測度は、同じく測度が誘導する外測度と組み合わせることで、測度が定義される集合をより大きな完全加法族に取り換えることにしばしば利用される。
集合 X 上の「有限」測度 μ が完全加法族 Σ 上定義されているとし、それぞれ対応する外測度および内測度をμ* および μ∗ とすれば、μ∗(T) = μ*(T) を満たす T ∈ 2 の全体は完全加法族 ˆΣ を成し、明らかに Σ ⊂ ˆΣ である。このとき
と置いて得られる測度 ˆμ を μ の完備化と呼ぶ。
有限でない測度であっても、条件 μ∗(T) = μ*(T) は「両辺とも ∞ となる」という意味で成り立っていても構わないから、同様の完備化を考えることができる。特に σ-有限測度(英語版)の完備化は応用上重要である。