Está en la página 1de 49

Qu son y para qu sirven

los nmeros?
Por

Richard Dedekind
Profesor en la Escuela Politcnica de Braunschweig

vo [el hombre es siempre aritmtico]1

Contenidos
Prlogo a la primera edicin.................................. a la segunda edicin.................................... a la tercera edicin.................................... 1. Conjuntos de elementos................................... 2. Representacin de un conjunto............................ 3. Similaridad de una representacin. Conjuntos similares... 4. Representacin de un conjunto en s mismo................ 5. Finito e infinito....................................... 6. Conjuntos simplemente infinitos. Serie de los nmeros naturales............................................... 7. Nmeros mayores y menores............................... 8. Partes finitas e infinitas de la serie numrica......... 9. Definicin de una representacin de la serie numrica mediante induccin...................................... 10. La clase de los conjuntos simplemente infinitos.......... 11. Adicin de nmeros...................................... 12. Multiplicacin de nmeros............................... 13. Potenciacin de nmeros................................. 14. Cardinal de un conjunto..................................

Prlogo a la primera edicin.

En la ciencia, lo que es demostrable no debe aceptarse sin demostracin. Por evidente que parezca esta exigencia, segn creo no hay que considerarla satisfecha ni siquiera en la fundamentacin de la ciencia ms sencilla, aquella parte de la lgica que trata de la teora de los nmeros, ni aun en las exposiciones ms recientes.*2 Al decir que la aritmtica (lgebra, anlisis)3 es slo una parte de la lgica, estoy manifestando ya que considero el concepto de nmero como algo completamente independiente de las representaciones o intuiciones del espacio y del tiempo, como algo que es ms bien un resultado inmediato de las puras leyes del pensamiento. Mi respuesta fundamental a la pregunta que se establece en el ttulo de este escrito es: los nmeros son creaciones libres del espritu humano, sirven como medio para concebir ms fcil y claramente la diversidad de las cosas.4 Mediante la construccin puramente lgica de la ciencia de los nmeros, y mediante el dominio numrico continuo que con ella se obtiene, nos encontramos por vez primera en situacin de investigar con precisin nuestras representaciones de espacio y tiempo, relacionndolas con este dominio numrico creado en nuestra mente.** Considerando atentamente lo que hacemos al contar una cantidad o nmero de cosas, nos vemos llevados a observar la capacidad mental de relacionar cosas con cosas, hacer corresponder una cosa a otra, o representar una cosa mediante otra, facultad sin la cual sera absolutamente imposible el pensamiento. Segn mi opinin, como ya he afirmado en un anuncio de este escrito,*** la ciencia entera de los nmeros debe erigirse sobre este nico fundamento, que es adems absolutamente indispensable. La intencin de hacer una exposicin semejante la tengo ya desde antes de la publicacin de mi escrito sobre la continuidad, pero slo despus de la aparicin del mismo, y con muchas interrupciones motivadas por el aumento de mis ocupaciones profesionales y por otros trabajos necesarios, he podido escribir entre los aos 1872 y 1878 un primer borrador de pocas hojas, que luego han ojeado y discutido conmigo parcialmente varios matemticos.5 Este borrador lleva el mismo ttulo y contiene ya, aunque no en el mejor orden, todos los pensamientos fundamentales de mi presente escrito, que slo les aporta una presentacin ms cuidada; como tales puntos fundamentales mencionar aqu la distincin ntida entre lo finito y lo infinito (64), la nocin de cardinal (161), la demostracin de que el mtodo de prueba conocido bajo el nombre de induccin completa (o paso de n a n+1) es realmente concluyente (59, 60, 80), y de que tambin la definicin por induccin (o recursin) es categrica y est libre de contradiccin (126). Este escrito lo puede entender todo aquel que posea lo que se llama un sano sentido comn; no se

) De los escritos que conozco mencionar el meritorio Lehrbuch der Arithmetik und Algebra de E. Schrder (Leipzig 1873), en el que se puede encontrar bibliografa, y adems los ensayos de Kronecker y de Helmholtz sobre el concepto de nmero y sobre contar y medir (en la coleccin de artculos filosficos dedicados a E. Zeller, Leipzig 1887). La aparicin de estos artculos es el motivo que me ha impulsado a hacer aparecer tambin mi concepcin del tema, similar a aquellas en muchos respectos pero esencialmente diferente en sus fundamentos, concepcin que he construdo hace muchos aos y sin ninguna influencia de otros autores.
**

***

) Cf. el 3 de mi escrito: Continuidad y nmeros irracionales (Braunschweig 1872). ) Dirichlet, Vorlesungen ber Zahlentheorie, tercera edicin, 1879, 163, nota a la pag. 470.

necesitan en absoluto conocimientos filosficos o matemticos. Pero s perfectamente que muy pocos querrn reconocer, en las vagas figuras a las que les conduzco, sus nmeros, que les han acompaado toda su vida como amigos fieles y familiares; les espantar la larga serie de conclusiones simples que corresponde a las caractersticas de nuestro entendimiento escalonado [Treppenverstand], as como el seco anlisis de la serie de pensamientos sobre los que descansan las leyes de los nmeros, y les impacientar tener que seguir demostraciones de verdades que resultan, para su supuesta intuicin interior, evidentes y seguras de antemano. Por el contrario, yo encuentro en esa misma posibilidad de reducir semejantes verdades a otras ms simples, por larga y aparentemente artificial que pueda resultar la serie de razonamientos, una prueba convincente de que su posesin o la creencia en ellas nunca viene dada inmediatamente por intuicin interior, sino que se obtiene nicamente a travs de una repeticin ms o menos completa de cada uno de los razonamientos. Me gustara comparar esa actividad mental, difcil de seguir debido a la rapidez de su ejecucin, con la que desarrolla al leer un lector experto; tambin leer supone siempre una repeticin ms o menos completa de cada uno de los pasos que debe dar el principiante que deletrea penosamente; al experto le basta una pequea parte de los mismos, y por tanto escaso trabajo o esfuerzo mental, para reconocer la palabra correcta, claro que slo con una probabilidad muy alta; porque, como se sabe, incluso el corrector de pruebas ms experto deja pasar de vez en cuando una errata, es decir la lee mal, lo que sera imposible si la cadena de pensamientos correspondiente al deletreo se repitiese completamente. As tambin nos vemos conducidos constantemente y cada vez ms, ya desde nuestro nacimiento, a relacionar cosas con cosas, y de esta forma a ejercitar esa capacidad mental sobre la que descansa la creacin de los nmeros; mediante esta prctica incesante pero no premeditada, que tiene lugar ya en nuestros primeros aos de vida, y mediante la correspondiente construccin de juicios y series de inferencias, alcanzamos un tesoro de verdades propiamente aritmticas, a las que ms tarde se referirn nuestros primeros maestros como a algo sencillo, evidente, dado en la intuicin interior; y as sucede que muchos conceptos que son realmente muy complicados (como por ejemplo el de cardinal) se tienen equivocadamente por simples. En este sentido, al que me refiero con las palabras vo , construidas a imitacin de un dicho famoso, ojal que las siguientes pginas tengan un buen recibimiento, como un intento de erigir la ciencia de los nmeros sobre fundamentos uniformes, y ojal estimulen a otros matemticos a reducir las largas series de demostraciones a una cantidad ms discreta y agradable. De acuerdo con el propsito de este escrito me limito a la consideracin de la serie de los llamados nmeros naturales. De qu manera se puede realizar luego la extensin progresiva del concepto de nmero, la creacin del cero, de los nmeros negativos, quebrados, irracionales y complejos, reducindolos siempre a las nociones previas y sin que se inmiscuyan en absoluto ideas extraas (como por ejemplo la de cantidad medible) que en mi opinin slo mediante la ciencia de los nmeros pueden elevarse a una claridad completa, lo he mostrado ya en mi escrito anterior sobre la continuidad (1872), al menos para el caso de los nmeros irracionales; como ya manifestaba all mismo ( 3), es fcil tratar las dems extensiones de forma completamente similar, y me reservo el derecho de ofrecer algn da una exposicin completa de esta cuestin. Desde ese punto de vista resulta evidente, y nada nuevo, que todo teorema del lgebra y del anlisis superior, por alejado que est, puede expresarse como un teorema sobre nmeros naturales, afirmacin que tambin he odo repetidas veces en boca de Dirichlet. Pero de ningn modo encuentro algo meritorio -y esto estaba tambin muy lejos de Dirichlet- en realizar de hecho ese penoso circunloquio y no utilizar ni querer admitir ms nmeros que los naturales. Por el contrario, los avances

mayores y ms fructferos en la matemtica y en otras ciencias se han realizado principalmente a travs de la creacin e introduccin de nuevos conceptos, impulsada por la frecuente repeticin de fenmenos complejos, que slo a duras penas podan ser dominados mediante los viejos conceptos.6 Sobre este asunto sostuve ya en el verano de 1854, con ocasin de mi habilitacin como Privatdozent en Gttingen, una conferencia, ante la facultad de filosofa, cuyo punto de vista fue aprobado incluso por Gauss; pero no es ste el lugar de extenderse ms sobre ese tema. En lugar de ello aprovechar la ocasin para hacer algunas consideraciones relacionadas con mi escrito anterior, ya mencionado, sobre continuidad y nmeros irracionales. La teora de los nmeros irracionales que en l se desarrolla, ideada en otoo de 1858, se basa en aquel fenmeno que ocurre en el dominio de los nmeros irracionales ( 4) al que he puesto el nombre de cortadura y que he sido el primero en investigar detenidamente, y culmina en la demostracin de la continuidad del nuevo dominio de los nmeros reales ( 5.IV). Esa teora me parece ms sencilla, yo dira incluso ms serena, que las otras dos, distintas tanto de aquella como entre s, creadas por los seores Weierstrass y Cantor, teoras que en cualquier caso son completamente rigurosas. Ms tarde ha sido recogida, sin cambios esenciales, por el seor U. Dini en los Fondamenti per la teorica delle funzioni di variabili reali (Pisa 1878); pero la circunstancia de que, en el desarrollo de esa exposicin, mi nombre no se mencione al describir el fenmeno puramente aritmtico de la cortadura, sino casualmente all donde se trata de la existencia de una magnitud medible correspondiente a la cortadura, podra quiz llevar a sospechar que mi teora se apoya en la consideracin de semejantes magnitudes. Nada podra ser ms errneo; ms bien he aducido en el 3 de mi escrito varias razones por las que rechazo totalmente la inmiscusin de magnitudes medibles, y especialmente al final observo respecto a su existencia que para una gran parte de la ciencia del espacio la continuidad de sus figuras no es ni siquiera una suposicin necesaria, al margen de que en las obras de geometra esa nocin se mencione incidentalmente de forma nominal, pero nunca es definida con precisin, y por tanto tampoco se hace susceptible de demostracin. Para aclarar esto algo ms, considero a modo de ejemplo lo siguiente. Eljanse arbitrariamente tres puntos A, B, C que no estn en lnea recta, con la nica condicin de que las proporciones de sus distancias AB, AC, BC sean nmeros algebraicos,* y considrese que en el espacio slo existen aquellos puntos M para los cuales las proporciones entre AM, BM, CM y AB sean igualmente nmeros algebraicos; entonces el espacio compuesto de estos puntos es discontinuo por todas partes, como es fcil ver; pero a pesar de la discontinuidad o lacunariedad de este espacio, todas las construcciones que intervienen en los Elementos de Euclides son, hasta donde yo veo, igualmente practicables que en el espacio totalmente continuo; la discontinuidad de este espacio no se observara, no se experimentara en absoluto en la ciencia de Euclides. Si alguien me objetara que no podemos en absoluto pensar el espacio de otra forma que continuo, me gustara dudarlo y llamar la atencin sobre lo desarrollada y sutil que es la formacin cientfica necesaria simplemente para reconocer con claridad la esencia de la continuidad, y para comprender que fuera de las proporciones racionales entre magnitudes tambin pueden considerarse las proporciones irracionales, y fuera de las algebraicas tambin las trascendentes. Tanto ms hermoso me parece que el hombre pueda, sin ninguna representacin de las magnitudes medibles, y a travs de un conjunto finito de razonamientos simples, elevarse a la creacin del dominio aritmtico puro y continuo; y slo con este medio le es posible, en mi opinin, perfeccionar la representacin del espacio continuo hasta hacerla clara.
*

) Dirichlet, Vorlesungen ber Zahlentheorie, 159 de la segunda edicin, 160 de la tercera.

La misma teora de los nmeros irracionales basada en el fenmeno de la cortadura se encuentra expuesta en la Introduction la thorie des fonctions d'une variable de J. Tannery (Paris 1886). Si comprendo correctamente un pasaje del prlogo de esta obra, el autor ide independientemente esa teora, es decir en un tiempo en que le eran desconocidos no slo mi escrito, sino tambin los Fondamenti de Dini, mencionados en el mismo prlogo; esta coincidencia me parece una agradable prueba de que mi concepcin corresponde a la naturaleza de la cosa, lo que tambin ha sido admitido por otros matemticos, por ejemplo por el seor M. Pasch en su Einleitung in die Differential- und Integralrechnung (Leipzig 1883). Por contra no puedo estar de acuerdo sin ms con el seor Tannery cuando dice que esta teora es el desarrollo de una idea procedente del seor J. Bertrand, contenida en su Trait d'arithmtique, y que consiste en definir un nmero irracional especificando todos los nmeros racionales que son menores, y todos los que son mayores que el nmero que se quiere definir. Sobre esta afirmacin, repetida por el seor O. Stolz al parecer sin mayor examen en el prlogo a la segunda edicin de sus Vorlesungen ber allgemeine Arithmetik (Leipzig 1886), me permito considerar lo siguiente. La conviccin de que un nmero irracional puede considerarse de hecho completamente determinado mediante la especificacin recin descrita, constituy siempre, y sin duda ya antes del seor Bertrand, patrimonio comn de todos los matemticos que se han ocupado del concepto de los irracionales; todo calculador que determina una raz irracional de una ecuacin mediante aproximaciones est siguiendo precisamente ese mtodo; y si se considera el nmero irracional como una proporcin entre magnitudes medibles, nica forma en que lo hace el seor Bertrand en su obra (tengo ante m la octava edicin del ao 1885), entonces este mtodo de determinacin est expresado ya de la manera ms clara en la clebre definicin que da Euclides (Elementos, V.5) para la igualdad de proporciones. Esta antigua conviccin es la fuente de mi teora tanto como de la del seor Bertrand y de algunos otros intentos ms o menos logrados de fundamentar la introduccin de los irracionales en la aritmtica. Pero si hasta aqu se puede estar totalmente de acuerdo con el seor Tannery, al realizar un verdadero examen del asunto se observar inmediatamente que la exposicin del seor Bertrand, en la que el fenmeno de la cortadura en su pureza lgica no se menciona una sola vez, no es en absoluto similar a la ma, en la medida en que busca abrigo en la existencia de magnitudes medibles, cosa que yo rechazo completamente de acuerdo con las razones arriba mencionadas; y al margen de esta circunstancia, me parece que esa exposicin, incluyendo las definiciones y pruebas subsiguientes basadas en la aceptacin de esa existencia, presenta todava algunas lagunas tan esenciales, que la afirmacin realizada en mi escrito ( 6) de que el teorema 2.3=6 todava no ha sido nunca probado rigurosamente, me parece justificada tambin a la vista de esta obra que yo no conoca en aquel tiempo, valiosa en algunos otros respectos. Harzburg, 5 de octubre de 1887 R. Dedekind

Prlogo a la segunda edicin.

El presente escrito ha encontrado pronto, tras su aparicin, no slo juicios favorables sino tambin

desfavorables, e incluso se le han reprochado faltas graves. No he podido convencerme de la correccin de esos reproches, y dejo ahora que el escrito, agotado hace poco, y para cuya defensa pblica carezco de tiempo, se reimprima sin variaciones, aadiendo entretanto al primer prlogo las siguientes observaciones. La propiedad que he utilizado como definicin de conjunto infinito (64) haba sido ya subrayada antes de la aparicin de mi escrito por Cantor ('Ein Beitrag zur Mannigsfaltigkeitslehre', Crelles Journal, tomo 84, 1878) e incluso por Bolzano (Paradoxien des Unendlichen, 20, 1851).7 Pero ninguno de estos autores ha intentado elevar esa propiedad a definicin del infinito, y construir sobre ese fundamento la ciencia de los nmeros de modo rigurosamente lgico, y justamente en esto consiste el contenido de mi arduo trabajo, que haba terminado ya en todo lo esencial aos antes de la aparicin del tratado de Cantor, y en un tiempo en que la obra de Bolzano me era totalmente desconocida incluso de nombre. Para aquellos que tengan inters y comprensin para las dificultades de semejante investigacin, aadir lo siguiente. Se puede establecer una definicin completamente diferente de finito e infinito, que parece todava ms sencilla en la medida en que no presupone el concepto de similaridad de una representacin (26), a saber: 'Un conjunto S se llama finito cuando se puede representar sobre s mismo (36) de tal manera que ninguna parte propia (6) de S se represente en s misma; en caso contrario se dice que S es un conjunto infinito.' Intentemos ahora erigir el edificio sobre este nuevo fundamento! Rpidamente se topa con grandes dificultades, y creo poder afirmar que la propia demostracin de la equivalencia total de esta definicin con la anterior slo se puede desarrollar (aunque entonces fcilmente) cuando se supone desarrollada ya la serie de los nmeros naturales y cuando se puede uno apoyar tambin en la consideracin final de (131); y sin embargo ni en una definicin ni en la otra se habla de ninguna de estas cosas! Se ver con esto lo grande que debe ser el nmero de razonamientos necesarios para semejante transformacin de una definicin en la otra. Cerca de un ao despus de la publicacin de mi escrito he conocido los Grundlagen der Arithmetik de G. Frege, aparecidos ya en el ao 1884. Por distinta que sea de la ma la opinin sobre la esencia del nmero expuesta en esa obra, contiene sin embargo, especialmente del 79 en adelante, puntos de estrecho contacto con mi escrito, sobre todo con mi definicin (44). Claro que, debido al diferente modo de expresin utilizado, no es fcil reconocer la coincidencia; pero ya la resolucin con que el autor se expresa sobre la conclusin de n a n+1 (al pie de la pgina 93) muestra claramente que se encuentra aqu en el mismo terreno que yo.8 Entretanto han aparecido casi completamente (18901891) las Vorlesungen ber die Algebra der Logik de E. Schrder. Es imposible extenderse aqu sobre la significacin de esta obra enormemente sugerente, a la que tributo mis mayores elogios; ms bien me gustara disculparme tan solo de que, a pesar de la observacin de la pag. 253 de la primera parte, he mantenido mis smbolos (8) y (17), algo torpes; no pretenden obtener aceptacin general, sino que se conforman con servir exclusivamente al propsito de este escrito aritmtico, para lo que en mi opinin son ms apropiados que los signos de suma y producto.9 Harzburg, 24 de agosto de 1893 R. Dedekind

Prlogo a la tercera edicin

Cuando hace ocho aos fui invitado a reemplazar la segunda edicin de este escrito, entonces ya agotada, por una tercera, tuve escrpulos en admitirlo porque entretanto se han mostrado vlidas ciertas dudas sobre la seguridad de importantes fundamentos de mi concepcin. Tampoco ahora ignoro la importancia y la parcial legitimidad de esas dudas. Pero no han perturbado mi confianza en la interna armona de nuestra lgica; creo que una investigacin rigurosa de la facultad creativa de nuestra mente que a partir de determinados elementos forma un nuevo objeto determinado, su conjunto, necesariamente distinto de cada uno de esos elementos debe ciertamente conducir a una organizacin irreprochable de los fundamentos de mi escrito. No obstante, otros trabajos me han impedido llevar a trmino una investigacin tan difcil, y por tanto pido indulgencia dado que mi escrito, pese a todo, aparece por tercera vez sin cambios, lo que slo se puede justificar por el hecho de que el inters por l no se ha extinguido todava, como muestra la continuada demanda.10 Braunschweig, 30 de septiembre de 1911 R. Dedekind

Prlogo indito (carta a Kerferstein, 27 de febrero de 1890) Le doy mis ms sinceras gracias por su amable carta del 14 de este mes y por su voluntad de procurarle audiencia a mi rplica. Pero quisiera pedirle que no se precipite en este asunto y que slo tome una decisin despus de haber ledo cuidadosamente y considerado una vez ms las definiciones y demostraciones ms importantes de mi ensayo sobre los nmeros, si es que tiene tiempo para ello. Me parece lo ms probable que entonces se convierta usted en todos los puntos a mi concepcin y mi tratamiento del asunto; y esto sera lo ms valioso para m, porque estoy convencido de que realmente tiene usted un profundo inters por la materia. Para facilitar en lo posible esa aproximacin, me gustara pedirle que prestara atencin a la siguiente serie de pensamientos, que expone la gnesis de mi ensayo. Cmo surgi mi escrito? Ciertamente no en un da, sino que es una sntesis construida tras un largo trabajo, que basada en el anlisis previo de la serie de los nmeros naturales tal como se ofrece a nuestra consideracin, por as decir, en la experiencia. Cules son las propiedades bsicas, independientes entre s, de esta serie N, es decir, aquellas propiedades que no pueden deducirse unas de otras pero de las cuales se siguen todas las dems? Y de qu manera hay que despojar a estas propiedades de su carcter especficamente aritmtico, de manera que queden subordinadas a conceptos ms generales y a actividades del entendimiento tales que sin ellas no es posible en absoluto el pensamiento, pero con ellas viene dado el fundamento para la seguridad y completud de las demostraciones, as como para la construccin de definiciones libres de contradiccin? Si la cuestin se plantea de esta manera, nos vemos llevados a la fuerza, segn creo, a los siguientes hechos: 1) La serie numrica N es un conjunto de individuos o elementos que se llaman nmeros. Esto conduce a la consideracin general de los conjuntos en cuanto tales ( 1 de mi escrito). 2) Los elementos del conjunto N estn en una cierta relacin unos con otros, reina un cierto orden que consiste ante todo en que a cada nmero determinado n le corresponde un determinado nmero n', el nmero sucesor o inmediatamente mayor. Esto nos lleva a la consideracin del concepto general de representacin [aplicacin] de un conjunto ( 2), y como la imagen (n) de cada nmero n es de nuevo un nmero n', o sea (N) es parte de N, se trata de una representacin de un conjunto N en s mismo, que por tanto habr que investigar en general ( 4).

3) A diferentes nmeros a, b les siguen nmeros a', b' tambin diferentes; la representacin tiene por tanto el carcter de claridad o similaridad ( 3) [aplicacin inyectiva]. 4) No todo nmero es un nmero sucesor n', es decir, (N) es parte propia de N, y en esto consiste (en conexin con lo anterior) la infinitud de la serie numrica N ( 5). 5) Y en particular el nmero 1 es el nico nmero que no se encuentra en (N). Con esto quedan enumerados aquellos hechos en lo que ve usted (pg. 124, lneas 8-14) la caracterizacin completa de un conjunto ordenado simplemente infinito. 6) Pero he mostrado en mi rplica (III) que esos hechos estn lejos de ser suficientes para abarcar completamente la esencia de la serie numrica N. Todos esos hechos seran vlidos tambin para todo conjunto S que adems de la serie numrica N contuviera un conjunto T de cualesquiera otros elementos t, a los que siempre se podra extender la representacin de tal modo que mantuviera el carcter de similaridad [inyectividad] siendo (T) = T. Pero tal conjunto S es evidentemente algo muy distinto de nuestra serie numrica N, y podra elegirlo de manera que apenas se preservara en l un nico teorema de la aritmtica. Qu hay que aadir pues a los hechos precedentes para depurar nuestro conjunto S de esos intrusos t que perturban todo orden, restringindolo a N? Este fue uno de los puntos ms difciles de mi anlisis, y superarlo requiri una larga reflexin. Presuponiendo el conocimiento de la serie de los nmeros naturales N y permitiendo as el empleo del lenguaje de la aritmtica, no encontraremos dificultades; slo necesitamos decir: un elemento n pertenece a la serie N si y slo si partiendo del elemento 1 y contando sin parar, es decir, por medio de una cantidad finita de repeticiones de la representacin (cf. el final del 131 de mi ensayo), se llega de hecho alguna vez al elemento n; de esta manera, sin embargo, nunca llegar a un elemento t ajeno a la serie N. Pero esta forma de caracterizar la diferencia entre los elementos t, que hay que desalojar de S, y los elementos n, que son los nicos que deben quedar, es totalmente intil para nuestro objetivo, y contiene el tipo peor y ms peligroso de crculo vicioso. Naturalmente, las simples palabras 'finalmente se alcanza en algn momento' tampoco lo consiguen; no nos seran ms tiles que, digamos, las palabras 'karam sipo tatura', que invento en este instante sin darles ningn significado claramente definido. Por tanto, cmo puedo, sin presuponer ningn conocimiento aritmtico, determinar conceptualmente con certeza la diferencia entre los elementos n y los t? Simplemente gracias a la consideracin de las cadenas (37, 44 de mi ensayo), y por medio de ellas completamente! Si quisiera evitar mi trmino tcnico 'cadena' dira: un elemento n de S pertenece a la serie N si y slo si n es elemento de toda parte K de S que posee la doble propiedad de que el elemento 1 est contenido en K y que la imagen (K) es parte de K. En mi lenguaje tcnico: N es la interseccin 1o o o(1) de todas aquellas cadenas K (de S) en las que est contenido el elemento 1. Slo con esto se ha determinado la caracterizacin completa de la serie N. A esto comentar, de paso, lo siguiente. La Conceptografa y los Fundamentos de la aritmtica de Frege vinieron a mis manos por vez primera durante un breve perodo del verano pasado (1889), y vi con placer que la manera como define la sucesin mediata entre elementos de una serie coincide en lo esencial con mi nocin de cadena (37, 44); nicamente hay que evitar asustarse de su terminologa algo incmoda. 7) Una vez determinada en mi anlisis (71, 73) la caracterizacin esencial del conjunto simplemente infinito, cuyo tipo abstracto es la serie numrica N, surga la cuestin: existe realmente en nuestro universo mental un tal conjunto? Sin la demostracin lgica de existencia sera siempre dudoso si el concepto de tales conjuntos no contiene quiz contradicciones internas. De ah la necesidad de tales pruebas (66, 72 de mi escrito).11 8) Una vez establecido esto, surga la cuestin: contiene tambin lo dicho hasta aqu un mtodo de prueba suficiente para demostrar en general proposiciones que se suponen vlidas para todos los nmeros n? S! La famosa demostracin por induccin descansa sobre el seguro fundamento de la nocin de cadena (59, 60, 80 de mi escrito). 9) Finalmente: es posible tambin establecer las definiciones de las operaciones numricas para todos los nmeros n, sin contradicciones? S! Esto se realiza de hecho gracias al teorema 126 de mi escrito. Con esto se haba terminado el anlisis y poda comenzar la construccin sinttica; y todava me caus bastantes problemas! Realmente, tampoco el lector de mi ensayo tiene una tarea fcil; adems de un sano sentido comn, se requiere una voluntad muy fuerte de rehacerlo todo completamente.

1 Conjuntos de elementos

1. En lo sucesivo entiendo por cosa todo objeto de nuestro pensamiento. Para poder hablar cmodamente de las cosas, se las designa mediante smbolos, por ejemplo mediante letras, y se permite hablar abreviadamente de la cosa a o simplemente de a, donde en realidad se est haciendo referencia a la cosa designada por a, y de ninguna manera a la propia letra a. Una cosa queda completamente determinada por todo aquello que se puede decir o pensar de ella. Una cosa a es la misma que b (idntica con b), y b la misma que a, cuando todo lo que se puede pensar de a puede tambin pensarse de b, y todo lo que vale para b puede tambin pensarse de a. Que a y b son slo smbolos o nombres para una y la misma cosa, se indicar mediante el smbolo a = b, e igualmente mediante b = a. Si adems b = c, o sea si tambin c, como a, es un smbolo para la cosa designada con b, entonces a = c. Si la mencionada coincidencia de la cosa designada mediante a con la cosa designada mediante b no se da, decimos que estas cosas a, b son distintas, a es otra cosa que b, b otra cosa que a; existe alguna propiedad que conviene a una pero no a la otra. 2. Sucede con mucha frecuencia que distintas cosas a, b, c..., consideradas por cualquier motivo bajo un mismo punto de vista, son reunidas mentalmente, y se dice entonces que constituyen un conjunto [System] S; se llama a las cosas a, b, c... elementos del conjunto S, y se dice que estn contenidas en S; inversamente S consiste en esos elementos. Un tal conjunto S (o una coleccin, una variedad, una totalidad) es igualmente, como objeto de nuestro pensamiento, una cosa (1); queda completamente determinado cuando para cada cosa est determinado si es o no un elemento de S.* El conjunto S es por tanto el mismo que el conjunto T, simblicamente S = T, cuando todo elemento de S es tambin elemento de T, y todo elemento de T lo es tambin de S. Para que la forma de expresin sea uniforme, es conveniente que consideremos tambin el caso especial en que un conjunto S est compuesto de un nico (un y slo un) elemento a, es decir que la cosa a es elemento de S pero toda cosa distinta de a no es elemento de S. Por el contrario excluiremos aqu totalmente por determinadas razones el conjunto vaco, que no contiene absolutamente ningn elemento, aunque para otras investigaciones puede ser cmodo imaginar algo semejante. 3. Definicin. Se dice que un conjunto A es parte de un conjunto S cuando cada elemento de A es tambin elemento de S. Como en lo sucesivo tendremos que referirnos contnuamente a tales relaciones entre un conjunto A y un conjunto S, queremos designarlas, para abreviar, mediante el smbolo A S. Evitar totalmente, por claridad y simplicidad, el smbolo inverso S A que podra servir para designar el mismo hecho, pero dir de vez en cuando, a falta de una palabra mejor, que S es todo de A, con lo que se expresar igualmente que entre los elementos de S se encuentran todos los elementos de A. Como adems, de acuerdo con 2, cada elemento de S
) Para lo que sigue es totalmente indiferente de qu manera se establece esa determinacin, y si conocemos o no alguna forma de decidir al respecto; las leyes generales que se van a desarrollar no dependen en absoluto de ello, valen en todas las circunstancias. Menciono esto expresamente porque hace poco el seor Kronecker (en el tomo 99 del Journal fr Mathematik, pag. 334- 336) ha querido imponer a la libre construccin de conceptos en la matemtica determinadas limitaciones que no considero justificadas; sin embargo, me parece que solo ser conveniente extenderse ms sobre el tema cuando el distinguido matemtico haya hecho pblicas sus razones para la necesidad o al menos para la conveniencia de esas limitaciones.
*

puede considerarse como un conjunto, podemos emplear tambin aqu el smbolo s S.12 4. Teorema. De acuerdo con 3, AA 5. Teorema. Si AB y BA, entonces A=B. La demostracin se sigue de 3,2. 6. Definicin. Se dice que un conjunto A es parte propia de S cuando A es parte de S pero distinto de S. Entonces (por 5) S no es parte de A, es decir (3) hay en S un elemento que no es elemento de A. 7. Teorema. Si AB y BC, lo que tambin se puede representar abreviadamente mediante ABC, entonces AC, y en particular A ser parte propia de C cuando A sea parte propia de B o cuando B sea parte propia de C. La demostracin se sigue de 3,6. 8. Definicin. Por el conjunto unin [zusammengesetzes System] de cualesquiera conjuntos A, B, C..., que se designar U(A,B,C...), se entender aquel conjunto cuyos elementos quedan determinados a travs de la siguiente prescripcin: una cosa vale como elemento de U(A,B,C...) cuando y slo cuando es elemento de cualquiera de los conjuntos A, B, C..., es decir, cuando es elemento de A o de B o de C... Admitimos tambin el caso de que se presente un nico conjunto A; entonces claramente U(A)=A. Advertimos adems que hay que diferenciar totalmente el conjunto U(A,B,C...), unin de A, B, C..., de aquel conjunto cuyos elementos son los propios conjuntos A, B, C... 9. Teorema. Los conjuntos A, B, C... son partes de U(A,B,C...). La demostracin se sigue de 8,3. 10. Teorema. Si A, B, C... son partes de un conjunto S, entonces U(A,B,C...)S. La demostracin se sigue de 8,3. 11. Teorema. Si P es parte de uno de los conjuntos A, B, C..., entonces PU(A,B,C...). La demostracin se sigue de 9,7. 12. Teorema. Si cada uno de los conjuntos P, Q... es parte de uno de los conjuntos A, B, C..., entonces U(P,Q...)U(A,B,C...). La demostracin se sigue de 11,10. 13. Teorema. Si A es unin de cualesquiera de los conjuntos P, Q..., entonces AU(P,Q...). Demostracin. Cada elemento de A es (por 8) elemento de uno de los conjuntos P, Q..., y por consiguiente (por 8) elemento de U(P,Q...), de donde (por 3) se sigue el teorema. 14. Teorema. Si cada uno de los conjuntos A, B, C... es unin de cualesquiera de los conjuntos P, Q..., entonces U(A,B,C...)U(P,Q...). La demostracin se sigue de 13,10. 15. Teorema. Si cada uno de los conjuntos P, Q... es parte de uno de los conjuntos A, B, C..., y si cada uno de los ltimos es unin de cualesquiera de los primeros, entonces U(P,Q...)=U(A,B,C...). La demostracin se sigue de 12,14,5. 16. Teorema. Si A=U(P,Q) y B=U(Q,R), entonces U(A,R)=U(P,B).

Demostracin. Segn el anterior teorema 15 tanto U(A,R) como U(P,B) es =U(P,Q,R). 17. Definicin. Se dice que una cosa g es elemento comn de los conjuntos A, B, C... cuando est contenida en cada uno de estos conjuntos (por tanto en A y en B y en C...). Igualmente se dice que un conjunto T es parte comn de A, B, C... cuando T es parte de cada uno de esos conjuntos, y entendemos por interseccin [Gemeinschaft] de los conjuntos A, B, C... el conjunto completamente determinado I(A,B,C...), que consiste en todos los elementos i comunes de A, B, C..., y por consiguiente es igualmente parte comn de esos mismos conjuntos. Admitimos tambin el caso en que se presenta un nico conjunto A; entonces hay que poner I(A)=A. Puede darse tambin el caso de que los conjuntos A, B, C... no tengan absolutamente ningn elemento comn, y por tanto no posean ninguna parte comn, ninguna interseccin; se llaman entonces conjuntos sin interseccin, y el smbolo I(A,B,C...) carece de significado (cf. el final de 2). Sin embargo dejaremos casi siempre al lector la tarea de aadir la condicin de existencia en los teoremas sobre intersecciones, y la de encontrar la interpretacin correcta de esos teoremas tambin para el caso de su no existencia. 18. Teorema. Toda parte comn de A, B, C... es parte de I(A,B,C...). La demostracin se sigue de 17. 19. Teorema. Cada parte de I(A,B,C...) es parte comn de A, B, C... La demostracin se sigue de 17,7. 20. Teorema. Si cada uno de los conjuntos A, B, C... es todo (por 3) de uno de los conjuntos P, Q..., entonces I(P,Q...)I(A,B,C...). Demostracin. Cada elemento de I(P,Q...) es elemento comn de P, Q..., y por tanto tambin elemento comn de A,B,C..., c.q.d.13

2 Representacin de un conjunto.14 21. Definicin.* Por una representacin [Abbildung, aplicacin] de un conjunto S se entender una ley segn la cual a cada elemento determinado s de S se le asigna una cosa determinada, que se llama la imagen [Bild] de s y se designa con (s); decimos tambin que (s) corresponde al elemento s, que (s) resulta o se produce a partir de s mediante la representacin , que s se transforma en (s) mediante la representacin . Si ahora T es una parte cualquiera de S, en la representacin de S est contenida igualmente una representacin determinada de T, que para simplificar puede designarse mediante el mismo smbolo , y que consiste en que a cada elemento t del conjunto T le corresponde la misma imagen (t) que posee t como elemento de S; igualmente se llama imagen de T y se designa (T) el conjunto que consiste de todas las imgenes (t), con lo que tambin queda definido el significado de (S). La asignacin de determinados signos o nombres a sus elementos puede considerarse como ejemplo de representacin de un conjunto. La ms sencilla representacin de un conjunto es aquella a travs de la

) Cf. Dirichlet, Vorlesungen ber Zahlentheorie, tercera edicin, 1879, 163.

cual cada uno de sus elementos se transforma en s mismo; la llamaremos representacin idntica del conjunto. Por comodidad, en los siguientes teoremas 22,23 24, que tratan de una representacin cualquiera de un conjunto cualquiera S, designaremos las imgenes de elementos s y partes T mediante s' y T'; adems establecemos que las letras latinas minsculas y maysculas sin acento significarn siempre elementos y partes de ese conjunto S. 22. Teorema.** Si AB, entonces A'B'. Demostracin. Cada elemento de A' es imagen de un elemento de A,por tanto de un elemento contenido en B, y consiguientemente es elemento de B', c.q.d. 23. Teorema. La imagen de U(A,B,C...) es U(A',B',C',...). Demostracin. Si designamos mediante M el conjunto U(A,B,C,...), que por 10 es igualmente parte de S, cada elemento de su imagen M' es la imagen m' de un elemento m de M; como (por 8) m es tambin elemento de uno de los conjuntos A, B, C..., y consiguientemente m' es elemento de uno de los conjuntos A', B', C'..., o sea (por 8) tambin elemento de U(A',B',C'...), entonces (por 3) M'U(A',B',C'...). Por otro lado, como A, B, C... son (por 9) partes de M, y por tanto (por 22) A', B', C'... son partes de M', tambin (por 10) U(A',B',C'...)M' y de ah junto con lo anterior se sigue, de acuerdo con 5, el teorema a demostrar M' = U(A',B',C'...). 24. Teorema. La imagen de cada parte comn de A, B, C..., por tanto tambin la de la interseccin I(A,B,C...), es parte de I(A',B',C'...). Demostracin. Aqulla es por 22 parte comn de A', B', C'..., de donde se sigue el teorema por 18. 25. Definicin y teorema. Si es una representacin de un conjunto S, y es una representacin de la imagen S'= (S), de aqu resulta siempre una representacin compuesta** de y , que consiste en que a cada elemento s de S le corresponde la imagen (s) = (s') = ((s)) donde una vez ms (s) = s'. Esa representacin puede designarse abreviadamente por . o , y la imagen (s) por (s), donde se debe tener muy en cuenta la posicin de los smbolos , , porque el signo , en general, carece de significado y slo tiene sentido cuando (S')S. Si ahora designa una representacin del conjunto (S') = (S), y la representacin del conjunto S' compuesta de y , entonces (s) = ((s') = (s') = (s), por lo que las representaciones compuestas y coinciden para cada elemento s de S, es decir = . De acuerdo con el significado de y , este teorema se puede expresar convenientemente . = . y esa representacin compuesta de , , puede designarse abreviadamente .
**

) Cf. teorema 27.

) Cf. teorema 29.

) No hay que temer en absoluto una confusin de esta composicin de aplicaciones con la composicin de conjuntos de elementos (8).

**

3 Similaridad de una representacin. Conjuntos similares.

26. Definicin. Una representacin de un conjunto S se llama similar (o clara) cuando a diferentes elementos a,b del conjunto S les corresponden siempre diferentes imgenes a'=(a), b'=(b). Como en este caso de s'=t' se sigue siempre, inversamente, s=t, cada elemento del conjunto S'=(S) es la imagen s' de un elemento s nico y completamente determinado del conjunto S, de acuerdo con lo cual se le puede contraponer a la representacin de S una representacin inversa del conjunto S', designada , que consiste en que a cada elemento s' de S' le corresponde la imagen (s')=s y claramente es siempre una representacin similar. Es evidente que (S')=S, que adems es la representacin inversa correspondiente a , y que la representacin compuesta (25) de y es la representacin idntica de S (21). Igualmente se deducen los siguientes complementos al 2, manteniendo el simbolismo all utilizado.15 27. Teorema.*** Si A'B', entonces AB. Demostracin. Si a es elemento de A, a' es elemento de A', y por tanto de B', por lo que es =b', donde b es elemento de B; pero como de a'=b' siempre se sigue a=b, cada elemento a de A es tambin elemento de B, c.q.d. 28. Teorema. Si A'=B', entonces A=B. La demostracin resulta de 27,4,5. 29. Teorema.* Si G=I(A,B,C...), entonces G'=I(A',B',C'...). Demostracin. Cada elemento de I(A',B',C'...) est en cualquier caso contenido en S', y por tanto es la imagen g' de un elemento g contenido en S; pero como g' es elemento comn de A',B',C'..., g debe ser (por 27) elemento comn de A,B,C..., y por tanto elemento de G; por lo que cada elemento de I(A',B',C',...) es imagen de un elemento g de G, y por tanto elemento de G', es decir I(A',B',C',)G', y de aqu se sigue nuestro teorema teniendo en cuenta 24,5. 30. Teorema. La representacin idntica de un conjunto es siempre una representacin similar. 31. Teorema. Si es una representacin similar de S y es una representacin similar de (S), la representacin compuesta de y es en cualquier caso similar, y su correspondiente representacin inversa es =.. Demostracin. Como a diferentes elementos a,b de S les corresponden diferentes imgenes a'=(a), b'=(b), y a stas nuevamente diferentes imgenes (a')=(a), (b')=(b), es una representacin similar. Adems cada elemento (s)=(s') del conjunto (S) se transforma mediante en s'=(s), y ste mediante en s, de modo que (s) se transforma mediante . en s, c.q.d. 32. Definicin. Los conjuntos R,S se llaman similares cuando existe una representacin de S tal que (S)=R, y por tanto tambin (R)=S. Claramente todo conjunto es, por 30, similar a s mismo.16
***

) Cf. teorema 22.

) Cf. teorema 24.

33. Teorema. Si R, S son conjuntos similares, cada conjunto Q similar a R es tambin similar a S. Demostracin. Si , son representaciones similares de S, R tales que (S)=R, (R)=Q, es (por 31) una representacin similar de S tal que (S)=Q, c.q.d. 34. Definicin. Por tanto se puede distribuir todos los conjuntos en clases, reuniendo en una determinada clase aquellos y slo aquellos conjuntos Q, R, S... que son similares a un determinado conjunto R, el representante de la clase; de acuerdo con el anterior teorema 33 la clase no cambia si se elige como representante cualquier otro conjunto S preteneciente a ella.17 35. Teorema. Si R,S son conjuntos similares, cada parte de S es tambin similar a una parte de R, cada parte propia de S tambin lo es a una parte propia de R. Demostracin. Si es una representacin similar de S, (S)=R, y TS, por 22 el conjunto similar a T es (T)R; si adems T es parte propia de S, y s es un elemento de S no contenido en T, por 27 el elemento (s) contenido en R no puede estar contenido en (T); con lo que (T) es parte propia de R, c.q.d.

4 Representacin de un conjunto en s mismo

36. Definicin. Si es una representacin similar o disimilar de un conjunto S y (S) es parte de un conjunto Z, llamamos a representacin de S en Z, y decimos que S es representado en Z mediante . De ah que llamemos a representacin del conjunto S en s mismo cuando (S)S; en este pargrafo queremos investigar las leyes generales de tal representacin . Para ello manejamos los mismos smbolos que en el 2, poniendo otra vez (s)=s', (T)=T'. A consecuencia de 22,7 estas imgenes son a su vez elementos o partes de S, como todas las cosas designadas con letras latinas. 37. Definicin. Se dice que K es una cadena cuando K'K. Notamos expresamente que este nombre no es propio de la parte K del conjunto S por s misma, sino tan solo se le atribuye en relacin con una determinada representacin ; respecto a otra representacin del conjunto S en s mismo, K podra muy bien no ser una cadena. 38. Teorema. S es una cadena. 39. Teorema. La imagen K' de una cadena K es una cadena. Demostracin. De K'K se sigue por 22 (K')'K'. c.q.d. 40. Teorema. Si A es parte de una cadena K, entonces A'K. Demostracin. De AK se sigue (por 22) A'K', y como (por 37) K'K, se sigue (por 7) A'K, c.q.d. 41. Teorema. Si la imagen A' es parte de una cadena L, existe una cadena K que satisface las condiciones AK, K'L; precisamente U(A,L) es una cadena tal. Demostracin. Sea K=U(A,L), de modo que por 9 la condicin AK se cumple. Como adems por 23 K'=U(A',L') y hemos supuesto que A'L, L'L, tambin se cumple la otra condicin K'L (por 10), y dado que (por 9) LK, de ah se sigue tambin que K'K, es decir, que K es una cadena, c.q.d. 42. Teorema. Un conjunto M que es la unin slo de cadenas A,B,C... es una cadena. Demostracin. Como (por 23) M'=U(A',B',C'...) y hemos supuesto que A'A,B'B,C'C..., se sigue (por

12) M'M, c.q.d. 43. Teorema. La interseccin G de las cadenas A,B,C... es una cadena. Demostracin. Como G es por 17 parte comn de A,B,C..., o sea (por 22) G' es parte comn de A',B',C'..., y dado que hemos supuesto A'A, B'B, C'C..., entonces (por 7) G' es tambin parte comn de A,B,C..., y de 18 se sigue que es tambin parte de G, c.q.d. 44. Definicin. Si A es cualquier parte de S, queremos designar con Ao la interseccin de todas aquellas cadenas (por ejemplo S) de las cuales A es parte; esa interseccin Ao existe (cf. 17) porque el propio A es ya parte comn de todas esas cadenas. Como adems Ao es una cadena (por 43), queremos llamarla cadena del conjunto A o abreviadamente cadena de A. Tambin esta definicin depende totalmente de la representacin del conjunto S en s mismo que estamos suponiendo, y si ms tarde se hace necesario por motivos de claridad, pondremos ms bien o(A) en vez de Ao, e igualmente designaremos la cadena de A correspondiente a otra representacin w mediante wo(A). Para estos importantsimos conceptos valen los siguientes teoremas.18 45. Teorema. AAo. Demostracin. A es parte comn de todas aquellas cadenas de las que Ao es la interseccin, de donde se sigue el teorema por 18. 46. Teorema. (Ao)'Ao. Demostracin. Dado que Ao es por 44 una cadena (37). 47. Teorema. Si A es parte de una cadena K, tambin AoK. Demostracin. Ao es la interseccin, y por tanto parte comn de todas las cadenas K de las que A es parte. 48. Nota. Es fcil convencerse de que la nocin de cadena Ao definida en 44 queda completamente caracterizada mediante los anteriores teoremas 45,46,47. 49. Teorema. A'(Ao)'. La demostracin se sigue de 45,22. 50. Teorema. A'Ao La demostracin se sigue de 49,46,7. 51. Teorema. Si A es una cadena, Ao=A. Demostracin. Como A es parte de la cadena A, por 47 tambin AoA, de donde se sigue el teorema por 45,5. 52. Teorema. Si BA, entonces BAo. La demostracin se sigue de 45,7. 53. Teorema. Si BAo, entonces BoAo, e inversamente. Demostracin. Como Ao es una cadena, de BAo se sigue (por 47) BoAo; inversamente, si BoAo, por 7 se sigue BAo, porque (por 45) BBo. 54. Teorema. Si BA, entonces BoAo. La demostracin se sigue de 52,53. 55. Teorema. Si BAo, entonces tambin B'Ao. Demostracin. Por 53 BoAo, y como (por 50) B'Bo, el teorema por demostrar se sigue de 7. Lo mismo se obtiene tambin, como es fcil ver, de 22,46,7 o tambin de 40.

56. Teorema. Si BAo, entonces (Bo)'(Ao)'. La demostracin se sigue de 53,22. 57. Teorema y definicin. (Ao)'=(A')o, es decir, la imagen de la cadena de A es igual a la cadena de la imagen de A. De ah que se pueda designar ese conjunto abreviadamente mediante A'o, y se le puede llamar a voluntad la cadena-imagen o la imagen-cadena de A. Mediante los smbolos ms claros dados en 44, el teorema se expresara (o(A))=o((A)). Demostracin. Poniendo para abreviar (A')o=L, L es una cadena (44), y por 45 A'L, con lo que (por 41) hay una cadena K que satisface las condiciones AK, K'L; de aqu se sigue tambin (por 47) AoK, y por tanto (Ao)'K', y consiguientemente por 7 (Ao)'L, es decir (Ao)'(A')o. Como adems por 49 A'(Ao)', y (Ao)' es por 44,39 una cadena, tambin (por 47) (A')o(Ao)', de donde, junto con el resultado anterior, se sigue el teorema a demostrar (5). 58. Teorema. Ao=U(A,A'o), es decir que la cadena de A est compuesta de A y de la imagen-cadena de A. Demostracin. Poniendo nuevamente para abreviar L=A'o=(Ao)'=(A')o y K=U(A,L), entonces (por 45) A'L, y como L es una cadena, por 41 vale lo mismo de K; como adems AK (9), por 47 se sigue tambin AoK. Por otro lado, como (por 45) AAo y (por 46) LAo, tambin (por 10) KAo, de donde, en conexin con el anterior resultado, se sigue el teorema a demostrar, Ao=K (5). 59. Teorema de induccin completa. Para demostrar que la cadena Ao es parte de cualquier conjunto -sea este ltimo parte de S o no-, basta mostrar . que A, y . que la imagen de cada elemento comn de Ao y es igualmente elemento de . Demostracin. Si es verdadero, existe siempre por 45 la interseccin G=I(Ao,), y precisamente (por 18) AG; como adems por 17 GAo, G es tambin parte de nuestro conjunto S, que se representa en s mismo mediante , e igualmente se sigue (por 55) G'Ao. Si es tambin cierto, es decir si G', entonces G', como parte comn de los conjuntos A, , debe ser (por 18) parte de su interseccin G, es decir que G es una cadena (37), y dado que, como ya se ha indicado, AG, por 47 se deduce tambin AoG, y de aqu junto con el anterior resultado se sigue G=Ao, o sea por 17 AoZ, c.q.d. 60. El teorema anterior constituye, como se mostrar ms tarde, el fundamento cientfico para el mtodo de prueba conocido bajo el nombre de induccin completa (paso de n a n+1), y se puede expresar tambin de la siguiente manera: Para demostrar que todos los elementos de la cadena Ao poseen una determinada propiedad [E

gtica] (o que el teorema [S gtica], en el que se trata de una cosa n indeterminada, vale realmente para todos los elementos n de la cadena Ao), basta mostrar . que todos los elementos a del conjunto A poseen la propiedad [E gtica] (o que [S gtica] vale para todos los a),y . que la misma propiedad [E gtica] conviene a la imagen n' de todo elemento n de Ao tal que posee la propiedad [E gtica] (o que el teorema [S gtica], en cuanto vale para un elemento n de Ao, tiene ciertamente que valer para su imagen n'). De hecho, si se designa con el conjunto de todas las cosas que poseen la propiedad [E gtica] (o para las cuales vale el teorema [S gtica]), inmediatamente resulta evidente la coincidencia completa del modo de expresin que empleamos ahora con el utilizado en 59. 61. Teorema. La cadena de U(A,B,C...) es U(Ao,Bo,Co...). Demostracin. Si designamos el primer conjunto M, y el ltimo K, K es por 42 una cadena. Como ahora por 45 cada uno de los conjuntos A,B,C... es parte de uno de los conjuntos Ao,Bo,Co..., con lo que (por 12) MK, por 47 se sigue tambin MoK. Por otro lado, como por 9 cada uno de los conjuntos A,B,C.. es parte de M, o sea por 45,7 parte de la cadena Mo, por 47 cada uno de los conjuntos Ao,Bo,Co... debe ser parte de Mo, con lo que por 10 KMo, de donde en conexin con lo anterior se sigue Mo=K, c.q.d. 62. La cadena de I(A,B,C...) es parte de I(Ao,Bo,Co...). Demostracin. Si designamos con G el primero, y con K el ltimo conjunto, K es por 43 una cadena. Como ahora cada uno de los conjuntos Ao,Bo,Co... es por 45 todo de uno de los conjuntos A,B,C..., con lo que (por 20) GK, se sigue por 47 el teorema GoK que queramos demostrar. 63. Teorema. Si K'LK de modo que K es una cadena, tambin L es una cadena. Si sta es parte propia de K, y U es el conjunto de todos aquellos elementos de K que no estn contenidos en L, si adems la cadena Uo es parte propia de K, y V es el conjunto de todos los elementos de K que no estn contenidos en Uo, entonces K=U(Uo,V), y L=U(U'o,V). Si finalmente L=K', entonces VV'. La demostracin de este teorema, del que (igual que de los dos anteriores) no haremos uso, puede dejarse al lector.
19

*************************************** Del Nachlass: ***************************************

Representacin similar (clara) y conjuntos similares. 11.7.1887. Teorema. Si S est representado similarmente en s mismo, es decir, si la imagen (S)=S' S, y si adems S' T S, entonces tambin T es similar a S. Demostracin. Trivial en el caso T = S. En caso contrario, sea U el conjunto de todos los elementos de S

que no estn contenidos en T, y sea Uo la cadena20 ( 4) de U correspondiente a esta representacin de S. Si ahora s es cualquier elemento de S, pngase (s) = (s) o bien =s segn que s est contenido en Uo o no. Entonces es una representacin similar de S tal que (S) = T. A este respecto hay que mostrar 1. Similaridad de la representacin . ) Si diferentes a y b estn contenidos en Uo, entonces (a)=(a) y (b)=(b) son diferentes porque es una representacin similar. ) Si a est contenido en Uo y b no est contenido en Uo, entonces (a)=(a) y (b)=b son diferentes porque Uo es una cadena, (Uo) Uo, por lo que (a) est contenido en Uo, y (b) no est contenido en Uo. ) Si a y b no estn contenidos en Uo y son diferentes, (a) y (b) son diferentes. 2. (S) T. Designando con V el conjunto de todos los elementos de S que no estn contenidos en Uo, tenemos S = U(Uo,V), (S) = U((Uo),V). Ahora, como Uo S, tambin (Uo) (S), y como (S) T, tambin (Uo) T; como adems V T {pues si un elemento v de V no estuviera contenido en T, estara en U, y por tanto ( 4) en Uo, contra la definicin de V; mejor establecerlo antes}, entonces se deduce ( 1) que (S) T. 3. T (S). Sea t cualquier elemento de T. Si t est contenido en V, entonces t {a consecuencia de (S) = U((Uo),V)}21 tambin est contenido en (S). Pero si t no est en V, y por tanto est en Uo, como ( 4) Uo = U(U,(Uo)), por la definicin de U, t debe estar contenido en (Uo), y por tanto tambin debe estar en (S). C.Q.D. O igualmente claro T = U((Uo),V) = (S). Teorema: Si A es similar a una parte de B, y B es similar a una parte de A, tambin A y B son similares. Demostracin. y representaciones claras; y (A) B, (B) A, por tanto (A) (B) A; ahora, como la representacin es igualmente similar, (A) es similar a A, de modo que (por el teorema anterior) tambin (B) es similar a A, y como (B) es similar a B, entonces (teorema ms simple sobre similaridad) tambin A es similar a B. C.Q.D. ********************************************************************************************

5 Finito e infinito 64. Definicin.* Un conjunto S se llama infinito cuando es similar (32) a una parte propia de s mismo; en
) Si no se quiere utilizar la nocin de conjuntos similares (32) se debe decir: S se llama infinito cuando existe una parte propia de S (6) en la que S se puede representar claramente (similarmente) (26,36). En esta forma he comunicado la definicin de infinito, que constituye el ncleo de toda mi investigacin, al seor Cantor en septiembre de 1882, y varios aos antes a los seores Schwarz y Weber. Todos los dems intentos que conozco de diferenciar lo finito de lo infinito me parecen tan poco
*

caso contrario se llama a S conjunto finito. 65. Teorema. Todo conjunto consistente en un nico elemento es finito. Demostracin. Semejante conjunto no posee absolutamente ninguna parte propia (2,6). 66. Teorema. Existen conjuntos infinitos. Demostracin.* Mi universo mental, es decir, la totalidad S de todas las cosas que pueden ser objeto de mis pensamientos, es infinito. Porque si s designa un elemento de S, el pensamiento s', que s puede ser objeto de mi pensamiento, es tambin un elemento de S. Si lo consideramos como imagen (s) del elemento s, la representacin de S as determinada tiene la propiedad de que la imagen S' es parte de S; y S' es precisamente parte propia de S, porque hay en S elementos (por ejemplo mi propio yo) que son distintos de todo pensamiento s', y por eso no estn contenidos en S'. Finalmente es evidente que si a,b son diferentes elementos de S, tambin sus imgenes a',b' son diferentes, y que por tanto la representacin es clara (similar) (26). Con lo que S es infinito, c.q.d.22 67. Teorema. Si R, S son conjuntos similares, R es finito o infinito segn S sea finito o infinito. Demostracin. Si S es infinito, y por tanto similar a una parte propia S' de si mismo, y si R y S son similares, S' debe ser por 33 similar a R, y por 35 debe igualmente ser similar a una parte propia de R, que entonces (por 33) debe ser similar al propio R; por lo que R es infinito, c.q.d. 68. Teorema. Todo conjunto S que posee una parte T infinita es igualmente infinito; o con otras palabras, toda parte de un conjunto finito es finita. Demostracin. Si T es infinito, o sea si hay una representacin similar de T tal que (T) es una parte propia de T, y si T es parte de S, se puede extender esa representacin a una representacin de S poniendo, si s designa cualquier elemento de S, (s)=(s) o (s)=s segn s sea elemento de T o no. Esa representacin es similar; pues si a,b designan distintos elementos de S, y si ambos estn contenidos en T, la imagen (a)=(a) es diferente de la imagen (b)=(b), porque es una representacin similar; por otro lado, si a est contenido en T y b no lo est, (a)=(a) es diferente de (b)=b, porque (a) est contenido en T; finalmente, si ni a ni b estn contenidos en T, tambin (a)=a es diferente de (b)=b, como haba que mostrar. Como adems (T) es parte de T, o sea (por 7) parte de S, es evidente que tambin (S)S. Como finalmente (T) es parte propia de T, hay en T, y por tanto en S, un elemento t que no est contenido en (T)=(T); ahora, como la imagen (s) de cada elemento s de S no contenido en T es =s, y por tanto distinta de t, t no puede en absoluto estar contenido en (S); con lo que (S) es parte propia de S, y consiguientemente S es infinito, c.q.d. 69. Teorema. Todo conjunto que es similar a una parte de un conjunto finito es l mismo finito. La demostracin se sigue de 67,68. 70. Teorema. Si a es un elemento de S, y si el conjunto T de todos los elementos de S diferentes de a es finita, tambin S es finito. Demostracin. Tenemos que mostrar (por 64) que, si designa cualquier representacin similar de S en s mismo, la imagen (S) o S' nunca es parte propia de S, sino siempre =S. Claramente S=U(a,T), y consiguientemente (por 23), si seguimos designando las imgenes mediante tildes, S'=U(a',T'), y por la similaridad
satisfactorios que creo que debo renunciar a criticarlos.
*

) Una consideracin similar se encuentra en el 13 de Paradoxien des Unendlichen de Bolzano (Leipzig 1851).

de la representacin , a' no est contenido en T' (26). Como adems hemos supuesto que S'S, tanto a' como cualquier elemento de T' debe ser, o bien =a o elemento de T. Por lo tanto, cuando a no est contenido en T' -caso que queremos tratar primero-, T' debe estar T y consiguientemente tendremos T'=T, porque es una representacin similar y T un conjunto finito; y como a', segn hemos observado, no est contenido en T', es decir en T, a' debe ser =a, y por consiguiente en este caso realmente S'=S, como se haba afirmado. En el caso contrario, si a est contenido en T' y es por tanto la imagen b' de un elemento b contenido en T, queremos designar con U el conjunto de todos aquellos elementos u de T que son distintos de b; entonces T=U(b,U) y (por 15) S=U(a,b,U), y S'=U(a',a,U'). Determinamos ahora una nueva representacin de T, poniendo (b)=a' y en general (u)=u', mediante lo cual (por 23) (T)=U(a',U'). Claramente es una representacin similar, porque lo era, y porque a no est contenido en U, y por tanto tampoco a' est en U'. Como adems a y cada elemento u son distintos de b, tambin a' y cada elemento u' deben (por la similaridad de ) ser distintos de a, y consiguientemente deben estar contenidos en T; con lo que (T)T, y como T es finito, (T)=T, por lo que U(a',U') debe ser =T. Pero de aqu se sigue (por 15) U(a',a,U')=U(a,T), es decir, por lo anterior, S'=S. Por lo que tambin en este caso se consigue la necesaria demostracin.

6 Conjuntos simplemente infinitos. Serie de los nmeros naturales.

71. Definicin. Un conjunto N se llama simplemente infinito cuando existe una representacin similar de N en s mismo tal que N aparece como cadena (44) de un elemento que no est contenido en (N). Llamamos a ese elemento, que en lo sucesivo designaremos mediante el smbolo 1, elemento base de N, y decimos igualmente que el conjunto simplemente infinito N est ordenado por la representacin . Manteniendo los cmodos smbolos anteriores ( 4) para las imgenes y cadenas, la esencia de un conjunto simplemente infinito N consiste en la existencia de una representacin de N y un elemento 1 que satisfacen las siguientes condiciones .,.,.,.: . N'N. . N=1o. . El elemento 1 no est contenido en N'. . La representacin es similar. Claramente se sigue de .,.,. que todo conjunto simplemente infinito N es realmente un conjunto infinito (64), porque es similar a una parte propia N' de s mismo.23 72. Teorema. En cada conjunto infinito S est contenido un conjunto simplemente infinito N. Demostracin. Por 64 hay una representacin similar de S tal que (S) o S' es una parte propia de S; hay por tanto un elemento 1 en S que no est contenido en S'. La cadena N=1o, que corresponde a esa representacin del conjunto S en s mismo (44), es un conjunto simplemente infinito ordenado por ; pues claramente se cumplen todas las condiciones caractersticas .,.,.,. (71). 73. Definicin. Si en la consideracin de un conjunto simplemente infinito N ordenado por una

representacin se prescinde totalmente de la peculiar naturaleza de los elementos, nicamente se retiene su diferenciabilidad y slo se consideran las relaciones mtuas en que los pone la representacin ordenadora , se llama a estos elementos nmeros naturales o nmeros ordinales o tambin nmeros a secas, y al elemento base 1 se le llama nmero base de la serie numrica N. Considerando esta liberacin de los elementos con respecto a cualquier otro contenido (abstraccin) se puede llamar a los nmeros, con derecho, creacin libre del espritu humano. Las relaciones o leyes que se derivan exclusivamente de las condiciones .,.,.,. de 71, y que por tanto son siempre las mismas en todos los conjuntos ordenados simplemente infinitos, sean cuales sean los nombres que casualmente correspondan a cada uno de los elementos (cfr. 134), constituyen el objeto inmediato de la ciencia de los nmeros o aritmtica. De los conceptos y teoremas generales del 4, sobre representacin de un conjunto en s mismo, inferimos en primer lugar los siguientes teoremas fundamentales, en los que entenderemos siempre por a,b...m,n... elementos de N, por A,B,C... partes de N, por a',b'...m',n'... A',B',C',... las imgenes correspondientes que se producen mediante la representacin ordenadora y que son siempre elementos o partes de N; la imagen n' de un nmero n se llamar tambin el nmero sucesor de n. 74. Teorema. Cada nmero n est contenido (por 45) en su cadena no, y la condicin nmo es equivalente (por 53) a nomo. 75. Teorema. A consecuencia de 57, n'o=(no)'=(n')o. 76. Teorema. A consecuencia de 46, n'ono. 77. Teorema. A consecuencia de 58, no=U(n,n'o). 78. Teorema. N=U(1,N'), y por tanto todo nmero distinto del nmero base 1 es elemento de N', es decir, imagen de un nmero. La demostracin se sigue de 77 y 71. 79. Teorema. N es la nica cadena de nmeros en la que est contenido el nmero base 1. Demostracin. Si 1 es elemento de una cadena de nmeros K, por 47 la correspondiente cadena es NK, y consiguientemente N=K, porque es trivial que KN. 80. Teorema de induccin completa (paso de n a n'). Para probar que un teorema vale para todos los nmeros n de una cadena mo, basta mostrar . que vale para n=m, y . que de la validez del teorema para un nmero n de la cadena mo se sigue siempre su validez para su sucesor n'. Esto se deduce inmediatamente de los teoremas ms generales 59 o 60. Lo ms frecuente ser el caso en que m=1, y por tanto mo ser la serie de nmeros N entera.

7 Nmeros mayores y menores

81. Teorema. Todo nmero n es distinto de su sucesor n'. Demostracin por induccin completa (80).

. El teorema es verdadero para el nmero n=1, porque no est contenido en N' (71), mientras que su sucesor 1', como imagen del nmero 1 contenido en N, es elemento de N'. . Si el teorema es verdadero para el nmero n, y ponemos su sucesor n'=p, entonces n es diferente de p, de donde se sigue por 26, debido a la similaridad (71) de la representacin ordenadora , que n', o sea p, es diferente de p'. Con lo que el teorema vale tambin para el nmero p sucesor de n, c.q.d. 82. Teorema. En la cadena-imagen n'o de un nmero n est contenida (por 74, 75) su imagen n', pero no el propio nmero n. Demostracin por induccin completa (80). . El teorema es verdadero para n=1, porque 1'o=N', y porque el nmero base 1 (por 71) no est contenido en N'. . Si el teorema es verdadero para un nmero n, y volvemos a poner n'=p, entonces n no est contenido en po, y por tanto es diferente de todo nmero q contenido en po, de donde se sigue por la similaridad de , que n', o sea p, es diferente de todo nmero q' contenido en p'o, o sea que no est contenido en p'o. Con lo que el teorema vale tambin para el numero p sucesor de n, c.q.d. 83. Teorema. La cadena-imagen n'o es parte propia de la cadena no. La demostracin se sigue de 76,74,82. 84. Teorema. De mo=no se sigue m=n. Demostracin. Como (por 74) m est contenido en mo, y (por 77) mo=no=U(n,n'o), si el teorema fuera falso, o sea si m fuera diferente de n, m debera estar contenido en la cadena n'o, y consiguientemente (por 74) tambin mon'o, es decir non'o; como esto contradice el teorema 83, nuestro teorema est demostrado. 85. Teorema. Si el nmero n no est contenido en la cadena de nmeros K, entonces Kn'o. Demostracin por induccin completa (80). . El teorema es, por 78, verdadero para n=1. . Si el teorema es verdadero para un nmero n, vale tambin para su sucesor n'=p; porque si p no est contenido en la cadena de nmeros K, por 40 tampoco n puede estar contenido en K, y de acuerdo con nuestro supuesto Kn'o; como ahora (por 77) n'o=po= =U(p,p'o), o sea KU(p,p'o), y p no est contenido en K, debe darse Kp'o, c.q.d. 86. Teorema. Si el nmero n no est contenido en la cadena de nmeros K, pero s su imagen n', entonces K=n'o. Demostracin. Como n no est contenido en K, por 85 Kn'o, y como n'K, por 47 tambin n'oK, y consiguientemente K=n'o, c.q.d. 87. Teorema. En cada cadena de nmeros K hay un nmero k, y (por 84) slo uno, cuya cadena ko es =K. Demostracin. Si el nmero base 1 est contenido en K, entonces K=N=1o. En caso contrario sea Z el conjunto de todos los nmeros no contenidos en K; como el nmero base 1 est contenido en Z, pero Z slo es parte propia de la serie numrica N, Z no puede (por 79) ser una cadena, es decir Z' no puede ser parte de Z; por tanto hay en Z un nmero n cuya imagen n' no est contenida en Z, por lo que ciertamente est contenida en K;

como adems n est contenido en Z, o sea no est contenido en K, por 86 K=n'o, o sea k=n', c.q.d. 88. Teorema. Si m,n son nmeros diferentes, entonces una y (por 83,84) slo una de las cadenas mo,no es parte propia de la otra, y precisamente o bien nom'o, o bien mon'o. Demostracin. Si nmo, o sea por 74 nomo, m no puede estar contenido en no (porque si no (por 74) mono, o sea mo=no, con lo que por 84 tambin sera m=n), y de aqu se sigue por 85 que nom'o. En caso contrario, si n no est contenido en la cadena mo, debe darse (por 85) mon'o, c.q.d. 89. Definicin. El nmero m se llama menor que el nmero n, e igualmente se llama n mayor que m, simblicamente m<n y n>m, cuando se cumple la condicin nom'o, que por 74 tambin se puede expresar nm'o. 90. Teorema. Si m,n son nmeros cualesquiera, se verifica siempre uno y slo uno de los siguientes casos , , v: . m=n, n=m, es decir mo=no, . m<n, n>m, es decir nom'o, v. m>n, n<m, es decir mon'o. Demostracin. Si se verifica (84), no puede darse ni v, porque por 83 nunca non'o. Pero si no se verifica, entonces por 88 uno y slo uno de los casos , v se da, c.q.d. 91. Teorema. n<n'. Demostracin. La condicin para el caso v de 90 se satisface para m=n'. 92. Definicin. Para expresar que m es o bien =n o bien <n, o sea que no es >n (90), se emplean los smbolos mn o tambin nm, y se dice que m es a lo sumo igual a n, y que n es al menos igual a m. 93. Teorema. Cada una de las condiciones mn, m<n', nomo es equivalente a cada una de las dems. Demostracin. Si mn, de , (90) se sigue siempre que nomo, porque (por 76) m'omo. Inversamente, si nomo, o sea por 74 nmo, se sigue de mo=U(m,m'o) que o bien n=m o bien nm'o, o sea que n>m. Con lo que la condicin mn es equivalente a nomo. Por otro lado, de 22, 27, 75 se sigue que esa condicin nomo es igualmente equivalente a n'om'o, es decir (por en 90) equivalente a m<n', c.q.d. 94. Teorema. Cada una de la condiciones m'n, m'<n', m<n es equivalente a cada una de las dems. La demostracin se sigue inmediatamente de 93, si se sustituye all m por m', y de en 90. 95. Teorema. Si l<m y mn, o si lm y m<n, entonces l<n. Pero si lm y mn, entonces ln.

Demostracin. De las condiciones correspondientes (por 89,93) mol'o y nomo se sigue (por 7) nol'o; y lo mismo se sigue tambin de las condiciones molo y nom'o, porque de acuerdo con la primera tambin m'ol'o. Finalmente de molo y nomo se sigue nolo, c.q.d. 96. Teorema. En cada parte T de N hay un y slo un menor nmero k, es decir un nmero k que es menor que cualquier otro nmero contenido en T. Si T consiste en un solo nmero, ste es tambin el menor nmero de T. Demostracin. Como To es una cadena (44), por 87 hay un nmero k cuya cadena ko es =To. Como de ah se sigue (por 45,77) TU(k,k'o), en primer lugar k mismo debe estar contenido en T (porque si no Tk'o, y por 47 Tok'o, es decir que sera kok'o, lo que es imposible por 83), y adems todo nmero del conjunto T diferente de k debe estar contenido en k'o, es decir debe ser >k (89), de donde se sigue igualmente (por 90) que hay slo un menor nmero en T, c.q.d. 97. Teorema. El menor nmero de la cadena no es n, y el nmero base 1 es el menor de todos los nmeros. Demostracin. Por 74, 93 la condicin mno es equivalente con mn. O tambin se sigue inmediatamente de la demostracin del teorema anterior, porque si all suponemos T=no, claramente k ser =n (51). 98. Definicin. Si n es un nmero cualquiera, designaremos con Zn el conjunto de todos los nmeros no mayores que n, o sea el conjunto de todos los nmeros que no estn contenidos en n'o. La condicin mZn es claramente equivalente (por 92,93) con cada una de las siguientes condiciones mn, m<n', nomo. 99. Teorema. 1Zn y nZn. La demostracin se sigue de 98 o tambin de 71 y 82. 100. Teorema. Cada una de las condiciones mZn, mn, m<n', nomo, que por 98 son equivalentes, es tambin equivalente a ZmZn. Demostracin. Si mZn, o sea si mn, y si lZm, o sea lm, por 95 tambin ln, es decir lZn; de modo que si mZn, cada elemento l del conjunto Zm es tambin elemento de Zn, es decir ZmZn. Inversamente, si ZmZn, por 7 tambin mZn, porque por 99 mZm, c.q.d. 101. Teorema. La condiciones para los casos , , v en 90 se pueden expresar de la siguiente manera: . m=n, n=m, Zm=Zn, . m<n, n>m, Zm'Zn, v. m>n, n<m, Zn'Zm. La demostracin se sigue inmediatamente de 90, si se considera que por 100 las condiciones nomo y ZmZn son equivalentes. 102. Teorema. Z1=1. Demostracin. El nmero base 1 est (por 99) contenido en Z1, y todo nmero distinto de 1 est (por 78) contenido en 1'o, por tanto (por 98) no est contenido en Z1, c.q.d. 103. Teorema. De 98 se deduce que N=U(Zn,n'o). 104. Teorema. n=I(Zn,no), es decir, n es el nico elemento comn de los conjuntos Zn y no.

Demostracin. De 99 y 74 se sigue que n est contenido en Zn y en no; pero todo elemento de la cadena no diferente de n est (por 77) contenido en n'o, o sea (por 98) no est contenido en Zn, c.q.d. 105. Teorema. De 91, 98 se deduce que el nmero n' no est contenido en Zn. 106. Teorema. Si m<n, Zm es parte propia de Zn, e inversamente. Demostracin. Si m<n, por 100 ZmZn, y como el nmero n contenido en Zn (por 99) no puede estar contenido en Zm (por 98), dado que n>m, Zm es parte propia de Zn. Inversamente, si Zm es parte propia de Zn, por 100 mn, y como m no puede ser =n, dado que entonces Zm sera =Zn, debe ser m<n, c.q.d. 107. Teorema. Zn es parte propia de Zn'. La demostracin se sigue de 106, dado que (por 91) n<n'. 108. Teorema. Zn'=U(Zn,n'). Demostracin. Todo nmero contenido en Zn' es (por 98) n', o sea que es o bien =n' o <n', y consiguientemente (por 98) es elemento de Zn; con lo que ciertamente Zn'U(Zn,n'). Como inversamente (por 107) ZnZn' y (por 99) n'Zn', se sigue (por 10) que U(Zn,n')Zn', de donde (por 5) resulta nuestro teorema. 109. Teorema. La imagen Z'n del conjunto Zn es parte propia del conjunto Zn'. Demostracin. Todo nmero contenido en Z'n es la imagen m' de un nmero m contenido en Zn, y como mn, o sea (por 94) m'n', se sigue (por 98) que Z'nZn'. Como adems el nmero 1 est contenido en Zn' (por 99) pero no puede estar contenido en la imagen Z'n (por 71), Z'n es parte propia de Zn', c.q.d. 110. Teorema. Zn'=U(1,Z'n). Demostracin. Todo nmero del conjunto Zn' diferente de 1 es por 78 la imagen m' de un nmero m, y este debe ser n, o sea (por 98) debe estar contenido en Zn (porque si no m>n, o sea por 94 tambin m'>n', con lo que (por 98) m' no estara contenido en Zn'); pero de mZn se sigue m'Z'n, y de ah se deduce Zn'U(1,Z'n). Como inversamente (por 99) 1Zn' y (por 109) Z'nZn', se sigue (por 10) U(1,Z'n)Zn', y de aqu resulta nuestro teorema por 5. 111. Definicin. Si en un conjunto E de nmeros hay un elemento g que es mayor que cualquier otro nmero contenido en E, se dice que g es el mayor nmero del conjunto E, y claramente (por 90) slo puede haber un nmero mayor en E. Si un conjunto consiste en un nico nmero, ste mismo es el mayor nmero del conjunto. 112. Teorema. De 98 se deduce que n es el mayor nmero del conjunto Zn. 113. Teorema. Si en E hay un mayor nmero g, EZg. Demostracin. Todo nmero contenido en E es g, con lo que (por 98) est contenido en Zg, c.q.d. 114. Teorema. Si E es parte de un conjunto Zn, o lo que es lo mismo, si hay un nmero n tal que todos los nmeros contenidos en E son n, E posee un mayor nmero g. Demostracin. El conjunto de todos los nmeros p que satisfacen la condicin EZp -y hemos supuesto que tales nmeros existen- es una cadena (37), porque por 107,7 se sigue tambin EZp', y por tanto es (por 87) =go, donde g designa el menor de esos nmeros (96,97). Por tanto, tambin EZg, y consiguientemente (98) todo nmero contenido en E es g, y slo nos queda mostrar que el propio nmero g est contenido en E. Esto es

inmediatamente claro si g=1, porque entonces (por 102) Zg y el propio E consisten en el nico nmero 1. Pero si g es distinto de 1 y consiguientemente (por 78) es la imagen ' de un nmero , por 108 EU(Zf,g); si ahora g no estuviera contenido en E, debera ser EZf, por lo que habra entre los nmeros p un nmero f que sera (por 91) <g, lo que contradice lo anterior; con lo que g est contenido en E, c.q.d. 115. Definicin. Si l<m y m<n, decimos que el nmero m est entre l y n (tambin entre n y l). 116. Teorema. No hay ningn nmero que est entre n y n'. Demostracin. En cuanto m es <n', o sea (por 93) mn, por 90 no puede ser n<m, c.q.d. 117. Teorema. Si t es un nmero de T, pero no el menor (96), hay en T un y slo un nmero inmediatamente menor s, es decir un nmero s tal que s<t, y que no hay en T ningn nmero que est entre s y t. Igualmente hay en T siempre, si t no es el mayor nmero de T (111), un y slo un nmero inmediatamente mayor u, es decir un nmero u tal que t<u, y que no hay en T ningn nmero que est entre t y u. Del mismo modo, t es en T inmediatamente mayor que s e inmediatamente menor que u. Demostracin. Si t no es el menor nmero de T, sea E el conjunto de todos aquellos nmeros de t que son <t; entonces (por 98) EZt, y consiguientemente (114) hay en E un mayor nmero s, que claramente posee las propiedades mencionadas en el teorema y es tambin el nico nmero tal. Si adems t no es el mayor nmero de T, por 96 hay ciertamente, entre todos los nmeros de T que son >t, un menor nmero u que posee las propiedades mencionadas en el teorema, y es el nico que lo hace. Igualmente clara es la correccin de la consideracin final del teorema. 118. Teorema. En N, el nmero n' es inmediatamente mayor que n, y n es inmediatamente menor que n'. La demostracin se sigue de 116,117.

8 Partes finitas e infinitas de la serie numrica

119. Teorema. Todo conjunto Zn (98) es finito. Demostracin por induccin completa (80). . El teorema es verdadero para n=1 por 65,102. . Si Zn es finito, se sigue de 108 y 70 que tambin Zn' es finito,c.q.d. 120. Teorema. Si m,n son nmeros distintos, Zm,Zn son conjuntos disimilares. Demostracin. Por simetra podemos suponer (segn 90) que m<n; entonces Zm es por 106 parte propia de Zn, y como Zn es por 119 finito, por 64 Zm y Zn no pueden ser similares, c.q.d. 121. Teorema. Toda parte E de la serie numrica N que posee un mayor nmero (111) es finita. La demostracin se sigue de 113,119,68. 122. Teorema. Toda parte U de la serie numrica N que no posee ningn mayor nmero es simplemente infinita (71). Demostracin. Si u es un nmero cualquiera de U, por 117 hay un nmero en U y slo uno que es inmediatamente mayor que u, nmero que consideraremos como la imagen de u y designaremos (u). La

representacin del conjunto U, que queda as completamente determinada, tiene claramente la propiedad . (U)U, es decir, U es representado en s mismo por . Si adems u,v son nmeros diferentes de U, suponemos por simetra (segn 90) que u<v; entonces se sigue de la definicin de (por 117) que (u)v y v<(v), de donde (por 95) (u)<(v); con lo que las imgenes (u), (v) son (por 90) distintas, es decir . la representacin es similar. Si adems u1 designa el menor nmero (96) del conjunto U, todo nmero contenido en U es uu1, y como en general u<(u), por 95 u1<(u), por lo que u1 es (por 90) diferente de (u), es decir . el elemento u1 de U no est contenido en (U). Con lo que (U) es parte propia de U, y consiguientemente U es por 64 un conjunto infinito. Si ahora, en concordancia con 44, y supuesto que V es cualquier parte de U, designamos mediante o(V) la cadena de V correspondiente a la representacin , queremos mostrar finalmente que . U=o(u1). De hecho, toda cadena o(V) es, de acuerdo con su definicin (44), parte del conjunto U representado por en s mismo, de modo que trivialmente o(u1)U; inversamente, en primer lugar est claro por 45 que el elemento u1 de U est contenido en o(u1); pero supongamos que hubiera en U elementos que no estuvieran contenidos en o(u1), entonces deber haber entre ellos por 96 un menor nmero w, y como este es, por lo anterior, diferente del menor nmero u1 del conjunto U, por 117 debe haber en U tambin un nmero v inmediatamente menor que w, de donde se sigue igualmente que w=(v); como v<w, de acuerdo con la definicin de w, v debe ciertamente estar contenido en o(u1); pero de aqu se sigue por 55 que tambin (v), es decir w, debe estar contenido en o(u1), y como esto contradice la definicin de w, nuestro supuesto anterior es inadmisible; con lo que Uo(u1) y consiguientemente tambin U=o(u1), como habamos afirmado. De .,.,.,. se deduce por 71 que U es un conjunto simplemente infinito ordenado por , c.q.d. 123. Teorema. A consecuencia de 121,122, cualquier parte T de la serie numrica N es finita o simplemente infinita segn haya o no en T un mayor nmero.

9 Definicin de una representacin de la serie numrica por induccin

124. Tambin en lo que sigue designamos nmeros mediante letras latinas minsculas, y conservamos absolutamente todos los signos de los anteriores 6 a 8, mientras que designa un conjunto cualquiera cuyos elementos no necesariamente estn contenidos en N. 125. Teorema. Dada una representacin cualquiera (similar o disimilar) del conjunto en s mismo, y adems un elemento determinado w de , a cada nmero n le corresponde una y slo una representacin n del correspondiente conjunto Zn, definido en 98, que satisface las condiciones*
) Por claridad, aqu y en el siguiente teorema 126 menciono por separado la condicin I, aunque propiamente se trata ya de una consecuencia de II y III.
*

I. n(Zn), II. n(1)=w, III. n(t')=n(t), si t<n, donde el signo n tiene el significado que se le dio en 25. Demostracin por induccin completa (80). . El teorema es verdadero para n=1. En este caso (por 102) el conjunto Zn consiste en el nico nmero 1, y la representacin 1 queda por tanto definida completamente por II, de tal modo que I es satisfecha y III desaparece. . Si el teorema es verdadero para un nmero n, mostramos que tambin es vlido para su sucesor n'=p, y empezamos con la prueba de que slo puede haber una nica representacin correspondiente p del conjunto Zp. De hecho, basta una representacin p que satisfaga las condiciones I'. p(Zp), II'. p(1)=w, III'. p(m')=p(m), si m<p, porque entonces, dado que ZnZp (107), est contenida en ella tambin (por 21) una representacin de Zn que claramente satisface las mismas condiciones I, II, III que n, y por consiguiente coincide totalmente con n; para todos los nmeros contenidos en Zn, es decir (98), para todos los nmeros m que son <p, o sea n, debe darse por tanto p(m)=n(m) de donde se sigue tambin como caso especial p(n)=n(n); debe darse p(p)=n(n), (p) (n) (m)

como adems p (por 105,108) es el nico nmero del conjunto Zp no contenido en Zn, y como por III' y (n) tambin

se obtiene la correccin de nuestra afirmacin anterior, que slo puede haber una nica representacin p del conjunto Zp que satisfaga las condiciones I', II', III', porque p se reduce completamente a n a travs de las condiciones arriba deducidas (m) y (p). Tenemos que mostrar ahora que, inversamente, esa representacin p del conjunto Zp determinada completamente por (m) y (p) satisface realmente las condiciones I', II', III'. Claramente se deduce I' de (m) y (p) considerando I, y dado que (). Igualmente, de (m) y II se sigue II', porque el nmero 1 est contenido en Zn (por 99). La correccin de III' se sigue, en primer lugar, de (m) y III para aquellos nmeros m que son <n, y se deduce de (p) y (n) para el nico nmero restante m=n. Con esto queda completamente establecido que de la validez de nuestro teorema para el nmero n se sigue siempre la validez para su sucesor p, c.q.d. 126. Teorema de definicin por induccin. Dada una representacin cualquiera (similar o disimilar) de un conjunto en s mismo y un determinado elemento w de , hay una y slo una representacin de la serie numrica N que satisface las condiciones I. (N), II. (1)=w,

III. (n')=(n), donde n designa un nmero cualquiera. Demostracin. Si realmente se da una tal representacin , en ella se contiene (por 21) una representacin n del conjunto Zn que satisface las condiciones I, II, III dadas en 125, y entonces, como siempre hay una y slo una representacin n, necesariamente (n)=n(n). (n) Como queda as completamente determinada,se sigue que slo puede darse una tal representacin (cfr. el final de 130). Que inversamente la representacin determinada mediante (n) satisface tambin nuestras condiciones I, II, III, se sigue con facilidad de (n), teniendo en cuenta las propiedades I, II y (p) demostradas en 125, c.q.d. 127. Teorema. Bajo los supuestos del teorema anterior, (T')=(T), donde T designa cualquier parte de la serie numrica N. Demostracin. Si t es cualquier nmero del conjunto T, (T') consiste en todos los elementos (t'),y (T) consiste en todos los elementos (t); de aqu se sigue nuestro teorema, porque (por III en 126) (t')=(t). 128. Teorema. Manteniendo los mismos supuestos y designando con o las cadenas que corresponden a la representacin del conjunto en s mismo, (N)=o(w). Demostracin. Mostramos en primer lugar por induccin completa (80) que (N)o(w), es decir, que cada imagen (n) es tambin elemento de o(w). De hecho, . ese teorema es verdadero para n=1, porque (por 126.II) (1)=w, y porque (por 45) wo(w). . Si el teorema es verdadero para un nmero n, o sea si (n)o(w), por 55 tambin ((n))o(w), es decir (por 126.III) (n')o(w), de modo que el teorema vale tambin para su sucesor n', c.q.d. Para demostrar que adems cada elemento v de la cadena o(w) est contenido en (N), o sea que o(w)(N), aplicamos igualmente la induccin completa, a saber el teorema 59 transferido a y a la representacin . De hecho, . el elemento w es =(1), o sea est contenido en (N). . Si v es un elemento comn de la cadena o(w) y del conjunto (N), entonces v=(n), donde n designa un nmero, y de ah se sigue (por 126.III) (v)=(n)=(n'), con lo que tambin (v) est contenido en (N), c.q.d. De los teoremas que hemos demostrado, (N)o(w) y o(w)(N) se sigue (por 5) que (N)=o(w), c.q.d. 129. Teorema. Bajo los mismos supuestos vale en general (no)=o((n)). Demostracin por induccin completa (80). . El teorema vale para n=1 de acuerdo con 128, porque 1o=N y (1)=w. . Si el teorema es verdadero para un nmero n, se sigue ((no))=(o((n)));

como ahora por 127,75 ((no))=(n'o), y como por 57,126.III (o((n)))=o(((n)))=o((n')), se deduce que (n'o)=o((n')), es decir, que el teorema vale tambin para el nmero n' sucesor de n, c.q.d. 130. Nota. Antes de pasar a las aplicaciones ms importantes del teorema de definicin por induccin demostrado en 126 ( 10 a 14), vale la pena llamar la atencin sobre una circunstancia por la que aqul se diferencia esencialmente del teorema de demostracin por induccin probado en 80, o mejor ya en 59,60, por cercano que parezca ser el parentesco entre ambos. Pues mientras que el teorema 59 vale en general para toda cadena Ao, donde A es cualquier parte de un conjunto S representado en s mismo por una representacin cualquiera ( 4), sucede algo muy diferente con el teorema 126, que slo afirma la existencia de una representacin no contradictoria (o unvoca) del conjunto simplemente infinito 1o. Si en este ltimo teorema (manteniendo las suposiciones sobre y ) quisiramos poner en lugar de la serie numrica 1o una cadena cualquiera Ao de un conjunto S, y definir una representacin de Ao en , de manera similar a 126.II, III, estableciendo que . a cada elemento a de A le corresponda un elemento determinado (a) tomado de , y que . para cada elemento n contenido en Ao y su imagen n'=(n) valga la condicin (n')=(n), sucedera muy a menudo que no existe en absoluto una tal representacin , porque las propias condiciones , pueden entrar en contradiccin una con otra, incluso si desde un principio se limita la libertad de eleccin contenida en para adecuarla a la condicin . Bastar un ejemplo para convencerse de ello. Si el conjunto S compuesto de los elementos a y b, distintos entre s, se representa en s mismo mediante de tal manera que a'=b y b'=a, entonces claramente ao=bo=S; sea adems el conjunto compuesto de los elementos , , , distintos entre s, representado mediante en s mismo de tal manera que ()=, ()=, ()=; si postulamos una representacin de ao en tal que (a)= y adems para cada elemento n contenido en ao se cumpla siempre (n')=(n), llegaremos a una contradiccin; porque para n=a se deduce (b)=()=, y de aqu se sigue que para n=b debera cumplirse (a)=()=, cuando por el contrario tenamos (a)=. Pero si hay una representacin de Ao en que satisface las anteriores condiciones y sin contradiccin, se sigue facilmente (por 60) que de ese modo queda completamente determinada; porque si la representacin satisface las mismas condiciones, tendremos siempre (n)=(n), dado que esta proposicin, de acuerdo con , vale para todos los elementos n=a contenidos en A, y porque si vale para un elemento n de Ao, de acuerdo con debe valer tambin para su imagen n'. 131. Para iluminar el alcance de nuestro teorema 126, queremos incluir aqu una observacin que es til tambin para otras investigaciones, por ejemplo para la llamada teora de grupos. Consideramos un conjunto cuyos elementos toleran una determinada composicin tal que de un elemento v surge siempre, por accin de un elemento w, un determinado elemento del mismo conjunto , que puede ser designado mediante w.v o wv y que en general hay que diferenciar de vw. Esto se puede concebir tambin en el sentido de que a cada elemento w le corresponde una determinada representacin del conjunto en

s mismo que designaremosw,' , ya que cada elemento v determina la imagenw,' (v)=wv. Si se aplica a este conjunto y a su elemento w el teorema 126, reemplazando igualmente la representacin que all designbamos porw,' , entonces a cada nmero n le corresponde un determinado elemento (n) contenido en , que podemos designar ahora mediante el smbolo wn y al que a veces se llama la n-sima potencia de w; esta nocin queda completamente determinada imponiendo las condiciones II. w1=w, III. wn'=wwn, y su existencia queda asegurada por la demostracin del teorema 126. Si adems la anterior composicin de elementos est constituida de tal modo que para cualesquiera elementos ,v,w siempre w(v) = (wv), valen tambin los teoremas wn'=wnw, wmwn=wnwm, cuyas demostraciones son fciles de establecer por induccin completa (80) y pueden dejarse al lector. La anterior consideracin general se puede aplicar inmediatamente al siguiente ejemplo. Si S es un conjunto de elementos cualesquiera, y es el correspondiente conjunto, cuyos elementos son la totalidad de las representaciones v de S en s mismo (36), entonces por 25 estos elementos se pueden siempre componer, porque v(S)S, y la propia representacin wv compuesta de v y w es a su vez elemento de . Tambin son representaciones de S en s mismo todos los elementos wn, y se dice que se forman por repeticin de la representacin w. Queremos ahora poner de relieve una sencilla relacin que hay entre estas nociones y el concepto definico en 44 de la cadena wo(A), donde A designa una vez ms cualquier parte de S. Designando para abreviar mediante An la imagen wn(A) producida por la representacin wn, de III, 25 se sigue que w(An)=An'. De aqu se deduce facilmente por induccin completa (80) que todos esos conjuntos An son partes de la cadena wo(A); porque . segn 50 esa afirmacin vale para n=1, y . si vale para un nmero n, de 55 y de An'=w(An) se sigue que tambin vale para el sucesor n', c.q.d. Como adems por 45 Awo(A), se deduce de 10 que tambin el conjunto K compuesto de A y de todas las imgenes An es parte de wo(A). Inversamente, como w(K) se compone (por 23) de w(A)=A1 y de todos los conjuntos w(An)=An', y de este modo se compone (por 78) de todos los conjuntos An, que por 9 son partes de K, entonces (por 10) w(K)K, es decir que K es una cadena (37), y como (por 9) AK, se sigue (por 47) que tambin wo(A)K. Con lo que wo(A)=K, es decir que se cumple el siguiente teorema: Si w es una representacin de un conjunto S en s mismo, y A es cualquier parte de ese conjunto, la cadena de A correspondiente a la representacin w est compuesta de A y de todas las imgenes wn(A) obtenidas por repeticin de w. Recomendamos al lector que vuelva, con esta idea de cadena, a las anteriores proposiciones 57,58.

10 La clase de los conjuntos simplemente infinitos.24

132. Teorema. Todos los conjuntos simplemente infinitos son similares a la serie numrica N y por tanto (por 33) son similares entre s.

Demostracin. Sea el conjunto simplemente infinito ordenado por la representacin (71), y sea w el elemento que hace de elemento base de ; si designamos otra vez con o las cadenas (44) correspondientes a la representacin , por 71 vale lo siguiente: . (). . =o(w). . w no est contenido en (). . la representacin es similar. Si ahora designa la representacin de la serie numrica N definida en 126, se sigue en primer lugar de y 126 (N)=, y por tanto ya slo tenemos que mostrar (por 32) que es una representacin similar, es decir (26) que a distintos nmeros m,n corresponden imgenes tambin distintas (m),(n). Por simetra podemos suponer (segn 90) que sea m>n, o sea mn'o, y el teorema que queremos demostrar se transforma en que (n) no est contenido en (n'o), o sea (por 127) que no est contenido en (no). Esto lo probamos para cada nmero n por induccin completa (80). De hecho, . ese teorema vale para n=1 por , porque (1)=w y (1o)= (N)=. . Si el teorema es verdadero para un nmero n, vale para su sucesor n'; porque si (n'), o sea (n), estuviera contenido en (n'o), (n) debera tambin (por y 27) estar contenido en (n'o), cuando nuestro supuesto dice exactamente lo contrario, c.q.d. 133. Teorema. Todo conjunto que es similar a un conjunto simplemente infinito, y por tanto (por 132,33) a la serie numrica N, es simplemente infinito. Demostracin. Si es un conjunto similar a la serie numrica N, por 32 hay una representacin similar de N tal que I. (N)=; ponemos entonces II. (1)=w. Si (por 26) designamos con la representacin inversa de , que es igualmente similar, a cada elemento v de corresponde un determinado nmero (v)=n, a saber, aquel cuya imagen es (n)=v. Como ahora a este nmero corresponde un determinado sucesor (n)=n', y a este de nuevo un determinado elemento (n') de , a cada elemento v del conjunto le corresponde tambin un determinado elemento (n') del mismo conjunto, que queremos designar (v) por ser la imagen de v. As queda completamente determinada una representacin de en s mismo,* y para probar nuestro teorema mostraremos que queda ordenado por como un conjunto simplemente infinito (71), es decir, que se satisfacen todas las condiciones , , , dadas en la demostracin de 132. En primer lugar, se deduce inmediatamente de la definicin de . Como adems a cada nmero n corresponde un elemento v=(n) para el cual (v)=(n'), en general III. (n')=(n), y de aqu junto con I, II, se sigue que las representaciones , satisfacen todas las condiciones del teorema 126;

) Claramente es la aplicacin [psi][fi][psi] [inversa] compuesta (por 25) de [psi], [fi] y [psi].

con lo que se sigue de 128 y I. Por 127 y I es adems (N')=(N)=(), y de aqu junto con II y la similaridad de la representacin se sigue , porque si no (1)(N'), o sea (por 27) el nmero 1 debera estar contenido en N', lo que (por 71.) no es el caso. Finalmente si , v designan elementos de y m,n los correspondientes nmeros cuyas imgenes son (m)= y (n)=v, del supuesto ()=(v) se sigue por lo anterior que (m')=(n'), y de aqu por la similaridad de y que m'=n', m=n, o sea que tambin =v; con lo que tambin vale , c.q.d. 134. Nota. De acuerdo con los dos teoremas precedentes 132,133, todos los conjuntos simplemente infinitos constituyen una clase en el sentido de 34. Igualmente resulta evidente, considerando 71, 73, que todo teorema sobre los nmeros, es decir sobre los elementos n del conjunto simplemente infinito N ordenado por la representacin , a saber, aquellos teoremas en los que se prescinde completamente de las caractersticas particulares de los elementos n y slo se trata de aquellas nociones que se basan en la ordenacin , poseen validez general tambin para cualquier otro conjunto simplemente infinito ordenado por una representacin y para sus elementos v, y que la transferencia de N a (por ejemplo la traduccin de un teorema aritmtico de una lengua a otra) sucede gracias a la representacin considerada en 132, 133, que transforma cada elemento n de N en un elemento v de , a saber (n). A este elemento v se le puede llamar el n-simo elemento de , y por eso el propio nmero n es el n-simo nmero de la serie numrica N. La misma significacin que tiene la representacin para las leyes del dominio N, en tanto que a cada elemento n le sigue un determinado elemento (n)=n', corresponde para las mismas leyes en el dominio , de acuerdo con la transformacin operada por , a la representacin , en tanto que al elemento v=(n) formado por transformacin de n le sigue el elemento (v)=(n') formado por transformacin de n'; por eso tenemos derecho a decir que es transformada por en , lo que se representa simblicamente = [inversa], =. Con estas notas queda, creo, completamente justificada la definicin del concepto de nmero establecida en 73. Pasamos ahora a ulteriores aplicaciones del teorema 126.

11 Adicin de los nmeros.

135. Definicin. Es natural aplicar la definicin de una representacin de la serie numrica N establecida en 126, o de la funcin (n) determinada por la misma, al caso en que el conjunto all designado por , en el que debe estar contenida la imagen (N), es la propia serie numrica N, porque para este conjunto ya est dada una representacin de en s mismo, a saber, aquella representacin mediante la cual N est ordenado como un conjunto simplemente infinito (71,73). Por tanto, ser entonces =N, (n)=(n)=n', con lo que I. (N)N, y slo queda, para determinar completamente, elegir a voluntad el elemento w de , es decir de N. Si tomamos w=1, est claro que ser la representacin idntica (21) de N, porque las condiciones (1)=1, (n')=((n))' son satisfechas en general por (n)=n. Por tanto, si hay que producir otra representacin de N, se debe elegir para

w un nmero distinto de 1, que por 78 estar contenido en N', esto es, un nmero m', donde m designa un nmero cualquiera; como la representacin depende claramente de la eleccin de ese nmero, designamos la correspondiente imagen (n) de un nmero n cualquiera mediante el smbolo m+n y llamamos a este nmero la suma formada a partir del nmero m por adicin del nmero n, o brevemente la suma de los nmeros m y n. Esta queda, segn 126, completamente determinada mediante las condiciones* II. m+1=m', III. m+n'=(m+n)'. 136. Teorema. m'+n=m+n'. Demostracin por induccin completa (80). . El teorema es verdadero para n=1, porque (por 135.II) m'+1=(m')'=(m+1)' y (por 135.III) (m+1)'=m+1'. . Si el teorema es verdadero para un nmero n, y ponemos su sucesor n'=p, entonces m'+n=m+p, por lo que tambin (m'+n)'=(m+p)', de donde (por 135.III) se sigue que m'+p=m+p'; con lo que el teorema vale tambin para el sucesor p, c.q.d. 137. Teorema. m'+n=(m+n)'. La demostracin se sigue de 136 y 135.III. 138. Teorema. 1+n=n'. Demostracin por induccin completa (80). . El teorema es verdadero para n=1 por 135.II. . Si el teorema vale para un nmero n, y ponemos n'=p, entonces 1+n=p, por lo que (1+n)'=p', de modo que (por 135.III) 1+p=p', es decir que el teorema vale tambin para el sucesor p, c.q.d. 139. Teorema. 1+n=n+1. La demostracin se sigue de 138 y 135.II. 140. Teorema. m+n=n+m. Demostracin por induccin completa (80). . Por 139 el teorema es verdadero para n=1. . Si el teorema es vlido para un nmero n, se sigue de ello que tambin (m+n)'=(n+m)', es decir (por 135.III) que m+n'=n+m', con lo que (por 136) m+n'=n'+m; de modo que el teorema vale tambin para el sucesor n', c.q.d. 141. Teorema. (l+m)+n = l+(m+n). Demostracin por induccin completa (80). . El teorema es verdadero para n=1, porque (por 135.II, III, II) (l+m)+1 = (l+m)' = l+m' = l+(m+1).
) La anterior definicin de la adicin, basada inmediatamente en el teorema 126, me parece la ms fcil. Sin embargo, utilizando la nocin desarrollada en 131 se puede definir tambin la suma m+n mediante [fi]n(m) o mediante [fi]m(n), donde [fi] tiene una vez ms el sentido anterior. Para establecer la coincidencia completa de estas definiciones con la anterior solo se necesita probar (segn 126) que, si designamos [fi]n(m) o [fi]m(n) mediante [psi](n), se satisfacen las condiciones [psi](1)=m', [psi](n')=[fi][psi](n), lo que se consigue facilmente por induccin completa (80), con ayuda de 131.
*

. Si el teorema es vlido para un nmero n, de ah se sigue tambin ((l+m)+n)' = (l+(m+n))', es decir (por 135.III) que (l+m)+n' = l+(m+n)' = l+(m+n'), de modo que el teorema vale tambin para el sucesor n', c.q.d. 142. Teorema. m+n>n. Demostracin por induccin completa (80). . El teorema es verdadero para n=1 por 135.II y 91. . Si el teorema vale para un nmero n, por 95 vale tambin para el sucesor n', porque (por 135.III y 91) m+n' = (m+n)' > m+n, c.q.d. 143. Teorema. Las condiciones m>a y m+n>a+n son equivalentes. Demostracin por induccin completa (80). . El teorema vale para n=1 a consecuencia de 135.II y 94. . Si el teorema vale para un nmero n, vale tambin para su sucesor n', porque la condicin m+n>a+n es equivalente (por 94) a (m+n)'>(a+n)', y por tanto (por 135.III) equivale tambin a m+n'>a+n', c.q.d. 144. Teorema. Si m>a y n>b, tambin m+n>a+b. Demostracin. Porque de nuestro supuesto se sigue (por 143) que m+n>a+n y n+a>b+a , o tambin, lo que por 140 es lo mismo, que a+n>a+b, de donde se deduce nuestro teorema por 95. 145. Teorema. Si m+n=a+n, entonces m=a. Demostracin. Porque si m no es =a, o sea (por 90) si o bien m>a o a>m, entonces (por 143) respectivamente m+n>a+n o m+n<a+n, de modo que (por 90) ciertamente no puede ser m+n=a+n, c.q.d. 146. Teorema. Si l>n, hay un nmero m, y (por 145) slo uno, que satisface la condicin m+n=l. Demostracin por induccin completa (80). . El teorema es verdadero para n=1. De hecho, si l>1, es decir (89) si l est contenido en N', o sea si es la imagen m' de un nmero m, se sigue de 135.II que l=m+1, c.q.d. . Si el teorema vale para un nmero n, mostramos que tambin es vlido para su sucesor n'. De hecho, si l>n', por 91,95 tambin l>n, y consiguientemente hay un nmero k que satisface la condicin l=k+n; como ste es por 138 diferente de 1 (porque si no l sera =n'), por 78 es la imagen m' de un nmero m, y consiguientemente l=m'+n, o sea que tambin (por 136) l=m+n', c.q.d.

12 Multiplicacin de los nmeros.

147. Definicin. Una vez que hemos encontrado en el anterior 11 un conjunto infinito de nuevas

representaciones de la serie numrica N en s misma, por 126 se puede emplear otra vez cada una de ellas para producir todava ms representaciones nuevas de N. Poniendo all =N y (n)=m+n=n+m, donde m es un nmero determinado, encontramos de nuevo en todos los casos I. (N)N, y ya slo queda, para determinar completamente, elegir el elemento w de N a voluntad. El caso ms sencillo es aquel en el que se pone esa eleccin en cierta conformidad con la eleccin de , poniendo w=m. Como la representacin determinada as completamente depende de este nmero m, designamos la correspondiente imagen (n) de un nmero n cualquiera mediante el smbolo mxn o m.n o mn, y llamamos a este nmero el producto formado a partir del nmero m por multiplicacin con el nmero n, o brevemente el producto de los nmeros m y n. El mismo queda completamente determinado (segn 126) mediante las condiciones II. m.1 = m, III. mn' = mn+m. 148. Teorema. m'n = mn+n. Demostracin por induccin completa (80). . El teorema es verdadero para n=1 por 147.II y 135.II. . Si el teorema vale para un nmero n, se sigue que m'n+m' = (mn+n)+m' y de ah (por 147.III, 141, 140, 136, 141, 147.III) m'n' = mn+(n+m') = mn+(m'+n) = mn+(m+n') = (mn+m)+n' = mn'+n'; por tanto el teorema vale tambin para el sucesor n', c.q.d. 149. Teorema. 1.n=n. Demostracin por induccin completa (80). . El teorema es verdadero para n=1 por 147.II. . Si el teorema es vlido para un nmero n, se sigue que 1.n+1=n+1, es decir (por 147.III, 135.II) 1.n'=n', de modo que el teorema vale tambin para el sucesor n', c.q.d. 150. Teorema. mn=nm. Demostracin por induccin completa (80). . El teorema vale para n=1 por 147.II, 149. . Si el teorema vale para un nmero n, se sigue que mn+m = nm+m, es decir (por 147.III, 148) mn'=n'm, de modo que el teorema vale tambin para el sucesor n', c.q.d. 151. Teorema. l(m+n)=lm+ln. Demostracin por induccin completa (80). . El teorema vale para n=1 por 135.II, 147.III, 147.II. . Si el teorema es vlido para un nmero n, se sigue que l(m+n)+l = (lm+ln)+l; pero por 147.III, 135.III

l(m+n)+l = l(m+n)' = l(m+n'), y por 141, 147.III (lm+ln)+l = lm+(ln+l) = lm+ln', con lo que l(m+n') = lm+ln', es decir que el teorema es vlido tambin para el sucesor n', c.q.d. 152. Teorema. (m+n)l = ml+nl. La demostracin se sigue de 151, 150. 153. Teorema. (lm)n = l(mn). Demostracin por induccin completa (80). . El teorema vale para n=1 por 147.II. . Si el teorema se cumple para un nmero n, se sigue que (lm)n+lm = l(mn)+lm, es decir (por 147.III, 151, 147.III) que (lm)n' = l(mn+m) = l(mn'), de modo que el teorema vale tambin para el sucesor n', c.q.d. 154. Nota. Si en 147 no hubiramos supuesto ninguna relacin entre w y , sino que hubiramos puesto w=k, (n)=m+n, habramos formado con ello (por 126) una representacin de la serie numrica N menos sencilla; para el nmero 1 sera (1)=k, y para cualquier otro nmero, expresable por tanto en la forma n', sera (n')=mn+k; porque as quedara satisfecha para todo nmero n la condicin (n')=(n), es decir (n')=m+(n), como se advierte facilmente empleando los teoremas precedentes.

13 Potenciacin de los nmeros.

155. Definicin. Si de nuevo se pone en el teorema 126 =N, y adems w=a, (n)=an=na, se forma una representacin de N, que satisface otra vez la condicin I. (N)N; designamos la correspondiente imagen (n) de un nmero cualquiera n mediante el smbolo an y llamamos a este nmero una potencia de la base a, mientras que a n se le llama el exponente de esta potencia de a. Este concepto queda por tanto completamente determinado mediante las condiciones II. a1=a, III. an'=a.an=an.a. 156. Teorema. am+n=am.an. Demostracin por induccin completa (80). . El teorema vale para n=1 por 135.II, 155.III, 155.II. . Si el teorema es vlido para un nmero n, se sigue que am+n.a=(am.an)a; pero por 155.III, 135.III se cumple que am+n.a = a(m+n)' = am+n', y por 153, 155.III (am.an)a = am(an.a) = am.an'; con lo

que am+n' = am.an', es decir que el teorema es vlido tambin para el sucesor n', c.q.d. 157. Teorema. (am)n=amn. Demostracin por induccin completa (80). . El teorema vale para n=1 por 155.II, 147.II. . Si el teorema es vlido para un nmero n, se sigue que (am)n.am = amn.am; pero por 155.III (am)n.am = (am)n', y por 156, 147.III amn.am = amn+m = amn'; con lo que (am)n' = amn', es decir que el teorema se cumple tambin para el sucesor n', c.q.d. 158. Teorema. (ab)n = an.bn. Demostracin por induccin completa (80). . El teorema vale para n=1 por 155.II. . Si el teorema se cumple para un nmero n, se sigue de 150, 153, 155.III que tambin (ab)n.a = a(an.bn) = (a.an)bn = an'.bn, y de aqu ((ab)n.a)b = (an'.bn)b; pero por 153, 155.III se cumple que ((ab)n.a)b = (ab)n.(ab) = (ab)n', e igualmente (an'.bn)b = an'.(bn.b) = an'.bn'; con lo que (ab)n' = an'.bn', es decir que el teorema se cumple tambin para el sucesor n', c.q.d.

14 Cardinal de un conjunto.

159. Teorema. Si es un conjunto infinito, cada uno de los conjuntos de nmeros Zn definidos en 98 es representable similarmente en (es decir, es similar a una parte de ), e inversamente. Demostracin. Si es infinito, por 72 hay ciertamente una parte T de que es simplemente infinita, o sea (por 132) que es similar a la serie numrica N, y a consecuencia de 35 cada conjunto Zn es tambin, como parte de N, similar a una parte de T, o sea a una parte de , c.q.d. La prueba de la inversa por evidente que pueda parecer es ms complicada. Si cada conjunto Zn es similarmente representable en , a cada nmero n le corresponde una representacin similar n de Zn tal que n(Zn). De la existencia de tal serie de representaciones n, que consideraremos dadas y sobre las que no haremos ninguna otra suposicin, derivamos en primer lugar con ayuda del teorema 126 la existencia de una nueva serie de representaciones n que poseen la propiedad especial de que cada vez que mn, o sea (por 100) cada vez que ZmZn, la representacin m de la parte Zm est contenida (21) en la representacin n de Zn, es decir que las representaciones m y n coinciden completamente para todos los nmeros contenidos en Zm, de modo que siempre m(m)=n(m). Para aplicar el mencionado teorema conforme a este objetivo, entendemos por aquel conjunto cuyos elementos son absolutamente todas las posibles representaciones similares de todos los conjuntos Zn en , y con ayuda de los elementos dados n, contenidos igualmente en , definimos una representacin de en s mismo de la manera siguiente. Si es un elemento cualquiera de , o sea por ejemplo una representacin similar del conjunto Zn en ,

el conjunto n'(Zn') no puede ser parte de (Zn), porque si no Zn' sera por 35 similar a una parte de Zn, o sea por 107 similar a una parte propia de s mismo, con lo que sera infinito, lo que entrara en contradiccin con el teorema 119; por tanto hay ciertamente en Zn' uno o varios nmeros p tales que n'(p) no est contenido en (Zn); de estos nmeros p elegimos siempre simplemente por establecer algo concreto el menor, k (96), y definimos, ya que Zn' es la unin (por 108) de Zn y n', una representacin de Zn' haciendo que para todos los nmeros m contenidos en Zn la imagen sea (m)=(m), y adems (n')=n'(k); ahora consideramos esta representacin de Zn en , que claramente es similar, como una imagen () de la representacin , y con ello queda completamente determinada una representacin del conjunto en s mismo. Una vez que hemos determinado las cosas y mencionadas en 126, elegimos finalmente para el elemento de designado por w la representacin dada 1; con ello se determina por 126 una representacin de la serie numrica N en que, si designamos la imagen correspondiente a un determinado nmero n no mediante (n) sino mediante n, satisface las condiciones II. 1=1, III. n'=(n). Por induccin completa (80) se deduce en primer lugar que n es una representacin similar de Zn en , dado que . esto es verdadero para n=1 a consecuencia de II, y . si esa afirmacin es adecuada para un nmero n, se sigue de III y de las caractersticas de la transformacin antes descrita de en , que la afirmacin vale tambin para su sucesor n', c.q.d. A partir de ah deducimos, igualmente por induccin completa (80) que, si m es un nmero cualquiera, la propiedad antes indicada n(m)=m(m) corresponde realmente a todos los nmeros n que son m, o sea (por 93, 74) que pertenecen a la cadena mo; de hecho . esto es inmediatamente evidente para n=m, y . si esa propiedad corresponde a un nmero n, se sigue otra vez, de III y las caractersticas de , que tambin corresponde al nmero n', c.q.d. Una vez establecida tambin esta propiedad particular de nuestra nueva serie de representaciones n, podemos demostrar facilmente nuestro teorema. Definimos una representacin de la serie numrica N haciendo corresponder a cada nmero n la imagen (n)=n(n); claramente (por 21) todas las representaciones n estn contenidas en esta representacin . Como n era una representacin de Zn en , se sigue en primer lugar que la serie numrica N queda igualmente representada por en , de modo que (N). Por otro lado, si m, n son nmeros distintos, podemos suponer por simetra (segn 90) que m<n; entonces por lo anterior (m)=m(m)= n(m) y (n)=n(n); pero como n era una representacin similar de Zn en , y m, n son elementos distintos de Zn, n(m) es distinto de n(n), de modo que tambin (m) es diferente de (n), es decir que es una representacin similar de N. Como adems N es un conjunto infinito (71), lo mismo se puede decir (por 67) del conjunto (N) similar a l, y por 68, dado que (N) es parte de , tambin de , c.q.d.25 160. Teorema. Un conjunto es finito o infinito segn exista o no un conjunto Zn similar a l. Demostracin. Si es finito, por 159 hay conjuntos Zn que no son similarmente representables en ; como por 102 el conjunto Z1 consiste en el nico nmero 1 y por consiguiente es similarmente representable en todo conjunto, el menor nmero k (96) al que corresponde un conjunto Zk no similarmente representable en debe ser distinto de 1, o sea (por 78) =n', y como n<n' (91) hay una representacin similar de Zn en ; si ahora (Zn)

fuera slo una parte propia de , o sea si en hubiera un elemento que no contenido en (Zn), podramos, dado que Zn'=U(Zn,n') (108), extender esta representacin a una representacin similar de Zn' en , poniendo (n')=, cuando hemos supuesto que Zn' no es similarmente representable en . Con lo que (Zn)=, es decir que Zn y son conjuntos similares. Inversamente, si un conjunto es similar a un conjunto Zn, entonces es (por 119,67) finito, c.q.d. 161. Definicin. Si es un conjunto finito, por 160 hay un nmero n, y por 120, 33 slo uno, al que corresponde un conjunto Zn similar al conjunto ; a este nmero n se llama cardinal de los elementos contenidos en (o tambin grado del conjunto ), y se dice que consiste en n elementos o es un conjunto de n elementos, o que el nmero n determina cuntos elementos estn contenidos en .* Cuando los nmeros se utilizan para expresar con precisin esta propiedad definida de los conjuntos finitos, se les llama nmeros cardinales. En cuanto se ha elegido una determinada representacin similar del conjunto Zn, mediante la cual (Zn)=, a cada nmero m contenido en Zn (es decir, a cada nmero m que es n) le corresponde un determinado elemento (m) del conjunto , y al revs, a cada elemento de le corresponde (por 26) a travs de la representacin inversa un determinado nmero m de Zn. Con frecuencia se designa a todos los elementos de con una nica letra, por ejemplo , a la que se pone como ndica el nmero diferenciador m, de modo que (m) se designa m. Se dice tambin que estos elementos estn numerados y ordenados de cierta forma por , y se llama a am el m-simo elemento de ; si m<n, se llama a am' elemento sucesor de am, y an es denominado ltimo elemento. En esta numeracin de los elementos, los nmeros m intervienen de nuevo como nmeros ordinales (73).26 162. Teorema. Todos los conjuntos similares a un conjunto finito poseen el mismo cardinal. La demostracin se sigue inmediatamente de 33, 161. 163. Teorema. El cardinal de los nmeros contenidos en Zn, es decir de aquellos nmeros que son n, es n. Demostracin. Por 32, Zn es similar a s mismo. 164. Teorema. Si un conjunto consiste de un nico elemento, el cardinal de sus elementos es =1, e inversamente. La demostracin se sigue inmediatamente de 2, 26, 32, 102, 161. 165. Teorema. Si T es una parte propia de un conjunto finito , el cardinal de T es menor que el de . Demostracin. Por 68 T es un conjunto finito, de modo que es similar a un conjunto Zm, donde m designa el cardinal de T; si adems n es el cardinal de , o sea es similar a Zn, por 35 T es similar a una parte propia E de Zn, y por 33 Zm y E son tambin similares entre ellos; ahora, si fuera nm, y por tanto ZnZm, E sera tambin (por 7) una parte propia de Zm, y consiguientemente Zm sera un conjunto infinito, lo que contradice el teorema 119; con lo que (por 90) m<n, c.q.d. 166. Teorema. Si =U(B,), donde B es un conjunto de n elementos y es un elemento de no contenido en B, consiste en n' elementos. Demostracin. Si B=(Zn), donde designa una representacin similar de Zn, por 105,108 sta puede extenderse a una representacin similar de Zn' poniendo (n')=, de modo que precisamente (Zn')=, c.q.d.
) Por motivos de sencillez y claridad limitamos en lo que sigue el concepto de cardinal a conjuntos finitos; por tanto, cuando hablamos del cardinal de ciertas cosas, expresamos simpre con ello que el conjunto cuyos elementos son esas cosas es finito.
*

167. Teorema. Si es un elemento de un conjunto formado por n' elementos, n es el cardinal de todos los dems elementos de . Demostracin. Si B designa el conjunto de todos los elementos de distintos de , =U(B,); si ahora b es el cardinal del conjunto finito B, por el teorema anterior b' es el cardinal de , o sea que b'=n', de donde por 26 se sigue tambin b=n, c.q.d. 168. Teorema. Si A consiste en m elementos y B en n, y A y B no tienen ningn elemento en comn, U(A,B) est formado por m+n elementos. Demostracin por induccin completa (80). . El teorema es verdadero para n=1 a consecuencia de 166,164 135.II. . Si el teorema es vlido para un nmero n, vale tambin para su sucesor n'. De hecho, si es un conjunto de n' elementos, se puede poner (por 167) =U(B,), donde designa un elemento de , y B el conjunto de los otros n elementos. Si ahora A es un conjunto de m elementos, ninguno de los cuales est contenido en , ni por tanto en B, y ponemos U(A,B)=, de acuerdo con nuestro supuesto el cardinal de es m+n, y como no est contenido en , por 166 el cardinal de los elementos contenidos en U(,) es =(m+n)', o sea (por 135.III) =m+n'; pero como (por 15) claramente U(,) = U(A,B,) = U(A,), m+n' es el cardinal de U(A,), c.q.d. 169. Teorema. Si A y B son conjuntos finitos de m y n elementos respectivamente, U(A,B) es un conjunto finito y el cardinal de sus elementos es m+n. Demostracin. Si BA, entonces U(A,B)=A, y el cardinal m de los elementos de este conjunto es (por 142) <m+n, como se haba afirmado. Pero si B no es parte de A, y T es el conjunto de todos aquellos elementos de B que no estn contenidos en A, por 165 su cardinal es pn, y como claramente U(A,B)=U(A,T), por 143 el cardinal m+p de este conjunto es m+n, c.q.d. 170. Teorema. Todo conjunto que es unin de n conjuntos finitos es finito. Demostracin por induccin completa (80). . El teorema es evidente (por 8) para n=1. . Si el teorema vale para un nmero n, y el conjunto es la unin de n' conjuntos finitos, sea A uno de estos conjuntos y B el conjunto unin de todos los restantes; como su nmero (por 167) es =n, por nuestro supuesto B es un conjunto finito. Ahora, como claramente =U(A,B), de aqu y de 169 se sigue que es tambin un conjunto finito, c.q.d. 171. Teorema. Si es una representacin disimilar de un conjunto finito de n elementos, el cardinal de la imagen () es menor que n. Demostracin. Si de todos aquellos elementos de que tienen una y la misma imagen siempre elegimos uno solo, a voluntad, el conjunto T de todos los elementos elegidos es claramente una parte propia de , porque es una representacin disimilar de (26). Resulta igualmente evidente que la representacin de esta parte T contenida (por 21) en es similar, y que (T)=(); con esto el conjunto () es similar a la parte propia T de , y de aqu se sigue nuestro teorema por 162, 165. 172. Nota final. Aunque acabamos de demostrar que el cardinal m de los elementos de () es menor que el cardinal n de , en ciertos casos se dice sin embargo que el cardinal de () es =n. Naturalmente la palabra

cardinal se usa entonces en un sentido distinto al precedente (161); pues si es un elemento de , y a es el cardinal de todos aquellos elementos de que poseen una misma imagen (), a menudo se considerar a esta ltima, en cuanto elemento de (), como representante de a elementos, que se pueden distinguir entre s al menos por su procedencia, y de acuerdo con ello se le contar como un elemento a-uple de (). Se llega as a la nocin, muy til en muchos casos, de conjuntos en los que cada elemento est provisto de un determinado nmero de frecuencia, que determina cuntas veces debe ser contado como elemento del conjunto. Por ejemplo, en el caso anterior se dira que n es el cardinal de los elementos de () contados en este sentido, mientras que el cardinal m de los elementos realmente distintos de este conjunto coincide con el cardinal de T. Semejantes desviaciones del significado original de un trmino tcnico, que no son otra cosa que extensiones del concepto original, aparecen muy frecuentemente en la matemtica; pero no es el propsito de este escrito entrar en ms detalles al respecto.

NOTAS
1. La frase en griego significa "el hombre es siempre aritmtico". Plutarco atribuy a Platn la opinin de que "el dios se siempre gemetra" (Conv. disp., VIII,2), palabras que fueron citadas a menudo en Alemania durante el XIX, con diversos cambios que iban reflejando la sustitucin de la geometra por la aritmtica como ciencia matemtica fundamental. En el artculo que cita Dedekind en su primera nota, Kronecker atribuye a Gauss la frase "el dios es siempre aritmtico" (Kline la atribuye errneamente a Jacobi: Mathematical Thought, 104); Dedekind abandona a Dios para referirse al hombre, dando un paso que es coherente con su postura epistemolgica: la matemtica no tiene que ver con ningn mundo de esencias u objetos permanentes, sino que es una libre creacin humana. Entre los manuscritos de Dedekind se ha encontrado el texto siguiente: "De todos los recursos con que cuenta la mente humana para hacer ms fcil su vida, es decir el trabajo en que consiste el pensamiento, ninguno es tan fructfero y tan inseparable de su ms ntima naturaleza como la nocin de nmero. La aritmtica, cuyo nico objeto es ese concepto, es hoy en da una ciencia de dimensin inclaculable, y no hay ninguna duda de que sus desarrollos ulteriores no tienen ningn lmite; igualmente incalculable es el campo de sus aplicaciones, porque todo hombre que piensa, incluso si no se da cuenta de ello claramente, es un hombre de nmeros [ZahlenMensch], un aritmtico." (publicado por Dugac, o.c., 315) 2. De Ernst Schrder me ocupar en una nota posterior. Leopold Kronecker (1823-1891) fue un influyente matemtico afincado en Berlin, que fue algo as como un alter ego de Dedekind, pues trabaj exactamente en los mismos campos. Dedekind lo consideraba genial: "Siempre he estado muy lejos de querer comparar mi aurea mediocritas, cuya fuerza reside solo en la obstinada perseverancia, con el extraordinario talento de Kronecker [...]" (carta a Frobenius, 8.02.1895, reproducida en Dugac, o.c., apndice LIV, 283). Kronecker estudi en Berlin con Dirichlet, pero su principal maestro fue E. Kummer (1810-1893), que fue su profesor en bachillerato y ya entonces le introdujo en las matemticas superiores. Hijo de una familia adinerada, despus de ocuparse de los negocios por algn tiempo, se traslad a Berlin y trabaj en estrecho contacto con Kummer y Weierstrass. No ocup una plaza universitaria hasta 1883, tras la muerte de Kummer, pero desde 1861 fue miembro de la Academia de Ciencias y como tal dio clases; su influencia en cuestiones universitarias fue progresivamente en aumento. Teora de nmeros, teora de nmeros algebraicos, lgebra y teora de funciones entran en profundos contactos en su obra, fructificndose mutuamente. Kronecker se hizo clebre por su posicin rgidamente constructivista, que le llev a realizar duras crticas sobre todo en privado a las construcciones de los nmeros reales y a la teora de conjuntos. Esto enfri su amistad con Weierstrass e influy en las crisis depresivas de Cantor. Su artculo 'ber den Zahlbegriff', que expresa esa posicin constructivista, puede encontrarse en Werke (New York: Chelsea, 1968), vol. 3, 249-274. Hermann von Helmholtz (1821-1894) pasa por ser el ltimo genio universal, que abarc desde la filosofa a las matemticas, la fsica, la fisiologa y la medicina. Estudi medicina en Berlin, pero ya mientras ejerca la profesin escribi 'Sobre la conservacin de la fuerza', contribuyendo fundamentalmente a la aparicin del principio de conservacin de la energa. Dio clases de fisiologa, uno de sus principales campos de investigacin, en Knigsberg, Bonn y Heidelberg, y en 1871 ocup la ctedra de fsica en Berlin, siendo tambin un importante consejero cientfico del gobierno. A su inters por cuestiones de fsica terica (hidrodinmica y electrodinmica) se une su contribucin a la fundamentacin de la geometra. Con su aportacin a una visin positivista del conocimiento y sus anlisis de la formacin de conceptos en la ciencia emprica, puede considerrsele un precedente del Crculo de Viena. 'Zhlen und Messen erkenntnistheoretisch betrachtet' puede encontrarse en Schriften zur Erkenntnistheorie (Berlin, 1923), 70-108. 3. Es interesante notar que tanto Dedekind como Kronecker (en el artculo ber den Zahlbegriff al que se refiere la nota 1) amplan la nocin de aritmtica para abarcar tambin el lgebra y el anlisis. Lo mismo hace Schrder al identificar la aritmtica con "la teora completa de los nmeros y sus funciones" (teora de nmeros, lgebra, anlisis, teora de funciones, etc.; Schrder (1890), p.441). 4. Esta respuesta de Dedekind puede verse como rplica a la opinin de Kronecker, tantas veces citada: "El buen Dios hizo los nmeros naturales; todo lo dems es obra del hombre" (H. Weber, 'Leopold Kronecker', Math. Ann. 4 (1893), p.23). 5. Ese borrador ha sido publicado recientemente (Dugac (1976),p.293-309); un dato interesante es que su subttulo deca: "intento de anlisis del concepto de nmero desde el punto de vista ingenuo" (293). Por una nota de Dedekind nos consta que Schwarz, Weber y Cantor discutieron con Dedekind la definicin de infinito (cf. la nota al punto 64 del libro); no sabemos exactamente quienes de ellos leyeron el manuscrito. De los otros dos matemticos hablo en otros lugares, sobre Hermann Amandus Schwarz (1843-1921) baste decir que fue alumno de Weierstrass y pariente poltico de Kummer, y que tras una intensa amistad con Cantor pas a ser contado por ste entre las filas de sus enemigos. 6. Estas afirmaciones van dirigidas directamente contra Kronecker, que en el citado artculo haba escrito: "Creo tambin que

algn da ser posible 'aritmetizar' todo el contenido de todas estas disciplinas matemticas (lgebra, anlisis), es decir, basarlas nica y exclusivamente en el concepto de nmero tomado en el sentido ms estricto, eliminando por tanto las modificaciones y extensiones de este concepto [nota de Kronecker: me refiero aqu especialmente al aadido de las magnitudes irracionales y contnuas], que en general han sido originadas por la aplicacin a la geometra y la mecnica." (Kronecker (1887), p.253) Esta rgida posicin de Kronecker le llev a hacer crticas que enfriaron su amistad con Weierstrass, y tuvieron casi neurtico a Cantor. Al demostrar que el nmero natural es tambin una creacin humana, Dedekind pretenda asegurarle al matemtico el derecho a crear con libertad sus conceptos, mostrando que los lmites de Kronecker son arbitrarios. 7. Bernard Bolzano (1781-1848) fue un matemtico, filsofo y telogo de Praga que en el campo de las matemticas y de la lgica adelant muchas concepciones modernas, si bien puede decirse que su influencia fue en general escasa o nula. En el campo del anlisis propuso una definicin de funcin contnua idntica a la de Cauchy, trat de demostrar rigurosamente el teorema del valor intermedio e intent desarrollar una teora rigurosa de los nmeros reales (Theorie der reellen Zahlen, manuscrito publicado en 1962); esto atestigua su modernidad, y de hecho es habitual citarle junto a Cauchy pese a la diferencia enorme entre la influencia ejercida por uno y otro. El campo de la lgica fue probablemente su terreno principal, y en Wissenschaftslehre (4 vols., 1836) desarroll las ideas de Leibniz con mucha fortuna; su rigor y su posicin platnica respecto a los objetos de la lgica y las matemticas recuerdan a Frege. Ya en su obra lgica desarroll Bolzano nociones conjuntistas que luego recogi en su libro pstumo Paradoxien des Unendlichen (1851; reimpresin en Hamburgo, 1975, y traduccin inglesa en Londres, 1950). Este libro, conocido por Cantor y Dedekind durante los aos 1880, contiene una clara defensa del infinito actual y buenos atisbos de la teora de conjuntos, aunque fracasa en puntos fundamentales como la formulacin de la nocin de cardinal. 8. Los fundamentos de la aritmtica (Barcelona: Laia, 1972), obra que expone una teora logicista de los nmeros naturales, divergente de la de Dedekind. Gottlob Frege (1848-1925) estudi filosofa, matemticas y ciencias en Jena y Gttingen; durante toda su vida dio clases en Jena, sin obtener una influencia significativa. Su obra se difundi ante todo a travs de pensadores de primer rango como Russell, Carnap, Wittgenstein y Husserl. El tema de su obra es ante todo la lgica, que trat con una claridad y un rigor poco comunes y que modific a la vez que Peirce formalizando el clculo proposicional, introduciendo cuantificadores, y dando lugar as a la lgica de primer y segundo orden (Begriffschrift, 1879). Otro tema central de su actividad fue la fundamentacin de la nocin de nmero, donde destaca junto al libro anterior su Grundgesetze der Arithmetik (1893, 1903). 9. Lecciones sobre el lgebra de la lgica (3 vols. 1890-1905, reimpreso en New York: Chelsea, 1966); esta obra monumental sistematiz las investigaciones del 'lgebra de la lgica' nacida de Boole y las complet ante todo por el desarrollo de la lgica de relaciones. Ernst Schrder (1841-1902) se habilit en Zrich, trabaj varios aos como profesor de bachillerato, y ocup luego plazas en Escuelas Tcnicas (Darmstadt y Karlsruhe); por esta actividad profesional se asemeja hasta cierto punto a Dedekind. Sufri una fuerte influencia de las tendencias matemticas abstractas de Grassmann y de Hermann Hankel (1839-1873), tambin infludo por Grassmann. Conocido ante todo por la difusin de las ideas booleanas en Alemania, influy en importantes lgicos como Russell y Lwenheim. Su influencia sobre Dedekind fue importante a partir de los aos 1890; en particular le motiv a estudiar la teora de retculos (cf. H. Mehrtens, Die Entstehung der Verbandstheorie, Hildesheim: Gerstenberg, 1979). 10. Este tercer prlogo es fundamental; las "dudas" a que se refiere son por supuesto las antinomias de la teora de conjuntos. El tema era conocido para l desde mucho antes; a instancias de Cantor, Bernstein visit a Dedekind en 1897 para hablarle del descubrimiento de las antinomias. "Dedekind no haba llegado entonces a una opinin definitiva, y me confes que en sus reflexiones haba llegado casi a dudar si el pensamiento humano es totalmente racional" (cit. por E. Noether en Werke, t.III, p.449). La solucin que busca Dedekind apunta a realizar una investigacin que parece ms lgico-filosfica que lgico-matemtica; esto es de nuevo coherente con su logicismo.
11

El requisito que Dedekind propone aqu para la consistencia es tan fuerte que evidentemente las axiomticas actuales no lo satisfacen. Vale la pena indicar que durante el siglo XIX no existe la idea de prueba de consistencia formal, introducida por Hilbert; solo se conceban pruebas de consistencia mediante un teorema de existencia. Todava en 1910 escribe Russell: "la ausencia de contradiccin no se puede demostrar en ningn caso, salvo demostrando primero la existencia: es totalmente imposible efectuar todas las deducciones a partir de unas hiptesis dadas, y probar que ninguna de ellas incluye una contradiccin" (tomado de la recensin de un libro de G. Mannoury en Mind 19 (1910), y citado en I. Grattan-Guinness (ed.), Del clculo a la teora de conjuntos (Madrid: Alianza, 1984), 301). 12. Leyendo los puntos 2 y 3, Frege crey ver que Dedekind no haba conseguido un concepto puramente formal de conjunto y

se haba quedado en la idea de agrupacin material (cf. Frege (1893), introduccin a la parte I). A este defecto achacaba: (a) la indistincin de las relaciones de pertenencia e inclusin, (b) la imposibilidad de concebir un conjunto unitario (que desde un punto de vista material es siempre una cosa, no un conjunto), (c) la inexistencia del conjunto vaco. Desde luego Dedekind no fue claro a este respecto, pero es evidente que las acusaciones de Frege son exageradas, como muestran el final de la carta a Weber del 24.01.1888, y el trabajo sobre la segunda definicin de finito e infinito. 13. Aqu se acaba la parte del escrito dedicada propiamente a la nocin general de conjunto. Est claro que la 'composicin' [Zusammensetzung] de Dedekind no es otra cosa que nuestra unin, as como la 'comunidad' [Gemeinschaft] es nuestra interseccin. Es llamativo que el aparato de operaciones introducido por Dedekind es bastante pobre: solo esas dos operaciones, sin ninguna referencia a otras ms potentes como la formacin del conjunto potencia, o del producto cartesiano de dos conjuntos. Estas ltimas son empleadas por Cantor para acceder a cardinales mayores, pero es evidente que no era la intencin de Dedekind ofrecer una exposicin de la teora de conjuntos transfinitos. Los conjuntos le interesan a Dedekind principalmente como soportes de estructuras, lo que determina un punto de vista algebraico alejado del de Cantor; las estructuras se caracterizarn por medio de aplicaciones, y de ah que la nocin de 'representacin' vaya a convertirse en el verdadero centro del escrito. 14. El concepto de aplicacin de Dedekind es el concepto moderno en toda su generalidad, y aparece aqu por vez primera en la historia de las matemticas. El trmino empleado por al autor es 'Abbildung', y los matemticos alemanes siguen usndolo hoy para denotar aplicacin; esto constitua un argumento a favor de traducirlo simplemente de la forma habitual. Pero 'Abbildung' es una palabra muy polismica: significa 'representacin' e incluso 'pintura', cosa que justifica plenamente que Dedekind hable de 'originales' e 'imgenes'. Por otro lado, la palabra 'aplicacin' no parece especialmente apropiada para el uso que le dan los matemticos, y como la terminologa de Dedekind es en general muy alejada de la nuestra, he pensado que no haba inconveniente en utilizar 'representacin' (aunque no ignoro que tiene otros usos tcnicos en matemticas). Esta palabra permite formar trminos derivados con ms comodidad, parece en principio ms apropiada que 'aplicacin' para lo que se quiere expresar, y sugiere connotaciones mentalistas o logicistas que caracterizan muy bien la posicin de Dedekind en filosofa de la matemtica. A fin de cuentas, la traduccin del trmino no debe resultar demasiado importante: el propio Dedekind enfatiz una y otra vez que una teora bien construida deba exprimir explcitamente el significado de las nociones empleadas, de modo que cualquier trmino tcnico fuera reemplazable por una palabra sin significado. 15. La condicin que impone Dedekind a las representaciones similares coincide exactamente con la que caracteriza nuestras aplicaciones inyectivas, pero las emplea como nosotros utilizaramos aplicaciones biyectivas. La causa es sin duda que le parece trivial el paso de una aplicacin inyectiva a una biyectiva, lo que se consigue simplemente restringiendo el conjunto final al imagen. Por eso se discute aqu el concepto de aplicacin inversa, y de ah que en una carta a Weber escriba: "similar (e.d. unvocamente invertible)" (cit. por Noether en Werke, III, 459). Para convencerse de pese a todo que su concepto de aplicacin es el general, cf. punto 36, donde se considera una aplicacin f de S en Z donde f(S) no es igual a Z. 16. R y S son, en nuestra terminologa, equipotentes o equivalentes; esta nocin es la base del concepto de nmero cardinal, y de su extensin, la nocin de potencia de un conjunto, en que se basa la teora cantoriana. 17. He aqu los nmeros de Frege: cada una de estas clases es un nmero, al menos segn la reformulacin conjuntista habitual de las ideas de Frege. 18. La definicin de cadena de un conjunto ofrece un ejemplo clsico de un tipo de definiciones que seran criticadas por Poincar y otros autores constructivistas, que las consideraron responsables de antinomias. Las definiciones impredicativas determinan un objeto por medio de un conjunto que contiene ya al objeto en cuestin; en nuestro caso, la cadena Ao es la interseccin de todas las cadenas que contienen a A, entre las cuales se encuentra, naturalmente, Ao. Cf. Poincar, 'Los ltimos esfuerzos de los logsticos', en Ciencia y mtodo (Madrid: Espasa, 1963), 137-151. 19. El teorema 63 puede emplearse como base para demostrar el teorema de Schrder-Bernstein, bsico para la teora de conjuntos, cuya demostracin dio Dedekind en 'Representacin similar (clara) y conjuntos similares'. La demostracin es bsicamente la que dara en 1908 Zermelo, quien escribi que "puede ser considerada clsica", y se extra de que ni Cantor (que la conoci en 1899) ni Dedekind se hubieran decidido a publicarla. 20. El texto publicado dice 'cadenaimagen' y sigue al manuscrito, pero es evidente que se trata de un error: U no est contenido en la cadenaimagen de U, de modo que si s3U, tendramos que hacer segn la definicin que viene a continuacin (s)=s y

por tanto no contenido en T, con lo que perderamos el principal objetivo de que (S)=T. 21. El texto publicado pone (S)=[M gtica]((Vo,V), que es claramente un error de lectura del manuscrito. 22. Lo que se pretende con este teorema queda claro en la carta a Keferstein: "Sin una prueba lgica de existencia permanecera siempre dudoso si la nocin de un tal conjunto (infinito) no contendr quiz contradicciones internas." Hay que resaltar que Dedekind no pretende establecer la existencia 'exterior' del infinito en la realidad fsica o en alguna realidad ideal, sino solo su existencia 'mental', es decir su consistencia. Dedekind haba sido siempre partidario del infinito actual, y fue su conciencia clara del problema de la consistencia en matemticas lo que le llev a intentar demostrar la consistencia de la idea de conjunto infinito. Diversos testimonios de la poca nos confirman que en aquel momento no se conceba ninguna demostracin de consistencia que no pasara por mostrar la existencia de un modelo (cf. Grattan-Guinness (ed.), Del clculo a la teora de conjuntos, 1630-1910 (Madrid: Alianza, 1984) 301). Con esto, Dedekind trat de ahondar ms que cualquiera de sus antecesores, y que la mayoria de sus sucesores, que se conformaron simplemente con la postulacin axiomtica del infinito. Otro incentivo para demostrar, y no postular, la existencia (mental) del infinito es que al parecer su posicin epistemolgica respecto a la matemtica le llevaba a evitar formulaciones axiomticas: todo deba ser resultado de las puras leyes del pensamiento y de nociones basadas nicamente en la lgica, todo deba ser demostrado. Pero como se sabe, el recurso a la idea de 'universo mental' hace que el teorema sea sospechoso de dar lugar a antinomias: entre las "cosas que pueden ser objetos de mis pensamientos" estn todos los conjuntos (recurdese que todo conjunto es una cosa, punto 3), y por tanto tambin todos los conjuntos antinmicos. Este es el motivo de que el enfoque de Dedekind fuera abandonado. Como Dedekind reconoce, su teorema de infinito es anlogo a otro de Bolzano; Dedekind conoci la obra de Bolzano en 1882, al envirsela Cantor (carta del 7.10.1882 en Dugac, o.c., 256), de modo que la influencia de este autor lleg solo cuando las ideas fundamentales del escrito estaban ya listas (me refiero a la definicin de infinito, la nocin de cadena, la definicin de conjunto simplemente infinito). Es interesante observar que entre la prueba de Bolzano y la de Dedekind hay diferencias significativas. Para empezar, Dedekind cuenta con una definicin precisa de infinito, y gracias a ella puede hacer ms riguroso el desarrollo de la prueba (son especialmente importantes las condiciones de similaridad y existencia de un elemento base). Pero adems la prueba de Bolzano considera el conjunto de todas las verdades, donde si A es una proposicin verdadera, 'A es verdadera' tambin lo es; Bolzano, como Frege, tiene una posicin platnica, realista radical, ante los objetos de las matemticas y de la lgica. Dedekind, por el contrario, resulta siempre coherente con una posicin mentalista, en el sentido de que los objetos matemticos no existen fuera de la mente del matemtico; de ah que transforme la prueba y considere el conjunto de nuestros posibles objetos de pensamiento. Vale la pena decir que desde los planteamientos de su poca era natural considerar que el 'universo mental' es una nocin puramente lgica: es posible pensar todo aquello que no sea contradictorio, de modo que es la lgica quien determina los lmites de mi universo mental. 23. Estas condiciones definitorias de los conjuntos simplemente infinitos no son otra cosa que los axiomas de Dedekind para la aritmtica; la condicin ms sutil es la ., porque en ella interviene la nocin de cadena de un conjunto, que asegura la validez del principio de induccin y evita la aparicin de nmeros no estndar (cf. el punto 6 de la carta a Keferstein). Resultan equivalentes a los conocidos axiomas de Peano, razn por la cual no es raro hablar de la aritmtica de Dedekind-Peano. An as, hay diferencias entre ellos: puede decirse que los axiomas de Peano son ms inmediatos, mientras que Dedekind formula todo en trminos de conjuntos, aplicaciones y cadenas. Tambin hay diferencias en las teoras construidas por ambos autores, siendo mucho ms completa la de Dedekind (tres ejemplos: generalidad de la teora de cadenas y del teorema 59, fundamentacin de las definiciones recursivas en el 9, demostracin de categoricidad del sistema axiomtico en 10). El propio Peano reconoci haber tenido a la vista el libro de Dedekind mientras revisaba para su publicacin el librito Arithmetices principia (cf. la introduccin en van Heijenoort, From Frege to Gdel, Cambridge University Press, 1967, 86; trad. espaola en Oviedo: Pentalfa, 1979). Sin embargo, segn H. C. Kennedy, Peano descubri independientemente sus axiomas; cf. por ejemplo 'Peano's concept of number', Hist. Math. 1 (1974), 387-408, o tambin mi R. Dedekind (1888), G. Peano (1889) en I. Grattan-Guinness (ed.), Landmark Writings in Western Mathematics 16401940 (Elsevier, Amsterdam, 2005) captulo 47, pp. 613626. Tambin Zermelo se bas en esa misma definicin de conjunto simplemente infinito para postular, en su Axioma del Infinito, un conjunto que contiene (al menos) un conjunto simplemente infinito, y que por tanto sirve como modelo de la aritmtica (cf. 'Untersuchungen ber die Grundlagen der Mengenlehre I', trad. inglesa en van Heijenoort, o.c., 204). 24. Se trata aqu de demostrar que todos los conjuntos simplemente infinitos son isomorfos, con lo que se prueba la categoricidad de la definicin 71. Vemos pues que Dedekind que todos los aspectos de la cuestin de los modelos no estndar, indicada en la carta a Keferstein, se reflejan perfectamente en la exposicin.

25. Esta complicada prueba de la inversa del teorema 159 envuelve el empleo del axioma de eleccin, como seal Zermelo ya en 1904 (cf. la trad. inglesa en van Heijenoort, o.c., 188). Se establece como condicin del teorema que para todo n existe una aplicacin biyectiva arbitraria n de Zn en ; a partir de aqu, nuestro objetivo es definir una aplicacin biyectiva (representacin similar) de N en . No podemos obtenerla componiendo directamente las aplicaciones arbitrarias n, porque entonces ni siquiera est garantizado que obtengamos una aplicacin (un mismo n puede tener muchas imgenes); necesitamos una nueva serie de aplicaciones compatibles entre s. Para comprender el resto del proceso, lo ms cmodo es imaginrselo como una construccin: partimos de 1(Z1) = 1(Z1); ahora, dada n determinamos n'(Zn') escogiendo un k perteneciente a n'(Zn') que no est contenido en n(Zn) Dedekind demuestra que deben existir tales elementos k, y haciendo n'(n') = k, n'(Zn) = n(Zn). La construccin de la aplicacin biyectiva de N en supone por tanto la 'eleccin' de un infinitos elementos k, precisamente uno por cada n. Reformulndolo de modo que la aplicacin del axioma resulte ms evidente, tenemos infinitos conjuntos n(Zn) y queremos obtener un y solo un elemento an de cada uno de los n(Zn), siendo todos los an distintos entre s. Por tanto, para considerar como algo dado necesitamos apelar al axioma de eleccin. En algunos trabajos de historiadores puede encontrarse una interpretacin distinta, y a mi entender errnea, del modo en que el axioma de eleccin interviene en el teorema; se tratara de que Dedekind postula que el conjunto de aplicaciones de cada Zn en es no vaco, pasando a elegir una aplicacin para cada Zn por medio del axioma de eleccin (implcito). En primer lugar, Dedekind no parece presentar as las hiptesis; pero adems, si aceptamos esta interpretacin del teorema, el axioma de eleccin no interviene una sola vez sino dos, cosa que parecen haber pasado por alto los historiadores en cuestin. Cf. el artculo de R. Bunn en Grattan-Guinness (ed.), o.c., 321, as como J. Cassinet, 'Liens entre l'infini et l'axiome du choix', Structures in Mathematical Theories (Servicio editorial de la Universidad del Pais Vasco, 1990), 231-232, y J. Cavaills, Philosophie mathmatique (Paris: Hermann, 1961), 140 (nota 2); esta interpretacin se origin al parecer en G. Hessenberg, 'Grundbegriffe der Mengenlehre' (Abhandlungen der Fries'schen Schule, 1 (1906), 479-706). 26. Ya en el primer prlogo seala Dedekind que el concepto de nmero cardinal es "realmente muy complicado". En su exposicin, la posibilidad de asignar a cada conjunto finito un nmero n (por tanto, no la condicin de unicidad de esta asignacin, sino la condicin de existencia) depende de la complicada demostracin inversa de 159, y por tanto del axioma de eleccin.