PlanetMath: $0\ne 1$ as real numbers

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (212)
Orphanage
Unclass'd (1)
Unproven (473)
Corrections (38)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

$0\ne 1$ as real numbers

(Theorem)

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.

Proof. [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 to the equivalence class of the constant sequence $(x,\,x,\,\dots)$ . Since is injective and 0 and are elements of $\mathbb{N}$ , to prove that $0\ne 1$ in $\mathbb{R}$ we need only show that $0\ne 1$ in $\mathbb{N}$ .

The name is a label for the successor of 0 in $\mathbb{N}$ . One of the axioms of Peano arithmetic states that 0 is not the successor of any number. Therefore $0\ne S0$ in $\mathbb{N}$ , and so $0\ne 1$ in $\mathbb{R}$ . $\qedsymbol$

Proof. [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} \vert x < 0_{\mathbb{Q}} \}$
$\displaystyle 1_{\mathbb{R}}$	$\displaystyle = \{x\in\mathbb{Q} \vert x < 1_{\mathbb{Q}} \}$

The proof that $0_{\mathbb{Q}}\ne 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. $\qedsymbol$

Proof. [Ordered field with least upper bound property] Here the fact that $0\ne 1$ is a consequence of the field axiom requiring 0 and

to be distinct. $\qedsymbol$

Proof. [Decimal strings] If one defines

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. $\qedsymbol$

Anyone with an account can edit this entry. Please help improve it!

" $0\ne 1$ as real numbers" is owned by mps. [ full author list (2) ]

(view preamble)

See Also: decimal expansion

This object's parent.

Log in to rate this entry.
(view current ratings)

Cross-references: consequence, field, similar, represent, rationals, cuts, axioms, successor, label, injective, natural embedding, equivalence relation, field of fractions, inverses, additive, Peano arithmetic, sequences, characterisation, alphabet, strings, infinite, least upper bound property, ordered field, isomorphism, Dedekind cuts, rational numbers, Cauchy sequences, equivalence classes, equations, classes, solutions, natural numbers, real numbers

This is version 8 of $0\ne 1$ as real numbers, born on 2005-07-10, modified 2006-12-14.
Object id is 7218, canonical name is 0ne1AsRealNumbers.
Accessed 3311 times total.

Classification:

AMS MSC:	12D99 (Field theory and polynomials :: Real and complex fields :: Miscellaneous)
	26-00 (Real functions :: General reference works )
	54C30 (General topology :: Maps and general types of spaces defined by maps :: Real-valued functions)

Pending Errata and Addenda

None.[ View all 2 ]

Discussion

forum policy

Interact