Nmero transfinito

Saltar a: navegacin, bsqueda En teora de conjuntos, nmero transfinito es el trmino original que el matemtico alemn Georg Cantor introdujo para referirse a los ordinales infinitos, esto es, mayor que cualquier nmero natural o finito, para diferenciarlos del infinito real o absoluto. En la terminologa moderna, al referirse a ordinales o cardinales, transfinito e infinito son sinnimos.1

Contenido

1 Primeros nmeros transfinitos 2 Aritmtica de cardinales transfinitos 3 Historia y desarrollo 4 Vase tambin 5 Referencias

Primeros nmeros transfinitos

Al igual que con los nmeros naturales, puede pensarse en los nmeros transfinitos como cardinales u ordinales:

(omega): es el menor ordinal transfinito. Sus elementos son los nmeros naturales, tal y como son construidos en teora de conjuntos, y representa el tipo de orden de estos. 0, alef-0: es el primer nmero alef, y el primer cardinal transfinito (asumiendo el axioma de eleccin). Es conjuntsticamente idntico a , pero se utilizan notaciones diferentes para resaltar el aspecto ordinal o cardinal de los conjuntos numerables. 1, alef-1: es el segundo nmero alef, y el cardinal siguiente a 0 (asumiendo el axioma de eleccin). c = 20: es el cardinal del continuo, el nmero cardinal de los puntos de una recta o de los nmeros reales.

Asumiendo el axioma de eleccin, todo lo que puede demostrarse con los axiomas de Zermelo-Fraenkel es:

La hiptesis del continuo afirma que de hecho c = 1. Sin embargo, el trabajo de Gdel y Paul Cohen demuestra que la hiptesis es independiente de dichos axiomas: no puede ser refutada o demostrada a partir de ellos. Es decir, usando los axiomas de Zermelo-Fraenkel (ZF) puede comprobarse que los tres cardinales anteriores cumplen . La

hiptesis del continuo afirma que de hecho . Gdel prob en 1938 que esta hiptesis es consistente con los axiomas ZF, y por tanto puede ser tomado como un axioma nuevo para la teora de conjuntos. Sin embargo, en 1963 Paul Cohen prob que la negacin de la hiptesis del continuo tambin es consistente con los axiomas ZF, lo cual prueba que dicha hiptesis es totalmente independiente de los axiomas ZF. Es decir, pueden construirse tanto "teoras de conjuntos cantorianas" (en las que la hiptesis del continuo es una afirmacin cierta), como "teoras de conjuntos no cantorianas" (en las que la hiptesis del continuo sea falsa). Esta situacin es similar a la de las geometras no euclidianas.

Aritmtica de cardinales transfinitos

Para los nmeros transfinitos se pueden extender sin ambigedad la suma, la multiplicacin y la potenciacin. Sean por ejemplo dos conjuntos disjuntos y , la suma y la multiplicacin puede construirse a partir del cardinal de la unin y del producto cartesiano de estos dos conjuntos:

Es sencillo comprobar que estas operaciones estn bien definidas ya que:

Aunque la suma y la multiplicacin no presentan problemas, la resta y la divisin no estn definidas. A diferencia de lo que sucede con los cardinales finitos no pueden definirse sin ambigedad operaciones equivalentes a la resta o la divisin. La resta y la divisin pueden introducirse entre los cardinales finitos gracias a que a partir del conjunto de los cardinales finitos, que coinciden con los nmeros naturales , pueden construirse el conjunto de los enteros y de los racionales. La construccin de los enteros y los racionales es posible debido a que todo cardinal finito es regular respecto a la suma, es decir, para cualesquiera cardinales a, b y c > 0, finitos se cumple:

Esas dos ltimas propiedades de hecho no se cumplen nunca cuando uno de los cardinales es transfinito, si tenemos la siguientes igualdades:

Los cardinales transfinitos dotados de la suma o la multiplicacin constityen un monoide conmutativo. Debido a la falta de regularidad de los cardinales transfinitos no es aplicable el teorema de simetrizacin de un monoide que permitira definir la resta y la divisin. La potenciacin requiere construir un conjunto ms complicado, pero resulta igualmente bien definida. Si A y B son dos conjuntos cualesquiera y y se puede definir la exponenciacin como el cardinal del conjunto de funciones de B en A:

Un caso particular interesante se da cuando a = 2, en este caso podemos por ejemplo A = {0,1}, y el conjunto AB se puede identificar naturalmente con el conjunto de partes de B o conjunto potencia.

La potenciacin tambin tiene propiedades de saturacin curiosas, as para cardinales de tipo alef se tiene:

Historia y desarrollo
Cantor se percat de que era posible hablar de la cantidad de elementos de un conjunto infinito tal y como se habla de la cantidad de elementos de un conjunto finito. Es decir, encontr que era posible medir el tamao de un conjunto infinito y, de hecho, comparar el tamao de dos conjuntos infinitos para encontrar que el de uno era mayor que el del otro, y elabor una teora hasta cierto punto rigurosa respecto de estas ideas: la teora de nmeros transfinitos. Cantor argumentaba que el desprecio de los matemticos por el infinito y su naturaleza se deba a un abuso de este concepto. Lo que Cantor quera decir era que el trmino infinito se aplicaba sin distincin a cualesquiera conjuntos no finitos, siendo que, de entre ellos, era posible tomar algunos que son, de alguna manera, medibles y de tamaos comparables. Las reflexiones y posterior estudio de Cantor acerca de todo esto comenzaron cuando, intuyendo ste algn resultado no trivial, se pregunt si era posible poner en correspondencia uno a uno el conjunto de los nmeros naturales con el conjunto de los nmeros reales. Pronto pudo Cantor demostrar que no exista tal correspondencia, revelando as una diferencia entre la infinitud de dos conjuntos infinitos, lo que constituy, en definitiva, un resultado de mucho inters. Cantor prob tambin que, contrario a lo que pudiera pensarse, el conjunto de los nmeros racionales, que tiene propiedad de densidad, se corresponde uno a uno con el conjunto de los nmeros naturales.

Es fcil dar un ejemplo de dos conjuntos que, uno teniendo todos los elementos del otro y ms, se corresponden uno a uno. Tomemos, por ejemplo, a los nmeros naturales:

y tomemos ahora solo aquellos nmeros que son el cuadrado de algn nmero natural (claramente no todos los nmeros naturales cumplen con esta caracterstica, por lo que se descartan muchos de ellos):

Apenas es necesario explicar ms para percatarse de que existe una correspondencia uno a uno entre y su subconjunto . Adems, Cantor encontr que la medicin de un conjunto (ya sea finito o infinito), puede realizarse de dos maneras: una de ellas no considera nada ms que la cantidad de elementos de un conjunto, mientras que la otra toma en cuenta el orden de los elementos de un conjunto. De esta distincin surgen los nmeros cardinales y los nmeros ordinales, los cuales pueden ser tambin transfinitos. Para conjuntos finitos, estos dos conceptos son equivalentes. Sin embargo, los dos conceptos difieren en el momento de aplicarse a conjuntos infinitos.

Vase tambin

Alef-0, Alef-1, Alef-2 Infinitesimal Infinito

Referencias
1. Aunque algunos autores, como Suppes, 1960 utilizan transfinito para distinguir entre infinito y Dedekind-infinito.

Ivorra, Carlos, Lgica y teora de conjuntos, consultado el 22-04-2011. Suppes, Patrick (1960) (en ingls). Axiomatic Set Theory. D. Van Nostrand Company. LCCN 60010291.

Este artculo fue creado a partir de la traduccin del artculo Transfinite number de la Wikipedia en ingls, bajo la licencia Creative Commons Atribucin Compartir Igual 3.0 Unported y la licencia de documentacin libre de GNU.