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
ein dynamisches System. Die Definitionen lassen sich analog auf dynamische Systeme
übertragen.
Eine Teilmenge
heißt
- vorwärtsinvariant (oder positiv invariant), falls
für alle 
- rückwärtsinvariant (oder negativ invariant), falls
für alle 
- invariant (oder total invariant), falls vorwärts- und rückwärtsinvariant
- strikt vorwärtsinvariant, falls
für alle 
- strikt rückwärtsinvariant, falls
für alle
.
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
und
total invariant sind, dann ist die Mengendifferenz
total invariant.