Persymmetrische Matrix

Symmetriemuster einer persymmetrischen (5×5)-Matrix

Eine persymmetrische Matrix ist in der Mathematik eine quadratische Matrix, die symmetrisch bezüglich ihrer Gegendiagonale ist.

Definition

Eine quadratische Matrix A K n × n {\displaystyle A\in K^{n\times n}} über einem Körper K {\displaystyle K} heißt persymmetrisch, wenn für ihre Einträge

a i , j = a n j + 1 , n i + 1 {\displaystyle a_{i,j}=a_{n-j+1,n-i+1}}

für i , j = 1 , , n {\displaystyle i,j=1,\ldots ,n} gilt.[1] Die Einträge einer persymmetrischen Matrix verändern sich demnach nicht, wenn sie an der Gegendiagonale gespiegelt werden.

Beispiele

Eine reelle persymmetrische Matrix der Größe 3 × 3 {\displaystyle 3\times 3} ist beispielsweise

A = ( 1 2 3 2 3 2 3 2 1 ) {\displaystyle A={\begin{pmatrix}1&2&3\\2&3&2\\3&2&1\end{pmatrix}}}

Allgemein haben persymmetrische Matrizen der Größe 3 × 3 {\displaystyle 3\times 3} die Form

A = ( a b c d e b f d a ) {\displaystyle A={\begin{pmatrix}a&b&c\\d&e&b\\f&d&a\end{pmatrix}}}

mit a , b , c , d , e , f K {\displaystyle a,b,c,d,e,f\in K} .

Eigenschaften

Symmetrien

Mit der Permutationsmatrix J K n × n {\displaystyle J\in K^{n\times n}} definiert durch

J = ( δ i , n j + 1 ) i j = ( 0 1 1 0 ) {\displaystyle J=(\delta _{i,n-j+1})_{ij}={\begin{pmatrix}0&&1\\&\cdot ^{\,\cdot ^{\,\cdot }}&\\1&&0\end{pmatrix}}}

lassen sich persymmetrische Matrizen auch kompakt durch die Bedingung

J A = A T J {\displaystyle JA=A^{T}J}

charakterisieren.[2] Eine bisymmetrische Matrix ist eine persymmetrische Matrix, die zudem symmetrisch oder zentralsymmetrisch ist. Eine Toeplitz-Matrix ist eine persymmetrische Matrix, deren Einträge auf der Hauptdiagonale und allen Nebendiagonalen konstant sind. Eine zyklische Matrix ist eine persymmetrische Matrix, deren Einträge auf allen Diagonalen konstant sind und sich zyklisch wiederholen.

Summe und Produkt

Die Summe A + B {\displaystyle A+B} zweier persymmetrischer Matrizen A {\displaystyle A} und B {\displaystyle B} ergibt wieder eine persymmetrische Matrix, ebenso sind auch skalare Vielfache c A {\displaystyle cA} mit c K {\displaystyle c\in K} . Nachdem die Nullmatrix trivialerweise persymmetrisch ist, bilden die persymmetrischen Matrizen einen Untervektorraum im Matrizenraum K n × n {\displaystyle K^{n\times n}} .

Das Produkt A B {\displaystyle A\cdot B} zweier persymmetrischer Matrizen ergibt aufgrund von

J A B = A T J B = A T B T J = ( B A ) T J {\displaystyle JAB=A^{T}JB=A^{T}B^{T}J=(BA)^{T}J}

genau dann wieder eine persymmetrische Matrix, wenn die beiden Matrizen A {\displaystyle A} und B {\displaystyle B} kommutieren.

Inverse

Für die Inverse A 1 {\displaystyle A^{-1}} einer persymmetrischen Matrix gilt, sofern sie existiert

J A 1 = ( A J ) 1 = ( J A T ) 1 = A T J {\displaystyle JA^{-1}=(AJ)^{-1}=(JA^{T})^{-1}=A^{-T}J} .

Die Inverse einer regulären persymmetrischen Matrix ist demnach wieder persymmetrisch.[3]

Siehe auch

Literatur

  • Gene Golub, Charles van Loan: Matrix Computations. JHU Press, 2013, ISBN 978-1-4214-0794-4. 
  • Martin Hanke-Bourgeois: Grundlagen der Numerischen Mathematik und des Wissenschaftlichen Rechnens. Springer, 2008, ISBN 978-3-8348-0708-3. 
  • Roger A. Horn, Charles R. Johnson: Matrix Analysis. Cambridge University Press, 2012, ISBN 978-0-521-83940-2. 

Einzelnachweise

  1. Martin Hanke-Bourgeois: Grundlagen der Numerischen Mathematik und des Wissenschaftlichen Rechnens. Springer, 2008, S. 66. 
  2. Roger A. Horn, Charles Johnson: Matrix analysis. Cambridge University Press, 2013, S. 36. 
  3. Gene Golub, Charles van Loan: Matrix Computations. JHU Press, 2013, S. 208.