Zum Inhalt springen

Hyperfläche/Glatt und kompakt/Gauß-Abbildung surjektiv/Fakt/Beweis

Aus Wikiversity
Beweis

Ein Einheitsnormalenvektor beschreibt über die Orthogonalitätsrelation eine Hyperebene, also einen -dimensionalen Untervektorraum, wobei auch der negierte Einheitsnormalenvektor die gleiche Hyperebene beschreibt. Fakt zeigt, dass jede Hyperebene als ein Tangentialraum von auftritt. Der Beweis von Fakt zeigt aber ferner (wenn man dort neben dem Maximum auch das Minimum betrachtet), dass beide Normaleneinheitsvektoren auftreten.