Altanis

1.1Complex Numbers and the Complex Plane

Updated 2 Aug 2026Chapter (PDF)

[1.1.1]Definition(Complex Numbers)#

A complex number is an expression of the form z=x+iyz = x + iy, where x,yRx, y \in \mathbb{R} and i2=1i^2 = -1.

  1. We write x=Re(z)x = \text{Re}(z) for the real part of zz, and y=Im(z)y = \text{Im}(z) for the imaginary part of zz.

  2. If Re(z)=0\text{Re}(z) = 0, then zz is purely imaginary.

  3. The set of all complex numbers is denoted by C\mathbb{C}.

[1.1.2]Remark(Vector Space Isomorphism)#

C\mathbb{C} is isomorphic to the Euclidean plane R2\mathbb{R}^2 as a real vector space via the canonical bijection:

z=x+iy(x,y)R2z = x + iy \longleftrightarrow (x, y) \in \mathbb{R}^2

Under this identification, the real numbers correspond to the xx-axis (the real axis) and the purely imaginary numbers to the yy-axis (the imaginary axis).

[1.1.3]Definition(Absolute Value and Conjugation)#

Let z=x+iyCz = x + iy \in \mathbb{C}.

  1. The absolute value (or modulus) of zz is the Euclidean length of its corresponding vector in R2\mathbb{R}^2:

    z=(x2+y2)1/2|z| = (x^2 + y^2)^{1/2}
  2. The complex conjugate of zz is its reflection across the real axis:

    z=xiy\overline{z} = x - iy
[1.1.4]Proposition(Basic Arithmetic and Metric Properties)#

Let z,z1,z2Cz, z_1, z_2 \in \mathbb{C}. The following properties hold:

  1. Re(z)=z+z2\text{Re}(z) = \frac{z + \overline{z}}{2} and Im(z)=zz2i\text{Im}(z) = \frac{z - \overline{z}}{2i}.

  2. z2=zz|z|^2 = z \overline{z}.

  3. If z0z \neq 0, then 1z=zz2\frac{1}{z} = \frac{\overline{z}}{|z|^2}.

  4. Triangle Inequality: z1+z2z1+z2|z_1 + z_2| \leq |z_1| + |z_2|.

  5. Reverse Triangle Inequality: z1z2z1z2||z_1| - |z_2|| \leq |z_1 - z_2|.

[1.1.5]Definition(Polar Form)#

Any non-zero complex number zCz \in \mathbb{C} can be written in polar form:

z=reiθz = r e^{i\theta}

where r=z>0r = |z| > 0 is the modulus, and θR\theta \in \mathbb{R} is the argument of zz (defined uniquely up to a multiple of 2π2\pi), denoted by argz\arg z. By Euler's formula:

eiθ=cosθ+isinθe^{i\theta} = \cos \theta + i \sin \theta
[1.1.6]Remark(Geometric Multiplication)#

If z=reiθz = r e^{i\theta} and w=seiφw = s e^{i\phi}, then zw=rsei(θ+φ)zw = rs e^{i(\theta + \phi)}. Thus, multiplication by a complex number corresponds geometrically to a homothety in R2\mathbb{R}^2 (a rotation by argz\arg z composed with a dilation by z|z|).