Number Systems — Natural, Integer, Rational, Real, Complex

⚡ Key Takeaways

The number systems form a nested hierarchy $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$ , each extension built to make previously impossible operations possible. One-line statement: every number you meet sits in one of five expanding worlds — counting numbers, integers, fractions, the continuous line, and the plane of complex numbers. Where it applies: all of algebra, geometry, calculus, physics, engineering, and computer science. Who/when: developed over millennia, from ancient counting to Cantor's 19th-century theory of the infinite.

💡 The Core Insight

Each number system is the minimal extension of the previous one that makes a stuck operation work. You cannot compute $3 - 5$ in $\mathbb{N}$ , so you invent negatives. You cannot compute $2 \div 3$ in $\mathbb{Z}$ , so you invent fractions. You cannot find $\sqrt{2}$ in $\mathbb{Q}$ , so you complete the line. You cannot find $\sqrt{-1}$ in $\mathbb{R}$ , so you add a new dimension. The whole tower is a chain of "what was impossible becomes possible".

DefinitionThe Five Number Systems

The standard nested hierarchy is:

1

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

Derivation hint: each inclusion is proper — every integer is a rational ( $n = n/1$ ) but $1/2$ is not an integer; the symbol $\subset$ here means "proper subset". Symbol-by-symbol:

$\mathbb{N} = \{0, 1, 2, 3, \dots\}$ — the natural numbers (counting numbers). (Some authors start at $1$ ; we note both conventions.)
$\mathbb{Z} = \{\dots, -2, -1, 0, 1, 2, \dots\}$ — the integers (from German Zahlen, "numbers"), all whole numbers positive, negative, and zero.
$\mathbb{Q} = \left\{ \dfrac{p}{q} : p, q \in \mathbb{Z},\ q \neq 0 \right\}$ — the rationals (from "ratio"), all fractions of integers.
$\mathbb{R}$ — the reals, all points on the continuous number line, including irrationals like $\sqrt{2}$ and $\pi$ .
$\mathbb{C} = \{ a + bi : a, b \in \mathbb{R},\ i^2 = -1 \}$ — the complex numbers, the plane of all $a + bi$ .

DefinitionA Rational Number in Lowest Terms

A rational number has a canonical form

2

\quad r = \frac{p}{q}, \qquad q > 0, \qquad \gcd(p, q) = 1

Derivation hint: divide numerator and denominator by their greatest common divisor; the sign is carried by $p$ , and the requirement $\gcd(p,q)=1$ makes the representation unique. Here $p \in \mathbb{Z}$ is the numerator, $q \in \mathbb{N}$ (with $q>0$ ) is the denominator, and $\gcd$ denotes the greatest common divisor.

DefinitionA Complex Number

Every complex number is written

3

\quad z = a + bi, \qquad a = \operatorname{Re}(z),\quad b = \operatorname{Im}(z),\quad i^2 = -1

Derivation hint: $i$ is defined as a symbol with the single rule $i^2 = -1$ ; arithmetic then follows the ordinary distributive law treating $i$ like a variable. $a$ is the real part, $b$ is the imaginary part, and $i$ is the imaginary unit. The modulus (length in the plane) and conjugate are

4

\quad |z| = \sqrt{a^2 + b^2}, \qquad \bar{z} = a - bi, \qquad z\bar{z} = a^2 + b^2 = |z|^2

Derivation hint: multiply $(a+bi)(a-bi)$ using $i^2=-1$ ; the cross terms $abi$ cancel, leaving $a^2 + b^2$ , the squared distance from the origin by the Pythagorean theorem.

TheoremDensity of the Rationals

Between any two distinct real numbers there is a rational number:

5

\quad \forall\, x, y \in \mathbb{R},\ x < y \implies \exists\, r \in \mathbb{Q} \text{ with } x < r < y

Derivation hint: choose an integer $q$ large enough that $1/q < y - x$ (Archimedean property), then some multiple $p/q$ must land in the gap.

Theorem

\sqrt{2}

is Irrational

There is no rational number whose square is $2$ ; hence $\mathbb{Q} \neq \mathbb{R}$ . This is the historical motivation for extending to the reals.

Proof

\sqrt{2}

is Irrational — Proof by Contradiction

Step 1. Suppose, for contradiction, that $\sqrt{2} = p/q$ is rational, written in lowest terms so that $\gcd(p,q) = 1$ .

Step 2. Square both sides:

6

\quad 2 = \frac{p^2}{q^2} \implies p^2 = 2q^2

Derivation hint: multiply both sides of $\sqrt{2} = p/q$ by $q$ and square.

Step 3. Since $p^2 = 2q^2$ is even, $p^2$ is even, so $p$ itself must be even (the square of an odd number is odd). Write $p = 2k$ .

Step 4. Substitute:

7

\quad (2k)^2 = 2q^2 \implies 4k^2 = 2q^2 \implies q^2 = 2k^2

Derivation hint: expand $(2k)^2 = 4k^2$ and divide both sides by $2$ .

Step 5. Then $q^2$ is even, so $q$ is even. But now both $p$ and $q$ are even, contradicting $\gcd(p,q)=1$ .

Step 6. The assumption was false; therefore $\sqrt{2}$ is not rational. $\blacksquare$

∎

ProofWhy We Need Complex Numbers — Solving

x^2 = -1

Step 1. For any real number $x$ , $x^2 \geq 0$ , so $x^2 = -1$ has no real solution.

Step 2. Define a new symbol $i$ with the single property $i^2 = -1$ . This is consistent — it does not break any algebra rule, it merely adds a new object.

Step 3. With $i$ available, every quadratic $ax^2 + bx + c = 0$ now has a solution:

8

\quad x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}

Derivation hint: complete the square on $ax^2+bx+c=0$ ; when the discriminant $b^2-4ac<0$ , the square root produces an imaginary part.

Step 4. In fact $\mathbb{C}$ is algebraically closed: every non-constant polynomial with complex coefficients has a complex root (Fundamental Theorem of Algebra). No further extension is needed for solving polynomials. $\blacksquare$

∎

mathematician · Georg Cantor | 1845–1918

Cantor founded set theory and proved that the infinity of the reals is strictly larger than the infinity of the rationals. His diagonal argument (1891) showed $\mathbb{R}$ cannot be put in one-to-one correspondence with $\mathbb{N}$ , while $\mathbb{Q}$ can — so $\mathbb{Q}$ is countable but $\mathbb{R}$ is uncountable. This revealed that "almost all" real numbers are irrational, indeed transcendental. His ideas were attacked in his lifetime (Kronecker called him a "corrupter of youth") but are now foundational to all modern mathematics.

🧠 Intuition

Picture the number line as a road. Naturals are the milestones going forward: $0, 1, 2, \dots$ . Integers add the road going backward: $-1, -2, \dots$ . Rationals fill in infinitely many points between each milestone — but no matter how densely you pack fractions, the line still has holes (like the exact location of $\sqrt 2$ ). The reals are the road with every hole filled: a perfectly continuous, gap-free line. Finally, the complex numbers lift you off the line entirely into a flat plane: the horizontal axis is real, the vertical axis is imaginary, and multiplying by $i$ rotates you $90°$ counter-clockwise.

Figure

The nested number systems and the complex plane

ExampleClassifying and Simplifying Numbers

Given: Classify each number into the smallest system that contains it, and simplify where possible: (a) $\frac{6}{3}$ , (b) $-\frac{15}{4}$ , (c) $\sqrt{49}$ , (d) $\sqrt{7}$ , (e) $2 - 3i$ .

Steps:

(a) $\frac{6}{3} = 2$ — this is a positive whole number, so it lies in $\mathbb{N}$ (and hence all larger systems).
(b) $-\frac{15}{4} = -3.75$ — a negative fraction, not an integer; smallest system is $\mathbb{Q}$ .
(c) $\sqrt{49} = 7 \in \mathbb{N}$ — looks irrational but is a perfect square.
(d) $\sqrt{7} = 2.6457\dots$ — non-repeating, non-terminating; irrational, so smallest system is $\mathbb{R}$ .
(e) $2 - 3i$ has a nonzero imaginary part; smallest system is $\mathbb{C}$ .

Answer:

\boxed{\tfrac{6}{3}\in\mathbb{N},\quad -\tfrac{15}{4}\in\mathbb{Q},\quad \sqrt{49}\in\mathbb{N},\quad \sqrt{7}\in\mathbb{R},\quad 2-3i\in\mathbb{C}}

ExampleComplex Arithmetic

Given: Let $z = 3 + 4i$ and $w = 1 - 2i$ . Compute $z + w$ , $zw$ , $|z|$ , and $z/w$ .

Steps:

Sum: $z + w = (3+1) + (4-2)i = 4 + 2i$ .
Product: $zw = (3+4i)(1-2i) = 3 - 6i + 4i - 8i^2 = 3 - 2i + 8 = 11 - 2i$ (using $i^2 = -1$ ).
Modulus: $|z| = \sqrt{3^2 + 4^2} = \sqrt{9+16} = \sqrt{25} = 5$ .
Quotient: multiply top and bottom by $\bar w = 1 + 2i$ :

\frac{z}{w} = \frac{(3+4i)(1+2i)}{(1-2i)(1+2i)} = \frac{3 + 6i + 4i + 8i^2}{1 + 4} = \frac{3 + 10i - 8}{5} = \frac{-5 + 10i}{5} = -1 + 2i.

Answer:

\boxed{z+w = 4 + 2i,\quad zw = 11 - 2i,\quad |z| = 5,\quad z/w = -1 + 2i}

⚠️ Common mistake

"A fraction means a number is rational." No — $\frac{\pi}{2}$ and $\frac{\sqrt{2}}{3}$ are written as fractions but are irrational, because rationality requires both numerator and denominator to be integers. Likewise, a number can look irrational ( $\sqrt{49}$ , $\sqrt[3]{27}$ ) yet simplify to an integer. Always simplify before classifying.

⚠️ Common mistake

" $0.999\ldots$ is just less than $1$ ." It is exactly equal to $1$ . Two different decimal strings can represent the same real number; this is a feature of how decimals encode reals, not a paradox.

Counterexample

Claim: "Every infinite, non-terminating decimal is irrational." Counterexample: $0.333\ldots = \frac{1}{3}$ is infinite and non-terminating, yet perfectly rational. The correct criterion is: a number is rational if and only if its decimal expansion either terminates or eventually repeats in a fixed block. Irrationals are precisely the non-terminating, non-repeating decimals.

Counterexample

Claim: "Ordering works in every number system the same way." Counterexample: $\mathbb{C}$ cannot be ordered compatibly with its arithmetic. If $i > 0$ then $i \cdot i = -1 > 0$ , false; if $i < 0$ then $(-i)(-i) = -1 > 0$ , also false. There is no consistent way to say one complex number is "less than" another — a genuine loss when we gain the plane.

connection

Number systems underpin nearly every later topic. The jump from $\mathbb{Q}$ to $\mathbb{R}$ is the completeness needed for Limits and Continuity and all of calculus — without filling the holes, $\lim$ statements would fail. The structure of $\mathbb{C}$ powers the Fundamental Theorem of Algebra and Euler's Formula $e^{i\theta} = \cos\theta + i\sin\theta$ , linking complex numbers to Trigonometry. The countability gap between $\mathbb{Q}$ and $\mathbb{R}$ belongs to Set Theory and Cardinality. Each system is also an example of an algebraic structure studied in Groups, Rings, and Fields.

🔬 Where this appears

⏳ History

- c. 30,000 BCE — Tally marks (Ishango bone) record the first counting numbers, the seed of

\mathbb{N}

.

- c. 500 BCE — The Pythagoreans discover that

\sqrt{2}

is incommensurable; legend says Hippasus was drowned for revealing it. First crack in the rational worldview.

- c. 628 CE — Brahmagupta (India) gives systematic rules for zero and negative numbers, building

\mathbb{Z}

.

- 9th c. — Al-Khwārizmī's al-jabr systematizes solving equations, laying groundwork for symbolic algebra.

- 1545 — Cardano's Ars Magna publishes solutions of cubics, forcing square roots of negatives to appear in real answers — the reluctant birth of

\mathbb{C}

.

- 1572 — Bombelli gives explicit rules for arithmetic with

\sqrt{-1}

, treating complex numbers as legitimate intermediates.

- 1637 — Descartes coins "imaginary" (dismissively); the name stuck.

- 1806/1831 — Argand and Gauss give the geometric (plane) interpretation of

\mathbb{C}

, making it concrete and respectable.

- 1872 — Dedekind (cuts) and Cantor (Cauchy sequences) give rigorous constructions of

\mathbb{R}

from

\mathbb{Q}

, finally defining the continuum.

- 1874–1891 — Cantor proves

\mathbb{R}

is uncountable; the diagonal argument shows there are strictly more reals than rationals.

open-problem

The number systems are well understood, but questions about which reals exist remain deep. The Continuum Hypothesis asks whether there is any infinity strictly between the size of $\mathbb{N}$ and the size of $\mathbb{R}$ ; Gödel (1940) and Cohen (1963) proved it is independent of the standard axioms — it can neither be proved nor disproved. Separately, deciding whether specific constants (e.g. $e + \pi$ , the Euler–Mascheroni constant $\gamma$ ) are even irrational, let alone transcendental, is still open. And one may continue beyond $\mathbb{C}$ to the quaternions $\mathbb{H}$ (where multiplication stops commuting) and octonions $\mathbb{O}$ (where it stops associating) — each extension costs an algebraic property, a pattern formalized by the Cayley–Dickson construction.

Number Systems — Natural, Integer, Rational, Real, Complex

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also