Ergodisches Maß
# Ergodisches Maß

Das ergodische Maß ist ein Begriff aus der Wahrscheinlichkeitstheorie und der Theorie dynamischer Systeme. Anschaulich bedeutet Ergodizität eines Maßes bzgl. einer Abbildung, dass fast alle Punkte des Wahrscheinlichkeitsraumes in einem einzigen Orbit des dynamischen Systems liegen.

## Definition

Es sei $\mu$ ein Wahrscheinlichkeitsmaß auf einem Wahrscheinlichkeitsraum $\Omega$ und $T\colon \Omega \to \Omega$ eine maßerhaltende Abbildung. Dann ist $\mu$ ein ergodisches Maß, wenn für jede $T$-invariante Menge $A\subset \Omega$ gilt:

    $\mu (A)=0$ oder $\mu (A)=1$.

(Eine Menge $A$ heißt $T$-invariant, wenn $T^{-1}A=A$ gilt, wobei $T^{-1}A$ das Urbild von $A$ unter $T$ bezeichnet.)

## Existenz

Es sei $\Omega$ ein kompakter Raum. Dann ist die Menge ${\mathcal {M}}$ der $T$-invarianten Maße nicht leer und man kann beweisen, dass die ergodischen Maße die Extrempunkte des kompakten, konvexen metrischen Raumes ${\mathcal {M}}$ sind. Insbesondere gibt es ergodische Maße.

## Ergodenzerlegung

Wenn es für eine Abbildung nur ein ergodisches Maß gibt, dann heißt sie eindeutig ergodisch. (Insbesondere gibt es dann nur ein invariantes Maß.) Im Allgemeinen gibt es mehrere ergodische Maße zu einer gegebenen Abbildung und jedes invariante Maß lässt sich mittels der Ergodenzerlegung als Konvexkombination ergodischer Maße zerlegen.

