teorema ergodico
In un sistema dinamico governato da una trasformazione ergodica, la media spaziale e la media temporale coincidono quasi certamente. Matematicamente, un sistema dinamico measure-preserving è un sistema (X,✄,P,T) dove (X,✄,P) è uno spazio di probabilità e T:X→X è una trasformazione misurabile che conserva P, ossia P(T−1(A))=P(A), per ogni A in ✄. Un evento A in ✄ è detto T-invariante se è di fatto identico al suo trasformato: P(AΔT(A))=0, dove Δ è il simbolo di differenza simmetrica insiemistica. Un sistema measure-preserving (X,✄,P,T) è detto ergodico se gli unici eventi T-invarianti sono banali, ossia hanno probabilità 0 o 1. Il teorema ergodico afferma che per funzione g su un sistema ergodico (X,✄,P,T) sufficientemente regolare – g deve appartenere a L1(X,✄,P) – si ha che