Número transfinito
En la teoría de conjuntos, número transfinito es el término original que el matemático alemán Georg
Cantor introdujo para referirse a los ordinales infinitos, que son mayores que cualquier número natural.
En la terminología moderna, al referirse a ordinales o cardinales, «transfinito» e «infinito» son sinónimos.1
Índice
Primeros números transfinitos
Aritmética de cardinales transfinitos
Historia y desarrollo
Véase también
Referencias
Enlaces externos
Primeros números transfinitos
Al igual que con los números naturales, puede pensarse en los números transfinitos como cardinales u
ordinales:
ω (omega): es el menor ordinal transfinito. Sus elementos son los números naturales, tal y
como son construidos en teoría de conjuntos, y representa el tipo de orden de estos.
ℵ0, alef-0: es el primer número alef, y el primer cardinal transfinito (asumiendo el axioma de
elección). Es conjuntísticamente idéntico a ω, pero se utilizan notaciones diferentes para
resaltar el aspecto ordinal o cardinal de los conjuntos numerables.
ℵ1, alef-1: es el segundo número alef, y el cardinal siguiente a ℵ0 (asumiendo el axioma de
elección).
c = 2ℵ0: es el cardinal del continuo, el número cardinal de los puntos de una recta o de los
números reales.
Asumiendo el axioma de elección, todo lo que puede demostrarse con los axiomas de Zermelo-Fraenkel es:
La hipótesis del continuo afirma que de hecho c = ℵ1. Sin embargo, el trabajo de Kurt Gödel y Paul Cohen
demuestra que la hipótesis 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 hipótesis del continuo afirma que de hecho . Gödel probó en
1938 que esta hipótesis es consistente con los axiomas ZF, y por tanto puede ser tomado como un axioma
nuevo para la teoría de conjuntos. Sin embargo, en 1963 Paul Cohen probó que la negación de la hipótesis
del continuo también es consistente con los axiomas ZF, lo cual prueba que dicha hipótesis es totalmente
independiente de los axiomas ZF. Es decir, pueden construirse tanto "teorías de conjuntos cantorianas" (en
las que la hipótesis del continuo es una afirmación cierta), como "teorías de conjuntos no cantorianas" (en
las que la hipótesis del continuo sea falsa). Esta situación es similar a la de las geometrías no euclidianas.
Aritmética de cardinales transfinitos
Para los números transfinitos se pueden extender sin ambigüedad la suma, la multiplicación y la
potenciación. Sean por ejemplo dos conjuntos disjuntos y , la suma y la
multiplicación puede construirse a partir del cardinal de la unión y del producto cartesiano de estos dos
conjuntos:
Es sencillo comprobar que estas operaciones están bien definidas ya que:
Aunque la suma y la multiplicación no presentan problemas, la resta y la división no están definidas. A
diferencia de lo que sucede con los cardinales finitos no pueden definirse sin ambigüedad operaciones
equivalentes a la resta o la división. La resta y la división pueden introducirse entre los cardinales finitos
gracias a que a partir del conjunto de los cardinales finitos, que coinciden con los números naturales ,
pueden construirse el conjunto de los enteros y de los racionales. La construcción 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
se tienen las siguientes igualdades:
Los cardinales transfinitos dotados de la suma o la multiplicación constituyen un monoide conmutativo.
Debido a la falta de regularidad de los cardinales transfinitos no es aplicable el teorema de simetrización de
un monoide que permitiría definir la resta y la división.
La potenciación requiere construir un conjunto más complicado, pero resulta igualmente bien definida. Si A
y B son dos conjuntos cualesquiera y y se puede definir la exponenciación
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 potenciación también tiene propiedades de saturación curiosas, así para cardinales de tipo alef se tiene:
Historia y desarrollo
Georg 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 tamaño de un conjunto infinito y, de hecho, comparar el tamaño de dos conjuntos infinitos para encontrar
que el de uno era “mayor” que el del otro, y elaboró una teoría hasta cierto punto rigurosa respecto de estas
ideas: la teoría de números transfinitos.[cita requerida]
Cantor argumentaba que el desprecio de los matemáticos por el infinito y su naturaleza se debía a un abuso
de este concepto. Lo que Cantor quería decir era que el término infinito se aplicaba sin distinción a
cualesquiera conjuntos no finitos, siendo que, de entre ellos, era posible tomar algunos que son, de alguna
manera, medibles y de tamaños comparables. Las reflexiones y posterior estudio de Cantor acerca de todo
esto comenzaron cuando, intuyendo este algún resultado no trivial, se preguntó si era posible poner en
correspondencia uno a uno el conjunto de los números naturales con el conjunto de los números reales.
Pronto pudo Cantor demostrar que no existía tal correspondencia, revelando así una diferencia entre la
infinitud de dos conjuntos infinitos, lo que constituyó, en definitiva, un resultado de mucho interés. Cantor
probó también que, contrario a lo que pudiera pensarse, el conjunto de los números racionales, que tiene
propiedad de densidad, se corresponde uno a uno con el conjunto de los números naturales.[cita requerida]
Es fácil dar un ejemplo de dos conjuntos que, uno teniendo todos los elementos del otro y más, se
corresponden uno a uno. Tómese, por ejemplo, el caso de los números naturales:[cita requerida]
y tomemos ahora solo aquellos números que son el cuadrado de algún número natural (claramente no todos
los números naturales cumplen con esta característica, por lo que se descartan muchos de ellos):
Apenas es necesario explicar más para percatarse de que existe una correspondencia uno a uno entre y
su subconjunto
Además, Cantor encontró que la medición de un conjunto (ya sea finito o infinito) puede realizarse de dos
maneras: una de ellas no considera nada más 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 distinción surgen los números
cardinales y los números ordinales, los cuales pueden ser también transfinitos. Para conjuntos finitos, estos
dos conceptos son equivalentes. Sin embargo, los dos conceptos difieren en el momento de aplicarse a
conjuntos infinitos.[cita requerida]
Véase también
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, Lógica y teoría de conjuntos ([Link]
consultado el 22 de abril de 2011..
Suppes, Patrick (1960). Axiomatic Set Theory ([Link]
00supp) (en inglés). D. Van Nostrand Company. LCCN 60010291.
Enlaces externos
Esta obra contiene una traducción derivada de «Transfinite number» de Wikipedia en
inglés, publicada por sus editores ([Link]
history) bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons
Atribución-CompartirIgual 3.0 Unported.
Obtenido de «[Link]
Esta página se editó por última vez el 9 mar 2022 a las 17:54.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0;
pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.
