Fundamental Properties of Real Numbers

Why This Matters

In mathematical analysis, you're not just computing—you're proving. Every theorem about limits, continuity, and convergence rests on a precise foundation: the properties of real numbers. When you prove that a sequence converges or that a function is continuous, you're implicitly invoking these properties. Understanding them deeply means understanding why calculus works, not just how to do it.

These properties fall into three categories: algebraic structure (how arithmetic behaves), order structure (how comparisons work), and completeness (what makes $\mathbb{R}$ special). The algebraic and order properties also hold for $\mathbb{Q}$, but completeness is what separates real numbers from rationals—and it's the property that makes analysis possible. Don't just memorize these axioms—know which category each belongs to and when you'd invoke it in a proof.

---

Algebraic Structure: The Field Axioms

These properties define $\mathbb{R}$ as a field—an algebraic structure where addition and multiplication behave "nicely." Every proof involving arithmetic manipulation relies on these axioms.

Closure Property

• Addition and multiplication are closed operations—the sum or product of any two real numbers is always a real number
• Guarantees well-defined operations within $\mathbb{R}$; you never "leave" the real numbers through basic arithmetic
• Foundation for function domains—when we say $f: \mathbb{R} \to \mathbb{R}$, closure ensures the output stays in $\mathbb{R}$

Associative Property

• Grouping doesn't matter: $(a + b) + c = a + (b + c)$ and $(a \cdot b) \cdot c = a \cdot (b \cdot c)$
• Enables multi-term operations without ambiguity—you can write $a + b + c$ without specifying parentheses
• Critical for series manipulation—regrouping terms in infinite sums requires careful justification because of this property

Commutative Property

• Order doesn't matter: $a + b = b + a$ and $a \cdot b = b \cdot a$
• Distinguishes $\mathbb{R}$ from non-commutative structures like matrices, where $AB \neq BA$ in general
• Simplifies algebraic proofs—you can rearrange terms freely when working with real numbers

Distributive Property

• Multiplication distributes over addition: $a \cdot (b + c) = a \cdot b + a \cdot c$
• Bridges the two operations—this is the only axiom connecting addition and multiplication
• Essential for factoring and expanding—every algebraic manipulation involving both operations uses this property

Identity Elements

• Additive identity is 0: $a + 0 = a$ for all $a \in \mathbb{R}$
• Multiplicative identity is 1: $a \cdot 1 = a$ for all $a \in \mathbb{R}$
• Uniqueness matters—you can prove each identity is unique, a common early exercise in analysis

Inverse Elements

• Every $a$ has an additive inverse $-a$ such that $a + (-a) = 0$
• Every $a \neq 0$ has a multiplicative inverse $a^{-1}$ such that $a \cdot a^{-1} = 1$
• The exception for zero is crucial—division by zero is undefined precisely because 0 has no multiplicative inverse

---

Order Structure: Making Comparisons Rigorous

These properties define $\mathbb{R}$ as an ordered field—a field with a compatible notion of "less than." Every inequality proof and every ε-δ argument depends on these.

Trichotomy Property

• Exactly one relationship holds for any $a, b \in \mathbb{R}$: either $a < b$, $a = b$, or $a > b$
• Enables proof by cases—when comparing real numbers, you can exhaustively consider all three possibilities
• Foundation for the absolute value function—the definition $|a| = a$ if $a \geq 0$, $|a| = -a$ if $a < 0$ relies on trichotomy

Transitivity of Order

• Inequalities chain: if $a < b$ and $b < c$, then $a < c$
• Essential for bounding arguments—most analysis proofs involve establishing chains of inequalities
• Combines with other properties—transitivity plus trichotomy makes $<$ a strict total order on $\mathbb{R}$

---

Completeness: What Makes $\mathbb{R}$ Special

This is the property that separates $\mathbb{R}$ from $\mathbb{Q}$. Without completeness, limits wouldn't exist, and analysis would collapse.

Completeness Axiom (Least Upper Bound Property)

• Every non-empty set bounded above has a supremum (least upper bound) in $\mathbb{R}$
• $\mathbb{Q}$ fails this property—the set $\{x \in \mathbb{Q} : x^2 < 2\}$ has no rational supremum, but its real supremum is $\sqrt{2}$
• Foundation for all of analysis—convergence of Cauchy sequences, the Intermediate Value Theorem, and the existence of limits all depend on completeness

Archimedean Property

• No infinitely large or small elements: for any $a, b > 0$, there exists $n \in \mathbb{N}$ such that $na > b$
• Equivalently, $\frac{1}{n} \to 0$—you can always find a natural number whose reciprocal is smaller than any positive real
• Consequence of completeness—this property can be proved from the least upper bound property, not assumed separately

---

Quick Reference Table

---

Self-Check Questions

1. Which two properties together ensure that you can rearrange and regroup a sum like $a + b + c + d$ in any order without changing the result?

2. The set $\{x \in \mathbb{Q} : x^2 < 2\}$ is bounded above in $\mathbb{Q}$. Why doesn't it have a supremum in $\mathbb{Q}$, and what property of $\mathbb{R}$ guarantees it has one there?

3. Compare and contrast the additive identity and the additive inverse. How do they work together in solving equations?

4. If a proof requires showing that for any $\varepsilon > 0$, there exists $n$ such that $\frac{1}{n} < \varepsilon$, which property are you invoking? Can this property be proved from more basic axioms?

5. Suppose you're proving that $a \leq b$ and $b \leq a$ implies $a = b$. Which order properties would you use, and how does the argument proceed?