The Continuous Line
The real numbers fill every gap of the rationals, forming a continuous line. Their defining trait is completeness: every set bounded above has a least upper bound (supremum) in . The rationals fail this, as the set of rationals with square under 2 misses .
Positions and distances are measured via tools:
| Tool | Notation / Form | Meaning |
|---|---|---|
| Closed Interval | Endpoints included | |
| Open Interval | Endpoints excluded | |
| Absolute Value | Distance to 0 ( if , else ) | |
| Distance | Gap between and |
Inequalities and Bounds
A set is bounded above if a number exceeds all its elements (an upper bound). Completeness ensures the supremum exists in , though it need not belong to the set itself.
The triangle inequality &|x + y| \le |x| + |y|& states the combined step length never exceeds the sum of parts. It is vital for analysis.
Common pitfall: Confusing an upper bound with the least upper bound. Any number above the set works, but the supremum is the single smallest one.