定義
X を局所コンパクト空間とする。
μ を X 上の正値Radon測度(過去スレ009の730)とする。
μと局所μ-可積分な複素数値関数の積となっている
複素Radon測度を基底μのRadon測度という。