The systems are built outward, and each one is built because the previous one could not answer a question. The naturals cannot answer 3 − 5. The integers cannot answer 3 / 5. The rationals cannot answer "what is the side of a square of area 2". Each answer forces a larger system.
Definition · The four systemsThe natural numbers are 1, 2, 3, …. The integers are the naturals, their negatives, and 0. A rational number is one that can be written p/q where p and q are integers and q ≠ 0. The real numbers are all the numbers on the number line; a real number that is not rational is called irrational.
Whether 0 counts as a natural number is a convention and it differs between books. This course starts the naturals at 1 and nothing later depends on the choice.
"Can be written" is the operative phrase, exactly as it will be for polynomials in Polynomials and Factoring. 4 is rational because 4 = 4/1. 0.25 is rational because 0.25 = 1/4. You do not have to be shown the fraction; it has to exist.
Decimals tell you which kind you have
Every rational number has a decimal expansion that either stops or falls into a repeating block, and every such decimal is a rational. An irrational number is exactly one whose expansion does neither.
1/4 = 0.25 stops
1/3 = 0.333… repeats, block length 1
3/7 = 0.428571428571… repeats, block length 6
√2 = 1.41421356… neither: irrational
The dots are not an approximation. 1/3 is 0.333… exactly; 0.333 is a different number, and a smaller one, because it is 333/1000. Throughout this course the fraction is the number and the decimal is a report on it.
Theorem · Whole-number square rootsThe square root of a positive whole number is a whole number when the radicand is a perfect square, and is irrational otherwise. Thus √9 = 3, while √2 and √10 are irrational.
The proof of that theorem uses prime factorisation and a contradiction; neither is a prerequisite for this course. The act required here is the usable test: look for a whole number whose square is the radicand. “Roots and Radicals” supplies the factor method used to simplify a root after the classification is made.
The rationals therefore have gaps, and the line does not. That gap is the whole reason the real numbers are needed.
The line
Fix a point for 0 and a length for 1. Every real number then corresponds to exactly one point, and every point to exactly one real number. The second half of that sentence is an assumption about the reals, not something proved here; constructing the reals so that it holds belongs to analysis.
Definition · Ordera < b means a lies to the left of b on the line.
For any two reals exactly one of a < b, a = b, a > b holds. And between any two distinct reals there is another one — their average will do — so no real number has a next one. The integers do: after 4 comes 5.
To compare two numbers exactly, put them over a common denominator, or square them when both are positive. 1.41 against √2: 1.41² = 1.9881, which is less than 2, so 1.41 < √2. Squaring is safe here only because both numbers are positive — on negatives it reverses the order, since −3 < −2 but 9 > 4.
Example · Ordering a mixed list−5/4, −1.2, 0.6, 2/3, 1.41, √2. Over a common denominator −5/4 = −25/20 and −1.2 = −24/20, so −5/4 is the leftmost. Likewise 0.6 = 9/15 and 2/3 = 10/15. And 1.41 < √2 by the squaring test. The order is −5/4 < −1.2 < 0.6 < 2/3 < 1.41 < √2.