Namespaces
Variants
Actions

Difference between revisions of "Real number"

From Encyclopedia of Mathematics
Jump to: navigation, search
(chanaged "fundamental sequence" to more common term "Cauchy sequence")
m (tex done)
 
Line 1: Line 1:
 +
<!--
 +
r0800601.png
 +
$#A+1 = 276 n = 0
 +
$#C+1 = 276 : ~/encyclopedia/old_files/data/R080/R.0800060 Real number
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
A positive number, a negative number or zero. The concept of a real number arose by a generalization of the concept of a [[Rational number|rational number]]. Such a generalization was rendered necessary both by practical applications of mathematics — viz., the expression of the value of a given magnitude by a definite number — and by the internal development of mathematics itself; in particular, by the desire to extend the domain of applicability of certain operations on numbers (root extraction, computation of logarithms, solution of equations, etc.). The general concept of real number was already studied by Greek mathematicians of Antiquity in their theory of non-commensurable segments, but it was formulated as an independent concept only in the 17th century by I. Newton, in his Arithmetica Universalis as follows:  "A number is not so much the totality of several units, as an abstract ratio between one magnitude and another, of the same kind, and which is accepted as a unit" . Rigorous theories of real numbers were constructed at the end of the 19th century by K. Weierstrass, G. Cantor and R. Dedekind.
 
A positive number, a negative number or zero. The concept of a real number arose by a generalization of the concept of a [[Rational number|rational number]]. Such a generalization was rendered necessary both by practical applications of mathematics — viz., the expression of the value of a given magnitude by a definite number — and by the internal development of mathematics itself; in particular, by the desire to extend the domain of applicability of certain operations on numbers (root extraction, computation of logarithms, solution of equations, etc.). The general concept of real number was already studied by Greek mathematicians of Antiquity in their theory of non-commensurable segments, but it was formulated as an independent concept only in the 17th century by I. Newton, in his Arithmetica Universalis as follows:  "A number is not so much the totality of several units, as an abstract ratio between one magnitude and another, of the same kind, and which is accepted as a unit" . Rigorous theories of real numbers were constructed at the end of the 19th century by K. Weierstrass, G. Cantor and R. Dedekind.
  
 
Real numbers form a non-empty totality of elements which contains more than one element and displays the following properties.
 
Real numbers form a non-empty totality of elements which contains more than one element and displays the following properties.
  
I) The property of being ordered. Any two numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r0800601.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r0800602.png" /> have a definite order relation, i.e. one and only one of the following relations will be true: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r0800603.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r0800604.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r0800605.png" />; also, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r0800606.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r0800607.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r0800608.png" /> (transitivity of the order).
+
I) The property of being ordered. Any two numbers $  a $
 +
and $  b $
 +
have a definite order relation, i.e. one and only one of the following relations will be true: $  a < b $,  
 +
$  a = b $
 +
or $  a > b $;  
 +
also, if $  a < b $
 +
and $  b < c $,  
 +
then $  a < c $(
 +
transitivity of the order).
  
II) The property of an addition operation. For any ordered pair of numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r0800609.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006010.png" /> there is a unique number, known as their sum and denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006011.png" />, such that the following properties hold: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006012.png" />) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006013.png" /> (commutativity); <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006014.png" />) for any numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006015.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006016.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006017.png" /> one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006018.png" /> (associativity); <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006019.png" />) there exists a number, called zero and denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006020.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006021.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006022.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006023.png" />) for any number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006024.png" /> there exists a number, called the opposite of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006025.png" /> and denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006026.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006027.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006028.png" />) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006029.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006030.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006031.png" />.
+
II) The property of an addition operation. For any ordered pair of numbers $  a $
 +
and $  b $
 +
there is a unique number, known as their sum and denoted by $  a + b $,  
 +
such that the following properties hold: $  \textrm{ II } _ {1} $)  
 +
$  a +b = b + a $(
 +
commutativity); $  \textrm{ II } _ {2} $)  
 +
for any numbers $  a $,  
 +
$  b $
 +
and $  c $
 +
one has $  a + (b+c) = (a+b) +c $(
 +
associativity); $  \textrm{ II } _ {3} $)  
 +
there exists a number, called zero and denoted by 0 $,  
 +
such that $  a + 0 = a $
 +
for any $  a $;  
 +
$  \textrm{ II } _ {4} $)  
 +
for any number $  a $
 +
there exists a number, called the opposite of $  a $
 +
and denoted by $  -a $,  
 +
such that $  a + (-a) = 0 $;  
 +
$  \textrm{ II } _ {5} $)  
 +
if $  a < b $,  
 +
then $  a + c < b + c $
 +
for any $  c $.
  
The zero is unique, and the number opposite to any given number is unique. For any ordered pair of numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006032.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006033.png" /> the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006034.png" /> is called the difference between the numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006035.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006036.png" /> and is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006037.png" />.
+
The zero is unique, and the number opposite to any given number is unique. For any ordered pair of numbers $  a $
 +
and $  b $
 +
the number $  a + (-b) $
 +
is called the difference between the numbers $  a $
 +
and $  b $
 +
and is denoted by $  a -b $.
  
III) The property of a multiplication operation. For any ordered pair of numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006038.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006039.png" /> there exists a unique number, known as their product and denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006040.png" />, such that: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006041.png" />) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006042.png" /> (commutativity); <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006043.png" />) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006044.png" /> for any numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006045.png" /> (associativity); <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006046.png" />) there exists a number, known as the unit and denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006047.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006048.png" /> for any number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006049.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006050.png" />) for any non-zero number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006051.png" /> there exists a number, known as its reciprocal and denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006052.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006053.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006054.png" />) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006055.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006056.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006057.png" />.
+
III) The property of a multiplication operation. For any ordered pair of numbers $  a $
 +
and $  b $
 +
there exists a unique number, known as their product and denoted by $  ab $,  
 +
such that: $  \textrm{ III } _ {1} $)  
 +
$  ab = ba $(
 +
commutativity); $  \textrm{ III } _ {2} $)
 +
$  a (bc) = (ab) c $
 +
for any numbers $  a , b , c $(
 +
associativity); $  \textrm{ III } _ {3} $)  
 +
there exists a number, known as the unit and denoted by $  1 $,  
 +
such that $  a1 = a $
 +
for any number $  a $;  
 +
$  \textrm{ III } _ {4} $)  
 +
for any non-zero number $  a $
 +
there exists a number, known as its reciprocal and denoted by $  1 / a $,  
 +
such that $  a(1/a) = 1 $;  
 +
$  \textrm{ III } _ {5} $)  
 +
if $  a < b $
 +
and  $  c > 0 $,  
 +
then $  ac < bc $.
  
These properties ensure that the unit and the reciprocal of each element are unique. For each ordered pair of numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006058.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006059.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006060.png" />, the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006061.png" /> is known as the quotient obtained by dividing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006062.png" /> by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006063.png" />; it is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006064.png" />.
+
These properties ensure that the unit and the reciprocal of each element are unique. For each ordered pair of numbers $  a $
 +
and $  b $,  
 +
$  b \neq 0 $,  
 +
the number $  a (1/b) $
 +
is known as the quotient obtained by dividing $  a $
 +
by $  b $;  
 +
it is denoted by $  a/b $.
  
The number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006065.png" /> is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006066.png" />, the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006067.png" /> is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006068.png" />, etc. The numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006069.png" /> are known as the natural numbers (cf. [[Natural number|Natural number]]). Numbers larger than zero are said to be positive, while numbers smaller than zero are said to be negative. The numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006070.png" /> are called integers (it is assumed that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006071.png" />; cf. [[Integer|Integer]]). Numbers of the type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006072.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006073.png" /> is an integer, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006074.png" /> is a natural number, are known as rational numbers or fractions. They include all integers. The number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006075.png" /> is identified with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006076.png" />. Real numbers which are not rational are also called irrational numbers.
+
The number $  1 + 1 $
 +
is denoted by $  2 $,  
 +
the number $  2 + 1 $
 +
is denoted by $  3 $,  
 +
etc. The numbers $  1, 2, 3 \dots $
 +
are known as the natural numbers (cf. [[Natural number|Natural number]]). Numbers larger than zero are said to be positive, while numbers smaller than zero are said to be negative. The numbers 0, \pm1, \pm2 \dots $
 +
are called integers (it is assumed that $  +a = a $;  
 +
cf. [[Integer|Integer]]). Numbers of the type $  m/n $,  
 +
where $  m $
 +
is an integer, while $  n $
 +
is a natural number, are known as rational numbers or fractions. They include all integers. The number $  (a)1 $
 +
is identified with $  a $.  
 +
Real numbers which are not rational are also called irrational numbers.
  
IV) The property of distributivity of multiplication with respect to addition. For any three numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006077.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006078.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006079.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006080.png" />.
+
IV) The property of distributivity of multiplication with respect to addition. For any three numbers $  a $,  
 +
$  b $
 +
and $  c $,  
 +
$  (a+b) c = ac +bc $.
  
 
A non-empty totality of elements which has all the above properties forms a totally ordered field (cf. [[Totally ordered set|Totally ordered set]]; [[Field|Field]]). Real numbers also have two other important properties.
 
A non-empty totality of elements which has all the above properties forms a totally ordered field (cf. [[Totally ordered set|Totally ordered set]]; [[Field|Field]]). Real numbers also have two other important properties.
  
V) The Archimedean property. For any number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006081.png" /> there exists an integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006082.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006083.png" />. A totality of elements having properties I–V forms an Archimedean ordered field. Examples are not only the field of real numbers, but also the field of rational numbers.
+
V) The Archimedean property. For any number $  a $
 +
there exists an integer $  n $
 +
such that $  n > a $.  
 +
A totality of elements having properties I–V forms an Archimedean ordered field. Examples are not only the field of real numbers, but also the field of rational numbers.
  
 
An important property of real numbers is their continuity; rational numbers do not have this property.
 
An important property of real numbers is their continuity; rational numbers do not have this property.
Line 25: Line 115:
 
VI) The property of continuity. For any system of nested segments
 
VI) The property of continuity. For any system of nested segments
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006084.png" /></td> </tr></table>
+
$$
 +
\{ [ a _ {n} , b _ {n} ] \} ,\  a _ {n}  \leq  a _ {n+1}  \leq  \dots
 +
\leq  b _ {n+1}  \leq  b _ {n} ,\  n= 1 , 2 \dots
 +
$$
  
there exists at least one number which belongs to all the segments of the system. This property is also known as Cantor's principle of nested segments. If the lengths <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006085.png" /> of the nested segments tend to zero as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006086.png" />, there exists a unique point which belongs to all these segments.
+
there exists at least one number which belongs to all the segments of the system. This property is also known as Cantor's principle of nested segments. If the lengths $  b _ {n} - a _ {n} $
 +
of the nested segments tend to zero as $  n \rightarrow \infty $,  
 +
there exists a unique point which belongs to all these segments.
  
The properties of real numbers listed above entail many others; thus, it follows from the properties I to V that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006087.png" />; there also follow the rules of operations on rational fractions, the sign rules to be observed when multiplying and dividing real numbers, the properties of the [[Absolute value|absolute value]] of a real number, the rules governing transformations of equalities and inequalities, etc. Properties I to VI are a complete description of the properties of the field of real numbers and only of this field; in other words, if these properties are taken as axioms, it follows that the real numbers form the unique totality of elements satisfying them. This means that properties I to VI define the set of real numbers up to an isomorphism: If there are two sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006088.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006089.png" /> satisfying the properties I to VI, there always exists a mapping of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006090.png" /> onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006091.png" />, isomorphic with respect to the order and to the operations of addition and multiplication, i.e. this mapping (denoted <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006092.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006093.png" /> is the element corresponding to the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006094.png" />) maps <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006095.png" /> onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006096.png" /> in a one-to-one correspondence so that if
+
The properties of real numbers listed above entail many others; thus, it follows from the properties I to V that $  1 > 0 $;  
 +
there also follow the rules of operations on rational fractions, the sign rules to be observed when multiplying and dividing real numbers, the properties of the [[Absolute value|absolute value]] of a real number, the rules governing transformations of equalities and inequalities, etc. Properties I to VI are a complete description of the properties of the field of real numbers and only of this field; in other words, if these properties are taken as axioms, it follows that the real numbers form the unique totality of elements satisfying them. This means that properties I to VI define the set of real numbers up to an isomorphism: If there are two sets $  X $
 +
and $  Y $
 +
satisfying the properties I to VI, there always exists a mapping of $  X $
 +
onto $  Y $,  
 +
isomorphic with respect to the order and to the operations of addition and multiplication, i.e. this mapping (denoted $  x \rightarrow y $,  
 +
where $  y \in Y $
 +
is the element corresponding to the element $  x \in X $)  
 +
maps $  X $
 +
onto $  Y $
 +
in a one-to-one correspondence so that if
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006097.png" /></td> </tr></table>
+
$$
 +
x _ {1}  < x _ {2} ,\  x _ {1} , x _ {2} \in X,\  \textrm{ and } \ \
 +
x _ {1}  \rightarrow  y _ {1} ,\  x _ {2}  \rightarrow  y _ {2} ,
 +
$$
  
 
then
 
then
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006098.png" /></td> </tr></table>
+
$$
 +
y _ {1}  < y _ {2} ,\  x _ {1} + x _ {2}  \rightarrow  y _ {1} + y _ {2} ,\ \
 +
x _ {1} x _ {2}  \rightarrow  y _ {1} y _ {2} .
 +
$$
  
 
A consequence of this is that the field of real numbers (as distinct, for example, from the field of rational numbers) cannot be extended while preserving the properties I to V, i.e. there is no field with the property of being ordered and with addition and multiplication operations in accordance with properties I to V, which would contain a subset isomorphic to the field of real numbers without being identical with it.
 
A consequence of this is that the field of real numbers (as distinct, for example, from the field of rational numbers) cannot be extended while preserving the properties I to V, i.e. there is no field with the property of being ordered and with addition and multiplication operations in accordance with properties I to V, which would contain a subset isomorphic to the field of real numbers without being identical with it.
  
There are many more real numbers than rational numbers; in fact, the rational numbers form a countable subset of the set of real numbers, which is itself uncountable (cf. [[Cardinality|Cardinality]]). Both the rational and the irrational numbers are dense in the set of all real numbers (cf. [[Dense set|Dense set]]): For any two real numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r08006099.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060100.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060101.png" />, it is possible to find a rational number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060102.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060103.png" /> and an irrational number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060104.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060105.png" />.
+
There are many more real numbers than rational numbers; in fact, the rational numbers form a countable subset of the set of real numbers, which is itself uncountable (cf. [[Cardinality|Cardinality]]). Both the rational and the irrational numbers are dense in the set of all real numbers (cf. [[Dense set|Dense set]]): For any two real numbers $  a $
 +
and $  b $,  
 +
$  a < b $,  
 +
it is possible to find a rational number r $
 +
such that $  a < r < b $
 +
and an irrational number $  \xi $
 +
such that $  a < \xi < b $.
  
The property of continuity of real numbers is closely connected with the property of their completeness, to wit, that any [[Cauchy sequence]] of real numbers is convergent. It should be noted that the field of rational numbers only is no longer complete: It contains Cauchy sequences which do not converge to any rational number. The continuity (or completeness) of the set of real numbers is closely connected with their utilization in measuring several kinds of continuous magnitudes, e.g. in determining the length of geometrical segments; if a unique unit segment is chosen, then, in view of the continuity of the set of real numbers, it is possible to bring any segment into correspondence with a positive real number — its length. The continuity of the set of real numbers may be described, in an illustrative manner, by saying that it contains no  "empty spaces" . A consequence of the continuity of the set of real numbers is the fact that it is possible to extract the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060106.png" />-th root of any positive number (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060107.png" /> is a natural number), and the fact that any positive number has a logarithm to any base <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060108.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060109.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060110.png" />.
+
The property of continuity of real numbers is closely connected with the property of their completeness, to wit, that any [[Cauchy sequence]] of real numbers is convergent. It should be noted that the field of rational numbers only is no longer complete: It contains Cauchy sequences which do not converge to any rational number. The continuity (or completeness) of the set of real numbers is closely connected with their utilization in measuring several kinds of continuous magnitudes, e.g. in determining the length of geometrical segments; if a unique unit segment is chosen, then, in view of the continuity of the set of real numbers, it is possible to bring any segment into correspondence with a positive real number — its length. The continuity of the set of real numbers may be described, in an illustrative manner, by saying that it contains no  "empty spaces" . A consequence of the continuity of the set of real numbers is the fact that it is possible to extract the $  n $-
 +
th root of any positive number (where $  n $
 +
is a natural number), and the fact that any positive number has a logarithm to any base $  a $,
 +
$  a > 0 $,  
 +
$  a \neq 1 $.
  
 
The property of continuity of real numbers may also be formulated in a different manner.
 
The property of continuity of real numbers may also be formulated in a different manner.
Line 47: Line 168:
 
VI') Any non-empty set bounded from above has a least upper bound (cf. [[Upper and lower bounds|Upper and lower bounds]]).
 
VI') Any non-empty set bounded from above has a least upper bound (cf. [[Upper and lower bounds|Upper and lower bounds]]).
  
The concept of a cut <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060111.png" /> in the domain of real numbers (cf. [[Dedekind cut|Dedekind cut]]) may also be employed. One says that the cut <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060112.png" /> is effected by the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060113.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060114.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060115.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060116.png" /> (here, either <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060117.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060118.png" />). Any number effects a cut.
+
The concept of a cut $  A \mid  B $
 +
in the domain of real numbers (cf. [[Dedekind cut|Dedekind cut]]) may also be employed. One says that the cut $  A \mid  B $
 +
is effected by the number $  \alpha $
 +
if $  a \leq  \alpha \leq  b $
 +
for all $  a \in A $,  
 +
$  b \in B $(
 +
here, either $  \alpha \in A $
 +
or $  \alpha \in B $).  
 +
Any number effects a cut.
  
 
The property of continuity, known as the Dedekind continuity of the real numbers, consists in the validity of the converse postulate.
 
The property of continuity, known as the Dedekind continuity of the real numbers, consists in the validity of the converse postulate.
Line 55: Line 184:
 
Each one of the postulates VI, VI' and VI'' is equivalent to each one of the others, in the sense that if any one of them, as well as the remaining properties I to V, is taken as axiom, the other two will follow. Moreover, both property VI' and property VI'' (in conjunction with properties I–IV) entail not merely VI, but also the Archimedean property V. The definition of the set real numbers as the non-empty totality of elements with properties I–VI is an axiomatic construction of the theory of real numbers. Several methods of constructing this theory on the base of rational numbers are available.
 
Each one of the postulates VI, VI' and VI'' is equivalent to each one of the others, in the sense that if any one of them, as well as the remaining properties I to V, is taken as axiom, the other two will follow. Moreover, both property VI' and property VI'' (in conjunction with properties I–IV) entail not merely VI, but also the Archimedean property V. The definition of the set real numbers as the non-empty totality of elements with properties I–VI is an axiomatic construction of the theory of real numbers. Several methods of constructing this theory on the base of rational numbers are available.
  
The first such theory was constructed by Dedekind on the basis of the concept of a cut <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060119.png" /> in the domain of rational numbers. If, for a given cut <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060120.png" /> there exists a largest rational number in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060121.png" /> or a smallest rational number in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060122.png" />, one says that the cut <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060123.png" /> is effected by this number. Any rational number effects a cut. A cut for which there is no largest number in the lower class, and no smallest number in the upper class, is said to be an irrational number. Rational and irrational numbers are called real numbers; here, for the sake of uniformity, rational numbers are considered as the cuts which they effect.
+
The first such theory was constructed by Dedekind on the basis of the concept of a cut $  R _ {1} \mid  R _ {2} $
 +
in the domain of rational numbers. If, for a given cut $  R _ {1} \mid  R _ {2} $
 +
there exists a largest rational number in $  R _ {1} $
 +
or a smallest rational number in $  R _ {2} $,  
 +
one says that the cut $  R _ {1} \mid  R _ {2} $
 +
is effected by this number. Any rational number effects a cut. A cut for which there is no largest number in the lower class, and no smallest number in the upper class, is said to be an irrational number. Rational and irrational numbers are called real numbers; here, for the sake of uniformity, rational numbers are considered as the cuts which they effect.
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060124.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060125.png" />. The real number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060126.png" /> is said to be smaller than the real number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060127.png" /> (or, which is the same thing, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060128.png" /> is said to be larger than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060129.png" />) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060130.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060131.png" />. The concepts of positive and negative real numbers (see above) and of the absolute value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060132.png" /> of a real number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060133.png" /> are introduced in the usual way. The sum of the real numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060134.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060135.png" /> is defined to be the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060136.png" /> such that for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060137.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060138.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060139.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060140.png" /> the inequalities
+
Let $  x = R _ {1} \mid  R _ {2} $
 +
and $  x  ^  \prime  = R _ {1}  ^  \prime  \mid  R _ {2}  ^  \prime  $.  
 +
The real number $  x $
 +
is said to be smaller than the real number $  x  ^  \prime  $(
 +
or, which is the same thing, $  x  ^  \prime  $
 +
is said to be larger than $  x $)  
 +
if $  R _ {1} \subset  R _ {1}  ^  \prime  $,  
 +
$  R _ {1} \neq R _ {1}  ^  \prime  $.  
 +
The concepts of positive and negative real numbers (see above) and of the absolute value $  | x | $
 +
of a real number $  x $
 +
are introduced in the usual way. The sum of the real numbers $  x $
 +
and $  x  ^  \prime  $
 +
is defined to be the number $  x + x  ^  \prime  $
 +
such that for all r _ {1} \in R _ {1} $,  
 +
r _ {1}  ^  \prime  \in R _ {1}  ^  \prime  $,  
 +
r _ {2} \in R _ {2} $,  
 +
r _ {2}  ^  \prime  \in R _ {2}  ^  \prime  $
 +
the inequalities
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060141.png" /></td> </tr></table>
+
$$
 +
r _ {1} + r _ {1}  ^  \prime  \leq  x + x  ^  \prime  \leq  r _ {2} + r _ {2}  ^  \prime
 +
$$
  
are valid. The product of two positive real numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060142.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060143.png" /> is the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060144.png" /> such that for all positive <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060145.png" /> the inequalities <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060146.png" /> are satisfied. The product of two non-zero real numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060147.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060148.png" /> is defined as the real number whose absolute value is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060149.png" />, and which is positive if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060150.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060151.png" /> have the same sign, and negative if they have opposite signs. Finally, for any real number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060152.png" /> it is assumed that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060153.png" />.
+
are valid. The product of two positive real numbers $  x $
 +
and $  x  ^  \prime  $
 +
is the number $  x x  ^  \prime  $
 +
such that for all positive $  r _ {1} , r _ {1}  ^  \prime  , r _ {2} , r _ {2}  ^  \prime  $
 +
the inequalities $  r _ {1} r _ {1}  ^  \prime  \leq  x x  ^  \prime  \leq  r _ {2} r _ {2}  ^  \prime  $
 +
are satisfied. The product of two non-zero real numbers $  x $
 +
and $  x  ^  \prime  $
 +
is defined as the real number whose absolute value is $  | x |  | x  ^  \prime  | $,  
 +
and which is positive if $  x $
 +
and $  x  ^  \prime  $
 +
have the same sign, and negative if they have opposite signs. Finally, for any real number $  x $
 +
it is assumed that $  0x = x0 = 0 $.
  
 
The sum and product of real numbers always exist, are unique, and the totality of real numbers thus defined, together with the introduced order and operations of addition and multiplication, displays the properties I–VI.
 
The sum and product of real numbers always exist, are unique, and the totality of real numbers thus defined, together with the introduced order and operations of addition and multiplication, displays the properties I–VI.
  
Another theory was proposed by G. Cantor. It is based on the concept of a Cauchy sequence of rational numbers, i.e. a sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060154.png" /> of rational numbers such that for any rational number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060155.png" /> there exists a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060156.png" /> such that for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060157.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060158.png" /> the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060159.png" /> is valid. A sequence of rational numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060160.png" /> is said to be a zero-sequence if for any rational number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060161.png" /> there exists a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060162.png" /> such that for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060163.png" /> the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060164.png" /> is valid. Two Cauchy sequences of rational numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060165.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060166.png" /> are said to be equivalent if the sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060167.png" /> is a zero-sequence. This definition of equivalence displays the properties of reflexivity, symmetry and transitivity, and this is the reason why the whole set of Cauchy sequences of rational numbers splits into equivalence classes. The totality of all these equivalence classes is also known in this case as the set of real numbers. By virtue of this definition, any real number represents an equivalence class of Cauchy sequences of rational numbers. Each such sequence is said to be a representative of the given real number. A Cauchy sequence of rational numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060168.png" /> is said to be positive (negative) if there exists a rational number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060169.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060170.png" /> such that all terms of this sequence, beginning with some term, are larger than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060171.png" /> (smaller than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060172.png" />). Any Cauchy sequence of rational numbers is either a zero-sequence, a positive sequence or a negative sequence. If a Cauchy sequence of rational numbers is positive (negative), then any Cauchy sequence of rational numbers equivalent to it will also be positive (negative). A real number is said to be positive (negative) if some one (and hence any one) of its representatives is positive (negative). A real number is said to be zero if some one (and hence any one) of its representatives is a zero-sequence. Any real number is either positive, negative or zero. In order to add or to multiply two real numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060173.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060174.png" /> one has to add (respectively, multiply) any two of their representatives <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060175.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060176.png" />; this again yields Cauchy sequences of rational numbers, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060177.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060178.png" />. The equivalence classes which they represent are known in this case as the sum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060179.png" /> and the product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060180.png" /> of these numbers. These operations are unambiguously defined, i.e. they do not depend on the choice of representatives of these numbers. Subtraction and division of real numbers are defined as the operations inverse to addition and multiplication, respectively. If, for two real numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060181.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060182.png" />, one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060183.png" />, the real number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060184.png" /> is said to be larger than the real number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060185.png" />. The totality of real numbers thus defined, together with the property of ordering described above and the operations of addition and multiplication, again displays the properties I–VI.
+
Another theory was proposed by G. Cantor. It is based on the concept of a Cauchy sequence of rational numbers, i.e. a sequence $  \{ r _ {n} \} $
 +
of rational numbers such that for any rational number $  \epsilon > 0 $
 +
there exists a number $  n _  \epsilon  $
 +
such that for all $  n \geq  n _  \epsilon  $
 +
and $  m \geq  n _  \epsilon  $
 +
the inequality $  | r _ {n} - r _ {m} | < \epsilon $
 +
is valid. A sequence of rational numbers $  \{ r _ {n} \} $
 +
is said to be a zero-sequence if for any rational number $  \epsilon > 0 $
 +
there exists a number $  n _  \epsilon  $
 +
such that for all $  n \geq  n _  \epsilon  $
 +
the inequality $  | r _ {n} | < \epsilon $
 +
is valid. Two Cauchy sequences of rational numbers $  \{ r _ {n} \} $
 +
and $  \{ r _ {n}  ^  \prime  \} $
 +
are said to be equivalent if the sequence $  \{ r _ {n} - r _ {n}  ^  \prime  \} $
 +
is a zero-sequence. This definition of equivalence displays the properties of reflexivity, symmetry and transitivity, and this is the reason why the whole set of Cauchy sequences of rational numbers splits into equivalence classes. The totality of all these equivalence classes is also known in this case as the set of real numbers. By virtue of this definition, any real number represents an equivalence class of Cauchy sequences of rational numbers. Each such sequence is said to be a representative of the given real number. A Cauchy sequence of rational numbers $  \{ r _ {n} \} $
 +
is said to be positive (negative) if there exists a rational number $  r > 0 $
 +
$  (r < 0 ) $
 +
such that all terms of this sequence, beginning with some term, are larger than r $(
 +
smaller than $  -r $).  
 +
Any Cauchy sequence of rational numbers is either a zero-sequence, a positive sequence or a negative sequence. If a Cauchy sequence of rational numbers is positive (negative), then any Cauchy sequence of rational numbers equivalent to it will also be positive (negative). A real number is said to be positive (negative) if some one (and hence any one) of its representatives is positive (negative). A real number is said to be zero if some one (and hence any one) of its representatives is a zero-sequence. Any real number is either positive, negative or zero. In order to add or to multiply two real numbers $  x $
 +
and $  x  ^  \prime  $
 +
one has to add (respectively, multiply) any two of their representatives $  \{ r _ {n} \} \in x $,  
 +
$  \{ r _ {n}  ^  \prime  \} \in x  ^  \prime  $;  
 +
this again yields Cauchy sequences of rational numbers, $  \{ r _ {n} + r _ {n}  ^  \prime  \} $
 +
and $  \{ r _ {n} r _ {n}  ^  \prime  \} $.  
 +
The equivalence classes which they represent are known in this case as the sum $  x + x  ^  \prime  $
 +
and the product $  x x  ^  \prime  $
 +
of these numbers. These operations are unambiguously defined, i.e. they do not depend on the choice of representatives of these numbers. Subtraction and division of real numbers are defined as the operations inverse to addition and multiplication, respectively. If, for two real numbers $  x $
 +
and $  y $,  
 +
one has $  x - y > 0 $,  
 +
the real number $  x $
 +
is said to be larger than the real number $  y $.  
 +
The totality of real numbers thus defined, together with the property of ordering described above and the operations of addition and multiplication, again displays the properties I–VI.
  
 
Still another theory, based on infinite decimal expansions, was developed by Weierstrass. According to this theory, a real number is any infinite decimal expansion with a plus or a minus sign:
 
Still another theory, based on infinite decimal expansions, was developed by Weierstrass. According to this theory, a real number is any infinite decimal expansion with a plus or a minus sign:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060186.png" /></td> </tr></table>
+
$$
 +
\pm \alpha _ {0} . \alpha _ {1} \alpha _ {2} \dots \alpha _ {n} \dots ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060187.png" /> is a non-negative integer (integers are assumed to be given) while each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060188.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060189.png" /> is one of the digits <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060190.png" />. Here, an infinite decimal expansion which after some time consists of 9's only (i.e. which has a period consisting of 9:
+
where $  \alpha _ {0} $
 +
is a non-negative integer (integers are assumed to be given) while each $  \alpha _ {n} $,
 +
$  n = 1 , 2 \dots $
 +
is one of the digits 0 , 1 \dots 9 $.  
 +
Here, an infinite decimal expansion which after some time consists of 9's only (i.e. which has a period consisting of 9:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060191.png" /></td> </tr></table>
+
$$
 +
\alpha _ {0} . \alpha _ {1} \dots \alpha _ {n} (9) ,\ \
 +
a _ {n} \neq 9 ,
 +
$$
  
 
is considered equal to the infinite decimal expansion
 
is considered equal to the infinite decimal expansion
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060192.png" /></td> </tr></table>
+
$$
 +
\alpha _ {0} .  \alpha _ {1} \dots
 +
\alpha _ {n-1} ( \alpha _ {n} + 1 ) 00 \dots 0 \dots
 +
$$
  
(if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060193.png" />, it is equal to the infinite decimal expansion <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060194.png" />). This expansion may also be written as the finite decimal expansion
+
(if $  n = 0 $,  
 +
it is equal to the infinite decimal expansion $  ( \alpha _ {0} + 1 ) . 00 \dots 0 \dots $).  
 +
This expansion may also be written as the finite decimal expansion
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060195.png" /></td> </tr></table>
+
$$
 +
\alpha _ {0} . \alpha _ {1} \dots ( \alpha _ {n} + 1 ) ,
 +
$$
  
and one says that it has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060196.png" /> significant figures after the decimal point. An infinite decimal expansion without the period
+
and one says that it has $  n $
 +
significant figures after the decimal point. An infinite decimal expansion without the period
  
is said to be an allowable infinite decimal expansion. Clearly, any real number can be uniquely (re)written as an allowable infinite decimal expansion. If a real number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060197.png" /> is rewritten as an allowable infinite decimal expansion with a plus (minus) sign, and if the digits <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060198.png" /> contain at least one non-zero digit, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060199.png" /> is said to be positive (negative), written as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060200.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060201.png" />). If all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060202.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060203.png" /> it is said to be zero: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060204.png" />. For the number
+
is said to be an allowable infinite decimal expansion. Clearly, any real number can be uniquely (re)written as an allowable infinite decimal expansion. If a real number $  x $
 +
is rewritten as an allowable infinite decimal expansion with a plus (minus) sign, and if the digits $  \alpha _ {n} $
 +
contain at least one non-zero digit, $  x $
 +
is said to be positive (negative), written as $  x > 0 $(
 +
$  x < 0 $).  
 +
If all $  \alpha _ {n} = 0 $,  
 +
$  n = 0 , 1 \dots $
 +
it is said to be zero: $  x = 0 $.  
 +
For the number
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060205.png" /></td> </tr></table>
+
$$
 +
= \pm \alpha _ {0} . \alpha _ {1} \dots a _ {n} \dots ,
 +
$$
  
the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060206.png" /> is said to be its absolute value and is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060207.png" />. The number with the plus sign (the minus sign) replaced by the minus sign (the plus sign) is said to be opposite to the given number and is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060208.png" />. If
+
the number $  \alpha _ {0} . \alpha _ {1} \dots \alpha _ {n} \dots $
 +
is said to be its absolute value and is denoted by $  | x | $.  
 +
The number with the plus sign (the minus sign) replaced by the minus sign (the plus sign) is said to be opposite to the given number and is denoted by $  -x $.  
 +
If
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060209.png" /></td> </tr></table>
+
$$
 +
= \alpha _ {0} . \alpha _ {1} \dots \alpha _ {n} \dots
 +
$$
  
 
is an allowable infinite decimal expansion, then the numbers
 
is an allowable infinite decimal expansion, then the numbers
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060210.png" /></td> </tr></table>
+
$$
 +
\underline{x _ {n} }  = \alpha _ {0} . \alpha _ {1} \dots \alpha _ {n}  $$
  
 
and
 
and
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060211.png" /></td> </tr></table>
+
$$
 +
\overline{ {x _ {n} }}\; = \alpha _ {0} . \alpha _ {1} \dots \alpha _ {n} + 10  ^ {-n} ,
 +
$$
  
are said to be, respectively, the lower (higher) decimal approximation of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060212.png" /> of the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060213.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060214.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060215.png" /> be two positive numbers, written as allowable infinite decimal expansions
+
are said to be, respectively, the lower (higher) decimal approximation of order $  n $
 +
of the number $  x $.  
 +
Let $  x $
 +
and $  y $
 +
be two positive numbers, written as allowable infinite decimal expansions
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060216.png" /></td> </tr></table>
+
$$
 +
= \alpha _ {0} . \alpha _ {1} \dots \alpha _ {n} \dots
 +
$$
  
 
and
 
and
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060217.png" /></td> </tr></table>
+
$$
 +
= \beta _ {0} . \beta _ {1} \dots \beta _ {n} \dots .
 +
$$
  
By definition, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060218.png" /> if either <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060219.png" /> or if there exists a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060220.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060221.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060222.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060223.png" />, but <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060224.png" />. Every negative number and zero are considered to be smaller than every positive number. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060225.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060226.png" /> are both negative and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060227.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060228.png" />.
+
By definition, $  x < y $
 +
if either $  \alpha _ {0} < \beta _ {0} $
 +
or if there exists a number $  n _ {0} $,  
 +
$  n _ {0} =0 , 1 \dots $
 +
such that $  \alpha _ {k} = \beta _ {k} $,
 +
$  k = 0 \dots n _ {0} $,  
 +
but $  \alpha _ {n _ {0}  + 1 } < \beta _ {n _ {0}  + 1 } $.  
 +
Every negative number and zero are considered to be smaller than every positive number. If $  x $
 +
and $  y $
 +
are both negative and $  | y | < | x | $,  
 +
then $  x < y $.
  
A sequence of integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060229.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060230.png" /> is said to be stabilizing to a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060231.png" /> if there exists a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060232.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060233.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060234.png" />. A sequence of infinite decimal expansions
+
A sequence of integers $  n _ {k} $,
 +
$  k = 1 , 2 \dots $
 +
is said to be stabilizing to a number $  m $
 +
if there exists a number $  k _ {0} $
 +
such that $  n _ {k} = m $
 +
for all $  k \geq  k _ {0} $.  
 +
A sequence of infinite decimal expansions
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060235.png" /></td> </tr></table>
+
$$
 +
x  ^ {(k)}  = \alpha _ {0}  ^ {(k)} . \
 +
\alpha _ {1}  ^ {(k)} \dots \alpha _ {n}  ^ {(k)} \dots
 +
$$
  
 
is said to be stabilizing to a number
 
is said to be stabilizing to a number
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060236.png" /></td> </tr></table>
+
$$
 +
= \alpha _ {0} . \alpha _ {1} \dots \alpha _ {n} \dots ,
 +
$$
  
if the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060237.png" />-th column of the infinite matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060238.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060239.png" /> is the column index and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060240.png" /> is the row index, stabilizes to the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060241.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060242.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060243.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060244.png" />, the finite decimal expansions
+
if the $  i $-
 +
th column of the infinite matrix $  \| \alpha _ {i}  ^ {(k)} \| $,  
 +
where $  i $
 +
is the column index and $  k $
 +
is the row index, stabilizes to the number $  \alpha _ {i} $
 +
for any $  i = 0, 1 ,\dots $.  
 +
If  $  x > 0 $
 +
and  $  y > 0 $,  
 +
the finite decimal expansions
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060245.png" /></td> </tr></table>
+
$$
 +
\underline{x _ {n} } + \underline{y _ {n} } ,\ \
 +
\underline{x _ {n} } - \underline{y _ {n} } ,\ \
 +
\underline{\left ( \underline{x _ {n} } \underline{y _ {n} } \right ) _ {n} } \  \textrm{ and } \ \
 +
\underline{\left (
 +
\frac{\underline{x _ {n} } }{\underline{y _ {n} } }
 +
\right ) _ {n} }
 +
$$
  
have <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060246.png" /> significant figures to the right of the decimal point and form sequences stabilizing to certain numbers. These numbers are known, respectively, as the sum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060247.png" />, the difference <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060248.png" />, the product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060249.png" />, and the quotient <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060250.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060251.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060252.png" />. These definitions are extended to real numbers of arbitrary sign. For instance, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060253.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060254.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060255.png" />; if the signs of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060256.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060257.png" /> are different, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060258.png" />, the sign of this result being identical with the sign of that number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060259.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060260.png" /> which has the larger absolute value. For any numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060261.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060262.png" /> it is assumed that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060263.png" /> (if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060264.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060265.png" />, this definition is identical with that given above), etc. The totality of allowable infinite decimal expansions with the order relation and with the operations of addition, subtraction, multiplication, and division thus defined, satisfies the axioms I–VI.
+
have $  n $
 +
significant figures to the right of the decimal point and form sequences stabilizing to certain numbers. These numbers are known, respectively, as the sum $  x + y $,  
 +
the difference $  x - y $,  
 +
the product $  xy $,  
 +
and the quotient $  x/y $
 +
of $  x $
 +
and $  y $.  
 +
These definitions are extended to real numbers of arbitrary sign. For instance, if $  x \leq  0 $
 +
and $  y \leq  0 $,  
 +
then $  x + y = - ( | x | + | y | ) $;  
 +
if the signs of $  x $
 +
and $  y $
 +
are different, then $  x + y = \pm | | x | - | y | | $,  
 +
the sign of this result being identical with the sign of that number $  x $
 +
or $  y $
 +
which has the larger absolute value. For any numbers $  x $
 +
and $  y $
 +
it is assumed that $  x - y = x + (-y) $(
 +
if $  x > 0 $,
 +
$  y > 0 $,  
 +
this definition is identical with that given above), etc. The totality of allowable infinite decimal expansions with the order relation and with the operations of addition, subtraction, multiplication, and division thus defined, satisfies the axioms I–VI.
  
 
In constructing the theory of real numbers it is also possible to use non-decimal computation systems, i.e. systems to the base two, three, etc. It is important to note that none of the constructions of the theory of real numbers given above (axiomatic, based on cuts of rational numbers, based on [[Cauchy sequence|Cauchy sequences]] of rational numbers or on infinite decimal expansions) is a proof of the existence (self-consistency) of the set of real numbers. From this point of view all these methods are equivalent.
 
In constructing the theory of real numbers it is also possible to use non-decimal computation systems, i.e. systems to the base two, three, etc. It is important to note that none of the constructions of the theory of real numbers given above (axiomatic, based on cuts of rational numbers, based on [[Cauchy sequence|Cauchy sequences]] of rational numbers or on infinite decimal expansions) is a proof of the existence (self-consistency) of the set of real numbers. From this point of view all these methods are equivalent.
  
Geometrically, the set of real numbers can be represented by an oriented (directed) straight line, while the individual numbers are represented by points on that line. Accordingly, the totality of real numbers is often called the number axis, while the individual numbers are called points. When such a representation of real numbers is employed, instead of saying that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060266.png" /> is smaller than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060267.png" /> (respectively, that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060268.png" /> is larger than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060269.png" />) one says that the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060270.png" /> lies to the left of the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060271.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060272.png" /> lies to the right of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060273.png" />). There is an order-preserving one-to-one correspondence between the points on a Euclidean straight line ordered in accordance with their locations on it and the elements of the number axis. This is a justification for representing the set of real numbers as a straight line.
+
Geometrically, the set of real numbers can be represented by an oriented (directed) straight line, while the individual numbers are represented by points on that line. Accordingly, the totality of real numbers is often called the number axis, while the individual numbers are called points. When such a representation of real numbers is employed, instead of saying that $  a $
 +
is smaller than $  b $(
 +
respectively, that $  b $
 +
is larger than $  a $)  
 +
one says that the point $  a $
 +
lies to the left of the point $  b $(
 +
respectively, $  b $
 +
lies to the right of $  a $).  
 +
There is an order-preserving one-to-one correspondence between the points on a Euclidean straight line ordered in accordance with their locations on it and the elements of the number axis. This is a justification for representing the set of real numbers as a straight line.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  R. Dedekind,  "Essays on the theory of numbers" , Dover, reprint  (1963)  (Translated from German)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  V. Dantscher,  "Vorlesungen über die Weierstrass'sche Theorie der irrationalen Zahlen" , Teubner  (1908)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  G. Cantor,  "Ueber die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen"  ''Math. Ann.'' , '''5'''  (1872)  pp. 123–130</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  V.V. Nemytskii,  M.I. Sludskaya,  A.N. Cherkasov,  "A course of mathematical analysis" , '''1''' , Moscow  (1957)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  V.A. Il'in,  E.G. Poznyak,  "Fundamentals of mathematical analysis" , '''1–2''' , MIR  (1982)  (Translated from Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  L.D. Kudryavtsev,  "A course in mathematical analysis" , '''1''' , Moscow  (1988)  (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  S.M. Nikol'skii,  "A course of mathematical analysis" , '''1–2''' , MIR  (1977)  (Translated from Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  G.M. Fichtenholz,  "Differential und Integralrechnung" , '''1''' , Deutsch. Verlag Wissenschaft.  (1964)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  N. Bourbaki,  "General topology" , ''Elements of mathematics'' , Addison-Wesley  (1966)  pp. Chapts. 3–4  (Translated from French)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  R. Dedekind,  "Essays on the theory of numbers" , Dover, reprint  (1963)  (Translated from German)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  V. Dantscher,  "Vorlesungen über die Weierstrass'sche Theorie der irrationalen Zahlen" , Teubner  (1908)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  G. Cantor,  "Ueber die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen"  ''Math. Ann.'' , '''5'''  (1872)  pp. 123–130</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  V.V. Nemytskii,  M.I. Sludskaya,  A.N. Cherkasov,  "A course of mathematical analysis" , '''1''' , Moscow  (1957)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  V.A. Il'in,  E.G. Poznyak,  "Fundamentals of mathematical analysis" , '''1–2''' , MIR  (1982)  (Translated from Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  L.D. Kudryavtsev,  "A course in mathematical analysis" , '''1''' , Moscow  (1988)  (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  S.M. Nikol'skii,  "A course of mathematical analysis" , '''1–2''' , MIR  (1977)  (Translated from Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  G.M. Fichtenholz,  "Differential und Integralrechnung" , '''1''' , Deutsch. Verlag Wissenschaft.  (1964)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  N. Bourbaki,  "General topology" , ''Elements of mathematics'' , Addison-Wesley  (1966)  pp. Chapts. 3–4  (Translated from French)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
The most important theory of proportions in Antiquity has been given by Eudoxus of Cnidus (ca. 400 B.C.– 347 B.C.). One can find this theory in Euclid's Elements, book V. See also [[#References|[a2]]], [[#References|[a3]]] and [[Elements-of-Euclid|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060274.png" /> of Euclid]].
+
The most important theory of proportions in Antiquity has been given by Eudoxus of Cnidus (ca. 400 B.C.– 347 B.C.). One can find this theory in Euclid's Elements, book V. See also [[#References|[a2]]], [[#References|[a3]]] and [[Elements-of-Euclid| $  Elements $
 +
of Euclid]].
  
Irrational numbers can be divided into two different kinds: algebraic numbers and transcendental numbers. An [[Algebraic number|algebraic number]] is a root of an algebraic equation with (rational) integers as coefficients. A [[Transcendental number|transcendental number]] is not the root of any algebraic equation with (rational) integral coefficients. The usual notation for the field of rational (respectively, real) numbers is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060275.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080060/r080060276.png" />).
+
Irrational numbers can be divided into two different kinds: algebraic numbers and transcendental numbers. An [[Algebraic number|algebraic number]] is a root of an algebraic equation with (rational) integers as coefficients. A [[Transcendental number|transcendental number]] is not the root of any algebraic equation with (rational) integral coefficients. The usual notation for the field of rational (respectively, real) numbers is $  \mathbf Q $(
 +
respectively, $  \mathbf R $).
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  T.L. Heath,  "A history of Greek mathematics" , Dover, reprint  (1981)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  T.L. Heath,  "The thirteen books of Euclid's elements" , '''1–3''' , Dover, reprint  (1956)  ((Translated from the Greek))</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  W.R. Knorr,  "The evolution of the Euclidean elements" , Reidel  (1975)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  E. Landau,  "Foundations of analysis" , Chelsea, reprint  (1951)  (Translated from German)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  W. Rudin,  "Principles of mathematical analysis" , McGraw-Hill  (1976)  pp. 75–78</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  H. Gericke,  "Geschichte des Zahlbegriffs" , B.I. Wissenschaftsverlag Mannheim  (1970)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  T.L. Heath,  "A history of Greek mathematics" , Dover, reprint  (1981)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  T.L. Heath,  "The thirteen books of Euclid's elements" , '''1–3''' , Dover, reprint  (1956)  ((Translated from the Greek))</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  W.R. Knorr,  "The evolution of the Euclidean elements" , Reidel  (1975)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  E. Landau,  "Foundations of analysis" , Chelsea, reprint  (1951)  (Translated from German)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  W. Rudin,  "Principles of mathematical analysis" , McGraw-Hill  (1976)  pp. 75–78</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  H. Gericke,  "Geschichte des Zahlbegriffs" , B.I. Wissenschaftsverlag Mannheim  (1970)</TD></TR></table>

Latest revision as of 09:51, 4 April 2020


A positive number, a negative number or zero. The concept of a real number arose by a generalization of the concept of a rational number. Such a generalization was rendered necessary both by practical applications of mathematics — viz., the expression of the value of a given magnitude by a definite number — and by the internal development of mathematics itself; in particular, by the desire to extend the domain of applicability of certain operations on numbers (root extraction, computation of logarithms, solution of equations, etc.). The general concept of real number was already studied by Greek mathematicians of Antiquity in their theory of non-commensurable segments, but it was formulated as an independent concept only in the 17th century by I. Newton, in his Arithmetica Universalis as follows: "A number is not so much the totality of several units, as an abstract ratio between one magnitude and another, of the same kind, and which is accepted as a unit" . Rigorous theories of real numbers were constructed at the end of the 19th century by K. Weierstrass, G. Cantor and R. Dedekind.

Real numbers form a non-empty totality of elements which contains more than one element and displays the following properties.

I) The property of being ordered. Any two numbers $ a $ and $ b $ have a definite order relation, i.e. one and only one of the following relations will be true: $ a < b $, $ a = b $ or $ a > b $; also, if $ a < b $ and $ b < c $, then $ a < c $( transitivity of the order).

II) The property of an addition operation. For any ordered pair of numbers $ a $ and $ b $ there is a unique number, known as their sum and denoted by $ a + b $, such that the following properties hold: $ \textrm{ II } _ {1} $) $ a +b = b + a $( commutativity); $ \textrm{ II } _ {2} $) for any numbers $ a $, $ b $ and $ c $ one has $ a + (b+c) = (a+b) +c $( associativity); $ \textrm{ II } _ {3} $) there exists a number, called zero and denoted by $ 0 $, such that $ a + 0 = a $ for any $ a $; $ \textrm{ II } _ {4} $) for any number $ a $ there exists a number, called the opposite of $ a $ and denoted by $ -a $, such that $ a + (-a) = 0 $; $ \textrm{ II } _ {5} $) if $ a < b $, then $ a + c < b + c $ for any $ c $.

The zero is unique, and the number opposite to any given number is unique. For any ordered pair of numbers $ a $ and $ b $ the number $ a + (-b) $ is called the difference between the numbers $ a $ and $ b $ and is denoted by $ a -b $.

III) The property of a multiplication operation. For any ordered pair of numbers $ a $ and $ b $ there exists a unique number, known as their product and denoted by $ ab $, such that: $ \textrm{ III } _ {1} $) $ ab = ba $( commutativity); $ \textrm{ III } _ {2} $) $ a (bc) = (ab) c $ for any numbers $ a , b , c $( associativity); $ \textrm{ III } _ {3} $) there exists a number, known as the unit and denoted by $ 1 $, such that $ a1 = a $ for any number $ a $; $ \textrm{ III } _ {4} $) for any non-zero number $ a $ there exists a number, known as its reciprocal and denoted by $ 1 / a $, such that $ a(1/a) = 1 $; $ \textrm{ III } _ {5} $) if $ a < b $ and $ c > 0 $, then $ ac < bc $.

These properties ensure that the unit and the reciprocal of each element are unique. For each ordered pair of numbers $ a $ and $ b $, $ b \neq 0 $, the number $ a (1/b) $ is known as the quotient obtained by dividing $ a $ by $ b $; it is denoted by $ a/b $.

The number $ 1 + 1 $ is denoted by $ 2 $, the number $ 2 + 1 $ is denoted by $ 3 $, etc. The numbers $ 1, 2, 3 \dots $ are known as the natural numbers (cf. Natural number). Numbers larger than zero are said to be positive, while numbers smaller than zero are said to be negative. The numbers $ 0, \pm1, \pm2 \dots $ are called integers (it is assumed that $ +a = a $; cf. Integer). Numbers of the type $ m/n $, where $ m $ is an integer, while $ n $ is a natural number, are known as rational numbers or fractions. They include all integers. The number $ (a)1 $ is identified with $ a $. Real numbers which are not rational are also called irrational numbers.

IV) The property of distributivity of multiplication with respect to addition. For any three numbers $ a $, $ b $ and $ c $, $ (a+b) c = ac +bc $.

A non-empty totality of elements which has all the above properties forms a totally ordered field (cf. Totally ordered set; Field). Real numbers also have two other important properties.

V) The Archimedean property. For any number $ a $ there exists an integer $ n $ such that $ n > a $. A totality of elements having properties I–V forms an Archimedean ordered field. Examples are not only the field of real numbers, but also the field of rational numbers.

An important property of real numbers is their continuity; rational numbers do not have this property.

VI) The property of continuity. For any system of nested segments

$$ \{ [ a _ {n} , b _ {n} ] \} ,\ a _ {n} \leq a _ {n+1} \leq \dots \leq b _ {n+1} \leq b _ {n} ,\ n= 1 , 2 \dots $$

there exists at least one number which belongs to all the segments of the system. This property is also known as Cantor's principle of nested segments. If the lengths $ b _ {n} - a _ {n} $ of the nested segments tend to zero as $ n \rightarrow \infty $, there exists a unique point which belongs to all these segments.

The properties of real numbers listed above entail many others; thus, it follows from the properties I to V that $ 1 > 0 $; there also follow the rules of operations on rational fractions, the sign rules to be observed when multiplying and dividing real numbers, the properties of the absolute value of a real number, the rules governing transformations of equalities and inequalities, etc. Properties I to VI are a complete description of the properties of the field of real numbers and only of this field; in other words, if these properties are taken as axioms, it follows that the real numbers form the unique totality of elements satisfying them. This means that properties I to VI define the set of real numbers up to an isomorphism: If there are two sets $ X $ and $ Y $ satisfying the properties I to VI, there always exists a mapping of $ X $ onto $ Y $, isomorphic with respect to the order and to the operations of addition and multiplication, i.e. this mapping (denoted $ x \rightarrow y $, where $ y \in Y $ is the element corresponding to the element $ x \in X $) maps $ X $ onto $ Y $ in a one-to-one correspondence so that if

$$ x _ {1} < x _ {2} ,\ x _ {1} , x _ {2} \in X,\ \textrm{ and } \ \ x _ {1} \rightarrow y _ {1} ,\ x _ {2} \rightarrow y _ {2} , $$

then

$$ y _ {1} < y _ {2} ,\ x _ {1} + x _ {2} \rightarrow y _ {1} + y _ {2} ,\ \ x _ {1} x _ {2} \rightarrow y _ {1} y _ {2} . $$

A consequence of this is that the field of real numbers (as distinct, for example, from the field of rational numbers) cannot be extended while preserving the properties I to V, i.e. there is no field with the property of being ordered and with addition and multiplication operations in accordance with properties I to V, which would contain a subset isomorphic to the field of real numbers without being identical with it.

There are many more real numbers than rational numbers; in fact, the rational numbers form a countable subset of the set of real numbers, which is itself uncountable (cf. Cardinality). Both the rational and the irrational numbers are dense in the set of all real numbers (cf. Dense set): For any two real numbers $ a $ and $ b $, $ a < b $, it is possible to find a rational number $ r $ such that $ a < r < b $ and an irrational number $ \xi $ such that $ a < \xi < b $.

The property of continuity of real numbers is closely connected with the property of their completeness, to wit, that any Cauchy sequence of real numbers is convergent. It should be noted that the field of rational numbers only is no longer complete: It contains Cauchy sequences which do not converge to any rational number. The continuity (or completeness) of the set of real numbers is closely connected with their utilization in measuring several kinds of continuous magnitudes, e.g. in determining the length of geometrical segments; if a unique unit segment is chosen, then, in view of the continuity of the set of real numbers, it is possible to bring any segment into correspondence with a positive real number — its length. The continuity of the set of real numbers may be described, in an illustrative manner, by saying that it contains no "empty spaces" . A consequence of the continuity of the set of real numbers is the fact that it is possible to extract the $ n $- th root of any positive number (where $ n $ is a natural number), and the fact that any positive number has a logarithm to any base $ a $, $ a > 0 $, $ a \neq 1 $.

The property of continuity of real numbers may also be formulated in a different manner.

VI') Any non-empty set bounded from above has a least upper bound (cf. Upper and lower bounds).

The concept of a cut $ A \mid B $ in the domain of real numbers (cf. Dedekind cut) may also be employed. One says that the cut $ A \mid B $ is effected by the number $ \alpha $ if $ a \leq \alpha \leq b $ for all $ a \in A $, $ b \in B $( here, either $ \alpha \in A $ or $ \alpha \in B $). Any number effects a cut.

The property of continuity, known as the Dedekind continuity of the real numbers, consists in the validity of the converse postulate.

VI) Any cut of real numbers is effected by some number. Such a number is unique, and is either the highest in the lower class or the lowest in the higher class.

Each one of the postulates VI, VI' and VI is equivalent to each one of the others, in the sense that if any one of them, as well as the remaining properties I to V, is taken as axiom, the other two will follow. Moreover, both property VI' and property VI (in conjunction with properties I–IV) entail not merely VI, but also the Archimedean property V. The definition of the set real numbers as the non-empty totality of elements with properties I–VI is an axiomatic construction of the theory of real numbers. Several methods of constructing this theory on the base of rational numbers are available.

The first such theory was constructed by Dedekind on the basis of the concept of a cut $ R _ {1} \mid R _ {2} $ in the domain of rational numbers. If, for a given cut $ R _ {1} \mid R _ {2} $ there exists a largest rational number in $ R _ {1} $ or a smallest rational number in $ R _ {2} $, one says that the cut $ R _ {1} \mid R _ {2} $ is effected by this number. Any rational number effects a cut. A cut for which there is no largest number in the lower class, and no smallest number in the upper class, is said to be an irrational number. Rational and irrational numbers are called real numbers; here, for the sake of uniformity, rational numbers are considered as the cuts which they effect.

Let $ x = R _ {1} \mid R _ {2} $ and $ x ^ \prime = R _ {1} ^ \prime \mid R _ {2} ^ \prime $. The real number $ x $ is said to be smaller than the real number $ x ^ \prime $( or, which is the same thing, $ x ^ \prime $ is said to be larger than $ x $) if $ R _ {1} \subset R _ {1} ^ \prime $, $ R _ {1} \neq R _ {1} ^ \prime $. The concepts of positive and negative real numbers (see above) and of the absolute value $ | x | $ of a real number $ x $ are introduced in the usual way. The sum of the real numbers $ x $ and $ x ^ \prime $ is defined to be the number $ x + x ^ \prime $ such that for all $ r _ {1} \in R _ {1} $, $ r _ {1} ^ \prime \in R _ {1} ^ \prime $, $ r _ {2} \in R _ {2} $, $ r _ {2} ^ \prime \in R _ {2} ^ \prime $ the inequalities

$$ r _ {1} + r _ {1} ^ \prime \leq x + x ^ \prime \leq r _ {2} + r _ {2} ^ \prime $$

are valid. The product of two positive real numbers $ x $ and $ x ^ \prime $ is the number $ x x ^ \prime $ such that for all positive $ r _ {1} , r _ {1} ^ \prime , r _ {2} , r _ {2} ^ \prime $ the inequalities $ r _ {1} r _ {1} ^ \prime \leq x x ^ \prime \leq r _ {2} r _ {2} ^ \prime $ are satisfied. The product of two non-zero real numbers $ x $ and $ x ^ \prime $ is defined as the real number whose absolute value is $ | x | | x ^ \prime | $, and which is positive if $ x $ and $ x ^ \prime $ have the same sign, and negative if they have opposite signs. Finally, for any real number $ x $ it is assumed that $ 0x = x0 = 0 $.

The sum and product of real numbers always exist, are unique, and the totality of real numbers thus defined, together with the introduced order and operations of addition and multiplication, displays the properties I–VI.

Another theory was proposed by G. Cantor. It is based on the concept of a Cauchy sequence of rational numbers, i.e. a sequence $ \{ r _ {n} \} $ of rational numbers such that for any rational number $ \epsilon > 0 $ there exists a number $ n _ \epsilon $ such that for all $ n \geq n _ \epsilon $ and $ m \geq n _ \epsilon $ the inequality $ | r _ {n} - r _ {m} | < \epsilon $ is valid. A sequence of rational numbers $ \{ r _ {n} \} $ is said to be a zero-sequence if for any rational number $ \epsilon > 0 $ there exists a number $ n _ \epsilon $ such that for all $ n \geq n _ \epsilon $ the inequality $ | r _ {n} | < \epsilon $ is valid. Two Cauchy sequences of rational numbers $ \{ r _ {n} \} $ and $ \{ r _ {n} ^ \prime \} $ are said to be equivalent if the sequence $ \{ r _ {n} - r _ {n} ^ \prime \} $ is a zero-sequence. This definition of equivalence displays the properties of reflexivity, symmetry and transitivity, and this is the reason why the whole set of Cauchy sequences of rational numbers splits into equivalence classes. The totality of all these equivalence classes is also known in this case as the set of real numbers. By virtue of this definition, any real number represents an equivalence class of Cauchy sequences of rational numbers. Each such sequence is said to be a representative of the given real number. A Cauchy sequence of rational numbers $ \{ r _ {n} \} $ is said to be positive (negative) if there exists a rational number $ r > 0 $ $ (r < 0 ) $ such that all terms of this sequence, beginning with some term, are larger than $ r $( smaller than $ -r $). Any Cauchy sequence of rational numbers is either a zero-sequence, a positive sequence or a negative sequence. If a Cauchy sequence of rational numbers is positive (negative), then any Cauchy sequence of rational numbers equivalent to it will also be positive (negative). A real number is said to be positive (negative) if some one (and hence any one) of its representatives is positive (negative). A real number is said to be zero if some one (and hence any one) of its representatives is a zero-sequence. Any real number is either positive, negative or zero. In order to add or to multiply two real numbers $ x $ and $ x ^ \prime $ one has to add (respectively, multiply) any two of their representatives $ \{ r _ {n} \} \in x $, $ \{ r _ {n} ^ \prime \} \in x ^ \prime $; this again yields Cauchy sequences of rational numbers, $ \{ r _ {n} + r _ {n} ^ \prime \} $ and $ \{ r _ {n} r _ {n} ^ \prime \} $. The equivalence classes which they represent are known in this case as the sum $ x + x ^ \prime $ and the product $ x x ^ \prime $ of these numbers. These operations are unambiguously defined, i.e. they do not depend on the choice of representatives of these numbers. Subtraction and division of real numbers are defined as the operations inverse to addition and multiplication, respectively. If, for two real numbers $ x $ and $ y $, one has $ x - y > 0 $, the real number $ x $ is said to be larger than the real number $ y $. The totality of real numbers thus defined, together with the property of ordering described above and the operations of addition and multiplication, again displays the properties I–VI.

Still another theory, based on infinite decimal expansions, was developed by Weierstrass. According to this theory, a real number is any infinite decimal expansion with a plus or a minus sign:

$$ \pm \alpha _ {0} . \alpha _ {1} \alpha _ {2} \dots \alpha _ {n} \dots , $$

where $ \alpha _ {0} $ is a non-negative integer (integers are assumed to be given) while each $ \alpha _ {n} $, $ n = 1 , 2 \dots $ is one of the digits $ 0 , 1 \dots 9 $. Here, an infinite decimal expansion which after some time consists of 9's only (i.e. which has a period consisting of 9:

$$ \alpha _ {0} . \alpha _ {1} \dots \alpha _ {n} (9) ,\ \ a _ {n} \neq 9 , $$

is considered equal to the infinite decimal expansion

$$ \alpha _ {0} . \alpha _ {1} \dots \alpha _ {n-1} ( \alpha _ {n} + 1 ) 00 \dots 0 \dots $$

(if $ n = 0 $, it is equal to the infinite decimal expansion $ ( \alpha _ {0} + 1 ) . 00 \dots 0 \dots $). This expansion may also be written as the finite decimal expansion

$$ \alpha _ {0} . \alpha _ {1} \dots ( \alpha _ {n} + 1 ) , $$

and one says that it has $ n $ significant figures after the decimal point. An infinite decimal expansion without the period

is said to be an allowable infinite decimal expansion. Clearly, any real number can be uniquely (re)written as an allowable infinite decimal expansion. If a real number $ x $ is rewritten as an allowable infinite decimal expansion with a plus (minus) sign, and if the digits $ \alpha _ {n} $ contain at least one non-zero digit, $ x $ is said to be positive (negative), written as $ x > 0 $( $ x < 0 $). If all $ \alpha _ {n} = 0 $, $ n = 0 , 1 \dots $ it is said to be zero: $ x = 0 $. For the number

$$ x = \pm \alpha _ {0} . \alpha _ {1} \dots a _ {n} \dots , $$

the number $ \alpha _ {0} . \alpha _ {1} \dots \alpha _ {n} \dots $ is said to be its absolute value and is denoted by $ | x | $. The number with the plus sign (the minus sign) replaced by the minus sign (the plus sign) is said to be opposite to the given number and is denoted by $ -x $. If

$$ x = \alpha _ {0} . \alpha _ {1} \dots \alpha _ {n} \dots $$

is an allowable infinite decimal expansion, then the numbers

$$ \underline{x _ {n} } = \alpha _ {0} . \alpha _ {1} \dots \alpha _ {n} $$

and

$$ \overline{ {x _ {n} }}\; = \alpha _ {0} . \alpha _ {1} \dots \alpha _ {n} + 10 ^ {-n} , $$

are said to be, respectively, the lower (higher) decimal approximation of order $ n $ of the number $ x $. Let $ x $ and $ y $ be two positive numbers, written as allowable infinite decimal expansions

$$ x = \alpha _ {0} . \alpha _ {1} \dots \alpha _ {n} \dots $$

and

$$ y = \beta _ {0} . \beta _ {1} \dots \beta _ {n} \dots . $$

By definition, $ x < y $ if either $ \alpha _ {0} < \beta _ {0} $ or if there exists a number $ n _ {0} $, $ n _ {0} =0 , 1 \dots $ such that $ \alpha _ {k} = \beta _ {k} $, $ k = 0 \dots n _ {0} $, but $ \alpha _ {n _ {0} + 1 } < \beta _ {n _ {0} + 1 } $. Every negative number and zero are considered to be smaller than every positive number. If $ x $ and $ y $ are both negative and $ | y | < | x | $, then $ x < y $.

A sequence of integers $ n _ {k} $, $ k = 1 , 2 \dots $ is said to be stabilizing to a number $ m $ if there exists a number $ k _ {0} $ such that $ n _ {k} = m $ for all $ k \geq k _ {0} $. A sequence of infinite decimal expansions

$$ x ^ {(k)} = \alpha _ {0} ^ {(k)} . \ \alpha _ {1} ^ {(k)} \dots \alpha _ {n} ^ {(k)} \dots $$

is said to be stabilizing to a number

$$ x = \alpha _ {0} . \alpha _ {1} \dots \alpha _ {n} \dots , $$

if the $ i $- th column of the infinite matrix $ \| \alpha _ {i} ^ {(k)} \| $, where $ i $ is the column index and $ k $ is the row index, stabilizes to the number $ \alpha _ {i} $ for any $ i = 0, 1 ,\dots $. If $ x > 0 $ and $ y > 0 $, the finite decimal expansions

$$ \underline{x _ {n} } + \underline{y _ {n} } ,\ \ \underline{x _ {n} } - \underline{y _ {n} } ,\ \ \underline{\left ( \underline{x _ {n} } \underline{y _ {n} } \right ) _ {n} } \ \textrm{ and } \ \ \underline{\left ( \frac{\underline{x _ {n} } }{\underline{y _ {n} } } \right ) _ {n} } $$

have $ n $ significant figures to the right of the decimal point and form sequences stabilizing to certain numbers. These numbers are known, respectively, as the sum $ x + y $, the difference $ x - y $, the product $ xy $, and the quotient $ x/y $ of $ x $ and $ y $. These definitions are extended to real numbers of arbitrary sign. For instance, if $ x \leq 0 $ and $ y \leq 0 $, then $ x + y = - ( | x | + | y | ) $; if the signs of $ x $ and $ y $ are different, then $ x + y = \pm | | x | - | y | | $, the sign of this result being identical with the sign of that number $ x $ or $ y $ which has the larger absolute value. For any numbers $ x $ and $ y $ it is assumed that $ x - y = x + (-y) $( if $ x > 0 $, $ y > 0 $, this definition is identical with that given above), etc. The totality of allowable infinite decimal expansions with the order relation and with the operations of addition, subtraction, multiplication, and division thus defined, satisfies the axioms I–VI.

In constructing the theory of real numbers it is also possible to use non-decimal computation systems, i.e. systems to the base two, three, etc. It is important to note that none of the constructions of the theory of real numbers given above (axiomatic, based on cuts of rational numbers, based on Cauchy sequences of rational numbers or on infinite decimal expansions) is a proof of the existence (self-consistency) of the set of real numbers. From this point of view all these methods are equivalent.

Geometrically, the set of real numbers can be represented by an oriented (directed) straight line, while the individual numbers are represented by points on that line. Accordingly, the totality of real numbers is often called the number axis, while the individual numbers are called points. When such a representation of real numbers is employed, instead of saying that $ a $ is smaller than $ b $( respectively, that $ b $ is larger than $ a $) one says that the point $ a $ lies to the left of the point $ b $( respectively, $ b $ lies to the right of $ a $). There is an order-preserving one-to-one correspondence between the points on a Euclidean straight line ordered in accordance with their locations on it and the elements of the number axis. This is a justification for representing the set of real numbers as a straight line.

References

[1] R. Dedekind, "Essays on the theory of numbers" , Dover, reprint (1963) (Translated from German)
[2] V. Dantscher, "Vorlesungen über die Weierstrass'sche Theorie der irrationalen Zahlen" , Teubner (1908)
[3] G. Cantor, "Ueber die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen" Math. Ann. , 5 (1872) pp. 123–130
[4] V.V. Nemytskii, M.I. Sludskaya, A.N. Cherkasov, "A course of mathematical analysis" , 1 , Moscow (1957)
[5] V.A. Il'in, E.G. Poznyak, "Fundamentals of mathematical analysis" , 1–2 , MIR (1982) (Translated from Russian)
[6] L.D. Kudryavtsev, "A course in mathematical analysis" , 1 , Moscow (1988) (In Russian)
[7] S.M. Nikol'skii, "A course of mathematical analysis" , 1–2 , MIR (1977) (Translated from Russian)
[8] G.M. Fichtenholz, "Differential und Integralrechnung" , 1 , Deutsch. Verlag Wissenschaft. (1964)
[9] N. Bourbaki, "General topology" , Elements of mathematics , Addison-Wesley (1966) pp. Chapts. 3–4 (Translated from French)

Comments

The most important theory of proportions in Antiquity has been given by Eudoxus of Cnidus (ca. 400 B.C.– 347 B.C.). One can find this theory in Euclid's Elements, book V. See also [a2], [a3] and $ Elements $ of Euclid.

Irrational numbers can be divided into two different kinds: algebraic numbers and transcendental numbers. An algebraic number is a root of an algebraic equation with (rational) integers as coefficients. A transcendental number is not the root of any algebraic equation with (rational) integral coefficients. The usual notation for the field of rational (respectively, real) numbers is $ \mathbf Q $( respectively, $ \mathbf R $).

References

[a1] T.L. Heath, "A history of Greek mathematics" , Dover, reprint (1981)
[a2] T.L. Heath, "The thirteen books of Euclid's elements" , 1–3 , Dover, reprint (1956) ((Translated from the Greek))
[a3] W.R. Knorr, "The evolution of the Euclidean elements" , Reidel (1975)
[a4] E. Landau, "Foundations of analysis" , Chelsea, reprint (1951) (Translated from German)
[a5] W. Rudin, "Principles of mathematical analysis" , McGraw-Hill (1976) pp. 75–78
[a6] H. Gericke, "Geschichte des Zahlbegriffs" , B.I. Wissenschaftsverlag Mannheim (1970)
How to Cite This Entry:
Real number. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Real_number&oldid=45134
This article was adapted from an original article by L.D. Kudryavtsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article