Rekurrenter Punkt
Die Begriffe der rekurrenten Punkte und rekurrenten Orbits werden in der mathematischen Theorie der (maßerhaltenden oder sogar stetigen) dynamischen Systeme verwendet. Anschaulich bedeutet die Rekurrenz eines Punktes unter einem Fluss (oder allgemeiner einer Gruppenwirkung), dass dieser Punkt unendlich oft in die Nähe seiner Ausgangsposition zurückkehrt.
Definition
Wir geben zunächst die Definition für diskrete dynamische Systeme, anschließend die sehr ähnlichen Definitionen für kontinuierliche dynamische Systeme (Flüsse) und für allgemeine Gruppenwirkungen.
Notationen: Eine Gruppenwirkung einer Gruppe auf einem metrischen Raum ist gegeben durch eine Abbildung , wobei man das Bild von mit bezeichnet. Diskrete dynamische Systeme entsprechen dem Spezialfall und Flüsse dem Spezialfall . Im Fall bezeichnen wir mit die Abbildung und mit deren -te Iteration für , also die Abbildung . Im Fall kontinuierlicher dynamischer Systeme (Flüsse) bezeichnen wir für und .
Diskrete dynamische Systeme
Es sei ein diskretes dynamisches System. Ein Punkt heißt rekurrent, wenn es zu jedem unendlich viele mit
gibt.
Äquivalent: es gibt eine Teilfolge mit
- .
Der Orbit eines rekurrenten Punktes wird als rekurrenter Orbit bezeichnet.
Kontinuierliche dynamische Systeme
Es sei ein Fluss. Ein Punkt heißt rekurrent, wenn es zu jedem eine gegen unendlich gehende Folge mit
gibt.
Äquivalent: es gibt eine gegen unendlich gehende Folge mit
- .
Gruppenwirkungen
Es sei eine Gruppenwirkung. Ein Punkt heißt rekurrent, wenn es zu jedem eine Folge paarweise unterschiedlicher Elemente aus mit
gibt. Die Gruppenwirkung heißt rekurrent, wenn die rekurrenten Punkte dicht liegen.
Maßerhaltende dynamische Systeme
Für maßerhaltende dynamische Systeme kann die Rekurrenzbedingung auch wie folgt formuliert werden. Es sei ein Maßraum und eine maßerhaltende Abbildung. Die Abbildung heißt rekurrent, wenn es für jede Menge mit und für -fast alle unendlich viele mit gibt.
Analog kann man Rekurrenz für maßerhaltende Wirkungen einer beliebigen Gruppe definieren. Die Wirkung einer Gruppe heißt rekurrent, wenn für jede Menge mit 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 \mu(A)>0} und für 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 \mu} -fast 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 x\in A} die Menge
- 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 g\in G\colon gx\in A}
nicht relativ kompakt ist.[1]
Spezialfälle
Spezialfälle rekurrenter Punkte sind
- Fixpunkte
- Periodische Punkte
- Fast-periodische Punkte, d. h. 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 x\in X} , so dass 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 \epsilon>0} die Menge 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 \left\{n\in \N\colon d(x,T^nx)<\epsilon\right\}} eine syndetische Menge ist, also beschränkte Lücken hat.
- Wenn der Orbit 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/“:): {\displaystyle x} dicht liegt, dann ist 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 x} rekurrent.
Birkhoffscher Rekurrenzsatz
Jedes stetige dynamische System auf einem kompakten Raum hat fast-periodische und demzufolge rekurrente Punkte.
Poincaréscher Rekurrenzsatz
Der Poincarésche Rekurrenzsatz besagt: 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 X} endliches Volumen hat, dann hat jede maßerhaltende 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 f\colon X\to X} rekurrente Punkte. Weiterhin hat die Menge der rekurrenten Punkte volles Maß, d. h. 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 \mu(R(f))=\mu(X)} .
Dieser Satz hat eine allgemeinere Version für maßerhaltende Gruppenwirkungen. 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/“:): {\displaystyle G} eine nicht-kompakte, lokal-kompakte Gruppe, die das zweite Abzählbarkeitsaxiom erfüllt und die auf einem Maßraum 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 (X,\sigma,\mu)} mit 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 \mu(X)<\infty} wirke. Dann ist die Wirkung rekurrent.[2]
Beispiele
- 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/“:): {\displaystyle X=S^1} 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/“:): {\displaystyle f\colon X\to X} eine Drehung, dann ist jeder Punkt rekurrent.
- 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/“:): {\displaystyle G} eine topologische Gruppe 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/“:): {\displaystyle \Gamma\subset G} ein kokompaktes Gitter. 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/“:): {\displaystyle g\in Z(G)\subset G} ein Element aus dem Zentrum 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/“:): {\displaystyle G} . 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/“:): {\displaystyle x\to gx}
- definiert ein dynamisches System auf 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 G/\Gamma} und aus dem Birkhoffschen Rekurrenzsatz folgt, dass jeder Punkt rekurrent ist.
- Anwendung des vorhergehenden Beispiels mit 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 G=\R^d} 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/“:): {\displaystyle \Gamma=\Z^d} ergibt den Approximationssatz von Kronecker.
Eigenschaften
- Jeder rekurrente Punkt ist nichtwandernd.
- Die Menge 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 R(f)} der rekurrenten Punkte ist invariant 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/“:): {\displaystyle f} . Ihr Abschluss ist die Birkhoff-Menge (engl.: Birkhoff center).
- Poisson-Stabilität: Die Eigenschaft eines Punktes rekurrent zu sein ist stabil unter geringfügigen Änderungen des dynamischen Systems.
Weblinks
- Terence Tao: Minimal dynamical systems, recurrence, and the Stone-Čech compactification
- Recurrent point (Encyclopedia of Mathematics)
Einzelnachweise
- ↑ Feres, Katok: Ergodic theory and dynamics of G-actions, Seite 19
- ↑ Theorem 3.4.1 in: Katok, Hasselblatt: Principal structures. Handbook of dynamical systems, Vol. 1A, 1–203, North-Holland, Amsterdam, 2002.