número transfinito

Número que es mayor que todos los números finitos.

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 eran, sin embargo, no finito . ^{[ cita necesaria ]} Pocos escritores contemporáneos comparten estos escrúpulos; 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.

Wacław Sierpiński realizó un trabajo notable sobre números transfinitos : Leçons sur les nombres transfinis (libro de 1928) muy ampliado a Números cardinales y ordinales (1958, ^[7] 2ª ed. 1965 ^[8] ).

Definición

Cualquier número natural finito se puede utilizar al menos de dos maneras: como ordinal y como cardinal. Los números cardinales especifican el tamaño de los conjuntos (por ejemplo, una bolsa de cinco canicas), mientras que los números ordinales especifican el orden de un miembro dentro de un conjunto ordenado ^[9] (por ejemplo, "el tercer hombre desde la izquierda" o "el vigésimo séptimo hombre "). día de enero"). Cuando se extiende a los números transfinitos, estos dos conceptos ya no están en correspondencia uno a uno . Un número cardinal transfinito se utiliza para describir el tamaño de un conjunto infinitamente grande, ^[2] mientras que un ordinal transfinito se utiliza 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:

• ${\displaystyle \omega }$( Omega ): el número ordinal transfinito más bajo. También es el tipo de orden de los números naturales según su orden lineal habitual.
• ${\displaystyle \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 . De lo contrario, puede haber otros cardinales que sean incomparables con aleph-one y mayores que aleph-null. De cualquier manera, no hay cardinales entre aleph-null y aleph-one. ${\displaystyle \aleph _{1}.}$

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

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

• ${\displaystyle {\mathfrak {m}}}$es un cardenal transfinito. Es decir, existe un conjunto infinito de Dedekind tal que la cardinalidad de es ${\displaystyle A}$ ${\displaystyle 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]

Ejemplos

En la teoría de los números ordinales de Cantor, todo número entero debe tener un sucesor. ^[11] El siguiente número entero después de todos los regulares, es decir, el primer número entero infinito, se denomina . 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 . ${\displaystyle \omega }$ ${\displaystyle \omega +1}$ ${\displaystyle \omega }$ ${\displaystyle \omega \cdot 2}$ ${\displaystyle \omega ^{2}}$ ${\displaystyle \omega ^{\omega }}$ ${\displaystyle \omega }$ ${\displaystyle \omega }$

Sin embargo, no todos los números enteros infinitos pueden representarse mediante una forma normal de Cantor, y el primero que no puede 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 más grandes, y se pueden seguir 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 especificara un único número entero más grande, siempre sería capaz de mencionar su sucesor mayor. Pero como señaló Cantor, ^{[ cita necesaria ]} incluso esto solo permite alcanzar 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 }$ ${\displaystyle \aleph _{0}}$

Ver también

• Infinito real
• número alef
• número de beth
• número épsilon
• Infinitesimal

Referencias

1. "Definición de número transfinito | Dictionary.com". www.diccionario.com . Consultado el 4 de diciembre de 2019 .
2. "Números transfinitos y teoría de conjuntos". www.math.utah.edu . Consultado el 4 de diciembre de 2019 .
3. "Georg Cantor | Biografía, contribuciones, libros y hechos". Enciclopedia Británica . Consultado el 4 de diciembre de 2019 .
4. Georg Cantor (noviembre de 1895). "Beiträge zur Begründung der transfiniten Mengenlehre (1)". Annalen Matemáticas . 46 (4): 481–512.
5. Georg Cantor (julio de 1897). "Beiträge zur Begründung der transfiniten Mengenlehre (2)". Annalen Matemáticas . 49 (2): 207–246.
6. Georg Cantor (1915). Philip EB Jourdain (ed.). Contribuciones a la fundación de la teoría de los números transfinitos (PDF) . Nueva York: Dover Publications, Inc.Traducción inglesa de Cantor (1895, 1897).
7. Oxtoby, JC (1959), "Review of Cardinal and Ordinal Numbers (1ª ed.)", Boletín de la American Mathematical Society , 65 (1): 21–23, doi : 10.1090/S0002-9904-1959-10264- 0 , señor  1565962
8. Goodstein, RL (diciembre de 1966), "Review of Cardinal and Ordinal Numbers (2ª ed.)", The Mathematical Gazette , 50 (374): 437, doi :10.2307/3613997, JSTOR  3613997
9. Weisstein, Eric W. (3 de mayo de 2023). "Número ordinal". mathworld.wolfram.com .
10. Beyer, WA; Louck, JD (1997), "Iteración de funciones transfinitas y números surrealistas", Avances en Matemáticas Aplicadas , 18 (3): 333–350, doi : 10.1006/aama.1996.0513 , MR  1436485
11. John Horton Conway , (1976) Sobre números y juegos . Prensa académica, ISBN 0-12-186350-6. (Ver Capítulo 3.)

Bibliografía

• 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 MacTutor de Historia de las Matemáticas .
• Rubin, Jean E. , 1967. "Teoría de conjuntos para el matemático". San Francisco: Holden-Day. Basado en la teoría de conjuntos de Morse-Kelley .
• Rudy Rucker , 2005 (1982) El infinito y la mente . Universidad de Princeton. Prensa. 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ática". Dover. ISBN 0-486-61630-4 . Basado en ZFC .