Zum Inhalt springen

Ergodentheorie

aus Wikipedia, der freien Enzyklopädie

Die Ergodentheorie ist ein Teilgebiet der Mathematik, das sowohl der Maßtheorie und Stochastik als auch der Theorie dynamischer Systeme zugeordnet wird. Die Ursprünge der Ergodentheorie liegen in der statistischen Physik. Der Name leitet sich vom griechischen {{#invoke:Vorlage:lang|flat}} und {{#invoke:Vorlage:lang|flat}} ab. Einzelheiten des physikalischen Begriffs siehe Ergodizität.

Vorbereitungen

Datei:Exampleergodicmap.svg
Beispiel einer (Lebesgue-) maßerhaltenden Abbildung: <math>T\colon [0,1)\rightarrow [0,1)</math> mit <math>x \mapsto 2x \mod 1</math>

Man nennt zu einem Wahrscheinlichkeitsraum <math>(\Omega, \mathcal A, P)</math> eine messbare Abbildung <math>T</math> maßerhaltend, falls das Bildmaß von <math>P</math> unter <math>T</math> wieder <math>P</math> ist, d. h. <math>P(T^{-1}(A)) = P(A)</math> für alle Mengen <math>A</math> aus der σ-Algebra <math>\mathcal A</math>. Entsprechend heißt das 4-Tupel <math>(\Omega, \mathcal A, P, T)</math> maßerhaltendes dynamisches System.

Eine Menge <math>A</math> heißt außerdem <math>T</math>-invariant, falls sie mit ihrem Urbild übereinstimmt, wenn also <math>T^{-1}(A) = A</math> gilt. Das Mengensystem aller <math>T</math>-invarianten Mengen <math>\mathcal I</math> bildet hierbei eine σ-Algebra. Analog dazu heißt eine Menge <math>B</math> quasi-invariant, falls die symmetrische Differenz der Menge mit ihrem Urbild bezüglich des Wahrscheinlichkeitsmaßes <math>P</math> eine Nullmenge bildet, also wenn gilt <math>P(B\triangle T^{-1}(B))=0</math>.

Definition

Eine maßerhaltende Transformation heißt nun ergodisch, falls für alle <math>T</math>-invarianten Mengen <math>A</math> gilt, dass <math>P(A) \in \{0,1\}</math>. Die Mengen bilden also eine P-triviale σ-Algebra. Das 4-Tupel <math>(\Omega, \mathcal A, P, T)</math> bestehend aus Wahrscheinlichkeitsraum <math>(\Omega, \mathcal A, P)</math> und ergodischer maßerhaltender Abbildung <math>T</math> heißt dementsprechend ergodisches dynamisches System.

Neben dieser Definition gibt es eine Reihe äquivalenter Charakterisierungen. Falls <math>(\Omega, \mathcal A, P, T)</math> ein maßerhaltendes dynamisches System ist, dann sind folgende Aussagen äquivalent:

  • <math>(\Omega, \mathcal A, P, T)</math> ist ergodisches maßerhaltendes System.
  • Für jede quasi-invariante Menge <math> A \in \mathcal A</math> gilt entweder <math>P(A)=0\,</math> oder <math>P(A)=1\,</math>.
  • Jede <math>\mathcal I</math>-messbare Funktion <math>f: \Omega \to \mathbb{R}</math> ist <math>P</math>-fast sicher konstant.
  • Für alle <math>A,B\in\mathcal A</math> gilt: <math>\lim_{n \to \infty} \frac{1}{n}\sum_{k=0}^{n-1}P\left(A\cap T^{-k}(B)\right) = P(A)P(B)</math>.

Anwendungen

Mathematisch gesehen stellt der birkhoffsche Ergodensatz für ergodische Maßtransformationen eine Variante des starken Gesetzes der großen Zahlen dar. Dabei können durchaus auch abhängige Zufallsvariablen betrachtet werden. Dasselbe gilt für den Lp-Ergodensatz.

Beispiele ergodischer Abbildungen

Rotation auf dem Einheitskreis

Betrachte das System <math>(\Omega,\mathcal A,P,T)</math> bestehend aus der Menge <math>\Omega = \mathbb{R}/\mathbb{Z}</math>, der Borel-σ-Algebra <math>\mathcal A = \mathcal B(\Omega)</math>, dem Lebesguemaß <math>P = \lambda</math> und der Abbildung <math>T: \Omega \to \Omega,\; x \mapsto x + \alpha \bmod 1</math>. Dieses System ist für alle <math>\alpha\in\mathbb{R}</math> maßerhaltend. Es ist zudem genau dann ergodisch, wenn <math>\alpha</math> nicht rational ist, sprich wenn gilt <math>\alpha\in\mathbb{R}\setminus\mathbb{Q}</math>.

Bernoulli-Shift

Auch beim Bernoulli-Shift handelt es sich um eine ergodische Abbildung: Betrachte den Grundraum der <math>0</math>-<math>1</math>-Folgen <math>\Omega = \{0,1\}^{\mathbb N}</math> mit zugehöriger Produkt-σ-Algebra <math>\mathcal A</math> und zugehörigem unendlichen Produktmaß <math>P</math> definiert durch <math>P_i(\{0\}) = P_i(\{1\}) = \frac{1}{2}</math>. Bei der Bernoulli-Abbildung <math>T</math> handelt es sich um den Linksshift auf dem Grundraum <math>\Omega</math>, das heißt <math>T</math> ist definiert als

<math>T: \{0,1\}^{\mathbb N} \to \{0,1\}^{\mathbb N},\; T(x)_n := x_{n+1}</math>

Dann ist das 4-Tupel <math>(\{0,1\}^{\mathbb N}, \mathcal A, P, T)</math> ein ergodisches dynamisches System.

Gauß-Abbildung

Sei der Grundraum <math>\Omega = [0,1]</math> und <math>\mathcal A = \mathcal B([0,1])</math> die entsprechende Borelsche σ-Algebra. Definiere die Gauß-Abbildung <math>T</math> durch

<math>T: [0,1] \to [0,1],\; T(x) := \begin{cases}

\tfrac1x \bmod1 & x \ne 0 \\ 0 & x = 0 \end{cases}</math>

Falls nun als Maß das Gaußmaß <math>\text{v}(A):=\tfrac{1}{\ln(2)}\int_{A}\,\tfrac{1}{1+x}\,\mathrm d\lambda(x)</math>, <math>A\in\mathcal B([0,1])</math>, gewählt wird, so handelt es sich bei <math>([0,1],\mathcal B([0,1]),T,v)</math> um ein ergodisches dynamisches System.

Geschichte

Die heute als Ergodensatz bekannte Übereinstimmung von Zeit- und Raummittel (Proportionalität der Aufenthaltswahrscheinlichkeit zum Volumen eines räumlichen Gebiets) wurde 1877 von Boltzmann formuliert und von Birkhoff 1932 mathematisch bewiesen, wobei man für den mathematischen Beweis eine Nullmenge von Punkten ausschließen muss. Vor Birkhoff hatten bereits von Neumann und Hopf einen L2-Ergodensatz bewiesen. Den ersten Ergodizitätsbeweis in einer speziellen Situation fand 1924 Artin für den geodätischen Fluss auf der Modulfläche. Neben ihrer ursprünglichen Herkunft aus der statistischen Physik hat Ergodentheorie heute Anwendungen in zahlreichen Gebieten der Physik und Mathematik bis hin zu Geometrie und Zahlentheorie.

Siehe auch

Literatur

Historisch

  • G. D. Birkhoff: Proof of the ergodic theorem, (1931), Proc Natl Acad Sci U S A, 17 S. 656–660. {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}} {{#invoke:JSTOR|f|1=86016}}{{#if:
 | {{#ifeq: 0 | 0
     |  }}

}}

  • J. von Neumann: Proof of the Quasi-ergodic Hypothesis, (1932), Proc Natl Acad Sci USA, 18 S. 70–82. {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}} {{#invoke:JSTOR|f|1=86165}}{{#if:
 | {{#ifeq: 0 | 0
     |  }}

}}

  • J. von Neumann: Physical Applications of the Ergodic Hypothesis, (1932), Proc Natl Acad Sci USA, 18 S. 263–266. {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}} {{#invoke:JSTOR|f|1=86260}}{{#if:
 | {{#ifeq: 0 | 0
     |  }}

}}

  • E. Hopf: Statistik der geodätischen Linien in Mannigfaltigkeiten negativer Krümmung, (1939) Leipzig Ber. Verhandl. Sächs. Akad. Wiss. 91, S. 261–304.
  • S. V. Fomin and I. M. Gelfand: Geodesic flows on manifolds of constant negative curvature, (1952) Uspehi Mat. Nauk 7 no. 1. S. 118–137.
  • F. I. Mautner: Geodesic flows on symmetric Riemann spaces, (1957) Ann. of Math. 65 S. 416–431. {{#invoke:JSTOR|f|1=1970054}}{{#if:
 | {{#ifeq: 0 | 0
     |  }}

}}

  • C. C. Moore: Ergodicity of flows on homogeneous spaces, (1966) Amer. J. Math. 88, S. 154–178. {{#invoke:JSTOR|f|1=2373052}}{{#if:
 | {{#ifeq: 0 | 0
     |  }}

}}

Modern

  • {{#invoke:Vorlage:Literatur|f}}{{#if:Ergodic_theory|Vorlage:EoM/id}}
  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}

Weblinks

{{#ifeq: s | p | | {{#if: 4015246-7 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: s | p | | {{#if: 4015246-7 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: s | p | {{#if: 4015246-7 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: s | p | {{#if: 4015246-7 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Ergodentheorie&oldid=242341“