Invariante Menge
# Invariante Menge

In der Theorie der dynamischen Systeme bezeichnet man als invariante Menge eine Teilmenge des Phasenraums, die durch den Phasenfluss zu jeder Zeit in sich abgebildet wird.

Invariante Punkte eines dynamischen Systems werden als Gleichgewichtspunkte bezeichnet.

Die Stabilitätstheorie befasst sich mit der Stabilität invarianter Mengen, im einfachsten Fall mit der Stabilität von Gleichgewichten.

## Definitionen

Im Folgenden sei $\Phi \colon \mathbb {R} \times X\to X$ ein dynamisches System. Die Definitionen lassen sich analog auf dynamische Systeme $\Phi \colon \mathbb {Z} \times X\to X$ übertragen.

Eine Teilmenge $A\subset X$ heißt

* vorwärtsinvariant (oder positiv invariant), falls $\Phi (t,A)\subset A$ für alle $t>0$
* rückwärtsinvariant (oder negativ invariant), falls $\Phi (t,A)\subset A$ für alle $t<0$
* invariant (oder total invariant), falls vorwärts- und rückwärtsinvariant
* strikt vorwärtsinvariant, falls $\Phi (t,A)=A$ für alle $t>0$
* strikt rückwärtsinvariant, falls $\Phi (t,A)=A$ für alle $t<0$.

## Eigenschaften

* Vereinigungen und Durchschnitte (vorwärts-, rückwärts- oder total) invarianter Menge sind (vorwärts-, rückwärts- oder total) invariant.
* Der Abschluss einer (vorwärts-, rückwärts- oder total) invarianten Menge ist (vorwärts-, rückwärts- oder total) invariant.
* Wenn $A$ und $B$ total invariant sind, dann ist die Mengendifferenz $A\setminus B$ total invariant.
