- Erste Fundamentalform
-
Die erste Fundamentalform oder metrische Grundform ist in der Mathematik eine Funktion aus der Theorie der Flächen im dreidimensionalen euklidischen Raum, einem Teilgebiet der klassischen Differentialgeometrie. Die erste Fundamentalform ermöglicht unter anderem die Behandlung folgender Aufgaben:
- 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.
Diejenigen Eigenschaften einer Fläche, die sich mit Hilfe der ersten Fundamentalform untersuchen lassen, fasst man unter der Bezeichnung innere Geometrie zusammen.
Inhaltsverzeichnis
Definition und Eigenschaften
Eine Fläche sei durch eine auf einer offenen Teilmenge definierte Abbildung
gegeben, also durch u und v parametrisiert. Für den durch die Parameterwerte u und v bestimmten Punkt der Fläche sind die Koeffizienten der ersten Fundamentalform folgendermaßen definiert:
Dabei sind die Vektoren
die ersten partiellen Ableitungen nach den Parametern u bzw. v. Die Malpunkte bezeichnen das Skalarprodukt der Vektoren.
Zur Vereinfachung lässt man häufig die Argumente weg und schreibt nur E, F und G für die Koeffizienten. Die erste Fundamentalform ist dann die quadratische Form
- ,
Gelegentlich wird auch die Schreibweise mit Differentialen verwendet:
Eine weitere (modernere) Schreibweise ist:
Die Zahlen gij sind die Koeffizienten des kovarianten metrischen Tensors. Dieser hat also die Matrixdarstellung
- .
Oft bezeichnet man auch diesen Tensor, also die durch diese Matrix dargestellte Bilinearform, als erste Fundamentalform g
Für die Koeffizienten der ersten Fundamentalform gilt:
- .
Dabei ist EG − F2 die Diskriminante (also die Determinante der Darstellungsmatrix) der ersten Fundamentalform. Gilt darüber hinaus EG − F2 > 0, so folgt daraus auch E > 0 und G > 0 und die erste Fundamentalform ist positiv definit. Dies ist genau dann der Fall, wenn Xu und Xv linear unabhängig sind. Eine Fläche mit positiv definiter erster Fundamentalform heißt 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 φ1 und φ2: Jedem möglichen Wert des Parameters t wird der auf der Fläche gelegene Punkt X(φ1(t),φ2(t)) zugeordnet. Sind alle beteiligten Funktionen stetig differenzierbar, so gilt für die Länge des durch festgelegten Kurvenstücks:
Mit Hilfe des Wegelements ausgedrückt:
l = ∫ ds φ Inhalt eines Flächenstücks
Der Inhalt eines durch einen Parameterbereich B gegebenen Flächenstücks lässt sich berechnen durch
- .
Beispiel
Die Oberfläche einer Kugel mit Radius r lässt sich parametrisieren durch
- .
Für die Koeffizienten der ersten Fundamentalform ergibt sich:
Die erste Fundamentalform ist demnach
- .
Siehe auch
Literatur
- Manfredo P. do Carmo, Differential geometry of curves and surfaces, Prentice-Hall lnc., New Jersey, ISBN 0132125897
Kategorie:- Elementare Differentialgeometrie
Wikimedia Foundation.