Hermitesche Matrix

Eine hermitesche Matrix ist in der Mathematik eine komplexe quadratische Matrix, die gleich ihrer adjungierten Matrix ist. Die Einträge einer hermiteschen Matrix oberhalb der Hauptdiagonale ergeben sich demnach durch Spiegelung der Einträge unterhalb der Diagonale und nachfolgender komplexer Konjugation; die Einträge auf der Hauptdiagonale selbst sind alle reell. Hermitesche Matrizen sind nach dem Mathematiker Charles Hermite benannt.

Hermitesche Matrizen weisen eine Reihe besonderer Eigenschaften auf. Die Summe zweier hermitescher Matrizen ist stets wieder hermitesch. Jede komplexe quadratische Matrix lässt sich eindeutig als Summe einer hermiteschen und einer schiefhermiteschen Matrix schreiben. Das Produkt zweier hermitescher Matrizen ist wiederum hermitesch, sofern die beiden Matrizen kommutieren. Eine hermitesche Matrix ist stets normal und selbstadjungiert, sie besitzt nur reelle Eigenwerte und sie ist stets unitär diagonalisierbar. Eine wichtige Klasse hermitescher Matrizen sind positiv definite Matrizen, bei denen alle Eigenwerte positiv sind. Eine hermitesche Matrix mit reellen Einträgen ist symmetrisch.

In der linearen Algebra werden hermitesche Matrizen zur Beschreibung hermitescher Sesquilinearformen verwendet. Die Darstellungsmatrix einer komplexen selbstadjungierten Abbildung bezüglich einer Orthonormalbasis ist ebenfalls stets hermitesch. Lineare Gleichungssysteme mit hermitescher Koeffizientenmatrix lassen sich effizient und numerisch stabil lösen. Weiterhin werden hermitesche Matrizen bei Orthogonalprojektionen und bei der Polarzerlegung von Matrizen verwendet. Hermitesche Matrizen besitzen Anwendungen unter anderem in der Quantenmechanik.

Eine komplexe quadratische Matrix A = ( a j k ) ∈ C n × n {\displaystyle A=(a_{jk})\in \mathbb {C} ^{n\times n}} heißt hermitesch, wenn für ihre Einträge

a j k = a k j ¯ {\displaystyle a_{jk}={\overline {a_{kj}}}}

für j , k = 1 , … , n {\displaystyle j,k=1,\ldots ,n} gilt. Eine hermitesche Matrix stimmt daher mit ihrer adjungierten Matrix A H {\displaystyle A^{\mathsf {H}}} überein, das heißt, es gilt

A = A H {\displaystyle A=A^{\mathsf {H}}} .

Äquivalent dazu ist eine Matrix genau dann hermitesch, wenn ihre transponierte Matrix A T {\displaystyle A^{\mathsf {T}}} gleich ihrer konjugierten Matrix A ¯ {\displaystyle {\bar {A}}} ist, also

A T = A ¯ {\displaystyle A^{\mathsf {T}}={\overline {A}}}

gilt. Eine hermitesche Matrix ist also bis auf komplexe Konjugation aller Einträge spiegelsymmetrisch bezüglich ihrer Hauptdiagonale.

Beispiele für hermitesche Matrizen sind ( i {\displaystyle \mathrm {i} } stellt die imaginäre Einheit dar):

( 2 ) , ( 1 i − i 1 ) , ( 1 3 − i 4 3 + i − 2 − 6 + i 4 − 6 − i 5 ) {\displaystyle {\begin{pmatrix}2\end{pmatrix}},\quad {\begin{pmatrix}1&\mathrm {i} \\-\mathrm {i} &1\end{pmatrix}},\quad {\begin{pmatrix}1&3-\mathrm {i} &4\\3+\mathrm {i} &-2&-6+\mathrm {i} \\4&-6-\mathrm {i} &5\end{pmatrix}}} .

Allgemein haben hermitesche Matrizen der Größe 2 × 2 {\displaystyle 2\times 2} , 3 × 3 {\displaystyle 3\times 3} und 4 × 4 {\displaystyle 4\times 4} die Struktur

( a b ¯ b c ) , ( a b ¯ c ¯ b d e ¯ c e f ) , ( a b ¯ c ¯ d ¯ b e f ¯ g ¯ c f h i ¯ d g i j ) {\displaystyle {\begin{pmatrix}a&{\bar {b}}\\b&c\end{pmatrix}},\quad {\begin{pmatrix}a&{\bar {b}}&{\bar {c}}\\b&d&{\bar {e}}\\c&e&f\end{pmatrix}},\quad {\begin{pmatrix}a&{\bar {b}}&{\bar {c}}&{\bar {d}}\\b&e&{\bar {f}}&{\bar {g}}\\c&f&h&{\bar {i}}\\d&g&i&j\end{pmatrix}}}

mit reellen Zahlen auf der Hauptdiagonale.

Die Diagonaleinträge einer hermiteschen Matrix sind aufgrund von

a j j = a j j ¯ {\displaystyle a_{jj}={\overline {a_{jj}}}}

stets reell. Die Matrix aus den Realteilen einer hermiteschen Matrix ist stets symmetrisch, denn

R e ( a j k ) = R e ( a k j ) {\displaystyle \mathrm {Re} (a_{jk})=\mathrm {Re} (a_{kj})} ,

und die Matrix aus den Imaginärteilen einer hermiteschen Matrix stets schiefsymmetrisch, denn

I m ( a j k ) = − I m ( a k j ) {\displaystyle \mathrm {Im} (a_{jk})=-\mathrm {Im} (a_{kj})} .

Daher wird eine hermitesche Matrix durch

n + n ( n − 1 ) 2 + n ( n − 1 ) 2 = n 2 {\displaystyle n+{\frac {n(n-1)}{2}}+{\frac {n(n-1)}{2}}=n^{2}}

reelle Zahlen eindeutig charakterisiert. Im Vergleich dazu wird eine allgemeine komplexe ( n × n ) {\displaystyle (n\times n)} -Matrix durch 2 n 2 {\displaystyle 2n^{2}} reelle Zahlen beschrieben, also gerade doppelt so viele.

Die Summe A + B {\displaystyle A+B} zweier hermitescher Matrizen A , B ∈ C n × n {\displaystyle A,B\in \mathbb {C} ^{n\times n}} ist stets wieder hermitesch, denn

( A + B ) H = A H + B H = A + B {\displaystyle (A+B)^{\mathsf {H}}=A^{\mathsf {H}}+B^{\mathsf {H}}=A+B} .

Zudem lässt sich jede komplexe quadratische Matrix M ∈ C n × n {\displaystyle M\in \mathbb {C} ^{n\times n}} eindeutig als Summe M = A + B {\displaystyle M=A+B} einer hermiteschen Matrix A {\displaystyle A} und einer schiefhermiteschen Matrix B {\displaystyle B} schreiben, indem

A = 1 2 ( M + M H ) {\displaystyle A={\frac {1}{2}}(M+M^{\mathsf {H}})}   und   B = 1 2 ( M − M H ) {\displaystyle B={\frac {1}{2}}(M-M^{\mathsf {H}})}

gewählt werden.

Das Produkt c A {\displaystyle cA} einer hermiteschen Matrix A ∈ C n × n {\displaystyle A\in \mathbb {C} ^{n\times n}} mit einem Skalar c ∈ C {\displaystyle c\in \mathbb {C} } ist nur wieder hermitesch, wenn c {\displaystyle c} reell ist, denn dann gilt

( c A ) H = c ¯ A H = c A {\displaystyle (cA)^{\mathsf {H}}={\bar {c}}A^{\mathsf {H}}=cA} .

Wenn c {\displaystyle c} rein imaginär ist, dann ist das Produkt c A {\displaystyle cA} schiefhermitesch. Die hermiteschen Matrizen bilden demnach keinen Untervektorraum im C {\displaystyle \mathbb {C} } -Vektorraum der komplexen quadratischen Matrizen, sondern lediglich einen Untervektorraum im R {\displaystyle \mathbb {R} } -Vektorraum der komplexen quadratischen Matrizen. Dieser Untervektorraum hat die Dimension n 2 {\displaystyle n^{2}} , wobei die Standardmatrizen E j j {\displaystyle E_{jj}} , 1 ≤ j ≤ n {\displaystyle 1\leq j\leq n} , E j k + E k j {\displaystyle E_{jk}+E_{kj}} und i ( E j k − E k j ) {\displaystyle \mathrm {i} (E_{jk}-E_{kj})} , 1 ≤ j < k ≤ n {\displaystyle 1\leq j<k\leq n} , darin eine Basis bilden. Im Raum der hermiteschen Matrizen bilden wiederum die reellen symmetrischen Matrizen einen Untervektorraum.

Das Produkt A B {\displaystyle AB} zweier hermitescher Matrizen A , B ∈ C n × n {\displaystyle A,B\in \mathbb {C} ^{n\times n}} ist im Allgemeinen nicht wieder hermitesch. Das Produkt hermitescher Matrizen ist genau dann hermitesch, wenn A {\displaystyle A} und B {\displaystyle B} kommutieren, also wenn A B = B A {\displaystyle AB=BA} gilt, denn dann ergibt sich

( A B ) H = B H A H = B A = A B {\displaystyle (AB)^{\mathsf {H}}=B^{\mathsf {H}}A^{\mathsf {H}}=BA=AB} .

Insbesondere sind damit für eine hermitesche Matrix A {\displaystyle A} auch alle ihre Potenzen A k {\displaystyle A^{k}} mit k ∈ N {\displaystyle k\in \mathbb {N} } und daher auch ihr Matrixexponential e A {\displaystyle e^{A}} wieder hermitesch. Für eine beliebige komplexe Matrix M ∈ C m × n {\displaystyle M\in \mathbb {C} ^{m\times n}} sind sowohl die m × m {\displaystyle m\times m} -Matrix M M H {\displaystyle MM^{\mathsf {H}}} als auch die n × n {\displaystyle n\times n} -Matrix M H M {\displaystyle M^{\mathsf {H}}M} stets hermitesch.

Eine hermitesche Matrix A ∈ C n × n {\displaystyle A\in \mathbb {C} ^{n\times n}} ist stets normal, denn es gilt

A H A = A A = A A H {\displaystyle A^{\mathsf {H}}A=AA=AA^{\mathsf {H}}} .

Jede hermitesche Matrix kommutiert also mit ihrer Adjungierten. Es gibt allerdings auch normale Matrizen, die nicht hermitesch sind, beispielsweise schiefhermitesche Matrizen.

Jede komplexe Matrix B ∈ C n × n {\displaystyle B\in \mathbb {C} ^{n\times n}} , die kongruent zu einer hermiteschen Matrix A ∈ C n × n {\displaystyle A\in \mathbb {C} ^{n\times n}} ist, ist ebenfalls hermitesch, denn es gilt

B H = ( S H A S ) H = S H A H S = S H A S = B {\displaystyle B^{\mathsf {H}}=(S^{\mathsf {H}}AS)^{\mathsf {H}}=S^{\mathsf {H}}A^{\mathsf {H}}S=S^{\mathsf {H}}AS=B} ,

wobei S ∈ C n × n {\displaystyle S\in \mathbb {C} ^{n\times n}} die zugehörige Transformationsmatrix ist. Matrizen, die ähnlich zu einer hermiteschen Matrix sind, müssen jedoch nicht notwendigerweise ebenfalls hermitesch sein.

Ist eine hermitesche Matrix A ∈ C n × n {\displaystyle A\in \mathbb {C} ^{n\times n}} invertierbar, dann ist auch ihre Inverse A − 1 {\displaystyle A^{-1}} wieder hermitesch, denn es gilt

( A − 1 ) H = ( A H ) − 1 = A − 1 {\displaystyle (A^{-1})^{\mathsf {H}}=(A^{\mathsf {H}})^{-1}=A^{-1}} .

Für eine reguläre hermitesche Matrix A {\displaystyle A} sind demnach auch alle Potenzen A − k {\displaystyle A^{-k}} mit k ∈ N {\displaystyle k\in \mathbb {N} } wieder hermitesch.

Eine hermitesche Matrix A ∈ C n × n {\displaystyle A\in \mathbb {C} ^{n\times n}} ist stets selbstadjungiert, denn es gilt mit dem komplexen Standardskalarprodukt ⟨ ⋅ , ⋅ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle }

⟨ A x , y ⟩ = ( A x ) H y = x H A H y = x H A y = ⟨ x , A y ⟩ {\displaystyle \langle Ax,y\rangle =(Ax)^{\mathsf {H}}y=x^{\mathsf {H}}A^{\mathsf {H}}y=x^{\mathsf {H}}Ay=\langle x,Ay\rangle }

für alle Vektoren x , y ∈ C n {\displaystyle x,y\in \mathbb {C} ^{n}} . Es gilt auch die Umkehrung und jede komplexe selbstadjungierte Matrix ist hermitesch.

Die Eigenwerte einer hermiteschen Matrix A ∈ C n × n {\displaystyle A\in \mathbb {C} ^{n\times n}} , das heißt die Lösungen der Eigenwertgleichung A x = λ x {\displaystyle Ax=\lambda x} , sind stets reell. Ist nämlich λ ∈ C {\displaystyle \lambda \in \mathbb {C} } ein komplexer Eigenwert von A {\displaystyle A} mit zugehörigem Eigenvektor x ∈ C n {\displaystyle x\in \mathbb {C} ^{n}} , x ≠ 0 {\displaystyle x\neq 0} , dann gilt mit der Selbstadjungiertheit von A {\displaystyle A}

λ ⟨ x , x ⟩ = ⟨ x , λ x ⟩ = ⟨ x , A x ⟩ = ⟨ A x , x ⟩ = ⟨ λ x , x ⟩ = λ ¯ ⟨ x , x ⟩ {\displaystyle \lambda \langle x,x\rangle =\langle x,\lambda x\rangle =\langle x,Ax\rangle =\langle Ax,x\rangle =\langle \lambda x,x\rangle ={\bar {\lambda }}\langle x,x\rangle } .

Nachdem ⟨ x , x ⟩ ≠ 0 {\displaystyle \langle x,x\rangle \neq 0} für x ≠ 0 {\displaystyle x\neq 0} ist, muss λ = λ ¯ {\displaystyle \lambda ={\bar {\lambda }}} gelten und der Eigenwert λ {\displaystyle \lambda } damit reell sein.

Bei jeder hermiteschen Matrix A ∈ C n × n {\displaystyle A\in \mathbb {C} ^{n\times n}} stimmen die algebraischen und die geometrischen Vielfachheiten aller Eigenwerte überein. Ist nämlich λ {\displaystyle \lambda } ein Eigenwert von A {\displaystyle A} mit geometrischer Vielfachheit m {\displaystyle m} , dann existiert eine Orthonormalbasis { x 1 , … , x m } {\displaystyle \{x_{1},\ldots ,x_{m}\}} des Eigenraums von λ {\displaystyle \lambda } , welche durch { x m + 1 , … , x n } {\displaystyle \{x_{m+1},\ldots ,x_{n}\}} zu einer Orthonormalbasis des Gesamtraums C n {\displaystyle \mathbb {C} ^{n}} ergänzt werden kann. Mit der unitären Basistransformationsmatrix S = ( x 1 ∣ ⋯ ∣ x n ) {\displaystyle S=(x_{1}\mid \cdots \mid x_{n})} ergibt sich damit die transformierte Matrix

C = S − 1 A S = S H A S = ( λ I 0 0 X ) {\displaystyle C=S^{-1}AS=S^{\mathsf {H}}AS=\left({\begin{array}{c|c}\lambda I&0\\\hline 0&X\end{array}}\right)}

als Blockdiagonalmatrix mit den Blöcken λ I ∈ C m × m {\displaystyle \lambda I\in \mathbb {C} ^{m\times m}} und X ∈ C ( n − m ) × ( n − m ) {\displaystyle X\in \mathbb {C} ^{(n-m)\times (n-m)}} . Für die Einträge c j k {\displaystyle c_{jk}} von C {\displaystyle C} mit min { j , k } ≤ m {\displaystyle \min\{j,k\}\leq m} gilt nämlich mit der Selbstadjungiertheit von A {\displaystyle A} und der Orthonormalität der Basisvektoren x 1 , … , x n {\displaystyle x_{1},\ldots ,x_{n}}

c j k = ⟨ x j , A x k ⟩ = ⟨ A x j , x k ⟩ = λ ⟨ x j , x k ⟩ = λ δ j k {\displaystyle c_{jk}=\langle x_{j},Ax_{k}\rangle =\langle Ax_{j},x_{k}\rangle =\lambda \langle x_{j},x_{k}\rangle =\lambda \delta _{jk}} ,

wobei δ j k {\displaystyle \delta _{jk}} das Kronecker-Delta darstellt. Da x m + 1 , … , x n {\displaystyle x_{m+1},\ldots ,x_{n}} nach Voraussetzung keine Eigenvektoren zum Eigenwert λ {\displaystyle \lambda } von A {\displaystyle A} sind, kann λ {\displaystyle \lambda } kein Eigenwert von X {\displaystyle X} sein. Die Matrix C {\displaystyle C} besitzt daher nach der Determinantenformel für Blockmatrizen den Eigenwert λ {\displaystyle \lambda } genau mit algebraischer Vielfachheit m {\displaystyle m} und aufgrund der Ähnlichkeit der beiden Matrizen damit auch A {\displaystyle A} .^[1]

Nachdem bei einer hermiteschen Matrix A ∈ C n × n {\displaystyle A\in \mathbb {C} ^{n\times n}} algebraische und geometrische Vielfachheiten aller Eigenwerte übereinstimmen und da Eigenvektoren zu verschiedenen Eigenwerten stets linear unabhängig sind, kann aus Eigenvektoren von A {\displaystyle A} eine Basis des C n {\displaystyle \mathbb {C} ^{n}} gebildet werden. Daher ist eine hermitesche Matrix stets diagonalisierbar, das heißt, es gibt eine reguläre Matrix S ∈ C n × n {\displaystyle S\in \mathbb {C} ^{n\times n}} und eine Diagonalmatrix D ∈ C n × n {\displaystyle D\in \mathbb {C} ^{n\times n}} (sogar D ∈ R n × n {\displaystyle D\in \mathbb {R} ^{n\times n}} ), sodass

S − 1 A S = D {\displaystyle S^{-1}AS=D}

gilt. Die Matrix S = ( x 1 ∣ ⋯ ∣ x n ) {\displaystyle S=(x_{1}\mid \cdots \mid x_{n})} hat dabei die Eigenvektoren x 1 , … , x n {\displaystyle x_{1},\ldots ,x_{n}} als Spalten und die Matrix D = diag ⁡ ( λ 1 , … , λ n ) {\displaystyle D=\operatorname {diag} (\lambda _{1},\ldots ,\lambda _{n})} hat die zu diesen Eigenvektoren jeweils zugehörigen Eigenwerte λ 1 , … , λ n {\displaystyle \lambda _{1},\ldots ,\lambda _{n}} auf der Diagonale. Durch eine Permutation der Eigenvektoren kann dabei die Reihenfolge der Diagonaleinträge von D {\displaystyle D} beliebig gewählt werden. Daher sind zwei hermitesche Matrizen genau dann zueinander ähnlich, wenn sie die gleichen Eigenwerte besitzen. Weiterhin sind zwei hermitesche Matrizen genau dann simultan diagonalisierbar, wenn sie kommutieren.

Die Eigenvektoren x j , x k {\displaystyle x_{j},x_{k}} zu zwei verschiedenen Eigenwerten λ j ≠ λ k {\displaystyle \lambda _{j}\neq \lambda _{k}} einer hermiteschen Matrix A ∈ C n × n {\displaystyle A\in \mathbb {C} ^{n\times n}} sind stets orthogonal. Es gilt nämlich wiederum mit der Selbstadjungiertheit von A {\displaystyle A}

λ j ⟨ x j , x k ⟩ = ⟨ λ j x j , x k ⟩ = ⟨ A x j , x k ⟩ = ⟨ x j , A x k ⟩ = ⟨ x j , λ k x k ⟩ = λ k ⟨ x j , x k ⟩ {\displaystyle \lambda _{j}\langle x_{j},x_{k}\rangle =\langle \lambda _{j}x_{j},x_{k}\rangle =\langle Ax_{j},x_{k}\rangle =\langle x_{j},Ax_{k}\rangle =\langle x_{j},\lambda _{k}x_{k}\rangle =\lambda _{k}\langle x_{j},x_{k}\rangle } .

Da λ j {\displaystyle \lambda _{j}} und λ k {\displaystyle \lambda _{k}} als verschieden angenommen wurden, folgt daraus dann ⟨ x j , x k ⟩ = 0 {\displaystyle \langle x_{j},x_{k}\rangle =0} . Daher kann aus Eigenvektoren von A {\displaystyle A} eine Orthonormalbasis des C n {\displaystyle \mathbb {C} ^{n}} gebildet werden. Damit ist eine hermitesche Matrix sogar unitär diagonalisierbar, das heißt, es gibt eine unitäre Matrix S {\displaystyle S} , mit der

S H A S = D {\displaystyle S^{\mathsf {H}}AS=D}

gilt. Diese Darstellung bildet die Grundlage für die Hauptachsentransformation und ist die einfachste Version des Spektralsatzes.

Aufgrund der Diagonalisierbarkeit einer hermiteschen Matrix A ∈ C n × n {\displaystyle A\in \mathbb {C} ^{n\times n}} gilt für ihre Spur

spur ⁡ ( A ) = λ 1 + … + λ n {\displaystyle \operatorname {spur} (A)=\lambda _{1}+\ldots +\lambda _{n}}

und für ihre Determinante entsprechend

det ( A ) = λ 1 ⋅ … ⋅ λ n {\displaystyle \det(A)=\lambda _{1}\cdot \ldots \cdot \lambda _{n}} .

Spur und Determinante einer hermiteschen Matrix sind demnach stets reell. Der Rang einer hermiteschen Matrix ist gleich der Anzahl der Eigenwerte ungleich Null, also mit dem Kronecker-Delta

rang ⁡ ( A ) = n − ( δ λ 1 , 0 + … + δ λ n , 0 ) {\displaystyle \operatorname {rang} (A)=n-\left(\delta _{\lambda _{1},0}+\ldots +\delta _{\lambda _{n},0}\right)} .

Eine hermitesche Matrix ist genau dann invertierbar, wenn keiner ihrer Eigenwerte Null ist. Die Spektralnorm einer hermiteschen Matrix ist

‖ A ‖ 2 = max { | λ 1 | , … , | λ n | } {\displaystyle \|A\|_{2}=\max\{|\lambda _{1}|,\ldots ,|\lambda _{n}|\}}

und damit gleich dem Spektralradius der Matrix. Die Frobeniusnorm ergibt sich aufgrund der Normalität entsprechend zu

‖ A ‖ F = λ 1 2 + … + λ n 2 {\displaystyle \|A\|_{F}={\sqrt {\lambda _{1}^{2}+\ldots +\lambda _{n}^{2}}}} .

Nach dem Satz von Courant-Fischer liefert der Rayleigh-Quotient Abschätzungen für den kleinsten und den größten Eigenwert einer hermiteschen Matrix A ∈ C n × n {\displaystyle A\in \mathbb {C} ^{n\times n}} der Form

min { λ 1 , … , λ n } ≤ ⟨ x , A x ⟩ ⟨ x , x ⟩ ≤ max { λ 1 , … , λ n } {\displaystyle \min\{\lambda _{1},\ldots ,\lambda _{n}\}\leq {\frac {\langle x,Ax\rangle }{\langle x,x\rangle }}\leq \max\{\lambda _{1},\ldots ,\lambda _{n}\}}

für alle x ∈ C n {\displaystyle x\in \mathbb {C} ^{n}} mit x ≠ 0 {\displaystyle x\neq 0} . Gleichheit gilt dabei jeweils genau dann, wenn x {\displaystyle x} ein Eigenvektor zum jeweiligen Eigenwert ist. Der kleinste und der größte Eigenwert einer hermiteschen Matrix kann demnach durch Minimierung beziehungsweise Maximierung des Rayleigh-Quotienten ermittelt werden. Eine weitere Möglichkeit zur Eigenwertabschätzung bieten die Gerschgorin-Kreise, die für hermitesche Matrizen die Form von Intervallen haben.

Ist A ∈ C n × n {\displaystyle A\in \mathbb {C} ^{n\times n}} eine hermitesche Matrix, dann wird der Ausdruck

Q A ( x ) = x H A x = ⟨ x , A x ⟩ {\displaystyle Q_{A}(x)=x^{\mathsf {H}}Ax=\langle x,Ax\rangle }

mit x ∈ C n {\displaystyle x\in \mathbb {C} ^{n}} quadratische Form von A {\displaystyle A} genannt. Je nachdem ob Q A ( x ) {\displaystyle Q_{A}(x)} größer als, größer gleich, kleiner als oder kleiner gleich null für alle x ≠ 0 {\displaystyle x\neq 0} ist, heißt die Matrix A {\displaystyle A} positiv definit, positiv semidefinit, negativ definit oder negativ semidefinit. Kann Q A ( x ) {\displaystyle Q_{A}(x)} sowohl positive als auch negative Vorzeichen annehmen, so heißt A {\displaystyle A} indefinit. Die Definitheit einer hermiteschen Matrix kann anhand der Vorzeichen ihrer Eigenwerte ermittelt werden. Sind alle Eigenwerte positiv, ist die Matrix positiv definit, sind sie alle negativ, ist die Matrix negativ definit und so weiter. Das Tripel bestehend aus den Anzahlen der positiven, negativen und Null-Eigenwerte einer hermiteschen Matrix wird Signatur der Matrix genannt. Nach dem Trägheitssatz von Sylvester bleibt die Signatur einer hermiteschen Matrix unter Kongruenztransformationen erhalten.

Ist V {\displaystyle V} ein n {\displaystyle n} -dimensionaler komplexer Vektorraum, dann lässt sich jede Sesquilinearform b : V × V → C {\displaystyle b\colon V\times V\to \mathbb {C} } nach Wahl einer Basis { v 1 , … , v n } {\displaystyle \{v_{1},\ldots ,v_{n}\}} für V {\displaystyle V} durch die Darstellungsmatrix

A b = ( b ( v j , v k ) ) ∈ C n × n {\displaystyle A_{b}=(b(v_{j},v_{k}))\in \mathbb {C} ^{n\times n}}

beschreiben. Ist die Sesquilinearform hermitesch, gilt also b ( v , w ) = b ( w , v ) ¯ {\displaystyle b(v,w)={\overline {b(w,v)}}} für alle v , w ∈ V {\displaystyle v,w\in V} , dann ist auch die Darstellungsmatrix A b {\displaystyle A_{b}} hermitesch. Umgekehrt definiert jede hermitesche Matrix A ∈ C n × n {\displaystyle A\in \mathbb {C} ^{n\times n}} mittels

b A ( x , y ) = x H A y {\displaystyle b_{A}(x,y)=x^{\mathsf {H}}Ay}

eine hermitesche Sesquilinearform b A : C n × C n → C {\displaystyle b_{A}\colon \mathbb {C} ^{n}\times \mathbb {C} ^{n}\to \mathbb {C} } . Ist eine hermitesche Matrix A ∈ C n × n {\displaystyle A\in \mathbb {C} ^{n\times n}} zudem positiv definit, dann stellt b A {\displaystyle b_{A}} ein Skalarprodukt im unitären Raum C n {\displaystyle \mathbb {C} ^{n}} dar.

Ist ( V , ⟨ ⋅ , ⋅ ⟩ ) {\displaystyle (V,\langle \cdot ,\cdot \rangle )} ein n {\displaystyle n} -dimensionaler komplexer Skalarproduktraum, dann lässt sich jede lineare Abbildung f : V → V {\displaystyle f\colon V\to V} nach Wahl einer Orthonormalbasis { e 1 , … , e n } {\displaystyle \{e_{1},\ldots ,e_{n}\}} für V {\displaystyle V} durch die Abbildungsmatrix

A f = ( a j k ) ∈ C n × n {\displaystyle A_{f}=(a_{jk})\in \mathbb {C} ^{n\times n}}

darstellen, wobei f ( e k ) = a 1 k e 1 + … + a n k e n {\displaystyle f(e_{k})=a_{1k}e_{1}+\ldots +a_{nk}e_{n}} für k = 1 , … , n {\displaystyle k=1,\ldots ,n} ist. Die Abbildungsmatrix A f {\displaystyle A_{f}} ist nun genau dann hermitesch, wenn die Abbildung f {\displaystyle f} selbstadjungiert ist. Dies folgt aus

⟨ f ( v ) , w ⟩ = ( A f x ) H y = x H A f H y = x H A f y = x H ( A f y ) = ⟨ v , f ( w ) ⟩ {\displaystyle \langle f(v),w\rangle =(A_{f}x)^{\mathsf {H}}y=x^{\mathsf {H}}A_{f}^{\mathsf {H}}y=x^{\mathsf {H}}A_{f}y=x^{\mathsf {H}}(A_{f}y)=\langle v,f(w)\rangle } ,

wobei v = x 1 e 1 + … + x n e n {\displaystyle v=x_{1}e_{1}+\ldots +x_{n}e_{n}} und w = y 1 e 1 + … + y n e n {\displaystyle w=y_{1}e_{1}+\ldots +y_{n}e_{n}} sind.

Ist wieder ( V , ⟨ ⋅ , ⋅ ⟩ ) {\displaystyle (V,\langle \cdot ,\cdot \rangle )} ein n {\displaystyle n} -dimensionaler komplexer Skalarproduktraum und ist U {\displaystyle U} ein m {\displaystyle m} -dimensionaler Untervektorraum von V {\displaystyle V} , wobei x 1 , … , x m {\displaystyle x_{1},\ldots ,x_{m}} die Koordinatenvektoren einer Orthonormalbasis für U {\displaystyle U} sind, dann ist die Orthogonalprojektionsmatrix auf diesen Untervektorraum

A U = x 1 x 1 H + … + x m x m H ∈ C n × n {\displaystyle A_{U}=x_{1}x_{1}^{\mathsf {H}}+\ldots +x_{m}x_{m}^{\mathsf {H}}\in \mathbb {C} ^{n\times n}}

als Summe hermitescher Rang-Eins-Matrizen ebenfalls hermitesch. Auch die Orthogonalprojektionsmatrix auf den Komplementärraum U ⊥ {\displaystyle U^{\bot }} ist aufgrund der Darstellung A U ⊥ = I − A U {\displaystyle A_{U^{\bot }}=I-A_{U}} stets hermitesch. Mit Hilfe der Projektionsmatrizen A U {\displaystyle A_{U}} und A U ⊥ {\displaystyle A_{U^{\perp }}} lässt sich jeder Vektor v ∈ V {\displaystyle v\in V} in zueinander orthogonale Vektoren u ∈ U {\displaystyle u\in U} und u ⊥ ∈ U ⊥ {\displaystyle u^{\perp }\in U^{\perp }} zerlegen. Auch die Spiegelungsmatrix I − 2 A U {\displaystyle I-2A_{U}} an einem Untervektorraum U {\displaystyle U} ist stets hermitesch.

Das Auffinden der Lösung eines linearen Gleichungssystems A x = b {\displaystyle Ax=b} mit hermitescher Koeffizientenmatrix A {\displaystyle A} vereinfacht sich, wenn man die Hermitizität der Koeffizientenmatrix ausnutzt. Auf Grund der Hermitizität lässt sich die Koeffizientenmatrix A {\displaystyle A} als Produkt

A = L D L H {\displaystyle A=LDL^{\mathsf {H}}}

mit einer unteren Dreiecksmatrix L {\displaystyle L} mit lauter Einsen auf der Diagonale und einer Diagonalmatrix D {\displaystyle D} schreiben. Diese Zerlegung wird beispielsweise bei der Cholesky-Zerlegung positiv definiter hermitescher Matrizen verwendet, um die Lösung des Gleichungssystems zu berechnen. Beispiele moderner Verfahren zur numerischen Lösung großer linearer Gleichungssysteme mit dünnbesetzter hermitescher Koeffizientenmatrix sind das CG-Verfahren und das MINRES-Verfahren.

Jede quadratische Matrix A ∈ C n × n {\displaystyle A\in \mathbb {C} ^{n\times n}} kann mittels der Polarzerlegung auch als Produkt

A = Q P {\displaystyle A=QP}

einer unitären Matrix Q ∈ C n × n {\displaystyle Q\in \mathbb {C} ^{n\times n}} und einer positiv semidefiniten hermiteschen Matrix P ∈ C n × n {\displaystyle P\in \mathbb {C} ^{n\times n}} faktorisiert werden. Die Matrix P {\displaystyle P} ergibt sich dabei als die Quadratwurzel von A H A {\displaystyle A^{\mathsf {H}}A} . Ist A {\displaystyle A} regulär, so ist P {\displaystyle P} positiv definit und die Polarzerlegung eindeutig mit Q = A P − 1 {\displaystyle Q=AP^{-1}} .

Die in der Quantenmechanik verwendeten Pauli-Matrizen

σ 1 = σ x = ( 0 1 1 0 ) , σ 2 = σ y = ( 0 − i i 0 ) , σ 3 = σ z = ( 1 0 0 − 1 ) {\displaystyle \sigma _{1}=\sigma _{x}={\begin{pmatrix}0&1\\1&0\end{pmatrix}},\quad \sigma _{2}=\sigma _{y}={\begin{pmatrix}0&-\mathrm {i} \\\mathrm {i} &0\end{pmatrix}},\quad \sigma _{3}=\sigma _{z}={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}}

sind hermitesch und spurfrei. Die Pauli-Matrizen werden unter anderem zur Beschreibung von Isospin-Symmetrien verwendet. Die Gell-Mann-Matrizen sind hermitesche ( 3 × 3 ) {\displaystyle (3\times 3)} -Matrizen, die in der Quantenchromodynamik eingesetzt werden.

• Hermitescher Operator, eine Verallgemeinerung hermitescher Matrizen auf unendlichdimensionale Räume
• Selbstadjungierter Operator, eine weitere Verallgemeinerung hermitescher Matrizen auf unendlichdimensionale Räume

• Gerd Fischer: Lineare Algebra. (Eine Einführung für Studienanfänger). 13. durchgesehene Auflage. Vieweg, Braunschweig u. a. 2002, ISBN 3-528-97217-3.
• Roger A. Horn, Charles R. Johnson: Matrix Analysis. Cambridge University Press, 2012, ISBN 0-521-46713-6. 
• Hans-Rudolf Schwarz, Norbert Köckler: Numerische Mathematik. 5. überarbeitete Auflage. Teubner, Stuttgart u. a. 2004, ISBN 3-519-42960-8.

1. ↑ Howard Anton, Chris Rorres: Elementary Linear Algebra: Applications Version. John Wiley & Sons, 2010, S. 404–405. 

• A. L. Onishchik: Hermitian matrix. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org). 
• Eric W. Weisstein: Hermitian matrix. In: MathWorld (englisch).
• matte: Hermitian matrix. In: PlanetMath. (englisch)