Komplexe Zahlen

Im Bereich der reellen Zahlen sind alle Grundrechenarten uneingeschränkt ausführbar. Dennoch haben sie einen Makel. Gleichungen wie $x^2=-1$ sind nicht lösbar. Dieses Problem wird durch die Erweiterung der reellen Zahlen zu den komplexen Zahlen behoben.

Die komplexen Zahlen werden hier als Paare reeller Zahlen $(x,y)$ eingeführt, wobei die Rechenoperationen für zwei komplexe Zahlen $z_1=(x_1,y_1)$ und $z_2=(x_2,y_2)$ wie folgt definiert werden:

Das neutrale Element bezüglich der Addition ist $(0,0)$, wofür man wieder $0$ schreibt; und bzgl. der Multiplikation $(1,0)$, wofür man wieder $1$ schreibt.

Abkürzend setzt man $\i=(0,1)$ und kann dann eine komplexe Zahl $z=(x,y)$ in der Form $z=x+\i y$ schreiben. Die so eingeführte Zahl $\i$ heißt imaginäre Einheit.

Aus der Definition der Multiplikation ergibt sich: $\i^2=\i\cdot\i=-1$, womit wir auch eine Lösung der oben aufgestellten Gleichung haben.

Die komplexen Zahlen bilden einen Körper. Für diesen verwendet man das Symbol $\domC$.

Die Körperaxiome lassen sich mit den obigen Definitionen unter Berücksichtigung, dass die reellen Zahlen einen Körper bilden, schnell verifizieren. $\qed$

Während es sich bei den reellen Zahlen um einen angeordneten Körper handelt, bei dem die Ordnung mit den Rechenoperationen verträglich ist, so ist dies bei den komplexen Zahlen nicht mehr der Fall. Die Ordnung ist so zu sagen das Opfer, das bei der Körpererweiterung der reellen Zahlen gebracht werden musste, um die neuen Eigenschaften (Lösbarkeit beliebiger algebraischer Gleichungen) zu erlangen.