Indexnotation von Tensoren

Die Indexnotation ist eine Form, Tensoren schriftlich darzustellen, die vor allem in der Physik und gelegentlich auch im mathematischen Teilgebiet der Differentialgeometrie Anwendung findet.

In ihrer verbreiteteren Form gibt die Notation Tensorkomponenten in bestimmten Koordinaten an. Mit der abstrakten Indexnotation werden dagegen Tensoren koordinatenunabhängig bezeichnet, wobei die Notation den Typ des Tensors angibt und Kontraktionen und kovariante Differentiationen koordinatenfrei darstellen kann. Die abstrakte Indexnotation wurde von Roger Penrose eingeführt.

Am üblichsten ist diese Notation im Kontext der allgemeinen Relativitätstheorie, deren Formulierung in Form von Tensoren erfolgt. Auch einige moderne Texte über spezielle Relativitätstheorie verwenden diese Notation, und im Kontext von Eichtheorien ist sie auch in der Quantenfeldtheorie anzutreffen. Diese Notation eignet sich besonders für Rechnungen in lokalen Koordinaten, weshalb sie in der Physik deutlich verbreiteter ist als in der Mathematik.

Es gibt zwei Grundformen dieser Notation. In der einen stellen die Tensoren mit Indizes Elemente der Tensoren in lokalen Koordinaten dar. Bei dieser Variante wird die Einsteinsche Summenkonvention verwendet, um Kontraktionen oder Spurbildungen auszuführen. Die zweite Möglichkeit ist die abstrakte Tensornotation. Bei dieser zeigen die Indizes nicht mehr die Komponenten in Koordinaten an, sondern sind nur noch Symbole, die die Stufe des Tensors angeben.

Tensoren

In der Differentialgeometrie wird die Geometrie gekrümmter Räume untersucht, die durch sogenannte differenzierbare Mannigfaltigkeiten beschrieben werden. Diese Mannigfaltigkeiten erlauben an jedem Punkt $p$ die Definition eines $d$-dimensionalen reellen Vektorraums, der als Tangentialraum in diesem Punkt bezeichnet wird. Wenn die Mannigfaltigkeit in einen höherdimensionalen Raum eingebettet wird, entspricht der Tangentialraum genau der $d$-dimensionalen Hyperfläche, die die Mannigfaltigkeit im Punkt $p$ berührt und dort zu ihr tangential ist. Der Dualraum des Tangentialraums wird als Kotangentialraum bezeichnet.

Die Elemente eines Tensorproduktes aus $k$ Kopien des Kotangentialraums und $l$ Kopien des Tangentialraums werden als $(k,l)$-Tensoren bezeichnet. Sie sind also multilineare Abbildungen, die $k$ Elemente des Tangentialraums und $l$ Elemente des Kotangentialraums auf eine reelle Zahl abbilden. Ein $(k,l)$-Tensorfeld ist eine Abbildung, die jeden Punkt der Mannigfaltigkeit auf einen $(k,l)$-Tensor abbildet.

Die Koordinatendarstellungen von Tensorfeldern müssen ein bestimmtes Transformationsverhalten unter Kartenwechselabbildungen, also lokalen Diffeomorphismen, erfüllen.

Indexnotation

Die Indexnotation schreibt die Argumente, in denen der Tensor linear ist, nicht mittels einer Argumentklammer, sondern mittels Indizes. Diese Indizes werden hoch- oder tiefgestellt, je nachdem ob das Argument aus dem Tangentialraum oder dem Kotangentialraum ist. Ein $(k,l)$-Tensor $T$ mit Argumenten $v_{1},\ldots ,v_{k}$ aus dem Tangentialraum und $w_{1},\ldots ,w_{l}$ aus dem Kotangentialraum wird also notiert als:

$T(v_{1},\ldots ,v_{k},w_{1},\ldots ,w_{l})=T_{\mu _{1}\ldots \mu _{k}}^{\nu _{1}\ldots \nu _{l}}(v_{1})^{\mu _{1}}\ldots (v_{k})^{\mu _{k}}(w_{1})_{\nu _{1}}\ldots (w_{l})_{\nu _{l}}$

Die Indexnotation beruht darauf, dass Tensoren multilineare Abbildungen sind und daher in den Argumenten, in denen sie linear sind, ein Distributivgesetz erfüllen und mit der Multiplikation mit Skalaren kommutieren. Das bedeutet, dass sich z. B. $rv_{1}+sV_{1}$ mit $r$ und $s$ reellen Zahlen und $v_{1}$ und $V_{1}$ aus dem Tangentialraum statt $v_{1}$ einsetzen lässt und damit wie mit Zahlen weitergerechnet werden kann.

Wenn man die obige Formel als Koordinatenschreibweise versteht, ist sie mit der Summenkonvention einfach zu verstehen. Diese Notation lässt sich jedoch auch koordinatenfrei auffassen, wobei die Position der Indizes nur beschreibt, welche Art Tensor vorliegt, wobei also obenstehende Indizes Kopien des Tangentialraums und untenstehende Indizes Kopien des Kotangentialraums bezeichnen. Das Zeichen für das Tensorprodukt wird in dieser Notation ausgelassen, das heißt hintereinandergeschriebene Tensoren werden als Tensorprodukt aufgefasst. Bei einem einmal oben- und einmal untenstehenden Index wird eine Kontraktion analog zur kanonischen Paarung verstanden, was prinzipiell nicht basisabhängig ist.

Tensoren in der Physik

Ein Tensor ist, im Sprachgebrauch der Physik, eine Äquivalenzklasse von Tripeln $(B,S,T)$, bestehend aus

1. einer Basis $B$ eines fixierten $n$-dimensionalen Vektorraums $V$, z. B. des Minkowski-Raumes,
2. einer Signatur $S$, die ein Tupel einer Länge $s$ mit Einträgen $S_{k}\in \{h,t\}$, $k=1,\ldots ,s$, ist,
3. und einem „Hypertupel“ $T$, d. h. einer Abbildung $T\colon I^{s}\to \mathbb {R}$, wobei $I=\{1,2,\ldots ,n\}$.

• Die Länge $s$ der Signatur, die auch die Anzahl der Argumente der Abbildung $T$ angibt, heißt Stufe des Tensors.
• Für die Abbildung $T$ wird nicht die übliche Funktionsschreibweise verwendet, sondern ähnlich wie bei Folgen die alternative (und historisch ältere) Indexschreibweise, wobei Indizes oben und unten hinter dem Funktionssymbol $T$ angeordnet werden können. Welche Indizes oben und welche unten geschrieben werden, gibt die Signatur an. Dabei steht ein Eintrag $h$ oder $t$ in der Signatur für Hoch- und Tiefstellen des entsprechenden Index.
• Zwei Tripel $(B,S,T)$ und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (B',S',T')} bezeichnen denselben Tensor, wenn die Signatur übereinstimmt, d. h. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S=S'} , und die Komponenten von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T'} über die Koordinatenwechselmatrix Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} verbunden sind. Das heißt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B=B'A} , wenn die Basis als Zeilenvektor der Basisvektoren aufgefasst wird und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} eine Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \times n} -Matrix ist. Das Transformationsverhalten hat dann folgende Gestalt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T'(i_1,\dots,i_s)= \sum_{j_1,\dots,j_s} (A^{S_1})(i_1,j_1)\cdot\ldots\cdot(A^{S_s})(i_s,j_s)\cdot T(j_1,\dots,j_s) }

wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A^h:=A} die Transformationsmatrix und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A^t:=(A^{-1})^{\text{T}}} die Transponierte der inversen Matrix ist, d. h. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (A^t)_{\left(i,j\right)}:=(A^{-1})_{\left(j,i\right)}} . Der Allgemeinheit willen wurde auf das Hoch- und Tiefstellen verzichtet und die Funktionsschreibweise statt der Indizes gewählt, konkrete Beispiele für die Indexschreibweise finden sich weiter unten.

Beziehung zum geometrischen Tensorprodukt

Eine Klasse äquivalenter Darstellungstripel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (B,S,T)} bezeichnet die Koordinatendarstellung eines Elements aus dem Tensorproduktraum

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal T^SV=V^{S_1}\otimes\ldots\otimes V^{S_s}} ,

wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V^h:=V} der Vektorraum und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V^t:=V^*} der duale Vektorraum der Linearformen ist. Das Element selbst ist dann die Summe

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak{T}=\sum_{j_1,\dots,j_s} T(j_1,\dots,j_s) \cdot e^{S_1}_{j_1}\otimes \ldots \otimes e^{S_s}_{j_s}} ,

mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e^h_j:=e_j} ein Basisvektor und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e^t_j:=\theta^j} ein Element der dualen Basis.

Beispiele der Koordinatennotation

Beispiele der Stufe 1

Beispiel einer kontravarianten Größe ist der Spaltenvektor der Koordinaten eines Ortsvektors Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x^\mu)} , als Tripel also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (B,(h),x)} . Kontravariante Größen haben vereinbarungsgemäß immer hochgestellte Indizes. Der Variationsbereich der Indizes entspricht gemäß ihrer Herkunft immer der Basis, hat also eine Anzahl, die der Dimension des Raums entspricht.

Unter einem Basis-/Koordinatenwechsel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B=B'A} transformiert sich der Vektor als

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x'^{\mu}=\sum_{\nu=1}^n A^\mu{}_\nu \cdot x^\nu} , d. h. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec{x'}=A\vec{x}} .

Das invariante geometrische Objekt ist der Vektor

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x:=\sum_{\nu=1}^n x^\nu\cdot e_\nu} .

In der relativistischen Raum-Zeit werden die Koordinaten als Spaltenvektor

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x= \left( x^\mu \right) = \left( x^0,x^1,x^2,x^3 \right) ^\text{T} = \left( c\, t,x,y,z \right) ^\text{T}}

angegeben.

Beispiel einer kovarianten Größe ist der Zeilenvektor der Koordinaten einer 1-Form, d. h. eines linearen Funktionals, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \alpha=(\alpha_\mu)} , oder als Tripel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (B,(t), \alpha)} . Kovariante Größen haben vereinbarungsgemäß immer tiefgestellte Indizes. Sie transformieren sich definitionsgemäß nach

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \alpha'_\mu=\sum_{\nu=1}^n (A^t)_\mu{}^\nu \cdot \alpha_\nu}

Das invariante geometrische Objekt ist der Kovektor

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{\alpha}:=\sum_{\nu=1}^n \alpha_\nu\cdot \theta^\nu} .

In der relativistischen Raum-Zeit werden die Koordinaten als

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left(\alpha_\mu\right) =\left(\alpha_0,\alpha_1,\alpha_2,\alpha_3\right) }

angegeben.

Analog zur Multiplikation eines Zeilen- mit einem Spaltenvektor in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{R}^n} definiert man die Anwendung eines linearen Funktionals auf einen Vektor:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle\alpha|x\rangle=\mathbf\alpha(x)=\sum_\mu \alpha_\mu x^\mu = \alpha_\mu x^\mu}

Die letzte Schreibweise verwendet die Einsteinsche Summationskonvention, die besagt, dass über gleich benannte Indizes summiert wird, wenn der eine unten und der andere oben steht. Man spricht auch, etwas ungenau, vom Skalarprodukt eines ko- und eines kontravarianten Vektors.

Man rechnet leicht nach, dass es sich dabei auch tatsächlich um einen Skalar, d. h. einen transformationsinvarianten Tensor 0. Stufe handelt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle\alpha'|x'\rangle =(A^t)_\mu{}^\nu\alpha_\nu\cdot A^\mu{}_\kappa x^\kappa =(A^{-1})^\nu{}_\mu A^\mu{}_\kappa \cdot \alpha_\nu x^\kappa =\delta^\nu{}_\kappa \alpha_\nu x^\kappa= \langle\alpha|x\rangle }

Das zweite Newtonsche Gesetz in Indexnotation:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{d}{dt} p^i = - \partial_i \phi }

Beispiele der Stufe 2

Es findet sehr oft eine Umschreibung kontravarianter Koordinaten in kovariante statt, d. h. eine Umwandlung eines Vektors in eine 1-Form und umgekehrt. Man bezeichnet dies als Hochstellen oder Herunterstellen von Indizes.

Dies wird durch einen metrischen Tensor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} ermöglicht, ein Tensor der Stufe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (0,2)} mit zweifach kovarianten Koordinaten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g_{\mu\nu}} . D. h. ihm entspricht das Tupel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (B,(t,t),g)} und die Transformationsvorschrift

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g'_{\mu\nu}=(A^t)_\mu{}^\kappa(A^t)_\nu{}^\lambda\cdot g_{\kappa\lambda}} und das geometrische invariante Objekt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf g=g_{\mu\nu}\cdot \theta^\mu\otimes\theta^\nu} .

Im Allgemeinen verlangt man, dass der metrische Tensor symmetrisch – Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g(x,y)=g(y,x)} bzw. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g_{\mu\nu}=g_{\nu\mu}} – und nicht ausgeartet ist, d. h. es muss einen inversen symmetrischen Tensor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g^{-1}} der Stufe (2,0) geben, welcher kontravariante Koordinaten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g^{\mu\nu}} hat, so dass gilt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g_{\mu\kappa}g^{\kappa\nu} = \delta_\mu^\nu = \begin{cases}1&\text{ bei }\mu=\nu\\0&\text{ bei }\mu\ne\nu\end{cases}.} .

Die Inverse zum metrischen Tensor wird auch als seine kontravariante Form bezeichnet.

Die adjungierte 1-Form des Ortsvektors Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} hat dann die „gesenkten“ Koordinaten

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_\mu=g_{\mu\nu} x^\nu} , umgekehrt ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x^\mu=g^{\mu\nu} x_\nu} .

Die Anwendung der adjungierten 1-Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x_\mu)} auf den Ortsvektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x^\mu)}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g(x,x)=g_{\mu\nu} x^\mu x^\nu=x_\mu x^\mu=x_0x^0+x_1x^1+x_2x^2+x_3x^3}

ist eine quadratische Abbildung, die den Ortsvektor auf eine reelle Zahl abbildet.

Der Vektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x^k)} wurde bereits durch die Kartesischen Koordinaten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x,y,z)} und die Zeitkoordinate Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c\,t} ausgedrückt.

In der speziellen Relativitätstheorie bzw. im Minkowski-Raum ist die Koordinatenmatrix des metrischen Tensors diagonal mit Einträgen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (1,-1,-1,-1)} auf der Diagonalen, es werden als Koordinaten-/Basistransformationen nur sog. Lorentz-Transformationen zugelassen, welche diese Normalform des metrischen Tensors unverändert lassen. Der entsprechende adjungierte kovariante Vektor lautet in diesen Koordinaten:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x_k)=(c\,t, -x, -y, -z)}

Hieraus folgt: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g(x,x)=x_kx^k=c^2t^2-x^2-y^2-z^2} . Man beachte, dass die scheinbare Einfachheit dieser Formel eine komplexe Konstruktion verbirgt: Der Vektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} wird in zwei verschiedenen Koordinatendarstellungen ausgedrückt, wobei in eine der Metrik-Tensor schon eingegangen ist. Die übliche Koordinatendarstellung eines Skalarproduktes hat zwar dieselbe Komplexität, aber verbirgt diese nicht.

Durch die kontravariante und kovariante Schreibweise werden Darstellungen in der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x, y, z, \mathrm{i}\,c\,t)} mit der imaginären Einheit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{i}} vermieden, wie sie früher gebräuchlich waren und auch heute noch in manchen Lehrbüchern verwendet werden.

Darüber hinaus ermöglicht ihre Verwendung in der speziellen Relativitätstheorie den direkten Übergang auf den allgemeinen Fall.

Abstrakte Index-Notation

Die abstrakte Index-Notation benutzt die Formalismen von Einsteins Summenkonvention um die Schwierigkeiten der Beschreibung von Kontraktionen und kovarianten Differentiationen der modernen abstrakten Tensor-Notation zu umgehen und die explizite Kovarianz des Ausdruckes zu erhalten.

Es sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} ein (endlich-dimensionaler) Vektorraum und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V^*} sein Dualraum. Man betrachte beispielsweise den metrischen Tensor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g\in V^*\otimes V^*} , welcher eine Funktion mit zwei Argumenten aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} ist:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g=g(-,-)\colon V\times V\to K.}

Die Platzhalter "Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle -} " für die Argumente werden durch tiefgestellte lateinische Indizes ersetzt, die es erlauben den Typ des Tensors abzulesen (tiefgestellt steht für kovariant), jedoch keine numerische Bedeutung haben:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g=g_{ab}.}

Die Argumente von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} erhalten hochgestellte Indizes, die deutlich machen, für welchen Platzhalter sie einzusetzen sind:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g(x,y)=g_{ab}x^ay^b=g_{ab}y^bx^a} .

Dabei kommt es nicht auf die Reihenfolge der Argumente an, was den Rechenregeln bei der Einsteinschen Summenkonvention entspricht. Ob der abstrakte Index einen Platzhalter für ein Argument oder ein Argument selbst bezeichnet, hängt von der Interpretation der Ausdrücke ab, in denen gewisse natürliche Vektorraumisomorphismen manifest sind. Beispielsweise steht Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_ay^a=y^ax_a} für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x(y)=y(x)} , wenn man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y\in V\cong V^{**}} mit seinem zugehörigen Element aus dem Bidualraum identifiziert. Diese Notation benötigt also keine Bezeichnung für den natürlichen Isomorphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V\to V^{**}} .

Die Identifikation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V\cong V^*} bezüglich des metrischen Tensors ist durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_b=g_{ab}x^a} gegeben. In dieser Beziehung steht Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g_{ab}} für den Isomorphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V\to V^*,\; x\mapsto g(x,-)} , für welchen ebenfalls keine zusätzliche Bezeichnung eingeführt werden muss. Der Zweideutigkeit des Symbols Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g_{ab}} liegt hierbei der Isomorphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V^*\otimes V^*\cong L(V,V^*)} zugrunde.

Ein weiteres Beispiel ist die Spur eines Tensors Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle t=t_{ab}^c} über die letzten beiden Argumente Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle t_{ab}^b} . Dies soll in der abstrakten Index-Notation eine Kontraktion darstellen. Durch die Wiederholung des Index erinnert die abstrakte Index-Notation an Einsteins Summenkonvention, obwohl sie keine Summation beinhaltet.

Abstrakte Indizes und Tensorräume

Ein allgemeiner homogener Tensor ist ein Element eines beliebig oft wiederholten Tensorprodukts der Vektorräume Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V^\ast} , wie zum Beispiel:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V\otimes V^*\otimes V^*\otimes V\otimes V^*.}

Nun erhält jeder Faktor in diesem Tensorprodukt eine Bezeichnung mithilfe eines lateinischen Buchstabens in hochgestellter Position, wenn es sich um einen kontravarianten Faktor (also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} ) handelt oder in einer tiefgestellten Position, wenn es sich um einen kovarianten Faktor (der Dualraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V^\ast} ) handelt. So ist das Produkt als

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V^aV_bV_cV^dV_e}

beziehungsweise

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {{{V^a}_{bc}}^d}_e}

darstellbar.

Es ist wichtig, sich bewusst zu machen, dass diese Ausdrücke dasselbe Objekt darstellen. Somit werden Tensoren dieses Typs durch folgende gleichwertige Ausdrücke dargestellt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {{{h^a}_{bc}}^d}_e \in {{{V^a}_{bc}}^d}_e = V\otimes V^*\otimes V^*\otimes V\otimes V^*}

Kontraktion

Immer wenn im Tensorprodukt von Vektorräumen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V^\ast} ein kovarianter und ein kontravarianter Faktor auftritt, existiert eine damit verbundene Spur. Beispielsweise ist

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{Tr}_{12} : V\otimes V^*\otimes V^*\otimes V \otimes V^* \rightarrow V^*\otimes V \otimes V^*}

die Spur der ersten beiden Vektorräume. Und

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{Tr}_{15} : V\otimes V^* \otimes V^* \otimes V \otimes V^* \rightarrow V^*\otimes V^*\otimes V }

die Spur des ersten und des fünften Vektorraums. Diese Spuroperationen lassen sich in der Abstrakten Index-Notation wie folgt darstellen:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {{{h^a}_{bc}}^d}_e \mapsto {{{h^a}_{ac}}^d}_e}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {{{h^a}_{bc}}^d}_e \mapsto {{{h^a}_{bc}}^d}_a}

Zopfabbildungen (Braiding Map)

Zu jedem Tensorprodukt existieren sogenannte Zopfabbildungen. Zum Beispiel vertauscht die Zopfabbildung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tau(12): V\otimes V \rightarrow V\otimes V}

die beiden Tensorfaktoren (also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tau(u\otimes v)=v\otimes u} ). Zopfabbildungen stehen in einer eindeutigen Beziehung zur Symmetrischen Gruppe, indem sie die Tensorfaktoren vertauschen. Mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tau(\sigma)} wird die Zopfabbildung bezeichnet, die die Permutation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma} auf die Tensorfaktoren anwendet.

Zopfabbildungen sind wichtig in der Differentialgeometrie. Beispielsweise lässt sich die Bianchi-Identität dadurch ausdrücken. Hier sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} der Riemannsche Krümmungstensor, der als Tensor in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V^*\otimes V^*\otimes V^*\otimes V} betrachtet wird. Die erste Bianchi-Identität lautet:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R + \tau(123)R + \tau(132)R=0.}

In der Abstrakten Index-Notation ist die Anordnung der Indizes fix (normalerweise lexikographisch geordnet). Somit kann eine Zopfabbildung durch Vertauschen der Indizes repräsentiert werden. Beispielsweise ist der Riemannsche Krümmungstensor in der Abstrakten Index-Notation:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R={R_{abc}}^d\in {V_{abc}}^d=V^*\otimes V^*\otimes V^*\otimes V.}

Die Bianchi-Identität wird so zu

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {R_{abc}}^d+{R_{cab}}^d+{R_{bca}}^d=0.}

Siehe auch

• Penrosesche graphische Notation
• Zopfgruppe

Quellen

• Roger Penrose: The Road to Reality. A Complete Guide to the Laws of the Universe. Cape, London u. a. 2004, ISBN 0-224-04447-8.
• Roger Penrose, Wolfgang Rindler: Spinors and space-time: Volume 1: Two-spinor calculus and relativistic fields. Cambridge University Press, Cambridge u. a. 1984, ISBN 0-521-24527-3.