Beziehung zwischen verschiedenen orthogonalen Gruppen

Ich habe in orthogonale Gruppen gelesen und habe einige Fragen.

Erinnern Sie sich an die orthogonale Gruppe von Matrizen Ö ( N ) = { A R N , N : det A 0 , A T = A 1 } . Das befriedigt A X , A j = X T A T A j = X T j = X , j für alle X , j R N , wobei das Skalarprodukt das Skalarprodukt ist.

Angenommen, wir haben ein anderes inneres Produkt eingeschaltet R N , sagen [ , ] . Man kann ähnlich die orthogonale Gruppe dieses inneren Produkts definieren, Ö ( [ , ] ) = { A R N , N : det A 0 , [ A X , A j ] = [ X , j ] X , j R N } .

1) Aus der Berechnung in Absatz 1 haben wir Ö ( N ) Ö ( < , > ) dh die orthogonalen Matrizen sind eine Teilmenge der bezüglich des Skalarprodukts invarianten Matrizen). Können wir sagen, dass diese beiden Definitionen äquivalent sind? Aus derselben Berechnung in Absatz 1 sehe ich nur die Anforderung, dass A T A = ICH N (dh A T ist eine Linksinverse). Ist dies das Beste, was wir daraus schließen können? (Ich bin mir ziemlich sicher nicht!)

2) Können wir die orthogonalen Matrizen allgemeiner auf das beliebige innere Produkt beziehen? [ , ] ? Gibt es Rahmenbedingungen für die Ö ( N ) Ö ( [ , ] ) ? (oder auch Ö ( N ) = Ö ( [ , ] ) ?

Gedanken: Es ist bekannt, dass jedes innere Produkt an R N ist von der Form [ X , j ] = X T B j , Wo B ist eine symmetrische positiv definite Matrix. Daher, wenn A Ö ( N ) , Dann [ A X , A j ] = X T A T B A j , also denke ich, die Anforderung, dass A Ö ( [ , ] ) ist das A T B A = B . Das ist, A 1 B A = B . Von hier aus habe ich keine Ahnung, wie ich weiter vorgehen soll - das fühlt sich für mich immer noch nicht sehr intuitiv an!

Bearbeiten: Es scheint A T B A = B charakterisiert die Matrizen in Ö ( [ , ] ) nach orthogonalen Matrizen nur für Standard-Innenprodukt definiert? .

Danke!

Ich denke, Sie können den Gram-Schmidt-Prozess verwenden, um eine Basis zu konstruieren, die in Bezug auf Ihre alternative Form orthonormal ist [ , ] . Also unter diesem Basiswechsel, Ö ( [ , ] ) ist isomorph zur Standardgruppe Ö ( N ) .
Für 1) beachten Sie das A T A = ICH N iff A A T = ICH N also sind die beiden Begriffe äquivalent.

Antworten (1)

Die Bedingung A T B A = B ist äquivalent zu ( B 1 / 2 A T B 1 / 2 ) ( B 1 / 2 A B 1 / 2 ) = ICH . Deshalb

Ö ( [ , ] ) = { B 1 / 2 Q B 1 / 2 :   Q Ö ( N ) } .
Nun nehme an A Ö ( N ) Ö ( [ , ] ) . Dann A B = A ( A T B A ) = ( A A T ) B A = B A . Es folgt dem Ö ( N ) Ö ( [ , ] ) dann und nur dann, wenn B pendelt mit allen reellen orthogonalen Matrizen, aber dies tritt nur dann auf, wenn B ist eine Skalarmatrix und in diesem Fall Ö ( N ) = Ö ( [ , ] ) .