Borel measure
定理 "X" を局所コンパクトなハウスドルフ空間とする。"C"0("X") 上の任意の連続な線型汎函数 ψ に対し、"X" 上の次のような正則な可算加法的複素ボレル測度 μ が唯一つ存在する。すなわち、"C"0("X") 内のすべての "f" について