I i CONTRIBUTIONS TO THE FOUNDING OF THE THEORY OF TRANSFINITE NUMBERS / Court Series of Classics of Science and Thilosophy, ,?(o. i TRIBUTIONS TO INDING OF THE THEORY OF Ik SFINITE NUMBERS BY GEORG CANTOR TRANSLATED, AND PROVIDED WITH AN INTRODUCTION AND NOTES, BY PHILIP E. B. JOURDAIN M. A. (Cantab.) CHICAGO AND LONDON PEN COURT PUBLISHING COMPANY 1915 G2 Copyright in Great Britain under the Act of igii PREFACE This volume contains a translation of the two very iniportant memoirs of Georg Cantor on transfinite numbers which appeared in the Mathematische Annalen for 1895 ^^'^^ 1897* under the title: ''Beitrage zur Begriindung der transfmiten Mengen- lehre." It seems to me that, since these memoirs are chiefly occupied with the investigation of the various transfinite cardinal and ordinal numbers and not with investigations belonging to what is usually described as *'the theory of aggregates" or "the theory of sets " {Mengenlehre^ theorie des ensembles), — the elements of the sets being real or complex numbers which are imaged as geometrical " points " in space of one or more dimensions, — the title given to them in this translation is more suitable. These memoirs are the final and logically purified statement of many of the most important results of the long series of memoirs begun by Cantor in 1870. It is, I think, necessary, if we are to appreciate the full import of Cantor's work on transfinite numbers, ■' -> ^ave thought through and to bear in mind Cantor's ' researches on the theory of point-aggregates. s in these researches that the need for the ^ol, xlvi, 1895, pp. 481-512 ; vol. xlix, 1897, pp. 207-246. 334640 vi PREFACE transfinite numbers first showed itself, and it is only by the study of these researches that the majority of us can annihilate the feeling of arbitrariness and even insecurity about the introduction of these numbers. Furthermore, it is also necessary to trace backwards, especially through Weierstrass, the course of those researches which led to Cantor's work. I have, then, prefixed an Introduction tracing the growth of parts of the theory of functions during the nineteenth century, and dealing, in some detail, with the fundamental work of Weierstrass and others. and with the work of Cantor from 1870 to 1895. Some notes at the end contain a short account of the developments of the theory of transfinite numbers since 1897. I^ these notes and in the Introduction I have been greatly helped by the information that Professor Cantor gave me in the course of a long correspondence on the theory of aggregates which we carried on many years ago. The philosophical revolution brought at out by Cantor's work was even greater, perhaps, than the mathematical one. With few exceptions, mathe- maticians joyfully accepted, built upon, scrutinized, and perfected the foundations of Cantor's u idying theory; but very many philosophers combaied it. This seems to have been because very few under- stood it. I hope that this book may help to make the subject better known to both philosophcs and mathematicians. The three men whose influence on moder;i pure mathematics — and indirectly modern logic and the PREFACE vii philosophy which abuts on it — is most marked are Karl Weierstrass, Richard Dedekind, and Georg Cantor. A great part of Dedekind's work has de- veloped along a direction parallel to the work of Cantor, and it is instructive to compare with Cantor's work Dedekind's Stetigkeit unci irrationale Zahlen ar^d Was sind und was sollen die Zahlen P, of which excellent English translations have been issued by the publishers of the present book. * There is a French translation f of these memoirs of Cantor's, but there is no English translation of them. For kind permission to make the translation, 1 am indebted to Messrs B. G. Teubner of Leipzig and Berlin, the publishers of the Matheinatische Annalen. PHILIP E. B. JOURDALN. * Essays on the Theory of Numbers (I, Continuity and Irrational Numbers; II, The Nature arid Meaning- of Numbers), translated by W. W. Reman, Chicago, 190T. I shall refer to this as Essays on Number. t By F. Marotte, Sur les fondements de la theorie des ensembles trans/mis, Paris, 1899. TABLE OF CONTENTS I'AGE Preface v Table of Contents ix Introduction i Contributions to the Founding of the Theory OF Transftnite Numbers — Article I. (1895) 85 Article II. (1897) -137 Notes 202 Index 209 CONTRIBUTIONS TO THE FOUNDING OF THE THEORY OF TRANSFINITE NUMBERS INTRODUCTION I If it is safe to trace back to any single man the origin of those conceptions with which pure mathe- matical analysis has been chiefly occupied during the nineteenth century and up to the present time, we must, I think, trace it back to Jean Baptiste Joseph Fourier (1768- 1830). Fourier was first and foremost a physicist, and he expressed very defin- itely his view that mathematics only justifies itself .by the help it gives towards the solution of physical problems, and yet the light that was thrown on the general conception of a function and its ''con- tinuity," of the ''convergence" of infinite series, and of an integral, first began to shine as a result of Fourier's original and bold treatment of the problems of the conduction of heat. This it was that gave the impetus to the formation and develop- ment of the theories of functions. The broad- minded physicist will approve of this refining 1 INTRODUCTION development of the mathematical methods which arise from physical conceptions when he reflects that mathematics is a wonderfully powerful and economically contrived means of dealing logically and conveniently with an immense complex of data, and that we cannot be sure of the logical soundness of our methods and results until we make every- thing about them quite definite. The pure mathe- matician knows that pure mathematics has an end in itself which is more allied with philosophy. But we have not to justify pure mathematics here : we have only to point out its origin in physical con- ceptions. But we have also pointed out that physics can justify even the most modern develop- ments of pure mathematics. II During the nineteenth century, the two great branches of the theory of functions developed and gradually separated. The rigorous foundation of the results of P^ourier on trigonometrical series, which was given by Dirichlet, brought forward as subjects of investigation the general conception of a (one-valued) function of a real variable and the (in particular, trigonometrical) development of functions. On th^ other hand, Cauchy was gradually led to recognize the importance of what was subsequently seen to be the more special conception of function of a complex variable ; and, to a great extent independ- ently of Cauchy, Weierstrass built up his theory of analytic functions of complex variables. INTRODUCTION 3 These tendencies of both Cauchy and Dirichlet combined to influence Riemann ; his work on the theory of functions of a conaplex variable carried on and greatly developed the work of Cauchy, while the intention of his '' Habilitationsschrift " of 1854 was to generalize as far as possible Dirichlet's partial solution of the problem of the development of a function of a real variable in a trigonometrical series. Both these sides of Riemann's activity left a deep impression on Hankel. In a memoir of 1870, Hankel attempted to exhibit the theory of functions of a real variable as leading, of necessity, to the restrictions and extensions from which we start in Riemann's theory of functions of a complex variable ; and yet Hankel's researches entitle him to be called the founder of the independent theory of functions of a real variable. At about the same time, Heine initiated, under the direct influence of Riemann's '* Habilitationsschrift," a new series of investigations on trigonometrical series. Finally, soon after this, we find Georg Cantor both studying Hankel's me.moir and applying to theorems on the uniqueness of trigonometrical de- velopments those conceptions of his on irrational numbers and the 'derivatives" of point-aggregates or number-aggregates which developed from the rigorous treatment of such fundamental questions given by Weierstrass at Berlin in the introduction to his lectures on analytic functions. The theory of point-aggregates soon became an independent theory 4 INTRODUCTION of great importance, and finally, in 1882, Cantor's ^'transfinite numbers" were defined independently of the aggregates in connexion with which they first appeared in mathematics. Ill The investigations * of the eighteenth century on the problem of vibrating cords led to a controversy for the following reasons. D'Alembert maintained that the arbitrary functions in his general integral of the partial differential equation to which this problem led were restricted to have certain pro- perties which assimilate them to the analytically representable functions then known, and which would prevent their course being completely arbitrary at every point. Euler, on the other hand, argued for the admission of certain of these "arbitrary" functions into analysis. Then Daniel BernouUi produced a solution in the form of an infnite trigonometrical series, and claimed, on certain physical grounds, that this solution was as general as d'Alembert's. As Euler pointed out, this was so only if any arbitrary f function ^(;ir) were develops able in a series of the form * Cf. the references given in my papers in the Archiv der Matkematfk liud Physik, 3rd series, vol. x, 1906, pp. 255-256, and his, vol. i, 1914, pp. 670-677. Much of this Introduction is taken frorr. my account of "The Development of the Theory of Transfinite Number-i" in the above-mentioned Archiv, 3rd series, vol, x, pp. 254-2S1 ; vol. xiv, 1909, pp. 289-311; vol. xvi, 1910, pp. 21-43; vol. j tii, 1913, pp. 1-21. t The arbitrary functions chiefly considered in this connexio i by Euler were what he called "discontinuous" functions. This ^/ord does not mean what we now mean (after Cauchy) by it. Cj\ my paper in his, vol. i, 191 4, pp. 661-703. INTRODUCTION vkx That this was, indeed, the case, even when 0(;f) is not necessarily developable in a power-series, was first shown by Fourier, who was led to study the same mathematical problem as the above one b}' his researches, the first of which were communicated to the French Academy in 1807, on the conduction of heat. To Fourier is due also the determination of the coefficients in trigonometric series, 0(;ir) = J/^o + ^i cos^'H-<^2 ^os 2;f+ . . . -\-a^?A\-\ x-\-a^^^\\\2x-\- . . ., in the form d^=- I (l>{a) cos vada, «,. = — I 0(a) sin vada. it] ttJ -n -7T This determination was probably independent of Euler's prior determination and Lagrange's analog- ous determination of the coefficients of a Jinzte trigonometrical series. Fourier also gave a geo- metrical proof of the convergence of his series, which, though not formally exact, contained the germ of Dirichlet's proof. To Peter Gustav Lejeune-Dirichlet (1805-1859) is due the first exact treatment of Fourier's series.* He expressed the sum of the first n terms of the series by a definite integral, and proved that the "'• "Sur la convergence des series trigonometriques qui servent a representer une fonction arbitraire entre des liniites donnees,"y ig INTRODUCTION rational numbers can only be defined when we have already defined the real numbers, of which b is one. " I believe," said Cantor,* a propos of Weierstrass's theory, "that this logical error, which was first avoided by Weierstrass, escaped notice almost universally in earlier times, and was not noticed on the ground that it is one of the rare cases in which actual errors can lead to none of the more important mistakes in calculation." Thus, we must bear in mind that an arithmetical theory of irrationals has to define irrational numbers not as "limits" (whose existence is not always beyond question) of certain infinite processes, but in a manner prior to any possible discussion of the question in what cases these processes define limits at all. With Weierstrass, a number was said to be "determined" if we know of what elements it is composed and how many times each element occurs in it. Considering numbers formed with the principal unit and an infinity of its aHquot parts, Weierstrass called any aggregate whose elements and the number (finite) of times each element occurs in it f are known a (determined) " numerical quantity " {Zahlengrosse). An aggregate consisting of a finite number of elements was regarded as equal to the sum of its elements, and two aggregates of a finite number of elements were regarded as equal when the respective sums of their elements are equal. * Math. Ann., vol. xxi, 1883, p. 566. t It is not implied that the given elements are finite in number. INTRODUCTION 19 A rational number r was said to be contained in a numerical quantity a when we can separate from a a partial aggregate equal to r. A numerical quantity a was said to be ''finite" if we could assign a rational number R such that every rational number contained in a is smaller than R. Two numerical quantities <:^, b were said to be "equal," when every rational number contained in a is con- tained in b^ and vice versa. When a and b are not equal, there is at least one rational number which is either contained in a without being contained in ^, or vice versa : in the first case, a was said to be ' ' greater than " b ; in the second, a was said to be ' ' less than " b. VVeierstrass called the numerical quantity c de- fined by {i.e. identical with) the aggregate whose elements are those which appear in a or ^, each of these elements being taken a number of times equal to the number of times in which it occurs in a increased by the number of times in which it occurs in b^ the '' stmi'' of a and b. The ''product'" of a and b was defined to be the numerical quantity defined by the aggregate whose elements are ob- tained by forming in all possible manners the product of each element of a and each element of b. In the same way was defined the product of any finite number of numerical quantities. The "sum" of an infinite number of numerical quantities a, ^, . . . was then defined to be the aggregate {s) whose elements occur in one (at least) of ^, ^, . . ., each of these elements e being taken 20 INTRODUCTION a number of times (;?) equal to the number of times that it occurs in a, increased by the number of times that it occurs in b^ and so on. In order that s be finite and determined, it is necessary that each of the elements which occurs in it occurs a finite number of times, and it is necessary and sufficient that we can assign a number N such that the sum of any finite number of the quantities a, b^ . . . \s less than N. , Such is the principal point of Weierstrass's theory y/of real numbers. It should be noticed that, with Weierstrass, the new numbers were aggregates of the numbers previously defined ; and that this view, which appears from time to time in the better text- books, has the important advantage which was first sufficiently emphasized by Russell. This advantage is that the existence of limits can be proved in such a theory. That is to say, it can be proved by actual construction that there is a number which is the limit of a certain series fulfilling the condition of ' ' finiteness "or " convergency. " When real numbers are introduced either without proper defini- tions, or as "creations of our minds," or, what is far worse, as "signs,"* this existence cannot be proved. If we consider an infinite aggregate of real numbers, or comparing these numbers for the sake of picturesqueness with the points of a straight Hne, an infinite "point-aggregate," we have the theorem : There is, in this domain, at least one point such that there is an infinity of points of the aggre- * C/; Juurdain, Math. Gazette, ]iin. 1908, vol. iv, pp. 201-209. INTRODUCTION 21 gate in any, arbitrarily small, neighbourhood of it. Weierstrass's proof was, as we have mentioned, by the process, named after Bolzano and him, of successively halving any one of the intervals which contains an infinity of points. This process defines a certain numerical magnitude, the ''point of condensation " {Hdufungss telle) in question. An analogfous theorem holds for the two-dimensional region of complex numbers. Of real numerical magnitudes x^ all of which are less than some finite number, there is an ''upper limit," which is defined as : A numerical magnitude G which is not surpassed in magnitude by any x and is such that either certain x's are equal to G or certain x's lie within the arbitrarily small interval (G, . . . , G — (5), the end G being excluded. Ana- logously for the " lower limit "^. It must be noticed that, if we have ^ finite aggregate of x's, one of these is the upper limit, and, if the aggregate is infinite, one of them may be the upper hmit. In this case it need not also, but of course may, be a point of condensation. If none of them is the upper limit, this limit (whose existence is proved similarly to the existence of a point of condensation, but is, in addition, unique] is a point of condensation. Thus, in the above explanation of the term "upper limit," we can replace the words "either certain ,r's " to "being excluded" by " certain ;r's lie in the arbitrary small interval (G, . . ., G — S), the end G being i^icluded.'' The theory of the upper and lower limit of a 22 INTRODUCTION (general or '' Dirichlet's ") real one-valued function of a real variable was also developed and emphasized by Weierstrass, and especially the theorem : If G is the upper limit of those values o{ y=f{x)'^ which belong to the values of x lying inside the interval from a to h, there is, in this interval, at least one point ;i = X such that the upper hmit of the j's which belong to the ;r's in an arbitrarily small neighbourhood of X is G ; and analogously for the lower limit. If the j^-value corresponding to ;r=X is G, the upper limit is called the "maximum" of the j^'s and, if j?^=/"(-^) is a continuous function of x^ the upper limit is a maximum ; in other words, a con- tinuo2is function attains its upper and lower limits. That a continuous function also takes at least once every value between these limits was proved by Bolzano (1817) and Cauchy (1821), but the Weier- strassian theory of real numbers first made these proofs rigorous, f It is of the utmost importance to realize that, whereas until Weierstrass's time such subjects as the theory of points of condensation of an infinite aggregate and the theory of irrational numbers, on which the founding of the theory of functions * Even \i y is finite for every single x of the interval a^x^b, all these jj/'s need not be, in absolute amount, less than some finite number (for example, f{x)=\\x for jf>0, /(o)=o, in the interval o^ ^^i), but if they are (as in the case of the sum of a uniformly convergent series), these j/'s have a finite upper and lower limit in the sense defined. t There is another conception (due to Cauchy and P. du Bois- Reymond), allied to that of upper and lower limit. _ With every infinite aggregate, there are (attained) upper and lower points of condensation, which we may call by the Latin name " Limites" INTRODUCTION 23 depends, were hardly ever investigated, and never with such important results, Weierstrass carried research into the principles of arithmetic farther than it had been carried before. But we must also realize that there were questions, such as the nature < of whole number itself, to which he made no valuable contributions. These questions, though logically the first in arithmetic, were, of course, historically the last to be dealt with. Before this could happen, arithmetic had to receive a development, by means ^y of Cantor's discovery of transfinite numbers, into a ^ theory of cardinal and ordinal numbers, both finite and transfinite, and logic had to be sharpened, as it was by Dedekind, Frege, Peano and Russell — to a great extent owing to the needs which this theory made evident. y V Georg Ferdinand Ludwig Philipp Cantor was born at St Petersburg on 3rd March 1845, ^"d lived there until 1856; from 1856 to 1863 he lived in South Germany (Wiesbaden, Frankfurt a. M., and Darmstadt); and, from autumn 1863 to Easter 1869, in Berlin. He became Privatdocent at Halle a. S. in 1869, extraordinary Professor in 1872, and ordinary Professor in 1879.* When a student at Berlin, Cantor came under the influence of Weier- strass's teaching, and one of his first papers on * Those memoirs of Cantor's that will be considered here more particularly, and which constitute by far the greater part of his writings, are contained in : Journ. fiir Alath.^ vols. Ixxvii and Ixxxiv, 1874 and 1878; Math. Ann., vol. iv, 1871, vol. v, 1872, vol. xv, 1879, vol. xvii, j88o, vol. XX, 1882, vol, xxi, 1883, 24 INTRODUCTION mathematics was partly occupied with a theory of irrational numbers, in which a sequence of numbers satisfying Cauchy's condition of convergence was I used instead of Weierstrass's complex of an infinity of elements satisfying a condition which, though equivalent to the above condition, is less convenient for purposes of calculation. This theory was exposed in the course of Cantor's researches on trigonometrical series. One of the problems of the modern theory of trigonometrical series was to establish the uniqueness of a trigono- metrical development. Cantor's investigations re- lated to the proof of this uniqueness for the most general trigonometrical series, that is to say, those trigonometrical series whose coefficients are not necessarily supposed to have the (Fourier's) integral form. In a paper of 1870, Cantor proved the theorem that, if a^, a^, . . ., a^, . . . and b^, b., . . ., b^, . . . are two infinite series such that the limit of a^ sin vx-{-b^, cos vx, for every value of x which lies in a given interval {a^i), whatever the positive integer m is.* This property Cantor expressed by the words, ''the series (i) has a determined limit ^," and remarked particularly that these words, at that point, only served to enunciate the above property of the series, and, just as we connect (i) with a special sign d, we must also attach different signs l?\ b'\ . . ., to different series of the same species. However, because of the fact that the "limit" may be supposed to be previously defined as : the number (if such there be) d such that \b — a,\ becomes in- finitely small as v increases, it appears better to avoid the word and say, with Heine, in his ex- position of Cantor's theory, the series (a^) is a '' number-series," or, as Cantor afterwards expressed it, (a^) is a "fundamental series." * It may be proved that this condition (2) is necessary and sufficient that the sum to infinity of the series corresponding to the sequence (l) should be a " finite numerical mai^nitude " in Weierstrass's sense ; and consequently Cantor's theory of irrational numbers has been described as a happy modification of Weierstrass's, INTRODUCTION 27 Let a second series (i') a\, a\, . . ., a\,, . . . have a determined limit d\ we find that (i) and (i') have always one of the three relations, which exclude one another: (a) a„ — a'„ becomes infinitely small as 7i increases ; (d) from a certain n on, it remains always greater than e, where e is positive and rational ; (c) from a certain n on, it remains always less than —e. In these cases we say, respectively, /; = ^', /;>//, or /?a, or l? . . . are members of (5) whose indices increase constantly ; and similarly for the numbers p\ ^'\ ... of decreasing magnitude. Each of the intervals (a . . . /3), (a . . . /3'), {a" . . . j3"), . . . includes all those which follow. We can then only conceive two cases : either {a) the number of intervals is finite ; — let the last be {a^"^ . . . /S^"^) ; then, since there is in this interval at most one number of (5), we can take in it a number rj which does not belong to (5) ; — or (d) there are infinitely many intervals. Then, since a, a, a\ . . . increase constantly without increasing ad infinituvi^ they have a certain limit a^°°\ and similarly /3, /3', /3'', . . . decrease constantly towards a certain limit Z?^"'). If a^°°) = /3(°°) (which always happens when applying this method to the system (o))), we easily see that the number ri = a^"'^ cannot be in (5).* If, on the contrary, a^°'^<^''~\ every number tj in •■ For if it were, we would have y} = up, p being a determined index ; but that is not possible, for up is not in (a^^^ . . . /S^-^^), whilst tj, by definition, is. v-^ 40 INTRODUCTION the interval {a^"^^ . . . ^(">) or equal to one of its ends fulfils the condition of not belonging to (5). The property of the totality of real algebraic numbers is that the system (co) can be put in a one- to-one or (i, i)-correspondence with the system (i/), and hence results a new proof of Liouville's theorem that, in every interval of the real numbers, there is an infinity of transcendental (non-algebraic) numbers. This conception of (i, i)-correspondence between aggregates was the fundamental idea in a memoir of 1877, published in 1878, in which some import- ant theorems of this kind of relation between various aggregates were given and suggestions made of a classification of aggregates on this basis. If two well-defined aggregates can be put into such a (i, i)-correspondence (that is to say, if, element to element, they can be made to correspond completely and uniquely), they are said to be of the same ' ' power " {Mdchtigkeit *) or to be ' ' equivalent " {aequivalent). When an aggregate is finite, the notion of power corresponds to that of number {Anzahl), for two such aggregates have the same power when, and only when, the number of their elements is the same. A part {Bestandteil ; any other aggregate whose elements are also elements of the original one) of a finite aggregate has always a power less than that * The word "power" was borrowed from Steiner, who used it in a quite special, but allied, sense, to express that two figures can be put, element for element, in projective correspondence. INTRODUCTION 41 of the aggregate itself, but this is not always the case with infinite aggregates,* — for example, the series of positive integers is easily seen to have the same power as that part of it consisting of the even integers, — and hence, from the circumstance that an infinite aggregate M is part of N (or is equiva- lent to a part of N), we can only conclude that the power of M is less than that of N if we know that these powers are unequal. The series of positive integers has, as is easy to show, the smallest infinite power, but the class of aggregates with this power is extraordinarily rich and extensive, comprising, for example, Dedekind's '* finite corpora," Cantor's ''systems of points of the j/th species," all ;^-ple series, and the totality of real (and also complex) algebraic numbers. Further, we can easily prove that, if M is an aggregate of this first infinite power, each infinite part of M has the same power as M, and if M", M", ... is a finite or simply infinite series of aggregates of the first power, the aggregate resulting from the union of these aggregates has also the first power. By the preceding memoir, continuous aggregates have not the first power, but a greater one ; and Cantor proceeded to prove that the analogue, with continua, of a multiple series — a continuum of many dimensions — has the same power as a continuum of " This curious property of infinite aggregates was first noticed by Bernard Bolzano, obscurely stated (" . . . two unequal lengths [may be said to] contain the same number of points") in a paper of 1864 in which Augustus De Morgan argued for a proper infinite, and was used as a definition of "infinite" by Dedekind (independently of Bolzano and Cantor) in 1887. 42 INTRODUCTION one dimension. Thus it appeared that the assump- tion of Riemann, Helmholtz, and others that the essential characteristic of an ;2-ply extended con- tinuous manifold is that its elements depend on n real, continuous, independent variables (co-ordin- ates), in such a way that to each element of the manifold belongs a definite system of values x^^ x^, . . ., ;ir„, and reciprocally to each admissible system x^^ x^, . . ., x„ belongs a certain element of the manifold, tacitly supposes that the correspondence of the elements and systems of values is a continuous one. * If we let this supposition drop,t we can prove that there is a (i, i)-correspondence between the elements of the linear continuum and those of a n-p\y extended continuum. This evidently follows from the proof of the theorem: Let x^^, x^, . . ., x,, be real, independent variables, each of which can take any value o •••) a2, I'j •••))•• •) ^/; = (a„, 1, a„, 2> . . •> a«, V, . . •) 5 these n irrational numbers uniquely determine a (/^+ i)th irrational number in (o . . . i), ^=(A, ft, . . . ft, . . .), if the relation between a and /3 : (6) ft.-i)«+A^ = a^,v* (m= I, 2, . . ., n\ 1^=1, 2, . . .CO) is established. Inversely, such a ^t' determines uniquely the series of fts and, by (6), the series of the a's, and hence, again of the ^'s. We have only to show, now, that there can exist a (i, i)-corre- spondence between the irrational numbers o/s, so that and we can also write the last formula : Now, if we write a Oo d for ' ' the aggregate of the a's is equivalent to that of the ^'s," and notice that aooa, a c\j 3 and d cx) c imply a c\) c, and that two aggre- gates of equivalent aggregates of elements, where the elements of each latter aggregate have, two by two, no common element, are equivalent, we remark that and X cso e. A generalization of the above theorem to the case of x-^, x.^, . . ., x^, . . . being a simply infinite series (and thus that the continuum may be of an infinity of dimensions while remaining of the same power as the linear continuum) results from the observa- tion that, between the double series {a^^ „}, where ^;a = («^t, 1 , tt/x, 2, • . . , a/x, «" • • • ) ^^^' M = I J 2, ... CO belongs a determined positive integral value of N, and to each such N belong a finite number of fractions />/(/. Imagine now the numbers //(^ arranged so that those which belong to smaller values of N precede those which belong to larger ones, and those for which N has the same value are arranged the greater after the smaller. * This notation means : the aggregate of the a's is the union of those of the ^'s, 7;»''s, and (pyS ; and analogously for that of the ^'s. INTRODUCTION 45 and the simple series {/3;y^}, a (i, i)-correspondence can be established * by putting \=fj.-^{fj,^V- l)(/x + j/-2)/2, and the function on the right has the remarkable property of representing all the positive integers, and each of them once only, when /x and v inde- pendently take all positive integer values. ''And now that we have proved," concluded Cantor, "for a very rich and extensive field of manifolds, the property of being capable of corre- spondence with the points of a continuous straight line or with a part of it (a manifold of points con- tained in it), the question arises . . . : Into how many and what classes (if we say that manifolds of the same or different power are grouped in the same or different classes respectively) do linear manifolds fall ? By a process of induction, into the further description of which we will not enter here, we are led to the theorem that the number of classes is two : the one containing all manifolds susceptible of being brought to the form : functio ipsius v, where u can receive all positive integral values ; and the other containing all manifolds reducible to the ioxxn functio ipsius ,r, where x can take all the real values in the interval (o . . . i). " In the paper of 1879 already referred to, Cantor * Enumerate the double series |a^^ ^,\ diagonally, that is to say, in the order The term of this series whose index is (/i, v) is the Ath, where A=I+2 + 3+ . . .+()U + l/-2) + /i = (/A + l'-2)(;i + |/-l)/2 + /x. 46 INTRODUCTION considered the classification of aggregates * both according to the properties of their derivatives and according to their powers. After some repetitions, a rather simpler proof of the theorem that the con- tinuum is not of the first power was given. But, though no essentially new results on power were published until late in 1882, we must refer to the discussion (1882) of what is meant by a "well- defined " aggregate. The conception of power f which contains, as a particular case, the notion of whole number may, said Cantor, be considered as an attribute of every "well-defined" aggregate, whatever conceivable nature its elements may have. ' ' An aggregate of elements belonging to any sphere of thought is said to be ' well defined ' when, in consequence of its definition and of the logical principle of the excluded middle, it must be considered as intrinsically deter- mined whether any object belonging to this sphere belongs to the aggregate or not, and, secondly, whether two objects belonging to the aggregate are equal or not, in spite of formal differences in the manner in which they are given. In fact, we cannot, in general, effect in a sure and precise manner these determinations with the means at our disposal ; but here it is only a question of intrinsic determination, from which an actual or extrinsic " Linear aggregates alone were considered, since all the powers of the continua of various dimensions are to be found in them. t "That foundation of the theory of magnitudes which we may consider to be the most general genuine moment in the case of manifolds." INTRODUCTION 47 determination is to be developed by perfecting the auxiliary means." Thus, we can, without any doubt, conceive it to be intrinsically determined whether a number chosen at will is algebraic or not ; and yet it was only proved in 1874 that e is transcendental, and the problem with regard to tt was unsolved when Cantor wrote in 1882.* In this paper was first used the word ** enumer- able " to describe an aggregate which could be put in a (i, i)-correspondence with the aggregate of the positive integers and is consequently of the first (infinite) power ; and here also was the important theorem : In a ;/-dimensional space (A) are defined an infinity of (arbitrarily small) continua of 11 dimensions f {a) separated from one another and most meeting at their boundaries ; the aggregate of the rt:'s is enumerable. For refer A by means of reciprocal radii vectores to an ;^-ply extended figure B within a («+ i)- dimensional infinite space /\', and let the points of B have the constant distance i from a fixed point of A'. To every a corresponds a /^-dimensional part <^ of B with a definite content, and the ^'s are enumerable, for the number of b's greater in con- tent than an arbitrarily small number y is finite, for their sum is less than 2'V + (the content of B). § * Lindemann afterwards proved that it is transcendental. In this passage, Cantor seemed to agree with Dedekind. t With every a the points of its boundary are considered as belong- ing to it. :;: In the French translation (1883) of Cantor's memoir, this num])er was corrected to Q w (m I ly g /F ^fyr-MH/g). § When n=i, the theorem is that every aggregate of intervals on a 2^ -i. cf,M,.tt..A..n t^Zl ^.fT'^P, r(^-r) 48 INTRODUCTION Finally, Cantor made the interesting remark that, if we remove from an ;^-dimensional continuum any enumerable and everywhere-dense aggregate, the remainder (21), if ^>2, does not cease to be con- tinuously connected, in the sense that any two points N, N' of 51 can be connected by a continuous line composed of circular arcs all of whose points belong to 51. VI An application of Cantor's conception of enumera- bility was given by a simpler method of condensation of singularities, the construction of functions having " a given singularity, such as a discontinuity, at an enumerable and everywhere-dense aggregate in a given real interval. This was suggested by Weier- strass, and published by Cantor, with Weierstrass's examples, in 1882.* The method may be thus indicated : Let ^p{x) be a given function with the single singularity x—O, and (w^,) any enumerable aggregate ; put 00 v = l where the ^^'s are so chosen that the series and those derived from it in the particular cases treated converge unconditionally and uniformly. Then (finite or infinite) straight line which at most meet at their ends is enumerable. The end-points are consequently enumerable, but not always the derivative of this aggregate of end-points. * Inaletter tome of 29th March 1905, Professor Cantor said : "Atthe conception of enumerability, of which he [Weierstrass] heard from me at Berlin in the Christmas holidays of 1873, l^e was at first quite amazed, but one or two days passed over, [and] it became his own and helped him to an unexpected development of his wonderful theory of functions." INTRODUCTION 49 f{x) has at all points A' = a)^ the same kind of singu- larity as (^{x) at;ir=o, and at other points behaves, in general, regularly. The singularity at x = {^^ is due exclusively to the one term of the series in which j/ = /u ; the aggregate (co^) may be any enumer- able aggregate and not only, as in Hankel's method, the aggregate of the rational numbers, and the superfluous and complicating oscillations produced by the' occurrence of the sine in Hankel's functions is avoided. The fourth (1882) of Cantor's papers " (Jeber unendliche, lineare Punktmannichfaltigkeiten " con- tained six theorems on enumerable point-aggregatfes. H^an aggregate O (in a continuum of n dimensions) is such tha't none of its points is a limit-point,* it is said to be " isolated." Then, round every point of O a sphere can be drawn which contains no other point of Q, and hence, by the above theorem on the enumerability of the' aggregate of these spheres, is enumerable. Secondly, if P' is enumerable, P is. P'or let ^(P, P')^R, P-R^O;t then O is isolated and therefore enumerable, and R is also enumerable, since R is contained in P' ; so P is enumerable. The next three theorems state that, if P<''\ or * Cantor expressed this X'(Q> Q') — O- Q- Dedekind's Essays on Nuf/iber, p. 48. t If an aggregate B is contained in A, and E is the aggregate left when B is taken from A, we write E = A-B. 50 INTRODUCTION P^«>, where a is any one of the ' ' definitely defined symbols of infinity {bestimmt definirte Unendlich- keitssymbole),'' is enumerable, then P is. If the aggregates 1\, V^, . . . have, two by two, no common point, for the aggregate P formed by the union of these (the '' Vereinigungsmenge'') Cantor now used the notation P^P, + P2+. .. Now, we have the following identity P'^(P'-P") + (P"-P"0+ . • • +(P(''-i)-P(''))+P^^^ and thus, since p/_p// Y" —V" . . p(''-i) — p('') are all isolated and therefore enumerable, if P^'^^ is enumerable, then P' is also. Now, suppose that P(~> exists ; then, if any par- ticular point of P' does not belong to P^°°), there is a first one among the derivatives of finite order, P^"^), to which it does not belong, and consequently P^^-^) contains it as an isolated point. Thus we can write P'^(P^_p-) + (p-_p-)+ . . . +(p(-i)-PM) + . . . +P(~); and consequently, since an enumerable aggregate of enumerable aggregates is an enumerable aggregate of the elements of the latter, and P^"^^ is enumerable, then P' is also. This can evidently be extended to P^*^), if it exists, provided that the aggregate of all the derivatives from P' to P^*^ is enumerable. The considerations which arise from the last INTRODUCTION 51 observation appear to me to have constituted the final reason for considering these definitely infinite indices independently * on account of their con- nexion with the conception of ''power," which Cantor had always regarded as the most funda- mental one in the whole theory of aggregates. The series of the indices found, namely, is such that, up to any point (infinity or beyond), the aggregate of them is always enumerable, and yet a process exactly analogous to that used in the proof that the continuum is not enumerable leads to the result that the aggregate of all the indices such that, if a is any index, the aggregate of all the indices preceding a is enumerable, is not enumer- able, but is, just as the power of the series of positive integers is the next higher one to all finite ones, the next greater infinite power to the first. And we can again imagine a new index which is the first after all those defined, just as after all the finite ones. We shall see these thoughts published by Cantor at the end of 1882. It remains to mention the sixth theorem, in which Cantor proved that, if P' is enumerable, P has the property, which is essential in the theory of integration, of being "discrete," as Harnack called it, " integrable," as P. du Bois-Reymond did, '' unextended," or, as it is now generally called, " content-less." * When considered independently of P, these indices form a series beginning with the finite numbers, but extending beyond them; so that it suggests itself that those other indices be considered as infinite (or transhnite) tnanbers. 52 INTRODUCTION VII VVe have thus seen the importance of Cantor's "definitely defined symbols of infinity" in the theorem that if P^"^ vanishes, P', and therefore P, is enumerable. This theorem may, as we can easily see by what precedes, be inverted as follows : If P' is enumerable, there is an index a such that P^"^ vanishes. By defining these indices in an inde- pendent manner as real, and in general transfinite, integers. Cantor was enabled to form a conception of the enumeral * {Anza/il) of certain infinite series, and such series gave a means of defining a series of ascending infinite "powers." The conceptions of "enumeral" and "power" coincided in the case of finite aggregates, but diverged in the case of infinite aggregates ; but this extension of the conception of enumeral served, in the way just mentioned, to develop and make precise the conception of power used often already. Thus, from the new point of view gained, we get new insight into the theory of finite number ; as Cantor put it : "The conception of number which, in finito, has only the background of enumeral, splits, in a manner of speaking, when we raise our- selves to the infinite, into the two conceptions of power . . . and enumeral . . . ; and, when I again descend to the finite, I see just as clearly and beautifully how these two conceptions again unite to form that of the finite integer." * I have invented this woid to translate " Anzahl," to avoid confusion with the word " number" [Zahl). INTRODUCTION 53 The significance of this distinction for the theor}' of all (finite and infinite) arithmetic appears in Cantor's own work * and, above all, in the later work of Russell. Without this extension of the conception of number to the definitely infinite numbers, said Cantor, " it would hardly be possible for me to make without constraint the least step forwards in the theory of aggregates," and, although "I was led to them [these numbers] many years ago, without arriving at a clear consciousness that 1 possessed in them concrete numbers of real signi- ficance," yet " I was logically forced, almost against my will, because in opposition to traditions which had become valued by me in the course of scientific researches extending over many years, to the thought of considering the infinitely great, not merely in the form of the unlimitedly increasing, and in the form, closely connected with this, of convergent infinite series, but also to fix it mathe- matically by numbers in the definite form of a 'completed infinite.' I do not believe, then, that any reasons can be urged against it which I am unable to combat." The indices of the series of the derivatives can be conceived as the series of finite numbers I, 2, , followed by a series of tra7isfiuite numbers of which the first had been denoted b}- the symbol "00." Thus, although there is no greatest * C/:, for example, pp. 1 1 3, 1 58-159 of the translations of Cantor's memoirs of 1895 and 1897 given below. U' 54 INTRODUCTION finite number, or, in other words, the supposition that there is a greatest finite number leads to con- tradiction, there is no contradiction involved in postulating a new, non-finite, number which is to be the first after all the finite numbers. This is the method adopted by Cantor * to define his numbers independently of the theory of derivatives ; we shall see how Cantor met any possible objections to this system of postulation. Let us now briefly consider again the meaning of the word '■^ MannichfaltigkeitsleJire^'" ^ which is usually translated as " theory of aggregates." In a note to the Gyundlagen^ Cantor remarked that he meant by this word ' ' a doctrine embracing very much, which hitherto 1 have attempted to develop only in the special form of an arithmetical or geometrical theory of aggregates {Mengenlehre). By a manifold or aggregate I understand generally any multiplicity which can be thought of as one (jedes Viele, welches sick als Eines denken lasst), that is to say, any totality of definite elements which can be bound up into a whole by means of a law." * " Ueber unendliche, lineare Punktmannichfaltigkeiten. V." [December 1882], Math. Ann., vol. xxi, 1883, pp. 545-591 ; reprinted, with an added preface, with the title : Griindlagen einer allgevieinen Mamiichfaltigkeitslehre. Ein uiathematisch-philosophischer Versiich in der Lehre des Unendiichen,'Lit\\:>z\g, 1883 (page n of the Grnndlagenh page w + 544 of the article in the Math. Ann.). This separate publica- tion, with a title corresponding more nearly to its contents, was made " since it carries the subject in many respects much farther and thus is, for the most part, independent of the earlier essays" (Preface). In Acta Math., ii, pp. 381-408, part of the Grundlagen was translated into French. • t Or •'' Manntgfaitigkeitslehre," or, more usually, " Mengenlehre " ; in French, ^^ th^orte des ensembles." The English " theory of manifolds" has not come into general usage. INTRODUCTION 55 This character of unity was repeatedly emphasized by Cantor, as we shall see later. The above quotations about the slow and sure way in which the transfinite numbers forced them- selves on the mind of Cantor and about Cantor's philosophical and mathematical traditions are taken from the Grundlagen. Both here and in Cantor's later works we constantly come across discussions of opinions on infinity held by mathematicians and philosophers of all times, and besides such names as Aristotle, Descartes, Spinoza, Hobbes, Berkeley, Locke, Leibniz, Bolzano, and many others, we find evidence of deep erudition and painstaking search after new views on infinity to analyze. Cantor has devoted many pages to the Schoolmen and the Fathers of the Church. The Grundlagen begins by drawing a distinction between two meanings which the word "infinity" may have in mathematics. The mathematical infinite, says Cantor, appears in two forms : Firstly, as an improper infinite {Uneigentlich-Unendliches), a magnitude which either increases above all limits or decreases to an arbitrary smallness, but always remains finite ; so that it may be called a variable finite. Secondly, as a definite, a proper infinite {Eigentlich-Unendliches), represented by certain conceptions in geometry, and, in the theory of functions, by the point infinity of the complex plane. In the last case we have a single, definite point, and the behaviour of (analytic) functions about this point is examined in exactly the same way as it is 56 INTRODUCTION about any other point.* Cantor's infinite real integers are also properly infinite, and, to emphasize this, the old symbol '* od ," which was and is used also for the improper infinite, was here replaced by ''w." To define his new numbers, Cantor employed the following considerations. The series of the real positive integers, (I) I, 2, 3, . . ., V, . . ., arises from the repeated positing and uniting of units which are presupposed and regarded as equal ; the number v is the expression both for a definite finite enumeral of such successive positings and for the uniting of the posited units into a whole. Thus the formation of the finite real integers rests on the principle of the addition of a unit to a number which has already been formed ; Cantor called this moment th^fiist principle of gene^'ation {Erzeugungs- princip). The enumeral of the number of the class (I) so formed is infinite, and there is no greatest among them. Thus, although it would be contra- dictory to speak of a greatest number of the class (I), there is, on the other hand, nothing objectionable in imagining a new number, w, which is to express that the whole collection (I) is given by its law in its natural order of succession (in the same way as V is the expression that a certain finite enumeral of units is united to a whole), f By allowing further * "The behaviour of the function in the neighbourhood of the infinitely distant point shows exactly the same occurrences as in that of any other point lying iii finito, so that hence it is completely justified to think of the infinite, in this case, as situated in a point." t " It is even permissible to think of the newly and created number INTRODUCTION 57 positings of unity to follow the positing of the number o), we obtain with the help of the first principle of generation the further numbers : w+ I, (0+2, . . ., a) + j^, ... Since again here we come to no greatest number, we imagine a new one, which we may call 2a), and which is to be the first which follows all the numbers v and o) + 1^ hitherto formed. Applying the first principle re- peatedly to the number 2co, we come to the numbers : g^^ 2a) + I, 2a) +2, . . ., 2a) +i', ... The logical function which has given us the numbers a) and 2a) is obviously different from the first principle ; Cantor called it the second principle of generation of real integers, and defined it more closely as follows : If there is defined any definite succession of real integers, of which there is no greatest, on the basis of this second principle a new number is created, which is defined as the next greater number to them all. By the combined application of both principles we get, successively, the numbers : 30), 3a) + I , . . . , 3a) + 1/, . . . , . . . , /xa), . . . , //a) + j/, . . . w as the li7nit to which the numbers v strive, if by that nothing else is understood than that « is to be the first integer which follows all the numbers v, that is to say, is to be called greater than every »/." Cf. the next section. If we do not know the reasons in the theory of derivatives which prompted the introduction of a>, but only the grounds stated in the text for this introduction, it naturally seems rather arbitrary (not apparently^ useful) to create &j because of the mere fact that it can apparently be defined in a manner free from contradiction. Thus, Cantor discussed (see below) such introductions or creations, found in them the dis- tinguishing mark of pure mathematics, and justified them on historical grounds (on logical grounds they perhaps seem "to need no justification). 58 INTRODUCTION and, since no number fxw-\-v is greatest, we create a new next number to all these, which may be denoted by oo^. To this follow, in succession, numbers : Xo)'^ + fX(Jd + V, and further, we come to numbers of the form and the second principle then requires a new number, which may conveniently be denoted by And so on indefinitely. Now, it is seen without difficulty that the aggregate of all the numbers preceding any of the infinite numbers and hitherto defined is of the power of the first number-class (I). Thus, all the numbers preceding w*^ are contained in the formula : where /x, i/q, i/^, . . . , i/^ have to take all finite, positive, integral values including zero and exclud- ing the combination v^ = v^= . . . =v^=zO. As is well known, this aggregate can be brought into the form of a simply infinite series, and has, therefore, the power of (I). Since, further, every sequence (itself of the first power) of aggregates, each of which has the first power, gives an aggregate of the first power, it is clear that we obtain, by the con- tinuation of our sequence in the above way, only such numbers with which this condition is fulfilled. INTRODUCTION 59 Cantor defined the totality of all the numbers a formed by the help of the two principles (II) o), CD+I, . . ., j.Qfo'^H-i/iw'^-H . . . +j/^_r+>, such that all the numbers, from i on, preceding a form an aggregate of the power of the first number- class (I), as the ^^ second number-class (II)." The power of (II) is different from that of (I), and is, indeed, the next higher power, so that no other power lies between them. Accordingly, the second principle demands the creation of a new number (Q) which follows all the numbers of (II) and is the first of the third number-class (III), and so on.* Thus, in spite of first appearances, a certain completion can be given to the successive formation of the numbers of (II) which is similar to that limitation present with (I). There we only used the first principle, and so it was impossible to emerge from the series (I) ; but the second principle must lead not only over (II), but show itself indeed as a means, which, in combination with the first principle, gives the capacity to break through every limit in the formation of real integers. The above- mentioned requirement, that all the numbers to be next formed should be such that the aggregate ^' It is particularly to be noticed that the second principle will lake us beyond any class, and is not merely adequate to form numbers which are the limit-numbers of some enumerable series (so that a "third principle " is required to form fl). The first and second principles together form all the numbers considered, while the "principle of limitation" enables us to define the various number-classes, of un- brokenly ascending powers in the series of these numbers. 6o INTRODUCTION of numbers preceding each one should be of a certain power, was called by Cantor the third or limitation- principle {Hemmungs- oder Beschrdnkungsprincip)* and which acts in such a manner that the class (II) defined with its aid can be shown to have a higher power than (I) and indeed the next higher power to it. In fact, the two first principles together define an absolutely infinite sequence of integers, while the third principle lays successively certain limits on this process, so that we obtain natural segments {Absclmitte), called number-classes, in this sequence. Cantor's older (1873, 1878) conception of the ''power" of an aggregate was, by this, developed and given precision. With finite aggregates the power coincides with the enumeral of the elements, for such aggregates have the same enumeral of elements in every order. With infinite aggregates, on the other hand, the transfinite numbers afford a means of defining the enumeral of an aggregate, if it be "well ordered," and the enumeral of such an aggregate of given power varies, in general, with the order given to the elements. The smallest infinite power is evidently that of (I), and, now for the first time, the successive higher powers also receive natural and simple definitions ; in fact, the power of the yth number class is the yth. By a "well-ordered" aggregate,! Cantor under- * "This principle (or requirement, or condition) circuaiscribes {limits) each number-class." t The origin of this conception can easily be seen to be the defining of such aggregates as can be "enumerated" (using the word in the wider sense of Cantor, given below) by the transtinite numbers. In fact, the above definition of a wejl-ordered aggregate simply indicates INTRODUCTION 61 stood any well-defined aggregate whose elements have a given definite succession such that there is 2. first element, a definite element follows every one (if it is not the last), and to any finite or infinite aggregate a definite element belongs which is the next following element in the succession to them all (unless there are no following elements in the succession). Two well-ordered aggregates are, now, of the same enumeral (with reference to the orders of succession of their elements previously given for them) if a one-to-one correspondence is possible between them such that, if E and F are any two different elements of the one, and E' and F' the corresponding elements (consequently different) of the other, if E precedes or follows F, then E' respectively precedes or follows F'. This ordinal correspondence is evidently quite determinate, if it is possible at all, and since there is, in the extended number-series, one and only one number a such that its preceding numbers (from i on) in the natural succession have the same enumeral, we must put a for the enumeral of both well-ordered aggregates, if a is infinite, or a— I if a is finite. The essential difference between finite and infinite aggregates is, now, seen to be that a finite aggregate has the same enumeral whatever the succession of the construction of any aggregate of the class required when the first two principles are used, but lo generate elements, not numbers. An important property of a well-ordered aggregate,— indeed, a characteristic property, — is that any series of terms in it, ^j , ao , . . ., «^ , . . ., where «^+i precedes av , must be finite. Even if the well- ordered aggregate in question is infinite, such a series as that described can never be infinite. 62 INTRODUCTION the elements may be, but an infinite aggregate has, in general, different enumerals under these circum- stances. However, there is a certain connexion between enumeral and power — an attribute of the aggregate which is independent of the order of the elements. Thus, the enumeral of any well-ordered aggregate of the first power is a definite number of the second class, and every aggregate of the first power can always be put in such an order that its enumeral is any prescribed number of the second class. Cantor expressed this by extending the meaning of the word "enumerable" and saying: Every aggregate of the power of the first class is enumerable by numbers of the second class and only by these, and the aggregate can always be so ordered that it is enumerated by any prescribed number of the second class ; and analogously for the higher classes. From his above remarks on the "absolute"* * Cantor said "that, in the successive formation of number-classes, we can always go farther, and never reach a limit that cannot be sur- passed, — so that we never reach an even approximate comprehension {Erfasseti) of the Absolute,— I cannot doubt. The Absolute can only be recognized {anerkannt), but never apprehended {erkannt), even approximately. For just as inside the first number-class, at any finite number, however great, we always have the same ' power ' of greater finite numbers before us, there follows any transfinite number of any one of the higher number-classes an aggregate of numbers and classes which has not in the least lost in ' power ' in comparison with the whole absolutely infinite aggregate of numbers, from i on. The state of things is like that described by Albrecht von Haller : ' ich zieh' sie ab [die ungeheure ZahlJ und I^u [die Ewigkeit] liegst ganz vor mir.' The absolutely infinite sequence of numbers thus seems to me to be, in a certain sense, a suitable symbol of the Absolute ; whereas the infinity of (I), which has hitherto served for that purpose, appears to me, just because 1 hold it to be an idea (not presentation) that can be appre- hended as a vanishing nothing in comparison with the former. It also seems to me remarkable that every number-class — and therefore every INTRODUCTION 63 infinity of the series of ordinal numbers and that of powers, it was to be expected that Cantor would derive the idea that any aggregate could be arranged in a well-ordered series, and this he stated with a promise to return to the subject later.* The addition and multiplication of the transfinite (including the finite) numbers was thus defined by Cantor. Let M and M^ be well-ordered aggregates of enumerals a and ^, the aggregate which arises when first M is posited and then M^^, following it, and the two are united is denoted M -f M^ and its enumeral is defined to be a-\- ^. Evidently, if a and /3 are not both finite, a + /3 is, in general, different from /^ + a. It is easy to extend the con- cept of sum to a finite or transfinite aggregate of summands in a definite order, and the associative law remains valid. Thus, in particular, a + (/3 + y)-(a+iS) + y. If we take a succession (of enumeral /3) of equal and similarly ordered aggregates, of which each is of enumeral «, we get a new well-ordered aggregate, whose enumeral is defined to be the product y8a, power — corresponds to a definite number of the absolutely infinite totality of numbers, and indeed reciprocally, so that corresponding to any transfinite number 7 there is a (7th) power ; so that the various powers also form an absolutely infinite sequence. This is so much the more remarkable as the number 7 which gives the rank of a power (provided that 7 has an immediate predecessor) stands, to the numbers of that number-class which has this power, in a magnitude-relation whose smallness mocks all description, — and this the more 7 is taken to be greater." * With this is connected the promise to prove later that the power c)f the continuum is that of (11), as stated, of course in other words, in 1878. See the Notes at the end oi^ this book. ^4 INTRODUCTION where ^ is the multiplier and a the multiplicand. Here also /3a is, in general, different from a^ ; but we have, in general, a(,%) = (a/3)y. Cantor also promised an investigation of the ''prime number-property " of some of the transfinite numbers * a proof of the non-existence of infinitely small numbers,! and a proof that his previous theorem on a point-aggregate P in an ^2-dimensional domain that, if the derivate P^'^^ where « is any integer of (I) or (11), vanishes, P', and hence P, is of the first power, can be thus inverted : If P is such a point-aggregate that P' is of the first power, there is an integer a of (1) or (II) such that P('^> = o, and there is a smallest of such a's. This last theorem shows the importance of the transfinite numbers in the theory of point-aggregates. Cantor's proof that the power of (II) is different from that of (I) is analogous to his proof of the non-enumerability of the continuum. Suppose that we could put (II) in the form of a simple series : (7) ai, 02, . . ., a^, . . ., we shall define a number which has the properties both of belonging to (II) and of not being a member of the series (7) ; and, since these properties are contradictory of one another if the hypothesis be granted, we must conclude that (II) cannot be put * The property in question is: A "prime-number" a is such that the resolution a. = ^y is only possible when /8= i or j8 = a. t See the next section. INTRODUCTION 65 in the form (7), and therefore has not the power of (I). Let a^ be the first number of (i) which is greater than ai, a^ the first greater than a^ , and i 2 so on ; so that we have and I < /Cg < /C3 < . . ai a„ , then the series of integers > a« and < a^ , and so on ; we thus get a definite part of successive numbers of (I) and (II) which is evidently of the first power, and consequently, by the definition of (II), there is a least number jS of (II) which is greater than all of these numbers. Therefore /3> a^ and thus also ^ > a^, and also every number /3' (x. We can easily prove that, (2) if a b. P>om this theorem the following theorems, of which, however, we will here make no use, can be very simply derived : OF TRANSFINITE NUMBERS 91 B. If two aggregates M and N are such that M is equivalent to a part N^ of N and N to a part Mj of M, then M and N are equivalent ; C. If Mj is a part of an aggregate M, Mg is a part of the aggregate Mj, and if the aggregates M and Mg are equivalent, then Mj is equivalent to both M and Mg ; D. If, with two aggregates M and N, N is equivalent neither to M nor to a part of M, there is a part Nj of N that is equivalent to M ; E. If two aggregates M and N are not equivalent, and there is a part N^ of N that is equivalent to M, then no part of M is equivalent to N. [485] § 3 The Addition and Multiplication of Powers The union of two aggregates M and N which have no common elemeijts was denoted in § i, (2), by (M, N). We call it the ''union-aggregate ( Vereinigungsinenge) of M and N. " If M' and N' are two other aggregates without common elements, and if M 00 M' and N 00 N', we saw that we have (M, N) 00 (M', N'). Hence the cardinal number of (M, N) only depends upon the cardinal numbers M = a and N = b. This leads to the definition of the sum of vi and b. We put ' (I) a + b = (M7>^). 92 THE FOUNDING OF THE THEORY Since in the conception of power, we abstract from the order of the elements, we conclude at once that (2) a + b = b + a; and, for any three cardinal numbers a, b, c, we have (3) a + (b + c) = (a + b) + c. We now come to multiplication. Any element vi of an aggregate M can be thought to be bound up with any element n of another aggregate N so as to form a new element {m, n) ; we denote by (M . N) the aggregate of all these bindings (w, n)^ and call it the ''aggregate of bindings {Verbindungsniejige) ofMandN." Thus (4) (M.N) = {K;.)}. We see that the power of (M . N) only depends on the powers M = a and N = b ; for, if we replace the aggregates M and N by the aggregates W = {m) and N' = {;/} respectively equivalent to them, and consider in, in' and ft, n' as corresponding elements, then the aggregate (M'.N') = {(^^/, n)) is brought into a reciprocal and univocal corre- spondence with (M . N) by regarding {in, n) and {in' , n') as corresponding elements. Thus (5) (m;no<^^(m.n). We now define the product vi . b by the equation (6) a.b = (M.N). OF TRANSFINITE NUMBERS 93 [486] An aggregate with the cardinal number a . b may also be made up out of two aggregates M and N with the cardinal numbers a and b according to the following rule : We start from the aggregate N and replace in it every element n by an aggregate M„ fNJ M ; if, then, we collect the elements of all these aggregates M„ to a whole S, we see that (7) S ro (M . N), and consequently S = a.b. For, if, with any given law of correspondence of the two equivalent aggregates M and M,,, we denote by in the element of M which corresponds to the element m^ of M„, we have (8) S^ {;;/.}; and thus the aggregates S and (M . N) can be re- ferred reciprocally and univocally to one another by regarding ni^ and {in, n) as corresponding elements. From our definitions result readily the theorems : (9) a.b = b.a, (10) a.(b . c) = (a. b). c, (11) a(b + c) = ab + ac; because : (M.N)r>o(N.M), (M.(N.P)) 00 ((M.N). P), (M . (N, P)) fNj ((M . N), (M . P)). Addition and multiplication of powers arc subject, 94 THE FOUNDING OF THE THEORY therefore, to the commutative, associative, and dis- tributive laws. §4 The Exponentiation of Powers By a " covering of the aggregate N with elements of the aggregate M," or, more simply, by a ''cover- ing of N with M," we understand a law by which with every element n of N a definite element of M is bound up, where one and the same element of M can come repeatedly into application. The element of M bound up with n is, in a way, a one-valued function of n, and may be denoted by f{}i) ; it is called a '' covering function of n.'' The correspond- ing covering of N will be called /(N). [487] Two coverings /i(N) and/2(N) are said to be equal if, and only if, for all elements ;^ of N the equation (I) /lW=/2(«) is fulfilled, so that if this equation does not subsist for even a single element n^n^, f^{^) and/2(N) are characterized as different coverings of N. For ex- ample, if vi^ is a particular element of M, we may fix that, for all n'?> f{n) = m^; this law constitutes a particular covering of N with M. Another kind of covering results if ui^ and m^ are two different particular elements of M and n^ a particular element of N, from fixing that OF TRANSFINITE NUMBERS 95 /(«o) = ^'^o for all ;2's which are different from n^. The totality of different coverings of N with M forms a definite aggregate with the elements /(N) ; we call it the ** covering-aggregate (yBelegungsvienge) of N with M " and denote it by (N | M). Thus : (2) (N |M)={/(N)}. If M 00 M' and N Oo N', we easily find that (3) (N I M) 00 (N' I MO. Thus the cardinal number of (N | M) depends only on the cardinal numbers M = a and N = b ; it serves us for the definition of a* : (4) a» = (N^r). For any three aggregates, M, N, P, we easily prove the theorems: . (5) ((N |M).(P|M))f\j((N, P)|M), (6) ((P| M).(P|N))^ and +...+f>+... (where f{v) = O or i ) of the numbers x in the binary system. If we pay attention to the fact that every number x is only represented once, with the exception of the numbers x= M- [493] This follows, if we pay attention to § 3, from the three facts that />t = (i, 2, 3, . . ., /x), that' no part of the aggregate (i, 2, 3, . . ., ^) is equiva- lent to the aggregate {v}, and that (i, 2, 3, . . ., yu) is itself a part of {v}. On the other hand, h^^ is the least transfinite cardinal number. If a is any transfinite cardinal number different from i^^, then (4) ^0<<'^' OF TRANSFINITE NUMBERS 105 This rests on the following theorems : A. Every transfmite aggregate T has parts with the cardinal number ^^Q. Proof. — If, by any rule, we have taken away a finite number of elements t^, t^^ . . .,/,,_i, there always remains the possibility of taking away a further element t^. The aggregate {/,,}, where v denotes any finite cardinal number, is a part of T with the cardinal number t^^, because {/^}f\j{i'} (§ i). B. If S is a transfinite aggregate with the cardinal number j^^, and S^ is any transfinite part of S, then Proof. — We have supposed that S 00 {v\. Choose a definite law of correspondence between these two aggregates, and, with this law, denote by s^ that element of S which corresponds to the element v of {i/}, so that The part S^ of S consists of certain elements s^ of S, and the totality of numbers k forms a trans- finite part K of the aggregate [v). By theorem G of § 5 the aggregate K can be brought into the form of a series where consequently we have io6 THE FOUNDING OF THE THEORY Hence follows that Sj oo S, and therefore Si = j^o- From A and B the formula (4) results, if we have regard to § 2. From (2) we conclude, by adding i to both sides, and, by repeating this (5) ^*o + ^ = «o- We have also (6) «o + «o = ^*o- [494] For, by (i) of § 3, No + «o is the cardinal number ({«J, {by)) because Now, obviously {.}=({2.-l}, {2.}), ({2.- I}, {2.})00(K}, {b^\ and therefore The equation (6) can also be written t^o- 2 = ^^0 5 . and, by adding j^q repeatedly to both sides, we find that (7) ^^o•^ = I^• «o = ^^o- We also have (8) ^^o•No = ^^o• OF TRANSFIX/TIL NUAIBFKS 107 Proof. — By (6) of § 3, Nq • t^o ^-^ ^^^^ cardinal number of the aggregate of bindings {{p., y)], where ^ and v are any finite cardinal numbers which are independent of one another. If also X repre- sents any finite cardinal number, so that {\}, (fj.), and {v) are only different notations for the same aggregate o( all finite numbers, we have to show that {(m, ^)}fX^{X}. Let us denote ^ + 1/ by p\ then ^ takes all the numerical values 2, 3, 4, . . ., and there are in all p— I elements (/x, v) for which ^-|-j/ = p, namely : (1,^-1), (2,p-2),.. , (p-I, I). In this sequence imagine first the element (i, i), for which p=2, put, then the two elements for which p=3, then the three elements for which p = 4, and so on. Thus we get all the elements (juL, p) in a simple series : (I, i);(i, 2),(2, i);(i,3),(2, 2),(3, i);(i,4),(2, 3) and here, as we easily see, the element {ju, v) comes at the Xth place, where (9) X = /x+ 2 The variable X takes every numerical value i, 2, 3, . . ., once. Consequently, by means of (9), a To8 THE FOUNDING OF THE THEORY reciprocally univocal relation subsists between the aggregates {v} and {(/x, v)}. [495] If both sides of the equation (8) are multi- plied by j^o> we get ^^^ = 'i:^^^ = ^^^ and, by repeated multiplications by ^^^ we get the equation, valid for every finite cardinal number v : (lo) ^^o" = «o• The theorems E and A of § 5 lead to this theorem on finite aggregates : C. Every finite aggregate E is such that it is equivalent to none of its parts. This theorem stands sharply opposed to the following one for transfinite aggregates : D. Every transfinite aggregate T is such that it has parts T^ which are equivalent to it. Pi'oof. — By theorem A of this paragraph there is a part S={^4 of T with the cardinal number «(,. Let T = (S, U), so that U is composed of those elements of T which are different from the elements C Let us put Si = {/,+i}, Ti = (Si, U) ; then T^ is a part of T, and, in fact, that part which arises out of T if we leave out the single element t^. Since S 00 Si, by theorem B of this paragraph, and UooU, we have, by § i, T rx; T^. In these theorems C and D the essential differ- ence between finite and transfinite aggregates, to which I referred in the year 1877, in volume Ixxxiv [1878] of Crelle's Journal, p. 242, appears in the clearest way. After we have introduced the least transfinite OF TR A XS FINITE NUMJUIRS loo cardinal number Nq and derived its properties tliat lie the most readily to hand, the question arises as to the higher cardinal numbers and how they proceed from h^^. We shall show that the trans- finite cardinal numbers can be arranged according to their magnitude, and, in this order, form, like the finite numbers, a '* well-ordered aggregate" in an extended sense of the words. Out of ^^q pro- ceeds, by a definite law, the next greater cardinal number j^^, out of this by the same law the next greater n^j ^'^'^^ so o^"*- ^^t even the unlimited sequence of cardinal numbers No' «i' «2' • • •) «.', ... does not exhaust the conception of transfinite cardinal number. We will prove the existence of a cardinal number which we denote by ^^^ and which shows itself to be the next greater to all the numbers ^^ ; out of it proceeds in the same way as i^^ out of ^? a next greater ^,^+1^ ^^^^ ^^ o^''» without end. [496] To every transhnite cardinal number a there is a next greater proceeding out of it accord- ing to a unitary law, and also to every unlimitedly ascending well-ordered aggregate of transfinite cardinal numbers, {a}, there is a next greater pro- ceeding out of that aggregate in a unitary way. For the rigorous foundation of this matter, dis- covered in 1882 and exposed in the pamphlet Grundlagen einer allgemeitjen MannicJifaltigkeits- lehre (Leipzig, 1883) and in volume xxi of the 110 THE FOUNDING OF THE THEORY MatJiematische AnnaUn, we make use of the so- called "ordinal types " whose theory we have to set forth in the following paragraphs. § 7 The Ordinal Types of Simply Ordered Aggregates We call an aggregate M "simply ordered" if a definite "order of precedence" {Rmigordnung) rules over its elements m, so that, of every two elements m^ and ?;^2> ^^^ takes the " lower " and the other the ' ' higher " rank, and so that, if of three elements ni^, jn^, and Wg, nt-^, say, is of lower rank than z//^, and 7n.2^ is of lower rank than m^y then m^ is of lower rank than m^. The relation of two elements ///j and ;;/^, in which m^ has the lower rank in the given order of pre- cedence and m^ the higher, is expressed by the formulae : (i) m^ -< m^, in^ >- m^ Thus, for example, every aggregate P of points defined on a straight line is a simply ordered aggregate if, of every two points /^ and p^ belong- ing to it, that one whose co-ordinate (an origin and a positive direction having been fixed upon) is the lesser is given the lower rank. It is evident that one and the same aggregate can be " simply ordered " according to the most different laws. Thus, for example, witl^i the aggregate R of OF TRANSFINITE NUMBERS \ 1 1 all positive rational numbers//^ (where/ and q are relatively prime integers) which are greater than o and less than i, there is, firstly, their "natural" order according to magnitude ; then they can be arranged (and in this order we will denote the aggregate by Rq) so that, of two numbers /^/^^ and A/^- for which the sums /i + ^i and p^ + g^ have different values, that number for which the corre- sponding sum is less takes the lower rank, and, if A + ^i=/2 + ^2' then the smaller of the two rational numbers is the lower. [497] In this order of precedence, our aggregate, since to one and the same value oi p-\-q only a finite number of rational numbers//^ belongs, evidently has the form -•^^0 \'l> '2' • • ■' «" • • '/ V2' 3' 4' ."' 5 J «» 5' 4' • • VJ where r, < /-,+!. Always, then, when we speak of a "simply ordered " aggregate M, we imagine laid down a definite order or precedence of its elements, in the sense explained above. There are doubly, triply, j/-ply and a-ply ordered aggregates, but for the present we will not consider them. So in what follows we will use the shorter expression "ordered aggregate" when we mean "simply ordered aggregate." Every ordered aggregate M has a definite "ordinal type," or more shortly a definite "type," which we will denote by (2) M. 112 THE FOUNDING OF THE THEORY By this we understand the general concept which results from M if we only abstract from the nature of the elements in^ and retain the order of precedence among them. Thus the ordinal type M is itself an ordered aggregate whose elements are units which have the same order of precedence amongst one another as the corresponding elements of M, from which they are derived by abstraction. We call two ordered aggregates M and N "similar" {dhnlich) if they can be put into a bi- univocal correspondence with one another in such a manner that, if ?n-^ and ni^ are any two elements of M and n^ and n^ the corresponding elements of N, then the relation of rank of in^ to m^ in M is the same as that of n-^ to n^ in N. Such a correspond- ence of similar aggregates we call an '* imaging" {Abbildimg) of thes'e aggregates on one another. In such an imaging, to every part — which obviously also appears as an ordered aggregate — M^ of M corresponds a similar part N^ of N. We express the similarity of two ordered aggre- gates M and N by the formula : (3) MooN. Every ordered aggregate is similar to itself. If two ordered aggregates are similar to a third, they are similar to one another. [498] A simple consideration shows that two ordered aggregates have the same ordinal type if, and only if, they are similar, so that, of the two formula: OF TRANSFINITE NUMBERS 113 (4) M = N, MOON, one is always a consequence of the other. If, with an ordinal t}'pe M we also abstract from the order of precedence of the elements, we get (§ i) the cardinal number M of the ordered aggregate M, which is, at the same time, the cardinal number of the ordinal type M. From M = N always follows M = N, that is to say, ordered aggregates of equal types always have the same power or cardinal number ; from the similarity of ordered aggregates follows their equivalence. On the other hand, two aggregates may be equivalent without being similar. We will use the small letters of the Greek alphabet to denote ordinal types. If a is an ordinal type, we understand by (5) « its corresponding cardinal number. The ordinal types of finite ordered aggregates offer no special interest. For we easily convince ourselves that, for one and the same finite cardinal number i/, all "simply ordered aggregates are similar to one another, and thus have one and the same type. Thus the finite simple ordinal types are subject to the same laws as the finite cardinal numbers, and it is allowable to use the same signs I, 2, 3, . . ., Vy . . . for them, although they are conceptually different from the cardinal numbers. The case is quite different with the transfinite ordiiial types ; for to one and the same cardinal 8 114 THE FOUNDING OF THE THEORY number belong innumerably many different types of simply ordered aggregates, which, in their totality, constitute a particular ' ' class of types " ( Typenclasse). Every one of these classes of types is, therefore, determined by the transfinite cardinal number a which is common to all the types belonging to the class. Thus we call it for short the class of types [a]. That class which naturally presents itself first to us, and whose complete investigation must, accordingly, be the next special aim of the theory of transfinite aggregates, is the class of types [^^o] which embraces all the types with the least transfinite cardinal number ^^q. From the cardinal number which determines the class of types [a] we have to dis- tinguish that cardinal number a' which for its part [499] ^^ determmed by the class of types [a]. The latter is the cardinal number which (§ i) the class [a] has, in so far as it represents a well-defined aggregate whose elements are all the types a with the cardinal number a. We will see that a' is different from a, and indeed always greater than a. If in an ordered aggregate M all the relations of precedence of its elements are inverted, so that ' ' lower " becomes ' ' higher " and ' ' higher " becomes ' ' lower " everywhere, we again get an ordered aggregate, which we will denote by (6) *M and call the "inverse" of M. We denote the ordinal type of *M, if a= M, by (7) OF TRANSFINITE NUMBERS 115 It may happen that *a = a, as, for example, in the case of finite types or in that of the type of the aggregate of all rational numbers which are greater than o and less than i in their natural order of precedence. This type we will investigate under the notation ;/. We remark further that two similarly ordered aggregates can be imaged on one another either in one manner or in many manners ; in the first case the type in question is similar to itself in only one way, in the second case in many ways. Not only all finite types, but the types of transfinite "well- ordered aggregates," which will occupy us later and which we call transfinite "ordinal numbers," are such that they allow only a single imaging on themselves. On the other hand, the type ri is similar to itself in an infinity of ways. We will make this difference clear by two simple examples. By o) we understand the type of a well- ordered aggregate in which and where p represents all finite cardinal numbers in turn. Another well-ordered aggregate with the condition of the same type od can obviously only be imaged Ti6 THE FOUNDING OF THE THEORY on the former in such a way that e^, and /, are correspondhig elements. For e^, the lowest element in rank of the first, must, in the process of imaging, be correlated to the lowest element /^ of the second, the next after e^ in rank {e^) to/g, the next after/^, and so on. [500] Every other bi-univocal corre- spondence of the two equivalent aggregates {e^} and {/,} is not an "imaging" in the sense which we have fixed above for the theory of types. On the other hand, let us take an ordered aggregate of the form where v represents all positive and negative finite integers-, including o, and where likewise This aggregate has no lowest and no highest element in rank. Its type is, by the definition of a sum given in § 8, It is similar to itself in an infinity of ways. For let us consider an aggregate of the same type where Then the two ordered aggregates can be so imaged on one another that, if we understand by vq a definite one of the numbers /, to the element e,' of OF TRANSFINITE NUMBERS ti; the first the element /j,^,'_^_,/ of the second corresponds. Since j/q' is arbitrary, we liave here an infinity of imagings. The concept of ''ordinal type" developed here, when it is transferred in like manner to "multiply ordered aggregates," embraces, in conjunction with the concept of "cardinal number" or "power" introduced in § i, everything capable of being numbered {Anzahlmdssige) that is thinkable, and in this sense cannot be further generalized. It contains nothing arbitrary, but is the natural ex- tension of the concept of number. It deserves to be especially emphasized that the criterion of equality (4) follows with absolute necessity from the concept of ordinal type and consequently permits of no alteration. The chief cause of the grave errors in G. Veronese's Gnuidziige der Geoinetrie (German by A. Schepp, Leipzig, 1894) is the non-recognition of this point. On page 30 the ' ' number {Anrjahl oder ZaJd) of an ordered group " is defined in exactly the same way as what we have called the "ordinal type of a simply ordered aggregate " {Ztir Lehre vorn Transfiniten, Halle, 1890, pp. 68-75 i reprinted from the 'ZeitscJir. fiir Pliilos. und philos. Kritik for 1887). [501] But Veronese thinks that he must make an addition to the criterion of equality. He says on page 31: "Numbers whose units correspond to one another uniquely and in the same order and of which the one is neither a part of the other nor equal to a part of the other are ii8 THE FOUNDING OF THE THEORY equal. " * This definition of equality contains a circle and thus is meaningless. For what is the meaning of "not equal to a part of the other" in this addition? To answer this question, we must first know when two numbers are equal or unequal. Thus, apart from the arbitrariness of his definition of equality, it presupposes a definition of equality, and this again presupposes a definition of equality, in which we must know again what equal and unequal are, and so on ad infinitum. After Veronese has, so to speak, given up of his own free will the indispensable foundation for the comparison of numbers, we ought not to be surprised at the lawlessness with which, later on, he operates with his pseudo-transfinite numbers, and ascribes properties to them which they cannot possess simply because they themselves, in the form imagined by him, have no existence except on paper. Thus, too, the striking similarity of his ' ' numbers " to the very absurd ' ' infinite numbers " in Fontenelle's Geo7netrie de IFnfifii (Paris, 1727) becomes comprehensible. Recently, W. Killing has given welcome expression to his doubts con- cerning the foundation of Veronese's book in the Index lectionuni of the Miinster Academy for 1895- i896.t * In the original Italian edition (p. 27) this passage runs : " Numeri le unita dei quali si corrispondono univocamente e nel medesimo ordine, e di cui 1' uno non e parte o uguale ad una parte dell' altro, sono uguali." t [Veronese replied to this in Math. Ann., vol. xlvii, 1897, pp. 423- 432. Cf. Killing, ibid., vol. xlviii, 1897, pp. 425-432.] OF TRANSFINITE NUMBERS 119 Addition and Multiplication of Ordinal Types The union-aggregate (M, N) of two aggregates M and N can, if M and N are ordered, be conceived as an ordered aggregate in which the relations of precedence of the elements of M among themselves as well as the relations of precedence of the elements of N among themselves remain the same as in M or N respectively, and all elements of M have a lower rank than all the elements of N. If M' and N' are two other ordered aggregates, M Oo M' and N fV) N', [502] then (M, N) cx> (M^ N') ; so the ordinal type of (M, N) depends only on the ordinal types M = a and N = /3. Thus, we define: (1) a + /3 = (M, N). In the sum ct + /3 we call a the ''augend " and /3 the "addend." For any three types we easily prove the associa- tive law : (2) a + (/3 + y)=:(a4./3) + y. On the other hand, the commutative law is not valid, in general, for the addition of types. We see this by the following simple example. If o) is the type, already mentioned in § 7, of the well-ordered aggregate I20 THE FOUNDING OF THE THEORY then I +w is not equal to (o+ i. For, if/ is a new element, we have by (i) : l+a) = (/E), a,+ l=(E;7)- But the aggregate (/E)=(y;^i, ^2. • •-^.'•- •) is similar to the aggregate E, and consequently I +co = a). On the contrary, the aggregates E and (E, f) are not similar, because the first has no term which is highest in rank, but the second has the highest term /! Thus coH- i is different from a)= i +a). Out of two ordered aggregates M and N with the types a and /3 we can set up an ordered aggregate S by substituting for every' element n of N an ordered aggregate M,, which has the same type a as M, so that (3) M, = a; and, for the order of precedence in (4) S = {M„} we make the two rules : (i) Every two elements of S which belong to one and the same aggregate M^, are to retain in S the same order of precedence as in M,, ; (2) Every two elements of S which belong to two different aggregates M^^ and M^,.^ have the same relation of precedence as n^ and 71^ have in N. OF TRANSFfNITE NUMBERS 121 The ordinal type of S depends, as we easily see, only on the types a and /5 ; we define (5) «./3 = S. [503] In this product a is called the " multiplicand " and /3 the " multiplier." In any definite imaging of M on M„ let in^ be the element of M„ that corresponds to the element m of M; we can then also write (6) S = {/«„}. Consider a third ordered aggregate V = [p] with the ordinal type P = y, then, by (5), a.(/5-y) = {^^')}. But the two ordered aggregates {(m,,) } and {^^^(n.)} are similar, and are imaged on one another if we regard the elements (^z^^) ^^^^ ?''^/«.\ as correspond- ing. Consequently, for three types a, ^8, and y the associative law (7) (a.^).y = a.(/5.y) subsists. From (i) and (5) follows easily the dis- tributive law (8) a.(^-hy) = a./3-{-a.y; but only in this form, where the factor with two terms is the multiplier. On the contrary, in the multiplication of types as in their addition, the commutative law is not \ 122 THE FOUNDING OF THE THEORY generally valid. For example, 2.0) and w .2 are different types ; for, by (5), while W. 2 = {e^, ^2' • • •> ^.', ...; /l,/2, ••.,/',-. •) is obviously different from o). If we compare the definitions of the elementary operations for cardinal numbers, given in § 3, with those established here for ordinal types, we easily see that the cardinal number of the sum of two types is equal to the sum of the cardinal numbers of the single types, and that the cardinal number of the product of two types is equal to the pro- duct of the cardinal numbers of the single types. Every equation between ordinal types which pro- ceeds from the two elementary operations remains correct, therefore, if we replace in it all the types by their cardinal numbers. [504] § 9 The Ordinal Type r] of the Aggregate R of all Rational Numbers which are Greater than o and Smaller than i, in their Natural Order of Precedence By R we understand, as in § 7, the system of all rational numbers p\q {p and q being relatively prime) which >o and < i, in their natural order of precedence, where the magnitude of a number } / OF TRANSFINITR NUMBERS 123 determines its rank. We denote the ordinal t)'pe of R by >y : (1) >/ = R. But we have put the same aggregate in another order of precedence in which we call it Rq. This order is determined, in the first place, by the magnitude of p-\-q, and in the second place — for rational numbers for which p -\- q has the same value — by the magnitude of pjq itself. The aggregate Rq is a well-ordered aggregate of type w : (2) Ro = (>'i, ^'2, . . ., i^.M . • •), where r,/ of R, so that we have the following theorem : 124 THE FOUNDING OF THE THEORY If we have a simply ordered aggregate M such that _ {a) M = «o; {b) M has no element which is lowest in rank, and no highest ; {c) M is everywhere dense ; then the ordinal type of M is ^ : Pjvof. — Because of the condition {a), M can be brought into the form [505] ^^ ^ well-ordered aggregate of type w ; having fixed upon such a form, we denote it by Mq and put (5) Mo = (?//i, Wg, . . ., ;//„, . . .). We have now to show that (6) MooR; that is to say, we must prove that M can be imaged on R in such a way that the relation of precedence of any and every two elements in M is the same as that of the two corresponding elements in R. Let the element 7\ in R be correlated to the element m^ in M. The element rg h^s a definite relation of precedence to 7\ in R. Because of the condition {b), there are infinitely many elements vi^, of M which have the same relation of precedence in M to m-^ as r^^ to 7\ in R ; of them we choose that one which has the smallest index in M^, let it be ifii and correlate it to r^. The element r, has in R definite relations of precedence to i\ and r^ ; because of the conditions (b) and (c) there is an OF TRANSFINITIi NUMBERS 125 infinity of elements in^, of M which have the same relation of precedence to m^ and nii in M as rg to }\ and r.y to R ; of them we choose that — let it be ;;/, z 5 — which has the smallest index in Mq, and correlate it to Tg. According to this law we imagine the process of correlation continued. If to the v elements ^1' '''2' ^3) • • • ) ^i' of R are correlated, as images, definite elements m^, nu, in^, . . ., in, which have the same relations of precedence amongst one another in M as the corresponding elements in R, then to the element ;v+i of R is to be correlated that element ni,^ of M which has the smallest index in Mq of those which have the same relations of precedence to ;;/i, m,^, in,^, . . . , m,^ in M as r^+i to r^, r^, . . ., r^ in R. In this manner we have correlated definite elements m. of M to all the elements }\ of R, and the elements m,^ have in M the same order of pre- cedence as the corresponding elements i\ in R. But we have still to show that the elements m,^ include all the elements in^ of M, or, what is the same thing, that the series I ) '2' '3' • • • ' ^f ' • • • [506] is only a permutation of the series I, 2, 3, ....',.. . 126 THE FOUNDING OF THE THEORY We prove this by a complete induction : we will show that, if the elements m^, m^, . . ., m^ appear in the imaging, that is also the case with the following element m^+i. Let X be so great that, among the elements w,, nil, nil , . . ., lUu, ■■■as '^ the elements m^, in,, . . ., ;;/,, which, by supposition, appear in the imaging, are contained. It may be that also ?;/,,+i is found among them ; then /;2^+i appears m the imaging. But if /;^^+i is not among the elements m^, in,, m,, . . ., vi,^, then ///^+i has with respect to these elements a definite ordinal position in M ; infinitely many elements in R have the same ordinal position in R with respect to i\, rg, . . . , r^, amongst which let /'x+a be that with the least index in Rq. Then ni^^i has, as we can easily make sure, the same ordinal position with respect to m^, m,, m,, . . ., nh^^^_^ in M as r^j^„ has with respect to ^'d ''2) • • •) ^^A + a--l in R. Since in^, in.^^, • • • , ^f^u have already appeared in the imaging, ni^^i is that element with the smallest index in M which has this ordinal position with respect to OF TRANSFJNITE NUMBERS 127 Consequently, according to our law of correlation, ''^^,+^ = '^'^+1- Thus, in this case too, the element ;;/^.|.i appears in the imaging, and r^+^ is the element of R which is correlated to it. We see, then, that by our manner of correlation, the whole aggregate M is imaged on the whole aggregate R ; M and R are similar aggregates, which was to be proved. From the theorem which we have just proved result, for example, the following theorems : [507] The ordinal type of the aggregate of all negative and positive rational numbers, including zero, in their natural order of precedence, is r^. The ordinal type of the aggregate of all rational numbers which are greater than a and less than b, in their natural order of precedence, where a and b are any real numbers, and a 7)'7, ('?+i)'7. (!+>?+ i>/, we find that those three conditions are also fulfilled with them. Thus we have the theorems : (7) >; + ') = '?, (8) m = i> (9) (I +,,),, = ,,, (10) (>;+ !)>; = >;, (11) (l+,,+ l)ri = >i. The repeated application of (7) and (8) gives for every finite number u : (12) t1'V = t1, (13) n" = ^- On the other hand we easily see that, for j/> I, the types 1+^, i]-^i, v.r], i+>?+i are different both from one another and from t]. We have (14) ;^+I+,y = ^, but r] + i/ + t], for ^/> I, is different from rj. Finally, it deserves to be emphasized that (15) *>; = ';. [508] § 10 The Fundamental Series contained in a Transfinite Ordered Aggregate Let us consider any simply ordered transfinite aggregate M. Every part of M is itself an ordered aggregate. For the study of the type M, those OF TRANSFINITE NUMBERS 129 parts of M which have the types w and *a) appear to be especially valuable ; we call them " fundamental series of the first order contained in M," and the former — of type w — we call an ''ascending" series, the latter — of type *o) — a * ' descending " one. Since we limit ourselves to the consideration of funda- mental series of the first order (in later investiga- tions fundamental series of higher order will also occupy us), we will here simply call them ''funda- mental series." Thus an "ascending fundamental series " is of the form (i) {a,}, where ^,<^,+i; a " descending fundamental series " is of the form (2) {b^}, where b^)^ b^+i. The letter v, as well as /c, X, and /x, has everywhere in our considerations the signification of an arbitrary finite cardinal number or of a finite type (a finite ordinal number). We call two ascending fundamental series {a^} and {a\) in M "coherent" {zusammengehbrig), in signs (3) {^.} 11 {<}) if, for every element a^ there are elements a\ such that and also for every element a\ there are elements a^ such that 9 I30 THE FOUNDING OF THE THEORY Two descending fundamental series {by} and {b' ^ in M are said to be "coherent," in signs (4) {K) II {b'.\. if for every element b^ there are elements b\ such that b. > b\, and for every element b\ there are elements b^j, such that K > b,. An ascending fundamental series {a^} and a descending one {b^} are said to be "coherent," in signs [509] (5) WlllW, if (a) for all values of v and /n and (<^) in M exists at most one (thus either only one or none at all) element m^^ such that, for all i/'s, ^. <^ f^h < ^>" Then we have the theorems : A. If two fundamental series are coherent to a third, they are also coherent to one another. B. Two fundamental series proceeding in the same direction of which one is part of the other are coherent. If there exists in M an element m^ which has OF TRANSFINITE NUMBERS 131 such a position with respect to the ascending funda- mental series [a^] that : {a) for every v {b) for every element m of M that precedes m^ there exists a certain number vq such that a„ >^ m, for v'^Vft, then we will call iUq a "limiting element (Grenz- element) of {^J in M " and also a " principal element {Haupt element) of M." In the same way we call niQ a "principal element of M " and also " Hmiting element of [b^ in M" if these conditions are satisfied : {a) for every v ip) for every element m of M that follows m^ exists a certain number v^ such that b^ >^ m, for v^Vf^, A fundamental series can never have more than one limiting element in M ; but M has, in general, many principal elements. We perceive the truth of the following theorems : C. If a fundamental series has a limiting element in M, all fundamental series coherent to it have the same limiting element in M. D. If two fundamental series (whether proceeding in the same or in opposite directions) have one and the same limiting element in M, they are coherent. 132 THE FOUNDING OF THE THEORY if M and M' are two similarly ordered aggregates, so that (6) M = M', and we fix upon any imaging of the two aggregates, then we easily see that the following theorems hold: [510] E. To every fundamental series in M corresponds as image a fundamental series in M', and inversely ; to every ascending series an ascending one, and to every descending series a descending one ; to coherent fundamental series in M corre- spond as images coherent fundamental series in M', and inversely. F. If to a fundamental series in M belongs a limiting element in M, then to the corresponding fundamental series in M' belongs a limiting element in M', and inversely ; and these two limiting elements are images of one another in the imaging. G. To the principal elements of M correspond as images principal elements of M', and inversely. If an aggregate M consists of principal elements, so that every one of its elements is a principal element, we call it an ''aggregate which is dense in itself {insichdichte Mengey If to every funda- mental series in M there is a limiting element in M, we call M a "closed {abgeschlossene) aggregate." An aggregate which is both "dense in itself" and "closed" is called a "perfect aggregate." If an aggregate has one of these three predicates, every similar aggregate has the same predicate ; thus OF TRANSFINITE NUMBERS 133 these predicates can also be ascribed to the corre- sponding ordinal types, and so there are "types which are dense in themselves," "closed types," "perfect types," and also "everywhere-dense types " (§ 9). For example, >; is a type which is "dense in itself, " and, as we showed in § 9, it is also ' ' every- where-dense," but it is not "closed." The types ft) and *ft) have no principal elements, but w-\-v and i/ + *ft) each have a principal element, and are "closed" types. The type 0^.3 has two principal elements, but is not "closed"; the type w.3-f^ has three principal elements, and is "closed." §11 The Ordinal Type Q of the Linear Continuum X We turn to the investigation of the ordinal type of the aggregate X= [x] of all real numbers x, such that x>^o and < i, in their natural order of pre- cedence, so that, with any two of its elements x and x\ x^x\ if x] investi- gated in § 9, and in such a way that, between any two elements x^ and x^ of X, elements of R lie. We will now show that these properties, taken together, characterize the ordinal type Q of the linear continuum X in an exhaustive manner, so that we have the theorem : If an ordered aggregate M is such that (a) it is "perfect," and {b) in it is contained an aggregate S with the cardinal number S = h?o ^^^ which bears such a relation to M that, between any two elements Wq and m^ of M elements of S lie, then M = 0. Proof. — If S had a lowest or a highest element, these elements, by {b), would bear the same character as elements of M ; we could remove them from S without S losing thereby the relation to M ex- pressed in {b). Thus, we suppose that S is without lowest or highest element, so that, by § 9, it has the ordinal type t]. ¥or since S is a part of M, between any two elements Sq and s^ of S other elements of S must, by {b), lie. Besides, by {b) we have S = «o' Thus the aggregates S and R are "similar" to one another. (2) S ro R. OF TRANSFINITE NUMBERS 135 We fix on any "imaging" of R on S, and assert that it gives a definite " imaging " of X on M in the following manner : Let all elements of X which, at the same time, belong to the aggregate R correspond as images to those elements of M which are, at the same time, elements of S and, in the supposed imaging of R on S, correspond to the said elements of R. But li Xq is an element of X which does not belong to R, Xq may be regarded as a limiting element of a fundamental series {x^] contained in X, and this series can be replaced by a coherent fundamental series {r^J contained in R. To this [512] corre- sponds as image a fundamental series [s-^^] in S and M, which, because of {a), is limited by an element niQ of M that does not belong to S (F, § 10). Let this element m^ of M (which remains the same, by E, C, and D of § 10, if the fundamental series [x^} and [r^^] are replaced by others limited by the same element x^ in X) be the image of x^^ in X. Inversely, to every element m^ of M which does not occur in S belongs a quite definite element x^ of X which does not belong to R and of which m^ is the image. In this manner a bi-univocal correspondence between X and M is set up, and we have now to show that it gives an "imaging" of these aggregates. This is, of course, the case for those elements of X which belong to R, and for those elements of M 136 TRANSFINITE NUMBERS which belong to S. Let us compare an element r of R with an element x^ of X which does not belong to R ; let the corresponding elements of M be j and niQ. If rXQ, we conclude similarly that s >- 7/1^. Let us consider, finally, two elements Xq and x'q not belonging to R and the elements m^ and m'^ corresponding to them in M ; then we show, by an analogous consideration, that, if Xq e^^^ for all values of v, but that also there is no element g in F which satisfies the two conditions g > e"^ for all values of v. Thus, for example, the three aggregates (^1, a^, . . ., a^, . . .), («i, a^, . . ., a^, . . ., dj^, i?2- • -y ^fj^y • ' -^ where * This definition of "well-ordered aggregates," apart from the wording, is identical with that which was introduced in vol. xxi of the A/at/i. Attn., p. 548 {Grundlas:en einer allgcfneinen Maimichfaltig- keitslehre, p. 4). [See Section VII of the Introduction.] OF TRANSFINITE NUMBERS 139 are well-ordered. The two first have no highest element, the third has the highest element ^3; in the second and third b^ immediately follows all the elements a^, in the third i\ immediately follows all the elements a^ and b'^. In the following we will extend the use of the signs -< and >^, explained in § 7, and there used to express the ordinal relation of two elements, to groups of elements, so that the formulae M-< N, M>N are the expression for the fact that in a given order all the elements of the aggregate M have a lower, or higher, respectively, rank than all elements of the aggregate N. A. Every part F^ of a well-ordered aggregate F has a lowest element. Proof. — If the lowest element /^ of F belongs to Fj, then it is also the lowest element of F^. In the other case, let F' be the totality of all elements of F"" which have a lower rank than all elements F^, then, for this reason, no element of F lies between F' and F^. Thus, if/' follows (II) next after F, then it belongs necessarily to I^ and here takes the lowest rank. B. If a simply ordered aggregate F is such that both F and every one of its parts have a lowest element, then F is a well-ordered aggregate. \20()\ Proof. — Since F has a lowest element, the condition I is satisfied. Let F' be a part of F 140 THE FOUNDING OF THE THEORY such that there are in F one or more elements which follow F' ; let F^ be the totality of all these elements and /' the lowest element of F^, then obviously/' is the element of F which follows next to F'. Consequently, the condition II is also satis- fied, and therefore F is a well-ordered aggregate. C. Every part F' of a well-ordered aggregate F is also a well-ordered aggregate. Proof. — By theorem A, the aggregate F' as well as every part F'' of F' (since it is also a part of F) has a lowest element ; thus by theorem B, the aggregate F' is well-ordered. D. Every aggregate G which is similar to a well- ordered aggregate F is also a well-ordered aggregate. Proof. — If M is an aggregate which has a lowest element, then, as immediately follows from the concept of similarity (§ 7), every aggregate N similar to it has a lowest element. Since, now, we are to have G rsj F, and F has, since it is a well-ordered aggregate, a lowest element, the same holds of G. Thus also every part G' of G has a lowest element ; for in an imaging of G on F, to the aggregate G' corresponds a part F' of F as image, so that G' 00 F'. But, by theorem A, F' has a lowest element, and therefore also G' has. Thus, both G and every part of G have lowest elements. By theorem B, consequently, G is a well-ordered aggregate. E. If in a well-ordered aggregate G, in place of OF TRANSFINITE NUMBERS 141 its elements g well-ordered aggregates are sub- stituted in such a way that, if F^^ and F"^' are the well-ordered aggregates which occupy the places of the elements g and g' and g -<^ g\ then also F^^ -< F^^', then the aggregate H, arising by com- bination in this manner of the elements of all the aggregates F^, is well-ordered. Proof. — Both H and every part H^ of H have lowest elements, and by theorem B this characterizes H as a well-ordered aggregate. For, if g^ is the lowest element of G, the lowest element of F^ is at the same time the lowest element of H. If, further, we have a part Hj of H, its elements belong to definite aggregates F^ which form, when taken together, a part of the well-ordered aggre- gate {F^}, which consists of the elements F^ and is similar to the aggregate G. If, say, F^ is the lowest element of this part, then the lowest element of the part of H^ contained in F^ is at the same time the lowest element of H. . [210] § 13 The Segments of Well-Ordered Aggregates If / is any element of the well-ordered aggre- gate F which is different from the initial element y^^, then we will call the aggregate A of all elements of F which precede /"a " segment {AbscJinitt) of F, " or, more fully, *' the segment of F which is defined by the element/" On the other hand, the aggre- 142 THE FOUNDING OF THE THEORY gate R of all the other elements of F, including /, is a ''remainder of F," and, more fully, ''the remainder which is determined by the element /!" The aggregates A and R are, by theorem C of § 12, well-ordered, and we may, by § 8 and § I2, write : (1) F = (A, R), (2) R = (/, R'), (3) A < R. R' is the part of R which follows the initial element / and reduces to o if R has, besides /, no other element. For example, in the well-ordered aggregate the segment and the corresponding remainder (<^3, ^4, . . . «^ + 2, . . . ^1, <^2' • • • ^H^ ' ' ' ^V ^2' ^'3) are determined by the element a^ ; the segment (^1, a^, . . ., a,, . . .) and the corresponding remainder {b^, b^, . . ., b^, . . . q, ^2, ^3) are determined by the element b-^ ; and the segment (^1, «2) • • • . ^^^» . . . b^, b^, , . ., b^, . . . q) OF TRANSFINITE NUMBERS 143 "remainder and the corresponding gogmcnt by the element c.^. If A and A' are two segments of F,/and/' their determining elements, and (4) /' A'>A". . . A(^)>A('^+i). . . of segments of F, which continually become smaller and all similar to the aggregate F. We will denote by /, /', f'\ . . . , /^"^ . . . the elements of F which determine these segments ; then we would have />/' >/" >■■■ >/<-* > A+i) . . . We would therefore have an infinite part of F in which no element takes the lowest rank. But by theorem A of § 12 such parts of F are not possible. Thus the supposition of an imaging F on one of its segments leads to a contradiction, and consequently the aggregate F is not similar to any of its segments. OF TRANSFINITE NUMBERS 145 Though by theorem B a well-ordered aggregate F is not similar to any of its segments, yet, if F is infinite, there are always [212] other parts of F to which F is similar. Thus, for example, the aggregate F = (^i, a^, . . ., «,,, . . .) is similar to every one of its remainders Consequently, it is important that we can put by the side of theorem B the following : C. A well-ordered aggregate F is similar to no part of any one of its segments A. Proof. — Let us suppose that F' is a part of a segment A of F and F' 00 F. We imagine an imaging of F on F' ; then, by theorem A, to a segment A of the well-ordered aggregate F corre- sponds as image the segment Y" of F' ; let this segment be determined by the element f of F'. The element /' is also an element of A, and de- termines a segment A' of A of which F'" is a part. The supposition of a part F' of a segment A of F such that F' 00 F leads us consequently to a part F" of a segment A' of A such that Y" 00 A. The same manner of conclusion gives us a part Y'" of a segment A" of A' such that F"' 00 A'. Proceeding thus, we get, as in the proof of theorem B, an infinite series of segments of F which continually become smaller : A>A'>A". . . A(''>>A<''+i>. . ., 10 146 THE FOUNDING OF THE THEORY and thus an infinite series of elements determining these segments : in which is no lowest element, and this is impossible by theorem A of § 12. Thus there is no part F' of a segment A of F such that F' 00 F. D. Two different segments A and A' of a well- ordered aggregate F are not similar to one another. Proof. — If A' B of D and G itself are similar neither to a segment of F nor F itself. The proof follows from theorem G. K. If for any segment A of a well-ordered aerereeate F there is a similar see^ment B of another well-ordered aggregate G, and also inversely, for every segment B of G a similar segment A of F, then F 00 G. Proof. — We can image F and G on one another according to the following law : Let the lowest element f^ of F correspond to the lowest element g^ of G. If f^fi is any other element of F, it determines a segment A of F. To this segment belongs by supposition a definite similar segment B of G, and let the element ^ of G which determines the segment B be the image of F. And if g is any element of G that follows g^, it determines a segment B of G, to which by supposition a similar 148 THE FOUNDING OF THE THEORY segment A of F belongs. Let the element /"which determines this segment A be the image of ^. It easily follows that the bi-univocal correspondence of F and G defined in this manner is an imaging in the sense of § 7. For if/ and/' are any two elements of F, g and g' [2 1 4] the corresponding elements of G, A and A' the segments determined by/ and /', B and B' those determined by g and g\ and if, say, /'^ of B such that BiOoF; OF TRANSFINITE NUMBERS 151 and in the third case there is a definite segment A^ of F such that Ai fxj G. We cannot have F c\j G and F 00 B^ simultaneously, for then we would have G 00 Bj, contrary to theorem B ; and, for the same reason, we cannot have both F rv) G and G 00 A^. Also it is impossible that both F 00 Bj and G 00 A^, for, by theorem A, from F 00 B^ would follow the existence of a segment B'^ of B^^ such that A^ 00 B\. Thus we would have G 00 B'j, contrary to theorem B. O. If a part F' of a well-ordered aggregate F is not similar to any segment of F, it is similar to F itself. Proof. — By theorem C of § 12, F' is a well-ordered aggregate. If F' were similar neither to a segment of F nor to F itself, there would be, by theorem N, a segment F'^ of F' which is similar to F. But F'^ is a part of that segment A of F which [216] is determined by the same element as the segment F'^ of F'. Thus the aggregate F would have to be similar to a part of one of its segments, and this contradicts the theorem C. § 14 The Ordinal Numbers of Weil-Ordered Aggregates By § 7, every simply ordered aggregate M has a definite ordinal type M ; this type is the general con- 152 THE FOUNDING OF THE THEORY cept which results from M if we abstract from the nature of its elements while retaining their order of precedence, so that out of them proceed units {Einsefi) which stand in a definite relation of pre- cedence to one another. All aggregates which are similar to one another, and only such, have one and the same ordinal type. We call the ordinal type of a well-ordered aggregate F its "ordinal number." If a and /3 are any two ordinal numbers, one can stand to the other in one of three* possible relations. For if F and G are two well-ordered aggregates such that F = a, G = /3, then, by theorem N of § 13, three mutually ex- clusive cases are possible : {a) F 00 G ; {b) There is a definite segment Bj of G such that FooB^; (c) There is a definite segment Aj of F such that Goo A^. As we easily see, each of these cases still subsists if F and G are replaced by aggregates respectively similar to them. Accordingly, we have to do with three mutually exclusive relations of the types a and )8 to one another. In the first case a = /3; in the second we say that a/3. Thus we have the theorem : OF TRANSFINITE NUMBERS 153 A. If a and ^ are any two ordinal numbers, we have either a = l3 or a<^ or a> /3. From the definition of minority and majority follows easily : B. If we have three ordinal numbers a, /5, y, and if a < 18 and ^ a., and, by (10), we can express the numbers P^, by the numbers a^ as follows : (21) i^i=ai; /5^+i = a^+i — a^. The series «!, aa, . . ., a^, . . . thus represents any infinite series of ordinal numbers which satisfy the condition (20) ; we will call it a "fundamental series" of ordinal numbers (§10). Betw^een it and ^ subsists a relation which can be expressed m the following manner : {a) The number /5 is greater than a, for every J/, because the aggregate (G^, Gg, . . ., G„), whose ordinal number is a^, is a segment of the aggregate G which has the ordinal number ^ ; {b) If /3' is any ordinal number less than ^, then, from a certain v onwards, we always have For, since S' < jS, there is a segment B' of the 158 THE FOVNDING OF THE THEORY aggregate G which is of type /3'. The element of G which determines this segment must belong to one of the parts G^ ; we will call this part G^,^. But then B' is also a segment of (G^, Gg, . . ., G^ ), and consequently /3' < a^, . Thus for v^v^. Thus /3 is the ordinal number which follows next in order of magnitude after all the numbers a^ ; accordingly we will call it the "limit" {Grenze) of the numbers a^ for increasing v and denote it by Lim a^, so that, by (i6) and (21) : (22) Lim a^ = ai + («2 - «!> + •" • • + (a^+i -«.) + • • . [220] We may express what precedes in the following theorem : 1. To every fundamental series {a,J of ordinal numbers belongs an ordinal number Lim a,, which V follows next, in order of magnitude, after all the numbers a„ ; it is represented by the formula (22). If by y we understand any constant ordinal number, we easily prove, by the aid of the formulae (12), (13), and (17), the theorems contained in the formulae : (23) Lim (y + a„) = y + Lim a, ; V V (24) Lim y . ay = y . Lhn a^. V V We have already mentioned in § 7 that all simply OF TRANSFINITE NUMBERS 159 ordered aggregates of given finite cardinal number V have one and the same ordinal type. This may be proved here as follows. Every simply ordered aggregate of finite cardinal number is a well-ordered aggregate ; for it, and every one of its parts, must have a lowest element, — and this, by theorem B of § 12, characterizes it as a well-ordered aggregate. The types of finite simply ordered aggregates are thus none other than finite ordinal numbers. But two different ordinal numbers a and ^ cannot belong to the same finite cardinal number v. For if, say, a and (§ 6) (4) ^ = f^o- Thus 0) is a number of the second number-class, and indeed the least. For if y is any ordinal number less than o), it must (§ 14) be the type of a segment of Fq. But F^ has only segments A = (/i,/2, . . .,/.), with finite ordinal number v. Thus y = v. There- fore there are no transfinite ordinal numbers which are less than w, and thus w is the least of them. By the definition of Lim a^ given in § 14, we V obviously have a)=Lim v. OF TRANSFINITE NUMBERS i6i B. If a is any number of the second number-class, the number a+i follows it as the next greater number of the same number-class. Proof. — Let F be a well-ordered aggregate of the type a and of the cardinal number Nq : (5) F = a, (6) a=No- We have, where by g is understood a new element, (7) a+i=(F, ^). Since F is a segment of (F, g), we have (8) a+i>a. We also have a+i=a+i=No+i=«o (§^)- Therefore the number a+i belongs to the second number-class. Between a and a+i there are no ordinal numbers ; for every number y [222] which is less than a+ i corresponds, as type, to a segment of (F, g), and such a segment can only be either F or a segment of F. Therefore y is either equal to or less than a. C. If ai, aa, . . ., a„ . . . is any fundamental series of numbers of the first or second number-class, then the number Lim a, (§ H) following them next in V order of magnitude belongs to the second number- class. Proof. — By § 14 there results from the funda- II 1 62 THE FOUNDING OF THE THEORY mental series {a,,} the number Lim a^ if we set up V another series ^j, /^g, • . ., /8^, . . ., where If, then, Gj, Gg, . . ., G^, . . . are well-ordered aggre- gates such that then also G = (^i) ^2, . . ., G^, . . .) is a well-ordered aggregate and Lim a^ = G. V It only remains to prove that Since the numbers /^j, ^82, . . ., ft, • • . belong to the first or second number-class, we have and thus GOLy, X>Xo> OF rRANSFINTTE NUMBERS 163 and (11) a^>a\, At^Mo- [223] D. The limiting numbers Lim a^ and Lim a\ V V belonging respectively to two fundamental series {ay} and [a\} are equal when, and only when, {a.} II {«;}. Proof. — For the sake of shortness we put Lim a^, = /3, Lim a'^ = y. We will first suppose that {a^ II {a'4 ; then we assert that /3 = y. For if /3 were not equal to y, one of these two numbers would have to be the smaller. Suppose that /8/3 (§ 14), and consequently, by (11), from a certain /x onwards we would have a^>/5. But this is impossible because /3=Lim a^. Thus for all ^'s V we have a^a^, and, because a\ a\. That is to say, {aj || {a\]. E. If a is any number of the second number- class and vq any finite ordinal number, we have j/^-|-a = a, and consequently also a — VQ = a. Proof. — We will first of all convince ourselves of the correctness of the theorem when a = no. We have ^0 = Uv <^2' • • • a), we have a = CO + (a — w), i/Q + a = (I'o + w) + (« "" w) = ^ + (« ~ ^^ = «• F. If j/Q is any finite ordinal number, we have I/q . ft) = ftj. Ptoof, — In order to obtain an aggregate of the type i/Q . o) we have to substitute for the single elements /, of the aggregate (/i, Z^, ...,/„...) aggregates {g,^ i, ^v, 2> • • • > gv, v) of the type v^. We thus obtain the aggregate (^1. 1' ^1, 2) • • -5 S\, V ^2. i» • • • ' ^2, "o' • • • ' «^*'. 1' which is obviously similar to the aggregate {/,}. Consequently I/q . 0) = ft). The same result is obtained more shortly as follows. By (24) of § 14 we have, since ft)=Lim j/, 1/q 0)= Lim j^Q I/. On the other hand, and consequently Lim j/Qy=Lim t/ = ft) ; 1/ I' so that OF TRANSFINITE NUMBERS 165 [224] G. We have always (a + ^0)0) = aw, where a is a number of the second number-class d i/q a number of 1 Proof. — We have and Vq a number of the first number-class. Lim i/ = ft). V By (24) of § 14 we have, consequently, (a + i/o)a) = Lim {a-\-v^v. But I 2 V (a4-i/o>= (a + i/o) + (« + »'o)+ • • • +(« + t^o) I 2 v—l = a + (^^o + «) + K + «) • • • (t^o + «) + ^'o I 2 1/ = a + a+...+a + i/o = aj/ + i/q. Now we have, as is easy to see, {av\-VQ} II {av}, and consequently Lim (a + i^o)i/= Lim (ai^ + i/o) = Lim a»/ = aaj. V V V H. If a is any number of the second number- class, then the totality {a] of numbers a of the first and second number-classes which are less than a form, in their order of magnitude, a well-ordered aggregate of type a. 1 66 THE FOUNDING OF THE THEORY Proof. — Let F be a well-ordered aggregate such that F = a, and let/^ be the lowest element of F. If a is any ordinal number which is less than a, then, by § 14, there is a definite segment A' of F such that _ A' = a, and inversely every segment A' determines by its type h! = 0! a number a ^/i of F, and inversely every element/' >-/i of F determines a segment A' of F. If/' and/" are two elements of F which follow / in rank, A' and A" are the segments of F determined by them, a and a' are their ordinal types, and, say/' - • • •> y.^. • • • such that {y^} would represent the totality of numbers of the second [228] number-class in an order which is different from the order of magni- tude, and {y^} would contain, like {a}, no greatest number. Starting from y^, let y^ be the term of the series which has the least index of those greater than y^, yp the term which has the least index of those greater than y^, and so on. We get an infinite series of increasing numbers, yi> yp> • • •' ypv' • • •> 1/2 THE FOUNDING OF THE THEORY such that yi r^ ^ yp,- By theorem C of § 15, there would be a definite number S of the second number-class, namely, ^ = Limy,^, V which is greater than all numbers y^ . Consequently we would have S>y. for every v. But {y^} contains all numbers of the second number-class, and consequently also the number S ; thus we would have, for a definite v^, ^=yv which equation is inconsistent with the relation ^ > y^ . The supposition {a} = t^o consequently leads to a contradiction. E. Any totality {/3} of different numbers ^ of the second number-class has, if it is infinite, either the cardinal number «(, or the cardinal number {a} of the second number-class. Proof. — The aggregate {^}, when arranged in its order of magnitude, is, since it is a part of the well- ordered aggregate {a}, by theorem O of § 13, similar either to a segment Aa , which is the totality OF TRANSFINITE NUMBERS 173 of all numbers of the same number-class which are less than a©, arranged in their order of magnitude, or to the totality {a} itself. As was shown in the proof of theorem A, we have Thus we have either {^)—a^ — w or {/3} = {a}, and consequently {^} is either equal to Qq — w or {a). But oq — ft) is either a finite cardinal number or is equal to «o (theorem I of § 15). The first case is here excluded because {/3} is supposed to be an infinite aggregate. Thus the cardinal number {^} is either equal to j^q or {a}. F. The power of the second number-class {a} is the second greatest transfinite cardinal number Aleph-one. [229] Proof. — There is no cardinal number a which is greater than n^ and less than {a}. For if not, there would have to be, by § 2, an infinite part {/3} of {a} such that {/3}=a. But by the theorem E just proved, the part {/3} has either the cardinal number js^q or the cardinal number {a}. Thus the cardinal number {a\ is necessarily the cardinal number which immediately follows «o in magnitude ; we call this new cardinal number «j. In the second number-class Z(«o) we possess, consequently, the natural representative for the second greatest transfinite cardinal number Aleph- one. 174 THE FOUNDING OF THE THEORY % 17 The Numbers of the Form a)% + a)'""\+ . . . +j/^. It is convenient to make ourselves familiar, in the first place, with those numbers of Z({^o) which are whole algebraic functions of finite degree of w. Every such number can be brought — and brought in only one way — into the form (I) = a,% + a)'^-V+ . . . +.^, where ;x, v^ are finite and different from zero, but j^i, 1^2' • • •> '^i'* "^^y ^^ zero. This rests on the fact 4, we and, by theorem E of § 15, Thus, in an aggregate of the form . . . +w'^V + w^i/+ . . ., all those terms which are followed towards the right by terms of higher degree in « may be omitted. This method may be continued until the form given in (i) is reached. We will also emphasize that that (2) of'v -\r Iffv = 61)' V, if m'0, />o. For, by (8) of have iJd^ V + ^^^1/ = i/{v^. ^^-^v\ (3) w'^J/ + ft)V = a)'^(t/ + 0- OF TRANSFINITE NUMBERS 175 Compare, now, the number with a number \p- of the same kind: (4) V^ = coVo + ^')^"Vi+ • • • +P^' If yu and X are different and, say, iu\ we have In order to carry out the multiplication of and i/r, we remark that, if p is a finite number which is different from zero, we have the formula : (5) ^yo = a)%/D + w'^-Vi+ ... +1/^. It easily results from the carrying out of the sum consisting of p terms + ^+ . . . +0. By means of the repeated application of the theorem G of § 15 we get, further, remembering the theorem F of §15, (6) 0CO = ft)'^+S and consequently also . (7) 9^0)^ = 60^ + ^. By the distributive law, numbered (8) of § 14, we have 0\/^ = 0a)^iOo + 0w^'Vi+ • • • +V^^Px-i + 0/3a. Thus the formulae (4), (5), and (7) give the following result : {a) if p;^ = o, we have {b) If Pa is not equal to zero, we have OF TRANSFINITE NUMBERS 177 [231] We arrive at a remarkable resolution of the numbers in the following manner. Let (8.) = a)% + a)'^'/ci+ . . . -^(*r--K,, where and /Cq, /ci, . . ., act 3-re finite numbers which are different from zero. Then we have ^ = (co'^'/ci + w^^/ca + . . . + ur-^K,){s^^ - '^•/f + I ). By the repeated application of this formula we get = fo'^r/c^(w'"T-l-MT/f^_^+ l)(ft)'^T-2-'^T_l^^_2+ l). . . (co'^-'^'/Co+l). But, now, a)\+ I =(co^+ l)/c, if /c is a finite number which is different from zero ; so that : . . . (ft)'^-'^'+I>o. The factors 0)^+ i which occur here are all irre- soluble, and a number can be represented in this product-form in only one way. If fXj — o^ then is of the first kind, in all other cases it is of the second kind. The apparent deviation of the formulae of this paragraph from those which were given in Math. Ann., vol. xxi, p. 585 (or Grundlagen, p. 41), is merely a consequence of the different writing of the product of two numbers : we now put the multi- 12 178 THE FOUNDING OF THE THEORY plicand on the left and the multipHcator on the right, but then we put them in the contrary way. §i8 The Power * y* in the Domain of the Second Number- Class Let ^ be a variable whose domain consists of the numbers of the first and second number-classes in- cluding zero. Let y and (5 be two constants belong- ing to the same domain, and let ^>0, y>l. We can then assert the following theorem : A. There is one wholly determined one-valued function /(^) of the variable ^ such that : {a) /(o) = ^. {b) \i ^' and ^' are any two values of ^, and if then /(f)0 and y> i, we have /(l)/(a.i); SO that the conditions {b), (c), and (d) are satisfied for f^a. But if a is of the second kind and {a^} is a fundamental series such that Lim a^ = a, then it follows from (d) that also {/(ay)] is a fundamental series, and from (d) that /(a) = Lim /(a^). If we take another fundamental series {a^} such that Lim a\, = a, then, because of (d), the two funda- mental series {/(a,,)} and {/(a\)} are coherent, and thus also /(a) = Lim /(a'„). The value of /(«) is, consequently, uniquely determined in this case also. If a' is any number less than a, we easily convince ourselves that /(a) < /(a). The conditions (d), (c)y and (d) are also satisfied for ^<'a. Hence follows the validity of the theorem / I, we have, for every value of f, Proof. — In the cases ^ = o and ^= I the theorem is immediately evident. We now show that, if it holds for all values of ^ which are smaller than a given number a> I, it also holds for ^=a. If a is of the first kind, we have, by supposition, a_ia_i + a_i(y-l). Since both a_^ and y— i are at least equal to i, and a_i+ I =a, we have y" > a. OF TRANSFINITE NUMBERS 183 If, on the other hand, a is of the second kind and a = Lim a„, then, because a^,y% which contradicts what we have proved above. Thus we have for all values of ^ § 19 The Normal Form of the Numbers of the Second Number- Class Let a be any number of the second number-class. The power 00^ will be, for sufficiently great values 1 84 THE FOUNDING OF THE THEORY of ^, greater than a. By theorem F of § i8, this is always the case for f >a ; but in general it will also happen for smaller values of f. By theorem B of § i6, there must be, among the values of ^ for which d)^> a, one which is the least. We will denote it by /3, and we easily convince ourselves that it cannot be a number of the second kind. If, indeed, we had /5 = Lim /5j,, V we would have, since ^^ < /3, CO " < a, and consequently Lim 0)^' ^ a. V Thus we would have o)^ < a, whereas we have Therefore /3 is of the first kind. We denote /3_i by Oq, so that ^ = ao+i, and consequently can assert that there is a wholly determined number a^ of the first or second number-class which satisfies the two conditions : (l) (jo^<^a, o)'^o)>a. From the second condition we conclude that OF TRANSFINITE NUMBERS 185 does not hold for all finite values of v, for if it did we would have Lim a)% = co"«a) < a. V The least finite number v for which {£) ^v> a will be denoted hy kq-\-i. Because of (i), we have /Co > o. [236] There is, therefore, a wholly determined number k^ of the first number-class such that (2) a)''oA:o< a, a)%(/Co + l) > a. If we put a — a)%/co = a', we have (3) a = a)%/Co + a' and (4) 0f-h 0 a> a'> a" . . . If a series of decreasing transfinite numbers were infinite, then no term would be the least ; and this is impossible by theorem B of § i6. Consequently we must have, for a certain finite numerical value r. «^^+^;=o- OF TRANSFINITR NUMBERS 187 [237] If we now connect the equations (3), (5), (6), and (7) with one another, we get the theorem : B. Every number a of the second number-class can be represented, and represented in only one way, in the form where Oq, ai , . . . a^ are numbers of the first or second number-class, such that : a^ > Oj > ag > . . . > ctj ^ O, while /Co, /ci, . . . /c^, r+i are numbers of the first number-class which are different from zero. The form of numbers of the second number-class which is here shown will be called their ' ' normal form " ; a^ is called the ' ' degree " and a^ the ''exponent" of a. For t = o, degree and exponent are equal to one another. According as the exponent a^ is equal to or greater than zero, a is a number of the first or second kind. Let us take another number ^ in the normal form : (8) ^ = a)^«Xo + a)^'Xi+ . • . +co^'^Xa. The formulae : (9) w'^'/c' -I- w'^'/c = w'^X'c' + /c), (10) ■ a)*"'/ + co*V' = w'^V, a «o+l aa)= o) (13) aw^' = a)'^o+^; /3'>0. The exponentiation a^ can be easily carried out on the basis of the following formulae : (14) a^ = a)*o%+ . . ., 00. Thus, in consequence of theorem E of § 18, we have : (16) a"^' = w"''"^ ao>0, ^'>0. By the help of these formulae we can prove the following theorems : [238] C. If the first terms w^o/cq, w^oXq of the normal forms of the two numbers a and /3 are not equal, then a is less or greater than /3 according as a)«o/c-Q is less or greater than co^^Xq. But if we have and if w'^'^+Vp+i is less or greater than w^p-^\+i, then a is correspondingly less or greater than ^. OF TRANSFINITE NUMBERS 189 D. If the degree a^ of a is less than the degree i8o of ^, we have a + /3 = /3. If ao = /5o, then a + /3 = a)^o(;,^ + Xo) + a)^*Xi+ . . . +oAA,. But if then a + ^ = w'^/CoH- . . . +a)"''/Cp + a)^«Xo + ^'^i+ • • • +^"X^- E. If ^ is of the second kind (/3^>o), then a/3 = (o'^o+^oXQ + a)«o+^^Xi+ . . . + w'^o+^-X^ = w*o/3 ; But if /3 is of the first kind (/3, = o), then a^ = (o«o+^oX(, + a)«^^+^^Xi+ . . .+co'^'>+^'--iX^_i + oj'^*'/CoX^ 4- w'^'/ci + . . . + o/^/c^. F. If /3 is of the second kind (/3<^>o), then But if (3 is of the first kind (^^ = 0), and indeed 8 = ^' + Xo-, where (3' is of the second kind, we have: G. Every number a of the second number-class can be represented, in only one way, in the product- form : a = a)V(w^'+ l)Kr-lW'+ l)/Cr-2 • • • (o)^" + iK, and we have 70 = «T) yi = ar-i — aT5 y2 = Wr-2 — «T-1, . . •>yT = «o'~«i' 190 THE FOUNDING OF THE THEORY whilst /cq, /cj, . . . K^ have the same denotation as in the normal form. The factors (0"^+! are all irresoluble. H. Every number a of the second kind which belongs to the second number-class can be repre- sented, and represented in only one way, in the form a — L'd'^a i where yo>o and a is a number of the first kind which belongs to the first or second number-class. [239] I. In order that two numbers a and ^ of the second number-class should satisfy the relation it is necessary and sufficient that they should have the form a = yyw, /3 = yv^ where /x and v are numbers of the first number-class. K. In order that two numbers a and ^ of the second number-class, which are both of the first kind, should satisfy the relation it is necessary and sufficient that they should have the form where ^ and v are numbers of the first number-class. In order to exemplify the extent of the normal form dealt with and the product-form immediately connected with it, of the numbers of the second OF TRANSFINITE NUMBERS 191 number-class, the proofs, which are founded on them, of the two last theorems, I and K, may here follow. From the supposition a + /3 = /3 + a we first conclude that the degree oq of a must be equal to the degree ^^ of ^. For if, say, Qq /3\ and All the numbers which occur here and farther on are of the first kind, because this was supposed of a and /3. The last equation, when we refer to theorem G, shows that a and /3' cannot be both transfinite, because, in this case, there would be a common factor at the left end. Neither can they be both finite ; for then S would be transfinite, and, if k is the finite factor at the left end of S, we would have OP TRANSPINITE NUMBERS 193 and thus Thus there remains only the possibility that a >o), P' < CO. But the finite number /3' must be t : because otherwise it would be contained as part in the finite factor at the left end of «'. We arrive at the result that /3 = (5, consequently a = (3a , where a is a number belonging to the second number-class, which is of the first kind, and must be less than a : a l3, we conclude in the same way the existence of a transfinite number of the first kind a' which is less than a and such that a=Pa\ a '13 = /3a'. If also a' is greater than (3, there is such a number a"' less than a\ such that a =pa , a p = /5a , and so on. The series of decreasing numbers, a, a', a\ a"\ . . ., must, by theorem B of § 16, break \ i3 194 THE FOUNDING OF THE THEORY off. Thus, for a definite finite index ^q, we must have (p. < a^'^o /3. If we have the theorem K would then be proved, and we would have But if then we put and have Thus there is also a finite number p^ such that In general, we have analogously : and so on. The series of decreasing numbers /3i, /^a, I3q, . . . also must, by theorem B of § i6, break off. Thus there exists a finite number k such that If we put then OF TRANSFTNITR NUMBERS 195 where /x and v are numerator and denominator of the continued fraction: +- p. [242] § 20 The e-Numbers of the Second Number- Class The degree a© of a number a is, as is immediately evident from the normal form : (1) a = w'^o/Cq + (o*i/Ci + . . . , «(, > ai > . . . , 0'>y, that is to say, 7i>y. Thus, by theorem B of § 1 8, we have also w'^'i > w'>', that is to say, y2>yi ; and in the same way follows that y3>y2, and so on. The series {y^} is thus a fundamental series. We denote its limit, which is a function of y, by E(y) and have : ^E(v) _ Lin^ ^v^^ Lin^ y^^^ — E(y). V V Consequently E(y) is an e-number. B. The number eo = E(i) = Lim w^,, where V is the least of all the e-numbers. [243] Proof. — Let e be any e-number, so that Since e'>w, we have w''>w'", that is to say, e > w^. Similarly t/xo'*'', that is to say, e'xo^, and so on. We have in general OF TRANSFINITE NUMBERS 197 and consequently e'>.Lim a)„, that is to say, Thus eo = E(i) is the least of all e-numbers. C. If e' is any e-number, e" is the next greater e-number, and y is any number which lies between them : e' < y < e', then E(y) = e". Proof. — From e' < y <: e' follows that is to say, e' < yi < e' . Similarly we conclude e' < ya < e", and so on. We have, in general, e < y,, < e'', and thus e' 175 ff-> 206. Adherences, 73. Aggregate, definition of, 46, 47, .54, 74, 85. of bindings, 92. of union, 50, 91. Alembert, Jean Lerond d', 4. Algebraic numbers, 38 ff. , 127. Aquinas, Thomas, 70. Aristotle, 55, 70. Arithmetic, foundations of, with Weierstrass, 12. with Frege and Russell, 202, 203. Arzela, 73. Associative law with transfinite numbers, 92, 93, 119, 121, 154, 155. Baire, Rene, ']t,. Bendixson, Ivar, ']i. Berkeley, George, 55. Bernoulli, Daniel, 4. Bernstein, Felix, 204. Bois-Reymond, Pauldu, 22,34,51. Bolzano, Bernard, 13, 14, 17, 21, 22,41, 55. 72. Borel, Emile, 73. Bouquet, 7. Briot, 7. Broden, 73. Brouwer, 208. Burali-Forti, Cesare, 20s, 206, Cantor, Georg, v, vi, vii, 3, 9, 10, 13, 18, 22, 24, 25, 26, 28, 29, 30, 32, 11. 34, 35, 36, . 37, 38, 41, 42, 45, 46, 47, 48, 49, 51, 52, 53, 54, 55, 56, 57, 59, 60, 62, 63, 64, 68, 69, 70, 72, 73, 74, 76, 77, 79, 80, 81, 82, 202, 204, 205, 206, 208. Dedekind axiom, 30. Cardinal number {see also Power), 74, 79 ff., 85 ff., 202. finite, 97 ff. smallest transfinite, 103 ff. Cardinal numbers, operations with, 204. series of transfinite, 109. Cauchy, Augustin Louis, 2, 3, 4, 6, 8, 12, 14, 15, 16, 17,22, 24. Class of types, 114. Closed aggregates, T32. types, 133. Coherences, 73. Coherent series, 129, 130. Commutative law with transfinite numbers, 66, 92, 93, 119 ff., 190 ff. Condensation of singularities, 3, 9, 48, 49. Connected aggregates, 72. Content of aggregates, ']1. Content-less, 51. Continuity of a function, i. Continuous motion in discon- tinuous space, 37. Continuum, 33, yj , 41 ff., 47, 48, 64, 70 ff., 96, 205. Contradiction, Russell's, 206, 207. Convergence of series, i, 15, 16, 17, 20, 24. Cords, vibrating, problem of, 4. 209 14 2IO INDEX D'Alembert {see Alembert, J. L. d'). Dedekind, Richard, vii, 23, 41, . 47, 49, IZ- Definition of aggregate, 37. Democritus, 70. De Morgan, Augustus, 41. Density in itself, 132. Derivatives of point- aggregates, 3, 3off-.,37. Descartes, Rene, 55. Dirichlet, Peter Gustav Lejeune, 2, 3, 5, 7, 8, 9, 22, 35, Discrete aggregates, 51. Distributive law with transfinite numbers, 66, 93, 121, 155. Enumerability, 32, 38ff.,47, 5ofif., 62. Enumeral, 52, 62. Epicurus, 70. Epimenides, 207. Equivalence of aggregates, 40, 75, 86 ff. Euler, Leonhard, 4, 5, 9, 10. Everywhere-dense aggregates, 33, 35. 37, 123. types, 133. Exponentiation of transfinite numbers, 82, 94 ff,, 207. Fontenelle, 118. Formalism in mathematics, 70, 81. Fourier, Jean Baptiste Joseph, I, 2, 5, 6, 8, 24. Freedom in mathematics, d'] ff. Frege, Gottlob, 23, 70, 202, Function, conception of, i. Functions, theory of analytic, 2, 6, 7, 10, II, 12, 13, 22, 73. arbitrary, 4, 6, 34. theory of real, 2, 8, 9, 73. Fundamental series, 26, 128 ff. Gauss, Carl Friedrich, 6, 12, 14. Generation, principles of, 56, 57. Gudermann, lO. Hahn, H., 203. Haller, Albrecht von, 62. Hankel, Hermann, 3, 7, 8, 9, 17, 49, 70. Hardy, G. H., 205, 206, Harnack, Axel, 51, 73. Hausdorff, Felix, 207 208. Heine, H. E., 3, 26, 69. Helmholtz, H. von, 42, 70, 81. Hessenberg, Gerhard, 207. Hobbes, Thomas, 55. Imaginaries, 6. Induction, mathematical, 207. Infinite, definition of, 41, 61, 62. Infinitesimals, 64, 81. Infinity, proper and improper, 55, 79-. Integrability, Riemann's con- ditions of, 8. Integrable aggregates, 51. Inverse types, 114. Irrational numbers, 3, 14 ff. , 26 ff. analogy of transfinite numbers with, 77 ft". Isolated aggregate, 49. point, 30. Jacobi, C. G. J., 10. Jordan, Camille, 73. Jourdain, Philip E. B., 4, 6, 20, 32, 52, 205, 206, 207, 208. Killing, W., 118. Kind of a point-aggregate, 32. Kirchhoff, G. , 69. Konig, Julius, 207. Kronecker, L., 70, 81. Kummer, E. E. , 69. Lagrange, J. L., 5, 14. Leibniz, G. W. von, 55. Leucippus, 70. Limitation, principle of, 60. Limiting element of an aggregate, Limit-point, 30. Limits with transfinite numbers, 77 ff., 131 ff., 58 ff Liouville, J., 40. Lipschitz, R., 6. Locke, J., 55. Lucretius, 70. INDEX Mach, Ernst, 69. Maximum of a function, 22. Mitlag-Leifler, Gosta, ii. Mutliplication of cardinal num- bers, 80, 91 ff. of ordinal types 81, 119 ff, 154. of transfmite numbers, 63, 64, 66, 176 ff. Newton, Sir Isaac, 15. Nominalism, Cantor's, 69, 70. Number-concept, logical definition of, 202, 203. Ordinal number {see also Enumeral), 75, 151 ff. numbers, finite, 113, 158, 159. type, 75, 79 ff., no ff. type of aggregate of rational numbers, 122 ff. , 202. types of multiply ordered aggre- gates, 81, 208. Osgood, W. F., 73. Peano, G., 23. Perfect aggregates, 72, 132. types, 133. Philosophical revolution brought about by Cantor's work, vi. Physical conceptions and modern mathematics, I. Point-aggregates, Cantor's early work on, v, vi. theory of, 3, 20 ff., 30 ff., 64, 73- Potential, theory of, 7. Power, second, 64 ff. , 169 ff. of an aggregate, 32, 37, 40, 52 ff., 60, 62. Prime numbers, transfinite, 64, 66. Principal element of an aggregate, 131- Puiseux, v., 7. Reducible aggregates, 71. Relation numbers, 203. Riemann, G. F. B., 3, 7, 8, 9, 10, 12, 25, 42. Riess, F., 208. Russell, Bertrand, 20, 23, 53, 202, 203, 204, 206, 207. Schepp, A., 117. Schmidt, E., 204. Schoenflies, A., 73, 203, 207. Schwarz, 8, 12. Second number-class, cardinal number of, 169 ff. epsilon-numbers of the, 195 ff. exponentiation in, 178 ff. normal form of numbers of, 183 ff numbers of, 160 ff. Segment of a series, 60, 103, 141 ff. Selections, 204 ff. Similarity, 76, 112 ff. Species of a point-aggregate, 31. Spinoza, B. , 55. Steiner, J., 40. Stolz, O., 17, 73. Subtraction of transfinite numbers, 66, 155, 156. Teubner, B. G., vii. Transfinite numbers, 4, 32, 36, 50 ff., 52 ff Trigonometrical developments, 2, 3,4, 5, 6, 7, 8, 24ff, 31. Unextended aggregates, 51. Upper limit, 21. Veronese, G., 117, 118. Weierstrass, Karl, vi, vii, 2, 3, 10, II, 12, 13, 14, 17, 18, 19, 20, 21, 22, 23, 24, 26, 30, 48. Well-ordered aggregates, 60, 61, 75 ff, 137 ff. Well-ordering, 204 ff. Whitehead, A. N., 203, 204. Zeno, 15. Zermelo, E., 204, 206, 207, 208. Zermelo's axiom, 204 ff. PRINTED IN GREAT BRITAIN BY NEILl. AND CO., LTD., EDINRURGH v. 7 D V. RETURN TO -3 "■> . ' - d ^^ ^ \ 14 DAY USE vTSCi:^ Trryf^.Tkr voTXTT^tl \ I ^ rz\ -in 1 f. c .'f"'^ ■ r DAN PERIO HOME ETURN C o m Si5 o r -•> tn K3 1 1 ION Libr 1 1 Q s 1 ^ m ■ •n [ 1 > I ) ;a > > •H r m r T 1 ^ Ca3 C 7 Z S 4 -H - 7 i > ■4 f \ J -% f . p.v: v,.„ '5,vr. 'm^ BNL2^ *i^r?s?^ aV^oro- GENERAL LIBRARY- U.C.BERKELEY BD00731531 THE UNIVERSITY OF CAUFORNIA LIBRARY ■^M^'^r-, 9Uif-i7'^7