Complex number

Complex number
Name	Complex number
Field	Mathematics, Algebra, Analysis
Introduced	16th–18th centuries
Notation	a + bi

Complex number A complex number is a number of the form a + bi where a and b are real numbers and i is the imaginary unit satisfying i^2 = −1. Complex numbers extend the Real number system to form a field that is algebraically closed and supports addition, multiplication, and division (except by zero). They play central roles in Euler, Gauss, Cauchy, Riemann studies and are foundational in modern Galois theory, Fourier analysis, and quantum mechanics.

Definition and notation

A complex number is written a + bi, with a called the real part and b called the imaginary part; standard notation uses Re(z) = a and Im(z) = b. The imaginary unit i appears in works by Cardano, Bombelli, and later formalizations by Descartes and Euler; some literature uses j in Electrical engineering contexts such as Maxwell-related circuit theory. Complex conjugation z̄ = a − bi is an involution used in identities appearing in Gauss’s proofs, and the modulus |z| = sqrt(a^2 + b^2) ties complex numbers to Pythagoras-derived geometry and Euclid-style metric notions.

Algebraic properties

The set of all complex numbers forms a field, often denoted C, satisfying associativity, commutativity, distributivity, and existence of additive and multiplicative inverses, properties used extensively by Galois and in Field theory. Complex arithmetic obeys (a+bi)+(c+di) = (a+c) + (b+d)i and (a+bi)(c+di) = (ac−bd) + (ad+bc)i, identities that appear in algebraic manipulations in texts by Lagrange and Hamilton. The fundamental theorem of algebra, proved by d’Alembert, Gauss, and later refined by Cauchy and Riemann, states that nonconstant polynomials with coefficients in C have roots in C, making C algebraically closed. Complex norms induce a topology compatible with vector-space structure over Real numbers, enabling linear algebraic concepts such as eigenvalues and eigenvectors in work by Hermite and Schur.

Geometric representation

Complex numbers correspond to points in the plane, linking algebra to geometry via the complex plane or Argand diagram introduced by Argand and championed by Gauss. The polar form z = r e^{iθ} (r ≥ 0, θ real) uses the exponential map from Euler’s formula e^{iθ} = cos θ + i sin θ, central in studies by Fourier and Laplace. Multiplication corresponds to rotation and scaling—the modulus multiplies while arguments add—a geometric insight employed in Kepler-era celestial mechanics analogies and later in Möbius transformations studied by Riemann. Conformal maps and stereographic projection connect complex geometry to Riemann sphere concepts used by Stereographic projection practitioners.

Complex functions and calculus

Complex-valued functions f: C → C are analytic when they satisfy the Cauchy–Riemann equations, developed by Cauchy and formalized by Riemann; analyticity implies differentiability in the complex sense and underpins Holomorphic function theory. Complex integration, with contour integrals and residues in the residue theorem, is central to methods by Residue theorem-using analysts such as Jordan and Weierstrass; these tools solve integrals arising in Laplace transforms and Fourier transforms. Singularities, branch cuts, and analytic continuation are concepts refined in the works of Poincaré and Hadamard, while entire functions and meromorphic functions are classified in studies by Picard and Nevanlinna.

Applications and examples

Complex numbers are indispensable in Quantum mechanics (state amplitudes, unitary evolution), where Schrödinger’s equation uses complex-valued wave functions; in Electrical engineering for phasor analysis and impedance via complex algebra pioneered in Ohm-related circuit theory; in Control theory through pole–zero analysis and Laplace-domain methods developed by Nyquist and Bode; and in Signal processing via Fourier analysis and the discrete Fourier transform used in Cooley–Tukey algorithms. In Fluid dynamics and Aerodynamics, complex potentials model potential flow with conformal mapping methods tracing to Airy and Chapman. Fractal geometry, such as the Mandelbrot set and Julia set, arises from iterating complex polynomials, studied by Douady and Hubbard. Complex eigenvalues occur in Vibrations and stability studies in Lyapunov theory; in Number theory, complex multiplication and L-functions feature in results by Hecke and Shimura.

History and development

Early hints at imaginary quantities appear in solutions to cubic equations by Tartaglia and Cardano; negative and imaginary expressions were treated skeptically until algebraists like Bombelli provided rules for manipulation. The geometric interpretation via the Argand diagram was promoted by Argand, Wessel, and Gauss, who emphasized complex numbers’ legitimacy. The 19th century saw formalization through Cauchy’s analysis, Riemann’s function theory, and Hamilton’s extension to quaternions; later 20th-century developments connected complex analysis to Topology and Algebraic geometry through work by Noether, Grothendieck, and Atiyah. Contemporary research continues across Mathematics and Physics disciplines, from analytic number theory in Langlands program contexts to applications in Quantum field theory and computational algorithms by modern researchers and institutions.

Category:Complex analysis