定義
X を局所コンパクト空間とする。
λ を X の容量(過去スレ007の723) とし、
μ を λ から誘導された外測度(>>17)とする。
μ-可測(過去スレ007の768)な集合全体を Φ(λ) と書いた(>>43)。
>>25 より、Φ(λ) は Borel 集合全体を含む。
μ を Φ(λ) に制限したものを、λ から誘導された測度と言う。