„Metrischer Tensor“ – Versionsunterschied
[gesichtete Version] | [gesichtete Version] |
Atc (Diskussion | Beiträge) →Definition und Bedeutung: +MathML Markierungen: Mobile Bearbeitung Mobile Web-Bearbeitung |
bandwurmsatz geteilt; soll etwas bestimmtes belegt werden? wenn nicht, kann man jedes ART buch nehmen |
||
Zeile 1: | Zeile 1: | ||
{{Belege fehlen}} |
|||
Der '''metrische [[Tensor]]''' (auch '''Metriktensor''' oder '''Maßtensor''') dient dazu, mathematische [[Raum (Mathematik)|Räume]], insbesondere differenzierbare [[Mannigfaltigkeit]]en, mit einem Maß für Abstände und Winkel auszustatten. |
Der '''metrische [[Tensor]]''' (auch '''Metriktensor''' oder '''Maßtensor''') dient dazu, mathematische [[Raum (Mathematik)|Räume]], insbesondere differenzierbare [[Mannigfaltigkeit]]en, mit einem Maß für Abstände und Winkel auszustatten. |
||
Zeile 9: | Zeile 8: | ||
Der metrische Tensor <math>g</math> über einem [[affiner Raum|affinen Punktraum]] <math>A</math> mit reellem [[Vektorraum|Verschiebungsvektorraum]] <math>V</math> ist eine Abbildung von <math>A</math> in den Raum der Skalarprodukte auf <math>V</math>. Das heißt, für jeden Punkt <math>P\in A</math> ist |
Der metrische Tensor <math>g</math> über einem [[affiner Raum|affinen Punktraum]] <math>A</math> mit reellem [[Vektorraum|Verschiebungsvektorraum]] <math>V</math> ist eine Abbildung von <math>A</math> in den Raum der Skalarprodukte auf <math>V</math>. Das heißt, für jeden Punkt <math>P\in A</math> ist |
||
:<math>g(P) : V \times V \to \mathbb{R}</math> |
|||
eine [[positiv definit]]e, [[symmetrische Bilinearform|symmetrische]] [[Bilinearform]]. |
eine [[positiv definit]]e, [[symmetrische Bilinearform|symmetrische]] [[Bilinearform]]. |
||
Zeile 15: | Zeile 14: | ||
In Anlehnung an die Unterscheidung zwischen [[Metrischer Raum|Metrik und Pseudometrik]] wird manchmal auch der Fall betrachtet, dass <math>g (P)</math> für einige oder alle Punkte <math>P</math> nur positiv semidefinit ist, d.h. die Forderung der Definitheit |
In Anlehnung an die Unterscheidung zwischen [[Metrischer Raum|Metrik und Pseudometrik]] wird manchmal auch der Fall betrachtet, dass <math>g (P)</math> für einige oder alle Punkte <math>P</math> nur positiv semidefinit ist, d.h. die Forderung der Definitheit |
||
:<math>g(P) \left( \vec{x},\,\vec{x} \right) > 0</math> für alle <math>0 \ne \vec{x} \in V</math> |
|||
wird abgeschwächt zu |
wird abgeschwächt zu |
||
:<math>g(P) \left( \vec{x},\,\vec{x} \right) \ge 0</math> für alle <math>\vec{x} \in V</math>. |
|||
Ein solcher Tensor <math>g</math> heißt dann '''pseudometrischer Tensor'''. |
Ein solcher Tensor <math>g</math> heißt dann '''pseudometrischer Tensor'''. |
||
Zeile 25: | Zeile 24: | ||
Ein metrischer Tensor definiert eine (vom Punkt <math>P</math> abhängige) Länge ([[Norm (Mathematik)|Norm]]) <math>\|\vec x\|_P</math> auf dem Vektorraum <math>V</math>: |
Ein metrischer Tensor definiert eine (vom Punkt <math>P</math> abhängige) Länge ([[Norm (Mathematik)|Norm]]) <math>\|\vec x\|_P</math> auf dem Vektorraum <math>V</math>: |
||
:<math>\|\vec x\|_P=\sqrt{g(P) \left( \vec{x},\,\vec{x} \right)}</math> |
|||
Analog zum [[Standardskalarprodukt]] ist der Winkel <math>\theta\in[0,\pi]</math> im Punkt <math>P</math> zwischen zwei Vektoren <math>\vec x,\vec y\in V</math> definiert durch: |
Analog zum [[Standardskalarprodukt]] ist der Winkel <math>\theta\in[0,\pi]</math> im Punkt <math>P</math> zwischen zwei Vektoren <math>\vec x,\vec y\in V</math> definiert durch: |
||
:<math> |
|||
\cos(\theta) = |
\cos(\theta) = |
||
\frac{g(P)(\vec x,\vec y)}{ |
\frac{g(P)(\vec x,\vec y)}{ |
||
Zeile 39: | Zeile 38: | ||
Wenn ein lokales Koordinatensystem <math>(x^i)</math> auf ''V'' mit Basis <math>(e_i)</math> aus ''V'' gewählt wird, schreibt man die Komponenten von <math>g</math> als <math>g_{ij}(P)=g(P)(e_i,e_j)</math>. Unter Verwendung der [[Einsteinsche Summenkonvention|einsteinschen Summenkonvention]] ist dann für die Vektoren <math>\vec x=x^i\vec e_i</math> und <math>\vec y=y^i\vec e_i</math> |
Wenn ein lokales Koordinatensystem <math>(x^i)</math> auf ''V'' mit Basis <math>(e_i)</math> aus ''V'' gewählt wird, schreibt man die Komponenten von <math>g</math> als <math>g_{ij}(P)=g(P)(e_i,e_j)</math>. Unter Verwendung der [[Einsteinsche Summenkonvention|einsteinschen Summenkonvention]] ist dann für die Vektoren <math>\vec x=x^i\vec e_i</math> und <math>\vec y=y^i\vec e_i</math> |
||
:<math>g(P)\left( \vec{x},\,\vec{y}\right) = g_{ij}(P)\,x^i\,y^j</math>. |
|||
Im Sinne der [[Kategorientheorie]] ist der metrische Tensor kontravariant, da unter (affin) linearen injektiven Abbildungen <math>\varphi:(A,V)\to (B,W)</math> natürlicherweise aus einem metrischen Tensor auf ''(B,W)'' ein metrischer Tensor auf ''(A,V)'' [[Pullback|konstruiert]] werden kann, |
Im Sinne der [[Kategorientheorie]] ist der metrische Tensor kontravariant, da unter (affin) linearen injektiven Abbildungen <math>\varphi:(A,V)\to (B,W)</math> natürlicherweise aus einem metrischen Tensor auf ''(B,W)'' ein metrischer Tensor auf ''(A,V)'' [[Pullback|konstruiert]] werden kann, |
||
:<math>(\varphi^*g)(P)(\vec x,\vec y) |
|||
=g\bigl(\varphi(P)\bigr)\Bigl(\varphi_*(\vec x),\varphi_*(\vec y)\Bigr) |
=g\bigl(\varphi(P)\bigr)\Bigl(\varphi_*(\vec x),\varphi_*(\vec y)\Bigr) |
||
</math>. |
</math>. |
||
In der [[Indexnotation von Tensoren|Physik]] wird der metrische Tensor, oder besser seine Koordinatendarstellung <math>g_{ij}</math> als [[Kovarianz (Physik)|kovariant]] bezeichnet, da sich seine Komponenten unter einem Koordinatenwechsel in jedem Index wie die Basis transformieren. Ist ein Koordinatenwechsel als |
In der [[Indexnotation von Tensoren|Physik]] wird der metrische Tensor, oder besser seine Koordinatendarstellung <math>g_{ij}</math> als [[Kovarianz (Physik)|kovariant]] bezeichnet, da sich seine Komponenten unter einem Koordinatenwechsel in jedem Index wie die Basis transformieren. Ist ein Koordinatenwechsel als |
||
:<math>x^k=A^k{}_i\;\tilde x^i</math> bzw. <math>\tilde x^i=(A^{-1})^i{}_k\; x^k</math> |
|||
gegeben, so transformieren sich Basisvektoren als |
gegeben, so transformieren sich Basisvektoren als |
||
:<math>\tilde e_i=A^k{}_i\;e_k=(A^T)_i{}^k\;e_k</math> |
|||
und es gilt für den metrischen Tensor |
und es gilt für den metrischen Tensor |
||
:<math> |
|||
\tilde g_{ij} |
\tilde g_{ij} |
||
=g(P)(\tilde e_i,\, \tilde e_j) |
=g(P)(\tilde e_i,\, \tilde e_j) |
||
Zeile 60: | Zeile 59: | ||
Ist eine differenzierbare Kurve <math>\gamma:[a,b]\to A</math> im affinen Punktraum gegeben, so hat diese in jedem Zeitpunkt ''t'' einen Tangentialvektor |
Ist eine differenzierbare Kurve <math>\gamma:[a,b]\to A</math> im affinen Punktraum gegeben, so hat diese in jedem Zeitpunkt ''t'' einen Tangentialvektor |
||
:<math>\vec x(t)=\dot\gamma(t)=\frac{\mathrm d}{\mathrm dt}\gamma(t)</math>. |
|||
Der gesamten Kurve oder einem Segment davon kann man nun mit Hilfe des metrischen Tensors eine Länge |
Der gesamten Kurve oder einem Segment davon kann man nun mit Hilfe des metrischen Tensors eine Länge |
||
:<math> |
|||
L_{[a,b]}(\gamma) |
L_{[a,b]}(\gamma) |
||
= \int_a^b \sqrt{ g\bigl(\gamma(t)\bigr) \Bigl(\,\vec x(t),\,\vec x(t)\, \Bigr)}\,\mathrm{d}t |
= \int_a^b \sqrt{ g\bigl(\gamma(t)\bigr) \Bigl(\,\vec x(t),\,\vec x(t)\, \Bigr)}\,\mathrm{d}t |
||
Zeile 80: | Zeile 79: | ||
== Induzierter Metriktensor == |
== Induzierter Metriktensor == |
||
Hat man eine <math>p</math>-dimensionale [[Untermannigfaltigkeit]] eines [[Riemannscher Raum|riemannschen Raumes]] mit der Metrik <math>(g_{ij})</math>, die mittels der Parameterdarstellung <math>q^i=q^i(t^1,t^2,...,t^p) |
Hat man eine <math>p</math>-dimensionale [[Untermannigfaltigkeit]] eines [[Riemannscher Raum|riemannschen Raumes]] mit der Metrik <math>(g_{ij})</math>, die mittels der Parameterdarstellung |
||
:<math>q^i=q^i(t^1,t^2,...,t^p),\qquad i=1,\dots,n</math> |
|||
gegeben ist, wird eine Metrik <math>(a_{\alpha\beta})</math> induziert. Die <math>t^i, \;(i=1,\dots,p)</math> nennt man ''induzierte Koordinaten''. Betrachtet man eine Kurve |
|||
: <math>t^\alpha=t^\alpha(t),\ |
: <math>t^\alpha=t^\alpha(t),\qquad a\leq t\leq b,\qquad \alpha=1,\dots,p</math> |
||
auf dieser Teilmannigfaltigkeit, so erhält man für die Bogenlänge gemäß der [[Kettenregel]] |
auf dieser Teilmannigfaltigkeit, so erhält man für die Bogenlänge gemäß der [[Kettenregel]] |
||
: <math>s=\int_a^b \sqrt{g_{ij}\frac{\mathrm{d}q^i}{\mathrm{d}t}\frac{\mathrm{d}q^j}{\mathrm{d}t}}\mathrm{d}t = \int_a^b \sqrt{g_{ij}\frac{\partial q^i}{\partial t^\alpha}\frac{\mathrm{d}t^\alpha}{\mathrm{d}t}\frac{\partial q^j}{\partial t^\beta}\frac{\mathrm{d}t^\beta}{\mathrm{d}t}}\mathrm{d}t = \int_a^b \sqrt{g_{ij}\frac{\partial q^i}{\partial t^\alpha}\frac{\partial q^j}{\partial t^\beta}\frac{\mathrm{d}t^\alpha}{\mathrm{d}t}\frac{\mathrm{d}t^\beta}{\mathrm{d}t}}\mathrm{d}t</math>. |
: <math>s=\int_a^b \sqrt{g_{ij}\frac{\mathrm{d}q^i}{\mathrm{d}t}\frac{\mathrm{d}q^j}{\mathrm{d}t}}\mathrm{d}t = \int_a^b \sqrt{g_{ij}\frac{\partial q^i}{\partial t^\alpha}\frac{\mathrm{d}t^\alpha}{\mathrm{d}t}\frac{\partial q^j}{\partial t^\beta}\frac{\mathrm{d}t^\beta}{\mathrm{d}t}}\mathrm{d}t = \int_a^b \sqrt{g_{ij}\frac{\partial q^i}{\partial t^\alpha}\frac{\partial q^j}{\partial t^\beta}\frac{\mathrm{d}t^\alpha}{\mathrm{d}t}\frac{\mathrm{d}t^\beta}{\mathrm{d}t}}\mathrm{d}t</math>. |
||
Die Größe |
Die Größe |
||
: <math>a_{\alpha\beta}:=g_{ij}\frac{\partial q^i}{\partial t^\alpha}\frac{\partial q^j}{\partial t^\beta}</math> |
: <math>a_{\alpha\beta}:=g_{ij}\frac{\partial q^i}{\partial t^\alpha}\frac{\partial q^j}{\partial t^\beta}</math> |
||
ist der ''induzierten Metriktensor''. Mit diesem ergibt sich die Kurvenlänge schließlich als |
|||
: <math>s=\int_a^b \sqrt{a_{\alpha\beta}\frac{\mathrm{d}t^\alpha}{\mathrm{d}t}\frac{\mathrm{d}t^\beta}{\mathrm{d}t}}\mathrm{d}t</math>. |
: <math>s=\int_a^b \sqrt{a_{\alpha\beta}\frac{\mathrm{d}t^\alpha}{\mathrm{d}t}\frac{\mathrm{d}t^\beta}{\mathrm{d}t}}\mathrm{d}t</math>. |
||
Zeile 140: | Zeile 141: | ||
In der Allgemeinen Relativitätstheorie ist der metrische Tensor ortsabhängig und bildet daher ein [[Tensorfeld]], da die Krümmung der [[Raumzeit]] an verschiedenen Punkten meist verschieden ist. |
In der Allgemeinen Relativitätstheorie ist der metrische Tensor ortsabhängig und bildet daher ein [[Tensorfeld]], da die Krümmung der [[Raumzeit]] an verschiedenen Punkten meist verschieden ist. |
||
== Literatur == |
|||
* {{Literatur|Autor=Rainer Oloff|Titel=Geometrie der Raumzeit: Eine mathematische Einführung in die Relativitätstheorie|Verlag=Springer-Verlag|Jahr=2013|ISBN=3322942600}} |
|||
* {{Literatur|Autor=Chris Isham|Titel=Modern Differential Geometry for Physicists|Verlag=Allied Publishers|Jahr=2002|ISBN=8177643169}} |
|||
[[Kategorie:Riemannsche Geometrie]] |
[[Kategorie:Riemannsche Geometrie]] |
Version vom 5. August 2016, 23:40 Uhr
Der metrische Tensor (auch Metriktensor oder Maßtensor) dient dazu, mathematische Räume, insbesondere differenzierbare Mannigfaltigkeiten, mit einem Maß für Abstände und Winkel auszustatten.
Dieses Maß muss nicht notwendig alle Bedingungen erfüllen, die in der Definition eines metrischen Raums an eine Metrik gestellt werden: im Minkowski-Raum der Speziellen Relativitätstheorie gelten diese Bedingungen nur für Abstände, die entweder einheitlich raumartig oder einheitlich zeitartig sind.
Für die Differentialgeometrie und die Allgemeine Relativitätstheorie bedeutsam ist, dass der metrische Tensor, anders als eine über inneres Produkt und Norm definierte Metrik, vom Ort abhängen kann.
Definition und Bedeutung
Der metrische Tensor über einem affinen Punktraum mit reellem Verschiebungsvektorraum ist eine Abbildung von in den Raum der Skalarprodukte auf . Das heißt, für jeden Punkt ist
eine positiv definite, symmetrische Bilinearform.
In Anlehnung an die Unterscheidung zwischen Metrik und Pseudometrik wird manchmal auch der Fall betrachtet, dass für einige oder alle Punkte nur positiv semidefinit ist, d.h. die Forderung der Definitheit
- für alle
wird abgeschwächt zu
- für alle .
Ein solcher Tensor heißt dann pseudometrischer Tensor.
Ein metrischer Tensor definiert eine (vom Punkt abhängige) Länge (Norm) auf dem Vektorraum :
Analog zum Standardskalarprodukt ist der Winkel im Punkt zwischen zwei Vektoren definiert durch:
Koordinatendarstellung
Wenn ein lokales Koordinatensystem auf V mit Basis aus V gewählt wird, schreibt man die Komponenten von als . Unter Verwendung der einsteinschen Summenkonvention ist dann für die Vektoren und
- .
Im Sinne der Kategorientheorie ist der metrische Tensor kontravariant, da unter (affin) linearen injektiven Abbildungen natürlicherweise aus einem metrischen Tensor auf (B,W) ein metrischer Tensor auf (A,V) konstruiert werden kann,
- .
In der Physik wird der metrische Tensor, oder besser seine Koordinatendarstellung als kovariant bezeichnet, da sich seine Komponenten unter einem Koordinatenwechsel in jedem Index wie die Basis transformieren. Ist ein Koordinatenwechsel als
- bzw.
gegeben, so transformieren sich Basisvektoren als
und es gilt für den metrischen Tensor
Länge von Kurven
Ist eine differenzierbare Kurve im affinen Punktraum gegeben, so hat diese in jedem Zeitpunkt t einen Tangentialvektor
- .
Der gesamten Kurve oder einem Segment davon kann man nun mit Hilfe des metrischen Tensors eine Länge
zuordnen.
Linienelement
Der Ausdruck
- ,
wieder unter der Verwendung der Summenkonvention, heißt Linienelement. Substituiert man gemäß der Kettenregel
- und ,
so ergibt sich
- .
ist daher der Integrand des obigen Integrals zur Bestimmung einer Kurvenlänge.
Induzierter Metriktensor
Hat man eine -dimensionale Untermannigfaltigkeit eines riemannschen Raumes mit der Metrik , die mittels der Parameterdarstellung
gegeben ist, wird eine Metrik induziert. Die nennt man induzierte Koordinaten. Betrachtet man eine Kurve
auf dieser Teilmannigfaltigkeit, so erhält man für die Bogenlänge gemäß der Kettenregel
- .
Die Größe
ist der induzierten Metriktensor. Mit diesem ergibt sich die Kurvenlänge schließlich als
- .
Beispiele
Euklidischer Raum
In einem euklidischen Raum mit kartesischen Koordinaten ist der metrische Tensor durch die Einheitsmatrix
gegeben. Im euklidischen Raum ist nämlich das Skalarprodukt gegeben und nach Voraussetzung soll der metrische Tensor diesem Skalarprodukt entsprechen. Also gilt für diesen in lokalen Koordinaten wobei die Vektoren der Standardbasis sind. Für beliebige Vektoren und des euklidischen Raums gilt
Hier wird die einsteinsche Summenkonvention verwendet.
Für die Kurvenlänge
und den Winkel
erhält man die üblichen Formeln der Vektoranalysis.
Wenn eine Mannigfaltigkeit in einen euklidischen Raum mit kartesischen Koordinaten eingebettet ist, dann ergibt sich ihr metrischer Tensor aus der Jacobi-Matrix der Einbettung als
In einigen anderen Koordinatensystemen lautet der metrische Tensor des Euklidischen Raums wie folgt:
- In Polarkoordinaten :
- In Zylinderkoordinaten :
- In Kugelkoordinaten :
Minkowski-Raum (spezielle Relativitätstheorie)
Der flache Minkowski-Raum der speziellen Relativitätstheorie beschreibt eine vierdimensionale Raum-Zeit ohne Gravitation. Räumliche Abstände und Zeitspannen hängen in diesem Raum von der Wahl eines Inertialsystems ab; wenn man einen physikalischen Vorgang in zwei verschiedenen, gleichförmig gegeneinander bewegten Inertialsystemen beschreibt, können sie verschiedene Werte annehmen.
Invariant unter Lorentztransformationen ist hingegen der sogenannte Viererabstand, der räumliche und zeitliche Abstände zusammenfasst. Unter Verwendung der Lichtgeschwindigkeit c berechnet sich dieser Viererabstand aus räumlichem Abstand und Zeitspanne als
Im Minkowski-Raum wird der kontravariante Orts-Vierervektor definiert durch .
Der metrische (genauer: pseudometrische) Tensor lautet in einer Konvention, die vor allem in der Quantenfeldtheorie verwendet wird (Signatur −2, also +,−,−,−)
- .
In einer Konvention, die hauptsächlich in der Allgemeinen Relativitätstheorie benutzt wird (Signatur +2, also −,+,+,+), schreibt man
- .
In der Allgemeinen Relativitätstheorie ist der metrische Tensor ortsabhängig und bildet daher ein Tensorfeld, da die Krümmung der Raumzeit an verschiedenen Punkten meist verschieden ist.
Literatur
- Rainer Oloff: Geometrie der Raumzeit: Eine mathematische Einführung in die Relativitätstheorie. Springer-Verlag, 2013, ISBN 3-322-94260-0.
- Chris Isham: Modern Differential Geometry for Physicists. Allied Publishers, 2002, ISBN 81-7764-316-9.