## You are here

Home$0\ne 1$ as real numbers

## Primary tabs

# $0\neq 1$ as real numbers

###### Theorem.

The real numbers 0 and 1 are distinct.

There are four relatively common ways of constructing the real numbers. One can start with the natural numbers and augment it by adding solutions to particular classes of equations, ultimately considering either equivalence classes of Cauchy sequences of rational numbers or Dedekind cuts of rational numbers. One can instead define the real numbers to be the unique (up to isomorphism) ordered field with the least upper bound property. Finally, one can characterise the real numbers as equivalence classes of possibly infinite strings over the alphabet $\{0,1,2,3,4,5,6,7,8,9,.\}$ satisfying certain conditions. We offer a proof for each characterisation.

###### Cauchy sequences.

This construction proceeds by starting with a standard model of Peano arithmetic, the natural numbers $\mathbb{N}$, extending to $\mathbb{Z}$ by adding additive inverses, extending to $\mathbb{Q}$ by taking the field of fractions of $\mathbb{Z}$, and finally defining $\mathbb{R}$ to be the set of equivalence classes of Cauchy sequences in $\mathbb{Q}$ for an appropriately defined equivalence relation.

There is a natural embedding $i\!:\mathbb{N}\to\mathbb{R}$ defined by sending a given number $x$ to the equivalence class of the constant sequence $(x,\,x,\,\dots)$. Since $i$ is injective and $0$ and $1$ are elements of $\mathbb{N}$, to prove that $0\neq 1$ in $\mathbb{R}$ we need only show that $0\neq 1$ in $\mathbb{N}$.

###### Dedekind cuts.

This construction agrees with the previous one up to constructing the rationals $\mathbb{Q}$. Then $\mathbb{R}$ is defined to be the set of all Dedekind cuts on $\mathbb{Q}$. Letting $x_{{\mathbb{Q}}}$ represent the name of an element of $\mathbb{Q}$ and $x_{{\mathbb{R}}}$ represent the name of an element of $\mathbb{R}$, we define

$\displaystyle 0_{{\mathbb{R}}}$ | $\displaystyle=\{x\in\mathbb{Q}|x<0_{{\mathbb{Q}}}\}$ | ||

$\displaystyle 1_{{\mathbb{R}}}$ | $\displaystyle=\{x\in\mathbb{Q}|x<1_{{\mathbb{Q}}}\}$ |

The proof that $0_{{\mathbb{Q}}}\neq 1_{{\mathbb{Q}}}$ is similar to the previous proof. Observe that $0_{{\mathbb{Q}}}<1_{{\mathbb{Q}}}$. Since no number is less than itself, it follows that $0_{{\mathbb{Q}}}\notin 0_{{\mathbb{R}}}$ but $0_{{\mathbb{Q}}}\in 1_{{\mathbb{R}}}$. Thus these Dedekind cuts are not equal. ∎

###### Ordered field with least upper bound property.

Here the fact that $0\neq 1$ is a consequence of the field axiom requiring $0$ and $1$ to be distinct. ∎

###### Decimal strings.

If one defines

$\displaystyle 0$ | $\displaystyle=\overline{(0,0,0,0,\dots)}$ | ||

$\displaystyle 1$ | $\displaystyle=\overline{(1,0,0,0,\dots)}$ |

then since neither defining string ends with a tail of 9s and the strings differ in one position, their equivalence classes are distinct. ∎

## Mathematics Subject Classification

54C30*no label found*26-00

*no label found*12D99

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new correction: Error in proof of Proposition 2 by alex2907

Jun 24

new question: A good question by Ron Castillo

Jun 23

new question: A trascendental number. by Ron Castillo

Jun 19

new question: Banach lattice valued Bochner integrals by math ias

Jun 13

new question: young tableau and young projectors by zmth

## Comments

## real numbers

how about constructing reals from nrationals by using cantor's property of nested intervals. this is more appealing than dedkind and certainly more algorithmic.anilped2hotmail.com can u guide me on this ?