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