Scribd
Upload
748 views2 pages

Archimedean Property

The document discusses the Archimedean property of real numbers, which states that for any real number x, there exists a natural number n that is greater than x. This property is also known as the axiom of Archimedes. The document provides a proof of the Archimedean property and then presents three corollaries that follow from it, including that between any two real numbers x and y with x < y, there exists a rational number a such that x < a < y.

Uploaded by

José Augusto Siles Ramírez
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
748 views2 pages

Archimedean Property

The document discusses the Archimedean property of real numbers, which states that for any real number x, there exists a natural number n that is greater than x. This property is also known as the axiom of Archimedes. The document provides a proof of the Archimedean property and then presents three corollaries that follow from it, including that between any two real numbers x and y with x < y, there exists a rational number a such that x < a < y.

Uploaded by

José Augusto Siles Ramírez
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

Archimedean property https://planetmath.

org/archimedeanproperty

Archimedean property

Let 𝑥 be any real number. Then there exists a natural number 𝑛 such that 𝑛 > 𝑥.

This theorem is known as the Archimedean property of real numbers. It is also sometimes
called the axiom of Archimedes, although this name is doubly deceptive: it is neither an axiom
(it is rather a consequence of the least upper bound property) nor attributed to Archimedes (in
fact, Archimedes credits it to Eudoxus).

Proof. Let 𝑥 be a real number, and let 𝑆 = {𝑎 ∈ ℕ: 𝑎 ≤ 𝑥}. If 𝑆 is empty, let 𝑛 = 1; note that
𝑥 < 𝑛 (otherwise 1 ∈ 𝑆).

Assume 𝑆 is nonempty. Since 𝑆 has an upper bound, 𝑆 must have a least upper bound; call it
𝑏. Now consider 𝑏 − 1. Since 𝑏 is the least upper bound, 𝑏 − 1 cannot be an upper bound of 𝑆;
therefore, there exists some 𝑦 ∈ 𝑆 such that 𝑦 > 𝑏 − 1. Let 𝑛 = 𝑦 + 1; then 𝑛 > 𝑏. But 𝑦 is a
natural, so 𝑛 must also be a natural. Since 𝑛 > 𝑏, we know 𝑛 ∉ 𝑆; since 𝑛 ∉ 𝑆, we know 𝑛 > 𝑥.
Thus we have a natural greater than 𝑥. ∎

Corollary 1. If 𝑥 and 𝑦 are real numbers with 𝑥 > 0, there exists a natural 𝑛 such that 𝑛𝑥 > 𝑦.
Proof. Since 𝑥 and 𝑦 are reals, and 𝑥 ≠ 0, 𝑦/𝑥 is a real. By the Archimedean property, we can
choose an 𝑛 ∈ ℕ such that 𝑛 > 𝑦/𝑥. Then 𝑛𝑥 > 𝑦. ∎
Corollary 2. If 𝑤 is a real number greater than 0, there exists a natural 𝑛 such that
0 < 1/𝑛 < 𝑤.
Proof. Using Corollary 1, choose 𝑛 ∈ ℕ satisfying 𝑛𝑤 > 1. Then 0 < 1/𝑛 < 𝑤. ∎
Corollary 3. If 𝑥 and 𝑦 are real numbers with 𝑥 < 𝑦, there exists a rational number 𝑎 such that
𝑥 < 𝑎 < 𝑦.
Proof. First examine the case where 0 ≤ 𝑥. Using Corollary 2, find a natural 𝑛 satisfying
0 < 1/𝑛 < (𝑦 − 𝑥). Let 𝑆 = {𝑚 ∈ ℕ: 𝑚/𝑛 ≥ 𝑦}. By Corollary 1 𝑆 is non-empty, so let 𝑚 be
the least element of 𝑆 and let 𝑎 = (𝑚 − 1)/𝑛. Then 𝑎 < 𝑦. Furthermore, since 𝑦 ≤ 𝑚 /𝑛, we
have 𝑦 − 1/𝑛 < 𝑎; and 𝑥 < 𝑦 − 1/𝑛 < 𝑎. Thus 𝑎 satisfies 𝑥 < 𝑎 < 𝑦.

Now examine the case where 𝑥 < 0 < 𝑦. Take 𝑎 = 0.

Finally consider the case where 𝑥 < 𝑦 ≤ 0. Using the first case, let 𝑏 be a rational satisfying
−𝑦 < 𝑏 < −𝑥. Then let 𝑎 = −𝑏. ∎

1 de 2 26/12/2018 12:52
Archimedean property https://planetmath.org/archimedeanproperty

Title Archimedean property


Canonical name ArchimedeanProperty
Date of creation 2013-03-22 13:00:47
Last modified on 2013-03-22 13:00:47
Owner Daume (40)
Last modified by Daume (40)
Numerical id 9
Author Daume (40)
Entry type Theorem
Classification msc 12D99
Synonym axiom of Archimedes
Synonym Archimedean principle
Related topic ArchimedeanSemigroup
Related topic ExistenceOfSquareRootsOfNonNegativeRealNumbers
Generated on Fri Feb 9 16:38:52 2018 by L T XML

2 de 2 26/12/2018 12:52

You might also like