The completeness axiom
Every non-empty subset of bounded above has a least upper bound. This single axiom characterises among ordered fields and is exactly what lacks: {} has no rational supremum.
Equivalent forms (any one implies the rest):
- monotone bounded sequences converge;
- Bolzano–Weierstrass;
- Cauchy sequences converge;
- nested interval property;
- Heine–Borel on [a,b];
- every non-empty bounded-below set has an infimum.
Working with sup and inf
- s = sup A ⇔ s is an upper bound and for every there is a ∈ A with .
- sup(A + B) = sup A + sup B, but sup(AB) ≠ sup A · sup B in general (negatives).
- sup(−A) = −inf A.
- sup and inf need not be attained: sup(0,1) = 1 ∉ (0,1). They are attained for compact sets.
Archimedean property
For every there is with n > x. Consequences: 1/n → 0, and is dense in between any two reals lies a rational, and also an irrational).
Non-Archimedean ordered fields exist (fields of rational functions ordered by growth), which is why this is stated as a property, not a triviality.
Countability
is countable; and the irrationals are uncountable; || = || = ||. A countable set has measure zero, so has measure zero — but the Cantor set shows uncountable sets can too.
Key takeaways
- Completeness = existence of suprema; everything else in the list is equivalent to it.
- Use the characterisation of sup to prove sup statements.
- Density of both and its complement is the source of most "nowhere continuous" examples.