Beschreibung
Die normale Umgebung ist eine Verallgemeinerung der Total normale Umgebung.
Definition
Eine normale Umgebung eine Punktes ist eine Umgebung wobei ein Glatter Diffeomorphismus auf ist.
Eigenschaften
Existenz
Für eine Riemannsche Mannigfaltigkeit, existiert in jedem Punkt eine Umgebung die normal ist.
Untermengen sind normal
Die Untermenge einer normalen Umgebung sind wieder normale Umgebungen.
\newcommand{\R}{\mathbb R}
\newcommand{\H}{\mathbb H}