Definition を確率空間，を可測空間とする． を可測写像， を実確率変数とし可積分とする．このとき  とすると， は上の符号付き測度となる．また (像測度) とすると， は に関して絶対連続となる． よってRadon-Nykodim 導関数が存在し，それを と表…