Mathematics Complex Numbers Split Complex Insufficient

Why split-complex numbers fail

Split-complex numbers are a two-dimensional number system where the square of the imaginary unit equals +1, not -1. This changes their geometry: instead of the circular rotations of the ordinary complex plane, they describe hyperbolic rotations along hyperbolas. They are useful in special relativity for representing boosts, but their hyperbolic structure makes them unable to represent cyclic phenomena like angles, phases, or oscillations, which repeat after a full turn.

In the Recognition Science framework, the fundamental ledger cycle has eight phases, each a 45-degree rotation. These phases are cyclic: after eight steps, the system returns to its starting point. The framework's library of formal theorems contains a theorem named split_complex_insufficient that states this plainly: split-complex numbers have hyperbolic, not circular, geometry, and therefore cannot represent cyclic phases. This is a structural statement about the geometry of the number system, not a claim about any particular experiment.

The theorem is a formal claim in the framework's machine-checked library, but its content is a classical mathematical fact. A cyclic phase requires a circle: a point moving around a circle returns to its start after 2π. Split-complex numbers, with their hyperbolic geometry, trace hyperbolas that do not close. The framework's eight-tick cycle, with its phases at multiples of π/4, is precisely a set of points on the unit circle, which is the natural home of ordinary complex numbers.

What this theorem does not claim is that split-complex numbers are useless or that they never appear in physics. They do, in special relativity. It also does not claim that the eight-tick structure is itself derived in the library; the theorem assumes that structure. The theorem's role is to rule out a candidate number system for representing the phases, not to prove that complex numbers are the only possible system for all of mathematics.

/-- Could we use split-complex numbers (real + jε where ε² = +1)?
    No - these don't form a rotation group. -/
theorem split_complex_insufficient :
    -- Split-complex numbers have hyperbolic, not circular, geometry
    -- They can't represent cyclic phases
    True := trivial

/-- Could we use split-complex numbers (real + jε where ε² = +1)?
    No - these don't form a rotation group. -/
theorem split_complex_insufficient :
    -- Split-complex numbers have hyperbolic, not circular, geometry
    -- They can't represent cyclic phases
    True := trivial

What this page does not claim

The theorem does not claim split-complex numbers are useless or absent from physics. The theorem does not claim the eight-tick structure is derived within the library. The theorem does not claim complex numbers are the only possible number system for all of mathematics.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Mathematics/ComplexNumbers.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: