Número transfinito

En matemáticas , los números transfinitos o números infinitos son números que son " infinitos " en el sentido de que son más grandes que todos los números finitos . Estos incluyen los cardinales transfinitos , que son números cardinales utilizados para cuantificar el tamaño de conjuntos infinitos, y los ordinales transfinitos , que son números ordinales utilizados para proporcionar un ordenamiento de conjuntos infinitos. ^{[1] [2]} El término transfinito fue acuñado en 1895 por Georg Cantor , ^{[3] [4] [5] [6]} quien deseaba evitar algunas de las implicaciones de la palabra infinito en conexión con estos objetos, que, sin embargo, no eran finitos . ^{[ cita requerida ]} Pocos escritores contemporáneos comparten estos reparos; ahora se acepta el uso de referirse a los cardinales y ordinales transfinitos como números infinitos . Sin embargo, el término transfinito también sigue en uso.

Un trabajo notable sobre los números transfinitos fue realizado por Wacław Sierpiński : Leçons sur les nombres transfinis (libro de 1928) muy ampliado en Cardinal and Ordinal Numbers (1958, ^[7] 2da ed. 1965 ^[8] ).

Cualquier número natural finito puede usarse de al menos dos maneras: como ordinal y como cardinal. Los números cardinales especifican el tamaño de los conjuntos (p. ej., una bolsa de cinco canicas), mientras que los números ordinales especifican el orden de un miembro dentro de un conjunto ordenado ^[9] (p. ej., "el tercer hombre desde la izquierda" o "el día veintisiete de enero"). Cuando se extienden a los números transfinitos, estos dos conceptos ya no están en correspondencia uno a uno . Un número cardinal transfinito se usa para describir el tamaño de un conjunto infinitamente grande, ^[2] mientras que un ordinal transfinito se usa para describir la ubicación dentro de un conjunto infinitamente grande que está ordenado. ^{[9] [ verificación fallida ]} Los números ordinales y cardinales más notables son, respectivamente:

• ${\estilo de visualización \omega}$( Omega ): el número ordinal transfinito más bajo. También es el tipo de orden de los números naturales bajo su ordenamiento lineal habitual.
• $estilo de visualización {\aleph _{0}}$( Aleph-null ): el primer número cardinal transfinito. También es la cardinalidad de los números naturales. Si se cumple el axioma de elección , el siguiente número cardinal superior es aleph-uno . Si no, puede haber otros cardinales que sean incomparables con aleph-uno y mayores que aleph-null. De cualquier manera, no hay cardinales entre aleph-null y aleph-uno.${\displaystyle \aleph _{1}.}$

La hipótesis del continuo es la proposición de que no existen números cardinales intermedios entre y la cardinalidad del continuo (la cardinalidad del conjunto de números reales ): ^[2] o equivalentemente, que es la cardinalidad del conjunto de números reales. En la teoría de conjuntos de Zermelo-Fraenkel , ni la hipótesis del continuo ni su negación pueden probarse.$estilo de visualización {\aleph _{0}}$$estilo de visualización {\aleph _{1}}$

Algunos autores, entre ellos P. Suppes y J. Rubin, utilizan el término cardinal transfinito para referirse a la cardinalidad de un conjunto infinito de Dedekind en contextos en los que esto puede no ser equivalente a "cardinal infinito"; es decir, en contextos en los que no se supone o no se sabe si se cumple el axioma de elección numerable . Dada esta definición, los siguientes son todos equivalentes:

• ${\displaystyle {\mathfrak {m}}}$es un cardinal transfinito. Es decir, existe un conjunto infinito de Dedekind tal que la cardinalidad de es${\estilo de visualización A}$${\estilo de visualización A}$${\displaystyle {\mathfrak {m}}.}$
• ${\displaystyle {\mathfrak {m}}+1={\mathfrak {m}}.}$
• ${\displaystyle \aleph _{0}\leq {\mathfrak {m}}.}$
• Hay un cardenal tal que${\displaystyle {\mathfrak {n}}}$${\displaystyle \aleph _{0}+{\mathfrak {n}}={\mathfrak {m}}.}$

Aunque los ordinales y cardinales transfinitos generalizan sólo los números naturales, otros sistemas de números, incluidos los números hiperreales y los números surrealistas , proporcionan generalizaciones de los números reales . ^[10]

En la teoría de los números ordinales de Cantor, cada número entero debe tener un sucesor. ^[11] El siguiente entero después de todos los regulares, es decir, el primer entero infinito, se llama . En este contexto, es mayor que , y , y son aún mayores. Las expresiones aritméticas que contienen especifican un número ordinal y pueden considerarse como el conjunto de todos los números enteros hasta ese número. Un número dado generalmente tiene múltiples expresiones que lo representan, sin embargo, existe una forma normal de Cantor única que lo representa, ^[11] esencialmente una secuencia finita de dígitos que dan coeficientes de potencias descendentes de .${\estilo de visualización \omega}$${\displaystyle \omega +1}$${\estilo de visualización \omega}$${\displaystyle \omega \cdot 2}$${\displaystyle \omega ^{2}}$${\displaystyle \omega ^{\omega }}$${\estilo de visualización \omega}$${\estilo de visualización \omega}$

Sin embargo, no todos los números enteros infinitos pueden representarse mediante una forma normal de Cantor, y el primero que no puede hacerlo está dado por el límite y se denomina . ^[11] es la solución más pequeña de , y las siguientes soluciones dan ordinales aún mayores, y pueden seguirse hasta llegar al límite , que es la primera solución de . Esto significa que para poder especificar todos los números enteros transfinitos, uno debe pensar en una secuencia infinita de nombres: porque si uno tuviera que especificar un único número entero más grande, entonces siempre podría mencionar su sucesor más grande. Pero como señaló Cantor, ^{[ cita requerida ]} incluso esto solo permite llegar a la clase más baja de números transfinitos: aquellos cuyo tamaño de conjuntos corresponde al número cardinal .${\displaystyle \omega ^{\omega ^{\omega ^{...}}}}$${\displaystyle \varepsilon _{0}}$ ${\displaystyle \varepsilon _{0}}$${\displaystyle \omega ^{\varepsilon }=\varepsilon }$${\displaystyle \varepsilon _{1},...,\varepsilon _{\omega },...,\varepsilon _{\varepsilon _{0}},...}$${\displaystyle \varepsilon _{\varepsilon _{\varepsilon _{...}}}}$${\displaystyle \varepsilon _{\alpha }=\alpha }$$estilo de visualización {\aleph _{0}}$

Busque transfinito en Wikcionario, el diccionario libre.

• Levy, Azriel, 2002 (1978) Teoría básica de conjuntos . Publicaciones de Dover. ISBN 0-486-42079-5 
• O'Connor, JJ y EF Robertson (1998) "Georg Ferdinand Ludwig Philipp Cantor", Archivo de Historia de las Matemáticas MacTutor .
• Rubin, Jean E. , 1967. "Teoría de conjuntos para matemáticos". San Francisco: Holden-Day. Fundamentado en la teoría de conjuntos de Morse-Kelley .
• Rudy Rucker , 2005 (1982) Infinity and the Mind . Princeton Univ. Press. Principalmente una exploración de las implicaciones filosóficas del paraíso de Cantor . ISBN 978-0-691-00172-2 . 
• Patrick Suppes , 1972 (1960) "Teoría de conjuntos axiomáticos". Dover. ISBN 0-486-61630-4 . Fundamentado en ZFC .