Number Systems

⚡ Key Takeaways

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.

💡 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

DefinitionThe Standard Number Systems

We define the nested hierarchy of number sets:

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

Here p,qp, q are integers, a,ba, b are real numbers, and ii is the imaginary unit satisfying i2=−1i^2 = -1.

The chain of inclusions is:

1
N⊂Z⊂Q⊂R⊂C\quad \mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}

Derivation hint: each set is embedded in the next by an injection preserving ++ and ×\times; e.g. n↦n/1n \mapsto n/1 embeds Z\mathbb{Z} into Q\mathbb{Q}. A key structural fact is that Q\mathbb{Q}, R\mathbb{R}, and C\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:

2
a+b=b+a,a⋅b=b⋅a(commutativity)\quad a + b = b + a, \qquad a \cdot b = b \cdot a \quad \text{(commutativity)}

Derivation hint: these are taken as axioms; they encode that order of operands does not affect the result.

3
a⋅(b+c)=a⋅b+a⋅c(distributivity)\quad a \cdot (b + c) = a\cdot b + a \cdot c \quad \text{(distributivity)}

Derivation hint: links the two operations; it is the single axiom connecting ++ and ×\times. Every nonzero element of a field has a multiplicative inverse:

4
∀a≠0, ∃ a−1 such that a⋅a−1=1\quad \forall a \neq 0,\ \exists\, a^{-1} \text{ such that } a \cdot a^{-1} = 1

Derivation hint: this is precisely what fails in Z\mathbb{Z} (e.g. 22 has no integer inverse), forcing the extension to Q\mathbb{Q}.

TheoremDensity of the Rationals; Incompleteness of the Rationals

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

Why It Holds / Derivation

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

We show that no rational number squares to 22, proving Q\mathbb{Q} has "gaps." 1. Suppose, for contradiction, that 2=pq\sqrt{2} = \dfrac{p}{q} with p,q∈Zp, q \in \mathbb{Z}, q≠0q \neq 0, and the fraction in lowest terms (no common factor). 2. Then p2=2q2p^2 = 2q^2, so p2p^2 is even. 3. If p2p^2 is even, then pp is even (an odd number squared is odd). Write p=2kp = 2k. 4. Substitute: (2k)2=2q2⇒4k2=2q2⇒q2=2k2(2k)^2 = 2q^2 \Rightarrow 4k^2 = 2q^2 \Rightarrow q^2 = 2k^2. 5. Then q2q^2 is even, so qq is even. 6. But now both pp and qq are even, contradicting "lowest terms." 7. The assumption fails: no such rational exists. Hence 2∉Q\sqrt{2} \notin \mathbb{Q}, yet 2∈R\sqrt{2} \in \mathbb{R}. ■\blacksquare

∎

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

5
p2=2q2  ⟹  p, q both even   ⟹  contradiction\quad p^2 = 2q^2 \implies p,\, q \text{ both even } \implies \text{contradiction}

Derivation hint: square both sides of 2=p/q\sqrt2 = p/q and apply the parity argument repeatedly.

mathematician · 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)(A, B) where every element of AA is less than every element of BB and AA has no greatest element. The cut "at 2\sqrt 2" places all rationals whose square is less than 2 (and all negatives) in AA, the rest in BB — 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

🧠 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 2≈1.41421…\sqrt 2 \approx 1.41421\dots and π≈3.14159…\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 ii means "rotate 90°."

Figure
The nested hierarchy of number systems
ℕ ℤ ℚ ℝ ℂ ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ irrationals: √2, π, e i, 3+2i

Worked Examples

ExampleConverting a repeating decimal to a fraction

Given: the repeating decimal x=0.36‾=0.363636…x = 0.\overline{36} = 0.363636\dots Show it is rational and find its fraction.

Steps: 1. Let x=0.363636…x = 0.363636\dots 2. The repeating block has 2 digits, so multiply by 100100: 100x=36.363636…100x = 36.363636\dots 3. Subtract: 100x−x=36.363636⋯−0.363636⋯=36100x - x = 36.363636\dots - 0.363636\dots = 36. 4. So 99x=3699x = 36, giving x=3699x = \dfrac{36}{99}. 5. Simplify by dividing top and bottom by gcd⁡(36,99)=9\gcd(36,99) = 9: x=411x = \dfrac{4}{11}.

0.36‾=411 (a rational number, dimensionless)\boxed{0.\overline{36} = \dfrac{4}{11}\ \text{(a rational number, dimensionless)}}

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

ExampleArithmetic in the complex numbers

Given: z1=3+2iz_1 = 3 + 2i and z2=1−4iz_2 = 1 - 4i. Compute z1z2z_1 z_2 and z1z2\dfrac{z_1}{z_2}.

Steps (product): 1. z1z2=(3+2i)(1−4i)=3−12i+2i−8i2z_1 z_2 = (3+2i)(1-4i) = 3 - 12i + 2i - 8i^2. 2. Use i2=−1i^2 = -1: −8i2=+8-8i^2 = +8. 3. Combine: (3+8)+(−12+2)i=11−10i(3 + 8) + (-12 + 2)i = 11 - 10i.

Steps (quotient): multiply numerator and denominator by the conjugate z2‾=1+4i\overline{z_2} = 1 + 4i: 4. Denominator: (1−4i)(1+4i)=1−16i2=1+16=17(1-4i)(1+4i) = 1 - 16i^2 = 1 + 16 = 17. 5. Numerator: (3+2i)(1+4i)=3+12i+2i+8i2=3−8+14i=−5+14i(3+2i)(1+4i) = 3 + 12i + 2i + 8i^2 = 3 - 8 + 14i = -5 + 14i. 6. So z1z2=−5+14i17=−517+1417i\dfrac{z_1}{z_2} = \dfrac{-5 + 14i}{17} = -\dfrac{5}{17} + \dfrac{14}{17}i.

z1z2=11−10i,z1z2=−517+1417i\boxed{z_1 z_2 = 11 - 10i, \qquad \dfrac{z_1}{z_2} = -\tfrac{5}{17} + \tfrac{14}{17}i}

Common Misconceptions

⚠️ Common mistake

"0.9‾=10.\overline{9} = 1 is just an approximation." False — it is exactly equal. Since 0.9‾=99=10.\overline{9} = \frac{9}{9} = 1 by the same method as the example above, the two notations name the identical number. There is no "tiny gap" between them.

"Every number is either positive or negative." Zero is neither. "−1\sqrt{-1} doesn't exist." It does not exist in R\mathbb{R}, but it exists perfectly well as i∈Ci \in \mathbb{C}. "Bigger sets just have more numbers." Subtler: N,Z,Q\mathbb{N}, \mathbb{Z}, \mathbb{Q} all have the same (countable) size, while R\mathbb{R} is strictly larger (uncountable).

Counterexample

One might guess that the rationals, being dense, must be 'most' of the real numbers. They are not. Cantor's diagonal argument shows R\mathbb{R} is uncountable while Q\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][0,1], the probability of landing on a rational is exactly 00 — despite there being infinitely many of them in every interval. See Cardinality and Countability.

Connections

connection

Number systems sit at the foundation of nearly every mathematical topic. The field axioms of R\mathbb{R} and C\mathbb{C} are the starting point for Abstract Algebra (rings, fields, groups). The completeness of R\mathbb{R} is the bedrock of Limits and Continuity and all of Calculus. The complex numbers unify Trigonometry with exponentials through Euler's formula eiθ=cos⁡θ+isin⁡θ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 C\mathbb{C}. The countability distinctions connect to Cardinality and Countability and Set Theory.

Real-World Applications

🔬 Where this appears

Historical Development

⏳ History
- c. 1800 BCE: Babylonians use a base-60 positional system and approximate 2\sqrt 2 to remarkable accuracy on clay tablet YBC 7289.
- c. 500 BCE: Pythagoreans discover incommensurable lengths (irrationality of 2\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 ii.
- 1872: Dedekind (cuts) and Cantor (Cauchy sequences) independently give rigorous constructions of R\mathbb{R}.
- 1874: Cantor proves R\mathbb{R} is uncountable, distinguishing infinities and founding modern set theory.

Subtleties & Limits

open-problem

The hierarchy does not stop at C\mathbb{C}. The quaternions H\mathbb{H} (Hamilton, 1843) extend C\mathbb{C} to four dimensions but sacrifice commutativity; the octonions O\mathbb{O} go to eight dimensions and lose associativity. The Hurwitz theorem shows these are the only normed division algebras over R\mathbb{R} — the road of "nice" number systems ends. Meanwhile, deep open questions remain about specific numbers: it is unknown whether π+e\pi + e or π⋅e\pi \cdot e is irrational (though at least one must be), and the Continuum Hypothesis — whether any set has cardinality strictly between N\mathbb{N} and R\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

Fundamental Theorem of Algebra · Cardinality and Countability · Real Analysis · Complex Analysis · Abstract Algebra · Number Theory · Set Theory · Euler's Formula