# Definition:Complex Number

## Contents

## Definition

### Informal Definition

A **complex number** is a number in the form $a + b i$ or $a + i b$ where:

- $a$ and $b$ are real numbers
- $i$ is a square root of $-1$, that is, $i = \sqrt {-1}$.

### Formal Definition

A **complex number** is an ordered pair $\tuple {x, y}$ where $x, y \in \R$ are real numbers, on which the operations of addition and multiplication are defined as follows:

### Complex Addition

Let $\tuple {x_1, y_1}$ and $\tuple {x_2, y_2}$ be complex numbers.

Then $\tuple {x_1, y_1} + \tuple {x_2, y_2}$ is defined as:

- $\tuple {x_1, y_1} + \tuple {x_2, y_2}:= \tuple {x_1 + x_2, y_1 + y_2}$

### Complex Multiplication

Let $\tuple {x_1, y_1}$ and $\tuple {x_2, y_2}$ be complex numbers.

Then $\tuple {x_1, y_1} \tuple {x_2, y_2}$ is defined as:

- $\tuple {x_1, y_1} \tuple {x_2, y_2} := \tuple {x_1 x_2 - y_1 y_2, x_1 y_2 + y_1 x_2}$

### Scalar Product

Let $\tuple {x, y}$ be a complex numbers.

Let $m \in \R$ be a real number.

Then $m \tuple {x, y}$ is defined as:

- $m \tuple {x, y} := \tuple {m x, m y}$

The set of all complex numbers is denoted $\C$.

### Construction from Cayley-Dickson Construction

The complex numbers can be defined by the Cayley-Dickson construction from the set of real numbers $\R$.

From Real Numbers form Algebra, $\R$ forms a nicely normed $*$-algebra.

Let $a, b \in \R$.

Then $\left({a, b}\right) \in \C$, where:

- $\left({a, b}\right) \left({c, d}\right) = \left({a c - d \overline b, \overline a d + c b}\right)$
- $\overline {\left({a, b}\right)} = \left({\overline a, -b}\right)$

where:

- $\overline a$ is the conjugate of $a$

and

- $\overline {\left({a, b}\right)}$ is the conjugation operation on $\C$.

From Real Numbers form Algebra, $\overline a = a$ and so the above translate into:

- $\left({a, b}\right) \left({c, d}\right) = \left({a c - d b, a d + c b}\right)$
- $\overline {\left({a, b}\right)} = \left({a, -b}\right)$

It is clear by direct comparison with the formal definition that this construction genuinely does generate the complex numbers.

## Real and Imaginary Parts

### Real Part

Let $z = a + i b$ be a complex number.

The **real part** of $z$ is the coefficient $a$.

The **real part** of a complex number $z$ is usually denoted on $\mathsf{Pr} \infty \mathsf{fWiki}$ by $\map \Re z$ or $\Re z$.

### Imaginary Part

Let $z = a + i b$ be a complex number.

The **imaginary part** of $z$ is the coefficient $b$ (**note:** not $i b$).

The **imaginary part** of a complex number $z$ is usually denoted on $\mathsf{Pr} \infty \mathsf{fWiki}$ by $\map \Im z$ or $\Im z$.

### Imaginary Unit

The entity $i := 0 + 1 i$ is known as the **imaginary unit**.

### Wholly Real

A complex number $z = a + i b$ is **wholly real** if and only if $b = 0$.

### Wholly Imaginary

A complex number $z = a + i b$ is **wholly imaginary** if and only if $a = 0$.

## Complex Plane

Because a complex number can be expressed as an ordered pair, we can plot the number $x + i y$ on the real number plane $\R^2$:

### Real Axis

Complex numbers of the form $\tuple {x, 0}$, being wholly real, appear as points on the $x$-axis.

### Imaginary Axis

Complex numbers of the form $\tuple {0, y}$, being wholly imaginary, appear as points on the points on the $y$-axis.

## Polar Form

For any complex number $z = x + i y \ne 0$, let:

\(\displaystyle r\) | \(=\) | \(\displaystyle \cmod z = \sqrt {x^2 + y^2}\) | $\quad$ the modulus of $z$, and | $\quad$ | |||||||||

\(\displaystyle \theta\) | \(=\) | \(\displaystyle \arg z\) | $\quad$ the argument of $z$ (the angle which $z$ yields with the real line) | $\quad$ |

where $x, y \in \R$.

From the definition of $\arg z$:

- $(1): \quad \dfrac x r = \cos \theta$

- $(2): \quad \dfrac y r = \sin \theta$

which implies that:

- $x = r \cos \theta$
- $y = r \sin \theta$

which in turn means that any number $z = x + i y \ne 0$ can be written as:

- $z = x + i y = r \paren {\cos \theta + i \sin \theta}$

The pair $\polar {r, \theta}$ is called the **polar form** of the complex number $z \ne 0$.

The number $z = 0 + 0 i$ is defined as $\polar {0, 0}$.

## Also denoted as

Variants on $\C$ are often seen, for example $\mathbf C$ and $\mathcal C$, or even just $C$.

When $a$ and $b$ are symbols representing variables or constants, the form $a + i b$ is usually (but not universally) seen.

Similarly, when $a$ and $b$ are actual numbers, for example $3$ and $4$, it is usually (but not universally) written $3 + 4 i$.

When mathematics is applied to engineering, in particular electrical and electronic engineering, the symbol $j$ is usually used, as $i$ is the standard symbol used to denote the flow of electric current, and to use it also for $\sqrt {-1}$ would cause untold confusion.

In some mathematical traditions, the Greek symbol $\iota$ (iota) is used for $i$.

## Also see

The $a + i b$ notation usually proves more convenient; the ordered pair version is generally used only for the formal definition as given above.

- Results about
**complex numbers**can be found here.

## Sources

- 1965: Seth Warner:
*Modern Algebra*... (previous) ... (next): $\S 1$ - 1967: George McCarty:
*Topology: An Introduction with Application to Topological Groups*... (previous) ... (next): Introduction: Special Symbols - 1968: Ian D. Macdonald:
*The Theory of Groups*... (previous) ... (next): Appendix: Elementary set and number theory - 1970: B. Hartley and T.O. Hawkes:
*Rings, Modules and Linear Algebra*... (previous) ... (next): $\S 1.2$: Some examples of rings: Ring Example $4$ - 1975: W.A. Sutherland:
*Introduction to Metric and Topological Spaces*... (previous) ... (next): Notation and Terminology - 1978: Thomas A. Whitelaw:
*An Introduction to Abstract Algebra*... (previous) ... (next): $\S 2$: Introductory remarks on sets: $\text{(b)}$ - 1981: Murray R. Spiegel:
*Theory and Problems of Complex Variables*(SI ed.) ... (previous) ... (next): $1$: Complex Numbers: The Complex Number System - 1992: George F. Simmons:
*Calculus Gems*... (previous) ... (next): Chapter $\text {B}.26$: Extensions of the Complex Number System. Algebras, Quaternions, and Lagrange's Four Squares Theorem - 1996: H. Jerome Keisler and Joel Robbin:
*Mathematical Logic and Computability*... (previous) ... (next): Appendix $\text{A}.1$: Sets