Mischung (Mathematik)

Die Mischung eines maßerhaltenden dynamischen Systems ist ein Begriff aus der Ergodentheorie, einem Teilgebiet der Mathematik, das zwischen der Maßtheorie, der Theorie dynamischer Systeme und der Stochastik anzusiedeln ist. Man spricht dann von mischenden maßerhaltenden dynamischen Systemen, die auch stark mischende maßerhaltende dynamische Systeme genannt werden, um sie von einer Abschwächung des Begriffs, den schwach mischenden maßerhaltenden dynamischen Systemen abzugrenzen. Teilweise wird die Mischung auch als Eigenschaft der maßerhaltenden Transformation angesehen, demnach spricht man dann von (stark/schwach) mischenden maßerhaltenden Abbildungen. Sowohl stark mischende als auch schwach mischende maßerhaltende Systeme sind stärkere Begriffe als ergodische maßerhaltende dynamische Systeme und erlauben beispielsweise in der Theorie der stochastischen Prozesse eine feinere Abstufung des Bereichs zwischen unabhängig identisch verteilten Zufallsvariablen und ergodischen stochastischen Prozessen.

Definition

Gegeben sei ein maßerhaltendes dynamisches System $(\Omega ,{\mathcal {A}},\mu ,T)$ mit maßerhaltender Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T } . Das maßerhaltende dynamische System bzw. die maßerhaltende Abbildung heißt (stark) mischend, wenn

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lim_{n \to \infty} \mu(T^{-n}(A) \cap B)= \mu(A)\cdot\mu(B) }

für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A,B \in \mathcal A } gilt. Das maßerhaltende dynamische System bzw. die maßerhaltende Abbildung heißt schwach mischend, wenn

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lim_{n \to \infty} \frac 1n \sum_{i=1}^{n-1} \left| \mu(T^{-i}(A)\cap B ) - \mu(A)\mu(B) \right|=0}

für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A,B \in \mathcal A } gilt.

Beziehung der Mischung zur Ergodizität

Es gelten die Implikationen

${\text{stark mischend}}\implies {\text{schwach mischend}}\implies {\text{ergodisch}}$,

die Umkehrungen gelten im Allgemeinen nicht. Die Zusammenhänge zeigt man mittels der obigen Definitionen der Mischung und folgender Charakterisierung der Ergodizität: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega, \mathcal A, \mu, T) } ist genau dann ergodisch, wenn

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lim_{n \to \infty} \frac 1n \sum_{i=0}^{n-1}\mu(T^{-i}(B)\cap A)=\mu(A) \cdot \mu(B) }

ist für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A,B \in \mathcal A } .

Bemerkungen

In der Stochastik werden zwei Mengen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A,B } stochastisch unabhängig genannt, wenn

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P(A \cap B)=P(A) \cdot P(B) }

gilt. Somit lässt sich die starke Mischung als „asymptotische Unabhängigkeit“ von $T^{-n}(A)$ und $B$ für alle Mengen der σ-Algebra auffassen.

Weblinks

• D.V. Anosov: Mixing. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online). 

Literatur

• Manfred Einsiedler, Klaus Schmidt: Dynamische Systeme. Ergodentheorie und topologische Dynamik. Springer, Basel 2014, ISBN 978-3-0348-0633-6, doi:10.1007/978-3-0348-0634-3. 
• Achim Klenke: Wahrscheinlichkeitstheorie. 3. Auflage. Springer-Verlag, Berlin Heidelberg 2013, ISBN 978-3-642-36017-6, doi:10.1007/978-3-642-36018-3.