Zufallsbild: furzyk73 / DepositPhotos

Topologische Transitivität

Von topologischer Transitivität spricht man in der Mathematik, wenn ein metrischer Raum unter einer Abbildung durcheinandergewirbelt wird. In der Literatur wird topologische Transitivität daher auch oft als Mischen bezeichnet:

„If U is any open set in the domain of the function, then some point of U will eventually land in every neighborhood of every point in the domain under iteration of the function.“

– Holmgren[1]

Topologische Transitivität ist besonders im Hinblick auf die Diagnose von Chaos im Sinne von Devaney von Bedeutung: Eine 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/“:): f: X\to X ist chaotisch, wenn sie topologisch transitiv ist und die Menge der Periodenpunkte von 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/“:): f dicht in 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/“:): X liegt.

Definition

Es sei 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/“:): X ein metrischer Raum und

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/“:): f:X\to X

eine stetige Abbildung dieses Raumes in sich selbst. Dann heiß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/“:): f topologisch transitiv, wenn für je zwei nichtleere offene Teilmengen 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/“:): U, V von 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/“:): X gilt

$ \exists \ n\in \mathbb {N} :f^{n}(U)\cap V\neq \emptyset $

wobei

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/“:): f^n(U)=\left\{f^n(x)|x\in U\right\}=\big\{\underbrace{f\circ \cdots \circ f}_{n}(x)|x\in U\big\}

Diskussion

Wie oben angedeutet, sind topologische Transitivität und Dichtheit der periodischen Punkte die beiden Eigenschaften, die einzufordern sind, wenn man von Chaos im Sinne von Devaney spricht. Devaney hat zusätzlich noch sensitive Abhängigkeit von den Anfangsbedingungen gefordert. Allerdings konnten Banks et al.[2] beweisen, dass diese Eigenschaft bereits aus den beiden anderen folgt.

Der Nachweis topologischer Transitivität ist i.A. mühsam, da ja für beliebige offene 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/“:): U, V gezeigt werden muss, dass sie durchmischt werden. Hilfreich ist in diesem Zusammenhang der Satz, dass bereits die Existenz eines Punktes 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/“:): x in 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/“:): X genügt, dessen Orbit

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/“:): \mathcal{O}_f(x)=\left\{f^n(x)|n\in\mathbb{N}\right\}

dicht in 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/“:): X ist, damit $ f $ topologisch transitiv ist.

Beispiel

Wir betrachten die 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/“:): f: S^1\to S^1,\ \theta\mapsto 2\theta

auf dem Einheitskreis 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/“:): S^1=\mathbb{R}/2\pi\mathbb{Z} . Dann gilt: 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/“:): f ist topologisch transitiv. Denn es gilt:

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/“:): f^n(\theta)=2^n\theta(\hbox{ mod } 2\pi)\ \forall\ n\in\mathbb{N},\ \theta\in[0,2\pi)

Hieraus erkennen wir, dass die Abbildung expansiv ist und damit jedes noch so kleine Bogenstück unter 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/“:): f so stark expandiert, dass es schließlich für ein 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/“:): n den ganzen Einheitskreis überdeckt und damit auch jedes andere offene Intervall.

Literatur

  1. ↑ R.A. Holmgren: A First Course in Discrete Dynamical Systems, Springer Verlag, New York 2006, ISBN 0387947809
  2. ↑ Banks et. al.: Chaos. A mathematical introduction, Cambridge University Press, Cambridge 2003, ISBN 0521531047
Abgerufen von „https://biologie-seite.de/bio_137/index.php?title=Topologische_Transitivität&oldid=33721“