Definition eines Tensors

Ich denke, ein Tensor des Ranges M auf ein N -dimensionaler Raum v ist eine multilineare Abbildung T : v N R . Zum Beispiel ein Rangtensor 3 ist eine multilineare Abbildung T : v 3 R . Wenn { e ich } sind einige Grundlage von v Und { e J } sind dann inverse Basis T J k ich = T ( e ich , e J . e k ) .

Allerdings in einem Buch, ein Rang ( P , Q ) Tensor ist als Abbildung definiert T : ( v ) Q × v P R Und T ( e ich 1 , . . . , e ich Q , e J 1 , . . . , e J Q ) = T J 1 , . . . , J Q ich 1 . . . ich Q . Hier v ist der duale Raum von v . Sind diese beiden Definitionen gleichwertig? Wie kann ich untere und obere Indizes in der zweiten Definition verschieben? Könnte jemand bitte erklären?

Geben Sie hier die Bildbeschreibung ein

Das ist meine Quelle der Verwirrung. Es wird angegeben, dass Basis und inverse Basis im selben Raum leben und denselben Vektor unterschiedlich ausdrücken. Was soll ich darunter verstehen? Dieses Bild ist von Ta-Pei Cheng S.198.

Was ist eine inverse Basis, wenn nicht die Basis eines dualen Raums?
e ich e J = δ ich J
Ja das verstehe ich, aber welchen Platz nehmen die e ich lebst du in? Sie können nicht im Vektorraum leben - sonst könnten Sie sie aus dem konstruieren e J 'S
Das ist meine Verwirrung. Im Buch Ta-Pei Cheng, S. 198, e ich sind angegeben, am selben Ort zu leben wie e ich . Allerdings steht das in einem anderen Buch e ich sind duale Vektoren. Da kommt meine Verwirrung auf...
Die zweite Definition ist sehr allgemein. Die erste sieht aus wie ein Sonderfall der ersten, und ich vermute, dass diese erste Definition eine zusätzliche Struktur [einen metrischen Tensor] verwendet, da von einer "Inversen" die Rede ist. Zur Verdeutlichung könnte man den Begriff Metrik-Dual verwenden, wenn eine Metrik an der „Erhöhung oder Senkung von Indizes“ beteiligt war. Man kann Vektoren und [im "dual space"] Covektoren haben, ohne dass Metriken beteiligt sind. Aber wenn eine Paarung dieses Vektors und dieses Covektors mit Hilfe einer Metrik hergestellt werden kann, dann sind sie metrische Duale voneinander ... und verwenden daher denselben "Basisbuchstaben".
Was meinst du mit dem Basisbuchstaben? Bedeutet das e ? Aber auch ohne Metrik wird eine Covektorbasis mit bezeichnet e ich . Außerdem meinst du das im Grunde e ich Und e J in verschiedenen Räumen leben?
Ich habe die Seite hinzugefügt, die die Quelle meiner Verwirrung ist.
Gegebener Vektor v A und eine Metrik G A B , kann ich bilden v A G A B , ein perfekt guter Covektor. Der Einfachheit halber könnten wir dem zustimmen v B ist eine Abkürzung für v A G A B ... aber ich hätte es nennen können w B stattdessen oder überhaupt keine Abkürzung verwendet. Es scheint mir, dass es ein Notationsproblem gibt, das Sie entschlüsseln müssen. Verwenden Sie die zweite (allgemeine Definition) und verwenden Sie die verfügbaren Strukturen, um zur ersten Definition zu gelangen.
Als ich anfing, etwas über Relativitätstheorie zu lernen, erinnere ich mich an dieses Problem mit kontravarianten und kovarianten Komponenten eines Vektors [was ich nie ganz verstanden habe ... aber ich glaube, ich bekomme es in den Griff]. Später habe ich einfach gelernt, mich auf den Vektor (abstrakt) zu konzentrieren und dann Komponenten mit Operationen mit anderen Tensoren zu erhalten. Es scheint mir, dass dies Tensoralgebra der "alten Schule" vs. der "neuen Schule" ist. Wir brauchen eine Übersetzung, die ausdrückt, was die „alte Schule“ zu sagen versuchte (oder warum sie es so zu sagen versuchte).
"Inverse Basis" ist kein strenges Konzept. In Wirklichkeit ist es die duale Basis! e ich sind keine Elemente von v , sie leben im dualen Raum.

Antworten (2)

Okay, ich sehe das Problem. Im Gegensatz zu meinem zweiten Kommentar ist es möglich, vollständige Tensorräume zu formulieren, ohne einen dualen Raum zu referenzieren. Dies ist jedoch ein Ansatz der alten Schule. Sie entspricht letztlich der moderneren Formulierung, diese ist aber konzeptionell sauberer.

Ich werde den modernen Ansatz demonstrieren und dann zeigen, wie er dem Ansatz in Ihrem Buch entspricht.


Betrachten Sie einen Vektorraum v über die reellen Zahlen. Wenn wir eine Basis wählen { e ich } , können wir jeden Vektor erweitern X als

X = X ich e ich     ,     X ich R

Der duale Raum v besteht aus den linearen Karten aus v Zu R . v ist ebenfalls ein Vektorraum, also können wir eine Basis wählen ϵ ich und erweitern Sie jeden dualen Vektor (auch bekannt als covector ) ω als

ω = ω ich ϵ ich     ,     ω ich R

Wir wählen die duale Basis kanonisch so, dass ϵ ich ( e J ) = δ J ich . Daher kann die Wirkung eines dualen Vektors auf einen Vektor wie folgt geschrieben werden:

ω ( X ) = ω ich ϵ ich ( X J e J ) = ω ich X J ϵ ich ( e J ) = ω ich X J δ J ich = ω ich X ich

wo wir bemerken, dass wir die Komponenten ziehen können X ich heraus, weil Kovektoren lineare Abbildungen sind.


A ( P , Q ) Tensor ist eine multilineare Karte, die isst P Covektoren u Q Vektoren und spuckt eine reelle Zahl aus. Zum Beispiel ein ( 1 , 2 ) Tensor T ist eine Karte

T : v × v × v R

also haben wir

T ( ω , X , Y ) = T ( ω ich ϵ ich , X J e J , Y k e k ) = ω ich X J Y k T ( ϵ ich , e J , e k ) ω ich X J Y k T   J   k ich

Wo

T ( ϵ ich , e J , e k ) T     J   k ich

sind die Bestandteile von T in der gewählten Basis.


Ein metrischer Tensor G ist symmetrisch, positiv definit ( 0 , 2 ) Tensor. Eine Wahl der Metrik induziert ein inneres Produkt zwischen Vektoren:

X Y := G ( X , Y ) = G ( X ich e ich , Y J e J ) = X ich Y J G ( e ich , e J ) = X ich Y J G ich J

Die positive Bestimmtheit von G ermöglicht es uns, einen Isomorphismus zwischen zu definieren v Und v . Gegeben irgendein Vektor X , definieren wir seinen Covektor dual X ~ durch Fütterung X auf die Metrik und lassen den zweiten Slot offen:

X ~ := G ( X , )

So

X ~ ( Y ) = G ( X , Y )

Wir finden die Komponenten von X ~ indem es mit dem Basisvektor gespeist wird e ich :

X ~ ich = X ~ ( e ich ) = G ( X , e ich ) = G ( X J e J , e ich ) = G J ich X J = G ich J X J

(wobei wir die Tatsache verwendet haben, dass G ist symmetrisch, also G J ich = G ich J ).


Ich werde hier aufhören, da wir jetzt in der Lage sind, den Geist Ihrer Frage zu beantworten. Jeder Vektor X hat einen eindeutigen Covektor-"Partner", den ich bezeichnet habe X ~ . Jedoch, X lebt im Vektorraum während X ~ lebt im dualen Raum, sie sind also ausdrücklich unterschiedliche Objekte .

Ebenso gegeben a ( 1 , 1 ) Tensor T , können wir a definieren ( 0 , 2 ) Tensor Q nach folgendem Rezept:

Q ( X , Y ) := T ( X ~ , Y )

woraus folgt, dass in Komponentenform

Q ich J = G ich k T     J k

v Und v sind isomorph zueinander, und der Ansatz der alten Schule besteht darin, diese Isomorphie als Gleichheit zu behandeln. Das heißt, wir identifizieren X Und X ~ als dasselbe Objekt und betrachten seine "Vektorerweiterung" und "Kovektorerweiterung" als unterschiedliche Ausdrücke derselben Sache.

In ähnlicher Weise betrachten wir die oben definierten Tensoren T Und Q als dasselbe Objekt, das unterschiedliche Formen annimmt, je nachdem, ob (i) wir es mit Vektoren füttern, die beide in der gleichen Basis expandiert sind, oder (ii) wir es mit Vektoren füttern, die in verschiedenen Basen expandiert sind (!?).


Für mich ist das schrecklich chaotisch und verworren. Es ist viel sauberer zu behandeln X Und X ~ als Partner , die in unterschiedlichen Räumen leben. Wenn wir das tun, dann die Tensoren T Und Q werden zu unterschiedlichen Abbildungen, die dennoch über die Isomorphie zwischen miteinander in Beziehung stehen v Und v .

Aus dieser Sicht ist das "Erhöhen und Senken von Indizes" ein Notationsmissbrauch - eher als ein Sprichwort

X ich = G ich J X J
das sollten wir wirklich sagen
X ~ ich = G ich J X J

und erkennen, dass die X ~ ich 's und X J 's sind die Komponenten verschiedener Objekte.

Dieser Ansatz ist bereits sauberer, aber er wird noch sauberer, wenn wir Abstraktionen auf höherer Ebene wie die Tangentialbündel an Mannigfaltigkeiten, Differentialformen, die Aktionen von Gruppen auf Koordinatenrahmen, Verbindungen und parallelen Transport usw. betrachten.

Der Ansatz der alten Schule ist jedoch nicht falsch, und solange Sie sehr genau verstehen, was Sie tun, können Sie tun, was Sie wollen.

Zunächst eine kleine Korrektur: der Tensor T ich J k = T ( e ich , e J . e k ) Sie haben erwähnt, dass es sich um eine multilineare Karte handelt T : v × v 2 R nicht von v 3 .


Jetzt die Antwort. Gegeben sei ein Vektorraum v , ein (q, p)-Tensor (q-kontravarianter p-kovarianter Tensor) ist, wie Sie sagten, eine Abbildung T : ( v ) Q × v P R mit Komponenten in bestimmter Basis:

T ( e ich 1 , . . . , e ich Q , e J 1 , . . . , e J P ) = T ich 1 . . . ich Q J 1 , . . . , J P
Mit v ist der duale Raum von v .

Sie können q und p zusammensetzen, indem Sie das einfach sagen T ist ein ( Q + P )-Rang-Tensor, aber nur, wenn Sie etwas haben, das sich natürlich abbildet v in sein Dual ("natürlich" bedeutet "auf eine Weise, die nicht von deiner Basis abhängt"). Typischerweise ist dieses Objekt eine Metrik (ein inneres Produkt), und damit können Sie die Indizes erhöhen und verringern; deshalb sollten Sie keinen Index über einen anderen setzen (siehe wie ich die Komponenten des Tensors geschrieben habe).

Es kann bewiesen werden (Satz von Riesz-Frechet), dass bei gegebenem Vektor X v es gibt immer ein (und nur ein) Formular F X v das wirkt wie folgt:

F X ( j ) = X j j v

wobei der Punkt das Skalarprodukt ist. Dies stellt die natürliche Identifikation her X F X . Tatsächlich erlaubt dies die Verwendung der berühmten Dirac-Notation in der Quantenmechanik.

Folglich, wenn die Komponenten X auf bestimmter Grundlage B Sind X ich , was wir sagen, ist, dass die Komponenten von F X in der dualen Basis B Sind X ich . Sie sind verschiedene Objekte, aber die Metrik verbindet sie.

Ein allgemeiner Tensor T ist eine Linearkombination von Tensorprodukten von Vektoren und Formen. Wenn Sie also ein Objekt haben, das Vektoren und Formen verbindet, können Sie es in diesen Produkten verwenden, um einen anderen Tensor zu erzeugen T ' (" T " mit einigen erniedrigten und anderen erhöhten Indizes). Wir verwenden jedoch die gleiche Notation für die Komponenten von T Und T ' und nicht T ich J k Und T ' ich J k , zum Beispiel. Wir lassen die Primzahl weg, denn wenn wir die Komponenten von berechnen T ' Wir können jederzeit von dieser Beschreibung zur anderen wechseln, indem wir die Metrik verwenden: T ich J k = G l ich T ' l J k . Vereinfachen wir also die Schreibweise und rufen auf T ' l J k T l J k . In der Praxis sagen wir das T Und T ' sind keine unterschiedlichen Tensoren (tatsächlich sind sie es!) und sie sind nur unterschiedliche "Versionen" desselben "Dings".

Genau das tun wir, wenn wir von „kontravarianten“ oder „kovarianten“ Komponenten eines Vektors sprechen. Genau genommen sind nur die kontravarianten Komponenten des Vektors, die anderen sind Komponenten der zugehörigen Form im dualen Raum. Aber wir identifizieren sie.

Was soll ich dann unter der Notation verstehen T ich J k ?Nicht T ich J k Und T ich J k denselben Tensor bezeichnen?
Wenn Sie darüber sprechen T ich J k Und T ich J k Ich nehme an, Sie haben eine Metrik. In diesem Zusammenhang handelt es sich mathematisch gesehen um unterschiedliche Tensoren (weil sie auf unterschiedliche Räume wirken!), aber sie enthalten die gleiche "Information". Wenn Sie die Werte der Komponenten der Metrik kennen G ich J = e ich e J (Sie kennen sie, weil Sie das innere Produkt kennen), dann, wenn Sie damit arbeiten T ich J k und Sie brauchen aus irgendeinem Grund T ich J k , du musst nur rechnen T ich J k = l G ich l T l J k (das ist, was "Senken des Index" bedeutet).
Auf die gleiche Weise können Sie Folgendes tun: T ich J k = l G J l T ich l k („Erhöhen“ der Indizes). Die inverse Metrik ist die Inverse der Matrix G ich J , Ich meine G ich J G J k = δ k ich .
Sind das unterschiedliche Tensoren? Es trägt zu meiner Verwirrung bei. Ich habe gedacht, dass ein Tensor eine Einheit ist, die von Koordinaten unabhängig ist, und für einen Tensor vom Rang 3 gilt: T ich J k Und T J k ich sind nur verschiedene Komponentenausdrücke für den Tensor T. Dies scheint also nicht der Fall zu sein ....
Allerdings in dem Bild, das ich oben hinzugefügt habe, für dasselbe v , gibt es die kontravarianten Komponenten v ich und kovariante Komponenten v J . Gilt das auch für Tensoren?
Entschuldigung, ich denke, die Verwirrung kommt daher, dass Sie denken, wir beschäftigen uns die ganze Zeit damit T . Lassen Sie mich das klären. Lass uns anrufen T das Objekt mit Komponenten T ich J Und T ' (unterschiedliche Namen!) das Objekt mit Komponenten T ich J . Die Komponenten hängen (offensichtlich) von der Basis ab, die Objekte jedoch nicht. T Und T ' sind verschiedene Dinge, aber der Punkt ist, dass, wenn Sie eine Metrik haben, dann T Und T ' dieselben Informationen enthalten. Und Sie können vergessen, dass es sich um Unterschiede handelt (vergessen Sie die „Prime“) und einfach mit den Komponenten arbeiten, die die Indizes mithilfe der Metrik erhöhen und senken.
Ich hörte das Wort Tetrade, Vierbien, Standardformalismen des metrischen Tensors. Wohin gehören Ihre Inhalte?