Frobenius-Skalarprodukt – Wikipedia

Posted on by

Das Frobenius-Skalarprodukt ist in der linearen Algebra ein Skalarprodukt auf dem Vektorraum der reellen oder komplexen Matrizen. Es berechnet sich durch komponentenweise Multiplikation der Einträge zweier Matrizen und nachfolgende Summation über all diese Produkte. Im komplexen Fall wird dabei immer ein Element komplex konjugiert. Das Frobenius-Skalarprodukt kann auch als Spur des Matrizenprodukts der beiden Matrizen berechnet werden, wobei eine der Matrizen transponiert beziehungsweise adjungiert wird.

Mit dem Frobenius-Skalarprodukt wird der Matrizenraum zu einem Skalarproduktraum. Die von dem Frobenius-Skalarprodukt abgeleitete Norm heißt Frobeniusnorm. Eine Verallgemeinerung des Frobenius-Skalarprodukts auf unendlichdimensionale Vektorräume ist das Hilbert-Schmidt-Skalarprodukt. Das Frobenius-Skalarprodukt wird unter anderem in der Kontinuumsmechanik bei der tensoriellen Beschreibung der Deformation von Vektorfeldern verwendet. Es ist nach dem deutschen Mathematiker Ferdinand Georg Frobenius benannt.

Das Frobenius-Skalarprodukt zweier, nicht notwendigerweise quadratischer, reeller Matrizen

A=(aij)∈Rm×n{displaystyle A=(a_{ij})in mathbb {R} ^{mtimes n}}

und

B=(bij)∈Rm×n{displaystyle B=(b_{ij})in mathbb {R} ^{mtimes n}}

ist definiert als[1]

⟨A,B⟩F=∑i=1m∑j=1naijbij{displaystyle langle A,Brangle _{F}=sum _{i=1}^{m}sum _{j=1}^{n}a_{ij}b_{ij}}

.

Das Frobenius-Skalarprodukt entsteht also durch komponentenweise Multiplikation der Einträge der beiden Ausgangsmatrizen und nachfolgende Summation über all diese Produkte. Es entspricht also dem Standardskalarprodukt, wenn man die Matrizen als

m⋅n{displaystyle mcdot n}

-dimensionale Vektoren auffasst.

Entsprechend dazu ist das Frobenius-Skalarprodukt zweier komplexer Matrizen

A∈Cm×n{displaystyle Ain mathbb {C} ^{mtimes n}}

und

B∈Cm×n{displaystyle Bin mathbb {C} ^{mtimes n}}

durch

⟨A,B⟩F=∑i=1m∑j=1na¯ijbij{displaystyle langle A,Brangle _{F}=sum _{i=1}^{m}sum _{j=1}^{n}{bar {a}}_{ij}b_{ij}}

definiert, wobei der Überstrich die Konjugierte einer komplexen Zahl darstellt. Als alternative Definition kann auch jeweils die zweite statt der ersten Komponente komplex konjugiert werden.

In der Physik wird das Frobenius-Skalarprodukt zweier Matrizen

A{displaystyle A}

und

B{displaystyle B}

auch durch

A:B{displaystyle A,colon ,B}

notiert.

Das Frobenius-Skalarprodukt der beiden reellen (2 × 2)-Matrizen

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

  und   B=(1231){displaystyle B={begin{pmatrix}1&2\3&1end{pmatrix}}}

ist gegeben durch

⟨A,B⟩F=3⋅1+2⋅2+0⋅3+1⋅1=8{displaystyle langle A,Brangle _{F}=3cdot 1+2cdot 2+0cdot 3+1cdot 1=8}

.

Das Frobenius-Skalarprodukt der beiden komplexen (2 × 2)-Matrizen

A=(32i0i){displaystyle A={begin{pmatrix}3&2i\0&iend{pmatrix}}}

  und   B=(i23−i){displaystyle B={begin{pmatrix}i&2\3&-iend{pmatrix}}}

ist entsprechend dazu

⟨A,B⟩F=3⋅i+(−2i)⋅2+0⋅3+(−i)⋅(−i)=−(i+1){displaystyle langle A,Brangle _{F}=3cdot i+(-2i)cdot 2+0cdot 3+(-i)cdot (-i)=-(i+1)}

.

Skalarprodukt-Axiome[Bearbeiten | Quelltext bearbeiten]

Die folgenden Axiome eines komplexen Skalarprodukts werden für die erste Variante aufgeführt, für die zweite Variante gelten sie analog durch Verschieben der Konjugation. Aus dem komplexen Fall erhält man den reellen Fall durch Weglassen der Konjugation. Das komplexe Frobenius-Skalarprodukt ist sesquilinear, das heißt semilinear im ersten Argument, das heißt

⟨A+B,C⟩F=⟨A,C⟩F+⟨B,C⟩F{displaystyle langle A+B,Crangle _{F}=langle A,Crangle _{F}+langle B,Crangle _{F}}

  und   ⟨cA,B⟩F=c¯⟨A,B⟩F{displaystyle langle cA,Brangle _{F}={bar {c}}langle A,Brangle _{F}}

sowie linear im zweiten Argument, also

⟨A,B+C⟩F=⟨A,B⟩F+⟨A,C⟩F{displaystyle langle A,B+Crangle _{F}=langle A,Brangle _{F}+langle A,Crangle _{F}}

  und   ⟨A,cB⟩F=c⟨A,B⟩F{displaystyle langle A,cBrangle _{F}=clangle A,Brangle _{F}}

Weiter ist es hermitesch, das heißt

⟨A,B⟩F=⟨B,A⟩F¯{displaystyle langle A,Brangle _{F}={overline {langle B,Arangle _{F}}}}

,

und positiv definit, also

⟨A,A⟩F≥0{displaystyle langle A,Arangle _{F}geq 0}

  und   ⟨A,A⟩F=0⇔A=0{displaystyle langle A,Arangle _{F}=0Leftrightarrow A=0}

.

Diese Eigenschaften folgen direkt aus den Kommutativ- und Distributivgesetzen der Addition und Multiplikation, sowie der positiven Definitheit der komplexen Betragsfunktion

|z|2=z¯z{displaystyle |z|^{2}={bar {z}}z}

. In der zweiten komplexen Variante ist das Frobenius-Skalarprodukt linear im ersten und semilinear im zweiten Argument. Im Spezialfall zweier einzeiliger oder einspaltiger Matrizen entspricht das Frobenius-Skalarprodukt dem Standardskalarprodukt der beiden Zeilen- oder Spaltenvektoren. Mit dem Frobenius-Skalarprodukt wird der Matrizenraum zu einem Skalarproduktraum, sogar zu einem Hilbertraum.

Darstellung als Spur[Bearbeiten | Quelltext bearbeiten]

Das reelle Frobenius-Skalarprodukt hat die folgende Darstellung als Spur

⟨A,B⟩F=spur⁡(ATB)=spur⁡(BAT){displaystyle langle A,Brangle _{F}=operatorname {spur} (A^{T}B)=operatorname {spur} (BA^{T})}

,

wobei

AT{displaystyle A^{T}}

die transponierte Matrix von

A{displaystyle A}

ist. Entsprechend dazu hat das komplexe Frobenius-Skalarprodukt die Darstellung

⟨A,B⟩F=spur⁡(AHB)=spur⁡(BAH){displaystyle langle A,Brangle _{F}=operatorname {spur} (A^{H}B)=operatorname {spur} (BA^{H})}

,

wobei

AH{displaystyle A^{H}}

die adjungierte Matrix von

A{displaystyle A}

ist.

Verschiebungseigenschaft[Bearbeiten | Quelltext bearbeiten]

Das reelle Frobenius-Skalarprodukt besitzt folgende Verschiebungseigenschaft für alle

A∈Rl×m,B∈Rm×n{displaystyle Ain mathbb {R} ^{ltimes m},Bin mathbb {R} ^{mtimes n}}

und

C∈Rl×n{displaystyle Cin mathbb {R} ^{ltimes n}}

:

⟨AB,C⟩F=⟨B,ATC⟩F=⟨A,CBT⟩F{displaystyle langle AB,Crangle _{F}=langle B,A^{T}Crangle _{F}=langle A,CB^{T}rangle _{F}}

.

Entsprechend gilt für das komplexe Frobenius-Skalarprodukt für alle

A∈Cl×m,B∈Cm×n{displaystyle Ain mathbb {C} ^{ltimes m},Bin mathbb {C} ^{mtimes n}}

und

C∈Cl×n{displaystyle Cin mathbb {C} ^{ltimes n}}

⟨AB,C⟩F=⟨B,AHC⟩F=⟨A,CBH⟩F{displaystyle langle AB,Crangle _{F}=langle B,A^{H}Crangle _{F}=langle A,CB^{H}rangle _{F}}

.

Beide Eigenschaften folgen aus der zyklischen Vertauschbarkeit von Matrizen unter der Spur.

Invarianzen[Bearbeiten | Quelltext bearbeiten]

Aufgrund der Spurdarstellung und der Verschiebungseigenschaft gilt für das reelle Frobenius-Skalarprodukt zweier Matrizen

A,B∈Rm×n{displaystyle A,Bin mathbb {R} ^{mtimes n}}

⟨A,B⟩F=⟨AT,BT⟩F{displaystyle langle A,Brangle _{F}=langle A^{T},B^{T}rangle _{F}}

.

Für das komplexe Frobenius-Skalarprodukt zweier Matrizen

A,B∈Cm×n{displaystyle A,Bin mathbb {C} ^{mtimes n}}

gilt entsprechend

⟨A,B⟩F¯=⟨AH,BH⟩F{displaystyle {overline {langle A,Brangle _{F}}}=langle A^{H},B^{H}rangle _{F}}

.

Induzierte Norm[Bearbeiten | Quelltext bearbeiten]

Die von dem Frobenius-Skalarprodukt abgeleitete Norm ist die Frobeniusnorm

‖A‖F=(⟨A,A⟩F)1/2{displaystyle |A|_{F}=left(langle A,Arangle _{F}right)^{1/2}}

.

Die Frobeniusnorm ist damit insbesondere invariant unter unitären Transformationen und es gilt die Cauchy-Schwarzsche Ungleichung

|⟨A,B⟩F|≤‖A‖F‖B‖F{displaystyle |langle A,Brangle _{F}|leq |A|_{F},|B|_{F}}

.

Daraus folgt dann die Abschätzung

|⟨A,B⟩F|2≤spur⁡(AHA)⋅spur⁡(BHB){displaystyle |langle A,Brangle _{F}|^{2}leq operatorname {spur} (A^{H}A)cdot operatorname {spur} (B^{H}B)}

,

wobei im Fall reeller Matrizen die Adjungierte durch die Transponierte ersetzt wird.

Abschätzung über die Singulärwerte[Bearbeiten | Quelltext bearbeiten]

Sind

σ1(A),…,σr(A){displaystyle sigma _{1}(A),ldots ,sigma _{r}(A)}

die Singulärwerte von

A{displaystyle A}

und

σ1(B),…,σr(B){displaystyle sigma _{1}(B),ldots ,sigma _{r}(B)}

diejenigen von

B{displaystyle B}

mit

r=min{m,n}{displaystyle r=min{m,n}}

, dann gilt für das Frobenius-Skalarprodukt die Abschätzung

|⟨A,B⟩F|≤∑i=1rσi(A)σi(B)≤‖A‖F‖B‖F{displaystyle |langle A,Brangle _{F}|leq sum _{i=1}^{r}sigma _{i}(A)sigma _{i}(B)leq |A|_{F},|B|_{F}}

,

Diese Abschätzung stellt eine Verschärfung der obigen Cauchy-Schwarz-Ungleichung dar.[2]

  • Roger A. Horn, Charles R. Johnson: Matrix Analysis. Cambridge University Press, 2012, ISBN 0-521-46713-6. 
  • Roger A. Horn, Charles R. Johnson: Topics in Matrix Analysis. Cambridge University Press, 1994, ISBN 0-521-46713-6. 
  1. ↑ Horn, Johnson: Matrix Analysis. S. 321. 
  2. ↑ Horn, Johnson: Topics in Matrix Analysis. S. 186.