Complex number/Citable Version

The complex numbers $\mathbb {C}$ are obtained by adjoining the imaginary unit $i={\sqrt {-1}}$ to the real numbers. Of course, since the product of two negative numbers is positive, there is no $x\in \mathbb {R}$ (read real number x) such that $x^{2}=-1$, but if there were such a number, we could define the complex numbers to be the set

$\mathbb {C} =\{a+bi|a,b\in \mathbb {R} \}$

We then define addition and multiplication in the obvious way, using $i^{2}=-1$ to rewrite results in the form $a+bi$:

$(a+bi)+(c+di)=(a+c)+(b+d)i$

$(a+bi)(c+di)=(ac-bd)+(bc+ad)i$

It turns out that with addition and multiplication defined this way, $\mathbb {C}$ satisfies the axioms for a field, and is called the field of complex numbers. If $c=a+bi$ is a complex number, we call $a$ the real part of $c$ and write $a=Re(c)$. Similarly, $b$ is called the imaginary part of $c$ and we write $b=Im(c)$. If the imaginary part of a complex number is $0$, the number is said to be real, and we write $a$ instead of $a+0i$. We thus identify $\mathbb {R}$ with a subset (and, in fact, a subfield) of $\mathbb {C}$.

Algebraic Closure

An important property of $\mathbb {C}$ is that it is algebraically closed. This means that any non-constant real polynomial must have a root in $\mathbb {C}$.