Namespaces
Variants
Actions

Difference between revisions of "Real number"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(chanaged "fundamental sequence" to more common term "Cauchy sequence")
Line 41: Line 41:
 
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 <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" />.
  
The property of continuity of real numbers is closely connected with the property of their completeness, to wit, that any [[Fundamental sequence|fundamental sequence]] of real numbers is convergent. It should be noted that the field of rational numbers only is no longer complete: It contains fundamental 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 <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 may also be formulated in a different manner.
 
The property of continuity of real numbers may also be formulated in a different manner.
Line 65: Line 65:
 
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 fundamental 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 fundamental 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 fundamental 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 fundamental sequences of rational numbers. Each such sequence is said to be a representative of the given real number. A fundamental 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 fundamental sequence of rational numbers is either a zero-sequence, a positive sequence or a negative sequence. If a fundamental sequence of rational numbers is positive (negative), then any fundamental 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 fundamental 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 <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.
  
 
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:
Line 125: Line 125:
 
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 <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.
  
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 fundamental 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 <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.

Revision as of 17:11, 9 December 2013

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 and have a definite order relation, i.e. one and only one of the following relations will be true: , or ; also, if and , then (transitivity of the order).

II) The property of an addition operation. For any ordered pair of numbers and there is a unique number, known as their sum and denoted by , such that the following properties hold: ) (commutativity); ) for any numbers , and one has (associativity); ) there exists a number, called zero and denoted by , such that for any ; ) for any number there exists a number, called the opposite of and denoted by , such that ; ) if , then for any .

The zero is unique, and the number opposite to any given number is unique. For any ordered pair of numbers and the number is called the difference between the numbers and and is denoted by .

III) The property of a multiplication operation. For any ordered pair of numbers and there exists a unique number, known as their product and denoted by , such that: ) (commutativity); ) for any numbers (associativity); ) there exists a number, known as the unit and denoted by , such that for any number ; ) for any non-zero number there exists a number, known as its reciprocal and denoted by , such that ; ) if and , then .

These properties ensure that the unit and the reciprocal of each element are unique. For each ordered pair of numbers and , , the number is known as the quotient obtained by dividing by ; it is denoted by .

The number is denoted by , the number is denoted by , etc. The numbers 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 are called integers (it is assumed that ; cf. Integer). Numbers of the type , where is an integer, while is a natural number, are known as rational numbers or fractions. They include all integers. The number is identified with . 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 , and , .

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 there exists an integer such that . 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

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 of the nested segments tend to zero as , 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 ; 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 and satisfying the properties I to VI, there always exists a mapping of onto , isomorphic with respect to the order and to the operations of addition and multiplication, i.e. this mapping (denoted , where is the element corresponding to the element ) maps onto in a one-to-one correspondence so that if

then

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 and , , it is possible to find a rational number such that and an irrational number such that .

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 -th root of any positive number (where is a natural number), and the fact that any positive number has a logarithm to any base , , .

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 in the domain of real numbers (cf. Dedekind cut) may also be employed. One says that the cut is effected by the number if for all , (here, either or ). 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 in the domain of rational numbers. If, for a given cut there exists a largest rational number in or a smallest rational number in , one says that the cut 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 and . The real number is said to be smaller than the real number (or, which is the same thing, is said to be larger than ) if , . The concepts of positive and negative real numbers (see above) and of the absolute value of a real number are introduced in the usual way. The sum of the real numbers and is defined to be the number such that for all , , , the inequalities

are valid. The product of two positive real numbers and is the number such that for all positive the inequalities are satisfied. The product of two non-zero real numbers and is defined as the real number whose absolute value is , and which is positive if and have the same sign, and negative if they have opposite signs. Finally, for any real number it is assumed that .

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 of rational numbers such that for any rational number there exists a number such that for all and the inequality is valid. A sequence of rational numbers is said to be a zero-sequence if for any rational number there exists a number such that for all the inequality is valid. Two Cauchy sequences of rational numbers and are said to be equivalent if the sequence 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 is said to be positive (negative) if there exists a rational number such that all terms of this sequence, beginning with some term, are larger than (smaller than ). 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 and one has to add (respectively, multiply) any two of their representatives , ; this again yields Cauchy sequences of rational numbers, and . The equivalence classes which they represent are known in this case as the sum and the product 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 and , one has , the real number is said to be larger than the real number . 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:

where is a non-negative integer (integers are assumed to be given) while each , is one of the digits . Here, an infinite decimal expansion which after some time consists of 9's only (i.e. which has a period consisting of 9:

is considered equal to the infinite decimal expansion

(if , it is equal to the infinite decimal expansion ). This expansion may also be written as the finite decimal expansion

and one says that it has 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 is rewritten as an allowable infinite decimal expansion with a plus (minus) sign, and if the digits contain at least one non-zero digit, is said to be positive (negative), written as (). If all , it is said to be zero: . For the number

the number is said to be its absolute value and is denoted by . 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 . If

is an allowable infinite decimal expansion, then the numbers

and

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

and

By definition, if either or if there exists a number , such that , , but . Every negative number and zero are considered to be smaller than every positive number. If and are both negative and , then .

A sequence of integers , is said to be stabilizing to a number if there exists a number such that for all . A sequence of infinite decimal expansions

is said to be stabilizing to a number

if the -th column of the infinite matrix , where is the column index and is the row index, stabilizes to the number for any . If and , the finite decimal expansions

have significant figures to the right of the decimal point and form sequences stabilizing to certain numbers. These numbers are known, respectively, as the sum , the difference , the product , and the quotient of and . These definitions are extended to real numbers of arbitrary sign. For instance, if and , then ; if the signs of and are different, then , the sign of this result being identical with the sign of that number or which has the larger absolute value. For any numbers and it is assumed that (if , , 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 is smaller than (respectively, that is larger than ) one says that the point lies to the left of the point (respectively, lies to the right of ). 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 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 (respectively, ).

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=13567
This article was adapted from an original article by L.D. Kudryavtsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article