2A02:8071:7190:9300:71FF:54BC:4115:F92: /* Parallele Tensoren */

2025-05-12T05:58:06Z

Parallele Tensoren

Neue Seite

'''Rekurrente Tensoren''' oder '''rekurrente Tensorfelder''' finden im mathematischen Gebiet der [[Differentialgeometrie]] Verwendung.

== Definition ==
In der Differentialgeometrie wird ein rekurrenter Tensor wie folgt definiert: Sei <math>\nabla</math> ein [[Zusammenhang (Differentialgeometrie)|Zusammenhang]] auf einer [[Mannigfaltigkeit]] ''M''. Ein Tensor ''A'' (im Sinne eines [[Tensorfeld]]es) heißt '''rekurrent bezüglich des Zusammenhangs <math>\nabla</math>''', falls es eine [[Einsform]] <math>\omega</math> auf ''M'' gibt, so dass
: <math>\nabla A = \omega\otimes A</math>.

== Beispiele ==
=== Parallele Tensoren ===
Beispiel für rekurrente Tensoren sind bezüglich eines Zusammenhangs parallele Tensoren (<math>\nabla A = 0 </math>).

Ein Beispiel für einen parallelen Tensor ist eine [[Semi-Riemannsche Mannigfaltigkeit|(semi-)riemannsche Metrik]] bezüglich ihres [[Levi-Civita-Zusammenhang]]s. Sei ''M'' also eine Mannigfaltigkeit mit Metrik ''g'', so wird durch die Metrik der Levi-Civita-Zusammenhang <math>\nabla^{LC}</math> definiert und aus der Definition folgt dann
:<math>\nabla^{LC} g = 0 </math>.

Ein weiteres Beispiel sind rekurrente [[Vektorfeld]]er, wobei sich hier in besonderen Fällen aus rekurrenten Vektorfeldern parallele Vektorfelder ableiten lassen. Sei <math> (M,g)</math> dazu eine semiriemannsche Mannigfaltigkeit und <math>X</math> ein rekurrentes Vektorfeld mit
:<math>\nabla X = \omega\otimes X </math>,
so folgt aus <math>d\omega = 0 </math> (<math>\omega</math> geschlossen), dass sich <math>X</math> zu einem parallelen Vektorfeld umskalieren lässt. Insbesondere lässt sich jedes Vektorfelder mit nicht verschwindender Länge zu einem parallelen Vektorfeld umskalieren.<ref>Alekseevsky, Baum (2008)</ref> Nicht parallele rekurrente Vektorfelder sind also insbesondere [[lichtartig]].

=== Metrischer Raum ===
Ein weiteres Beispiel für einen rekurrenten Tensor taucht im Zusammenhang mit [[Weylstruktur]]en auf. Historisch entstand die Weylstruktur aus Überlegungen von [[Hermann Weyl]] zu Eigenschaften der [[Paralleltransport|Parallelverschiebung]] von Vektoren und deren Länge.<ref>Weyl (1918)</ref> Aus der Forderung, eine Mannigfaltigkeit lokal affin beschreiben zu können, entsteht eine Bedingung an den mit der affinen Parallelverschiebung verbundenen [[Zusammenhang (Differentialgeometrie)|Zusammenhang]] <math>\nabla</math>. Er muss ''[[Torsionstensor|torsionsfrei]]'' sein:
:<math>T^\nabla(X,Y) = \nabla_XY-\nabla_YX - [X,Y] = 0</math>.
Für die zusätzliche Parallelverschiebung der Metrik forderte er als spezielle Eigenschaft, dass zwar nicht die Länge, wohl aber das Längenverhältnis von parallelverschobenen Vektorfeldern erhalten bleibe. Der auf diese Weise definierte Zusammenhang <math>\nabla'</math> erfüllt dann die Eigenschaft
:<math>\nabla' g = \varphi \otimes g</math>
für eine Einsform <math>\varphi</math>. Insbesondere ist die Metrik also ein rekurrenter Tensor bezüglich <math>\nabla'</math>. Die so entstehende Mannigfaltigkeit <math>(M,g)</math> mit affinem Zusammenhang <math>\nabla</math> und rekurrenter Metrik ''g'' nannte Weyl nun metrischer Raum. Genau genommen betrachtete Weyl dabei nicht nur eine Metrik, sondern die [[konforme Struktur]] <math>[g]</math> über ''g''. Dies kann wie folgt motiviert werden:

Unter einer konformen Änderung <math>g \rightarrow e^{\lambda}g</math> transformiert sich <math>\phi</math> in der Form <math>\varphi \rightarrow \varphi -d\lambda</math>, wodurch eine Abbildung <math>F:[g] \rightarrow \Lambda^1(M)</math> auf der Mannigfaltigkeit <math>(M,[g])</math> mit konformer Struktur <math>[g]</math> induziert wird. Dazu fixiert man <math>g</math> und <math>\varphi</math> und definiert:
: <math>F(e^\lambda g) := \varphi - d\lambda</math>.
<math>F</math> erfüllt so die Bedingungen einer Weylstruktur:<ref>Folland (1970)</ref>
: <math>F(e^\lambda g) = F(g) - d\lambda</math>.

== Literatur ==
* {{Literatur
|Autor=[[Hermann Weyl]]
|Titel=Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin
|Datum=1918
|Seiten=465–480}}
* A. G. Walker: [http://qjmath.oxfordjournals.org/cgi/reprint/os-20/1/135.pdf ''On parallel fields of partially null vector spaces.''] (PDF) In: ''The Quarterly Journal of Mathematics.'' Ser. 1, 20, 1949, S. 135–145, {{ISSN|0033-5606}}.
* E. M. Patterson: [http://qjmath.oxfordjournals.org/cgi/reprint/2/1/151.pdf ''On symmetric recurrent tensors of the second order.''] (PDF) In: ''The Quarterly Journal of Mathematics.'' 2, 1, 1950, S. 151–158.
* Yung-Chow Wong: [http://www.jstor.org/stable/1993404 ''Recurrent Tensors on a Linearly Connected Differentiable Manifold.''] In: ''Transactions of the American Mathematical Society.'' 99, 2, May 1961, S. 325–341, {{ISSN|0002-9947}}.
* Gerald B. Folland: [http://projecteuclid.org/euclid.jdg/1214429379 ''Weyl Manifolds.''] (PDF; 113 kB). In: ''Journal of Differential Geometry.'' 4, 1970, S. 145–153, {{ISSN|0022-040X}}.
* {{Literatur
|Hrsg=Dmitri V. Alekseevsky, [[Helga Baum]]
|Titel=Recent developments in pseudo-Riemannian geometry
|Verlag=European Mathematical Society
|Ort=Zürich
|Datum=2008
|ISBN=978-3-03719-051-7}}

== Einzelnachweise ==
<references />

[[Kategorie:Differentialgeometrie]]

Rekurrenter Tensor - Versionsgeschichte

2A02:8071:7190:9300:71FF:54BC:4115:F92: /* Parallele Tensoren */