Hyperfläche/Raum/Parametrisierung/Gaußkrümmung/Christoffelsymbole/Fakt

Theorema egregium

Es sei ${}Y\subseteq \mathbb {R} ^{3}$ eine orientierte Fläche und sei

$\varphi \colon V\longrightarrow Y,$

${}V\subseteq \mathbb {R} ^{2}$, eine zweifach differenzierbare lokale Parametrisierung von ${}Y$ mit den Parametern ${}u,v$. Es sei ${}{\left(g_{ij}\right)}$ die erste Fundamentalmatrix auf ${}V$.

Dann gilt für die Gaußsche Krümmung unter Verwendung der Christoffelsymbole die Beziehung

$K={\frac {1}{g_{11}}}{\left(\partial _{2}\Gamma _{11}^{2}-\partial _{1}\Gamma _{12}^{2}+\Gamma _{11}^{1}\Gamma _{12}^{2}+\Gamma _{11}^{2}\Gamma _{22}^{2}-\Gamma _{12}^{1}\Gamma _{11}^{2}-{\left(\Gamma _{12}^{2}\right)}^{2}\right)}\,.$

Zum Beweis, Alternativen Beweis erstellen