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

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.

A number system is a set of numbers together with the operations (addition, multiplication, etc.) defined on it. Starting from the natural numbers $\mathbb{N}$ used for counting, mathematicians repeatedly enlarged the system to solve equations that had no solution before: subtraction forces integers $\mathbb{Z}$, division forces rationals $\mathbb{Q}$, limits and lengths force reals $\mathbb{R}$, and square roots of negatives force complex numbers $\mathbb{C}$. Each new system contains the old one and obeys (almost) the same arithmetic rules. The surprising fact: even though there are infinitely many rationals densely packed on the line, they are outnumbered by the irrationals — there are strictly "more" real numbers than fractions, a discovery that shocked mathematics in 1874.

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÷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".

Formal Statement

The Five Number Systems

The standard nested hierarchy is:

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\{\frac{p}{q}:p,q\in \mathbb{Z},q\ne 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$.

A Rational Number in Lowest Terms

A rational number has a canonical form

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.

A Complex Number

Every complex number is written

Density of the Rationals

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

$\sqrt{2}$ is Irrational

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

Why It Holds / Derivation

$\sqrt{2}$ is Irrational — Proof by Contradiction

Why We Need Complex Numbers — Solving $x^2 = -1$

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.

Building 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.

The nested number systems and the complex plane

Worked Examples

Classifying and Simplifying Numbers

• (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}$.

Complex Arithmetic

• 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$:

Common Misconceptions

Connections

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.

Real-World Applications

1. Computer arithmetic — integers $\mathbb{Z}$ (two's-complement) and floating-point approximations to $\mathbb{R}$ underlie every digital calculation; rounding error traces to the impossibility of storing all reals.
2. Electrical engineering — AC circuit analysis uses complex impedance $Z=R+iX$ so that resistance and reactance combine by ordinary algebra (here $j$ is used for $i$).
3. Signal processing — the Fourier transform represents signals as sums of complex exponentials $e^{i\omega t}$; MP3, JPEG, and Wi-Fi depend on it.
4. Quantum mechanics — wavefunctions are complex-valued; probabilities come from $|\psi {|}^2$, making $\mathbb{C}$ physically irreducible.
5. Cryptography — RSA and Diffie–Hellman live in modular integer arithmetic ($\mathbb{Z}/n\mathbb{Z}$), a finite cousin of $\mathbb{Z}$.
6. Control systems & aerodynamics — stability is read off the location of roots in the complex plane (poles in the left half-plane = stable).
7. GPS and metrology — real-number precision and irrational constants like $\pi$ govern distance and timing computations.

Historical Development

• 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.

Subtleties & Limits

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.

See Also