Mathematicians disagree on the essential structure of the complex numbers (2024)

Original Article ↗ Hacker News Discussion ↗

Essential structures for ℂ

  • Several conceptions are contrasted:
    • Purely algebraic: ℂ as “the” algebraically closed field of characteristic 0 with a given cardinality, ignoring topology/geometry.
    • Rigid/coordinate: ℂ ≅ ℝ² with a fixed copy of ℝ and a distinguished element i; then only identity and conjugation are automorphisms.
    • Analytic/smooth/topological: ℂ as a 1‑dimensional complex (2‑real‑dimensional) manifold/field with its standard topology and differentiable structure.
  • Disagreement is less about correctness and more about which structure is considered primary and what information we choose to “forget”.

i vs −i, automorphisms, and Galois flavor

  • Core technical issue: whether an automorphism of ℂ must fix the embedded ℝ and a chosen i; if not, there are many “wild” automorphisms.
  • Some argue “there is only one i; −i is just (−1)i”, others emphasize that algebraically the two roots of −1 are indistinguishable until extra structure is fixed.
  • Analogies are drawn to Galois theory: indistinguishability of roots over smaller fields; forgetting order on ℚ makes √2 and −√2 algebraically symmetric.

Geometric and operational viewpoints

  • Many comments favor geometric interpretations:
    • Complex numbers as 2D vectors with a special multiplication giving rotations+scaling.
    • Complex numbers as a special class of 2×2 matrices, or as the even subalgebra of 2D geometric algebra.
  • Debate over whether rotation is “baked into” the definition of i (as a 90° rotation) or “emerges” from demanding distributive multiplication on pairs.

Pedagogy and intuition (calculus and complex)

  • Complaints that school calculus emphasizes epsilon–delta rigor too early, obscuring geometric intuition.
  • Some advocate starting from functions and continuity, or informal infinitesimals, with rigor postponed.
  • Similar theme for complex numbers: many misunderstandings trace to terminology (“imaginary”, “complex”) and to presenting them as mysterious fixes to polynomial equations rather than as natural 2D transformations.

Philosophical status of numbers

  • Several participants question whether ℂ (or even ℝ) is “natural” or merely a powerful convenience.
  • Points raised:
    • Most reals are non‑computable or indescribable; that makes ℝ feel less “real” than often claimed.
    • Complex numbers appear deeply in physics (e.g., wave phenomena, quantum theory) but can sometimes be recast into paired real equations; views differ on whether this makes them fundamental or just an efficient encoding.
    • Comparisons to historical suspicion of 0, negatives, and irrationals: resistance to ℂ may be another stage of that story.

Set theory, models, and definability

  • Mention of a model of ZFC with a definable ℝ and ℂ in which the two square roots of −1 are set‑theoretically indiscernible, reinforcing that distinguishing i from −i requires additional structure.
  • Discussion that purely field‑theoretic conceptions cannot single out specific transcendentals like π without topology/order.

Language, notation, and multi-valuedness

  • Some argue that “multivalued functions” (complex log, roots) are better described as single‑valued maps into equivalence classes or as relations with chosen branches.
  • Broader theme: names, notation, and what structure we foreground (order, topology, algebra) substantially shape how we think about ℂ, even though all standard constructions are isomorphic.