Markov process
ある写像やマルコフ過程の不変測度の存在は、クリロフ＝ボゴリューボフの定理によって証明できる。