Riemannsche Mannigfaltigkeit/C^1/Skalarproduktfunktion/Definition

Riemannsche Mannigfaltigkeit

Eine differenzierbare Mannigfaltigkeit ${}M$ heißt riemannsche Mannigfaltigkeit, wenn auf jedem Tangentialraum ${}T_{P}M$, ${}P\in M$, ein Skalarprodukt ${}\left\langle -,-\right\rangle _{P}$ erklärt ist derart, dass für jede Karte

$\alpha \colon U\longrightarrow V$

mit ${}V\subseteq \mathbb {R} ^{n}$ die Funktionen (für ${}1\leq i,j\leq n$)

$g_{ij}\colon V\longrightarrow \mathbb {R} ,\,Q\longmapsto g_{ij}(Q)=\left\langle T(\alpha ^{-1})(e_{i}),T(\alpha ^{-1})(e_{j})\right\rangle _{\alpha ^{-1}(Q)},$

${}C^{1}$-differenzierbar sind.