Die Frage nachdem Transformationsverhalten von Grössen oder gar physikalischen Gesetzen ist charakteristisch für die Relativitätstheorie. Die Tensorrechnung stellt das mathematische Framework der allgemeinen Relativitätstheorie Einsteins dar und hat in dieser Form auch grössere Bekanntheit erhalten. Leider wurde durch diesen enormen wissenschaftlichen Erfolg damit auch der mathematische Wissensstand samt Notation und Begriffen mit Stand von ungefähr 1915 konserviert.

So kommt es zu einer Gabelung der Begriffswelten: Die gleichen Objekte werden einmal mit weiterentwickelten Begriffen und Notation bei den Mathematikern gepflegt, als Theorie der Differentialformen innerhalb der Differentialgeometrie. Dann gibt es das ganze nochmal als Tensorechnung oder Tensoranalysis von Physikern und Ingenieuren, wobei diese Gruppe natürlich mehr Wert auf praktische Rechnungen legt, wozu die einfachere ungefähr hundert Jahre ältere Notation und Begriffswelt ausreicht.

Häufig benutzt man das Wort Tensor auch abkürzend als Nennung für ein Tensorfeld, also eine Abbildung, die jedem Punkt einer Mannigfaltigkeit einen Tensor zuordnet.

Dieser Artikel erklärt außerdem die Begriffe Tensorraum und Tensorprodukt: jeder Tensor ist Element eines Tensorraums; ein Tensorraum ist das Tensorprodukt von Vektorräumen. Mehr dazu unten.

Das Teilgebiet der Algebra, das von Tensoren handelt, wird ohne klare Bedeutungsunterschiede als Tensorrechnung, Tensoralgebra oder multilineare Algebra genannt. Die Tensoranalysis hingegen handelt auch von Differentialoperationen auf Tensorfeldern über Mannigfaltigkeiten.

Tensoren und Tensorfelder werden in verschiedenen Teilgebieten der Mathematik und Physik angewandt. Diese Anwendungen sind von sehr unterschiedlicher Komplexität:

• in einigen Fällen genügt es, sich Tensoren als eine Verallgemeinerung von Skalar, Vektor, Matrix vorzustellen; in anderen Fällen steht die Invarianz eines Tensors unter Koordinatentransformationen in dem Vordergrund;
• in einigen Fällen ist es erforderlich, zwischen ko- und kontravarianten Tensoren zu unterscheiden (mehr dazu unten), in anderen Fällen ist diese Unterscheidung irrelevant.

Man muss darum damit rechnen, dass Tensoren in verschiedenen Anwendungsgebieten verschieden definiert, verschieden notiert und verschieden gehandhabt werden.

Wichtige Anwendungsgebiete umfassen:

• Algebra: Tensorprodukte erlauben eine elegante Formulierung der Theorie der Körpererweiterungen.

• Differentialgeometrie: Tensorfelder bevölkern das Tangentialbündel über einer Mannigfaltigkeit.

• Physik und Ingenieurskunst: Die physikalische Bedeutung von Tensoren liegt darin begründet, dass Naturgesetze, die durch Tensorgleichungen ausgedrückt werden, in beliebigen Koordinatensystemen die gleiche Gestalt haben. Die Tensorsprache erweist sich als besonders zweckmäßig
  • in der Elastizitätstheorie, Kontinuumsmechanik, Hydrodynamik;
  • in der Elektrodynamik und Speziellen Relativitätstheorie;
  • sie ist unentbehrlich zu dem Verständnis der Allgemeinen Relativitätstheorie.
  • In der Quantenmechanik zwingt eine Symmetriebrechung (Phasensprung bei Rotation um 2Ï€) dazu, Tensoren zu Spinoren zu verallgemeinern.

Für manche Anwendungen, zu dem Beispiel in der Elastizitätstheorie, ist es vollkommen ausreichend, sich Tensoren als eine Verallgemeinerung von Skalar, Vektor, Matrix vorzustellen. Dabei unterscheidet man Tensoren verschiedener Stufe (auch Rang genannt):

• Ein Tensor nullter Stufe ist ein Skalar.
• Ein Tensor erster Stufe wird durch einen Vektor dargestellt; in dem n-dimensionalen Raum hat ein solcher Tensor exakt n Koeffizienten.
• Ein Tensor zweiter Stufe wird durch eine quadratische Matrix dargestellt, also ein Zahlenschema, im jeder der n² Koffizienten des Tensors durch zwei Indizes genannt ist.
• Ein Tensor dritter Stufe ließe sich durch eine würfelförmige Anordnung seiner n³ Koeffizienten darstellen, die durch je drei Indizes "adressiert" werden.
• Ein Tensor m-ter Stufe hat dementsprechend n^m Koeffizienten, die mit Hilfe von m Indizes auseinander gehalten werden.

Der Begriff Tensor fasst einerseits verschiedene Konzepte der Linearen Algebra, wie Skalar, Vektor und Matrix in sich zusammen. Andererseits aber erzwingt die Tensoralgebra neue Unterscheidungen: sie klassifiziert geometrische Objekte danach, wie sich deren Koordinatendarstellungen unter einem Wechsel der Vektorraumbasis verhalten, und deckt dabei auf,

• dass einige Vektoren eigentlich Pseudovektoren sind,
• dass Skalarprodukte entweder auf Linearformen zurückgehen oder eine Metrik voraussetzen, und
• dass eine quadratische Matrix eine lineare Abbildung oder eine Bilinearform repräsentieren kann.

In den folgenden Abschnitten stellen wir einige grundlegende Objekte der linearen Algebra in der Sichtweise der Tensoralgebra dar: dabei erarbeiten wir die genannten Unterscheidungen und führen zugleich zu einem tieferen Verständnis des Begriffs Tensor hin.

Für ein tieferes Verständnis von Tensoren ist es unerlässlich, zu rekapitulieren, was eigentlich ein Vektor ist: nämlich

• ein geometrisches Objekt,
• das einem Vektorraum angehört,
• das durch Koordinaten bezüglich einer Basis (Vektorraum) genannt werden kann,
• das aber nicht von einer bestimmten Basis abhängt, sondern unter Basiswechsel (= Koordinatentransformation) invariant bleibt.

Wir betrachten einen Vektor v aus einem n-dimensionalen Vektorraum V. Bezüglich einer gegebenen Basis {e₁, ..., e_n} ist v durch seine Koordinaten v¹, ..., v ⁿ gegeben:

v = v¹e₁ + ... + v ⁿe_n.

Das Hochstellen der Koordinatenindizes ist in einigen, aber nicht allen Anwendungen der Tensorrechnung üblich; es steht in dem Zusammenhang mit der Unterscheidung von ko- und kontravarianten Größen; mehr dazu unten.

Im weiteren Verlauf dieses Artikels benutzen wir die von Einstein eingeführte Summationskonvention: über jeden Index, der auf einer Seite einer Gleichung zweimal vorkommt, wird automatisch summiert. Statt

v = v¹e₁+ ... + v ⁿe _n = v ⁱe_i

schreiben wir also ab sofort

v = v ⁱe_i.

Diese Schreibweise ziehen wir auch der koordinatenfreien Notation von Tensorgleichungen vor, da sie auf den ersten Blick die Stufen aller in der Gleichung vorkommenden Tensoren erkennen lässt; die Materialgleichung aus der Elektrodynamik

B = μ H

schreiben wir also

B_i = μ_i ^j H_j

(mit impliziter Summation über j).

Bei einem Basiswechsel in dem Vektorraum V tritt an die Stelle der bisherigen Basis {e₁, ..., e_n} eine neue Basis {e`<sub>1</sub>, ..., e`_n}. Alte und neue Basis gehen durch eine bijektive lineare Abbildung A auseinander hervor. Diese Abbildung kann durch eine invertierbare Matrix a_i ^j dargestellt werden:

e_i = a_i ^j e`_j

(mit Summation über j).

Für einen Vektor

v = v ⁱ e_i = v ⁱ a_i ^j e`<sub>j</sub> = v` ^j e`_j

liest man ab, dass die Koordinatentransformation von v ⁱ nach v` ^j der Vorschrift

v` ^j = a_i ^j v ⁱ

genügt. Man beachte, dass hier, anders als sonst, über den ersten der beiden Indizes der Matrix a summiert wird. In koordinatenfreier Notation könnte man das mit Hilfe der transponierten Matrix schreiben: a_i ^j = (a^T) ^j _i. Die Rücktransformation erfolgt mit Hilfe der inversen Matrix:

v ⁱ = (a^-1) _j ⁱ v` ^j.

Man erkennt, dass sich Basis und Vektorkoordinaten gegenläufig transformieren:

• von e`<sub>j</sub> nach e<sub>i</sub> mit der Matrix a<sub>i</sub> <sup>j</sup>,
• von v` ^j nach v ⁱ dagegen mit der inversen Matrix (a^-1) _j ⁱ.

Diese Unterscheidung durchzieht die gesamte Tensoralgebra: man kann sämtliche Tensoren danach klassifizieren, ob sie sich

• kovariant wie die Basisvektoren oder
• kontravariant wie die Vektorkoordinaten

transformieren; bei Tensoren höherer als erster Stufe sind auch Mischformen möglich (kovariant in einigen, kontravariant in anderen Indizes).

In diesem Artikel machen wir, wie in einigen Anwendungen der Tensorrechnung üblich, diese Unterscheidung explizit sichtbar, indem wir kontravariante Indizes hochstellen, kovariante Indizes tiefstellen.

Sprachlich unterscheidet man nicht stets zwischen einem Tensor und seiner Koordinatendarstellung; einen Tensor, dessen Koordinaten kontravariant transformieren, bezeichnet man darum auch einen kontravarianten Tensor. Vektoren sind demnach kontravariante Tensoren erster Stufe.

Eine Linearform ist eine lineare Abbildung aus einem Vektorraum in den zugrundeliegenden Skalarkörper. Der Vektorraum aller Linearformen über einem Vektorraum V ist dessen Dualraum V ^*.

Wenn eine bestimmte Basis {e₁, ..., e_n} von V gegeben ist, dann kann man in kanonischer Weise eine Basis {e¹, ..., eⁿ} von V ^* wählen, so dass gilt:

eⁱ(e_j) = δⁱ_j,

wobei das Kronecker-Symbol δⁱ_j für i = j den Wert 1, sonst den Wert 0 hat. Eine Linearform

f = f_i eⁱ,

auf einen Vektor v angewandt, liefert dann

f(v) = f_i eⁱ (v ^j e_j) = f_i v ^j eⁱ(e_j) = f_i v ^j δⁱ_j = f_i v ⁱ.

Damit die Beziehungen eⁱ(e_j) = δⁱ_j und f(v) = f_i v ⁱ unabhängig von der Wahl bestimmter Basen gelten, ist zu fordern: bei einem Basiswechsel in dem Vektorraum V transformieren

• die Basisvektoren e_i des Dualraums V ^* kontravariant, und
• die Koeffienten f_i einer Linearform f kovariant,

wie wir es in der Notation durch Hoch- beziehungsweise Tiefstellen der Indizes schon vorweggenommen haben.

Eine Linearform, die diese Transformations Merkmale aufweist, heißt 1-Form oder kovarianter Tensor erster Stufe oder einfach kovarianter Vektor.

In der Linearen Algebra führen verschiedene Überlegungen auf das Skalarprodukt: mit Hilfe des Skalarprodukts kann man

• die Länge eines Vektors berechnen: |v| = (v·v)^1/2;
• den Cosinus des Winkels zwischen zwei Vektoren berechnen: cos(Winkel zwischen v und w) = v·w / (|v|·|w|);
• eine Ebenengleichung in kompakter Weise schreiben (Hessesche Normalform): wenn n·x=c, dann liegt x in der durch den Normalenvektor n und den Skalarwert c festgelegten Ebene.

Bei der Berechnung von Längen oder Winkeln steht das Skalarprodukt für eine Abbildung aus V×V in den zugrundeliegenden Skalarkörper. In Tensorsprache ist diese Abbildung eine durch den metrischen Tensor g_ij gegebene Bilinearform: mehr dazu unten.

In der Hesseschen Normalform dagegen liegt es nahe, den Normalenvektor n als eine 1-Form zu lesen:

n·x = (n_i eⁱ) · (x^j e_j) = n_i eⁱ (x^j e_j) = n_i x^j eⁱ (e_j) = n_i x^j δⁱ_j = n_i xⁱ.

Man setzt also das Skalarprodukt eⁱ · e_j mit der Linearform eⁱ(e_j) gleich. In dieser Weise kann man jeden kovarianten Vektor als eine 1-Form auffassen.

Der Gradient eines skalaren Vektorfeldes f(x) ermöglicht die lineare Approximation

f(x) = f(x₀) + df(x₀) · (x - x₀) + O(|x - x₀|²).

Der Gradient df muss kovariant sein, damit das Skalarprodukt df(x₀) · (x - x₀) basisunabhängig ist; nachdem oben gesagten fasst man den Gradienten eines Skalarfeldes darum auch als eine 1-Form auf.

Davon abstrahiert, kann man auch den Gradienten-Operator

d = eⁱ = ∂_i eⁱ

als 1-Form auffassen (was wohlgemerkt nicht seine Wirkung auf ein Skalarfeld f, sondern die gemeinsame Tensorstufe von d und df beschreibt).

Die Transformationsmatrix a_i ^j ist selbst kein Tensor, denn sie ist kein koordinatenunabhängiges geometrisches Objekt, sondern beschreibt in dem Gegenteil just einen Wechsel des Koordinatensystems.

Formal kann man die Transformationsmatrix als Jacobi-Matrix schreiben, indem man den Gradienten bezüglich der alten Koordinaten auf den Ortsvektor in neuen Koordinaten anwendet und ausnutzt, dass der Gradient kovariant transformiert:

= ∂_jx`ⁱ = ∂_j a_k ⁱ x^k = a_k ⁱ δ_j^k = a_j ⁱ.

Die Wirkung einer linearen Abbildung h : V → V auf die Koordinaten eines Vektors v kann durch eine quadratische Matrix h ⁱ _j dargestellt werden:

h(v)ⁱ = h ⁱ _j v  ^j.

Aus dem Transformationsverhalten unter einem Basiswechsel,

h(v)` <sup>i</sup> = a <sup>i</sup> <sub>j</sub> h(v) <sup>j</sup> = a <sup>i</sup> <sub>j</sub> h <sup>j</sup> <sub>k</sub> v <sup>k</sup> = a <sup>i</sup> <sub>j</sub> h <sup>j</sup> <sub>k</sub> (a<sup>-1</sup>)<sup>k</sup> <sub>l</sub> v` ^l = h` <sup>i</sup> <sub>l</sub> v` ^l

folgt, dass sich die Matrixkomponenten gemäß

h` ⁱ _l = a ⁱ _j h ^j _k (a^-1)^k _l,

also in dem einen Index kovariant, in dem anderen kontravariant transformieren.

Eine lineare Abbildung h ist somit ein Tensor zweiter Stufe; für eine gegebene Basis von V (und damit auch von V ^*) kann man h als Linearkombination einfach kovarianter mit einfach kontravarianten Basisvektoren schreiben:

h = h ⁱ _j e_i e ^j.

Man definiert einen Tensor vom Grad (r,s) als multilineare Abbildung mit r Argumenten v¹,...v^r und s Argumenten λ₁,...,λ_s. Die Argumente v¹,...,v^r sind Elemente eines Vektorraumes V und λ₁,...,λ_s Argumente des zu dem Vektorrraum gehörenden Dualraumes V ^* .

Der Tensor hat dann die Form

Die Summe r + s heißt Stufe oder Rang des Tensors.

Je nach dem, ob die Argumente aus einem Vektorraum sind oder aus dessen Dualraum, wird der Tensor als kovariant oder kontravariant genannt. In dem obigen Fall liegt ein r-fach kovarianter, s-fach kontravarianter Tensor vor.

Der durch den nachfolgenden Link referenzierte Artikel vergleicht die in der Physik benutzten Tensoren mit der rein mathematischen Definition.

siehe einstweilen: Pseudovektor

Das Wort Tensor (lat.: tendo ich spanne) wurde in den 1840er Jahren von Hamilton in die Mathematik eingeführt; er genannte damit den Absolutbetrag seiner Quaternionen [1] (http://mail.mcjh.kl.edu.tw/~chenkwn/mathword/t.html), also noch keinen Tensor in dem modernen Sinn.

Maxwell scheint den Spannungstensor , den er aus der Elastizitätstheorie in die Elektrodynamik übertrug, selbst noch nicht so genannt zu haben.

In seiner modernen Bedeutung, als Verallgemeinerung von Skalar, Vektor, Matrix, wird das Wort Tensor erstmals von Woldemar Voigt in seinem Buch Die fundamentalen physikalischen Merkmalen der Krystalle in elementarer Darstellung (Leipzig, 1898) eingeführt.

Unter dem Titel absolute Differentialgeometrie entwickelten Gregorio Ricci-Curbastro und dessen Schüler Tullio Levi-Civita um 1890 die Tensorrechnung auf Riemannschen Mannigfaltigkeiten; einem größeren Fachpublikum machten sie ihre Ergebnisse 1900 mit dem Buch calcolo differenziale assoluto zugänglich, das bald in andere Sprachen übersetzt wurde und aus dem sich Einstein unter großer Mühe die mathematischen Grundlagen aneignete, die er zur Formulierung der Allgemeinen Relativitätstheorie benötigte. Einstein selbst prägte 1916 den Begriff Tensoranalysis und trug mit seiner Theorie maßgeblich dazu bei, den Tensorkalkül bekannt zu machen; er erfand überdies die Summationskonvention.