The Big Idea
Numbers are not one undivided collection. Mathematicians organize them into number systems according to the quantities they represent and the operations they support.
We begin with counting numbers. When counting numbers can no longer answer the questions we are asking, we extend the system. Zero records an absence or starting point. Negative integers describe movement below or opposite a reference point. Fractions compare parts and ratios. Irrational numbers measure quantities that no fraction can express. Complex numbers let us solve equations that have no real-number solutions.
Each extension keeps the numbers already available while adding new ones. This creates a useful hierarchy rather than a collection of unrelated categories.
Why Number Systems Grow
Imagine that the only numbers available are \(1,2,3,\ldots\). Addition works comfortably, but several natural questions immediately create trouble:
- What is \(3-3\)? We need \(0\).
- What is \(3-5\)? We need negative integers.
- What is \(3\div5\)? We need rational numbers.
- What number has square \(2\)? We need the irrational number \(\sqrt2\).
- What number has square \(-1\)? We need the imaginary unit \(i\).
The pattern is important: new number systems are introduced because an earlier system cannot represent a needed quantity or is not closed under an operation we want to perform.
The Main Systems at a Glance
| System | Symbol | Description | Examples |
|---|---|---|---|
| Natural numbers | \(\mathbb{N}\) | Numbers used for counting | \(1,2,3,4,\ldots\) |
| Whole numbers | \(\mathbb{W}\) or \(\mathbb{N}_0\) | Counting numbers together with zero | \(0,1,2,3,\ldots\) |
| Integers | \(\mathbb{Z}\) | Whole numbers and their negatives | \(\ldots,-2,-1,0,1,2,\ldots\) |
| Rational numbers | \(\mathbb{Q}\) | Ratios of integers with a nonzero denominator | \(-\frac34,\ 0,\ 5,\ 1.2,\ 0.\overline{6}\) |
| Irrational numbers | \(\mathbb{R}\setminus\mathbb{Q}\) | Real numbers that are not rational | \(\sqrt2,\ \pi,\ e\) |
| Real numbers | \(\mathbb{R}\) | All rational and irrational numbers | \(-7,\ \frac25,\ \sqrt3,\ \pi\) |
| Complex numbers | \(\mathbb{C}\) | Numbers of the form \(a+bi\), where \(a,b\in\mathbb{R}\) | \(4,\ -2i,\ 3+5i\) |
State the Natural-Number Convention
Authors do not all use \(\mathbb{N}\) in the same way. Some include \(0\), while others begin with \(1\). Neither convention is inherently wrong, but the convention must be clear.
On this page, we use
\[ \mathbb{N}=\{1,2,3,\ldots\} \qquad\text{and}\qquad \mathbb{N}_0=\{0,1,2,3,\ldots\}. \]
The classroom term whole numbers usually refers to \(\mathbb{N}_0\), although \(\mathbb{W}\) is not as universally standardized as \(\mathbb{Z}\), \(\mathbb{Q}\), \(\mathbb{R}\), and \(\mathbb{C}\).
Natural Numbers: Counting
Natural numbers answer questions such as “How many?” and “Which position?” They count objects, steps, events, and repetitions.
\[ \mathbb{N}=\{1,2,3,4,\ldots\}. \]
Adding or multiplying natural numbers always produces another natural number. Subtraction and division do not. For example, \(3-5=-2\) and \(3\div5=\frac35\), neither of which belongs to \(\mathbb{N}\).
Whole Numbers: Counting with Zero
Whole numbers add \(0\) to the natural numbers:
\[ \mathbb{W}=\mathbb{N}_0=\{0,1,2,3,\ldots\}. \]
Zero can represent none, a neutral amount, an origin, or a boundary between positive and negative values. It is an integer and a rational number as well as a whole number.
Zero is neither positive nor negative. It is even because \(0=2\cdot0\).
Integers: Whole Numbers in Both Directions
Integers include zero, positive whole numbers, and negative whole numbers:
\[ \mathbb{Z}=\{\ldots,-3,-2,-1,0,1,2,3,\ldots\}. \]
Negative integers let us represent debt, temperature below a reference point, elevation below sea level, reverse direction, loss, and subtraction that moves past zero.
The symbol \(\mathbb{Z}\) comes from the German word Zahlen, meaning numbers. This is why the notation is not \(\mathbb{I}\).
Rational Numbers: Ratios of Integers
A number is rational when it can be written as a ratio of two integers:
\[ \mathbb{Q}= \left\{\frac{a}{b}:a,b\in\mathbb{Z},\ b\ne0\right\}. \]
The denominator cannot be zero because division by zero is undefined. The symbol \(\mathbb{Q}\) suggests quotient.
Fractions, integers, terminating decimals, and repeating decimals are rational. For example,
\[ -5=\frac{-5}{1}, \qquad 0.125=\frac18, \qquad 0.\overline{3}=\frac13. \]
A rational number does not have to be displayed as a fraction. Rationality concerns whether a fractional representation exists.
Irrational Numbers: Beyond Fractions
An irrational number is a real number that cannot be written as \(\frac{a}{b}\) for integers \(a\) and \(b\ne0\).
Its decimal expansion continues forever without settling into a repeating block. Familiar examples include
\[ \sqrt2,\qquad\sqrt3,\qquad\pi,\qquad e. \]
Not every radical is irrational. The value \(\sqrt{49}=7\) is natural. For a positive integer \(n\), \(\sqrt n\) is irrational exactly when \(n\) is not a perfect square.
Irrational numbers are not vague or unknowable. They can be defined exactly, located on the number line, approximated to any desired accuracy, and used in exact calculations.
Real Numbers: The Complete Number Line
Real numbers combine the rational and irrational numbers:
\[ \mathbb{R}=\mathbb{Q}\cup(\mathbb{R}\setminus\mathbb{Q}). \]
Every point on the ordinary number line corresponds to exactly one real number, and every real number corresponds to exactly one point. Real numbers measure continuous quantities such as length, time, mass, area, probability, and temperature.
Real numbers can be compared with \(<\), \(>\), \(\le\), and \(\ge\). Their distances from zero are described by absolute value.
Complex Numbers: Extending Beyond the Real Line
The equation \(x^2=-1\) has no real solution because the square of every real number is nonnegative. We define the imaginary unit \(i\) by
\[ i^2=-1. \]
A complex number has the form
\[ a+bi,\qquad a,b\in\mathbb{R}. \]
The real number \(a\) is the real part, and \(b\) is the imaginary part. When \(b=0\), the number is real. Thus every real number is already a complex number:
\[ 5=5+0i. \]
Complex numbers are represented on a plane rather than a single number line. They are essential in algebra, differential equations, waves, electrical engineering, signal processing, quantum mechanics, and many other areas.
The Number-System Hierarchy
The primary systems are nested:
\[ \mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q} \subset\mathbb{R}\subset\mathbb{C}. \]
The symbol \(\subset\) means “is a subset of.” Every natural number is an integer, every integer is rational, every rational number is real, and every real number is complex.
The reverse statements are false. For example, \(-3\) is an integer but not a natural number, while \(\frac12\) is rational but not an integer.
| Extension | New numbers supplied | Representative problem now solvable |
|---|---|---|
| \(\mathbb{N}\) to \(\mathbb{W}\) | Zero | \(3-3=0\) |
| \(\mathbb{W}\) to \(\mathbb{Z}\) | Negative integers | \(3-5=-2\) |
| \(\mathbb{Z}\) to \(\mathbb{Q}\) | Non-integer ratios | \(3\div5=\frac35\) |
| \(\mathbb{Q}\) to \(\mathbb{R}\) | Irrational values | \(x^2=2\) |
| \(\mathbb{R}\) to \(\mathbb{C}\) | Non-real complex values | \(x^2=-1\) |
Classify by the Smallest System
Because the systems are nested, one number may belong to several systems. The number \(6\) is natural, whole, integer, rational, real, and complex. When asked to classify a number, it is usually most informative to name the smallest listed system containing it.
| Number | Smallest system | Reason |
|---|---|---|
| \(7\) | Natural | It is a positive counting number. |
| \(0\) | Whole | Our convention begins \(\mathbb{N}\) at \(1\). |
| \(-12\) | Integer | It is a negative whole-number value. |
| \(\frac58\) | Rational | It is a ratio of integers but not an integer. |
| \(\sqrt{10}\) | Irrational | \(10\) is not a perfect square. |
| \(-4+3i\) | Complex, non-real | Its imaginary part is nonzero. |
Classify the Value, Not Its Appearance
A number’s written form can be misleading. Simplify or reinterpret the expression before classifying it.
- \(\frac{12}{3}=4\), so its value is natural.
- \(\sqrt{81}=9\), so its value is natural even though it is written with a radical.
- \(3.000=3\), so trailing zeros do not make a number non-integer.
- \(0.272727\ldots=0.\overline{27}=\frac3{11}\), so it is rational.
- \(\pi-\pi=0\), so an expression containing irrational numbers may have a rational value.
- \(2+0i=2\), so a number written in complex form may still be real.
The expression is a representation. The number is the value represented.
Decimal Behavior
| Decimal behavior | Classification | Example |
|---|---|---|
| Terminates | Rational | \(0.625=\frac58\) |
| Continues and repeats a block | Rational | \(0.1\overline{6}=\frac16\) |
| Continues without repetition | Irrational | \(\pi=3.14159265\ldots\) |
A displayed finite decimal is rational. An ellipsis by itself does not tell us enough: \(0.333\ldots\) repeats and is rational, while the decimal expansion of \(\sqrt2\) does not repeat and is irrational.
Exact Values and Approximations
An exact expression preserves the number without rounding:
\[ \sqrt2,\qquad\frac79,\qquad\pi,\qquad3+2i. \]
A decimal approximation gives a nearby value that is convenient for measurement or computation:
\[ \sqrt2\approx1.414,\qquad\pi\approx3.142. \]
The symbol \(=\) states equality; the symbol \(\approx\) states approximation. Replacing an exact irrational number with a finite decimal changes the value slightly, so the distinction matters in proofs and later calculations.
Closure: Will the Result Stay in the System?
A set is closed under an operation when performing that operation on members of the set always produces another member of the same set.
| System | Addition | Subtraction | Multiplication | Division |
|---|---|---|---|---|
| \(\mathbb{N}\) | Yes | No | Yes | No |
| \(\mathbb{Z}\) | Yes | Yes | Yes | No |
| \(\mathbb{Q}\) | Yes | Yes | Yes | Yes, when the divisor is nonzero |
| \(\mathbb{R}\) | Yes | Yes | Yes | Yes, when the divisor is nonzero |
| \(\mathbb{C}\) | Yes | Yes | Yes | Yes, when the divisor is nonzero |
Division by zero is not an exception that belongs to a larger number system; it is undefined. Exponentiation and radicalization require additional qualifications because their results depend on the base, exponent, root index, and selected domain.
Discrete and Dense Systems
The integers are discrete: consecutive integers such as \(4\) and \(5\) have no integer between them.
Rational numbers are dense in the real numbers. Between any two distinct real numbers, there is a rational number. Irrational numbers are also dense: between any two distinct real numbers, there is an irrational number.
This means the number line is far richer than the evenly spaced integer marks suggest. Every interval, however small, contains infinitely many rational and infinitely many irrational numbers.
Not All Infinite Systems Have the Same Size
The natural numbers, integers, and rational numbers are all countably infinite: their elements can, in principle, be arranged in a list indexed by the natural numbers.
The real numbers are uncountable. No list can contain every real number. The complex numbers are also uncountable.
This surprising result belongs to a later study of infinity and cardinality. For now, it is enough to recognize that “infinite” does not describe only one possible size.
Ordering Real and Complex Numbers
Real numbers have a standard order. Given two distinct real numbers, one is smaller and the other is larger. This makes intervals, inequalities, and left-to-right number-line placement possible.
Complex numbers do not have a standard order compatible with their usual arithmetic in the same way. We can compare their magnitudes, real parts, or imaginary parts, but a statement such as \(2+3i>4+i\) has no ordinary mathematical meaning without a specially defined comparison rule.
Choose a System That Fits the Problem
The largest familiar system is not automatically the most useful one. The domain should match the objects and operations in the problem.
- Use natural numbers to count people, attempts, or objects when fractional counts are impossible.
- Use integers for gains and losses, directed movement, or values around a reference point.
- Use rational numbers for exact ratios, proportions, percentages, and many financial quantities.
- Use real numbers for continuous measurement and ordinary coordinate geometry.
- Use complex numbers when rotations, oscillations, or polynomial equations naturally require them.
Declaring the domain prevents impossible answers from being accepted. A solution of \(x=2.5\) may be appropriate for a length but not for the number of buses required.
The Familiar Hierarchy Is Not the End
Mathematics uses other systems for specialized purposes: modular integers for repeating cycles, extended real numbers that include infinities, \(p\)-adic numbers for number theory, quaternions for spatial rotation, and ordinal and cardinal numbers for different aspects of order and size.
These systems do not all fit into one simple “larger and larger” chain. A number system is a designed mathematical environment with particular objects, operations, and rules. The familiar hierarchy is the main starting route, not the entire landscape.
A Practical Classification Routine
- Simplify the expression. Evaluate perfect-square roots, obvious quotients, and canceled terms.
- Check for a nonzero imaginary part. If one remains, the number is complex and non-real.
- If the number is real, ask whether it is rational. Can it be written as a ratio of integers?
- If rational, check whether it is an integer. Does it have no fractional part?
- If integer, check whether it is whole or natural. Apply the stated convention for \(0\).
- Report the smallest requested system. Add larger systems if the question asks for every classification.
Common Confusions
Is zero a natural number?
It depends on the author’s convention. This page uses \(\mathbb{N}=\{1,2,3,\ldots\}\) and \(\mathbb{N}_0=\{0,1,2,\ldots\}\). Always check or state the convention.
Are all integers rational?
Yes. Every integer \(n\) can be written as \(\frac n1\).
Are all fractions rational?
A ratio \(\frac ab\) is rational when \(a\) and \(b\) are integers and \(b\ne0\). An expression such as \(\frac{\sqrt2}{3}\) is written fractionally but is irrational.
Does an endless decimal have to be irrational?
No. An endless repeating decimal is rational. An endless nonrepeating decimal is irrational.
Are imaginary numbers unreal or meaningless?
No. “Imaginary” is a historical name. Complex numbers are precise mathematical objects with consistent arithmetic and extensive practical applications.
Is every radical irrational?
No. For example, \(\sqrt{64}=8\). The value of the expression determines its classification.
Working Summary
Number systems expand our mathematical toolbox. Natural numbers count, whole numbers include zero, integers include negatives, rational numbers include ratios, real numbers add irrational quantities, and complex numbers add non-real values involving \(i\).
\[ \mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q} \subset\mathbb{R}\subset\mathbb{C}. \]
Classify the value rather than its appearance, state conventions when notation varies, preserve the difference between exact and approximate forms, and choose a domain appropriate to the problem.
Check Your Understanding
What is the smallest system containing \(-8\)?
The integers. It is also rational, real, and complex.
Is \(0.121212\ldots\) rational or irrational?
Rational. The repeating block \(12\) makes the decimal a rational number; in fact, \(0.\overline{12}=\frac4{33}\).
What is the smallest system containing \(\sqrt{36}\)?
Since \(\sqrt{36}=6\), the smallest system is the natural numbers.
Why is \(\frac{1}{0}\) not a complex number?
Division by zero is undefined. Moving to a larger familiar number system does not assign it an ordinary numerical value.
What system is needed to solve \(x^2+9=0\)?
The complex numbers. The solutions are \(x=3i\) and \(x=-3i\).
Can an expression containing irrational numbers simplify to a rational number?
Yes. For example, \(\sqrt2\cdot\sqrt2=2\). Classification applies to the resulting value.