Skip to content

Complex number

A field element a+bi extending the reals by i²=−1, equivalently a plane point with field multiplication that encodes rotation and scaling.

Version
v1 · 2026-09-28 · History
Domain-specific #
8603
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Complex Analysis, Algebra → Mathematics

Core Idea

Complex numbers enlarge the real line by an independent direction generated by i. Addition combines components; multiplication uses i²=−1, making the plane into a field rather than merely a vector space.

Cartesian form exposes real and imaginary parts, while polar form exposes modulus and argument. Conjugation yields |z|²=z z̄. The field supplies roots missing from the reals and underpins algebra, analysis, waves, and linear systems.

How would you explain it like I'm…

Numbers on a Flat Map

Normal numbers sit on a line, going left and right. Complex numbers add a whole new direction, up and down, so every number is a spot on a flat map. There is a special number called i, and when you multiply i by itself you get minus one.

Numbers With an Extra Direction

Ordinary numbers can be lined up on a number line. Complex numbers add a new, separate direction using a special number called i, which has the rule i times i equals -1. So each complex number has two parts, a real part and an imaginary part, like 3 + 2i, and can be drawn as a point on a flat plane. You add them by adding the parts, and you multiply them using the rule i² = -1. Complex numbers let you solve equations that ordinary numbers cannot, like x² = -1.

The Field Extending ℝ by i

Complex numbers extend the real numbers by adding an independent direction generated by i, where i² = −1. A complex number can be written in Cartesian form a + bi, showing its real part a and imaginary part b, or in polar form, showing its distance from zero (modulus) and its angle (argument). Addition works component by component, and multiplication uses i² = −1. Because every nonzero complex number has a multiplicative inverse, they form a field, not just a plane of arrows. Multiplying z by its conjugate gives the square of its modulus, |z|² = z z̄. Complex numbers supply roots that the real numbers lack, and they are central to algebra, analysis, and the study of waves and linear systems.

 

Complex numbers enlarge the real line by an independent direction generated by i, with i² = −1. Addition is componentwise; multiplication follows from i² = −1, which makes the plane into a field rather than merely a two-dimensional real vector space. Cartesian form a + bi exposes real and imaginary parts, while polar form exposes modulus and argument, making multiplication visible as scaling combined with rotation. Conjugation z̄ = a − bi satisfies |z|² = z z̄, which yields reciprocals and moduli. The field provides roots missing from the reals, which is why it underpins algebra, complex analysis, wave descriptions, and the analysis of linear systems.

Structural Signature

Sig role-phrases:

  • Real component a — Supplies projection onto the real axis. It is component. Counterfactual: It alone cannot represent nonreal values.
  • Imaginary component b — Scales the independent imaginary direction. It is component. Counterfactual: Calling b itself imaginary confuses coefficient and bi.
  • Unit i — Imposes i²=−1 and multiplication rules. It is generator. Counterfactual: An unspecified symbol with no relation does not define C.
  • Field operations — Combine components with distributivity and the i² relation. It is algebra. Counterfactual: Coordinatewise multiplication is not complex multiplication.
  • Conjugation — Maps a+bi to a−bi and supports norm and roots. It is symmetry. Counterfactual: Conjugation is not additive negation.
  • Plane representation — Maps numbers to points with modulus and argument. It is geometry. Counterfactual: Coordinates depend on chosen real and imaginary axes.

What It Is Not

  • It is not a fictitious or invalid number.
  • It is not any ordered pair of reals.
  • It is not a split-complex or dual number.
  • It does not admit a field-compatible total order extending the reals.
  • Closest near-miss. A two-dimensional real vector is only additive data; a complex number additionally carries the particular multiplication determined by i²=−1.

Scope of Application

  • Polynomial algebra. Provides roots and factorization over C.
  • Complex analysis. Supports holomorphic functions and contour methods.
  • Signals and waves. Represents phase and amplitude.
  • Geometry. Models plane rotations and conformal maps.
  • Linear systems. Encodes eigenvalues and oscillatory modes.

Clarity

State Cartesian or polar convention, branch choices for argument or roots, and whether equality is exact or numerical. Preserve field multiplication and distinguish coefficient b from imaginary part bi.

Manages Complexity

The abstraction unifies two real coordinates with a multiplication that turns geometry into algebra. It changes rotation, oscillation, and polynomial roots into routine field operations while keeping representation choices explicit.

Abstract Reasoning

  1. Write z=a+bi.
  2. Apply field operations using i²=−1.
  3. Use conjugation for modulus and division.
  4. Convert to polar form for products and powers.
  5. Declare branches for arguments, roots, and logarithms.
  6. Check whether a generalization changes the generator law.

Knowledge Transfer

The transferable cargo is a two-dimensional real algebra whose multiplication encodes rotation-scaling. It transfers through field isomorphism; it stops at visual similarity to any pair of quantities.

Examples

Applied / In Practice

(a+bi)(c+di)=(ac−bd)+(ad+bc)i follows from distributivity and i²=−1.

Mapped back: invariant → field multiplication.

Applied / In Practice

A nonzero number re^{iθ} multiplies by multiplying moduli and adding arguments.

Mapped back: representation → polar; operation → rotation-scaling.

Applied / In Practice

Pairs with j²=+1 have zero divisors and define split-complex, not ordinary complex, numbers.

Mapped back: generator square → 1; class → split-complex.

Structural Tensions

T1 — Algebraic Closure versus Loss Of Order. Polynomial solving improves while no compatible total order extends the real order.

Diagnostic: Which structure is needed?

T2 — Cartesian Components versus Polar Geometry. Coordinates simplify addition while magnitude-angle simplify multiplication.

Diagnostic: Which representation exposes the operation?

T3 — Single Value versus Multivalued Argument. A number is unique but its argument is defined modulo 2π.

Diagnostic: Has a branch convention been declared?

Structural–Framed Character

Complex Number is hybrid: structurally a field extension and framed by algebraic, geometric, and analytic representation conventions.

Structural Core vs. Domain Accent

The core is a real pair with one defining multiplication relation. Mathematics supplies real and imaginary parts, conjugation, modulus, argument, roots, holomorphic functions, and algebraic closure.

  • Approved root. Bicomplex numbers strictly extend rather than subsume ordinary complex numbers.

  • Related — imaginary unit, complex plane, conjugate, modulus, argument, fundamental theorem of algebra, and Riemann surface. These provide structure and uses.

Neighborhood in Abstraction Space

Complex number sits in a crowded region of the domain-specific corpus (32nd percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Matrices, Measures & Numeric Structures (30 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With

  • Bicomplex Number. Tell: Bicomplex numbers add another commuting imaginary unit and form a larger algebra.
  • Split-Complex Number. Tell: Its generator squares to +1 and creates zero divisors.
  • Dual Number. Tell: Its infinitesimal generator squares to zero.
  • Two-Dimensional Vector. Tell: A vector lacks the canonical complex field multiplication.

References

  • Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Complex_number (revision 1360906243).
  • Preserved source candidate: https://books.google.com/books?id=VWTNCwAAQBAJ&pg=PA73
  • Preserved source candidate: https://archive.org/details/collegealgebrawi00axle
  • Preserved source candidate: https://archive.org/details/collegealgebrawi00axle/page/n285
  • Preserved source candidate: https://mathworld.wolfram.com/ComplexNumber.html
  • Preserved source candidate: https://books.google.com/books?id=OODs2mkOOqAC
  • Preserved source candidate: https://books.google.com/books?id=OODs2mkOOqAC&pg=PA570
  • Preserved source candidate: https://books.google.com/books?id=TLgjLBeY55YC
  • Preserved source candidate: https://books.google.com/books?id=TLgjLBeY55YC&pg=PA37

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.