El cntaro milagroso

Ver un mundo en un grano de arena, y el cielo en una flor silvestre, hace que el infinito quepa en la palma de tu mano, y la eternidad en una hora.*

WILLIAM BLAKE

1 hojear un libro o una revista de matemticas, lo ms probable es que antes de haber mirado una o dos pginas nos demos de narices con el infinito. Por ejemplo, tomando al azar unos cuantos libros de mi estantera, la segunda lnea de la introduccin a The Higher Arithmetic de Harold Davenport menciona los nmeros naturales 1 , 2 , 3 ,... ,donde los puntos suspensivos indican que los nmeros naturales continan hasta el infinito. En la pgina 2 del Numerical Analysis de Lee Johnson y Dean Riess se citan los desarrollos en serie infinitos correspondientes a la funcin exponencial. Znfinite Linear Groups de B. A. E Wehrfritz: qu ms podra decir? En la pgina 1 de Nonlinear Dynamics and Turbulence de G. 1. Barenblatt, G. Iooss y D. D. Joseph, se dice las ecuaciones de Navier-Stokes o bien una aproximacin de Galerkin de dimensin finita, lo cual nos lleva lgicamente a deducir que para los matemticos las ecuaciones de Navier-Stokes, en conjunto, constituyen un objeto de dimensin infinita. En la pgina 434 de Winning Ways de Elwyn Berlekamp, John Conway y Richard Guy se habla de un juego cuya posicin es CO, O, +1, +4, donde c;c es el smbolo que se utiliza habitualmente para el infinito. Parecer que ir hasta la pgina 434 es irse un poco lejos, pero resulta que es la sexta pgina del segundo volumen, y no he examinado el primero.

* [To see a Worid in a grain of sand, / And a Heaven in a wild flower, / Hold Infinity in the palm of your hand, /And Eternity in an hour.]

70 D e aqu al infinito

Segn Philip Davis y Reuben Hersh, el infinito es el cntaro milagroso de las matemticas. Es milagroso porque su contenido es inagotable. Si sacamos un objeto del cntaro del infinito, no habr uno menos, sino que quedar exactamente el mismo nmero. Fueron precisamente paradojas como sta las que obligaron a nuestros antepasados a ser muy prudentes con los argumentos que contenan referencias al infinito. Pero el infinito tiene un aliciente enorme: es ese lugar maravilloso donde se puede hacer que las cosas molestas desaparezcan. Es casi infinito el nmero de demostraciones matemticas que se ha conseguido realizar mandando al infinito cualquier cosa que resultara difcil y contemplando cmo all se desvaneca por completo. Pero a qu llamamos realmente infinito? Es slo una loca insensatez, o se puede hacer que sea algo razonable? Son reales los infinitos matemticos, o no son ms que unos fantasmas inteligentes, lobos del infinito que se disfrazan de ovejas finitas?

El hotel de Hilbert
Si al poner la mesa colocamos en cada lugar un cuchillo y un tenedor, sabremos que hay exactamente tantos cuchillos como tenedores. Esto es cierto, tanto si estamos preparando una cena ntima para dos a la luz de las velas, como si organizamos un banquete chino para dos mil personas, y no hace falta saber cuntos cubiertos se ponen para estar seguro de que los nmeros concuerdan. Esta observacin es la piedra angular del concepto de nmero. Se dice que dos conjuntos de objetos estn en correspondencia uno a uno, si a cada objeto de un conjunto le corresponde un nico objeto del otro conjunto, y viceversa. Aquellos conjuntos entre los que se puede establecer una correspondencia uno a uno poseen el mismo nmero de objetos. Sin embargo, cuando los conjuntos son infinitos surgen las paradojas. Por ejemplo, Hilbert consider el caso de un hotel imaginario que tuviera un nmero infinito de habitaciones, con los nmeros 1, 2, 3,... Una noche, estando el hotel completamente lleno, llega un husped solitario que busca alojamiento. El gerente del hotel, que tiene solucin para todo, traslada a cada husped a la habitacin siguiente, de forma que el de la habitacin 1 pasa a la habitacin 2, el de la 2 a la 3, y as sucesivamente. Tras haber realojado a cada husped, la habitacin l queda libre para el recin llegado. Al da siguiente llega un autobs de Viajes Infinito, conteniendo un nmero infinito de nuevos huspedes. Esta vez, el gerente traslada al husped de la habitacin 1 a la habitacin 2, al de la habitacin 2 a la 4, al de la habitacin 3 a la 6,..., al de la habitacin n a la 2n. De esta manera quedan libres todas las habitaciones impares, con lo que el pasajero nmero 1 del autobs puede alojarse en la habitacin 1, el nmero 2 en la habitacin 3, el nmero 3 en la 5, y en general, el nmero n en la habitacin 2n - 1. Aunque llegaran infinitos autobuses con un nmero infinito de pasajeros en cada autobs, sera posible alojar a todo el mundo.

El cntaro milagroso

71

A lo largo de la historia, se ha hablado de paradojas similares. Proclus, que escribi sobre Euclides hacia el ao 450 d.C,, observ que cada dimetro de un crculo divide a ste en dos mitades, por lo tanto el nmero de mitades es doble que el de dimetros. Ciertos filsofos de la Edad Media constataron que se puede establecer una correspondencia uno a uno entre dos circunferencias concntricas haciendo corresponder entre s los dos puntos que estn sobre el mismo radio; luego una circunferencia pequea tiene exactamente el mismo nmero de puntos que otra grande. En los Discursos y demostraciones matemticas de Galileo, el sagaz Salviati plantea el mismo problema: Si pregunto cuntos son los cuadrados de los nmeros, puedes responderme correctamente que son tantos como sus propias races; dado que cada cuadrado tiene su raz, y cada raz su cuadrado, ni cada cuadrado tiene ms de una sola raz, ni cada raz ms de un solo cuadrado. A esto replica el siempre insatisfecho Simplicius: Qu es lo que hay que resolver esta vez?. Y Salviati le responde lo siguiente: No veo que se pueda admitir otra conclusin, si no es la de decir que la cantidad de los nmeros en general es una cantidad infinita; los cuadrados son infinitos; y adems ni la cantidad de cuadrados es menor que la de los nmeros en general, ni sta mayor que aquella: en conclusin, los atributos igual, mayor y menor no tienen sentido cuando se habla de infinitos, sino slo cuando se trata de cantidades finitas.

El infinito disfrazado
La respuesta de Galileo a estas paradojas consiste en decir que el infinito se comporta de forma diferente a cualquier otro concepto, y que lo mejor es evitarlo. Slo que a veces es muy difcil de esquivar. El problema del infinito empez a aparecer con mayor frecuencia cuando el clculo empez a desarrollarse, con el caso de las series infinitas. Por ejemplo, qu representa
1 1+-+2

1 4

1 1 +++ ... ?
8

16

Es fcil observar que, a medida que el nmero de sumandos aumenta, el valor de la suma se acerca cada vez ms a 2. Por eso no se puede resistir la tentacin de decir que la suma de todos los infinitos trminos vale exactamente 2. Newton bas en las series infinitas sus mtodos para diferenciar e integrar funciones, de manera que hay que enfrentarse con la cuestin de llegar a comprenderlas, aunque las series infinitas son paradjicas en s mismas. Por ejemplo, cul sera el valor de la suma total de la serie
1 - 1 + 1 - 1 + 1 - 1 +... ? Si la escribimos de la manera siguiente:

72 De aqu al infinito
(1 - 1) + (1 - 1) + (1 - 1) +... est claro que la suma es O. Pero, por otra parte, si escribimos:

1 - (1 - 1) - (1 - 1) -...
est claro que el valor de la suma es 1. Luego O = 1, y las matemticas se nos vienen abajo, hundindose completamente en una contradiccin. El clculo era para sus cultivadores un asunto demasiado importante como para dejarlo en suspenso debido a unas pegas de poca monta y algunos problemas filosficos, como el anterior, de escasa relevancia. Finalmente se solvent el asunto convirtiendo los planteamientos que se referan a sumas infinitas en otros, ms retorcidos, que trataban de sumas finitas. En vez de hablar de una suma infinita a, + a, + a2 +. . . cuyo valor es a, decimos que se puede conseguir que la suma finita a. + a, +. .. + a, difiera de a en una cantidad menor que un error prefijado E, siempre que tomemos n mayor que cierto N (que depende de E). Slo si dicha a existe, se dice que la serie converge, es decir, se considera que tiene sentido hablar de suma. Del mismo modo, la proposicin existe una cantidad infinita de nmeros enteros se puede poner en versin finita diciendo dado cualquier nmero entero, siempre existe uno mayor. Como dijo Gauss en 1831: Protesto contra la utilizacin de una cantidad infinita como si fuese una entidad real; en matemticas esto est prohibido. El infinito no es ms que un modo de hablar, en el que se mencionan, en el sentido propio, aquellos lmites a los que ciertas razones se pueden aproximar tanto como se desee, mientras que a otras se les permite crecer sin lmite. Hoy en da, en cualquier curso universitario de anlisis se ensea a los estudiantes a manejar el infinito de esta manera. Un problema tpico puede ser el siguiente: demustrese que (n2 + n)/n2tiende a 1 cuando n tiende a infinito. Maldicin para el estudiante que responde ( x 2+ C C ) / C C ~ = X / X = 1. Aunque tambin podemos maldecir al que escriba (n2+ n)/n2= 1 + l/n, y haciendo n = 33 resulta que 1 + 1 /= ~1 + O = 1, aun siendo este argumento correcto. (Antes de que le consientan a uno escribir chapuzas como sta, hay que demostrar un poderoso dominio de las matemticas que quedar probado indiscutiblemente despus de utilizar una serie de tortuosos circunloquios. Una vez que se ha aprendido arduamente la difcil tcnica de no ser chapucero, a nadie le importa que uno lo sea.) Este modo de ver las cosas data de los tiempos de Aristteles y se denomina infinito potencial. Consiste en no afirmar que existe un infinito real, sino remodelar nuestra afirmacin de forma que permita que las cantidades sean en todo momento tan grandes como sea preciso. As, ya no diramos que el cntaro milagroso contiene una infinidad real de objetos; nos limitaramos a indicar que, independientemente de la cantidad que extrajramos, siempre quedara alguno en el interior. Dicho de esta manera, suena como

El cntaro milagroso

73

una distincin bastante dudosa; pero en el mbito filosfico nos evita responder a la peliaguda pregunta: Cuntas cosas estn metidas en ese cntaro?.

iLa crisis de la suma!

No obstante, quedaban todava algunos espritus audaces que seguan barajando la idea del infinito real y pensando en un conjunto infinito, no como en una sucesin 1,2, 3,. .. que poda continuar en principio ms all de cualquier punto dado, sino como en un todo infinito y completo. Uno de los primeros que as lo hicieron fue Bernard Bolzano, autor en 1851 de un libro titulado Paradojas del infinito.Pero Bolzano se interes sobre todo por dotar al clculo de unos fundamentos slidos y opt por pensar que los conjuntos realmente infinitos no eran verdaderamente necesarios en dicho mbito. A finales del siglo XIX hubo una cierta crisis en las matemticas. No se trataba de caprichosas paradojas filosficas sobre el infinito, sino de una fuerte crisis sumamente prosaica que afectaba a las tcnicas de trabajo cotidiano de los matemticos, en lo referente a la teora de las series de Fourier. Una serie de Fourier es algo de este estilo:
f ( x ) = cosx
1 1 +cos2x + - C O S k + ...

y fue desarrollada por Joseph Fourier en su trabajo sobre flujos trmicos. La cuestin que se planteaba era: cundo existe la-suma de estas series? Entre unos y otros, los matemticos empezaron a dar respuestas contradictorias. El asunto degener en un folln espantoso, debido a que muchos investigadores, en vez de dar argumentos fsicos plausibles, se dedicaron a dar buenas y lgicas razones matemticas. Era necesario poner las cosas en orden urgentemente. En el fondo la respuesta es que una serie de Fourier se maneja bien siempre y cuando el conjunto de valores x , en los que la funcin f tiene un comportamiento difcil, no sea en s demasiado desagradable. Los matemticos no tuvieron otro remedio que examinar minuciosamente la estructura de los conjuntos de puntos de la recta real. Este problema llev a George Cantor a desarrollar en 1874 una teora de conjuntos realmente infinitos, tema en el que trabaj durante los aos posteriores. Sus ideas, brillantemente originales, llamaron la atencin y suscitaron admiracin, pero sus contemporneos, con una mentalidad ms conservadora, no se molestaron mucho en disimular su desagrado. Cantor llev a cabo dos tareas: invent la teora de conjuntos (que se ha convertido hasta tal punto en un lenguaje bsico, que sin ella los matemticos de hoy no podran ni balbucear) y al hacerlo descubri que algunos infinitos son mayores que otros.

74 De aqu al infinito

El paraso de Cantor
Cantor empez por convertir en virtud todo lo que los dems haban considerado vicio. Defini un conjunto como infinito si se poda establecer una correspondencia uno a uno entre el mismo conjunto y una parte propia de l (un subconjunto). Dos conjuntos son equivalentes o tienen el mismo cardinal, si se puede establecer entre ellos una correspondencia uno a uno. El conjunto infinito ms pequeo es el que tiene por elementos a los nmeros naturales {O, 1, 2, 3, ...). Su cardinal se indica mediante el smbolo K, (alef subcero) y ste es el menor nmero infinito. Tiene todo tipo de propiedades misteriosas, tales como:

x , + 1 = K, , K, + rc,

= K, , K; = K,

pero, no obstante, abre la va hacia una versin coherente de la aritmtica de los nmeros infinitos. (De todas formas, qu le parece que sucedera con el infinito si lo multiplicramos por dos?) Se dice que todo conjunto cuyo cardinal sea K, es numerable. Entre los ejemplos figuran el conjunto de los nmeros enteros negativos, el de todos los nmeros enteros, el de los nmeros pares, el de los impares, el de los cuadrados, el de los cubos, el de los nmeros primos y, sorprendentemente, el de los nmeros racionales. Estamos acostumbrados a imaginar que hay muchos ms nmeros racionales que enteros, porque entre los nmeros enteros hay unos grandes intervalos, mientras que los nmeros racionales se distribuyen de una forma ms densa. Pero esta idea intuitiva es equvoca, porque olvida que en las correspondencias biunvocas no hay por qu respetar el orden en el que se siten los nmeros. Un nmero racional p / q se define mediante un par @, q ) de nmeros enteros, por lo que el nmero de racionales es K;, que como ya hemos dicho es igual a No. Despus de estar viendo este tipo de cosas, uno empieza a preguntarse si todo conjunto infinito es numerable. Puede que Salviati tuviera razn y que So slo sea un smbolo ms sofisticado para expresar X . Cantor demostr que esto no es cierto. El conjunto de los nmeros reales no es numerable: existe un infinito mayor que el infinito de los nmeros naturales. La demostracin es sumamente original: a grandes rasgos, la idea es suponer que los nmeros reales son numerables y razonar hasta llegar a una contradiccin. Supongamos que se escribe con ellos una lista, en forma de desarrollos decimales. Frmese un nuevo decimal cuyo primer dgito despus de la coma sea distinto del que tiene el primero de la lista; cuyo segundo dgito sea diferente del segundo dgito del segundo de la lista; y, en general, cuyo n-simo dgito sea diferente del que aparece en el n-simo de la lista. Entonces, el nmero que as resulta no puede estar en ningn sitio de la lista, lo cual es absurdo, ya que habamos supuesto que la lista era completa. As es el razonamiento diagonal de Cantor, que ha seguido utilizndose hasta

EL cntaro milagroso 75
hoy en todo tipo de problemas importantes. Partiendo de esta idea, Cantor pudo demostrar algo tan espectacular como que los nmeros transcendentes tienen que existir necesariamente. Recurdese que un nmero es transcendente si no satisface ninguna ecuacin polinmica con coeficientes racionales. Entre los ejemplos de estos nmeros se puede citar n = 3,14159... y la base de los logaritmos naturales e = 2,71828..., aunque a los matemticos les llev muchos aos llegar a demostrar que era cierta la sospecha de que se trataba de nmeros transcendentes. En 1873 Charles Hermite demostr que el nmero e es transcendente. El grado de dificultad de esta demostracin se puede deducir del contenido de una carta en la que escribi: No me atrevo a intentar demostrar la transcendencia del nmero n. Si otros lo intentan, nadie se alegrar tanto como yo de que lo consigan, pero creme, querido amigo, no dejar de costarles un cierto esfuerzo. En 1882 Ferdinand Lindemann hizo este esfuerzo y logr adaptar el planteamiento de Hermite para realizar el estudio del nmero n. Cantor demostr que no se necesitan unos teoremas tan increiblemente difciles para demostrar que los nmeros transcendentes existen, probando de una manera muy sencilla que el conjunto de los nmeros algebraicos es numerable. Dado que el conjunto de todos los nmeros reales no es numerable, han de existir en l nmeros que no sean algebraicos. Fin de la demostracin (que es bsicamente trivial); la audiencia se derrumba bajo el peso de su propia incredulidad. En realidad, el razonamiento de Cantor va ms all: demuestra que ha de existir una cantidad no numerable de nmeros transcendentes. Hay m s nmeros transcendentes que algebraicos; y esto se puede probar sin necesidad de indicar ni un solo ejemplo de ninguno de estos nmeros. Parece cosa de magia, ms que de matemticas. Incluso Cantor pas por momentos de incredulidad. Cuando, despus de tres aos intentando demostrar lo contrario, prob que un espacio de dimensin y2 tiene exactamente el mismo nmero de puntos que un espacio de dimensin 1, escribi: Lo veo, pero no lo creo. Otros lo expresaron con ms contundencia; por ejemplo, Paul du Bois-Reymond afirmaba: Resulta incompatible con el sentido comn. Tambin haba algunas otras paradojas cuya solucin no requera precisamente aquel imaginativo desarrollo de una original, pero coherente, intuicin. Por ejemplo, Cantor demostr que, dado un cardinal infinito, siempre existe uno mayor. Hay una infinidad de infinitos diferentes. Consideremos ahora el cardinal del conjunto de todos los conjuntos con distintos cardinales: ste habra de ser mayor que cualquier cardinal, incluido l mismo. Este problema se resolvi finalmente limitando el concepto de conjunto, pero yo no dira que la gente se haya quedado satisfecha con esta respuesta, ni siquiera hoy en da. Haba divisin de opiniones entre los matemticos en cuanto a la importancia de las ideas de Cantor. Leopold Kronecker las estuvo atacando pblicamente y vociferando contra ellas durante una dcada; en un momento dado, Cantor sufri una crisis nerviosa. Pero Kronecker tena una filosofa de las matemticas muy restrictiva -Dios hizo los nmeros enteros y

76 De aqu al infinito

todo lo dems es obra del ser humano- y la probabilidad de que llegara a aprobar las teoras de Cantor era tan exigua como la probabilidad de que un partido conservador nacionalice la industria del automvil. Poincar afirm que las generaciones posteriores consideraran tales teoras como una enfermedad de la que uno ya se ha curado. Hermann Weyl opinaba que la infinidad de infinitos de Cantor era niebla en la niebla. Por otro lado, Adolf Hurwitz y Hadamard descubrieron importantes aplicaciones de la teora de conjuntos al anlisis, hablando sobre estas aplicaciones en prestigiosos congresos internacionales. Hilbert, el matemtico que en sus tiempos llevaba la voz cantante, dijo en 1926: Nadie nos expulsar del paraso que cre Cantor, y ensalz sus ideas como el producto ms asombroso del pensamiento matemtico. Tal como ha sucedido con otras ideas notablemente originales, slo pudieron llegar a apreciarlas aquellos que estaban dispuestos a hacer un esfuerzo para comprenderlas y aplicarlas en su propia obra. Los que se limitaban a comentarlas desde la barrera, en una actitud negativa y autosuficiente, no hicieron sino permitir que su propia soberbia prevaleciera sobre su imaginacin y su experiencia. Hoy en da, los frutos de los trabajos de Cantor constituyen la base de toda la ciencia matemtica.

La hiptesis del continuo

Siguiendo el enfoque de Cantor, los matemticos se dieron cuenta rpidamente de que existen fundamentalmente tres tipos de dominios en los que se puede trabajar: finito, numerable y no numerable. Hay modelos de razonamiento para el caso de dominios finitos que no son aplicables en ningn otro caso: por ejemplo, el principio del casillero, segn el cual no se pueden colocar n + 1 objetos en n casillas con un mximo de un objeto en cada casilla. El caso del hotel de Hilbert demuestra que esto no es cierto cuando n = h, , y lo mismo se puede decir para cualquier n infinito. Los conjuntos numerables por su parte tienen sus propias caractersticas especiales; hay muchos casos en que 1, 2, 3,... es ms sencillo que 1, 2, 3,..., n. Por ejemplo 1 + -1 +-+ 1 4 9

...=A
6

como valor exacto, mientras que no se tiene una frmula para hallar

La razn por la que 1, 2, 3,... es ms sencillo que 1, 2, 3,..., n es evidente: jno hay que preocuparse por la rz del final! Por otra parte, contando 1, 2, 3,... se llega finalmente a cualquier sitio al que se desee llegar, por lo que se puede aproximar un conjunto numerable mediante una serie de conjuntos

El cntaro milagroso 77
finitos; sin embargo, en el caso de los conjuntos no numerables no se puede hacer nada parecido. Es una diferencia muy burda, pero muy importante; y se pueden deducir muchas cosas sobre los gustos de un matemtico preguntndole con qu tamao de conjunto se siente ms a gusto trabajando. Cantor demostr que el cardinal de los nmeros reales es mayor que h,,, pero dej sin resolver la siguiente cuestin: hay otro entre ambos cardinales? Este problema se conoce como la hiptesis del continuo. Todo intento de demostrarlo fall lamentablemente; as fracas todo intento de construir un conjunto que tuviera ms elementos que el de los nmeros enteros, pero menos que el de los reales. (Le recuerda esto a algo? Siga leyendo.) No fue hasta 1963 cuando Paul Cohen demostr que la respuesta dependa de lo que se entendiera por teora de conjuntos. Existen teoras de conjuntos cantorianas en las que es cierto, y teoras de conjuntos no cantorianas en las que es falso. Se trata, de nuevo, de un asunto parecido al axioma de las paralelas de Euclides. Y, desde luego, nos tendramos que sentir todos mucho menos satisfechos de nosotros mismos, al observar que a los matemticos modernos les ha llevado tanto tiempo acostumbrarse a la existencia de una teora de conjuntos no cantoriana como a nuestros predecesores encontrar por fin una geometra no eucldea. La nica leccin que se aprende de la historia es que nunca se aprende de la historia.

Mi cardinal es mayor que el tuyo

Aproximadamente durante los ltimos veinte aos, los expertos en lgica han estudiado todo tipo de alternativas a la teora de conjuntos convencional, utilizando el enfoque axiomtico que data de los tiempos de Euclides. Han descubierto todo tipo de teoremas de honrada intencin cuya verdad o falsedad depende de los axiomas que se elijan. Han conseguido ordenar todo este material en trminos de axiomas para la existencia de grandes cardinales. Por ejemplo, un cardinal inaccesible es el que no es expresable mediante un nmero menor de cardinales menores. A grandes rasgos, el tipo de cardinal que es posible en una teora de conjuntos determina casi todo lo dems que pueda haber en l. Los que se dedican a la lgica matemtica estudian la relativa coherencia de distintas teoras axiomticas en trminos de fiierza de coherencia. Una teora tiene mayor fuerza de coherencia que otra si su coherencia implica la coherencia de la otra teora (y, en especial, si puede modelar la otra teora). El problema central dentro de la lgica matemtica consiste en determinar la fuerza de coherencia en este proceso de ordenar cualquier parcela de las matemticas, Uno de los sistemas ms dbiles es la aritmtica general, tal como la formaliz axiomticamente Giuseppe Peano. No obstante, incluso los sistemas dbiles han resultado tiles. El anlisis se sita dentro de una teora ms consistente, llamada aritmtica de segundo orden. Axiomatizando la propia teora de conjuntos surgen teoras an ms consistentes. La ver-

78 De aqu al infinito sin clsica, la teora de conjuntos de Zermelo-Frankel, es todava demasiado dbil, aunque la distancia entre sta y el anlisis es grande en el sentido de que muchos resultados matemticos requieren para su demostracin ms que el anlisis general, pero menos que la totalidad de la teora de conjuntos de Zermelo-Frankel. Ms all de la teora de Zermelo-Frankel, los grandes cardinales son los que dominan. Por ejemplo, R. M. Solovay demostr que el axioma existe un cardinal inaccesible implica que todo conjunto de nmeros reales es medible en el sentido de Lebesgue (vase el captulo 13). Posteriormente Saharon Shelah demostr la implicacin recproca. Existen otros tipos de cardinales an mayores: Mahlo, dbilmente compacto, hiperMahlo, inefable, medible, Ramsey, supercompacto, amplio, n-amplio. Es ms que suficiente para hacer que Kronecker se revuelva en su tumba infinitas veces.