Namespaces
Variants
Actions

Difference between revisions of "Number"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (Typo)
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
n0679001.png
 +
$#A+1 = 87 n = 0
 +
$#C+1 = 87 : ~/encyclopedia/old_files/data/N067/N.0607900 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 fundamental concept in mathematics, which has taken shape in the course of a long historical development. The origin and formulation of this concept occurred simultaneously with the birth and development of mathematics. The practical activities of mankind on the one hand, and the internal demands of mathematics on the other, have determined the development of the concept of a number.
 
A fundamental concept in mathematics, which has taken shape in the course of a long historical development. The origin and formulation of this concept occurred simultaneously with the birth and development of mathematics. The practical activities of mankind on the one hand, and the internal demands of mathematics on the other, have determined the development of the concept of a number.
  
Line 21: Line 33:
 
The development of algebra, and the techniques of approximate calculation, in connection with the demands of astronomy, led Arab mathematicians to extend the concept of a number. They began to consider ratios of arbitrary quantities, whether commensurable or not, as numbers. As Nasireddin (1201–1278) wrote:  "Each of these ratios can be called by a number, precisely equal to the number one when one term of the ratio agrees with the other term" . European mathematics was developing in the same direction. Although G. Cardano in Practica Arithmeticae Generalis (1539) was still writing about irrational numbers as  "surds"  (from the Latin  "surdus" ,  "deaf" ), and as  "impossible to perceive or to imagine" , Stevin in his l'Arithmétique (1585) stated that  "a number is that which is determined by an arbitrary quantity"  and that  "no numbers are absurd, irrational, irregular, inexpressible, or surd" . And finally I. Newton in his Arithmeticae Universalis (1707) gave the following definition:  "By a number we understand not so much a multiple of a unit as an abstract quantity associated in a systematic way to some other quantity of the same kind that is taken as a unit. Numbers arise in three forms: integer, fraction and irrational. An integer is that which can be measured by unity; a fraction is a multiple of a portion of unity; an irrational number is incommensurable with unity" . Related to the fact that, for Newton, a quantity can be either positive or negative, the numbers in his arithmetic can also be either positive, in other words  "greater than nothing" , or negative, in other words  "smaller than nothing" .
 
The development of algebra, and the techniques of approximate calculation, in connection with the demands of astronomy, led Arab mathematicians to extend the concept of a number. They began to consider ratios of arbitrary quantities, whether commensurable or not, as numbers. As Nasireddin (1201–1278) wrote:  "Each of these ratios can be called by a number, precisely equal to the number one when one term of the ratio agrees with the other term" . European mathematics was developing in the same direction. Although G. Cardano in Practica Arithmeticae Generalis (1539) was still writing about irrational numbers as  "surds"  (from the Latin  "surdus" ,  "deaf" ), and as  "impossible to perceive or to imagine" , Stevin in his l'Arithmétique (1585) stated that  "a number is that which is determined by an arbitrary quantity"  and that  "no numbers are absurd, irrational, irregular, inexpressible, or surd" . And finally I. Newton in his Arithmeticae Universalis (1707) gave the following definition:  "By a number we understand not so much a multiple of a unit as an abstract quantity associated in a systematic way to some other quantity of the same kind that is taken as a unit. Numbers arise in three forms: integer, fraction and irrational. An integer is that which can be measured by unity; a fraction is a multiple of a portion of unity; an irrational number is incommensurable with unity" . Related to the fact that, for Newton, a quantity can be either positive or negative, the numbers in his arithmetic can also be either positive, in other words  "greater than nothing" , or negative, in other words  "smaller than nothing" .
  
Imaginary numbers first appeared in the work of Cardano, Ars Magma (The Great Art, 1545). In solving the system of equations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n0679001.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n0679002.png" />, he found the solutions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n0679003.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n0679004.png" />. Cardano called these solutions  "purely negative" , and later  "sophisticatedly negative" . The first to see a  "real"  use of introducing imaginary numbers was R. Bombelli. In his Algebra (1572) he showed that the real roots of the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n0679005.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n0679006.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n0679007.png" />, in the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n0679008.png" />, can be expressed in terms of radicals of imaginary numbers. Bombelli defined arithmetic operations on such quantities, and proceeded in this way to the creation of the theory of complex numbers (cf. [[Complex number|Complex number]]). In the 17th century and 18th century, many mathematicians occupied themselves in investigating the properties of imaginary numbers and their applications. Thus, L. Euler extended, e.g., the notion of a logarithm to arbitrary complex numbers (1738), and obtained a new method of integration using complex variables (1776), while earlier (1736) A. de Moivre solved the problem of extracting roots of natural degrees of an arbitrary complex number. A successful application of the theory of complex numbers was the fundamental theorem of algebra:  "Every polynomial of degree greater than zero and with real coefficients factorizes as a product of polynomials of degrees one and two with real coefficients"  (Euler, J. d'Alembert, C.F. Gauss). Nevertheless, until a geometric interpretation of complex numbers as points in the plane was given (around the end of the 18th century and in the beginning of the 19th century), many mathematicians remained distrustful of imaginary numbers.
+
Imaginary numbers first appeared in the work of Cardano, Ars Magma (The Great Art, 1545). In solving the system of equations $  x + y = 10 $,  
 +
$  xy = 40 $,  
 +
he found the solutions $  5 + \sqrt - 15 $
 +
and $  5 - \sqrt - 15 $.  
 +
Cardano called these solutions  "purely negative" , and later  "sophisticatedly negative" . The first to see a  "real"  use of introducing imaginary numbers was R. Bombelli. In his Algebra (1572) he showed that the real roots of the equation $  x  ^ {3} = px + q $,
 +
$  p > 0 $,  
 +
$  q > 0 $,  
 +
in the case $  ( p / 3 )  ^ {3} > ( q /2 )  ^ {2} $,  
 +
can be expressed in terms of radicals of imaginary numbers. Bombelli defined arithmetic operations on such quantities, and proceeded in this way to the creation of the theory of complex numbers (cf. [[Complex number|Complex number]]). In the 17th century and 18th century, many mathematicians occupied themselves in investigating the properties of imaginary numbers and their applications. Thus, L. Euler extended, e.g., the notion of a logarithm to arbitrary complex numbers (1738), and obtained a new method of integration using complex variables (1776), while earlier (1736) A. de Moivre solved the problem of extracting roots of natural degrees of an arbitrary complex number. A successful application of the theory of complex numbers was the fundamental theorem of algebra:  "Every polynomial of degree greater than zero and with real coefficients factorizes as a product of polynomials of degrees one and two with real coefficients"  (Euler, J. d'Alembert, C.F. Gauss). Nevertheless, until a geometric interpretation of complex numbers as points in the plane was given (around the end of the 18th century and in the beginning of the 19th century), many mathematicians remained distrustful of imaginary numbers.
  
 
In the early 19th century, in connection with the great successes of mathematical analysis, many scholars realized the need for a foundation of the fundamentals of analysis — the theory of limits. Mathematicians were no longer satisfied with proofs based on intuition or on geometrical representation. There also remained the problem of constructing a unified theory of numbers. Natural numbers were often thought of as collections of unity, fractions as ratios of quantities, real numbers as lengths of line segments, and complex numbers as points in the plane. There was no complete agreement as to how arithmetic operations on numbers should be introduced. Finally, the question naturally arose of the further development of the concept of a number. In particular, was it possible to introduce new numbers, related to points in space?
 
In the early 19th century, in connection with the great successes of mathematical analysis, many scholars realized the need for a foundation of the fundamentals of analysis — the theory of limits. Mathematicians were no longer satisfied with proofs based on intuition or on geometrical representation. There also remained the problem of constructing a unified theory of numbers. Natural numbers were often thought of as collections of unity, fractions as ratios of quantities, real numbers as lengths of line segments, and complex numbers as points in the plane. There was no complete agreement as to how arithmetic operations on numbers should be introduced. Finally, the question naturally arose of the further development of the concept of a number. In particular, was it possible to introduce new numbers, related to points in space?
Line 33: Line 53:
 
Throughout the 19th century, and into the early 20th century, deep changes were taking place in mathematics. Conceptions about the objects and the aims of mathematics were changing. The axiomatic method of constructing mathematics on set-theoretic foundations was gradually taking shape. In this context, every mathematical theory is the study of some algebraic system. In other words, it is the study of a set with distinguished relations, in particular algebraic operations, satisfying some predetermined conditions, or axioms.
 
Throughout the 19th century, and into the early 20th century, deep changes were taking place in mathematics. Conceptions about the objects and the aims of mathematics were changing. The axiomatic method of constructing mathematics on set-theoretic foundations was gradually taking shape. In this context, every mathematical theory is the study of some algebraic system. In other words, it is the study of a set with distinguished relations, in particular algebraic operations, satisfying some predetermined conditions, or axioms.
  
From this point of view every number system is an algebraic system. For the definition of concrete number systems it is convenient to use the notion of an  "extension of an algebraic system" . This notion makes precise in a natural way the principle of permanence of formal computing laws, which was formulated above. An algebraic system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n0679009.png" /> is called an extension of an algebraic system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790010.png" /> if the underlying set of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790011.png" /> is a subset of that of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790012.png" />, if there also exists a bijection from the set of relations of the system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790013.png" /> onto that of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790014.png" />, and if for any collection of elements of the system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790015.png" /> for which some relation of that system holds, the corresponding relation of the system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790016.png" /> also holds.
+
From this point of view every number system is an algebraic system. For the definition of concrete number systems it is convenient to use the notion of an  "extension of an algebraic system" . This notion makes precise in a natural way the principle of permanence of formal computing laws, which was formulated above. An algebraic system $  A  ^  \prime  $
 +
is called an extension of an algebraic system $  A $
 +
if the underlying set of $  A $
 +
is a subset of that of $  A  ^  \prime  $,  
 +
if there also exists a bijection from the set of relations of the system $  A  ^  \prime  $
 +
onto that of $  A $,  
 +
and if for any collection of elements of the system $  A $
 +
for which some relation of that system holds, the corresponding relation of the system $  A  ^  \prime  $
 +
also holds.
  
For example, by the system of natural numbers one usually understands the algebraic system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790017.png" /> with two algebraic operations: addition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790018.png" /> and multiplication <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790019.png" />, and a distinguished element
+
For example, by the system of natural numbers one usually understands the algebraic system $  \mathbf N = \langle  N , + , \cdot , 1 \rangle $
 +
with two algebraic operations: addition $  (+) $
 +
and multiplication $  ( \cdot ) $,  
 +
and a distinguished element
  
 
(unity), satisfying the following axioms:
 
(unity), satisfying the following axioms:
  
1) for each element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790020.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790021.png" />;
+
1) for each element $  a \in N $,  
 +
$  a + 1 \neq a $;
  
2) associativity of addition: For any elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790022.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790023.png" />,
+
2) associativity of addition: For any elements $  a , b , c $
 +
in $  N $,
  
<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/n/n067/n067900/n06790024.png" /></td> </tr></table>
+
$$
 +
( a + b ) + c  = a + ( b + c ) ;
 +
$$
  
3) commutativity of addition: For any elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790025.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790026.png" />,
+
3) commutativity of addition: For any elements $  a , b $
 +
in $  N $,
  
<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/n/n067/n067900/n06790027.png" /></td> </tr></table>
+
$$
 +
a + b  = b + a ;
 +
$$
  
4) cancellation of addition: For any elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790028.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790029.png" />, the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790030.png" /> entails the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790031.png" />;
+
4) cancellation of addition: For any elements $  a , b , c $
 +
in $  N $,  
 +
the equation $  a + c = b + c $
 +
entails the equation $  a = b $;
  
5) 1 is the neutral element for the multiplication; that is, for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790032.png" /> one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790033.png" />;
+
5) 1 is the neutral element for the multiplication; that is, for any $  a \in N $
 +
one has $  a \cdot 1 = a $;
  
6) associativity of multiplication: For any elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790034.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790035.png" />,
+
6) associativity of multiplication: For any elements $  a , b , c $
 +
in $  N $,
  
<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/n/n067/n067900/n06790036.png" /></td> </tr></table>
+
$$
 +
( a \cdot b ) \cdot c  = a \cdot ( b \cdot c ) ;
 +
$$
  
7) distributivity of multiplication over addition: For any elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790037.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790038.png" />,
+
7) distributivity of multiplication over addition: For any elements $  a , b , c $
 +
in $  N $,
  
<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/n/n067/n067900/n06790039.png" /></td> </tr></table>
+
$$
 +
( a + b ) \cdot c  = a \cdot c + b \cdot c ;
 +
$$
  
8) the axiom of induction: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790040.png" /> is a subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790041.png" /> containing 1 and the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790042.png" /> whenever it contains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790043.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790044.png" />.
+
8) the axiom of induction: If $  M $
 +
is a subset of $  N $
 +
containing 1 and the element $  a + 1 $
 +
whenever it contains $  a $,  
 +
then $  M = N $.
  
From <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790045.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790046.png" /> it follows that the system of natural numbers is a [[Semi-ring|semi-ring]] under the operations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790047.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790048.png" />. Hence the system of natural numbers can be defined as the minimal semi-ring with a neutral element for multiplication and without a neutral element for the addition.
+
From $  2 , 3 , 4 , 6 $,  
 +
and $  7 $
 +
it follows that the system of natural numbers is a [[Semi-ring|semi-ring]] under the operations $  (+) $
 +
and $  ( \cdot ) $.  
 +
Hence the system of natural numbers can be defined as the minimal semi-ring with a neutral element for multiplication and without a neutral element for the addition.
  
The system of integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790049.png" /> is defined as the minimal [[Ring|ring]] that is an extension of the semi-ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790050.png" /> of natural numbers. The system of rational numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790051.png" /> is defined as the minimal [[Field|field]] that is an extension of the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790052.png" />. The system of complex numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790053.png" /> is defined as the minimal field that is an extension of the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790054.png" /> of real numbers containing an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790055.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790056.png" /> (cf. also [[Extension of a field|Extension of a field]]).
+
The system of integers $  \mathbf Z = \langle  Z , + , \cdot , 0 , 1 \rangle $
 +
is defined as the minimal [[Ring|ring]] that is an extension of the semi-ring $  \langle  N , + , \cdot , 1 \rangle $
 +
of natural numbers. The system of rational numbers $  \mathbf Q = \langle  Q , + , \cdot , 0 , 1 \rangle $
 +
is defined as the minimal [[Field|field]] that is an extension of the ring $  \mathbf Z $.  
 +
The system of complex numbers $  \mathbf C = \langle  C , + , \cdot , 0 , 1 \rangle $
 +
is defined as the minimal field that is an extension of the field $  \langle  R , + , \cdot , 0 , 1 \rangle $
 +
of real numbers containing an element $  i $
 +
for which $  i  ^ {2} + 1 = 0 $(
 +
cf. also [[Extension of a field|Extension of a field]]).
  
By the system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790057.png" /> of real numbers one means the [[Algebraic system|algebraic system]] with two binary operations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790058.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790059.png" />, two distinguished elements
+
By the system $  \mathbf R = \langle  R , + , \cdot , 0 , 1 , > \rangle $
 +
of real numbers one means the [[Algebraic system|algebraic system]] with two binary operations $  (+) $
 +
and $  ( \cdot ) $,  
 +
two distinguished elements
  
 
and
 
and
  
and binary order relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790060.png" />. The axioms of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790061.png" /> are divided into the following groups:
+
and binary order relation $  ( > ) $.  
 +
The axioms of $  \mathbf R $
 +
are divided into the following groups:
  
1) the field axiom: The system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790062.png" /> is a field;
+
1) the field axiom: The system $  \langle  R , + , \cdot , 0 , 1 \rangle $
 +
is a field;
  
2) the order axiom: The system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790063.png" /> is a totally and strictly ordered field (cf. [[Ordered field|Ordered field]]);
+
2) the order axiom: The system $  \langle  R , + , \cdot , 0 , 1 , > \rangle $
 +
is a totally and strictly ordered field (cf. [[Ordered field|Ordered field]]);
  
3) the Archimedean axiom: For any elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790064.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790065.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790066.png" /> there exists a natural number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790067.png" /> such that
+
3) the Archimedean axiom: For any elements $  a > 0 $,
 +
$  b > 0 $
 +
in $  R $
 +
there exists a natural number n $
 +
such that
  
<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/n/n067/n067900/n06790068.png" /></td> </tr></table>
+
$$
 +
n \cdot a  = a + \dots + a  > b \ \
 +
( n  \textrm{ terms }  a ) ;
 +
$$
  
4) the completeness axiom: Every [[Cauchy sequence]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790069.png" /> of real numbers converges, i.e. if for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790070.png" /> there is a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790071.png" /> such that, for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790072.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790073.png" /> the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790074.png" /> holds, then the sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790075.png" /> converges to some element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790076.png" />.
+
4) the completeness axiom: Every [[Cauchy sequence]] $  \{ r _ {n} \} _ {n} $
 +
of real numbers converges, i.e. if for any $  \epsilon > 0 $
 +
there is a number n _  \epsilon  $
 +
such that, for any n > n _  \epsilon  $
 +
and $  m > n _  \epsilon  $
 +
the inequality $  | r _ {n} - r _ {m} | < \epsilon $
 +
holds, then the sequence $  \{ r _ {n} \} _ {n} $
 +
converges to some element of $  R $.
  
 
Briefly, the system of real numbers is a complete, totally, strictly-Archimedean ordered field. The system of real numbers can also be defined, in an equivalent way, as a continuous totally ordered field. In this case the Archimedean axiom and the completeness axiom are replaced by the continuity axiom:
 
Briefly, the system of real numbers is a complete, totally, strictly-Archimedean ordered field. The system of real numbers can also be defined, in an equivalent way, as a continuous totally ordered field. In this case the Archimedean axiom and the completeness axiom are replaced by the continuity axiom:
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790077.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790078.png" /> are non-empty subsets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790079.png" /> such that, for any elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790080.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790081.png" />, the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790082.png" /> holds, then there exists an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790083.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790084.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790085.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790086.png" />.
+
If $  A $
 +
and $  B $
 +
are non-empty subsets of $  R $
 +
such that, for any elements $  a \in A $,  
 +
$  b \in B $,  
 +
the inequality $  a < b $
 +
holds, then there exists an element $  c \in R $
 +
such that $  a \leq  c \leq  b $
 +
for all $  a \in A $,  
 +
$  b \in B $.
  
 
The construction of real numbers proposed by Cantor and Meray can be used to interpret the first system of axioms for the system of real numbers, while Dedekind's construction can be used to interpret the second system. Analogously, the constructions of Hamilton, Weierstrass and Tannery are interpretations of the systems of axioms for the complex, integer and rational numbers.
 
The construction of real numbers proposed by Cantor and Meray can be used to interpret the first system of axioms for the system of real numbers, while Dedekind's construction can be used to interpret the second system. Analogously, the constructions of Hamilton, Weierstrass and Tannery are interpretations of the systems of axioms for the complex, integer and rational numbers.
Line 93: Line 187:
 
The problem of the foundations of the concept of a number, and more broadly, the foundations of mathematics, were clearly set out in the 19th century. This problem became a subject of mathematical logic, the intensive development of which continued into the 20th century.
 
The problem of the foundations of the concept of a number, and more broadly, the foundations of mathematics, were clearly set out in the 19th century. This problem became a subject of mathematical logic, the intensive development of which continued into the 20th century.
  
Cf. also [[Arithmetic, formal|Arithmetic, formal]]; [[Constructive analysis|Constructive analysis]]; [[P-adic number|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067900/n06790087.png" />-adic number]]; [[Algebraic number|Algebraic number]]; [[Transcendental number|Transcendental number]]; [[Cardinal number|Cardinal number]]; [[Ordinal number|Ordinal number]]; [[Arithmetic|Arithmetic]].
+
Cf. also [[Arithmetic, formal|Arithmetic, formal]]; [[Constructive analysis|Constructive analysis]]; [[P-adic number| $  p $-
 +
adic number]]; [[Algebraic number|Algebraic number]]; [[Transcendental number|Transcendental number]]; [[Cardinal number|Cardinal number]]; [[Ordinal number|Ordinal number]]; [[Arithmetic|Arithmetic]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  E.I. Berezkina,  "Mathematics of Ancient China" , Moscow  (1980)  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N. Bourbaki,  "Eléments d'histoire des mathématiques" , Hermann  (1960)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  A.A. Vaiman,  "Sumero-Babylonian mathematics" , Moscow  (1961)  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  B.L. van der Waerden,  "Ontwakende wetenschap" , Noordhoff  (1957)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  G. Wieleitner,  "Die Geschichte der Mathematik von Descartes bis zum Hälfte des 19. Jahrhunderts" , '''2''' , de Gruyter  (1923)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  A.I. Volodarskii,  "An outline of the history of Medieval Indian mathematics" , Moscow  (1977)  (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  M.Ya. Vygodskii,  "Arithmetic and algebra in the Ancient world" , Moscow  (1967)  (In Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  I.Ya. Depman,  "The history of arithmetic" , Moscow  (1959)  (In Russian)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  E. Kol'man,  "History of mathematics in Antiquity" , Moscow  (1961)  (In Russian)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  F. Cajori,  "A history of elementary mathematics" , Macmillan  (1896)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  V.I. Nechaev,  "Number systems" , Moscow  (1975)  (In Russian)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  K.A. Rybnikov,  "A history of mathematics" , '''1–2''' , Moscow  (1974)  (In Russian)</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  D.J. Struik,  "A concise history of mathematics" , '''1–2''' , Dover, reprint  (1948)  (Translated from Dutch)</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top">  S. Feferman,  "The number system" , Addison-Wesley  (1964)</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  H.G. Zeuthen,  "Geschichte der Mathematik in XVI und XVII Jahrhundert" , Teubner  (1903)</TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top">  A.P. Yushkevich,  "Geschichte der Mathematik im Mittelalter" , Teubner  (1964)  (Translated from Russian)</TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top"> , ''The history of mathematics from Antiquity to the beginning of the XIX-th century'' , '''1–3''' , Moscow  (1970–1972)  (In Russian)</TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top"> , ''Mathematics of the 19-th century. Mathematical logic. Algebra. Number theory. Probability theory'' , Moscow  (1978)  (In Russian)</TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top">  E. Landau,  "Grundlagen der Analysis" , Akad. Verlagsgesellschaft  (1930)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  E.I. Berezkina,  "Mathematics of Ancient China" , Moscow  (1980)  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N. Bourbaki,  "Eléments d'histoire des mathématiques" , Hermann  (1960)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  A.A. Vaiman,  "Sumero-Babylonian mathematics" , Moscow  (1961)  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  B.L. van der Waerden,  "Ontwakende wetenschap" , Noordhoff  (1957)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  G. Wieleitner,  "Die Geschichte der Mathematik von Descartes bis zum Hälfte des 19. Jahrhunderts" , '''2''' , de Gruyter  (1923)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  A.I. Volodarskii,  "An outline of the history of Medieval Indian mathematics" , Moscow  (1977)  (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  M.Ya. Vygodskii,  "Arithmetic and algebra in the Ancient world" , Moscow  (1967)  (In Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  I.Ya. Depman,  "The history of arithmetic" , Moscow  (1959)  (In Russian)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  E. Kol'man,  "History of mathematics in Antiquity" , Moscow  (1961)  (In Russian)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  F. Cajori,  "A history of elementary mathematics" , Macmillan  (1896)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  V.I. Nechaev,  "Number systems" , Moscow  (1975)  (In Russian)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  K.A. Rybnikov,  "A history of mathematics" , '''1–2''' , Moscow  (1974)  (In Russian)</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  D.J. Struik,  "A concise history of mathematics" , '''1–2''' , Dover, reprint  (1948)  (Translated from Dutch)</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top">  S. Feferman,  "The number system" , Addison-Wesley  (1964)</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  H.G. Zeuthen,  "Geschichte der Mathematik in XVI und XVII Jahrhundert" , Teubner  (1903)</TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top">  A.P. Yushkevich,  "Geschichte der Mathematik im Mittelalter" , Teubner  (1964)  (Translated from Russian)</TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top"> , ''The history of mathematics from Antiquity to the beginning of the XIX-th century'' , '''1–3''' , Moscow  (1970–1972)  (In Russian)</TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top"> , ''Mathematics of the 19-th century. Mathematical logic. Algebra. Number theory. Probability theory'' , Moscow  (1978)  (In Russian)</TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top">  E. Landau,  "Grundlagen der Analysis" , Akad. Verlagsgesellschaft  (1930)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====

Latest revision as of 08:03, 6 June 2020


A fundamental concept in mathematics, which has taken shape in the course of a long historical development. The origin and formulation of this concept occurred simultaneously with the birth and development of mathematics. The practical activities of mankind on the one hand, and the internal demands of mathematics on the other, have determined the development of the concept of a number.

The need to count objects led to the origin of the notion of a natural number. All nations that have forms of writing had mastered the concept of a natural number and had developed some counting system. In its early stages, the origin and development of the concept of a number can be judged only from indirect data provided by linguistics and ethnography. Primitive man clearly had no need of counting skills to determine whether or not a given collection was complete.

Later, special names were given to definite objects or events that people often encountered. Thus, in the language of certain nations there were words for such concepts as "three men" , or "three boats" , but there was no abstract concept "three" . In this way, probably, there arose comparatively short number series, used for the identification of individual people, individual boats, individual coconuts, etc. At these stage there was no such thing as an abstract number, and numbers were merely names.

In some primitive cultures, the necessity to communicate information about the numerical size of this or that collection has led to distinguishing certain standard collections, usually consisting of parts of the human body. In such a system of counting, each part of the body has a definite order and name. Whenever parts of the body are insufficient, bundles of sticks are used. The same purpose is served by pebbles, shells, notches on a tree or rock, lines on the ground, strings with knots, etc.

The next stage in the development of the notion of a number is connected with the transition to counting in groups; pairs, tens, dozens, etc. There arise so-called nodal numbers, and at the same time the concept of an arithmetic operation, which is reflected in the names of numbers. Definite counting methods take shape, special devices are used for counting, and numerical notations emerge. Numbers are separated from the objects being counted, and become abstract. Systems of representations of numbers begin to appear (cf. Numbers, representations of).

The process of formation of our modern representation system was exceptionally complicated. Only the final part of this process can be judged with definite authenticity. There are many known systems of representation. In Ancient Egypt there were several systems. In one of them there were special symbols for 1, 10, 100, 1000. Other numbers were represented by means of combinations of these symbols. The basic arithmetic operation in Ancient Egypt was addition. Well before 2000 B.C. the Babylonians used a base-60 representation system with the positional principle for writing numbers. They used only two symbols. The ancient Greeks used an alphabetic representation system, which was also used by the Slavs (cf. also Slavic numerals). In India, at the beginning of the new era (A.D.) there was a wide-spread oral positional decimal representation system, with several synonyms for zero (and other digits). A positional decimal representation system also arose there later. By the 8th century A.D. this system had spread as far as the Middle East. The Europeans were introduced to it in the 12th century.

The widening circle of objects to be counted, arising as a result of practical activities of people, and finally the inquisitiveness that is characteristic of mankind, gradually pushed back the limits of counting. The idea arose of the unbounded extension of the sequence of natural numbers, possibly attributable to the Greeks. One of Euclid's theorems states: "There exist more than any given number of primes" . Also, Archimedes tried to convince his contemporaries that it is possible to describe a number greater than "the number of grains of sand in the world" .

For the measurement of quantities, fractional numbers were necessary. Fractions were studied in Ancient Egypt and Babylon. Egyptian fractions were usually expressed in terms of aliquot fractions, i.e. fractions with numerator equal to 1. The Babylonians used base-60 fractions. The Chinese and the Indians were using ordinary fractions in the early centuries A.D., and were able to carry out all the arithmetic operations on them. Scholars in Central Asia, no later than the 10th century, used a base-60 positional counting system. This system was particularly widely used in astronomical calculations and tables. Traces of it have been passed on to us in the form of the units used in the measurement of time and angles. Decimal fractions were introduced at the beginning of the 15th century, and were widely used by the Samarkand mathematician Kashi (al'-Kashi). In Europe, decimal fractions became widespread following the publication of the book de Thiende (1585), written by S. Stevin. Before the introduction of decimal fractions, the Europeans had used the decimal system in practice to calculate the integer part of a number, but they used base-60 fractions or ordinary fractions for the fractional part.

The further development of the concept of number proceeded mainly along with the demands of mathematics itself. Negative numbers first appeared in Ancient China. Indian mathematicians discovered negative numbers while trying to formulate an algorithm for the solution of quadratic equations in all cases. Diophantus (3rd century) operated freely with negative numbers. They appear constantly in intermediate calculations in many of the problems in his Aritmetika. In the 16th century and 17th century, however, many European mathematicians did not appreciate negative numbers, and if such numbers occurred in their calculations they were referred to as false, or impossible. The situation changed in the 17th century, when a geometric interpretation of positive and negative numbers was discovered, as oppositely-directed segments.

The Babylonians had an algorithm for calculating the square root of a number to any accuracy. In the 5th century B.C., Greek mathematicians discovered that the side and diagonal of a square have no common measure. More generally, it turned out that two arbitrary, precisely-given segments are in general not commensurable. The Greek mathematicians did not start introducing new numbers. They avoided the above difficulty by creating a theory of ratios of segments that was independent of the concept of a number.

The development of algebra, and the techniques of approximate calculation, in connection with the demands of astronomy, led Arab mathematicians to extend the concept of a number. They began to consider ratios of arbitrary quantities, whether commensurable or not, as numbers. As Nasireddin (1201–1278) wrote: "Each of these ratios can be called by a number, precisely equal to the number one when one term of the ratio agrees with the other term" . European mathematics was developing in the same direction. Although G. Cardano in Practica Arithmeticae Generalis (1539) was still writing about irrational numbers as "surds" (from the Latin "surdus" , "deaf" ), and as "impossible to perceive or to imagine" , Stevin in his l'Arithmétique (1585) stated that "a number is that which is determined by an arbitrary quantity" and that "no numbers are absurd, irrational, irregular, inexpressible, or surd" . And finally I. Newton in his Arithmeticae Universalis (1707) gave the following definition: "By a number we understand not so much a multiple of a unit as an abstract quantity associated in a systematic way to some other quantity of the same kind that is taken as a unit. Numbers arise in three forms: integer, fraction and irrational. An integer is that which can be measured by unity; a fraction is a multiple of a portion of unity; an irrational number is incommensurable with unity" . Related to the fact that, for Newton, a quantity can be either positive or negative, the numbers in his arithmetic can also be either positive, in other words "greater than nothing" , or negative, in other words "smaller than nothing" .

Imaginary numbers first appeared in the work of Cardano, Ars Magma (The Great Art, 1545). In solving the system of equations $ x + y = 10 $, $ xy = 40 $, he found the solutions $ 5 + \sqrt - 15 $ and $ 5 - \sqrt - 15 $. Cardano called these solutions "purely negative" , and later "sophisticatedly negative" . The first to see a "real" use of introducing imaginary numbers was R. Bombelli. In his Algebra (1572) he showed that the real roots of the equation $ x ^ {3} = px + q $, $ p > 0 $, $ q > 0 $, in the case $ ( p / 3 ) ^ {3} > ( q /2 ) ^ {2} $, can be expressed in terms of radicals of imaginary numbers. Bombelli defined arithmetic operations on such quantities, and proceeded in this way to the creation of the theory of complex numbers (cf. Complex number). In the 17th century and 18th century, many mathematicians occupied themselves in investigating the properties of imaginary numbers and their applications. Thus, L. Euler extended, e.g., the notion of a logarithm to arbitrary complex numbers (1738), and obtained a new method of integration using complex variables (1776), while earlier (1736) A. de Moivre solved the problem of extracting roots of natural degrees of an arbitrary complex number. A successful application of the theory of complex numbers was the fundamental theorem of algebra: "Every polynomial of degree greater than zero and with real coefficients factorizes as a product of polynomials of degrees one and two with real coefficients" (Euler, J. d'Alembert, C.F. Gauss). Nevertheless, until a geometric interpretation of complex numbers as points in the plane was given (around the end of the 18th century and in the beginning of the 19th century), many mathematicians remained distrustful of imaginary numbers.

In the early 19th century, in connection with the great successes of mathematical analysis, many scholars realized the need for a foundation of the fundamentals of analysis — the theory of limits. Mathematicians were no longer satisfied with proofs based on intuition or on geometrical representation. There also remained the problem of constructing a unified theory of numbers. Natural numbers were often thought of as collections of unity, fractions as ratios of quantities, real numbers as lengths of line segments, and complex numbers as points in the plane. There was no complete agreement as to how arithmetic operations on numbers should be introduced. Finally, the question naturally arose of the further development of the concept of a number. In particular, was it possible to introduce new numbers, related to points in space?

The 19th century saw intensive research in all the above directions. A general principle was formulated according to which any generalization of the concept of number should proceed — the so-called principle of permanence of formal computing laws. According to this, when constructing a new number system extending a given system, the operations should generalize in such a way that the existing laws remain in force (G. Peacock, 1834; H. Hankel, 1867). In the second half of the 19th century, the theory of real numbers (cf. Real number) was constructed almost simultaneously by G. Cantor (1879), Ch. Meray (1869), R. Dedekind (1872), and K. Weierstrass (1872). Here Cantor and Meray used Cauchy sequences of rational numbers, Dedekind used cuts in the field of rational numbers, and Weierstrass used infinite decimal expansions.

As a result of the work of G. Peano (1891), Weierstrass (1878) and H. Grassmann (1861), an axiomatic theory of natural numbers was constructed. W. Hamilton (1837) constructed a theory of complex numbers from pairs of real numbers, Weierstrass constructed a theory of integers from pairs of natural numbers, and J. Tannery (1894) constructed a theory of rational numbers from pairs of integers.

Attempts to find generalizations of the concept of a complex number led to the theory of hypercomplex numbers (cf. Hypercomplex number). Historically, the first such number system was the quaternions (cf. Quaternion), discovered by Hamilton. After much investigation it became clear (Weierstrass, G. Frobenius, B. Pierce) that any extension of the concept of a complex number beyond the system of complex numbers itself is possible only at the cost of some of the usual properties of numbers.

Throughout the 19th century, and into the early 20th century, deep changes were taking place in mathematics. Conceptions about the objects and the aims of mathematics were changing. The axiomatic method of constructing mathematics on set-theoretic foundations was gradually taking shape. In this context, every mathematical theory is the study of some algebraic system. In other words, it is the study of a set with distinguished relations, in particular algebraic operations, satisfying some predetermined conditions, or axioms.

From this point of view every number system is an algebraic system. For the definition of concrete number systems it is convenient to use the notion of an "extension of an algebraic system" . This notion makes precise in a natural way the principle of permanence of formal computing laws, which was formulated above. An algebraic system $ A ^ \prime $ is called an extension of an algebraic system $ A $ if the underlying set of $ A $ is a subset of that of $ A ^ \prime $, if there also exists a bijection from the set of relations of the system $ A ^ \prime $ onto that of $ A $, and if for any collection of elements of the system $ A $ for which some relation of that system holds, the corresponding relation of the system $ A ^ \prime $ also holds.

For example, by the system of natural numbers one usually understands the algebraic system $ \mathbf N = \langle N , + , \cdot , 1 \rangle $ with two algebraic operations: addition $ (+) $ and multiplication $ ( \cdot ) $, and a distinguished element

(unity), satisfying the following axioms:

1) for each element $ a \in N $, $ a + 1 \neq a $;

2) associativity of addition: For any elements $ a , b , c $ in $ N $,

$$ ( a + b ) + c = a + ( b + c ) ; $$

3) commutativity of addition: For any elements $ a , b $ in $ N $,

$$ a + b = b + a ; $$

4) cancellation of addition: For any elements $ a , b , c $ in $ N $, the equation $ a + c = b + c $ entails the equation $ a = b $;

5) 1 is the neutral element for the multiplication; that is, for any $ a \in N $ one has $ a \cdot 1 = a $;

6) associativity of multiplication: For any elements $ a , b , c $ in $ N $,

$$ ( a \cdot b ) \cdot c = a \cdot ( b \cdot c ) ; $$

7) distributivity of multiplication over addition: For any elements $ a , b , c $ in $ N $,

$$ ( a + b ) \cdot c = a \cdot c + b \cdot c ; $$

8) the axiom of induction: If $ M $ is a subset of $ N $ containing 1 and the element $ a + 1 $ whenever it contains $ a $, then $ M = N $.

From $ 2 , 3 , 4 , 6 $, and $ 7 $ it follows that the system of natural numbers is a semi-ring under the operations $ (+) $ and $ ( \cdot ) $. Hence the system of natural numbers can be defined as the minimal semi-ring with a neutral element for multiplication and without a neutral element for the addition.

The system of integers $ \mathbf Z = \langle Z , + , \cdot , 0 , 1 \rangle $ is defined as the minimal ring that is an extension of the semi-ring $ \langle N , + , \cdot , 1 \rangle $ of natural numbers. The system of rational numbers $ \mathbf Q = \langle Q , + , \cdot , 0 , 1 \rangle $ is defined as the minimal field that is an extension of the ring $ \mathbf Z $. The system of complex numbers $ \mathbf C = \langle C , + , \cdot , 0 , 1 \rangle $ is defined as the minimal field that is an extension of the field $ \langle R , + , \cdot , 0 , 1 \rangle $ of real numbers containing an element $ i $ for which $ i ^ {2} + 1 = 0 $( cf. also Extension of a field).

By the system $ \mathbf R = \langle R , + , \cdot , 0 , 1 , > \rangle $ of real numbers one means the algebraic system with two binary operations $ (+) $ and $ ( \cdot ) $, two distinguished elements

and

and binary order relation $ ( > ) $. The axioms of $ \mathbf R $ are divided into the following groups:

1) the field axiom: The system $ \langle R , + , \cdot , 0 , 1 \rangle $ is a field;

2) the order axiom: The system $ \langle R , + , \cdot , 0 , 1 , > \rangle $ is a totally and strictly ordered field (cf. Ordered field);

3) the Archimedean axiom: For any elements $ a > 0 $, $ b > 0 $ in $ R $ there exists a natural number $ n $ such that

$$ n \cdot a = a + \dots + a > b \ \ ( n \textrm{ terms } a ) ; $$

4) the completeness axiom: Every Cauchy sequence $ \{ r _ {n} \} _ {n} $ of real numbers converges, i.e. if for any $ \epsilon > 0 $ there is a number $ n _ \epsilon $ such that, for any $ n > n _ \epsilon $ and $ m > n _ \epsilon $ the inequality $ | r _ {n} - r _ {m} | < \epsilon $ holds, then the sequence $ \{ r _ {n} \} _ {n} $ converges to some element of $ R $.

Briefly, the system of real numbers is a complete, totally, strictly-Archimedean ordered field. The system of real numbers can also be defined, in an equivalent way, as a continuous totally ordered field. In this case the Archimedean axiom and the completeness axiom are replaced by the continuity axiom:

If $ A $ and $ B $ are non-empty subsets of $ R $ such that, for any elements $ a \in A $, $ b \in B $, the inequality $ a < b $ holds, then there exists an element $ c \in R $ such that $ a \leq c \leq b $ for all $ a \in A $, $ b \in B $.

The construction of real numbers proposed by Cantor and Meray can be used to interpret the first system of axioms for the system of real numbers, while Dedekind's construction can be used to interpret the second system. Analogously, the constructions of Hamilton, Weierstrass and Tannery are interpretations of the systems of axioms for the complex, integer and rational numbers.

As interpretations of the system of natural numbers one may use the ordinal theory of natural numbers developed by Peano, and the cardinal theory of natural numbers of Cantor.

The problem of the foundations of the concept of a number, and more broadly, the foundations of mathematics, were clearly set out in the 19th century. This problem became a subject of mathematical logic, the intensive development of which continued into the 20th century.

Cf. also Arithmetic, formal; Constructive analysis; $ p $- adic number; Algebraic number; Transcendental number; Cardinal number; Ordinal number; Arithmetic.

References

[1] E.I. Berezkina, "Mathematics of Ancient China" , Moscow (1980) (In Russian)
[2] N. Bourbaki, "Eléments d'histoire des mathématiques" , Hermann (1960)
[3] A.A. Vaiman, "Sumero-Babylonian mathematics" , Moscow (1961) (In Russian)
[4] B.L. van der Waerden, "Ontwakende wetenschap" , Noordhoff (1957)
[5] G. Wieleitner, "Die Geschichte der Mathematik von Descartes bis zum Hälfte des 19. Jahrhunderts" , 2 , de Gruyter (1923)
[6] A.I. Volodarskii, "An outline of the history of Medieval Indian mathematics" , Moscow (1977) (In Russian)
[7] M.Ya. Vygodskii, "Arithmetic and algebra in the Ancient world" , Moscow (1967) (In Russian)
[8] I.Ya. Depman, "The history of arithmetic" , Moscow (1959) (In Russian)
[9] E. Kol'man, "History of mathematics in Antiquity" , Moscow (1961) (In Russian)
[10] F. Cajori, "A history of elementary mathematics" , Macmillan (1896)
[11] V.I. Nechaev, "Number systems" , Moscow (1975) (In Russian)
[12] K.A. Rybnikov, "A history of mathematics" , 1–2 , Moscow (1974) (In Russian)
[13] D.J. Struik, "A concise history of mathematics" , 1–2 , Dover, reprint (1948) (Translated from Dutch)
[14] S. Feferman, "The number system" , Addison-Wesley (1964)
[15] H.G. Zeuthen, "Geschichte der Mathematik in XVI und XVII Jahrhundert" , Teubner (1903)
[16] A.P. Yushkevich, "Geschichte der Mathematik im Mittelalter" , Teubner (1964) (Translated from Russian)
[17] , The history of mathematics from Antiquity to the beginning of the XIX-th century , 1–3 , Moscow (1970–1972) (In Russian)
[18] , Mathematics of the 19-th century. Mathematical logic. Algebra. Number theory. Probability theory , Moscow (1978) (In Russian)
[19] E. Landau, "Grundlagen der Analysis" , Akad. Verlagsgesellschaft (1930)

Comments

One version of Newton's definition of numbers in his Arithmeticae Universalis, as loosely translated above, can be found at the beginning of Caput III in the 1761 Amsterdam edition of this work.

References

[a1] H. Gericke, "Geschichte des Zahlbegriffs" , B.I. Wissenschaftsverlag Mannheim (1970)
[a2] C.J. Scriba, "The concept of number, a chapter in the history of mathematics, with applications of interest to teachers" , B.I. Wissenschaftsverlag Mannheim (1968)
How to Cite This Entry:
Number. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Number&oldid=48029
This article was adapted from an original article by V.I. Nechaev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article