Infinito

El smbolo de infinito (Unicode U+221E), tambin llamado lemniscata, en diferentes fuentes. Para el canal de televisin por cable, vase Infinito (canal de televisin). Para el grupo espaol de nu metal del mismo nombre, vase Infinito (banda). El concepto de infinito aparece en varias ramas de la matemtica, la filosofa1 y la astronoma,2 en referencia a una cantidad sin lmite o final, contrapuesto al concepto de finitud.3 En matmaticas el infinito aparece de diversas formas: en geometra, el punto al infinito en geometra proyectiva y el punto de fuga engeometra descriptiva; en anlisis matemtico, los lmites infinitos, o lmites al infinito; y en teora de conjuntos como nmeros transfinitos. Contenido [ocultar]

1 Teora de conjuntos
o o o o

1.1 Primera definicin positiva de conjunto infinito 1.2 Nmeros ordinales infinitos 1.3 Primer ordinal infinito 1.4 Nmeros cardinales infinitos

2 Anlisis matemtico

o o

2.1 Anlisis estndar u ordinario 2.2 Anlisis no-estndar

3 Infinito en informtica 4 Historia

o

4.1 El smbolo de infinito

5 Vase tambin 6 Referencias 7 Ms informacin

[editar]Teora de conjuntos Los conjuntos finitos tienen una propiedad "intuitiva" que los caracteriza: "dada una parte propia de los mismos, sta contiene un nmero de elementos menor que todo el conjunto". Es decir, no puede establecerse una biyeccin entre una parte propia del conjunto finito y todo el conjunto. Sin embargo, esa propiedad "intuitiva" de los conjuntos finitos no la tienen los conjuntos infinitos, y formalmente se dice que:

Un conjunto subconjunto biyeccin

es infinito si existe un subconjunto propio tal que entre y . , tal que existe una

de

, es decir, un

La idea de cardinalidad de un conjunto se basa en la nocin anterior de biyeccin. De dos conjuntos entre los que se puede establecer una biyeccin se dice que tienen la misma cardinalidad. Para un conjunto finito su cardinalidad puede representarse por un nmero natural. Por ejemplo, el conjunto {manzana, pera, durazno} tiene 3 elementos. Esto significa de modo ms formal que se puede establecer una biyeccin entre tal conjunto y el nmero 3 que es el conjunto {0,1,2}:

Dicho de otra forma, es posible hacer parejas (0, manzana), (1, pera), (2, durazno) de modo que cada elemento de los dos conjuntos se utilice exactamente una vez. Cuando es posible establecer tal relacin "uno a uno" entre dos conjuntos se dice que ambos conjuntos tienen la misma

cardinalidad, lo cual, para conjuntos finitos, equivale a que tengan el mismo nmero de elementos. [editar]Primera definicin positiva de conjunto infinito La primera definicin positiva de conjunto infinito fue dada por Georg Cantor y se basa en la siguiente observacin: Si un conjunto S es finito y T es un subconjunto propio, no es posible construir una biyeccin entre S y T. Por ejemplo, si S = {1,2,3,4,5,6,7,8} y T = {2,4,6,8} no es posible construir una biyeccin entre S y T, porque de ser as tendran la misma cardinalidad (el mismo nmero de elementos). Un conjunto es infinito si es posible encontrar un subconjunto propio del mismo que tenga la misma cardinalidad que el conjunto original. Consideremos el conjunto de los nmeros naturales N={1,2,3,4,5,...}, el cual es un conjunto infinito. Para verificar tal afirmacin es necesario encontrar un subconjunto propio y construir una biyeccin entre ambos. Para este caso, consideremos el conjunto de enteros positivos pares P={2,4,6,8,10,...}. El conjunto P es un subconjunto propio de N, y la regla de asignacin es una biyeccin:

ya que a todo elemento de N le corresponde un nico elemento de P y viceversa. [editar]Nmeros ordinales infinitos Artculo principal: Nmero ordinal (teora de conjuntos). Los nmeros ordinales sirven para notar una posicin en un conjunto ordenado (primer, segundo, tercer elemento ...). El ejemplo ms elemental es el de los nmeros naturales, que se definen rigurosamente as: Se nota el conjunto vaco:

se nota el conjunto que slo contiene :

luego se nota

el conjunto que slo contiene

y :

Y as sucesivamente:

Por construccin, 0 est incluido en 1, quin a su vez est incluido en 2, ya que obviamente:

La inclusin permite convertir a los ordinales en un conjunto bien ordenado (dos elementos distintos siempre se pueden comparar, y aadiendo la igualdad dara un orden total) entre estos conjuntos que se prefiere, por costumbre, escribir "<", lo que da las relaciones 0 < 1 < 2 < 3. Decir que un ordinal es menor (estrictamente) que otro significa, cuando se les considera a ambos como conjuntos, que est incluido en el otro. Si a y b son ordinales, entonces aUb, la unin de los conjuntos, tambin es un ordinal. En particular, si son ordinales finitos (conjuntos finitos) correspondientes a los naturales a yb, entonces aUb corresponde al mayor de los dos, a o b. En general, si los conjuntos ai son ordinales, donde i toma todos los valores de un conjunto I, entonces a = Uai tambin lo ser. Y si el conjunto I no es finito, tampoco lo ser a. As obtendremos ordinales (o sea nmeros) infinitos. Acabamos de caer en una "trampa", al hablar de conjunto finito sin definir el concepto. Para definirlo rigurosamente, debemos compararlo con los ordinales. Dos conjuntos bien ordenados A y B son isomorfos (con relacin al orden) si existe una biyeccin f entre ambos que respeta el orden: si a < a' en A, entonces f(a) < f(a) en B. Resulta obvio constatar que si A es un conjunto ordenado con n elementos (n entero natural) entonces A es isomorfo an = {0, 1, 2, ..., n1}. Basta con renombrar cada elemento de A para obtener A = {a0,a1, a2, ..., an-1}. Un isomorfismo es meramente un cambio de apelacin. Diremos que un ordinal es finito si cada una de sus partes no vacas tiene un elemento mximo. Por lo tanto todo natural es un ordenal finito. La intuicin nos dice que no hay otros ordenales finitos. Lgicamente, diremos que un conjunto ordenado es finito si es isomorfo a un ordinal finito, o sea a un natural. Para introducir los ordinales infinitos, es preciso dar ahora la definicin exacta de un ordinal: Un conjunto A totalmente ordenado (por la inclusin) es un ordinal si y slo si cada elemento de A es tambin un subconjunto de A Ya vimos que es el caso para los naturales: Por ejemplo, el conjunto 2 = {0, 1} admite 1= {0}, como elemento y por lo tanto tambin como subconjunto.

Todo conjunto bien ordenado es isomorfo a un ordinal. Esto es obvio en el caso finito, y se muestra por induccin transfinita que lo es en el caso infinito. O sea, renombrando los elementos de un conjunto bien ordenado siempre obtenemos un ordinal. [editar]Primer ordinal infinito

Ya hemos visto que una unin cualquiera de ordinales es un ordinal. Si tomamos una unin finita de ordinales finitos, fabricamos un ordinal finito. Para obtener el primer ordinal infinito tenemos que reunir un nmero no finito de ordinales finitos. Hacindolo, siempre caemos en el mismo conjunto, construido al reunir todos los ordinales finitos, es decir los naturales. El conjunto de todos los naturales, , es pues el primer ordinal infinito, lo que no debera sorprender, y lo notamos en este contexto (omega). Para visualizar los ordinales, resulta muy prctico representar cada uno por un punto de una sucesin creciente convergente, como por ejemplo un = 1 - 1/(n+1). Esto da algo semejante a: X__________X_________X_______X______X______X_____X____X___X__X_X_XXX........ Escojamos un punto de la sucesin, y miremos cuantos puntos estn ms a la izquierda. En el ejemplo, hay cuatro, y por lo tanto se trata de u4, lo que corresponde al ordinal 4. Para representar el ordinal w, resulta natural aadir a la sucesin previa un punto 'O' situado exactamente en el lmite de la sucesin: X__________X_________X_______X______X______X_____X____X___X__X_X_XXX...O A la izquierda de uw hay una infinidad de puntos, por lo tanto w es infinito. Pero si elegimos a cualquier otro punto de la sucesin a su izquierda, ya no es el caso, lo cual prueba que w es el primer ordinal infinito. Despus de w llega w+1, w+2 ... que se representan aadiendo a la derecha uno dos o ms puntos, inicialmente distantes, y luego ms cercanos entre s: X________X________X_______X______X______X_____X____X___X__X_X_XXX...O_______X____ _X El ltimo punto dibujado corresponde a w+2. Ms generalmente, para sumar dos ordinales A y B se cambian los nombres de los elementos para que sean todos distintos, luego se juntan los conjuntos A y B, poniendo B a la derecha de A es decir imponiendo que cada elemento de B sea mayor que todos los de A. As hemos construido w+1, ... y as podemos construir 1+w: Notemos Y el elemento de 1, y X los de w: Y__________X__________X_________X_______X______X______X_____X____X___X__X_X_XXX.. . Salta a la vista que w y 1+w son muy parecidos. De hecho la funcin x x - 1 realiza un isomorfismo entre ellos (1+w tiene dos elementos llamados 0: 0A y 0B. El primero hace el papel de -1 en la funcin). Por lo tanto corresponden al mismo ordinal: 1+w = w. Mas no es el caso de w+1, que es distinto de w porque su el conjunto w+1 tiene un elemento mximo (el O del dibujo) mientras que el conjunto w no lo tiene (el lmite de los naturales no es un natural). El punto w (el O del dibujo) no tiene antecesor, es decir que no existe un n tal que n+1=w: se dice que w es un ordinal lmite. Cero tiene tambin esta propiedad pero no merece esta apelacin. Como w+1 1+w, la adicin no es conmutativa en los ordinales.

Se construye del mismo modo w + w que se nota lgicamente 2w. La multiplicacin se define a partir de la adicin como para los naturales. Una vez que se ha representado nw, con n natural, no resulta demasiado difcil imaginar lo que ser w.w, escrito w2. Luego se puede definir wn, con n natural, y, tomando el lmite, ww, tiene tantos elementos como la recta real. La sucesin tiene como lmite .

[editar]Nmeros cardinales infinitos Artculo principal: Nmero cardinal (teora de conjuntos). El cardinal de un conjunto es el nmero de elementos que contiene. Esta nocin es por lo tanto distinta del ordinal, que caracteriza el lugar de un elemento en una sucesin."Cinco" difiere de "quinto" aunque obviamente existe una relacin entre ambos. Se dice que dos conjuntos tienen el mismo cardinal si existe una biyeccin entre ellos. Contrariamente a los ordinales, esta biyeccin no tiene que respetar el orden (adems los conjuntos no tienen que ser ordenados). Como ya tenemos un surtido de conjuntos -los ordinales- veamos sus tamaos (o sea sus cardinales) respectivos. No es ninguna sorpresa que los ordinales finitos tambin son cardinales: entre dos conjuntos con n y m elementos, m y n distintos, no puede haber biyeccin, por lo tanto tienen cardinales distintos. Pero no es el caso con los ordenales infinitos: Por ejemplo, y estn en biyeccin por la funcin:

y , tal biyeccin no respeta el orden, por eso dos ordinales distintos pueden corresponder a un mismo cardinal. Se suele notar |A| el cardinal de A. Se llama (alef0) el cardinal de w, o sea del conjunto de los naturales (donde alef es la primera letra del alfabeto hebreo). Si A y B son conjuntos, entonces , donde x designa el producto cartesiano de los conjuntos, y "" es el producto de los cardinales definidos por esta frmula. El conjunto de las partes de un conjunto A, P(A) est en biyeccin con el conjunto de las funciones de A hacia {0,1}, conjunto que de escribe 2A, como caso particular de YX que denota el conjunto de las aplicaciones de X hacia Y. El cardinal de R, conjunto de los reales, es por lo tanto 2alef0, porque R est en biyeccin con las partes de N, por medio de la escritura decimal de los reales. No se puede decidir, con los axiomas clsicos (los de la teora de los conjuntos, fundamentos de la matemtica), si existe un cardinal mayor que alef0 y menor que 2alef0, es decir si existe un conjunto

con ms elementos que N pero con menos elementos que R. La hiptesis del continuo, que es un axioma adicional, afirma que no. [editar]Anlisis matemtico [editar]Anlisis estndar u ordinario Un conjunto de nmeros reales S es acotado superiormente si existe un nmero c (la cota) tal que c es mayor que todo elemento de S (Por ejemplo, si S={ ; 7 ; } entoncesS es un conjunto

acotado, ya que el nmero c=10 cumple que <10, 7<10, <10). Cuando un conjunto no es acotado, para cualquier nmero c es posible encontrar de modo que c < x. El concepto de infinito se introduce como una cota especial para este tipo de conjuntos. Este concepto de infinito se representa con el smbolo . Tambin es utilizado en el Anlisis matemtico cuando se quiere expresar que los trminos de una sucesin ordenada, o los valores que toma una funcin al tomar la variable dependiente valores cercanos a uno fijado previamente "diverge" ("tiende a infinito", o su lmite es infinito). En este contexto, se considera para representar al lmite que tiende a infinito y al lmite cuando tiende a 0; y no al nmero 0). Para recordar las reglas de lmite se suele entonces acudir a las siguientes reglas nemotecnias: (aqu "x" representa un n real cualquiera)

, Si Si

, entonces

y y

. .

Las identidades anteriores son perfectamente formalizables en el anlsis no-estndar asociado a los nmeros hiperreales. Lmites indeterminados (no es posible determinar a priori su valor como en el resto de los ejemplos, no hay un valor asignado):

[editar]Anlisis no-estndar Artculo principal: Anlisis no-estndar. El anlisis no-estndar amplia la teora de los nmeros reales. Desde el punto de vista lgico los nmeros reales pueden ser entendidos como un lenguaje formal en el que se da por supuesto la existencia de ciertos objetos y en el cual se puede deducir la existencia de otros objetos. En trminos de lenguajes formales el anlisis no-estndar es una extensin lgica de la teora ordinaria de los nmeros reales que adems es conservadora (en el sentido que sus teoremas deducibles coinciden con los deducibles en la teora ordinaria de los nmeros reales). Si bien esta extensin parece antieconmica desde el punto de vista de la navaja de Ockham, ya que la complicacin introducida no altera la clase de teoremas bsicos sobre los nmeros reales ordinarios, realmente permite hacer demostraciones ms breves, derivar resultados ms fcilmente que en la teora ordinaria y frecuentemente ms intuitiva en trminos lgicos. En el seno del anlisis no estndar se introduce un predicado nuevo st() y tres nuevos axiomas que describen el uso de dicho predicado. Gracias a ese predicado el conjunto de nmeros descritos por el lenguaje forman se puede dividir en "elementos estndar" para los cuales (r es estndar si st(r) es cierto) y "elementos no estndar" (r es no estndar si st(r) es cierto). Los elementos estndar tienen esencialmente las mismas propiedades que los nmeros reales ordinarios, mientras que los elementos no estndar incluyen nmeros especiales algunos de los cuales como infinitesimales o como nmeros ilimitados (infinitos). La ventaja de la estructura lgica del anlisis no estndar es que se pueden usar dichos nmeros y ser empleados en deducciones sin inconsistencia alguna (a diferencia de las reglas heursticas del clculo infinitesimal tradicional antes de la formalizacin del siglo XIX). En el anlisis no estndar pueden definirse nmeros que intuitivamente se comportan como nmeros infinitos gracias a al predicado st() " es estndar". Por ejemplo un nmero

ilimitado r satisface que "para cualquier nmero e del conjunto y cualquier nmero natural estndar resulta que ne < r", formalmente:

Obviamente el nmero r no puede ser estndar, ya que para nmeros estndar se tiene que "para cualquier nmero e y cualquier r existe un natural tal que ne > r, formalmente:

Ntese que en esta expresin no aparece el predicado "estndar" st(), y por tanto es formalizable en la teora ordinaria, mientras que la nocin de nmero ilimitado no es formalizable en la teora ordinaria por carecer esta teora del predicado st(). Anlogamente en el anlisis no-estndar pueden definirse nmeros infinitesimales, ms pequeos en valor absoluto que cualquier nmero estndar positivo. De hecho el inverso de un nmero ilimitado es siempre un nmero infinitesimal. [editar]Infinito en informtica De manera relacionada con el infinito para nmeros reales, algunos lenguajes de programacin admiten un valor especial que recibe el nombre de infinito: valor que se puede obtener como resultado de ciertas operaciones matemticas no realizables, tales como las descritas en el punto anterior u operaciones tericamente posibles, pero demasiado complejas para su trabajo en el ordenador/lenguaje en cuestin. En otros lenguajes simplemente se producira un error. [editar]Historia [editar]El smbolo de infinito

John Wallis fue el primer matemtico en usar el smbolo de infinito en sus obras.

Los orgenes del smbolo de infinito son inciertos. Dado que la forma se asemeja a la curva lemniscata (del latn lemniscus, es decir cinta), se ha sugerido que representa un lazo cerrado. Tambin se cree posible que la forma provenga de otros smbolos alqumicos o religiosos, como por ejemplo ciertas representaciones de la serpiente urboros. El matemtico John Wallis fue el primero en usar el smbolo para representar al infinito en su tratado De sectionibus conicus en 1655. Se ha querido ver tambin una banda de Mbius en su forma, aunque el smbolo se us durante cientos de aos antes de que August Mbiusdescubriera la banda que lleva su nombre. El smbolo de infinito se representa en Unicode con el carcter (U+221E). Cronologa4 Ao Acontecimiento Aristteles rechaza un infinito real. Grard Desargues introduce la idea del infinito en la geometra. Se atribuye a John Wallis haber sido el primero en utilizar el smbolo para el infinito. Georg Cantor especifca, en la teora de conjuntos, distintos rdenes de infinito.

350 a.C.

1639

1655

1874

Qu es infinito?

Infinito ...

... no es grande ...

... no es enorme ...

... no es tremendamente gigante...

... no es extremadamente e increblemente gigantesco...

... es ...

Interminable!

Infinito no tiene final Infinito es la idea de que algo no termina. En nuestro mundo no tenemos nada as... as que nos imaginamos que viajamos ms y ms, intetando llegar all, pero no es realmente infinito, slo es un intento de alcanzarlo.

As que no lo pienses as... slo ests esforzando el cerebro para nada. Piensa simplemente en "interminable". Nunca llegars, as que no lo intentes. Ejemplos:

La distancia al "final" de un crculo (no hay final!)

1111...

Una sucesin infinita de "1"s seguidos por un "2" NUNCA tendrn un "2". As que cuando veas un nmero como "0.999..." (es decir un decimal con una sucesin infinita de 9s), no termina nunca la lista de 9s. No puedes decir "pero qu pasa si el ltimo es un 8?", simplemente porque no hay ltimo.

Infinito no aumenta Infinito no "est creciendo", ya est completamente formado. A veces la gente (includo yo) dice "sigue y sigue" y suena como si estuviera creciendo o algo as. Pero infinito no hace nada, slo es. Infinito no es un nmero real Infinito no es un nmero real, es una idea. Una idea de algo que no termina. Infinito no se puede medir. Incluso las galaxias lejanas no pueden competir con infinito. Infinito es sencillo S! En realidad es ms sencillo que muchas cosas que s tienen final. Porque si algo tiene final, tienes que definir dnde est ese final. Ejemplo: una "lnea" tiene longitud infinita, va en las dos direcciones sin final. Si tiene final es un rayo (uno) o un segmento (dos). Nmeros grandes

Hay nmeros impresionantemente grandes. Un Ggol es un 1 seguido de cien ceros (10100) :

10,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000, 000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000 Un ggol ya es ms grande que el nmero de partculas en el universo conocido, pero existe el Ggolplex. Es un 1 seguido de un ggol de ceros. Ni siquiera se puede escribir el nmero, porque no hay suficiente materia en el universo para escribir los ceros: 10,000,000,000,000,000,000,000,000,000,000,000,000,... etc (un ggol de ceros) Y hay nmeros todava ms grandes que necesitan "torres de potencias" para escribirlos. Por ejemplo, un ggolplex se puede escribir as: Esto es diez elevado a (10 elevado a 100), Pero imagina un nmero todava ms grande como Y es fcil crear nmeros mucho ms grandes que estos! Finitos Todos estos nmeros son "finitos". Lo que significa que hay un lmite a lo grandes que son. Pero ninguno de esos nmeros se acerca un poco a infinito. Porque son finitos, e infinito... no es finito! Usar infinito A veces podemos usar como si fuera un nmero, pero infinito no se comporta como un nmero real. Por ejemplo: + 1 = Quiere decir que infinito ms uno es igual a infinito. Lo ms importante sobre infinito es que: - < x < Donde x es cualquier nmero real. As que menos infinito es menor que cualquier nmero real e infinito es mayor que cualquier nmero real. Aqu hay ms propiedades:

Propiedades especiales de infinito += - + - = -

= - - = - = -

x+= x + (-) = - x - = - x - (-) =

Si x>0 : x= x (-) = - Si x<0 : x = - x (-) = Operaciones indefinidas Todas estas estn "indefinidas":

Operaciones "indefinidas" 0 0 - + - - / 0 1

Ejemplo: / no es igual a 1? No, porque en realidad no sabemos cun grande es infinito, as que no podemos decir que dos infinitos son iguales. Por ejemplo + = , as que = + y eso dira que: 1 = 1 1 2

Eso no tiene sentido! Tambin podramos haber llegado a 1=3 y otras cosas... as que decimos que / est indefinido. Distintas tallas de infinito Si sigues estudiando este tema encontrars que hay diferentes tamaos de infinito. Por ejemplo, hay infinitos nmeros enteros {0,1,2,3,4,...}, pero hay ms nmeros reales (como 12.308 o 1.111111) porque cualquier nmero real puede tener un nmero infinito de cifras decimales. Conclusin Infinito es una idea simple: "interminable". Casi todas las cosas que conocemos tienen fin, pero infinito no.

INFINITO MATEMTICO - PARADOJA DE ZENN DE ELEA / PARADOJA DE LA DICOTOMA - CINTA DE MOEBIUS -

El infinito matemtico Joaqun Gonzlez lvarez

Un argumento similar al de la Paradoja de la Dicotoma de Zenn, lo utiliz el escritor Arthur Schnitzler en su novelaFlight to the Darkness, en la cual un personaje sostiene que la muerte no existe, ya que en el ltimo momento se vuelve a vivir a vertiginosa velocidad toda la vida, pero a su vez esa vida rememorada tendr su propio ltimo momento y as sucesivamente, de modo que se vivir eternamente

Slo dos cosas son infinitas, el Universo y la estupidez humana, y de la primera no estoy seguro. Albert Einstein

Resumen Se realiza una exposicin sobre el concepto de infinito matemtico y se alude a la clasificacin de infinito actual e infinito potencial, as como se presentan ejemplos de secuencias, magnitudes y entes geomtricos infinitos.

Introduccin Mucho se utiliza el vocablo infinito en el habla comn y con ms frecuencia en el lenguaje literario, pero muy pocas veces con su significado preciso. En un diccionario de la lengua aparece como primera acepcin de infinito la que se aviene con la etimologa: lo que no tiene fin. La palabra infinito la aplicamos la mayora de las veces incorrectamente, como sinnimo de muy grande o de algo de lo que no

percibimos su terminacin. En el presente trabajo me referir al infinito en su primera acepcin o sea como lo que no tiene final. Como antes dije se suele calificar de infinito a lo que es inmensamente grande, as del universo se dice que es infinito y aunque algunas hiptesis como tal cosa lo tienen, teoras como la Teora General de la Relatividad de Einstein, lo consideran finito Desarrollo La idea de infinito se nos presenta con mayor claridad al fijarnos en conjuntos como el de los nmeros naturales 1,2,3 cuya serie no tiene final. En los conjuntos infinitos como ste, se presentan paradojas como la de que, por ejemplo, los nmeros pares, los cuales por supuesto no son todos los nmeros naturales, tambin son infinitos. Y a cada nmero natural le corresponde un nmero par. Con lo cual paradjicamente hay tantos nmeros pares como nmeros naturales siendo los pares slo una parte de los nmeros naturales. De los conjuntos cuyos elementos pueden colocarse en correspondencia uno a uno sin que sobre ninguno, esto es en correspondencia biunvoca o biyectiva, se dice que tienen la misma cardinalidad, La cardinalidad slo depende del nmero de elementos del conjunto y no de su ordenamiento. El nmero de elementos se designa por el cardinal de ese conjunto. Por ejemplo el nmero cardinal de los conjuntos coordinables uno a uno con los conjuntos de cardinalidad cuatro es el 4. Cuando se trata de conjuntos infinitos al cardinal se le denomina cardinal transfinito. De modo que as considerado hay el mismo nmero cardinal transfinito de nmeros pares que de nmeros naturales en total. Ese nmero cardinal transfinito lo representan los matemticos con la letra hebrea aleph, el Aleph de la narracin de Borges. Me parece de inters a esta altura de mi trabajo aludir al concepto de nmero ordinal. Lo har mediante un ejemplo ya que la definicin rigurosa es algo complicada. El conjunto {0,1,2,3} corresponde al nmero ordinal 4 (cuarto) porque: a) su cardinalidad es 4 y b) 0<1<2<3. A Borges le atraa con singular fuerza el infinito, se advierte en narraciones como la citada y otras como La muerte y la brjula. En dicho cuento Borges alude sin nombrarla, a la famosa Paradoja de Zenn de Elea o Paradoja de la Dicotoma. En su paradoja, Zenn argumentaba que nada ni nadie podra recorrer completamente un segmento de recta AB, esto es, saliendo de A nadie podra llegar a B. pues primero tendra que recorrer AC=AB/2, despus AD=AC/2 luego AE=AD/2, y as infinitas dicotomas que no permitirn

recorrer la totalidad del segmento. Al ir tendiendo a cero la longitud de la distancia, el nmero de dicotomas se hace infinito, el valor de una fraccin cuyo denominador tiende cero se hace infinito. No obstante en matemtica se establece que la divisin por cero no est definida. En la narracin un detective analtico al estilo del Dupin de Edgar A. Poe, plantea a quien pretende asesinarlo, que recorra hasta llegar a l un segmento mediante las dicotomas de Zann con el propsito (ignorado por su enemigo) de que nunca lo alcance. Atendiendo al concepto de lmite del Clculo Infinitesimal, se infiere que la Paradoja de Zenn de Elea niega el movimiento y es por eso que en lenguaje comn, a la tendencia al inmovilismo se le llama eleatismo. Un argumento similar al de la Paradoja de la Dicotoma de Zenn, lo utiliz el escritor Arthur Schnitzler en su novela Flight to the Darkness, en la cual un personaje sostiene que la muerteno existe, ya que en el ltimo momento se vuelve a vivir a vertiginosa velocidad toda la vida, pero a su vez esa vida rememorada tendr su propio ltimo momento y as sucesivamente, de modo que se vivir eternamente. De acuerdo con la teora de los lmites del Clculo Infinitesimal, cada cual se aproxima a la muerte mas no la alcanza. Asociado a nuestro tema del infinito, considero oportuno recordar un filme de los catalogables como de ciencia ficcin serio que se exhibi hace unos aos, titulado Moebius en el que se toma una de las alusiones matemticas mas ingeniosas a la vez que rigurosa al concepto de infinito. Para entender el filme se hace necesario explicar las caractersticas de una figura geomtrica espacial llamada Cinta de Moebius de la cual paso a describir como se construye: de una tira de papel en forma de rectngulo estrecho y alargado, se toman sus extremos con el objeto de unirlos para formar un aro, pero antes de pegarlos, le damos una pequea torsin a uno de los extremos de modo que su parte inferior pase a ser la superior y entonces los pegamos con goma. Tendremos formada la Cinta de Moebius. Esa cinta tiene una sola cara y no dos como tendra de no estar unidos sus extremos como dije, o como las tiene una hoja de papel cualquiera. Para comprobar esa inslita propiedad, se toma un bolgrafo y desde un punto cualquiera de la cinta se va trazando una lnea paralela a sus bordes la cual se va prolongando a lo largo de la cinta hasta que vuelva al punto de partida. Podr comprobarse que recorre toda la cinta sin que quede una porcin de la misma sin recorrer y sin tener que pasar por el borde de una cara a la otra por la sencilla razn de que slo tiene una cara. En el filme se presenta una lnea de subway o tren subterrneo en la cual los vagones ruedan y ruedan sin encontrar tope alguno porque

esa lnea tiene la forma de una Cinta de Moebius. Los pasajeros viajan eternamente sin llegar a paradero alguno. Su viaje no tiene fin su viaje es infinito. Vista de perfil la Cinta de Moebius, recuerda la curva llamada Lemniscata de Bernouilli, curiosamente la forma del smbolo de infinito. Del infinito, Aristteles deca que aniquilaba los nmeros, refirindose a lo que ahora se acepta acerca de que el producto de cualquier nmero por infinito es infinito: n=. Tambin la suma con infinito es aniquilante en el decir de Aristteles. El concepto de infinito se hace ms preciso y aceptable por el intelecto en otras partes de las matemticas. Segn la Teora de los Conjuntos de Georg Cantor, existe lo que se llama el infinito actual, algo ya dado como idea que la inteligencia puede captar. El infinito actual lo podemos comprender al pensar en la ya citada serie de los nmeros enteros y positivos: 1, 2, 3, etc., que nuestra mente acepta que no tendr final, sin que tenga que realizar experimento alguno, el cual por dems es imposible. La idea del infinito actual la aceptan los llamados platonistas y los logicistas como Friedrich Ludwig Gottlob Frege y Bertrand Russell. Russell define el nmero infinito como una clase reflexiva, lo cual quiere decir que se corresponde trmino a trmino a una parte propia de la misma. As A es un conjunto infinito si siendo B un subconjunto propio de A, existe una correspondencia biunvoca entre A y B. Un ejemplo de reflexibilidad segn el filsofo norteamericano Josiah Royce sera un mapa perfecto de Inglaterra dibujado sobre el suelo de ese pas, pues el mismo a su vez tendra dibujado ese tipo de mapa y as en un proceso tericamente sin final. Se nos ocurre que una maqueta perfecta de una ciudad situada en un lugar de la misma, sera un buen ejemplo de reflexiblidad para mostrar el concepto de infinito. Bernhard Bolzano propona, en su tiempo, una idea semejante a la de Russell y Royce de clase reflexiva como concepto de infinito. Cantor en sus reflexiones msticas relacionaba el concepto de infinito a la idea de Dios a quien asimilaba con la ideal existencia de un ltimo ordinal simbolizado por a su vez relacionado con el concepto cantoriano deInfinito Absoluto. El Infinito Absoluto de cierta manera recuerda la Idea Absoluta de Hegel. Similares reflexiones que lindan con lo teolgico, pero ya no para el infinito matemtico, sino para lo Infinito en abstracto, haca San Agustn, Obispo de Hipona, en la Edad Media. San Anselmo en su Principio Ontolgico (conocido como Prueba Ontolgica de la Existencia de Dios), de cierta manera defiende el concepto de infinito actual al decir Si la

realidad es lo infinito, lo es en estos momentos. La teora de Cantor sobre todo en lo que respecta al infinito, fue dura y fanticamente criticada por Leopold Kronecker, lo cual le ocasion una lamentable crisis depresiva a su genial autor. Todo ocurri a finales del siglo XIX y principios del XX. El infinito se evidencia tambin mediante fracciones como 4/3 que al pasarla a decimales dividiendo 4 entre 3 se obtiene 1,3333 y la cifra 3 se repite una y otra vez sin que podamos esperar que alguna vez tenga final esa reiteracin. El 3 se repite infinitamente. Sin embargo, los matemticos que sostienen la tesis de que el infinito actual no existe y s el infinito potencial aducen que lo que ahora observamos como que no tiene final, tal es el caso del valor de la relacin entre la longitud de la circunferencia y su dimetro, el famoso valor , del cual se han calculado una enorme cantidad de cifras decimales sin que aparezca el valor exacto, pudiera ocurrir, dicen estos matemticos, que si se sigue buscando quizs aparezca la cifra final y deje de ser una evidencia del infinito. Sobre la idea de los dos infinitos ya Aristteles en sus reflexiones sobre el concepto de infinito consideraba la existencia de las dos citadas variantes. Claro est que en el caso de donde no se encuentra ninguna regularidad en la aparicin de las cifras decimales como se observa en su conocido valor aproximado 3,14159, alguien podra tener la esperanza de que un da aparezca la cifra final, pero no creo que los partidarios del infinito potencial como nico infinito, esperen que de momento el valor que antes vimos de 4/3 esto es, 1,3333deje de repetir el 3 y aparezca la cifra final que eche a perder nuestro ejemplo de infinito y el Principio de San Anselmo! Conclusiones Ironas aparte, creo que detenernos a meditar sobre cosas interesantes a la vez que importantes para el riguroso tratamiento de la ciencia, como es el concepto de infinito, nos permite ejercitar la mente en asuntos positivos, cosa til ante la tendencia a ocuparnos de lo banal que a veces se nos propone.

Bibliografa Larson, R. 2007. Calculus, Houghton Mifflin Company. New York. Gonzlez, J. 2001 Ciencia, Arte, y Literatura. Ediciones Holgun. Gonzlez, J. 2003. Ciencia, Literatura, Arte...y Filosofa. Libro virtual.

http://galeon.com/casanchi/lib/virtuales.htm Borges, J. L. 1988, Pginas Escogidas. Casa de las Amricas. La Habana. Ortiz, J. R. 1994. El Concepto de Infinito. Asociacin Matemtica Venezolana. Boletn. Vol. 1. Nmero 2.