Number Systems

A number system is a structured set of numbers together with operations and rules for representing and combining them. The principal systems — natural, integer, rational, real, and complex numbers — form a nested hierarchy, each extending the previous to solve equations the smaller system cannot. They underpin all of arithmetic, algebra, and analysis; developed across millennia from Babylonian tablets to 19th-century formal constructions.

A number system consists of a set of numbers (such as $\mathbb{N},\mathbb{Z},\mathbb{Q},\mathbb{R},\mathbb{C}$) equipped with operations like addition and multiplication, plus axioms governing them. Each system arises historically and logically to make a previously unsolvable problem solvable: subtraction demands negative numbers, division demands fractions, root-extraction and limits demand irrationals, and the square root of $-1$ demands complex numbers. The systems nest as $\mathbb{N}\subset \mathbb{Z}\subset \mathbb{Q}\subset \mathbb{R}\subset \mathbb{C}$, each a faithful extension preserving the arithmetic of its predecessor. A surprising fact: although the rationals seem to "fill up" the number line densely, they leave infinitely many "gaps" (the irrationals), and there are vastly more irrationals than rationals — uncountably versus countably many.

The Core Insight

Every enlargement of the number concept is driven by closure: we want the answer to an operation to stay inside the set. Naturals are not closed under subtraction, so we invent integers; integers are not closed under division, so we invent rationals; rationals are not "complete" (limits escape them), so we invent reals; reals are not closed under taking square roots of negatives, so we invent complex numbers. Each step adds exactly what is missing — no more, no less.

Formal Statement

The Standard Number Systems

We define the nested hierarchy of number sets:

• Natural numbers $\mathbb{N}=\{0,1,2,3,\dots \}$ (some authors start at $1$). Used for counting.
• Integers $\mathbb{Z}=\{\dots ,-2,-1,0,1,2,\dots \}$. Naturals plus their negatives.
• Rational numbers $\mathbb{Q}=\left\{\frac{p}{q}:p,q\in \mathbb{Z},q\ne 0\right\}$. Ratios of integers.
• Real numbers $\mathbb{R}$: all points on the continuous number line, including irrationals.
• Complex numbers $\mathbb{C}=\{a+bi:a,b\in \mathbb{R},i^2=-1\}$.

Here $p,q$ are integers, $a,b$ are real numbers, and $i$ is the imaginary unit satisfying $i^2=-1$.

The chain of inclusions is:

A key structural fact is that $\mathbb{Q}$, $\mathbb{R}$, and $\mathbb{C}$ are fields: sets where addition, subtraction, multiplication, and division (except by zero) all behave as expected. The field axioms require, for all elements:

Every nonzero element of a field has a multiplicative inverse:

Density of the Rationals; Incompleteness of the Rationals

Between any two distinct rationals there is another rational (density). However, $\mathbb{Q}$ is not complete: there exist bounded increasing sequences of rationals whose limit is not rational. The real numbers $\mathbb{R}$ are the unique complete ordered field containing $\mathbb{Q}$.

Why It Holds / Derivation

$\sqrt{2}$ is irrational — a gap in $\mathbb{Q}$

We show that no rational number squares to $2$, proving $\mathbb{Q}$ has "gaps."

1. Suppose, for contradiction, that $\sqrt{2}=\frac{p}{q}$ with $p,q\in \mathbb{Z}$, $q\ne 0$, and the fraction in lowest terms (no common factor).
2. Then $p^2=2q^2$, so $p^2$ is even.
3. If $p^2$ is even, then $p$ is even (an odd number squared is odd). Write $p=2k$.
4. Substitute: $(2k{)}^2=2q^2\Rightarrow 4k^2=2q^2\Rightarrow q^2=2k^2$.
5. Then $q^2$ is even, so $q$ is even.
6. But now both $p$ and $q$ are even, contradicting "lowest terms."
7. The assumption fails: no such rational exists. Hence $\sqrt{2}\notin \mathbb{Q}$, yet $\sqrt{2}\in \mathbb{R}$. $■$

This single fact justifies the entire leap from $\mathbb{Q}$ to $\mathbb{R}$. The relevant equation:

Richard Dedekind | 1831–1916

Dedekind gave the first rigorous construction of the real numbers using Dedekind cuts: a real number is identified with a partition of the rationals into two sets $(A,B)$ where every element of $A$ is less than every element of $B$ and $A$ has no greatest element. The cut "at $\sqrt{2}$" places all rationals whose square is less than 2 (and all negatives) in $A$, the rest in $B$ — pinning down the gap exactly. Published in Stetigkeit und irrationale Zahlen (1872), this turned the intuitive number line into a precise logical object and resolved centuries of vagueness about the continuum.

Building Intuition

Picture a long ruler. The integers are evenly spaced fence posts. The rationals are all the marks you can make by repeatedly subdividing the gaps into equal parts — and there are infinitely many in any interval, no matter how tiny. It feels like the line is full. But it is not: points like $\sqrt{2}\approx 1.41421\dots$ and $\pi \approx 3.14159\dots$ live in the cracks between the rationals. The reals are the ruler with every point filled, including those cracks. Finally, the complex numbers lift you off the ruler entirely into a two-dimensional plane, where multiplication by $i$ means "rotate 90°."

The nested hierarchy of number systems

Worked Examples

Converting a repeating decimal to a fraction

1. Let $x=0.363636\dots$
2. The repeating block has 2 digits, so multiply by $100$: $100x=36.363636\dots$
3. Subtract: $100x-x=36.363636\cdots -0.363636\cdots =36$.
4. So $99x=36$, giving $x=\frac{36}{99}$.
5. Simplify by dividing top and bottom by $\gcd (36,99)=9$: $x=\frac{4}{11}$.

This confirms a general fact: every terminating or repeating decimal is rational.

Arithmetic in the complex numbers

1. $z_1{z}_2=(3+2i)(1-4i)=3-12i+2i-8i^2$.
2. Use $i^2=-1$: $-8i^2=+8$.
3. Combine: $(3+8)+(-12+2)i=11-10i$.

1. Denominator: $(1-4i)(1+4i)=1-16i^2=1+16=17$.
2. Numerator: $(3+2i)(1+4i)=3+12i+2i+8i^2=3-8+14i=-5+14i$.
3. So $\frac{z_1}{z_2}=\frac{-5+14i}{17}=-\frac{5}{17}+\frac{14}{17}i$.

Common Misconceptions

One might guess that the rationals, being dense, must be 'most' of the real numbers. They are not. Cantor's diagonal argument shows $\mathbb{R}$ is uncountable while $\mathbb{Q}$ is countable, so in the sense of cardinality (and of measure), almost every real number is irrational. If you could pick a real number at random from $[0,1]$, the probability of landing on a rational is exactly $0$ — despite there being infinitely many of them in every interval. See Cardinality and Countability.

Connections

Number systems sit at the foundation of nearly every mathematical topic. The field axioms of $\mathbb{R}$ and $\mathbb{C}$ are the starting point for Abstract Algebra (rings, fields, groups). The completeness of $\mathbb{R}$ is the bedrock of Limits and Continuity and all of Calculus. The complex numbers unify Trigonometry with exponentials through Euler's formula $e^{i\theta }=\cos \theta +i\sin \theta$, and they make the Fundamental Theorem of Algebra true: every non-constant polynomial has a root in $\mathbb{C}$. The countability distinctions connect to Cardinality and Countability and Set Theory.

Real-World Applications

• Computing & binary representation: all digital data is stored in base-2 integers; floating-point hardware approximates $\mathbb{R}$ via finite binary fractions (IEEE 754 standard).
• Electrical engineering: alternating-current circuits use complex impedance $Z=R+iX$ to combine resistance and reactance in one number; phasors encode amplitude and phase.
• Signal processing: the Fourier transform represents signals using complex exponentials, fundamental to audio compression (MP3), image formats (JPEG), and Wi-Fi.
• Cryptography: RSA encryption relies on integer arithmetic modulo large primes — properties of $\mathbb{Z}$.
• Quantum mechanics: state amplitudes are genuinely complex numbers; probabilities come from $|z{|}^2$.
• GPS and physics measurements: require real-valued continuous quantities (time, distance) modeled by $\mathbb{R}$.
• Finance: rational arithmetic handles exact currency (cents), avoiding floating-point rounding errors.

Historical Development

• c. 1800 BCE: Babylonians use a base-60 positional system and approximate $\sqrt{2}$ to remarkable accuracy on clay tablet YBC 7289.
• c. 500 BCE: Pythagoreans discover incommensurable lengths (irrationality of $\sqrt{2}$), a crisis for their "all is number" doctrine.
• c. 250 CE: Diophantus works with rational solutions to equations but rejects negative answers as "absurd."
• c. 628 CE: Brahmagupta in India formulates rules for zero and negative numbers explicitly.
• 9th century: Al-Khwārizmī systematizes algebra; Hindu–Arabic numerals and positional decimal notation spread.
• 1545: Cardano, solving cubics, encounters square roots of negatives; Bombelli (1572) develops rules for them.
• 1637: Descartes coins "imaginary" (dismissively) for complex roots; later Euler introduces the symbol $i$.
• 1872: Dedekind (cuts) and Cantor (Cauchy sequences) independently give rigorous constructions of $\mathbb{R}$.
• 1874: Cantor proves $\mathbb{R}$ is uncountable, distinguishing infinities and founding modern set theory.

Subtleties & Limits

The hierarchy does not stop at $\mathbb{C}$. The quaternions $\mathbb{H}$ (Hamilton, 1843) extend $\mathbb{C}$ to four dimensions but sacrifice commutativity; the octonions $\mathbb{O}$ go to eight dimensions and lose associativity. The Hurwitz theorem shows these are the only normed division algebras over $\mathbb{R}$ — the road of "nice" number systems ends. Meanwhile, deep open questions remain about specific numbers: it is unknown whether $\pi +e$ or $\pi \cdot e$ is irrational (though at least one must be), and the Continuum Hypothesis — whether any set has cardinality strictly between $\mathbb{N}$ and $\mathbb{R}$ — was proven independent of standard set theory axioms (Gödel 1940, Cohen 1963), meaning it can be neither proved nor disproved.

See Also