Number Line
ArithmeticA number line is a straight line on which numbers are represented as points, with positive numbers to the right of zero and negative numbers to the left.
Definition
A number line is a line where every point represents a number. Numbers increase as you move right and decrease as you move left. Zero is in the middle.
Example
On a number line: $-3, -2, -1, 0, 1, 2, 3$ are evenly spaced. The number $2$ is to the right of $0$, and $-2$ is to the left.
Key Insight
A number line turns addition and subtraction into movement: adding means moving right, subtracting means moving left.
Definition
A number line is a visual representation of the real number system, with a one-to-one correspondence between points and real numbers. The distance between two points $a$ and $b$ is $|a - b|$. Number lines model addition (right), subtraction (left), order ($<, >$), and absolute value (distance from origin).
Example
Solving $|-4 - x| = 3$ geometrically: find all points $x$ whose distance from $-4$ is $3$. They are $x = -7$ and $x = -1$.
Key Insight
The number line is a geometric model of the real numbers. The same idea in $2$D gives the coordinate plane, in $3$D gives $3$-space, and in any dimension gives $\mathbb{R}^n$. All of calculus and analysis is built on this model.
Definition
The number line is the metric space $(\mathbb{R}, d)$ where $d(x,y) = |x-y|$. It is the unique (up to isometry) complete, separable, connected $1$-manifold without boundary. As a topological space, $\mathbb{R}$ is homeomorphic to any open interval. The number line underlies the definition of limits, continuity, and the derivative.
Example
Cantor's construction: remove the middle third of $[0,1]$, then the middle thirds of remaining intervals, repeatedly. The resulting Cantor set is a subset of the number line with measure $0$ but uncountably many points.
Key Insight
The real line is the foundation of all calculus. Its completeness (every Cauchy sequence converges) is what makes the intermediate value theorem, mean value theorem, and the fundamental theorem of calculus provable.