不変測度

数学において不変測度（ふへんそくど、）とは、ある函数によって保存される測度のことを言う。エルゴード理論は、力学系における不変測度についての研究である。クリロフ＝ボゴリューボフの定理は、函数と考えている空間に関するある条件の下での不変測度の存在を示すものである。
定義.
可測空間 上の可測変換 に対し、 上測度 が の下で不変または短く -不変であるとは、
が成立することを言う。これは、を用いれば、 とも書ける。さらに、可測変換のあつまり に対し、測度 が -不変であるとは、任意の に対し が -不変となるときに言う。 が何等かのモノイド（変換モノイド）となっている場合も少なくない。
 上の -不変測度（通常は確率測度）全体の成す集合を、しばしば と表す。の集合 は、 の部分集合である。さらに、二つの不変測度の任意の凸結合はまた不変であり、したがって は凸集合を成す。 は の極点からなる。可測変換のあつまり に対する -不変測度の空間を同様に などで表す。
力学系 に対しても変換の一径数族 に関して不変な測度というものを考えることができる。すなわち、 をモノイド（直観的には時刻 の成す径数モノイド）、 をフロー写像とするとき、 上の測度 が -不変測度であるとは、任意の に対する 上の可測変換写像 に対して不変であることを言う。より明示的に、 が不変測度であるための必要十分条件は、
である。また、 が確率変数列 （それはマルコフ連鎖や、確率微分方程式の解であるかも知れない）に対する不変測度であるとは、初期条件 が に従って分布する限りにおいて、その後の任意の時刻 に対する もそうであることを言う。
例.
最初に挙げた例である一次元ルベーグ測度は、定数倍による正規化定数の取り換えという自明な操作を除いて一意に決まる。しかし、一般の場合には必ずしもそのような一意性が存在するわけではない。例えば、二点集合 と、各点を動かさない恒等写像 を考えると、任意の（確率）測度 は -不変である。 は明らかに -不変成分 および に分割される。