Differenzierbare Mannigfaltigkeit/Vektorfeld/Diffeomorphismen/Lokal einparametrige Gruppe/Fakt

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit, ${}P\in M$ und ${}F\colon M\rightarrow TM$ ein Vektorfeld auf ${}M$.

Dann gibt es eine offene Umgebung ${}P\in U\subseteq M$, ein offenes Intervall ${}I$ und eine lokal einparametrige Gruppe von Diffeomorphismen

$\Psi \colon I\times U\longrightarrow M,$

die das Vektorfeld löst.

Einen Beweis erstellen