Real Number System Summary

Real Analysis · Axiom Academy

SUMMARY Real Number System Summary How the completeness axiom distinguishes the reals from the rationals and makes rigorous analysis possible. Completeness is the defining property. is not just "the rationals plus the irrationals" — it is the unique complete ordered field, and that completeness is what enables all of analysis. The supremum method. Many existence proofs follow one pattern: build a nonempty bounded set, apply completeness to get its supremum, then prove that supremum has the property you want. The rationals are incomplete. The set has no supremum in — a concrete "gap" showing why alone is insufficient. Density does not imply completeness. The rationals are dense in (one sits between any two reals), yet they still have gaps — density and completeness are different ideas. is built from three groups of axioms. The field axioms give the usual arithmetic (commutativity, associativity, distributivity, identities, inverses); the order axioms make totally ordered with order compatible with the operations; the completeness axiom is the one that separates from . The distinction: satisfies the field and order axioms too. Watch out for: fails only completeness — that gap is where numbers like should be. Core Concept Supremum & Infimum M is an upper bound of S if for all . The supremum is the least upper bound — the smallest number still bounding S above. The infimum is the greatest lower bound, defined analogously.

This is the written version of the interactive lesson above. See the full Real Analysis course.