抽象空间中 q 过程的唯一性准则

<正> 设(?)是一可测空间,(?)含(?)的一切单点集.称 q(x)-q(x,A)(x∈(?),A∈(?))是一对 q 函数,如果固定 A∈(?),q(·,A)与 q(·)都是 x 的(?)可测非负实值函数,固定x∈(?),q(x,·)是(?)上的有限测度且 q(x,(?))≤q(x),q(x,{x})=0.特别地,若 q(x)≡q(x,(?)),(x∈(?)),则称 q 函数是保守的.称马尔可夫过程(定义见5]定义1.1)P(t,x,A)(t≥0,x∈(?),A∈(?))是一个 q 过程,如果