5.1 Real Number System & Order of Operations

5.1 Real Number System & Order of Operations

The foundation of college algebra and advanced mathematical analysis rests upon the axiomatic structure of the real number system (denoted by $\mathbb{R}$). A rigorous understanding of real numbers requires examining their nested subset hierarchy, foundational field axioms, fundamental topological properties of density and completeness, and the distance metrics governed by absolute value. Furthermore, evaluating high-level algebraic expressions demands strict, unambiguous adherence to the order of operations.

---

Structure and Subset Hierarchy of $\mathbb{R}$

The real number system encompasses all numbers that can represent a continuous magnitude or distance along a one-dimensional line. Mathematically, $\mathbb{R}$ is partitioned into two mutually exclusive sets: rational numbers ($\mathbb{Q}$) and irrational numbers ($\mathbb{I}$).

$$\mathbb{R} = \mathbb{Q} \cup \mathbb{I} \quad \text{where} \quad \mathbb{Q} \cap \mathbb{I} = \emptyset$$

The Nested Subset Chain

Within the set of rational numbers, several fundamental number sets build upon one another in a strict nested containment chain:

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

---

Axiomatic Foundations: Field Properties of Real Numbers

Under standard addition ($+$) and multiplication ($\cdot$), the real number set $\mathbb{R}$ forms an algebraic field. The field axioms govern all valid algebraic manipulations, expression simplifications, and equation-solving transformations.

Key Algebraic Distinction: The Commutative Property alters the linear order of terms ($x + y \to y + x$), whereas the Associative Property alters the structural grouping of terms without modifying their sequential positions ($(x + y) + z \to x + (y + z)$).

---

Topological Properties: Density and Completeness

Two critical topological characteristics set the real number continuum apart from smaller numerical systems:

1. The Density Property

Both rational numbers $\mathbb{Q}$ and irrational numbers $\mathbb{I}$ are dense in $\mathbb{R}$. Formally, between any two distinct real numbers $a$ and $b$ (where $a < b$), there exists at least one rational number $q \in \mathbb{Q}$ and infinitely many irrational numbers $r \in \mathbb{I}$.

For example, between $0.33$ and $0.34$, the midpoint $\frac{0.33 + 0.34}{2} = 0.335 = \frac{67}{200}$ is rational, whereas $0.33 + \frac{\sqrt{2}}{1000} \approx 0.3314142\dots$ is irrational.

2. The Completeness Axiom (Least Upper Bound Property)

While the rational numbers are dense, $\mathbb{Q}$ contains "gaps" or holes (for instance, $\sqrt{2}$ represents a missing point on the rational line). The Completeness Axiom states that every non-empty set of real numbers $S \subset \mathbb{R}$ that is bounded above possesses a least upper bound (also called the supremum, $\sup S$) residing in $\mathbb{R}$.

Consider the set $S = \{x \in \mathbb{Q} \mid x^2 < 2\}$. In $\mathbb{Q}$, this set has rational upper bounds (such as $1.5$ or $1.42$), but no least rational upper bound because $\sqrt{2} \notin \mathbb{Q}$. In $\mathbb{R}$, however, $\sup S = \sqrt{2} \in \mathbb{R}$. Completeness guarantees that the real line is a continuous, unbroken continuum without any gaps.

---

Absolute Value Metric and Distance on the Real Line

The absolute value of a real number $x$, denoted $|x|$, represents its magnitude or undirected geometric distance from the origin $0$ on the number line. Formally, absolute value is defined piecewise as:

$$|x| = \begin{cases} x & \text{if } x \ge 0 \\ -x & \text{if } x < 0 \end{cases}$$

Metric Distance Formula on $\mathbb{R}$

The distance $d(a, b)$ between any two points $a, b \in \mathbb{R}$ on the number line is given by the absolute difference:

$$d(a, b) = |a - b| = |b - a|$$

Fundamental Properties of Absolute Value

1. Non-negativity: $|x| \ge 0$, and $|x| = 0 \iff x = 0$.
2. Symmetry: $|-x| = |x|$ and $|a - b| = |b - a|$.
3. Multiplicativity: $|ab| = |a| \cdot |b|$.
4. Quotient Rule: $\left| \frac{a}{b} \right| = \frac{|a|}{|b|}$ for $b \neq 0$.
5. Triangle Inequality: $|a + b| \le |a| + |b|$ for all $a, b \in \mathbb{R}$. Equality holds if and only if $a$ and $b$ share the same algebraic sign (or at least one is zero).

---

Order of Operations (PEMDAS / GEMDAS)

To ensure unambiguous evaluation of numerical and algebraic expressions, operations are executed according to the standardized hierarchy:

1. P / G - Grouping Symbols: Evaluate expressions inside grouping symbols from innermost to outermost. Grouping symbols include parentheses (), brackets [], braces {}, absolute value bars | |, radical signs $\sqrt{\dots}$, and implicit fraction bars $\frac{\text{Numerator}}{\text{Denominator}}$.
2. E - Exponents & Radicals: Evaluate all exponential powers and roots next. A tower of exponents is evaluated from the top down (right-associative), so $2^{3^2}$ means $2^9 = 512$ and not $(2^3)^2 = 64$.
3. M / D - Multiplication & Division: Perform multiplication and division in strict left-to-right order (these operations hold equal precedence).
4. A / S - Addition & Subtraction: Perform addition and subtraction in strict left-to-right order (these operations hold equal precedence).

---

Comprehensive Worked Examples

Worked Example 1: Absolute Value Metric & Distance Evaluation

Problem: Find the distance between $a = -9$ and $b = 4$ on the number line, and evaluate the expression:

$$E = -2 |a - b| + |a + b|^2$$

Step-by-Step Solution:

1. Calculate distance $d(a, b)$: $$d(-9, 4) = |-9 - 4| = |-13| = 13$$
2. Substitute $a = -9$ and $b = 4$ into $E$: $$E = -2 |-9 - 4| + |-9 + 4|^2$$
3. Evaluate absolute value terms:
   • First term: $-2 |-13| = -2(13) = -26$.
   • Second term: $|-9 + 4| = |-5| = 5$.
4. Square the magnitude: $$5^2 = 25$$
5. Combine terms: $$E = -26 + 25 = -1$$

---

Worked Example 2: Complex Nested Order of Operations

Problem: Evaluate the numerical expression:

$$\frac{4 \left[ 3^3 - 4(8 - 3) \right] + |-36|}{\left| -5 \right|^2 - 3^2}$$

Step-by-Step Solution:

1. Simplify innermost parentheses & absolute values:
   • Numerator inner parenthesis: $(8 - 3) = 5$.
   • Numerator absolute value: $|-36| = 36$.
   • Denominator absolute value: $|-5| = 5$.
   $$\frac{4 \left[ 3^3 - 4(5) \right] + 36}{5^2 - 3^2}$$
2. Evaluate exponents:
   • $3^3 = 27$.
   • $5^2 = 25$ and $3^2 = 9$.
   $$\frac{4 \left[ 27 - 4(5) \right] + 36}{25 - 9}$$
3. Perform multiplication inside numerator bracket:
   • $4(5) = 20 \implies 27 - 20 = 7$.
   $$\frac{4[7] + 36}{25 - 9}$$
4. Simplify numerator multiplication and denominator subtraction:
   • Numerator: $4 \cdot 7 = 28 \implies 28 + 36 = 64$.
   • Denominator: $25 - 9 = 16$.
   $$\frac{64}{16}$$
5. Divide numerator by denominator: $$\frac{64}{16} = 4.0$$

---

Worked Example 3: Subset Classification & Field Axiom Verification

Problem: Classify the number $x = \frac{\sqrt{49}}{3} - 0.\overline{6}$ into its narrowest number set, and state the field axiom that justifies why $x + (-x) = 0$.

Step-by-Step Solution:

1. Simplify $\sqrt{49}$: $\sqrt{49} = 7$, so $\frac{\sqrt{49}}{3} = \frac{7}{3}$.
2. Convert repeating decimal to fraction: $0.\overline{6} = \frac{2}{3}$.
3. Subtract fractions: $x = \frac{7}{3} - \frac{2}{3} = \frac{5}{3}$.
4. Classify: Since $x = \frac{5}{3}$ is a ratio of integers with non-zero denominator, its narrowest set classification is the Rational Numbers ($\mathbb{Q}$).
5. Identify Axiom: The identity $x + (-x) = 0$ is guaranteed by the Additive Inverse Property of real numbers.