Skip to content

Complex number

A complex number combines real and imaginary coordinates. Learn its arithmetic, rotation geometry, and why Fourier models use complex transforms to recover real cash prices.

A complex number is a number of the form z=a+biz=a+bi, where aa and bb are real numbers and i2=−1i^2=-1. Its real part is Re⁡(z)=a\operatorname{Re}(z)=a and its imaginary part is Im⁡(z)=b\operatorname{Im}(z)=b. The imaginary part is the real coefficient bb, not the whole term bibi. Real numbers are included: a=a+0ia=a+0i.

For a quant, complex numbers become useful when a model's probability distribution is easier to describe through oscillations than through a density. Fourier transforms and characteristic functions use them to package sine and cosine information together. The resulting option price is still a real cash amount.

A point, a length and an angle

Plot a+bia+bi at the point (a,b)(a,b) in the complex plane: real part horizontally, imaginary part vertically. This looks like a two-dimensional vector, but complex multiplication supplies an extra operation with a geometric meaning.
The length, called its modulus, is
∣z∣=a2+b2.\lvert z\rvert=\sqrt{a^2+b^2}.

For z≠0z\ne0, choose an angle θ\theta from the positive real axis, measured counterclockwise in radians. Then

z=∣z∣(cos⁡θ+isin⁡θ)=∣z∣eiθ.z=\lvert z\rvert(\cos\theta+i\sin\theta) =\lvert z\rvert e^{i\theta}.
The second equality uses Euler's formula, eiθ=cos⁡θ+isin⁡θe^{i\theta}=\cos\theta+i\sin\theta. Angles differing by a whole turn describe the same point; zero has no defined angle. MIT's complex-number notes develop this rectangular-to-polar connection.

Multiplication by ii sends (a,b)(a,b) to (−b,a)(-b,a): a counterclockwise quarter-turn with no change in length. Thus 2+3i2+3i becomes −3+2i-3+2i. More generally, multiplying nonzero complex numbers multiplies their lengths and adds their angles, modulo whole turns. This is why complex exponentials suit waves and frequency calculations.

Two dimensionless complex planes. Left: z at 2,3 rotates counterclockwise 90 degrees to iz at minus 3,2; both have length square root of 13. Right: the weighted average of 1 with weight 0.25 and i with weight 0.75 is 0.25 plus 0.75i, inside the unit circle.
Two dimensionless complex planes. Left: z at 2,3 rotates counterclockwise 90 degrees to iz at minus 3,2; both have length square root of 13. Right: the weighted average of 1 with weight 0.25 and i with weight 0.75 is 0.25 plus 0.75i, inside the unit circle.
Original dimensionless illustrations. Left: multiplication by ii preserves length. Right: the probability-weighted average used in the synthetic example below need not have unit length.

Arithmetic without a new rulebook

Addition combines coordinates. Multiplication expands brackets as usual, with i2i^2 replaced by −1-1:

(a+bi)+(c+di)=(a+c)+(b+d)i,(a+bi)(c+di)=(ac−bd)+(ad+bc)i.\begin{aligned} (a+bi)+(c+di)&=(a+c)+(b+d)i,\\ (a+bi)(c+di)&=(ac-bd)+(ad+bc)i. \end{aligned}

For example,

(2+3i)(1−2i)=2−4i+3i−6i2=8−i.(2+3i)(1-2i)=2-4i+3i-6i^2=8-i.

The positive 66 in the real part is the crucial sign: −6i2=+6-6i^2=+6. Multiplying real parts and imaginary parts separately would miss the cross terms.

For division, multiply numerator and denominator by the denominator's complex conjugate, which reverses the sign of its imaginary part:
2+3i1−2i=(2+3i)(1+2i)(1−2i)(1+2i)=−4+7i5=−0.8+1.4i.\frac{2+3i}{1-2i} =\frac{(2+3i)(1+2i)}{(1-2i)(1+2i)} =\frac{-4+7i}{5} =-0.8+1.4i.

In general, (c+di)(c−di)=c2+d2(c+di)(c-di)=c^2+d^2, so the denominator becomes real and positive unless c=d=0c=d=0. Division by zero remains undefined.

There is no usual greater-than ordering on complex numbers compatible with field arithmetic. A pricing routine cannot ask whether a complex payoff is “positive” in the same way it uses max⁡(ST−K,0)\max(S_T-K,0) for a real call payoff. Modulus compares lengths; it does not turn a complex intermediate value into a cash price.

A real payoff with a complex transform

Consider a synthetic claim paying USD 1 if an event occurs and USD 0 otherwise. Let the dimensionless indicator XX equal 1 on the event and 0 otherwise. Stipulate a risk-neutral model with probability 0.750.75 for the event, zero interest rates and a single payment date. Its model value is the real expected payoff, USD 0.75. An observed event frequency alone would not establish that pricing probability.

Now encode the same two-outcome distribution using its characteristic function. For a real frequency uu, with uXuX measured in radians,

ϕX(u)=E[eiuX]=0.25+0.75eiu=(0.25+0.75cos⁡u)+i(0.75sin⁡u).\begin{aligned} \phi_X(u)&=\mathbb{E}[e^{iuX}]\\ &=0.25+0.75e^{iu}\\ &=(0.25+0.75\cos u)+i(0.75\sin u). \end{aligned}

At u=π/2u=\pi/2, the two possible phase values are 11 and ii, so

ϕX(π/2)=0.25+0.75i.\phi_X(\pi/2)=0.25+0.75i.
This number is dimensionless distribution information, not a quoted price with an “imaginary USD” component. Its real and imaginary coordinates are the averages of the cosine and sine phases. Its modulus is 5/8≈0.790569\sqrt{5/8}\approx0.790569, which is neither the event probability nor the claim's value. At zero frequency, ϕX(0)=1\phi_X(0)=1 because the probability weights sum to one.

Every phase eiuXe^{iuX} has unit modulus for real uu and real XX. Averaging those phases can shorten the resulting vector, explaining ∣ϕX(u)∣≤1\lvert\phi_X(u)\rvert\le1. It need not lie on the unit circle, even though each outcome's phase does. Nor can one generally replace E[eiuX]\mathbb{E}[e^{iuX}] with eiuE[X]e^{iu\mathbb{E}[X]}: averaging and applying the exponential are different operations.

How the complex part disappears from a price

Fourier option-pricing methods apply this representation to a model of terminal log-price or log-return, then combine the transform with the payoff and discounting. Carr and Madan's original FFT pricing paper provides one such construction. Complex arithmetic is part of the calculation; the price it reconstructs is real.

For a real-valued random variable and real uu,

ϕX(−u)=ϕX(u)‾.\phi_X(-u)=\overline{\phi_X(u)}.

The negative-frequency transform has the same real part and the opposite imaginary part. In a valid Fourier inversion, this symmetry pairs contributions so that imaginary terms cancel; equivalent half-axis formulas explicitly take a real part. Inversion still needs its convergence conditions. Our discrete indicator example illustrates the encoding directly; it is not a continuous-density inversion example.

A small imaginary residue in a calculation whose exact result is real can arise from numerical error. A material residue calls for checks of transform conventions, integration accuracy and any complex logarithm or square-root branches. Taking a real part indiscriminately does not validate an incorrect formula.

For the next step, Fourier Transform Pricing, §§7.1–7.4 connects characteristic functions, conjugate symmetry, inversion and the discrete Fourier transform. The public page provides a preview; the full lesson requires membership.

Sources

Last updated
  • complex numbers
  • complex plane
  • arithmetic
  • fourier methods
  • characteristic functions
← Back to the glossaryBack to top ↑