Konjugation (Mathematik)

Der grüne Zeiger im oberen Bildteil beschreibt die komplexe Zahl $z=a+b\mathrm{i}$ in der komplexen Zahlenebene (Gaußsche Zahlenebene). Die komplexe Konjugierte $\overline{z}=a-b\mathrm{i}$ entsteht durch Spiegelung an der x-Achse (unterer grüner Zeiger). Die blauen Linien sollen die reellen und imaginären Anteile andeuten.

In der Mathematik bezeichnet man als komplexe Konjugation die Abbildung

$\mathbb{ℂ}\to \mathbb{ℂ},z=a+b\cdot \mathrm{i}\mapsto \overline{z}=a-b\cdot \mathrm{i}$

mit $a,b\in \mathbb{ℝ}$ im Körper der komplexen Zahlen. Sie ist ein Körperautomorphismus von $\mathbb{ℂ}$, also mit der Addition und Multiplikation verträglich:

$\overline{y+z}=\overline{y}+\overline{z},\overline{y\cdot z}=\overline{y}\cdot \overline{z}$.

Die Zahl $\overline{z}=a-b\cdot \mathrm{i}$ wird als die zu $z=a+b\cdot \mathrm{i}$ komplex konjugierte bzw. konjugiert komplexe Zahl oder kurz als Konjugierte bezeichnet.

Allgemeines

In der Exponentialform ist die Konjugierte der Zahl

$z=r{e}^{\mathrm{i}\phi }=r(\cos \phi +\mathrm{i}\sin \phi )$

die Zahl

$\overline{z}=r{e}^{-\mathrm{i}\phi }=r(\cos \phi -\mathrm{i}\sin \phi ).$

Sie hat also bei unverändertem Betrag den im Vorzeichen entgegengesetzten Winkel von $z$. Man kann die Konjugation in der komplexen Zahlenebene also als die Spiegelung an der reellen Achse identifizieren. Insbesondere werden bei der Konjugation genau die reellen Zahlen wieder auf sich selbst abgebildet.

Schreibweisen

Eine alternative Schreibweise für $\bar{z}$ ist $z^{*}$, welche vor allem in der Physik, genauer in der Quantenmechanik, gebräuchlich ist (mit ${\psi }^{*}(\overrightarrow{x},t)$ wird die zu $\psi (\overrightarrow{x},t)$ konjugierte Wellenfunktion bezeichnet). Diese Schreibweise wird auch bei adjungierten Matrizen $A^{*}:=\stackrel{T}{\stackrel{‾}{A}}$ gebraucht, für die in der Quantenmechanik wiederum die Schreibweise $A^{†}$ gebräuchlich ist.

Rechenregeln

Für alle komplexen Zahlen $z_1,z_2,z=a+b\mathrm{i}\in \mathbb{ℂ}$ gilt:

• $a=\mathrm{R}\mathrm{e}(z)=\frac{1}{2}(z+\bar{z})$

• $b=\mathrm{I}\mathrm{m}(z)=\frac{1}{2\mathrm{i}}(z-\bar{z})$

• $\overline{\stackrel{‾}{z}}=z$

• $z\in \mathbb{ℝ}⟺\bar{z}=z$

• $z\cdot \bar{z}=|z{|}^2=a^2+b^2$

• $\overline{z_1+z_2}={\bar{z}}_1+{\bar{z}}_2$

• $\overline{z_1\cdot z_2}={\bar{z}}_1\cdot {\bar{z}}_2$

• $\overline{\left(\frac{z_1}{z_2}\right)}=\frac{{\bar{z}}_1}{{\bar{z}}_2}$

• $|z|=|\bar{z}|$

• $\exp (\bar{z})=\overline{\exp (z)}$

• $\log (\bar{z})=\overline{\log (z)}$ für $z\ne 0$

• $\overline{\phi (z)}=\phi (\bar{z})$ gilt allgemein für jede holomorphe Funktion $\phi$, deren Einschränkung auf die reelle Achse reellwertig ist.

Anwendung

Mit Hilfe der Konjugation können die Inverse und auch der Quotient komplexer Zahlen bequem angegeben werden:

• Zu $z\in \mathbb{ℂ}$ mit $z\ne 0$ ist

$z^{-1}=\frac{1}{z}=\frac{1}{z}\frac{\overline{z}}{\overline{z}}=\frac{\overline{z}}{|z{|}^2}$

das multiplikativ Inverse.

• Für die Division zweier komplexer Zahlen erhalten wir:

$\frac{y}{z}=\frac{y}{z}\frac{\overline{z}}{\overline{z}}=\frac{y\overline{z}}{|z{|}^2}$

oder ausführlicher:

$\frac{a+b\mathrm{i}}{c+d\mathrm{i}}=\frac{ac+bd}{c^2+d^2}+\frac{bc-ad}{c^2+d^2}\mathrm{i}.$

Komplexe Konjugation bei Matrizen

Die Konjugierte einer Matrix ist die Matrix, deren Komponenten die komplex konjugierten Komponenten der ursprünglichen Matrix sind. Die Transposition einer zuvor komplex konjugierten Matrix wird hermitesche Transposition genannt. Für Matrizen auf dem Euklidischen Raum gilt weiterhin, dass die hermitesch transponierte Matrix identisch ist mit der adjungierten Matrix.

Da die Operation eine einfache Erweiterung der Konjugation von Matrixelementen auf Matrizen ist, wird die komplex Konjugierte einer Matrix oft ebenfalls mit einem Oberstrich gekennzeichnet. Ein einfaches Rechenbeispiel:

$A=\left(\begin{array}{ccc}2& \mathrm{i}& 3+\mathrm{i}\\ -\mathrm{i}& 5+3\mathrm{i}& 5\mathrm{i}\\ \end{array}\right)\iff \bar{A}=\left(\begin{array}{ccc}2& -\mathrm{i}& 3-\mathrm{i}\\ \mathrm{i}& 5-3\mathrm{i}& -5\mathrm{i}\\ \end{array}\right)$

Verallgemeinerung

In der abstrakten Algebra wird dieser Begriff folgendermaßen erweitert:

Zwei über $K$ algebraische Elemente einer Körpererweiterung $L/K$ heißen zueinander konjugiert, wenn sie dasselbe Minimalpolynom über $K$ haben. Die Nullstellen des Minimalpolynoms von $a$ in $L$ heißen „Konjugierte von $a$ (in $L$)“. Jeder $K$-Automorphismus von $L$ (d. h. ein $L$-Automorphismus, der $K$ punktweise festhält) bildet $a$ auf eine seiner Konjugierten ab.

Analog definiert man Konjugiertheit von Elementen und Idealen bezüglich einer Ringerweiterung.