Was ist "ein Vektor von SO(n)SO(n)SO(n)"?

Ich sehe (oder versuche zu sehen) diesen Vortrag von NPTEL über klassische Feldtheorie. Ich habe bis jetzt alles in der Reihe verstanden, einschließlich der ersten Hälfte der Vorlesung über elementare Gruppentheorie. Ab einem bestimmten Punkt spricht er jedoch von einem „Vektor von S Ö ( D ) ". Er definiert ein solches Objekt im Wesentlichen als ein d-Tupel ( v 1 v 2 v D ) so dass es sich wie folgt unter Matrizen transformiert R S Ö ( D ) :

( v ' ) ich = R J ich v J = J R ich J v J

Hier begann ich verwirrt zu werden. Ist dies nicht die Definition der Matrixmultiplikation mit einem Vektor wo v ' = R v ? Aus diesem Grund konnte ich den Rest des Vortrags, der diese Idee zu einem "Tensor von" verallgemeinerte, im Wesentlichen nicht verstehen S Ö ( D ) “ und definiert es als Objekt T ich 1 ich 2 ich N die sich wie verwandelt

T ' J 1 J N = R ich 1 J 1 R ich 1 J 1 T ich 1 ich N

Von hier aus bin ich im Wesentlichen verloren. Relevante Begriffe zu googeln hat nicht viel geholfen - ist das eine Standardschreibweise, die ich nicht verstehe, oder ist es nur die kryptische Sprache dieses bestimmten Dozenten?

Antworten (3)

Die Gleichung, die Sie angegeben haben, ist in der Tat die Definition der Matrixmultiplikation, angewendet auf a D × D Matrix und a D × 1 Matrix. Aber das zugrunde liegende Konzept ist mehr.

Die Sache mit Vektoren ist, dass sie in gewissem Sinne unabhängig von den Zahlen existieren, die zu ihrer Darstellung verwendet werden. Beispielsweise repräsentiert ein gewöhnlicher 3D-Verschiebungsvektor eine physikalische Länge und eine physikalische Richtung. Diese Dinge sind keine Zahlen, sie sind abstrakte Ideen. Sie erhalten die Zahlen nur, wenn Sie ein Koordinatensystem auswählen und dann den Vektor mit den Koordinatenachsen vergleichen. Unterschiedliche Koordinatensysteme geben Ihnen unterschiedliche Zahlensätze für denselben Vektor.

Zwei Koordinatensysteme können durch Transformationen wie Drehung und Spiegelung in Beziehung gesetzt werden. Mit anderen Worten, bei einem gegebenen Koordinatensystem A können Sie eine Transformation identifizieren, die es in das Koordinatensystem B umwandelt, und Sie können sich a ausdenken D × D Matrix, R D × D , die diese Transformation darstellt. Was einen Vektor zu einem Vektor macht, ist, dass die Zahlen, die den Vektor im Koordinatensystem A beschreiben, und die Zahlen, die den Vektor im Koordinatensystem B beschreiben, durch dieselbe Matrix in Beziehung stehen.

(1) ( v B 1 v B D ) = R D × D ( v A 1 v A D )

Die Gruppe aller möglichen Transformationen hat einen Namen. Zum Beispiel, S Ö ( 3 ) ist die Gruppe aller Drehungen im 3D-Raum. Dementsprechend wird alles, was sich beim Drehen des 3D-Koordinatensystems als Vektor verhält (dh es folgt Gleichung 1), als Vektor von bezeichnet S Ö ( 3 ) , oder ein S Ö ( 3 ) Vektor.

Falls dies offensichtlich erscheinen sollte, lassen Sie mich darauf hinweisen, dass es Mengen von Größen gibt, die sich nicht so verhalten, insbesondere wenn Sie anfangen, über andere Arten von Transformationen als 3D-Rotationen zu sprechen. Beispielsweise bilden alle möglichen Lorentz-Transformationen, einschließlich sowohl Rotationen als auch Boosts, die Gruppe S Ö ( 3 , 1 ) . Die Energie und der Impuls (eines einzelnen Teilchens) bilden einen Vektor von S Ö ( 3 , 1 ) , denn sie ändern sich gemäß Gleichung (1) (mit R D × D eine Lorentz-Transformationsmatrix ist), wenn Sie Referenzrahmen ändern. Aber das elektromagnetische Feld nicht. Sie brauchen eigentlich zwei Faktoren von R D × D um zu berücksichtigen, wie sich EM-Felder zwischen Referenzrahmen ändern. Das macht das EM-Feld zu einem Rang-2-Tensor von S Ö ( 3 , 1 ) .

Ich möchte Sie auch auf diese meine Frage zur Mathematik über die Bedeutung eines "physikalischen Vektorraums" verweisen , die den Unterschied zwischen einem mathematischen Vektor und einem physikalischen Vektor berührt. Nur letzteres unterliegt der Anforderung von Gleichung (1).

Bedeutet Ihre Antwort, dass wir einer Größe den Titel eines Vektors, Tensors oder Skalars nicht geben können, bis wir uns nicht für die Transformation entschieden haben, und dass diese Begriffe nur in Bezug auf die von uns durchgeführten Transformationen eine Bedeutung haben? Können Sie auch ein Beispiel geben, wo ein Vektor ein Vektor einer Gruppe war und kein Vektor einer anderen Gruppe?
@NamanAgarwal (1) Ja, so ziemlich. Sie können etwas nur in Bezug auf eine bestimmte Transformationsgruppe als Skalar/Vektor/Tensor identifizieren; es ist sinnlos zu sagen "das ist ein Vektor", ohne dass angegeben ist, in Bezug auf welche Transformationsgruppe es ein Vektor ist. All dies gilt natürlich nur für die in der Physik verwendete Bedeutung von Vektor, nicht für die in der Mathematik (vgl. die von mir verlinkte Mathematikfrage). (2) Bsp Gesamtenergie eines Teilchens ist an S Ö ( 3 ) Skalar, sondern eine Komponente eines Vektors in S Ö ( 3 , 1 ) .

Ja, er hat den Vektor so definiert (eine Vektordrehung ist gleichbedeutend mit einem Basiswechsel), sonst wäre es kein Vektor. Ein Tensor ist eine andere Art von Objekt, er hat mindestens zwei Indizes und verhält sich anders als ein Vektor unter Koordinatentransformation (wie in Ihrem Buch definiert). Sie könnten wahrscheinlich mehr über lineare Algebra bis hin zu Tensoren lesen, bevor Sie ein Physikbuch lesen (es wird Ihr Leben einfacher machen), weil sie in der Physik eingeführt werden, da sie offensichtliche Dinge waren, aber es sich um ziemlich gut definierte mathematische Konzepte handelt. Am gegenüberliegenden Ende befindet sich ein Skalar, der sich bei einer Koordinatentransformation nicht ändert.

Im Kontext zB einer pseudo-orthogonalen Lie-Gruppe

(1) Ö ( P , Q )   :=   { Λ M A T N × N ( R )   |   Λ T η Λ = η }

von pseudoorthogonalen Matrizen Λ für die Metrik

(2) η μ v   =   D ich A G ( 1 , , 1 P   mal , 1 , 1 Q   mal ) , N   =   P + Q ,

ein "Vektor von Ö ( P , Q ) " ist ein Element der N -dimensionale Vektordarstellung (auch bekannt als die definierende Darstellung oder fundamentale Darstellung) von Ö ( P , Q ) .

Siehe auch diesen verwandten Phys.SE-Beitrag.