Erste Fundamentalform

Die erste Fundamentalform oder metrische Grundform ist ein Rechenausdruck aus der Theorie der Flächen im dreidimensionalen Raum $(\mathbb {R} ^{3})$ , einem Teilgebiet der klassischen Differentialgeometrie. Die erste Fundamentalform ermöglicht unter anderem die Lösung folgender Probleme:

Berechnung der Länge einer Kurve auf der gegebenen Fläche
Berechnung des Winkels, unter dem sich zwei Kurven auf der gegebenen Fläche schneiden
Berechnung des Flächeninhalts eines Flächenstücks der gegebenen Fläche

Ferner lassen sich aus den Koeffizienten der ersten Fundamentalform und ihren partiellen Ableitungen die gaußsche Krümmung (Formel von Brioschi) und die Christoffelsymbole zweiter Art bestimmen (Formeln von Gauß).

Diejenigen Eigenschaften einer Fläche, die sich mit Hilfe der ersten Fundamentalform untersuchen lassen, fasst man unter der Bezeichnung innere Geometrie zusammen.

Definition und Eigenschaften

Eine Fläche sei durch $\mathbf {a} (u,v)$ gegeben, also durch $u=u^{1}$ und $v=u^{2}$ parametrisiert. Wir nennen die quadratische Differentialform

\mathrm {d} s^{2}=(\mathrm {d} \mathbf {a} (u,v))^{2}=(\mathbf {a} _{u^{i}}(u^{1},u^{2}),\mathbf {a} _{u^{j}}(u^{1},u^{2}))\,\mathrm {d} u^{i}\,\mathrm {d} u^{j}

die erste Fundamentalform der Fläche.

Für den durch die Parameterwerte $u$ und $v$ bestimmten Punkt der Fläche sind die Koeffizienten der ersten Fundamentalform folgendermaßen definiert:

E(u,v)=\mathbf {a} _{u}(u,v)\cdot \mathbf {a} _{u}(u,v)=|\mathbf {a} _{u}(u,v)|^{2}

F(u,v)=\mathbf {a} _{u}(u,v)\cdot \mathbf {a} _{v}(u,v)=(\mathbf {a} _{u}(u,v),\mathbf {a} _{v}(u,v))

G(u,v)=\mathbf {a} _{v}(u,v)\cdot \mathbf {a} _{v}(u,v)=|\mathbf {a} _{v}(u,v)|^{2}

Dabei sind $\mathbf {a} _{u}(u,v)$ und $\mathbf {a} _{v}(u,v)$ die beiden ersten partiellen Ableitungen nach den Parametern. Die Malpunkte drücken Skalarprodukte von Vektoren aus. Diese Größen nennen wir Koeffizienten der ersten Fundamentalform, weil sie Koeffizienten vor den Differentialausdrücken $\mathrm {d} u^{i}\,\mathrm {d} u^{j}$ sind. Nicht zu verwechseln sind solche quadratischen Differentialformen mit den Differentialformen im Sinne von Cartan.

Zur Vereinfachung lässt man häufig die Argumente weg und schreibt nur $E$ , $F$ und $G$ für die Koeffizienten. Eine weitere (modernere) Schreibweise ist:

g_{11}=E;\quad g_{12}=g_{21}=F;\quad g_{22}=G

Die Zahlen $g_{ij}$ sind die Koeffizienten des kovarianten metrischen Tensors.

Für die Koeffizienten der ersten Fundamentalform gilt:

E\geq 0;\quad G\geq 0;\quad EG-F^{2}\geq 0

Gilt darüber hinaus $EG-F^{2}>0$ , so impliziert das auch $E>0$ und $G>0$ und wir nennen diese erste Fundamentalform positiv definit. Außerdem heißt eine Fläche mit positiv definiter erster Fundamentalform differentialgeometrisch regulär oder differentialgeometrisch regulär parametrisiert.

Länge einer Flächenkurve

Eine Kurve auf der gegebenen Fläche lässt sich ausdrücken durch zwei reelle Funktionen $\varphi _{1}$ und $\varphi _{2}$ : Jedem möglichen Wert des Parameters $t$ wird der auf der Fläche gelegene Punkt $\mathbf {a} (\varphi _{1}(t),\varphi _{2}(t))$ zugeordnet. Sind alle beteiligten Funktionen stetig differenzierbar, so gilt für die Länge des durch $t\in [a,b]$ festgelegten Kurvenstücks:

l=\int \limits _{a}^{b}{\sqrt {E\cdot ({\dot {\varphi }}_{1}(t))^{2}+2F\cdot {\dot {\varphi }}_{1}(t){\dot {\varphi }}_{2}(t)+G\cdot ({\dot {\varphi }}_{2}(t))^{2}}}\,\mathrm {d} t

Den Radikanden in dieser Formel bezeichnet man als erste Fundamentalform.

Wenn wir die Schreibweise mit Differentialen verwenden:

\mathrm {d} s^{2}=E\,\mathrm {d} u^{2}+2F\,\mathrm {d} u\,\mathrm {d} v+G\,\mathrm {d} v^{2},

so erhalten wir eine Rechtfertigung für die Bezeichnung Wegelement von $\mathrm {d} s^{2}$ . Denn dann schreibt sich die Länge der Kurve in der Form