Page:EB1911 - Volume 19.djvu/881

this by $\upsilon$ we have $[a,b]+\upsilon =[a+b,b]>[a,b],[a,b]\times \upsilon =[a,b]$, so that $\upsilon$ is the ground element of the new aggregate.

Again $2\upsilon =\upsilon +\upsilon =(2,1)$, and by induction $m\upsilon =[m,1]$. Moreover, if $a$ is a multiple of $b$, say $mb$, we may denote $[a,b]$ by $m\upsilon$.

11. The new aggregate of couples will be denoted by ${\mbox{R}}$. It differs from ${\mbox{N}}$ and ${\bar {\mbox{N}}}$ in one very important respect, namely, that when its elements are arranged in order of magnitude (that is to say, by the rule above given) they are not isolated from each other. In fact if $[a,b]=\alpha$, and $[a',b']=\alpha '$, the element $[a+a',b+b']$ lies between $\alpha$ and $\alpha '$; hence it follows that between any two different elements of ${\mbox{R}}$ we can find as many other elements as we please. This property is expressed by saying that ${\mbox{R}}$ is in close order when its elements are arranged in order of magnitude. Strange as it appears at first sight, ${\mbox{R}}$ is a countable aggregate; a theorem first proved by G. Cantor. To see this, observe that every element of R may be represented by a “reduced” couple $[a,b]$, in which $a,b$ are prime to each other. If $[a,b],[c,d]$ are any two reduced couples, we will agree that $[a,b]$ is anterior to $[c,d]$ if either (1) $a+b<c+d$, or (2) $a+b<c+d$ but $a<c$. This gives a new criterion by which all the elements of R can be arranged in the succession

$[1,1],[1,2],[2,1],[1,3],[3,1,],[1,4],[2,3],[3,2],[4.1]...$

which is similar to the natural scale.

The aggregate ${\mbox{R}}$, arranged in order of magnitude, agrees with ${\bar {\mbox{N}}}$ in having no least and no greatest element; for if $\alpha$ denotes any element $[a,b]$, then $[2a-1,2b]<\alpha$.

12. The division of one element of ${\mbox{R}}$ by another is always possible; for by definition

$[c,d]\times [ad,bc]=[acd,bcd]=[a,b]$,

and consequently $[a,b]\div [c,d]$ is always interpretable as $[ad,bc]$. As a particular case $[m,1]\div [n,1]=[m,n]$, so that every element of ${\mbox{R}}$ is expressible in one of the forms $m\upsilon ,m\upsilon /n\upsilon$. It is usual to omit the symbol $\upsilon$ altogether, and to represent the element $[m,n]$ by $m/n$, whether $m$ is a multiple of $n$ or not. Moreover, $m/1$ is written $m$, which may be done without confusion, because $m/1+n/1=(m+n)/1$, and $m/1\times n/1=mn/1$, by the rules given above.

13. Within the aggregate $\mathrm {R}$ subtraction is not always practicable; but this limitation may be removed by constructing an aggregate ${\bar {\mathrm {R} }}$ related to $\mathrm {R}$ in the same way as ${\bar {\mathrm {N} }}$ to $\mathrm {N}$. This may be done in two ways which lead to equivalent results. We may either form symbols of the type $(\alpha ,\beta )$ , where $\alpha ,\beta$ denote elements of $\mathrm {R}$, and apply the rules of § 7 ; or else form symbols of the type $[\alpha ,\beta ]$, where $\alpha ,\beta$ denote elements of ${\bar {\mathrm {N} }}$, and apply the rules of § 10. The final result is that ${\bar {\mathrm {R} }}$ contains a zero element, $0$, а ground element $\upsilon$, an element $\upsilon '$ such that $\upsilon +\upsilon '=0$, and a set of elements representable by the symbols ($m/n)\upsilon ,(m/n)\upsilon '$. In this notation the rules of operation are

${\frac {m}{n}}\upsilon +{\frac {m'}{n'}}\upsilon =\left({\frac {mn'+m'n}{nn'}}\right)\upsilon ,\quad {\frac {m}{n}}\upsilon '+{\frac {m'}{n'}}\upsilon '=\left({\frac {mn'+m'n}{nn'}}\right)\upsilon '$;
${\frac {m}{n}}\upsilon +{\frac {m'}{n'}}\upsilon '={\frac {mn'-m'n}{nn'}}\upsilon ,{\mbox{ or }}{\frac {m'n-mn'}{nn'}}\upsilon ',{\mbox{ as }}mn'>{\mbox{or}}<m'n;$;
${\frac {m}{n}}\upsilon \times {\frac {m'}{n'}}\upsilon ={\frac {mm'}{nn'}}\upsilon ={\frac {m}{n}}\upsilon '\times {\frac {m'}{n'}}\upsilon '\quad {\frac {m}{n}}\upsilon \times {\frac {m'}{n'}}\upsilon '={\frac {mm'}{nn'}}\upsilon '$
${\frac {m}{n}}\upsilon \div {\frac {m'}{n'}}\upsilon ={\frac {mn'}{m'n'}}\upsilon ={\frac {m}{n}}\upsilon '\div {\frac {m'}{n'}}\upsilon ',\quad {\frac {m}{n}}\upsilon \div {\frac {m'}{n'}}\upsilon '={\frac {mn'}{m'n'}}\upsilon '={\frac {m}{n}}\upsilon '\div {\frac {m'}{n'}}\upsilon ;$
$\alpha -\beta =\alpha +\beta ',{\mbox{ where }}\beta +\beta '=0$;
$\alpha +0=\alpha ,\ \alpha \times 0=0$.

Here $\alpha$ and $\beta$ denote any two elements of ${\bar {\mbox{R}}}$. If $\beta =(m/n)\upsilon$, then $\beta '=(m/n)\upsilon '$, and if $\beta =(m/n)\upsilon '$, then $\beta '=(m/n)\upsilon$. If $\beta =0$, then $\beta '=0$

14. When ${\bar {\mbox{R}}}$ is constructed by means of couples taken from ${\bar {\mbox{N}}}$, we must put $[m\iota ,n\iota ]=[m\iota ',n\iota ']=(m/n)\upsilon$, $[m\iota ,n\iota ']=[m\iota ',n\iota ]=(m/n)\upsilon '$, and $[0,\alpha ]=0$, if $\alpha$ is any element of ${\bar {\mbox{N}}}$ except $0$. The symbols $[0,0]$ and $[\alpha ,0]$ are inadmissible; the first because it satisfies the definition of equality (§ 10) with every symbol $[\alpha ,\beta ]$, and is therefore indeterminate; the second because, according to the rule of addition,

$[\alpha ,0]+[\iota ,\iota ]=[\alpha \iota ,0]=[\alpha ,0]$,

which is inconsistent with $\xi +\upsilon >\xi$

In the same way, if $0$ denotes the zero element of ${\bar {\mbox{R}}}$, and $\xi$ any other element, the symbol $0/0$ is indeterminate, and $\xi /0$ inadmissible, because, by the formal rules of operation, $\xi /0+\upsilon =\xi /0$, which conflicts with the definition of the ground element $\upsilon$. It is usual to write $+{\frac {m}{n}}$ (or simply ${\frac {m}{n}}$) for ${\frac {m}{n}}\upsilon$, and $-{\frac {m}{n}}$ for ${\frac {m}{n}}\upsilon '$. Each of these elements is said to have the absolute value $m/n$. The criterion for arranging the elements of ${\bar {\mbox{R}}}$ in order of magnitude is that, if $\xi ,\eta$ are any two elements of it, $\xi >\eta$ when $\xi -\eta$ is positive; that is to say, when it can be expressed in the form $(m/n)\upsilon$.

15. The aggregate ${\bar {\mbox{R}}}$ is very important, because it is the simplest type of a field of rationality, or corpus. An algebraic corpus is an aggregate, such that its elements are representable by symbols $\alpha ,\beta$, &c., which can be combined according to the laws of ordinary algebra; every algebraic expression obtained by combining a finite number of symbols, by means of a finite chain of rational operations, being capable of interpretation as representing a definite element of the aggregate, with the single exception that division by zero is inadmissible. Since, by the laws of algebra, $\alpha -\alpha =0$, and $\alpha /\alpha =1$, every algebraic field contains ${\bar {\mbox{R}}}$, or, more properly, an aggregate which is an image of ${\bar {\mbox{R}}}$.

16. Irrational Numbers.—Let $\alpha$ denote any element of ${\bar {\mbox{R}}}$; then $\alpha$ and all lesser elements form an aggregate, ${\mbox{A}}$ say; the remaining elements form another aggregate ${\mbox{A}}'$, which we shall call complementary to ${\mbox{A}}$, and we may write ${\bar {\mbox{R}}}={\mbox{A}}+{\mbox{A}}'$. Now the essence of this separation of ${\bar {\mbox{R}}}$ into the parts ${\mbox{A}}$ and ${\mbox{A}}'$ may be expressed without any reference to $\alpha$ as follows:—

I. The aggregates ${\mbox{A}},{\mbox{A}}'$ are complementary; that is, their elements, taken together, make up the whole of ${\bar {\mbox{R}}}$.

II. Every element of ${\mbox{A}}$ is less than every element of ${\mbox{A}}'$.

III. The aggregate ${\mbox{A}}'$ has no least element. (This condition is artificial, but saves a distinction of cases in what follows.)

Every separation ${\bar {\mbox{R}}}={\mbox{A}}+{\mbox{A}}'$ which satisfies these conditions is called a cut (or section), and will be denoted by $({\mbox{A}},{\mbox{A}}')$. We have seen that every rational number $\alpha$ can be associated with a cut. Conversely, every cut $({\mbox{A}},{\mbox{A}})$ in which ${\mbox{A}}$ has a last element $\alpha$ is perfectly definite, and specifies $\alpha$ without ambiguity. But there are other cuts in which ${\mbox{A}}$ has no last element. For instance, all the elements ($\alpha$) of ${\bar {\mbox{R}}}$ such that either $\alpha \leq 0$, or $\alpha ^{2}<2$, form an aggregate ${\mbox{A}}$, while those for which $\alpha >0$ and $\alpha ^{2}>2$, form the complementary aggregate ${\mbox{A}}'$. This separation is a cut in which ${\mbox{A}}$ has no last element; because if $p/q$ is any positive element of ${\mbox{A}}$, the element $(3p+4q)/(2p+3q)$ exceeds $p/q$, and also belongs to ${\mbox{A}}$. Every cut of this kind is said to define an irrational number. The justification of this is contained in the following propositions:—

(1) A cut is a definite concept, and the assemblage of cuts is an aggregate according to definition; the generic quality of the aggregate being the separation of ${\bar {\mbox{R}}}$ into two complementary parts, without altering the order of its elements.

(2) The aggregate of cuts may be arranged in order by the rule that $({\mbox{A}},{\mbox{A}}')<({\mbox{B}},{\mbox{B}}')$ if ${\mbox{A}}$ is a part of ${\mbox{B}}$.

(3) This criterion of arrangement preserves the order of magnitude of all rational numbers.

(4) Cuts may be combined according to the laws of algebra, and, when the cuts so combined are all rational, the results are in agreement with those derived from the rational theory.

As a partial illustration of proposition (4) let $({\mbox{A}},{\mbox{A}}'),({\mbox{B}},{\mbox{B}}')$ be any two cuts ; and let ${\mbox{C}}'$ be the aggregate whose elements are obtained by forming all the values of $\alpha '+\beta '$, where $\alpha '$ is any element of ${\mbox{A}}'$ and $\beta '$ is any element of ${\mbox{B}}'$. Then if ${\mbox{C}}$ is the complement of ${\mbox{C}}'$, it can be proved that $({\mbox{C}},{\mbox{C}}')$ is a cut; this is said to be the sum of $({\mbox{A}},{\mbox{A}}')$ and $({\mbox{B}},{\mbox{B}}')$. The difference, product and quotient of two cuts may be defined in a similar way. If ${\mathfrak {n}}$ denotes the irrational cut chosen above for purposes of illustration, we shall have ${\mathfrak {n}}^{2}=({\mbox{C}},{\mbox{C}}')$ where ${\mbox{C}}'$ comprises all the numbers $\alpha '\beta '$ obtained by multiplying any two elements, $\alpha ',\beta '$ which are rational and positive, and such that $\alpha '^{2}>2,\beta '^{2}>2$. Since $\alpha '^{2}>2\beta '^{2}>2>4$ it follows that $\alpha '\beta '$ is positive and greater than $2$; it can be proved conversely that every rational number which is greater than $2$ can be expressed in the form $\alpha '\beta '$. Hence ${\mathfrak {n}}^{2}=2,$ so that the cut ${\mathfrak {n}}$ actually gives a real arithmetical meaning to the positive root of the equation $x^{2}=2$; in other words we