2.1 Real and Complex Number Systems: Subsets, Closures & Representations

2.1 Real and Complex Number Systems: Subsets, Closures & Representations

Understanding the mathematical architecture of numbers is essential for middle school educators. In grades 4–8, students transition from intuitive counting to formal structural reasoning about integers, rational fractions, decimals, and irrational magnitudes. A rigorous command of number systems empowers teachers to anticipate conceptual hurdles, choose appropriate visual representations, and build algebraic thinking.

---

Hierarchical Classification of Number Systems

The real and complex numbers are organized into a strict nested hierarchy of subsets. Each broader set encompasses all preceding sets while introducing elements that solve previously intractable algebraic problems.

$$\mathbb{N} \subset \mathbb{W} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$$

1. Natural Numbers ($\mathbb{N}$)

Also termed the counting numbers, natural numbers form the foundation of discrete arithmetic:

$$\mathbb{N} = \{1, 2, 3, 4, 5, \dots\}$$

Natural numbers are strictly positive integers. They represent discrete quantities of countable physical items.

2. Whole Numbers ($\mathbb{W}$)

The set of whole numbers adjoins zero to the natural numbers:

$$\mathbb{W} = \{0, 1, 2, 3, 4, \dots\} = \mathbb{N} \cup \{0\}$$

Zero serves as the additive identity ($a + 0 = a$) and conceptually represents the empty set or an origin reference point on a coordinate system.

3. Integers ($\mathbb{Z}$)

Integers incorporate the additive opposites (negative counterparts) of the natural numbers:

$$\mathbb{Z} = \{\dots, -3, -2, -1, 0, 1, 2, 3, \dots\}$$

The symbol $\mathbb{Z}$ originates from the German word Zahlen (numbers). Integers allow for the modeling of directional quantities such as temperature fluctuations below zero, elevation below sea level, and financial debits.

4. Rational Numbers ($\mathbb{Q}$)

The symbol $\mathbb{Q}$ denotes quotients. Formally, a rational number is any number that can be expressed as the ratio of two integers where the denominator is non-zero:

$$\mathbb{Q} = \left\{\frac{a}{b} \;\middle|\; a, b \in \mathbb{Z}, \, b \neq 0\right\}$$

Every integer $n \in \mathbb{Z}$ is rational because it can be written as $\frac{n}{1}$. Rational numbers have decimal expansions that either terminate (e.g., $\frac{3}{8} = 0.375$) or repeat periodically (e.g., $\frac{4}{11} = 0.\overline{36}$).

5. Irrational Numbers ($\mathbb{I}$ or $\mathbb{R} \setminus \mathbb{Q}$)

Irrational numbers are real numbers that cannot be represented as a ratio of two integers. Their decimal representations are non-terminating and non-repeating:

• Square roots of non-perfect square integers: $\sqrt{2} \approx 1.41421356\dots$, $\sqrt{3}$, $\sqrt{5}$, $\sqrt{10}$
• Transcendental mathematical constants: $\pi = 3.14159265\dots$ (ratio of circumference to diameter) and Euler's constant $e = 2.71828182\dots$
• The intersection of rational and irrational numbers is strictly disjoint: $\mathbb{Q} \cap \mathbb{I} = \emptyset$.

6. Real Numbers ($\mathbb{R}$)

The set of real numbers is the union of the mutually disjoint rational and irrational sets:

$$\mathbb{R} = \mathbb{Q} \cup \mathbb{I}$$

The real numbers fill the entire one-dimensional geometric continuum known as the real number line, leaving no gaps or holes.

7. Complex Numbers ($\mathbb{C}$)

A complex number has the standard form $z = a + bi$, where $a, b \in \mathbb{R}$ and $i$ represents the imaginary unit defined such that $i^2 = -1$ (or $i = \sqrt{-1}$):

$$\mathbb{C} = \{a + bi \mid a, b \in \mathbb{R}, \, i = \sqrt{-1}\}$$

• When $b = 0$, $z = a + 0i = a$, demonstrating that every real number is a complex number ($\mathbb{R} \subset \mathbb{C}$).
• When $b \neq 0$ and $a = 0$, $z = bi$ is termed a pure imaginary number.
• When both $a \neq 0$ and $b \neq 0$, $z$ is a general non-real complex number.

---

Algebraic Motivations for Number System Expansions

Each expansion of the number system historically arose from the need to solve an algebraic equation that had no solution within a more restrictive system:

1. From $\mathbb{N}$ and $\mathbb{W}$ to $\mathbb{Z}$: The linear equation $x + 5 = 2$ cannot be solved using whole numbers alone. Subtracting 5 requires an element representing $-3$, which exists only upon defining the integers $\mathbb{Z}$.
2. From $\mathbb{Z}$ to $\mathbb{Q}$: The multiplicative equation $3x = 7$ has no integer solution because 7 is not an integer multiple of 3. Solving for $x = \frac{7}{3}$ necessitates the rational numbers $\mathbb{Q}$.
3. From $\mathbb{Q}$ to $\mathbb{R}$ (Irrational Numbers): The quadratic equation $x^2 = 2$ has no rational solution. The classical Pythagorean discovery that the diagonal of a unit square ($d = \sqrt{1^2 + 1^2} = \sqrt{2}$) cannot be expressed as a ratio of integers forced the expansion to $\mathbb{R}$.
4. From $\mathbb{R}$ to $\mathbb{C}$: The polynomial equation $x^2 + 1 = 0 \implies x^2 = -1$ has no real solution because the square of any real number is non-negative ($x^2 \ge 0$ for all $x \in \mathbb{R}$). Introducing $i = \sqrt{-1}$ resolves this insolvability, yielding solutions $x = \pm i$.

Classical Proof of the Irrationality of $\sqrt{2}$

Educators must understand the proof by contradiction showing why $\sqrt{2} \notin \mathbb{Q}$:

1. Assume $\sqrt{2}$ is rational. Then $\sqrt{2} = \frac{a}{b}$ for some $a, b \in \mathbb{Z}$, $b \neq 0$, where $\frac{a}{b}$ is in simplest form ($\gcd(a, b) = 1$, meaning $a$ and $b$ share no common factors).
2. Squaring both sides: $2 = \frac{a^2}{b^2} \implies a^2 = 2b^2$.
3. Since $a^2$ is a multiple of 2, $a^2$ is even. By number theory, if the square of an integer is even, the integer itself must be even. Thus, $a = 2k$ for some integer $k$.
4. Substituting $a = 2k$ into the equation: $(2k)^2 = 2b^2 \implies 4k^2 = 2b^2 \implies b^2 = 2k^2$.
5. Therefore, $b^2$ is also even, which implies that $b$ must be even.
6. If both $a$ and $b$ are even, they share a common factor of 2. This directly contradicts the initial premise that $\frac{a}{b}$ is in simplest form with $\gcd(a, b) = 1$.
7. Hence, the assumption that $\sqrt{2}$ is rational is false; $\sqrt{2}$ is irrational.

---

Closure Properties Across Number Sets

A set $S$ is said to be closed under an operation $*$ if for every pair of elements $a, b \in S$, the resulting element $a * b$ is also guaranteed to belong to $S$. If even a single pair of elements in $S$ yields a result outside $S$, the set fails closure under that operation.

Operational Analysis by Set

• Natural Numbers ($\mathbb{N}$):

  • Closed under addition: $3 + 4 = 7 \in \mathbb{N}$.
  • Closed under multiplication: $3 \times 4 = 12 \in \mathbb{N}$.
  • Not closed under subtraction: $3 - 5 = -2 \notin \mathbb{N}$.
  • Not closed under division: $3 \div 4 = \frac{3}{4} \notin \mathbb{N}$.

• Whole Numbers ($\mathbb{W}$):

  • Closed under addition and multiplication.
  • Not closed under subtraction: $2 - 7 = -5 \notin \mathbb{W}$.
  • Not closed under division: $5 \div 2 = 2.5 \notin \mathbb{W}$, and division by zero ($a \div 0$) is undefined.

• Integers ($\mathbb{Z}$):

  • Closed under addition: $(-4) + (-9) = -13 \in \mathbb{Z}$.
  • Closed under subtraction: $5 - 12 = -7 \in \mathbb{Z}$.
  • Closed under multiplication: $(-3) \times (-6) = 18 \in \mathbb{Z}$.
  • Not closed under division: $7 \div 2 = 3.5 \notin \mathbb{Z}$.

• Rational Numbers ($\mathbb{Q}$):

  • Closed under addition: $\frac{a}{b} + \frac{c}{d} = \frac{ad + bc}{bd} \in \mathbb{Q}$ since $ad+bc, bd \in \mathbb{Z}$ and $bd \neq 0$.
  • Closed under subtraction: $\frac{a}{b} - \frac{c}{d} = \frac{ad - bc}{bd} \in \mathbb{Q}$.
  • Closed under multiplication: $\frac{a}{b} \cdot \frac{c}{d} = \frac{ac}{bd} \in \mathbb{Q}$.
  • Closed under division by non-zero rationals: $\frac{a}{b} \div \frac{c}{d} = \frac{ad}{bc} \in \mathbb{Q}$ provided $\frac{c}{d} \neq 0$.

• Irrational Numbers ($\mathbb{I}$):

  • Not closed under addition: $\sqrt{2} + (-\sqrt{2}) = 0 \in \mathbb{Q}$.
  • Not closed under subtraction: $\sqrt{3} - \sqrt{3} = 0 \in \mathbb{Q}$.
  • Not closed under multiplication: $\sqrt{2} \times \sqrt{8} = \sqrt{16} = 4 \in \mathbb{Q}$.
  • Not closed under division: $\frac{\sqrt{18}}{\sqrt{2}} = \sqrt{9} = 3 \in \mathbb{Q}$.
  • Critical Rule: The irrational numbers fail closure under all four basic arithmetic operations.

• Real Numbers ($\mathbb{R}$):

  • Closed under addition, subtraction, multiplication, and division by non-zero real numbers. $\mathbb{R}$ forms an algebraic field.

• Complex Numbers ($\mathbb{C}$):

  • Closed under all four operations (excluding division by zero). By the Fundamental Theorem of Algebra, $\mathbb{C}$ is algebraically closed, meaning every non-constant polynomial equation with complex coefficients has at least one root in $\mathbb{C}$.

Arithmetic Relationships Between Rational and Irrational Numbers

1. Sum/Difference of a Rational and an Irrational: If $r \in \mathbb{Q}$ and $x \in \mathbb{I}$, then $r + x \in \mathbb{I}$. Proof by contradiction: Suppose $r + x = q$ for some rational number $q \in \mathbb{Q}$. Then $x = q - r$. Because $\mathbb{Q}$ is closed under subtraction, $q - r$ must be rational. This implies $x \in \mathbb{Q}$, directly contradicting that $x$ is irrational. Thus, the sum must be irrational.
2. Product of a Non-Zero Rational and an Irrational: If $r \in \mathbb{Q}$, $r \neq 0$, and $x \in \mathbb{I}$, then $r \cdot x \in \mathbb{I}$. Proof by contradiction: Suppose $r \cdot x = q \in \mathbb{Q}$. Since $r \neq 0$, we can divide by $r$: $x = \frac{q}{r}$. Because the quotient of two non-zero rationals is rational, $x$ must be rational, contradicting $x \in \mathbb{I}$. Crucial Exception: If $r = 0$, then $0 \times x = 0 \in \mathbb{Q}$. Hence, the product is rational only when the rational factor is zero.

---

Representations on the Real Line and Complex Plane

The Real Number Line and the Continuum

Every real number corresponds to exactly one point on the geometric line, and every point on the line corresponds to exactly one real number (the Cantor-Dedekind axiom).

• Points to the right of 0 represent positive reals; points to the left represent negative reals.
• The real numbers are ordered: for any two distinct real numbers $a$ and $b$, exactly one of three relations holds: $a < b$, $a = b$, or $a > b$ (Law of Trichotomy).

The Complex Plane (Argand Diagram)

Because complex numbers have two independent components ($a$ and $b$), they cannot be plotted on a single one-dimensional line. Instead, they are mapped to the two-dimensional complex plane:

• The horizontal axis is the Real axis ($\text{Re}$).
• The vertical axis is the Imaginary axis ($\text{Im}$).
• The complex number $z = a + bi$ corresponds to the coordinate pair $(a, b)$.
• Modulus (Absolute Value): The distance from the origin $(0, 0)$ to $(a, b)$ is given by $|z| = \sqrt{a^2 + b^2}$.
• Complex Conjugate: The conjugate of $z = a + bi$ is $\bar{z} = a - bi$, which represents a geometric reflection across the real horizontal axis.

---

Operations with Complex Numbers

Competency 002 expects you to work proficiently with complex numbers, not just to classify them. Treat $i$ like a variable, then replace $i^2$ with $-1$:

• Add or subtract real parts and imaginary parts separately: $(3 + 2i) + (1 - 4i) = 4 - 2i$.
• Multiply with the distributive property: $(3 + 2i)(1 - 4i) = 3 - 12i + 2i - 8i^2 = 3 - 10i + 8 = 11 - 10i$.
• Powers of $i$ repeat every four: $i^1 = i$, $i^2 = -1$, $i^3 = -i$, $i^4 = 1$. To simplify $i^{27}$, divide 27 by 4 to get remainder 3, so $i^{27} = i^3 = -i$.
• Divide by multiplying the numerator and denominator by the conjugate of the denominator. Since $(a + bi)(a - bi) = a^2 + b^2$ is real:

$$\frac{5 + 3i}{1 + i} = \frac{(5 + 3i)(1 - i)}{(1 + i)(1 - i)} = \frac{5 - 5i + 3i - 3i^2}{2} = \frac{8 - 2i}{2} = 4 - i$$

Check: $(4 - i)(1 + i) = 4 + 4i - i - i^2 = 5 + 3i$. This is the same "multiply by a clever form of 1" idea used to rationalize the denominator $\frac{1}{\sqrt{3} + 1}$ in section 3.2.

• Connection to quadratics: $x^2 - 4x + 13 = 0$ has discriminant $16 - 52 = -36$, so $x = \frac{4 \pm 6i}{2} = 2 \pm 3i$. The two roots are conjugates. Real-coefficient quadratics always produce non-real roots in conjugate pairs.

Summary of Number Subsets and Closure Properties

---

Pedagogical Connections & Common Misconceptions

In Texas middle schools, students encounter the real number hierarchy across grades 6–8:

• Grade 6: Students classify whole numbers, integers, and rational numbers using visual Venn diagrams and place them on horizontal and vertical number lines.
• Grade 7: Students operate fluently with all rational numbers (fractions, decimals, percents) and identify non-terminating decimals.
• Grade 8: Students are formally introduced to irrational numbers (approximating $\sqrt{n}$ on a number line), scientific notation, and the overarching real number system.

Pervasive Student Misconceptions to Remediate

1. Confusing Representation with Classification: Students often believe that $-\frac{18}{3}$ is purely rational and not an integer simply because it is written as a fraction. Teachers must emphasize simplifying the value first: $-\frac{18}{3} = -6 \in \mathbb{Z}$.
2. Believing All Radicals are Irrational: Students often overgeneralize and assume any radical is irrational, forgetting that perfect squares simplify to integers (e.g., $\sqrt{49} = 7 \in \mathbb{N}$).
3. Misconception of $\pi$ as $\frac{22}{7}$: Students frequently believe $\pi$ is rational because they were taught the fraction $\frac{22}{7}$ or the decimal $3.14$. Teachers must explicitly clarify that $\frac{22}{7} \approx 3.142857\dots$ is merely an approximation; $\pi$ is provably transcendental and irrational.