Ergodenzerlegung

In der Theorie dynamischer Systeme, spezieller der Theorie maßerhaltender Abbildungen, ist die Ergodenzerlegung ein wichtiges Hilfsmittel, um die Untersuchung allgemeiner dynamischer Systeme auf die Untersuchung ergodischer Systeme zurückführen zu können.

Im Allgemeinen lassen sich invariante Maße nicht einfach als Summe oder Linearkombination ergodischer Maße zerlegen, sondern man braucht kompliziertere Zerlegungsabbildungen, bei denen über den Raum der ergodischen Maße integriert werden muss.

Zerlegungsabbildung

Es sei $(X,\omega )$ ein Standard-Borel-Raum mit einer messbaren Wirkung einer Gruppe $G$.

Wir bezeichnen mit $M^G(X)$ den Raum der $G$-invarianten Wahrscheinlichkeitsmaße als Teilmenge des (lokal-konvexen) topologischen Vektorraums der signierten Radon-Maße mit der schwach-*-Topologie und der Borelschen σ-Algebra. Weiter sei $E^G(X)\subset M^G(X)$ der (kompakte und konvexe) Unterraum der ergodischen Wahrscheinlichkeitsmaße.

Eine Zerlegungsabbildung ist eine messbare Abbildung

$\beta :X\to E^G(X)$

$x\mapsto {\beta }_x$

mit folgenden Eigenschaften:

• für alle $g\in G,x\in X$ ist ${\beta }_{gx}={\beta }_x$
• für alle $\eta \in E^G(X)$ ist $X_{\eta }:={\beta }^{-1}(\eta )$ messbar und $\eta (X_{\eta })=1$
• für alle $\mu \in M^G(X)$ und alle messbaren Teilmengen $A\subset X$ gilt

$\mu (A)=\underset{X}{\int }{\beta }_x(A)d\mu (x)$.

Ergodenzerlegung

Es sei $G$ eine abzählbare Gruppe und $(X,\omega )$ ein Standard-Borel-Raum mit einer messbaren Wirkung der Gruppe $G$. Wenn $M^G(X)=\mathrm{\varnothing }$, dann ist $E^G(X)=\mathrm{\varnothing }$ und es gibt eine Zerlegungsabbildung $\beta :X\to E^G(X)$ mit obigen Eigenschaften.

Eindeutigkeit

Die Ergodenzerlegung ist eindeutig in folgendem Sinne:

• Wenn $\beta ,{\beta }^{\prime }:X\to E^G(X)$ zwei Abbildungen mit den obigen Eigenschaften sind, dann gilt ${\beta }_x={\beta }_x^{\prime }$ für alle $x\in X\setminus N$ mit einer Menge $N$, die $\mu (N)=0$ für alle $\mu \in M^G(X)$ erfüllt.

Beispiele

• Für $\alpha =e^{2\pi i/n},n\in \mathbb{N}$ betrachte die Wirkung von $G=\mathbb{Z}$ auf $X=S^1\subset ℂ$ durch $(m,z)\to {\alpha }^{m}z$ für $m\in \mathbb{Z},z\in S^1$. Dann ist für alle $z\in S^1$

$X_{{\beta }_z}=\{z,\alpha z,{\alpha }^{2}z,\dots ,{\alpha }^{n-1}z\}$

und ${\beta }_z$ ist die Gleichverteilung auf der endlichen Menge $X_{{\beta }_z}$.

• Sei $\alpha \in S^1\subset ℂ$ keine Einheitswurzel und die Wirkung von $G=\mathbb{Z}$ auf $X=S^1\times [0,1]$ gegeben durch $(m,(z,t))\to ({\alpha }^{m}z,t)$ für $m\in \mathbb{Z},(z,t)\in S^1\times [0,1]$. Dann ist für alle $(z,t)\in S^1\times [0,1]$

$X_{{\beta }_{(z,t)}}=S^1\times \left\{t\right\}$

und ${\beta }_{(z,t)}$ ist die Gleichverteilung (das normierte Lebesgue-Maß) auf $S^1$.

Literatur

• V. S. Varadarajan: Groups of automorphisms of Borel spaces. Trans. Amer. Math. Soc. 109 (1963), 191–220. pdf

Weblinks

• Albarrán: A guide to the ergodic decomposition theorem
• Löh: The ergodic decomposition theorem