Ein glattes Feld auf einer differenzierbaren Mannigfaltigkeit, das jedem Punkt eine nichtdegenerierte, symmetrische bilineare Form auf dem Tangentialraum zuordnet und lokal Längen, Winkel und Volumen misst.

Prinzip

Stellt ein punktweises Skalarprodukt auf Tangentialvektoren zur Verfügung, dessen glatte Variation geometrische Informationen über Abstände und Krümmung kodiert.

Demonstration

Im euklidischen R^n wird der metrische Tensor in kartesischen Koordinaten durch die Einheitsmatrix dargestellt, was die Standardformel für Längen ergibt; auf einer zweidimensionalen Fläche in R^3 wird die induzierte Metrik aus der ersten fundamentalen Form berechnet.

Fehlanwendung

Koordinatenkomponenten als invariante Skalare zu behandeln oder positive Definitheit anzunehmen, wenn im Kontext eine indefinitorische Signatur erforderlich ist (z. B. in relativistischen Modellen).

Konsequenz

Bestimmt Geodätengleichungen, das Volumenelement, Winkelmessungen und Operationen zum Heben/Senken von Indizes; eine Änderung der Metrik ändert alle metrischen Größen.

Umkehrung

Eine entartete symmetrische bilineare Form oder eine Verbindung ohne Metrik stehen im Gegensatz zu einem echten metrischen Tensor: Sie liefern keine nichtdegenerierten lokalen Längenmaße.

Abgrenzung

Definiert für glatte Mannigfaltigkeiten und glatte Tensorfelder; schließt rein kombinatorische Abstandsfuntionen auf diskreten Mengen oder nichtglatte generalisierte Metriken ohne differenzierbare Struktur aus.

Semantische Spannung

Kann mit einer Distanzfunktion (Begriff des metrischen Raums) verwechselt werden, die paarweise Distanzen global festlegt; der metrische Tensor ist eine lokale, koordinatenabhängige bilineare Form, die durch Integration entlang von Kurven eine Distanz induziert.

Synthese

Der metrische Tensor ist die glatte, punktweise symmetrische bilineare Form auf einer Mannigfaltigkeit, die lokale Begriffe von Länge, Winkel und Volumen kodiert und geometrische Operationen wie Geodäten und Krümmung ermöglicht.