クリロフ＝ボゴリューボフの定理

数学におけるクリロフ＝ボゴリューボフの定理（クリロフ＝ボゴリューボフのていり、）とは、力学系の理論に現れる関連する二つの基本定理のいずれかを指す。不変測度の存在定理（ふへんそくどのそんざいていり、）としても知られており、ある「良質な」空間上で定義されるある「良質な」写像に対して不変測度が存在することを保証する定理である。定理の証明を与えた、ロシアおよびウクライナの数学者および理論物理学者であるとニコライ・ボゴリューボフの名にちなむ。
定理の内容.
単一の写像に対する不変測度.
定理（クリロフ＝ボゴリュボフ）. ("X", "T") をあるコンパクト距離化可能位相空間とし、"F" : "X" → "X" をある連続写像とする。このとき、"F" はある不変なボレル確率測度を許すものである。
すなわち、"X" の開部分集合の集まり "T" によって生成されるボレル σ-代数を Borel("X") と表すとき、任意の部分集合 "A" ∈ Borel("X") に対して
を満たすようなある確率測度 "μ" : Borel("X") → [0, 1] が存在する。について言えば、このことは
を意味する。
マルコフ過程に対する不変測度.
"X" をポーランド空間とし、formula_3 を "X" 上の時間同次なマルコフ半群についての移動確率とする。すなわち、
が成立する。
定理（クリロフ＝ボゴリュボフ）. ある点 formula_5 に対して、確率測度の族 { "P""t"("x", ·) | "t" > 0 } が一様に緊密となり、半群 ("P""t") がを満たすなら、("P""t") に対して少なくとも一つの不変測度が存在する。すなわち、"X" 上の確率測度 "μ" で
を満たすようなものが存在する。