1. 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¹ und v = u² parametrisiert. Wir nennen die quadratische Differentialform

$\mathrm ds^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 du^i\,\mathrm du^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 du^i\,\mathrm du^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 zumindest EG − F² > 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 + 2 F \cdot \dot\varphi_1(t) \dot\varphi_2(t) + G \cdot (\dot\varphi_2(t))^2} \, \mathrm dt$

Den Radikanden in dieser Formel bezeichnet man als erste Fundamentalform.

Wenn wir die Schreibweise mit Differentialen verwenden:

$\mathrm ds^2 = E \, \mathrm du^2 + 2 F \, \mathrm du \, \mathrm dv + G \, \mathrm dv^2,$

so erhalten wir eine Rechtfertigung für die Bezeichnung Wegelement von ds². Denn dann schreibt sich die Länge der Kurve in der Form

$l = \int\limits_{\mathbf a\circ\phi} \mathrm ds.$

Inhalt eines Flächenstücks

Der Inhalt eines durch einen Parameterbereich B gegebenen Flächenstücks lässt sich berechnen durch

$A = \int\limits_B \sqrt{EG-F^2} \, \mathrm d(u,v)$.

Beispiel

Die Oberfläche einer Kugel mit Radius r lässt sich parametrisieren durch

$\mathbf{a}(u,v) = \begin{pmatrix}r \sin u \cos v\\r \sin u \sin v\\r \cos u\end{pmatrix}$.

Für die Koeffizienten der ersten Fundamentalform ergibt sich:

$E = \mathbf{a}_u (u,v) \cdot \mathbf{a}_u (u,v) = \begin{pmatrix}r \cos u \cos v\\r \cos u \sin v\\-r \sin u\end{pmatrix} \cdot \begin{pmatrix}r \cos u \cos v\\r \cos u \sin v\\-r \sin u\end{pmatrix} = r^2$

$F = \mathbf{a}_u (u,v) \cdot \mathbf{a}_v (u,v) = \begin{pmatrix}r \cos u \cos v\\r \cos u \sin v\\-r \sin u\end{pmatrix} \cdot \begin{pmatrix}-r \sin u \sin v\\r \sin u \cos v\\0\end{pmatrix} = 0$

$G = \mathbf{a}_v (u,v) \cdot \mathbf{a}_v (u,v) = \begin{pmatrix}-r \sin u \sin v\\r \sin u \cos v\\0\end{pmatrix} \cdot \begin{pmatrix}-r \sin u \sin v\\r \sin u \cos v\\0\end{pmatrix} = r^2 \sin^2 u$

Die erste Fundamentalform ist demnach

$\mathrm ds^2 = r^2 \,\mathrm du^2 + r^2 \sin^2(u)\,\mathrm dv^2$.

Siehe auch

• Zweite Fundamentalform