Classification of Real Numbers

Natural numbers are the counting numbers: 1, 2, 3, 4, 5, … They are the numbers humans first invented to count objects. Formally, ℕ = {1, 2, 3, 4, …}. Some texts include 0 in ℕ, but the more common convention in number theory excludes it. Natural numbers are closed under addition and multiplication (adding or multiplying two natural numbers always gives a natural number), but they are NOT closed under subtraction (3 − 5 = −2 is not a natural number).

Whole numbers extend the natural numbers by including zero: 𝕎 = {0, 1, 2, 3, 4, …}. Zero is the additive identity — adding 0 to any number leaves it unchanged. Whole numbers are useful for counting situations where 'none' is a valid quantity (e.g., the number of students absent). Every natural number is a whole number, so ℕ ⊂ 𝕎.

Integers extend whole numbers by including all negative counting numbers: ℤ = {…, −3, −2, −1, 0, 1, 2, 3, …}. The symbol ℤ comes from the German word 'Zahlen', meaning 'numbers'. Integers are closed under addition, subtraction, and multiplication. They are not closed under division (7 ÷ 2 = 3.5 is not an integer). Every whole number is an integer, so 𝕎 ⊂ ℤ. Integers model quantities like temperature change, debt, and elevation below sea level.

A rational number is any number that can be written in the form p/q where p and q are integers and q ≠ 0. The symbol ℚ comes from 'quotient'. Examples: 3/4, −7/2, 5 (since 5 = 5/1), 0.6 (since 0.6 = 3/5), 0.333… (since 0.333… = 1/3). Key fact: every rational number has a decimal expansion that either terminates (e.g., 1/4 = 0.25) or repeats with a pattern (e.g., 1/7 = 0.142857142857…). Every integer is rational (written as n/1), so ℤ ⊂ ℚ.

An irrational number cannot be expressed as p/q for any integers p and q. Its decimal expansion is non-terminating and non-repeating. Famous examples: √2 ≈ 1.41421356…, π ≈ 3.14159265…, e ≈ 2.71828182…, √3, √5. Proof sketch that √2 is irrational: assume √2 = p/q in lowest terms. Then 2q² = p², so p² is even, meaning p is even. Write p = 2k; then 2q² = 4k², so q² = 2k², meaning q is also even — contradicting that p/q was in lowest terms. Therefore √2 cannot be rational. Irrational numbers and rational numbers together make up all real numbers.

The set of real numbers ℝ = ℚ ∪ {irrationals} consists of every point on the number line. The nesting relationship is: ℕ ⊂ 𝕎 ⊂ ℤ ⊂ ℚ ⊂ ℝ. To classify any given number, work from the inside out: Is it a natural number? A whole number? An integer? Can it be expressed as p/q? If none of these apply, it is irrational. Note: not every square root is irrational — √9 = 3 ∈ ℕ, but √7 is irrational because 7 is not a perfect square.

• \mathbb{Q} — Rational numbers (dimensionless): The set of all numbers expressible as a ratio of two integers; includes all terminating and repeating decimals.
• p — Numerator (dimensionless): Any integer — positive, negative, or zero — forming the top of the fraction.
• q — Denominator (dimensionless): Any non-zero integer forming the bottom of the fraction; q ≠ 0 because division by zero is undefined.
• \mathbb{Z} — Integers (dimensionless): The set {…, −2, −1, 0, 1, 2, …} from which both p and q are drawn.

Problem. Classify each of the following numbers by placing them in ALL sets to which they belong: (a) −6 (b) 7/3 (c) √25 (d) √11 (e) 0.727272…

Answer. (a) −6: ℤ, ℚ, ℝ (b) 7/3: ℚ, ℝ (c) √25 = 5: ℕ, 𝕎, ℤ, ℚ, ℝ (d) √11: irrational, ℝ (e) 0.727272… = 8/11: ℚ, ℝ

• Decimal Representation of Real Numbers — Classification directly determines decimal behavior: rational numbers have terminating or repeating decimals, while irrational numbers have non-terminating, non-repeating decimals. Understanding this connection deepens both concepts.
• Operations on Real Numbers — Knowing which set a number belongs to tells you which operations keep you in the same set. For example, the sum of two rationals is always rational, but the sum of two irrationals can be rational (e.g., √2 + (−√2) = 0).
• Fundamental Theorem of Arithmetic — The proof that numbers like √2 and √3 are irrational relies on prime factorization arguments — the heart of the Fundamental Theorem. Understanding primes is key to classifying square roots.
• Radicals and Surds — Surds are irrational roots; classifying whether a radical expression is rational or irrational is a direct application of the classification system learned here.
• Rationalizing Denominators — Rationalizing denominators is a technique that transforms an expression with an irrational denominator into one with a rational denominator, directly using the distinction between rational and irrational numbers.
• Euclid's Division Lemma — Euclid's Division Lemma is used in proofs about integers and rational numbers, and underpins the algorithm for finding HCF — essential for determining whether a fraction p/q is fully reduced when testing rationality.
• Laws of Exponents — Expressions like 2^(1/2) = √2 show that rational exponents can yield irrational results. Classifying such expressions requires integrating knowledge of exponents with the real number classification system.