Infinito

Infinito
El concepto de infinito aparece en varias ramas de la filosofa,[1] la matemtica y la astronoma.[2] En geometra, el punto al infinito en geometra proyectiva y el punto de fuga en geometra descriptiva; en anlisis matemtico, los lmites infinitos, o lmites al infinito; y en matemtica dentro de las teoras de nmeros y de conjuntos. En todos los casos denota que el ente en cuestin no es finito en algn aspecto.

El smbolo de infinito (Unicode U+221E) en diferentes fuentes.

El smbolo de infinito
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 Mbius descubriera la banda que lleva su nombre. El smbolo de infinito se representa en Unicode con el carcter (U+221E).

Teora de conjuntos

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

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 decimos que: Un conjunto que es infinito si existe un subconjunto propio , tal que existe una biyeccin entre de y , es decir, un subconjunto . tal

Infinito 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 conjunto {1,2,3}:

Dicho de otra forma, es posible hacer parejas (1, manzana), (2, pera), (3, 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.

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.

Nmeros ordinales infinitos

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 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,

Infinito 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 y b, 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, ..., n-1}. 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. 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.

Infinito 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 wwww tiene como lmite psilon 0.

Nmeros cardinales infinitos

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, w y w+1 estn en biyeccin por la funcin: w+1 w x x+1 y w 0. 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 alef es la primera letra del alfabeto hebreo). Si A y B son conjuntos, entonces |AxB| = |A|.|B|, 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. (alef0) el cardinal de w, o sea del conjunto de los naturales (donde

Infinito

Anlisis matemtico y topologa

Otro significado comn de infinito es, informalmente, cota superior para el conjunto de los nmeros reales o infinito topolgico, es decir, puede aadirse a los nmeros reales un nuevo nmero , que no sera un nmero real, pero tal que:

El conjunto de los nmeros reales es un conjunto ordenado, es decir, dado una pareja de nmeros es posible determinar el mayor y el menor. Por ejemplo, si a=2 y b=7 entonces a es el nmero menor y b es el mayor. 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 ; } entonces S es un conjunto acotado, ya que el nmero c=10 cumple que <10, 7<10, <10. de modo que c < x. El Cuando un conjunto no es acotado, para cualquier nmero c es posible encontrar

concepto de infinito se introduce como una cota especial para este tipo de conjuntos. Este concepto de infinito se representa con el smbolo . Consideremos nuevamente el conjunto de los nmeros pares P={2,4,6,8,10,...}. El conjunto no es acotado, porque dado cualquier nmero c, existe un nmero par mayor a c. Por ejemplo, si c=100 entonces x=200 es mayor, si c=555 entonces x=1000 es mayor. Tambin es posible decir que la sucesin ordenada de los nmeros pares "tiende a infinito", o que su lmite es infinito. El Anlisis matemtico son las ramas de la matemtica que estudian los lmites y el infinito en este contexto. En ocasiones se considera al infinito como un "nmero especial", agregando los smbolos de nmeros reales formando as el conjunto de nmeros reales extendidos: . construccin el infinito se manipula de manera similar a un nmero, sujeto a ciertas reglas: Relacin de orden: para cualquier nmero real Operaciones aritmticas entre nmeros reales y el infinito: y y al conjunto . Con esta

, Si , y . .

Si entonces y Operaciones aritmticas entre infinitos:

Ntese que muchas operaciones no estn definidas (es decir, no tienen valor asignado), por ejemplo:

Infinito

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.

Vase tambin
Asntota Conjuntos numerables Infinitesimal Nmero transfinito Paradojas sobre el infinito

Referencias
[1] Monnoyeur, Francoise (1995). El infinito de los matemticos, el infinito de los filsofos (Infini des mathmaticiens, infini des philosophes). Paris: Belin. ISBN 978-2701110189. [2] Monnoyeur, Francoise (1999). El Infinito de los filsofos, el infinito de los astrnomos (Infini des philosophes, infini des astronomes). Paris: Belin. ISBN 978-2701115207.

Ms informacin
Manolios, Panagiotis & Vroon, Daron. Algorithms for ordinal arithmetic. Baader, Franz (ed), 19th International Conference on Automated Deduction--CADE-19. Pages 243-257 of LNAI, vol. 2741. Springer-Verlag.

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Infinito Fuente: http://es.wikipedia.org/w/index.php?oldid=41127620 Contribuyentes: .Jos, ATW-KOD, Airunp, Akhram, Alberto Salguero, Alonsorgaz, Andres ernesto guzman, Aracne, Ascnder, Banfield, Belandthecity, BetoCG, Byj2000, Caesius, Charlierun, Cobalttempest, Correogsk, Daniyyel, Darkmarth, Davius, Dcoetzee, Delphidius, Diegusjaimes, Doctor C, Drini2, Edub, Ensada, Farisori, FrancoGG, GermanX, Gonis, Guevonaso, Gustronico, Humberto, Ingenioso Hidalgo, Irfit, JMCC1, Javierito92, Jorge c2010, Joseaperez, Juan Marquez, Kn, Laura Fiorucci, Levhita, Llull, Locorbano, Lourdes Cardenal, Lucien leGrey, Macar, Maldoror, Mariano12 1989, Martinixo, Matdrodes, Maveric149, Mister, Moriel, Muro de Aguas, Netito777, Oscar ., Paintman, Pakolo, Platonides, Plugger, PoLuX124, Romanm, Romero Schmidtke, Sabbut, Sailorsun, Sanbec, Seraphita, Serrano23, Simen el Loco, SirSlither, Stagiraswarrior, Storm77, Taichi, Tano4595, Th3j0ker, Tirithel, Tomatejc, Tribologist, Txo, Vairoletto, Veon, Wewe, Xatufan, Yeza, Youssefsan, Yrithinnd, ZrzlKing, conversion script, 137 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:Infinity symbol.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Infinity_symbol.svg Licencia: Public Domain Contribuyentes: Darapti, Hello71, Indolences, Kilom691, Magister Mathematicae, Wst, 6 ediciones annimas Archivo:John Wallis by Sir Godfrey Kneller, Bt.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:John_Wallis_by_Sir_Godfrey_Kneller,_Bt.jpg Licencia: Public Domain Contribuyentes: Sir Godfrey Kneller, Bt (died 1723)

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/