上位エントリ：サイバネティックス
先行エントリ:「サイバネティックス」という本の「第２章 群と統計力学」（４）
次に進みます。次はこのようなことが書かれています。
ひじょうに興味のある場合は、いわゆる‘エルゴード的’あるいは‘測度可遷的(metrically transitive)’と呼ばれる場合であって、変換
・・・・・の集合は、その測度が0でも1でもないような点
の如何なる集合をも不変にしないときである。
これはなかなかおもしろい概念だと思います。まずは有限集合で考えてみます。
「測度が０でも１でもないような任意の集合」というのですが、有限集合においては測度は要素の個数を意味する、と考えてみます。
すると「測度が０の集合」というのは空集合、「測度が１の集合」というのは全集合、ということになります。よって「内の測度が０でも１でもないような点
の任意の集合を不変にしない」というのは、空集合でも全集合でもない集合の要素を変換
で変換した時に、変換後の要素から成る集合が元の集合と等しくない、ということを意味していると考えられます。しかも変換は測度を不変にしますので、この場合は要素の個数を変えない、ということになります。このような変換を想像してみます。そこでは、
内の任意の要素に変換
を繰り返し行うと、
内の全ての要素をたどって最後に元の要素に戻るような要素の系列が得られます。
例えば、という集合を考えます。この場合、「
内の測度が０でも１でもないような点
の任意の集合を不変にしない」変換としてはこのようなものが考えられます。
このような変換であれば、測度（要素の個数）を保存しますし、空集合でも全集合でもない集合の要素を変換した時に、変換後の要素から成る集合が元の集合と等しくないようになります。そして任意の要素、たとえば２に変換を次々にほどこしていくと、
- ２→３→４→５→１→２
となって、内の全ての要素を巡ったあとに自分に戻ってきます。では、必ずしも全ての要素を巡らないような変換は「測度可遷的」になるでしょうか？ たとえば、
という変換ではどうでしょうか？ この場合、集合はこの変換で自分自身に変換されてしまいます。集合
も同様です。
これは、「空集合でも全集合でもない集合を不変にしない」という条件に反します。つまり「測度可遷的」ではありません。それでは
という変換ではどうでしょうか？ この場合、もし１から変換を次々に繰り返すと、この系列は２を通りません。しかし、この変換は測度（要素の数）を保存していないので保測変換という条件に反します。
このように、有限集合の場合は、内の任意の点がこの変換の繰り返しによって
内の全ての要素を巡ることになります。そして変換
の物理的意味が、
時間あとの状態への変換でしたので、このことは、点は時間がたつにつれて
内の全ての要素を通過する、ということになります。ここにボンヤリと、
- 時間平均＝集合平均
が見えてきています。
「「サイバネティックス」という本の「第２章 群と統計力学」（６）」に続きます。
