Adjungierte Matrix

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Die adjungierte Matrix, hermitesch transponierte Matrix oder transponiert-konjugierte Matrix ist in der Mathematik diejenige Matrix, die durch Transponierung und Konjugation einer gegebenen komplexen Matrix entsteht. Anschaulich ergibt sich die adjungierte Matrix durch Spiegelung der Ausgangsmatrix an ihrer Hauptdiagonale und anschließende komplexe Konjugation aller Matrixeinträge. Die Umwandlung einer Matrix in ihre adjungierte Matrix wird Adjungierung der Matrix genannt.

Die Adjungierungsabbildung, die einer Matrix ihre Adjungierte zuordnet, ist stets bijektiv, linear und selbstinvers. Bezüglich der Matrizenaddition stellt sie einen Isomorphismus dar, bezüglich der Matrizenmultiplikation hingegen einen Antiisomorphismus, das heißt, die Reihenfolge bei der Multiplikation von Matrizen kehrt sich nach Adjungierung um. Viele Kenngrößen adjungierter Matrizen, wie Spur, Determinante und Eigenwerte, sind gerade die komplex Konjugierten der jeweiligen Kenngrößen der Ausgangsmatrizen.

In der linearen Algebra wird die adjungierte Matrix unter anderem zur Charakterisierung spezieller Klassen von Matrizen und bei Matrixzerlegungen eingesetzt. Die adjungierte Matrix ist auch die Abbildungsmatrix der adjungierten Abbildung zwischen zwei endlichdimensionalen komplexen Skalarprodukträumen bezüglich der jeweiligen Orthonormalbasen.

Definition[Bearbeiten]

Ist A = (a_{ij}) \in \C^{m \times n} eine komplexe Matrix, dann ist die zugehörige adjungierte Matrix A^H \in \C^{n \times m} definiert als

A^H = {\overline A}^T = \overline{A^T} = \begin{pmatrix} \bar{a}_{11} & \dots & \bar{a}_{m1} \\ \vdots & & \vdots \\ \bar{a}_{1n} & \dots & \bar{a}_{mn} \end{pmatrix},

wobei A^T die transponierte Matrix und \bar{A} die konjugierte Matrix von A sind. Die adjungierte Matrix A^H ergibt sich also dadurch, dass die Rollen von Zeilen und Spalten der Ausgangsmatrix A vertauscht werden und alle Einträge komplex konjugiert werden. Die Reihenfolge, in der transponiert und konjugiert wird, ist dabei unerheblich.

Notation[Bearbeiten]

Das hochgestellte H in der Notation A^H steht für den Nachnamen des französischen Mathematikers Charles Hermite. Hermite beschäftigte sich im Jahr 1855 mit Matrizen, die gleich ihrer Adjungierten sind, sogenannten hermiteschen Matrizen, und zeigte, dass solche Matrizen viele Eigenschaften mit reellen symmetrischen Matrizen gemeinsam haben.[1]

Andere Schreibweisen für die adjungierte Matrix sind \operatorname{adj}(A), A^\ast, A^{+} und A^\dagger. Die Notation \operatorname{adj}(A) ist jedoch nicht eindeutig, da sie auch für die Adjunkte verwendet wird. Mit A^\ast wird gelegentlich auch die konjugierte Matrix bezeichnet und A^{+} steht auch für die Pseudoinverse. Die Notation A^\dagger wird vor allem in der Physik, insbesondere in der Quantenmechanik, verwendet.

Beispiele[Bearbeiten]

Durch Adjungierung einer (1 \times 3)-Matrix (eines Zeilenvektors) entsteht eine (3 \times 1)-Matrix (ein Spaltenvektor) und umgekehrt, jeweils mit komplex konjugierten Einträgen:

\begin{pmatrix} i & 1+i & 2-i \end{pmatrix}^H = \begin{pmatrix} -i \\ 1-i \\ 2+i \end{pmatrix} , \quad \begin{pmatrix} 1 \\ 2-2i \\ 3i \end{pmatrix}^H = \begin{pmatrix} 1 & 2+2i & -3i \end{pmatrix}

Durch Adjungierung einer (3 \times 2)-Matrix entsteht eine (2 \times 3)-Matrix, bei der die erste Zeile der ersten Spalte der Ausgangsmatrix und die zweite Zeile der zweiten Spalte der Ausgangsmatrix jeweils nach komplexer Konjugation entspricht:

\begin{pmatrix} 1 & 2-i \\ 3i & 4-2i \\ 5+i & -6i \end{pmatrix}^H = \begin{pmatrix} 1 & -3i & 5-i \\ 2+i & 4+2i & 6i \end{pmatrix}

Für eine komplexe Matrix mit ausschließlich reellen Einträgen ist die Adjungierte gerade die Transponierte.

Eigenschaften[Bearbeiten]

Die nachfolgenden Eigenschaften sind direkte Folgerungen aus den entsprechenden Eigenschaften transponierter und konjugierter Matrizen.

Summe[Bearbeiten]

Für die Adjungierte der Summe zweier Matrizen A,B \in \C^{m \times n} gleicher Größe gilt

(A+B)^H = A^H + B^H.

Allgemein ergibt sich die Summe von n Matrizen A_1, \ldots , A_n \in \C^{m \times n} gleicher Größe zu

(A_1 + A_2 + \ldots + A_n)^H = A^H_1 + A^H_2 + \ldots + A^H_n.

Die Adjungierte einer Summe von Matrizen ist demnach gleich der Summe der Adjungierten.

Skalarmultiplikation[Bearbeiten]

Für die Adjungierte des Produkts einer Matrix A \in \C^{m \times n} mit einem Skalar c \in \C gilt

(c \cdot A)^H = \bar{c} \cdot A^H.

Die Adjungierte des Produkts einer Matrix mit einem Skalar ist also gleich dem Produkt des konjugierten Skalars mit der adjungierten Matrix.

Zweifache Adjungierung[Bearbeiten]

Für die Adjungierte der Adjungierten einer Matrix A \in \C^{m \times n} gilt

\left( A^H \right)^H = A.

Durch zweifache Adjungierung ergibt sich demnach stets wieder die Ausgangsmatrix.

Produkt[Bearbeiten]

Für die Adjungierte des Produkts einer Matrix A \in \C^{m \times n} mit einer Matrix B \in \C^{n \times l} gilt

(A \cdot B)^H = B^H \cdot A^H.

Allgemein ergibt sich für das Produkt von n Matrizen A_1, \ldots , A_n passender Größe

(A_1 \cdot A_2 \cdot \ldots \cdot A_n)^H = A^H_n \cdot \ldots \cdot A^H_2 \cdot A^H_1.

Die Adjungierte eines Produkts von Matrizen ist demnach gleich dem Produkt der Adjungierten, jedoch in umgekehrter Reihenfolge.

Inverse[Bearbeiten]

Die Adjungierte einer regulären Matrix A \in \C^{n \times n} ist ebenfalls stets regulär. Für die Adjungierte der Inversen einer regulären Matrix gilt dabei

\left( A^{-1} \right)^H = \left( A^H \right)^{-1}.

Die Adjungierte der inversen Matrix ist demnach gleich der Inversen der adjungierten Matrix. Diese Matrix wird gelegentlich auch mit A^{-H} bezeichnet.[2]

Exponential und Logarithmus[Bearbeiten]

Für das Matrixexponential der Adjungierten einer quadratischen Matrix A \in \C^{n \times n} gilt

\exp(A^H) = (\exp A)^H.

Entsprechend gilt für den Matrixlogarithmus der Adjungierten einer regulären komplexen Matrix

\ln(A^H) = (\ln A)^H.

Adjungierungsabbildung[Bearbeiten]

Die Abbildung

\C^{m \times n} \to \C^{n \times m}, \quad A \mapsto A^H,

die einer Matrix ihre Adjungierte zuordnet, besitzt aufgrund der vorstehenden Gesetzmäßigkeiten die folgenden Eigenschaften:

Blockmatrizen[Bearbeiten]

Die Adjungierte einer Blockmatrix mit r Zeilen- und s Spaltenpartitionen ist durch


\begin{pmatrix} A_{11} & \cdots & A_{1s} \\ \vdots & & \vdots \\ A_{r1} & \cdots & A_{rs} \end{pmatrix}^H = 
\begin{pmatrix} A_{11}^H & \cdots & A_{r1}^H \\ \vdots & & \vdots \\ A_{1s}^H & \cdots & A_{rs}^H \end{pmatrix}

gegeben. Sie entsteht durch Spiegelung aller Blöcke an der Hauptdiagonale und nachfolgende Adjungierung jedes Blocks.

Kenngrößen[Bearbeiten]

Rang[Bearbeiten]

Für eine Matrix A \in \C^{m \times n} ist der Rang der adjungierten Matrix gleich dem der Ausgangsmatrix, das heißt

\operatorname{rang}(A^H) = \operatorname{rang}(A).

Das Bild der Abbildung x \mapsto A x wird dabei von den Spaltenvektoren von A aufgespannt, während das Bild der Abbildung x \mapsto A^H x von den Zeilenvektoren von A aufgespannt wird. Die Dimensionen dieser beiden Bilder stimmen stets überein.

Spur[Bearbeiten]

Für eine quadratische Matrix A \in \C^{n \times n} ist die Spur (die Summe der Hauptdiagonalelemente) der adjungierten Matrix gleich der konjugierten Spur der Ausgangsmatrix, das heißt

\operatorname{spur}(A^H) = \overline{\operatorname{spur}(A)},

denn die Diagonalelemente der adjungierten Matrix stimmen mit denen der Ausgangsmatrix bis auf komplexe Konjugation überein.

Determinante[Bearbeiten]

Für eine quadratische Matrix A \in \C^{n \times n} ist die Determinante der adjungierten Matrix gleich der konjugierten Determinante der Ausgangsmatrix, das heißt

\det(A^H) = \overline{\det(A)}.

Dies folgt aus der Leibniz-Formel für Determinanten über

\det(A) = \sum_{\sigma \in S_n} \left(\operatorname{sgn}(\sigma) a_{1, \sigma(1)} \cdots a_{n, \sigma(n)} \right) = \overline{\sum_{\sigma \in S_n} \left(\operatorname{sgn}(\sigma) \bar{a}_{\sigma(1), 1} \cdots \bar{a}_{\sigma(n), n} \right)} = \overline{\det(A^H)},

wobei die Summe über alle Permutationen der symmetrischen Gruppe S_n läuft und \operatorname{sgn}(\sigma) das Vorzeichen der Permutation \sigma bezeichnet.

Spektrum[Bearbeiten]

Für eine quadratische Matrix A \in \C^{n \times n} stimmt aufgrund der vorstehenden Determinantenformel auch das charakteristische Polynom der adjungierten Matrix mit dem der Ausgangsmatrix bis auf komplexe Konjugation überein, denn

\chi_{A^H}(\lambda) = \det(\lambda I - A^H) = \overline{\det((\lambda I - A^H)^H)} = \overline{\det(\bar\lambda I - A)} = \overline{\chi_{A}(\bar\lambda)}.

Die Eigenwerte von A^H sind demnach gerade die komplex Konjugierten der Eigenwerte von A. Auch die zugehörigen Eigenvektoren können komplex konjugiert gewählt werden.

Normen[Bearbeiten]

Die euklidische Norm eines komplexen Vektors x \in \C^n ist durch

\| x \|_2 = \sqrt{x^H x}

gegeben. Für die Frobeniusnorm und die Spektralnorm der Adjungierten einer Matrix A \in \C^{m \times n} gilt

\| A^H \|_F = \| A \|_F   und   \| A^H \|_2 = \| A \|_2.

Die Zeilensummen- und die Spaltensummennorm der Adjungierten und der Ausgangsmatrix stehen folgendermaßen in Beziehung:

\| A^H \|_\infty = \| A \|_1   und   \| A^H \|_1 = \| A \|_\infty.

Skalarprodukte[Bearbeiten]

Das Standardskalarprodukt \langle \cdot, \cdot \rangle zweier komplexer Vektoren x,y \in \C^n ist durch

\langle x,y \rangle = x^H y

gegeben. Bezüglich des Standardskalarprodukts weisen eine Matrix A \in \C^{m \times n} und ihre Adjungierte die Verschiebungseigenschaft

\langle A x,y \rangle = \langle x,A^H y \rangle

für alle Vektoren x \in \C^n und y \in \C^m auf. Hierbei steht auf der linken Seite das Standardskalarprodukt im \C^m und auf der rechten Seite das Standardskalarprodukt im \C^n. Für das Frobenius-Skalarprodukt zweier Matrizen A,B \in \C^{m \times n} gilt

\langle A, B \rangle_F = \operatorname{spur}(A^H B) = \operatorname{spur}(B A^H) = \overline{\operatorname{spur}(A B^H)} = \overline{\langle A^H, B^H \rangle_F},

da Matrizen unter der Spur zyklisch vertauschbar sind.

Verwendung[Bearbeiten]

Spezielle Matrizen[Bearbeiten]

Die adjungierte Matrix wird in der linearen Algebra unter anderem bei folgenden Definitionen verwendet:

  • Eine hermitesche Matrix ist eine komplexe quadratische Matrix, die gleich ihrer Adjungierten ist, das heißt A^H = A. Solche Matrizen werden auch als selbstadjungiert bezeichnet.
  • Eine schiefhermitesche Matrix ist eine komplexe quadratische Matrix, die gleich ihrer negativen Adjungierten ist, das heißt A^H = -A.
  • Eine unitäre Matrix ist eine komplexe quadratische Matrix, deren Adjungierte gleich ihrer Inversen ist, das heißt A^H = A^{-1}.
  • Eine (komplexe) normale Matrix ist eine komplexe quadratische Matrix, die mit ihrer Adjungierten kommutiert, das heißt A^H A = A A^H.
  • Für eine beliebige komplexe Matrix sind die beiden Gram-Matrizen A^H A und A A^H stets hermitesch und positiv semidefinit.
  • Eine komplexe Matrix besitzt genau dann ausschließlich reelle Einträge, wenn ihre Adjungierte gleich ihrer Transponierten ist, das heißt wenn A^H = A^T gilt.

Matrixzerlegungen[Bearbeiten]

Die adjungierte Matrix wird auch bei der Schur-Zerlegung einer quadratischen Matrix A \in \C^{n \times n}

A = U \, R \, U^H

in eine unitäre Matrix U \in \C^{n \times n}, eine obere Dreiecksmatrix R \in \C^{n \times n} und die Adjunigerte von U sowie bei der Singulärwertzerlegung einer Matrix A \in \C^{m \times n}

A = U \, \Sigma \, V^H

in eine unitäre Matrix U \in \C^{m \times m}, eine reelle Diagonalmatrix \Sigma \in \R^{m \times n} und die Adjungierte einer unitären Matrix V \in \C^{n \times n} verwendet.

Adjungierte Abbildungen[Bearbeiten]

Sind V und W endlichdimensionale komplexe Skalarprodukträume, dann wird die zu einer gegebenen linearen Abbildung f \colon V \to W zugehörige adjungierte Abbildung f^\ast \colon W \to V durch die Beziehung

\langle f(v), w \rangle = \langle v, f^\ast(w) \rangle

für alle v \in V und w \in W charakterisiert. Ist weiter \{ v_1, \ldots, v_m \} eine Orthonormalbasis von V, \{ w_1, \ldots , w_n \} eine Orthonormalbasis von W und A_f \in \C^{n \times m} die Abbildungsmatrix von f bezüglich dieser Basen, dann ist die Abbildungsmatrix A_{f^\ast} \in \C^{m \times n}von f^\ast bezüglich dieser Basen durch

A_{f^\ast} = A_f^H

gegeben. Die Abbildungsmatrix der adjungierten Abbildung ist also gerade die Adjungierte der Abbildungsmatrix der Ausgangsabbildung. In der Funktionalanalysis wird dieses Konzept auf adjungierte Operatoren zwischen unendlichdimensionalen Hilberträumen verallgemeinert.

Siehe auch[Bearbeiten]

Literatur[Bearbeiten]

Einzelnachweise[Bearbeiten]

  1.  Charles Hermite: Remarque sur un théorème de M. Cauchy. In: Comptes Rendus des Séances de l'Académie des Sciences. Nr. 41, Paris 1855, S. 181–183.
  2.  G. W. Stewart: Matrix Algorithms. Volume 1: Basic Decompositions, SIAM, 1998, S. 38.

Weblinks[Bearbeiten]