Komplexe Zahl

ℂ

Die komplexen Zahlen erweitern den Zahlenbereich der reellen Zahlen derart, dass die Gleichung x² + 1 = 0 lösbar wird.

Dies gelingt durch Einführung einer neuen Zahl i mit der Eigenschaft i² = − 1. Diese Zahl i wird als imaginäre Einheit bezeichnet.

Der Ursprung der Theorie der imaginären Zahlen, das heißt aller Zahlen, deren Quadrat eine negative reelle Zahl ist, geht auf die italienischen Mathematiker Gerolamo Cardano und Rafael Bombelli bis ins 16. Jahrhundert zurück.^[1] Die Einführung der imaginären Einheit i als neue Zahl wird Leonhard Euler zugeschrieben.

Komplexe Zahlen werden meist in der Form $a+b\cdot \mathrm i$ dargestellt, wobei a und b reelle Zahlen sind und i die imaginäre Einheit ist. Auf die so dargestellten komplexen Zahlen lassen sich die üblichen Rechenregeln für reelle Zahlen anwenden, wobei i² stets durch −1 ersetzt werden kann und umgekehrt. Für die Menge der komplexen Zahlen wird das Symbol $\mathbb C$ (Unicode U+2102: ℂ) verwendet.

Der so konstruierte Zahlenbereich der komplexen Zahlen bildet einen Körper und hat eine Reihe vorteilhafter Eigenschaften, die sich in vielen Bereichen der Natur- und Ingenieurwissenschaften als äußerst nützlich erwiesen haben. Einer der Gründe für diese positiven Eigenschaften ist die algebraische Abgeschlossenheit der komplexen Zahlen. Dies bedeutet, dass jede algebraische Gleichung vom Grad größer Null über den komplexen Zahlen eine Lösung besitzt, was für reelle Zahlen nicht gilt. Diese Eigenschaft ist der Inhalt des Fundamentalsatzes der Algebra. Ein weiterer Grund ist ein Zusammenhang zwischen trigonometrischen Funktionen und der Exponentialfunktion, der über die komplexen Zahlen hergestellt werden kann. Ferner ist jede auf einer offenen Menge einmal komplex differenzierbare Funktion dort von selbst beliebig oft differenzierbar, anders als in der Mathematik der reellen Zahlen. Die Eigenschaften von Funktionen mit komplexen Argumenten sind Gegenstand der Funktionentheorie, auch komplexe Analysis genannt.

Definition

Als komplexe Zahlen bezeichnet man die Zahlen der Form $a+b\cdot\mathrm i$ (bzw. in verkürzter Notation a + bi oder auch a + ib) mit reellen Zahlen a und b. Die imaginäre Einheit i ist dabei eine nicht-reelle Zahl mit der Eigenschaft i² = − 1.

Dabei wird a als Realteil und b als Imaginärteil von a + bi bezeichnet. Es haben sich zwei verschiedene Notationen dafür etabliert:

$a = \operatorname{Re}{(a + b\mathrm i)}$ und $b = \operatorname{Im}{(a + b\mathrm i)}$ bzw.

$a = \Re{(a + b\mathrm i)}$ und $b = \Im{(a + b\mathrm i)}.$

Eine formale Präzisierung wäre beispielsweise die folgende: Die komplexen Zahlen bilden einen Körper $\mathbb C$, der die reellen Zahlen als Teilkörper enthält, zusammen mit einem Element $\mathrm i\in\mathbb C$, das die Gleichung i² = − 1 erfüllt, so dass sich jedes Element von $\mathbb C$ auf eindeutige Weise in der Form $a+b\,\mathrm i\$ mit $a,b\in\mathbb R$ schreiben lässt. Zwei Paare $(\mathbb C,\mathrm i)$ und $(\tilde{\mathbb C},\tilde{\mathrm i})$ können auf eindeutige Weise miteinander identifiziert werden.

Notation

Die Notation in der Form $a+b\,\mathrm i\$ wird auch als (nach René Descartes benannte) kartesische oder algebraische Form bezeichnet. Die Bezeichnung kartesisch erklärt sich aus der Darstellung in der komplexen bzw. gaußschen Zahlenebene (s. weiter unten). Es findet sich auch die Darstellung $\left( a, b\right)= a+b\,\mathrm i\$ ^[2]; in der Norm DIN 1302:1999 "Allgemeine mathematische Zeichen und Begriffe" kommt sie allerdings nicht vor.

In der Elektrotechnik wird das kleine i schon für zeitlich veränderliche Ströme verwendet (siehe Wechselstrom) und kann zu Verwechslungen mit der imaginären Einheit i führen. Daher kann in diesem Bereich gemäß DIN 1302 der Buchstabe j verwendet werden.

In der Physik wird zwischen $i\$ für Wechselstrom und $\mathrm i\$ für die imaginäre Einheit unterschieden. Dies führt durch die recht klare Trennung beim aufmerksamen Leser nicht zu Verwechslungen und wird in dieser Form weitgehend sowohl in der physikalisch-experimentellen als auch in der physikalisch-theoretischen Literatur angewendet; handschriftlich ist diese Feinheit allerdings nicht zu halten. Siehe auch: komplexe Wechselstromrechnung

Komplexe Zahlen können gemäß DIN 1304-1 und DIN 5483-3 unterstrichen dargestellt werden, um sie von reellen Zahlen zu unterscheiden.

Rechnen in der algebraischen Form

Addition

Für die Addition zweier komplexer Zahlen $a+b\cdot\mathrm i$ und $c+d\cdot\mathrm i$ gilt

$(a+b\,\mathrm i)+(c+d\,\mathrm i)=(a+c)+(b+d)\,\mathrm i.$

Subtraktion

Analog zur Addition (siehe oben) funktioniert auch die Subtraktion

$(a + b \, \mathrm i) - (c + d \, \mathrm i) = (a - c) + (b - d) \, \mathrm i.$

Multiplikation

Für die Multiplikation gilt entsprechend

$(a+b\,\mathrm{i})\cdot(c+d\,\mathrm{i})=(ac-bd) + (ad+bc)\cdot\mathrm i.$

Diese Formel ergibt sich mit der Definition i² = − 1 durch einfaches Ausmultiplizieren und Neugruppieren.

Division

Der Quotient zweier komplexer Zahlen $a+b\,\mathrm i$ und $c+d\,\mathrm i$ mit $c+d\,\mathrm i\neq 0$ lässt sich berechnen, indem man den Bruch mit der zum Nenner $c+d \,\mathrm i$ konjugiert komplexen Zahl $c-d \,\mathrm i$ erweitert. Der Nenner wird dadurch reell (und ist gerade das Quadrat des Betrages von $c+d\;\mathrm i$):

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

Betrag einer komplexen Zahl

Der Betrag einer komplexen Zahl ist die Länge ihres Vektors in der Gaußschen Zahlenebene. Der Betrag der komplexen Zahl $z = a+b\cdot\mathrm i$ berechnet sich folgendermaßen: $|z| = \sqrt{a^2 + b^2}$

Rechenbeispiele

Addition:

(3 + 2i) + (5 + 5i) = (3 + 5) + (2 + 5)i = 8 + 7i

Subtraktion:

(5 + 5i) − (3 + 2i) = (5 − 3) + (5 − 2)i = 2 + 3i

Multiplikation:

$(2+5\mathrm i) \cdot (3+7\mathrm i) = (2\cdot 3 - 5\cdot 7)+(2\cdot 7 + 5\cdot 3)\mathrm i = -29 + 29\mathrm i$

$(2+5\mathrm i) \cdot (3+7\mathrm i) = (2\cdot 3 + 2\cdot 7\mathrm i)+(5\mathrm i\cdot 3 + 5\mathrm i\cdot 7\mathrm i) = 6 + 14\mathrm i + 15\mathrm i -35 = -29 + 29\mathrm i$

Division:

${(2+5\mathrm{i}) \over (3+7\mathrm{i})} = {(2+5\mathrm{i}) \over (3+7\mathrm{i})} \cdot {(3-7\mathrm{i}) \over (3-7\mathrm{i})} = {(6+35)+(15\mathrm{i}-14\mathrm{i}) \over (9+49)+ (21\mathrm{i}-21\mathrm{i})} = {41+\mathrm{i} \over 58} = {41\over 58}+{1\over 58}\cdot\mathrm{i}$

Weitere Eigenschaften

• Der Körper $\Bbb C$ der komplexen Zahlen ist einerseits ein Oberkörper von $\R$, andererseits ein zweidimensionaler $\R$-Vektorraum. Der Isomorphismus $\Bbb C \cong \R^2$ wird auch als natürliche Identifikation bezeichnet.
• Die Körpererweiterung $\Bbb C:\R$ ist vom Grad $[\Bbb C:\R]=2$; genauer ist $\Bbb C$ isomorph zum Faktorring $\R[X]/(X^2+1)$, wobei X² + 1 das Minimalpolynom von i über $\R$ ist. Ferner bildet $\Bbb C$ bereits den algebraischen Abschluss von $\R$.
• Als $\R$-Vektorraum besitzt $\Bbb C$ die Basis {1,i}. Daneben ist $\Bbb C$ wie jeder Körper auch ein Vektorraum über sich selbst, also ein eindimensionaler $\Bbb C$-Vektorraum mit Basis {1}.
• i und − i sind genau die Lösungen der quadratischen Gleichung x² + 1 = 0. In diesem Sinne kann i (aber auch − i) als „Wurzel aus − 1“ aufgefasst werden.
• $\Bbb C$ ist im Gegensatz zu $\R$ kein geordneter Körper, d. h., es gibt keine mit der Körperstruktur verträgliche lineare Ordnungsrelation „<“ auf $\Bbb C$. Von zwei unterschiedlichen komplexen Zahlen kann man daher nicht sagen, welche von beiden die größere bzw. die kleinere Zahl ist.

Komplexe Zahlenebene

Gaußsche Ebene mit einer komplexen Zahl in kartesischen und in Polarkoordinaten

Während sich die Menge $\Bbb R$ der reellen Zahlen durch Punkte auf einer Zahlengeraden veranschaulichen lässt, kann man die Menge $\Bbb C$ der komplexen Zahlen als Punkte in einer Ebene (komplexe Ebene, gaußsche Zahlenebene) darstellen. Dies entspricht der „doppelten Natur“ von $\Bbb C$ als zweidimensionalem reellem Vektorraum. Die Teilmenge der reellen Zahlen bildet darin die waagerechte Achse, die Teilmenge der rein imaginären Zahlen (d. h. mit Realteil 0) bildet die senkrechte Achse. Eine komplexe Zahl $z = (a,b) = a+b\,\mathrm{i}$ mit $a,b \in \mathbb{R}$ besitzt dann die horizontale Koordinate a und die vertikale Koordinate b.

Gemäß Definition entspricht die Addition komplexer Zahlen der Vektoraddition. Die Multiplikation ist in der gaußschen Ebene eine Drehstreckung, was nach Einführung der Polarform weiter unten klarer werden wird. Besonders in der Physik wird die geometrisch anschauliche Ebene häufig als die komplexe Zahlenebene aufgefasst und der Notation der komplexen Zahlen der Vorzug vor der Vektordarstellung gegeben.

Polarform

Verwendet man anstelle der kartesischen Koordinaten a und b die Polarkoordinaten φ und $r=|z| = \sqrt{a^2 + b^2}$, kann man die komplexe Zahl $z=a+b\,\mathrm{i}$ auch in der folgenden, auf der eulerschen Relation beruhenden sogenannten Polarform

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

darstellen, in der $a = r \cdot \cos \varphi$ und $b = r \cdot \sin \varphi$ ist. Die Darstellung mit Hilfe der komplexen e-Funktion $r \cdot e^{\mathrm{i}\varphi}$ heißt dabei auch Exponentialdarstellung (der Polarform), die Darstellung mittels des Ausdrucks $r \cdot (\cos \varphi + \mathrm{i} \cdot \sin \varphi)$ trigonometrische Darstellung (der Polarform). Aufgrund der eulerschen Relation sind beide Darstellungsformen gleichwertige und gleichbedeutende Alternativschreibweisen der Polarform. Des Weiteren gibt es für sie, namentlich in der Praxis, die noch weiter verkürzten Schreibweisen

$z = r \cdot\operatorname{cis}\,\varphi = r \cdot\operatorname{E}\,(\varphi) = r\,\angle\,\varphi\,,$

in denen $\operatorname{cis}\, \varphi$ für die Summe $\cos \varphi + \mathrm{i} \cdot \sin \varphi$ steht und die Form mit dem Winkeloperator $\angle$ als Versordarstellung bezeichnet wird.

In der komplexen Zahlenebene entspricht dabei $\ r$ der euklidischen Vektorlänge (d. h. dem Abstand zum Ursprung 0) und φ dem mit der reellen Achse eingeschlossenen Winkel der Zahl $\ z$. Üblicherweise jedoch nennt man $\ r$ hier den Betrag von $\ z$ (oder auch sein Modul) (Schreibweise $\ r = |z|$) und den Winkel φ das Argument (oder auch die Phase) von $\ z$ (Schreibweise $\varphi = \operatorname{arg}(z)$).

Da φ und φ + 2π dabei derselben Zahl $\ z$ zugeordnet werden können, ist die Polardarstellung zunächst nicht eindeutig. Deshalb schränkt man φ meist auf das Intervall ( − π;π], also $-\pi < \varphi \leq \pi$ ein, um anschließend statt vom Argument selbst von seinem Hauptwert für $z\neq 0$ zu sprechen. Der Zahl $\ z = 0$ indes ließe sich jedes beliebige Argument zuordnen, und zum Zweck einer eindeutigen Darstellung kann man es in diesem Fall tatsächlich auf 0 festlegen.

Das Argument von $\ z$ ist auch der Imaginärteil des komplexen natürlichen Logarithmus

$\ln z=\ln|z|+\mathrm i\cdot\arg (z).$

Mit der Wahl eines auf ganz $\mathbb C$ definierten Zweiges des Logarithmus ist also auch eine Argumentfunktion bestimmt (und umgekehrt).

Alle Werte e^iφ bilden den Einheitskreis der komplexen Zahlen mit dem Betrag 1.

Komplexe Konjugation

→ Hauptartikel: Konjugation (Mathematik)

Eine komplexe Zahl z = a+bi mit ihrer konjugiert komplexen Zahl $\bar z$ = a−bi

Dreht man das Vorzeichen des Imaginärteils b einer komplexen Zahl $z = a+b\,\mathrm{i}$ um, so erhält man die zu z konjugiert komplexe Zahl $\bar z=a-b\,\mathrm{i}$ (manchmal auch z ^* geschrieben).

Die Konjugation $\Bbb C\to\Bbb C,\,z\mapsto \bar z$ ist ein Körperautomorphismus (involutorischer Automorphismus), da sie mit Addition und Multiplikation verträglich ist, d. h., für alle $y,z\in\Bbb C$ gilt

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

In der Polardarstellung hat die konjugiert komplexe Zahl $\bar z$ bei unverändertem Betrag gerade den negativen Winkel von z. Man kann die Konjugation in der komplexen Zahlenebene also als die Spiegelung an der reellen Achse identifizieren. Insbesondere werden unter der Konjugation genau die reellen Zahlen auf sich selbst abgebildet.

Das Produkt aus einer komplexen Zahl z = a + bi und ihrer komplex Konjugierten $\bar z$ ergibt das Quadrat ihres Betrages:

$z\cdot\bar z = (a+b\mathrm{i}) (a-b\mathrm{i}) = a^2 + b^2=|z|^2.$

Die Summe aus einer komplexen Zahl z = a + bi und ihrer komplex Konjugierten $\bar z$ ergibt das 2-fache ihres Realteils:

$z + \bar z = (a+b\mathrm{i}) + (a-b\mathrm{i}) = 2a = 2\,\operatorname{Re}{(z)}.$

Die Differenz aus einer komplexen Zahl z = a + bi und ihrer komplex Konjugierten $\bar z$ ergibt das 2i-fache ihres Imaginärteils:

$z - \bar z = (a+b\mathrm{i}) - (a-b\mathrm{i}) = 2b\mathrm{i} = 2\mathrm{i}\,\operatorname{Im}{(z)}.$

Umrechnungsformeln

Von der algebraischen Form in die Polarform

Für $z=a+b\,\mathrm{i}$ in algebraischer Form ist

$r = |z| = \sqrt{a^2 + b^2}=\sqrt{z \cdot \overline z}.$

Für z = 0 kann das Argument mit 0 definiert werden.
Für $z \neq 0$ kann das Argument ϕ mit Hilfe des Arkustangens wie folgt im Intervall ( − π;π] bestimmt werden:

$\varphi = \arg(z) = \begin{cases}\arctan\frac{b}{a}&\mathrm{f\ddot ur}\ a>0,b\, \text{beliebig}\\ \arctan\frac{b}{a} +\pi&\mathrm{f\ddot ur}\ a<0,b\geq 0\\ \arctan\frac ba - \pi&\mathrm{f\ddot ur}\ a<0,b<0\\ \pi/2&\mathrm{f\ddot ur}\ a=0,b>0\\ -\pi/2&\mathrm{f\ddot ur}\ a=0,b<0\\ \text{unbestimmt} & \mathrm{f\ddot ur}\ a = 0, b = 0 \end{cases}.$

Die Berechnungsvariante über den Arcustangens benötigt relativ umständliche Fallunterscheidungen, da der Sonderfall a = 0 gesondert behandelt werden muss und da der Tangens denselben Wert zweimal im Intervall ( − π,π] annimmt. Viele Programmiersprachen stellen aber meist eine Variante der Arkustangensfunktion zur Verfügung (häufig mit dem Namen atan2 bezeichnet), die beide Werte übergeben bekommt und das Ergebnis je nach Vorzeichen von a und b dem passenden Quadranten zuordnet.

Mit Hilfe des Arkuskosinus kommt man mit nur drei Fallunterscheidungen aus:

$\varphi = \arg(z) = \begin{cases} \arccos\frac{a}{r} & \mathrm{f\ddot ur}\ b\geq 0\\ -\arccos\frac{a}{r} & \mathrm{f\ddot ur}\ b<0\\ \text{unbestimmt} & \mathrm{f\ddot ur}\ r = 0 \end{cases}.$

Berechnung des Winkels im Intervall [0, 2π)

Die Berechnung des Winkels ϕ im Intervall [0,2π) kann im Prinzip so durchgeführt werden, dass der Winkel zunächst wie vorstehend beschrieben im Intervall ( − π,π] berechnet wird und dann um 2π vergrößert wird, falls er negativ ist:

$\varphi' = \arg(z) = \begin{cases} \varphi + 2\pi & \text{falls}\ \varphi < 0\\ \varphi & \text{sonst} \end{cases}$

(siehe Polarkoordinaten).

Von der Polarform in die algebraische Form

$a = \mathrm{Re}(z) = r \cdot \cos\varphi$

$b = \mathrm{Im}(z) = r \cdot \sin\varphi$

Wie weiter oben, stellt a den Realteil und b den Imaginärteil jener komplexen Zahl dar.

Multiplikation und Division in der Polarform

Bei der Multiplikation in der Polarform werden die Beträge multipliziert und die Phasen addiert. Bei der Division wird der Betrag des Dividenden durch den Betrag des Divisors geteilt und die Phase des Divisors von der Phase des Dividenden subtrahiert:

Trigonometrische Form

$r\cdot (\cos \varphi + \mathrm{i}\cdot\sin \varphi ) \;\cdot\; s \cdot (\cos \psi + \mathrm{i} \cdot \sin \psi) = r \cdot s \cdot \left[ \cos (\varphi+\psi) + \mathrm{i} \cdot \sin (\varphi+\psi) \right]$

$\frac{r\cdot (\cos \varphi + \mathrm{i} \cdot \sin \varphi)}{s\cdot (\cos \psi + \mathrm{i} \cdot \sin \psi)} = \frac{r}{s} \cdot \left[ \cos (\varphi-\psi) + \mathrm{i} \cdot \sin (\varphi-\psi) \right]$

Exponentialform

$(r\cdot e^{\mathrm{i}\varphi}) \cdot (s \cdot e^{\mathrm{i}\psi}) = (r \cdot s) \cdot e^{\mathrm{i}(\varphi+\psi)}$

$\frac{(r\cdot e^{\mathrm{i}\varphi})} {(s \cdot e^{\mathrm{i}\psi})} = \frac{r}{s} \cdot e^{\mathrm{i}(\varphi-\psi)}$

Rechenoperationen 3. Stufe

Zu den Rechenoperationen der dritten Stufe gehören Potenzieren, Wurzelziehen (Radizieren) und Logarithmieren.

Potenzen

Natürliche Exponenten

Für natürliche Zahlen n berechnet sich die n-te Potenz in der polaren Form $z=r e^{\mathrm i \varphi}$ zu

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

oder für die algebraische Form z = a + bi mit Hilfe des binomischen Satzes zu

$z^n=\sum_{k=0, \atop k\text{ gerade}}^n \binom nk (-1)^{\frac k2} a^{n-k}b^k + \mathrm i \sum_{k=1, \atop k\text{ ungerade}}^n \binom nk (-1)^{\frac{k-1}2} a^{n-k}b^k.$

Beliebige komplexe Exponenten

Die allgemeine Definition einer Potenz mit komplexer Basis und komplexem Exponent lautet (für $z \neq 0$)

$z^\omega := \exp( \omega \cdot \ln z),$

wobei ln(z) für den Hauptwert des komplexen Logarithmus steht (siehe unten), damit liefert die Formel ebenfalls einen Hauptwert. Im Fall $\omega \in \mathbb{Z}$ oder $z \in \mathbb{R}^+$ allerdings stimmen alle in Frage kommenden Ergebnisse mit diesem Hauptwert überein und die Funktion wird eindeutig.

Wurzeln

→ Hauptartikel: Wurzeln aus komplexen Zahlen

Beim Rechnen mit Wurzeln ist größte Vorsicht angebracht, da die bekannten Rechenregeln für nichtnegative reelle Zahlen hier nicht gelten. Egal, welchen der beiden möglichen Werte i oder − i man für $\sqrt{-1}$ festlegt, erhält man z. B.

$1 = \sqrt 1 = \sqrt{(-1) \cdot (-1)} \ne \sqrt{-1} \cdot \sqrt{-1} = -1.$

Zur Berechnung der n-ten Wurzeln der komplexen Zahl z = re^iϕ dient die Formel

$\sqrt[n]{z} = \sqrt[n]{r}\cdot e^{\mathrm i \frac{\varphi + 2k\pi}n},$

wobei k die Werte $0, 1, \ldots, n-1$ durchläuft. Eine Zahl hat also n komplexe n-te Wurzeln. Dadurch ist ein Wurzelterm in $\C$ mehrdeutig.

Logarithmen

Der komplexe natürliche Logarithmus ist im Gegensatz zum Reellen nicht eindeutig. Man arbeitet daher mit Hauptwerten, d. h. Werten eines bestimmten Streifens der komplexen Ebene.

Der Hauptwert des natürlichen Logarithmus der komplexen Zahl z = re^iϕ ist

ln z = ln r + iϕ.

Pragmatische Rechenregeln

Am einfachsten lassen sich die Berechnungen folgendermaßen durchführen:

• Addition und Subtraktion komplexer Zahlen werden (in der algebraischen Form) komponentenweise durchgeführt.
• Die Multiplikation komplexer Zahlen kann je nach Vorgabe vorteilhaft in algebraischer Form oder in Exponentialform (Multiplikation der Beträge und Addition der Argumente (Winkel)) durchgeführt werden.
• Bei der Division komplexer Zahlen werden in Exponentialform ihre Beträge dividiert und ihre Argumente (Winkel) subtrahiert, oder in algebraischer Form der Quotient mit dem konjugierten Nenner erweitert.
• Beim Potenzieren einer komplexen Zahl mit einem reellen Exponenten wird ihr Betrag potenziert und ihr Argument (Winkel) mit dem Exponenten multipliziert; die Benutzung der algebraischen Form (mit Newtons Binomialsatz) ist in den meisten Fällen umständlicher (insbesondere für höhere Potenzen).
• Beim Radizieren (Wurzelziehen) einer komplexen Zahl mit einem reellen Exponenten wird ihr Betrag radiziert und ihr Argument (Winkel) durch den Exponenten dividiert. Hierdurch entsteht die erste Lösung. Bei einer n-ten Wurzel entstehen n Lösungen, die im Winkel von 2π / n um den Ursprung der gaußschen Ebene verteilt sind. Siehe Wurzel (Mathematik). Eine Quadratwurzel kann auch recht einfach in kartesischer Form berechnet werden.

Konstruktion der komplexen Zahlen

Damit die obige axiomatische Definition einen Sinn hat, muss nachgewiesen werden, dass es überhaupt einen Körper $\mathbb C$ mit den benötigten Eigenschaften gibt. Dies leisten die folgenden Konstruktionen.

Paare reeller Zahlen

Die Konstruktion nimmt zunächst keinerlei Bezug auf die imaginäre Einheit i: Im 2-dimensionalen reellen Vektorraum $\R^2$ der geordneten reellen Zahlenpaare z = (a,b) wird neben der Addition

(a,b) + (c,d) = (a + c,b + d)

(das ist die gewöhnliche Vektoraddition) eine Multiplikation durch

$(a, b) \cdot (c, d) = (a \cdot c - b \cdot d, a \cdot d + b \cdot c)$

definiert.

Nach dieser Festlegung schreibt man $\Bbb C=\R^2$, und $(\mathbb{C}, +, \cdot)$ wird zu einem Körper, dem Körper der komplexen Zahlen.

Erste Eigenschaften

• Die Abbildung $\R\to\Bbb C,\,a\mapsto (a,0)$ ist eine Körpereinbettung von $\R$ in $\Bbb C$, aufgrund derer wir die reelle Zahl a mit der komplexen Zahl (a,0) identifizieren.

Bezüglich der Addition ist:

• die Zahl 0 = (0,0) das Nullelement in $\Bbb C$ und
• die Zahl − z = ( − a, − b) das inverse Element in $\Bbb C$.

Bezüglich der Multiplikation ist:

• die Zahl 1 = (1,0) das neutrale Element (das Einselement) von $\Bbb C$ und
• das Inverse (Reziproke) zu $z=(a,b)\neq (0,0)$ ist $z^{-1} = \left(\frac{a}{a^2+b^2},\,\frac{-b}{a^2+b^2}\right)$.

Bezug zur Darstellung in der Form a + bi

Durch i = (0,1) wird die imaginäre Einheit i festgelegt; für diese gilt i² = − 1.

Jede komplexe Zahl $z=(a,b)\in\Bbb C$ besitzt die eindeutige Darstellung der Form

$z = (a,b) = (a,0)+(0,b)=a\cdot(1,0)+b\cdot(0,1) = a + b\,\mathrm{i}$

mit $a,b\in\R$; dies ist die übliche Schreibweise für die komplexen Zahlen.

Polynome: Adjunktion

Eine weitere Konstruktion der komplexen Zahlen ist der Faktorring

$\R[X]/(X^2+1)$

des Polynomringes in einer Unbestimmten über den reellen Zahlen. Die Zahl i entspricht dabei dem Bild der Unbestimmten X, die reellen Zahlen werden mit den konstanten Polynomen identifiziert.

Dieses Konstruktionsprinzip ist auch in anderem Kontext anwendbar, man spricht von Adjunktion.

Matrizen

Die Menge der $2\times2$-Matrizen der Form

$Z = \begin{pmatrix}a&-b\\b&a\end{pmatrix} = a \begin{pmatrix}1&0\\0&1\end{pmatrix} + b \begin{pmatrix}0&-1\\1&0\end{pmatrix} = a \cdot E + b \cdot I$ mit $a,b\in\R$

bildet ebenfalls ein Modell der komplexen Zahlen. Dabei ist E die Einheitsmatrix und die Matrix I die imaginäre Einheit. Es gilt:

Re(Z) = a

Im(Z) = b

I² = − E (analog zu i² = − 1)

$\operatorname{abs}(Z) = \sqrt{a^2 + b^2} = \sqrt{\det Z}$

Diese Menge ist ein Unterraum des Vektorraums der $2\times2$-Matrizen.

Reelle Zahlen entsprechen Diagonalmatrizen

$\begin{pmatrix}a&0\\0&a\end{pmatrix}.$

Die zu diesen Matrizen gehörenden linearen Abbildungen sind, sofern a und b nicht beide null sind, Drehstreckungen im Raum $\R^2$. Es handelt sich genau um dieselben Drehstreckungen wie bei der Interpretation der Multiplikation mit einer komplexen Zahl a + bi in der gaußschen Zahlenebene.

Geschichtliches

Die Unmöglichkeit der oben angegebenen Lösung ist bei der Behandlung der quadratischen Gleichung schon sehr früh bemerkt und hervorgehoben worden, z. B. schon in der um 820 n. Chr. verfassten Algebra des Muhammed ibn Mûsâ Alchwârizmî. Aber bei dem nächstliegenden und unanfechtbaren Schluss, dass diese Art von Gleichung nicht lösbar ist, blieb man nicht stehen.

In gewissem Sinne ist bereits der Italiener Gerolamo Cardano (1501–1576) in seinem 1545 erschienenen Buch Artis magnae sive de regulis algebraicis liber unus darüber hinausgegangen. Er behandelt dort die Aufgabe, zwei Zahlen zu finden, deren Produkt 40 und deren Summe 10 ist. Er hebt hervor, dass die dafür anzusetzende Gleichung:

x(10 − x) = 40 oder x² − 10x + 40 = 0

keine Lösung hat, fügt aber einige Bemerkungen hinzu, indem er in die allgemeine Lösung der quadratischen Gleichung

$x_{1,2} = - \frac{p}{2}\pm\sqrt{ \frac{p^2}{4} - q }$

für p und q die Werte (−10) und 40 einsetzt. Wenn es also möglich wäre, dem sich ergebenden Ausdruck

$\sqrt{25-40}$ oder $\sqrt{-15}$

einen Sinn zu geben, und zwar so, dass man mit diesem Zeichen nach denselben Regeln rechnen dürfte wie mit einer reellen Zahl, so würden die Ausdrücke

$5 + \sqrt{-15}$ oder $5 - \sqrt{-15}$

in der Tat eine Lösung darstellen.

Für die Quadratwurzel aus negativen Zahlen und allgemeiner für alle aus einer beliebigen reellen Zahl α und einer positiven reellen Zahl β zusammengesetzten Zahlen

$\alpha + \sqrt{-\beta}$ oder $\alpha - \sqrt{-\beta}$

hat sich seit der Mitte des 17. Jahrhunderts die Bezeichnung imaginäre Zahl eingebürgert.

Im Gegensatz dazu wurden als gewöhnliche Zahlen die reellen Zahlen bezeichnet. Eine solche Gegenüberstellung der zwei Begriffe findet sich in der 1637 erschienenen La Géométrie von Descartes und taucht dort wohl zum ersten Mal auf.

Heute bezeichnet man nur noch den Ausdruck, der durch die Wurzel aus einer negativen Zahl gebildet wird, als imaginäre Zahl und die von beiden Arten von Zahlen gebildete Menge von Zahlen als komplexe Zahlen. Man kann daher sagen, dass Cardano zum ersten Mal im heutigen Sinne mit komplexen Zahlen gerechnet hat und damit eine Reihe von Betrachtungen angestellt hat.

Da das Rechnen mit diesen als „sinnlos“ angesehenen Zahlen zunächst als bloßes Spiel erschien, war man umso überraschter, dass dieses „Spiel“ sehr häufig wertvolle Ergebnisse lieferte oder schon bekannten Ergebnissen eine befriedigendere Form zu geben erlaubte. So kam Leonhard Euler zum Beispiel in seiner Introductio in analysin infinitorum zu einigen bemerkenswerten Gleichungen, die nur reelle Zahlen enthielten und sich ausnahmslos als richtig erwiesen, die aber auf anderem Wege nicht so einfach gewonnen werden konnten.

So kam es, dass man diese Zahlen nicht als widersinnig verwarf, sondern sich immer mehr mit ihnen beschäftigte. Trotzdem umgab dieses Gebiet der Mathematik noch immer etwas Geheimnisvolles, Rätselhaftes und Unbefriedigendes. Erst durch die Abhandlung Essai sur la représentation analytique de la direction aus dem Jahre 1797 des norwegisch-dänischen Landmessers Caspar Wessel (1745–1818) wurde die Aufklärung über diese Zahlen angebahnt. Diese Arbeit, die er bei der dänischen Akademie einreichte, fand anfangs keine Beachtung. Ähnlich erging es Arbeiten anderer Mathematiker, sodass diese Betrachtungen noch mehrfach angestellt werden mussten.

Als erster definierte Augustin Louis Cauchy 1821 in seinem Lehrbuch Cours d'analyse eine Funktion einer komplexen Variablen in die komplexe Zahlenebene und bewies viele grundlegende Sätze der Funktionentheorie.

Allgemeine Beachtung fanden sie erst dann, als auch Carl Friedrich Gauß im Jahre 1831 in einem Artikel in den Göttingschen gelehrten Anzeigen dieselben Auffassungen entwickelte, offensichtlich ohne Wissen von irgendwelchen Vorgängern.

Heute machen diese Dinge keinerlei begriffliche oder tatsächliche Schwierigkeiten. Durch die Einfachheit der Definition, der bereits erläuterten Bedeutung und Anwendungen in vielen Wissenschaftsgebieten stehen die komplexen Zahlen den reellen Zahlen in nichts nach. Der Begriff der „imaginären“ Zahlen, im Sinne von eingebildeten bzw. unwirklichen Zahlen, hat sich also im Laufe der Jahrhunderte als schiefe Auffassung erwiesen.

Anwendung

Die komplexen Zahlen in der Physik

Komplexe Zahlen spielen in der Grundlagenphysik eine zentrale Rolle. Sie finden dort Verwendung bei der Definition von Differentialoperatoren in der Schrödingergleichung und der Klein-Gordon-Gleichung. Für die Dirac-Gleichung benötigt man eine Zahlbereichserweiterung der komplexen Zahlen, die Quaternionen. Alternativ ist eine Formulierung mit Pauli-Matrizen möglich, die aber die gleiche algebraische Struktur wie die Quaternionen aufweisen.

Komplexe Zahlen haben in der Physik und Technik eine wichtige Rolle als Rechenhilfe. So lässt sich insbesondere die Behandlung von Differentialgleichungen zu Schwingungsvorgängen vereinfachen, da sich damit die komplizierten Beziehungen in Zusammenhang mit Produkten von Sinus- bzw. Kosinusfunktionen durch Produkte von Exponentialfunktionen ersetzen lassen, wobei lediglich die Exponenten addiert werden müssen. So fügt man dazu beispielsweise in der komplexen Wechselstromrechnung geeignete Imaginärteile in die reellen Ausgangsgleichungen ein, die man bei der Auswertung der Rechenergebnisse dann wieder ignoriert. Dadurch werden in der Zwischenrechnung harmonische Schwingungen (reell) zu Kreisbewegungen in der komplexen Ebene ergänzt, die mehr Symmetrie aufweisen und deswegen einfacher zu behandeln sind.

In der Optik werden die brechenden und absorbierenden Effekte einer Substanz in einer komplexen, Wellenlängen-abhängigen Permittivität (Dielektrizitätskonstante) oder der komplexen Brechzahl zusammengefasst, die wiederum auf die elektrische Suszeptibilität zurückgeführt wird.

In der Fluiddynamik werden komplexe Zahlen eingesetzt, um ebene Potentialströmungen zu erklären und zu verstehen. Jede beliebige komplexe Funktion eines komplexen Arguments stellt immer eine ebene Potenzialströmung dar – der geometrische Ort entspricht dem komplexen Argument in der gaußschen Zahlenebene, das Strömungspotenzial dem Realteil der Funktion, und die Stromlinien den Isolinien des Imaginärteils der Funktion mit umgekehrtem Vorzeichen. Das Vektorfeld der Strömungsgeschwindigkeit entspricht der konjugiert komplexen ersten Ableitung der Funktion. Durch das Experimentieren mit verschiedenen Überlagerungen von Parallelströmung, Quellen, Senken, Dipolen und Wirbeln kann man die Umströmung unterschiedlicher Konturen darstellen. Verzerren lassen sich diese Strömungsbilder durch konforme Abbildung – das komplexe Argument wird durch eine Funktion des komplexen Arguments ersetzt. Beispielsweise lässt sich die Umströmung eines Kreiszylinders (Parallelströmung + Dipol + Wirbel) in die Umströmung eines tragflügel-ähnlichen Profils (Joukowski-Profil) verzerren und die Rolle des tragenden Wirbels an einer Flugzeug-Tragfläche studieren. So nützlich diese Methode zum Lernen und Verstehen ist, zur genauen Berechnung reicht sie im Allgemeinen nicht aus.

Komplexe Zahlen in der Elektrotechnik

In der Elektrotechnik besitzt die Darstellung elektrischer Größen mit Hilfe komplexer Zahlen weite Verbreitung. Sie wird bei der Berechnung von zeitlich sinusförmig veränderlichen Größen wie elektrischen und magnetischen Feldern verwendet. Bei der Darstellung einer sinusförmigen Wechselspannung als komplexe Größe und entsprechenden Darstellungen für Widerstände, Kondensatoren und Spulen vereinfachen sich die Berechnungen des elektrischen Stromes, der Wirk- und der Blindleistung in einer Schaltung. Die durch Differentialquotienten oder Integrale gegebene Verkopplung geht über in eine Verkopplung durch trigonometrische Funktionen; die Berechnung der Zusammenhänge lässt sich damit wesentlich erleichtern. Auch das Zusammenwirken mehrerer verschiedener sinusförmiger Spannungen und Ströme, die zu unterschiedlichen Zeitpunkten ihre Nulldurchgänge haben können, lässt sich in komplexer Rechnung leicht darstellen. Genaueres über dieses Thema steht im Artikel über die komplexe Wechselstromrechnung.

In den letzten Jahren hat die digitale Signalverarbeitung außerordentlich an Bedeutung gewonnen, deren Fundament die Rechnung mit komplexen Zahlen bildet.

Komplexe Zahlen in der angewandten Mathematik

Wichtig ist auch die Anwendung komplexer Zahlen bei der Berechnung uneigentlicher reeller Integrale im Rahmen des Residuensatzes der Funktionentheorie.

Komplexe Zahlen in der reinen Mathematik

Die komplexen Zahlen sind der algebraische Abschluss des Körpers der reellen Zahlen. Deshalb treten sie beispielsweise als Eigenwerte reeller Matrizen auf, und dann jeweils zusammen mit dem konjugiert komplexen Eigenwert. Sie ermöglichen auch eine Verbindung zwischen trigonometrischen Funktionen und der Exponentialfunktion, die bei der Fourier-Transformation und den Fourier-Reihen ausgenutzt wird.

Das Studium differenzierbarer Funktionen auf Teilmengen der komplexen Zahlen ist Gegenstand der Funktionentheorie. Sie ist in vieler Hinsicht starrer als die reelle Analysis und lässt weniger Pathologien zu. Beispiele sind die Aussage, dass jede in einem Gebiet differenzierbare Funktion bereits beliebig oft differenzierbar ist, oder der Identitätssatz für holomorphe Funktionen.

Die Funktionentheorie ermöglicht oft auch Rückschlüsse auf rein reelle Aussagen, beispielsweise lassen sich manche Integrale mit dem Residuensatz berechnen. Ein wichtiges Einsatzgebiet dieser Methoden ist die analytische Zahlentheorie, die Aussagen über ganze Zahlen auf Aussagen über komplexe Funktionen zurückführt, häufig in der Form von Dirichletreihen. Ein prominentes Beispiel ist die Verbindung zwischen Primzahlsatz und riemannscher ζ-Funktion. In diesem Zusammenhang spielt die riemannsche Vermutung eine zentrale Rolle.

Die oben erwähnte Starrheit holomorpher Funktionen tritt noch stärker bei globalen Fragen in Erscheinung, d. h. beim Studium komplexer Mannigfaltigkeiten. So gibt es auf einer kompakten komplexen Mannigfaltigkeit keine nichtkonstanten globalen holomorphen Funktionen; Aussagen wie der Einbettungssatz von Whitney sind im Komplexen also falsch. Diese so genannte „analytische Geometrie“ (nicht mit der klassischen analytischen Geometrie von René Descartes zu verwechseln!) ist auch eng mit der algebraischen Geometrie verknüpft, viele Ergebnisse lassen sich übertragen. Die komplexen Zahlen sind auch in einem geeigneten Sinne ausreichend groß, um die Komplexität algebraischer Varietäten über beliebigen Körpern der Charakteristik 0 zu erfassen (Lefschetz-Prinzip).

Verwandte Themen

• Gaußsche Zahlen und Eisenstein-Zahlen sind eine Verallgemeinerung der ganzen Zahlen auf die komplexen Zahlen.
• Hyperkomplexe Zahlen verallgemeinern die algebraische Struktur der komplexen Zahlen.
• Komplexwertige Funktionen bilden komplexe Zahlen auf komplexe Zahlen ab.

Weblinks

 Commons: Komplexe Zahlen – Sammlung von Bildern, Videos und Audiodateien

• Schriften, Dokumentationen, Videos
  • Wikibooks: Komplexe Zahlen
  • Geschichte der komplexen Zahlen
  • Eine Facharbeit, die eine Einführung in die komplexen Zahlen gibt
  • Rechnen mit komplexen Zahlen
  • Anwendung der komplexen Zahlen in der Elektrotechnik
  • Dimensions: a math film. Einbettung der komplexen Zahlen in die Darstellung höherer Dimensionen (auch Chaostheorie) insb. Kapitel 5 und 6
• Programme zur direkten Ausführung
  • Java-Applet zur geometrischen Deutung
  • Java-Klasse, zur Berechnung komplexer Zahlen
  • Rechner für komplexe Zahlen

Einzelnachweise

1. ↑ Hans Wußing: 6000 Jahre Mathematik. Eine kulturgeschichtliche Zeitreise. Von den Anfängen bis Leibniz und Newton. Springer, Berlin u. a. 2008, ISBN 978-3-540-77189-0, S. 394.
2. ↑ Eberhard Freitag, Rolf Busam: Funktionentheorie 1: Mit Lösungshinweisen zu 420 Übungsaufgaben. 4. Auflage. Springer, Berlin 2007, ISBN 978-3-540-31764-7.

Grundlegende Zahlenmengen

Natürliche Zahlen $\mathbb{N}$ | Ganze Zahlen $\mathbb{Z}$ | Rationale Zahlen $\mathbb{Q}$ | Reelle Zahlen $\mathbb{R}$ | Komplexe Zahlen $\mathbb C$