命題
X を局所コンパクト空間とする。
λ を X の容量(過去スレ007の723) とし、
μ^* を λ から誘導された外測度(>>17)とする。

(μ^*)-局所零集合(>>58)は (μ^*)-可測である。

証明
E を 局所零集合とする。
任意のコンパクト集合 K に対して
E ∩ K は零集合である。

>>52 より E ∩ K は可測だから
>>57 より E は可測である。
証明終