Real numbers - Knowlpedia

The real numbers are a set $\mathbb{R}$ , equipped with operations $+$ and $\cdot$ and a total order $\le$ such that:

$(\mathbb{R},+,\cdot)$ is a field.
The order is compatible with the operations: if $a\le b$ then $a+c\le b+c$ , and if $0\le a$ and $0\le b$ then $0\le ab$ .
(Completeness) Every nonempty subset $A\subseteq\mathbb{R}$ that has an upper bound in $\mathbb{R}$ has a least upper bound in $\mathbb{R}$ ; that is, there exists $u\in\mathbb{R}$ such that $u$ is an upper bound of $A$ , and for every upper bound $v$ of $A$ one has $u\le v$ .

Remarks

The completeness property is what distinguishes $\mathbb{R}$ from $\mathbb{Q}$ and underlies much of analysis. The usual inclusion of the rational numbers $\mathbb{Q}\subseteq\mathbb{R}$ identifies each rational number with a real number.

Examples

The number $\sqrt{2}$ is a real number but not a rational number.
Every rational number, such as $5/7$ , is also a real number.