Number Line and Arithmetic Properties — Mathematics Knowledge System

Overview

The number line is a geometric representation of all real numbers as points on an infinite line, with 0 at the center, positive numbers to the right, and negative numbers to the left. It provides visual intuition for ordering (a < b means a is to the left of b), distance (|a - b|), and arithmetic operations. Interval notation encodes subsets of the real line: (a,b) is open (excludes endpoints), [a,b] is closed (includes endpoints), with combinations for half-open intervals. The number line model is foundational for understanding limits, continuity, and analysis.

Intuition

Think of the number line as a ruler extending infinitely in both directions. Every real number -- integer, fraction, or irrational -- has exactly one location. Distance between two numbers is |a - b|. Moving right = adding; moving left = subtracting. Intervals are 'stretches' of the line: [1,3] is the segment from 1 to 3 including endpoints; (1,3) excludes 1 and 3.

Formal Definition

Definition

The real line is the set R equipped with the standard order (a < b defined by b - a > 0) and the metric d(a,b) = |a - b|. Intervals: open (a,b) = {x : a < x < b}; closed [a,b] = {x : a <= x <= b}; half-open [a,b) = {x : a <= x < b}; unbounded: (a, inf) = {x : x > a}, (-inf, b] = {x : x <= b}. Absolute value: |x| = x if x >= 0, -x if x < 0; gives distance from 0.

|a - b| = \text{distance between } a \text{ and } b

Distance on number line

[a,b] = \{x \in \mathbb{R} : a \le x \le b\}

Closed interval

(a,b) = \{x \in \mathbb{R} : a < x < b\}

Open interval

|a + b| \le |a| + |b| \text{ (triangle inequality)}

Triangle inequality

Notation

Notation	Meaning
$(a,b)$	Open interval: a < x < b
$[a,b]$	Closed interval: a <= x <= b
$(-\infty, b]$	Unbounded interval x <= b
$\|x\|$	Absolute value / distance from 0

Theorems

Theorem 1: Triangle Inequality

For all real numbers a and b: |a + b| <= |a| + |b|. Equivalently, |a - b| >= ||a| - |b||. Geometrically: the distance from 0 to a+b is at most the sum of the distances from 0 to a and from 0 to b.

Theorem 2: Completeness of the Real Line (Dedekind)

Every non-empty subset of R that is bounded above has a least upper bound (supremum) in R. This completeness property distinguishes R from Q and ensures the real line has no 'gaps' -- every Cauchy sequence converges.

Worked Examples

1
Add 1 to all parts: -1 <= 3x < 6.
$-1 \le 3x < 6$
2
Divide by 3: -1/3 <= x < 2.
$-\tfrac{1}{3} \le x < 2$
3
In interval notation: [-1/3, 2).
$x \in [-\tfrac{1}{3}, 2)$

✓ Answer

[-1/3, 2).

Practice Problems

Easyapplication

Find all x satisfying |x - 3| < 2. Express as an interval.

Common Mistakes

Common Mistake

Writing (-inf, inf) as [-inf, inf] with square brackets.

Infinity is not a real number and cannot be included in an interval. Always use parentheses next to infinity: (-inf, inf), not [-inf, inf]. The interval (-inf, inf) represents all real numbers R.

Quiz

Which interval includes its endpoints?

(2, 5)[2, 5](2, 5][2, 5)

Historical Background

The number line as a geometric model for numbers was developed gradually. John Wallis (1657) introduced negative numbers on a line. Rene Descartes's coordinate geometry (1637) placed numbers on axes. The modern number line with rational and irrational points was clarified by Dedekind (1872) when he defined real numbers via cuts in the rationals -- each real number corresponds to a unique point on the line.

1637
Descartes uses numerical axes in coordinate geometry
Rene Descartes
1657
Wallis extends the line to negative numbers
John Wallis
1872
Dedekind defines real numbers as cuts, completing the number line
Richard Dedekind

Summary

The real number line orders all reals geometrically; distance d(a,b) = |a-b|.
Intervals: (a,b) open (strict), [a,b] closed (inclusive), mixed for half-open.
Triangle inequality: |a+b| <= |a|+|b|; |a-b| >= ||a|-|b||.
Completeness: every bounded subset of R has a supremum in R (no gaps).

References

BookSpivak, M. Calculus. 4th ed. Publish or Perish, 2008.
WebsiteWikipedia -- Number line