Wie kann man sagen, dass sich der elektromagnetische Feldtensor als Tensor transformiert?

Ist jede Matrix ein Tensor in der speziellen Relativitätstheorie?

Meine Frage ist inspiriert von der Definition des elektromagnetischen Feldtensors in Carrolls Buch Spacetime and Geometry. In Gleichung (1.69) definiert er eine Matrix, von der er sagt, dass sie der (0,2) elektromagnetische Feldtensor ist.

In Abschnitt 1.8 gibt er die Maxwell-Gleichungen in Tensornotation an und stellt zusätzlich fest, dass sie sich in dieser Form offensichtlich als Tensoren transformieren. Ich nehme an, dass dies auf die tensorielle Natur des elektromagnetischen Feldtensors zurückzuführen ist; Ich verstehe jedoch nicht, warum es ein Tensor ist.

Müssten wir beweisen, dass sich der elektromagnetische Feldtensor als Tensor durch Brute-Rechnung transformiert? Gibt es alternativ eine clevere und offensichtlichere Abkürzung, die Sie verwenden könnten, um zu derselben Erkenntnis zu gelangen?

Wenn Ihnen diese Frage gefällt, können Sie auch diesen und diesen Phys.SE-Beitrag lesen.
Alle zusammen jetzt: "Wenn es sich wie ein Tensor transformiert." Jetzt werden hoffentlich einige unserer Relativisten erklären, was "transformiert sich wie ein Tensor" bedeutet, und wir werden damit klarkommen.
Könnten Sie Carrolls Definition des Tensors hier einfügen? Wir müssen wissen, wo wir anfangen.
@ACuriousMind: Es spielt keine Rolle, über welchen Tensor wir sprechen. Die Antwort ist, was dmckee gesagt hat.
@BenCrowell: Ja, dmckee hat sicherlich Recht. Aber um von einem gegebenen Objekt zu zeigen, dass es ein Tensor ist, brauchen wir seine Definition, um seine Transformation zu untersuchen.
@ACuriousMind: Du hast recht. Der Titel der Frage verleitete mich zu der Annahme, dass der Fragesteller überhaupt nicht wusste, welches Kriterium er anwenden sollte. Eigentlich macht der letzte Satz deutlich, dass er/sie das Kriterium kennt. Ich werde den Titel bearbeiten.

Antworten (3)

Genau genommen ist eine Matrix kein Tensor, sondern eine Darstellung eines Tensors in einer bestimmten Basis. Sie können nicht sagen, ob eine gegebene Matrix ein Tensor ist, indem Sie nur ihre Komponenten verwenden. Sie müssten wissen, wie es sich in verschiedene Referenzrahmen umwandelt.

Für den elektromagnetischen Feldtensor könnten Sie beispielsweise die Gleichungen für eine physikalische Konfiguration elektromagnetischer Felder schreiben und dann die Gleichungen schreiben, die dieselbe physikalische Konfiguration in einem anderen Bezugssystem beschreiben, und zeigen, dass die Anwendung der entsprechenden Lorentz-Transformation zweimal von konvertiert eins zum anderen.

F Rahmen 2 μ v = [ Λ ( 1 , 2 ) ] a μ [ Λ ( 1 , 2 ) ] β v F Rahmen 1 a β

wo ich verwendet habe Λ ( 1 , 2 ) um die Lorentz-Transformation zu bezeichnen, die von Frame 1 zu Frame 2 transformiert. Diese Berechnung vollständig durchzuführen, wird etwas mühsam, weshalb viele Lehrbücher sie nicht vollständig durchgehen, sondern sie nur plausibel erscheinen lassen. (Aber zumindest Einstein musste es tun, um zu zeigen, dass die Theorie so funktioniert.)

Wie auch immer, der Punkt ist, dass die tensorielle Natur einer Größe wirklich eine Folge des Transformationsgesetzes ist, nicht der Darstellung (der Matrix).

Sie haben erklärt, was das bedeutet F ist ein Tensor (kurz F ' = Λ t F Λ ), aber Sie gehen nicht auf den Titel der Frage ein: "Woran erkennt man, dass sich der elektromagnetische Feldtensor als Tensor transformiert?"

Die Antwort auf Ihre Frage hängt ziemlich davon ab, was Sie für grundlegend halten und was Sie für abgeleitet halten.

Eine moderne, offensichtlich relativistische Behandlung von E&M würde den elektromagnetischen Feldtensor definieren als

F a = q F b a v b ,

wo F ist der Feldtensor und F ist die auf ein Teilchen wirkende Viererkraft. Durch diese Definition ist das offensichtlich klar F ist ein Tensor; Es ist ein linearer Operator, der einen Vektor nimmt und einen anderen erzeugt. Bei diesem Ansatz müssen Sie nur noch zeigen, wie die Komponenten funktionieren F beziehen sich auf das Übliche E und B Drei-Vektoren. Für eine Behandlung in diesem Stil siehe mein SR-Buch, http://www.lightandmatter.com/sr/ , Abschnitt 10.3.

Ein einfacher Ansatz wäre zu definieren E und B wie üblich in einem Erstsemester-Physikunterricht, finden Sie dann ihre Transformationsgesetze. (Dies geschieht z. B. in dem klassischen Buch von Purcell aus dem Jahr 1965, Electricity and Magnetism. Die erste Ausgabe kann kostenlos online gefunden werden, da sie mit einem NSF-Stipendium entwickelt wurde. Es gibt auch eine schöne moderne Ausgabe von Cambridge University Press.) Nachdem Sie dies getan haben, müssen Sie sie dann als Komponenten von zusammensetzen F und zeigen, dass diese Transformationsgesetze machen F als Tensor transformieren.

Müssten wir beweisen, dass sich der elektromagnetische Feldtensor als Tensor durch Brute-Rechnung transformiert?

Nicht, wenn Sie akzeptieren, dass die Ableitung eines Tensors ein Tensor mit einem höheren kovarianten Rang ist .

In SR sind das skalare elektrische und vektormagnetische Potential Komponenten eines Vierervektors (eines Rang-1-Tensors), des elektromagnetischen Viererpotentials EIN μ .

Dann ist das Folgende ein kovarianter antisymmetrischer Tensor des Ranges 2, der elektromagnetische Tensor :

F μ v = μ EIN v v EIN μ

Gibt es alternativ eine clevere und offensichtlichere Abkürzung, die Sie verwenden könnten, um zu derselben Erkenntnis zu gelangen?

In komponentenfreier Notation haben wir die Tensorgleichung

F = d e f d EIN

die den elektromagnetischen Tensor als äußere Ableitung des elektromagnetischen Viererpotentials definiert und daran keinen Zweifel lässt F ist ein Tensor.