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.
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 .
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.
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
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.
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 und für -fast alle die Menge
nicht relativ kompakt ist.
Spezialfälle rekurrenter Punkte sind
Jedes stetige dynamische System auf einem kompakten Raum hat fast-periodische und demzufolge rekurrente Punkte.
Der Poincarésche Rekurrenzsatz besagt: Wenn endliches Volumen hat, dann hat jede maßerhaltende Abbildung rekurrente Punkte. Weiterhin hat die Menge der rekurrenten Punkte volles Maß, d. h. .
Dieser Satz hat eine allgemeinere Version für maßerhaltende Gruppenwirkungen. Sei eine nicht-kompakte, lokal-kompakte Gruppe, die das zweite Abzählbarkeitsaxiom erfüllt und die auf einem Maßraum mit wirke. Dann ist die Wirkung rekurrent.