Ich denke, ein Tensor des Ranges auf ein -dimensionaler Raum ist eine multilineare Abbildung . Zum Beispiel ein Rangtensor ist eine multilineare Abbildung . Wenn sind einige Grundlage von Und sind dann inverse Basis .
Allerdings in einem Buch, ein Rang Tensor ist als Abbildung definiert Und . Hier ist der duale Raum von . Sind diese beiden Definitionen gleichwertig? Wie kann ich untere und obere Indizes in der zweiten Definition verschieben? Könnte jemand bitte erklären?
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.
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 über die reellen Zahlen. Wenn wir eine Basis wählen , können wir jeden Vektor erweitern als
Der duale Raum besteht aus den linearen Karten aus Zu . ist ebenfalls ein Vektorraum, also können wir eine Basis wählen und erweitern Sie jeden dualen Vektor (auch bekannt als covector ) als
Wir wählen die duale Basis kanonisch so, dass . Daher kann die Wirkung eines dualen Vektors auf einen Vektor wie folgt geschrieben werden:
wo wir bemerken, dass wir die Komponenten ziehen können heraus, weil Kovektoren lineare Abbildungen sind.
A Tensor ist eine multilineare Karte, die isst Covektoren u Vektoren und spuckt eine reelle Zahl aus. Zum Beispiel ein Tensor ist eine Karte
also haben wir
Wo
sind die Bestandteile von in der gewählten Basis.
Ein metrischer Tensor ist symmetrisch, positiv definit Tensor. Eine Wahl der Metrik induziert ein inneres Produkt zwischen Vektoren:
Die positive Bestimmtheit von ermöglicht es uns, einen Isomorphismus zwischen zu definieren Und . Gegeben irgendein Vektor , definieren wir seinen Covektor dual durch Fütterung auf die Metrik und lassen den zweiten Slot offen:
So
Wir finden die Komponenten von indem es mit dem Basisvektor gespeist wird :
(wobei wir die Tatsache verwendet haben, dass ist symmetrisch, also ).
Ich werde hier aufhören, da wir jetzt in der Lage sind, den Geist Ihrer Frage zu beantworten. Jeder Vektor hat einen eindeutigen Covektor-"Partner", den ich bezeichnet habe . Jedoch, lebt im Vektorraum während lebt im dualen Raum, sie sind also ausdrücklich unterschiedliche Objekte .
Ebenso gegeben a Tensor , können wir a definieren Tensor nach folgendem Rezept:
woraus folgt, dass in Komponentenform
Und sind isomorph zueinander, und der Ansatz der alten Schule besteht darin, diese Isomorphie als Gleichheit zu behandeln. Das heißt, wir identifizieren Und als dasselbe Objekt und betrachten seine "Vektorerweiterung" und "Kovektorerweiterung" als unterschiedliche Ausdrücke derselben Sache.
In ähnlicher Weise betrachten wir die oben definierten Tensoren Und 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 Und als Partner , die in unterschiedlichen Räumen leben. Wenn wir das tun, dann die Tensoren Und werden zu unterschiedlichen Abbildungen, die dennoch über die Isomorphie zwischen miteinander in Beziehung stehen Und .
Aus dieser Sicht ist das "Erhöhen und Senken von Indizes" ein Notationsmissbrauch - eher als ein Sprichwort
und erkennen, dass die 's und '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 Sie haben erwähnt, dass es sich um eine multilineare Karte handelt nicht von .
Jetzt die Antwort. Gegeben sei ein Vektorraum , ein (q, p)-Tensor (q-kontravarianter p-kovarianter Tensor) ist, wie Sie sagten, eine Abbildung mit Komponenten in bestimmter Basis:
Sie können q und p zusammensetzen, indem Sie das einfach sagen ist ein ( )-Rang-Tensor, aber nur, wenn Sie etwas haben, das sich natürlich abbildet 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 es gibt immer ein (und nur ein) Formular das wirkt wie folgt:
wobei der Punkt das Skalarprodukt ist. Dies stellt die natürliche Identifikation her . Tatsächlich erlaubt dies die Verwendung der berühmten Dirac-Notation in der Quantenmechanik.
Folglich, wenn die Komponenten auf bestimmter Grundlage Sind , was wir sagen, ist, dass die Komponenten von in der dualen Basis Sind . Sie sind verschiedene Objekte, aber die Metrik verbindet sie.
Ein allgemeiner Tensor 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 (" " mit einigen erniedrigten und anderen erhöhten Indizes). Wir verwenden jedoch die gleiche Notation für die Komponenten von Und und nicht Und , zum Beispiel. Wir lassen die Primzahl weg, denn wenn wir die Komponenten von berechnen Wir können jederzeit von dieser Beschreibung zur anderen wechseln, indem wir die Metrik verwenden: . Vereinfachen wir also die Schreibweise und rufen auf . In der Praxis sagen wir das Und 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.
J. Murray
Keith
J. Murray
Keith
Raub
Keith
Keith
Raub
Raub
Gravitino