L02 · Real Numbers & Completeness

Canonical content

Full notes + interactive √2 gap and sup/inf canvases live under Notes. Legacy HTML is backup.

Supremum

For $A\subseteq\mathbb{R}$ , $s=\sup A$ if $s$ is an upper bound and every upper bound is $\ge s$ .

Sup vs Max

$\sup A$ need not lie in $A$ . Example: $A=(0,1)$ has $\sup A=1\notin A$ .

Visualization

Real numbers — interactive notes

Widgets: approximating $\sqrt{2}$ in $\mathbb{Q}$ , and interactive sup/inf on the line.