Definition:Real Number/Real Number Line

From ProofWiki
Jump to navigation Jump to search

Definition

From the Cantor-Dedekind Hypothesis, the set of real numbers is isomorphic to any infinite straight line.

The real number line is an arbitrary infinite straight line each of whose points is identified with a real number such that the distance between any two real number is consistent with the length of the line between those two points.

RealNumberLine.png

Thus we can identify any (either physically drawn or imagined) line with the set of real numbers and thereby illustrate truths about the real numbers by means of diagrams.


Origin

The point representing the number $0$ (zero) is referred to as the origin.


Ordering

The usual ordering on $\R$ is implemented on the real number line as:

$a > b$ if and only if $a$ is to the right of $b$
$a < b$ if and only if $a$ is to the left of $b$.


Also see

Hence from Metric Induces Topology, the real number line is also a topological space.


Sources