En matemáticas , particularmente en la teoría de conjuntos , los números aleph son una secuencia de números que se utilizan para representar la cardinalidad (o tamaño) de conjuntos infinitos que pueden estar bien ordenados . Fueron introducidos por el matemático Georg Cantor [1] y llevan el nombre del símbolo que usó para denotarlos, la letra hebrea aleph (). [2] [3]
(Aunque en los libros de matemáticas más antiguos, la letra aleph a menudo se imprime al revés por accidente, [nb 1] en parte porque una matriz monotípica para aleph se construyó erróneamente al revés). [4]
La cardinalidad de los números naturales es(lea aleph-nught o aleph-zero ; el término aleph-null también se usa a veces), la siguiente cardinalidad más grande de un conjunto bien ordenable es aleph-one, luego y así. Continuando de esta manera, es posible definir un número cardinal por cada número ordinal , como se describe abajo.
El concepto y la notación se deben a Georg Cantor , [5] quien definió la noción de cardinalidad y se dio cuenta de que los conjuntos infinitos pueden tener diferentes cardinalidades .
Los números de aleph difieren del infinito () que se encuentran comúnmente en álgebra y cálculo, ya que los alephs miden el tamaño de los conjuntos, mientras que el infinito se define comúnmente como un límite extremo de la recta numérica real (aplicado a una función o secuencia que " diverge hasta el infinito" o "aumenta sin límite "), o como un punto extremo de la recta numérica real extendida .
Aleph-nada
(aleph-nught, también aleph-zero o aleph-null) es la cardinalidad del conjunto de todos los números naturales, y es un cardinal infinito . El conjunto de todos los ordinales finitos , llamado o (dónde es la letra griega minúscula omega ), tiene cardinalidad. Un conjunto tiene cardinalidadsi y sólo si es numerablemente infinito , es decir, hay una biyección (correspondencia uno a uno) entre él y los números naturales. Ejemplos de tales conjuntos son
- el conjunto de todos los enteros ,
- cualquier subconjunto infinito de números enteros, como el conjunto de todos los números cuadrados o el conjunto de todos los números primos ,
- el conjunto de todos los números racionales ,
- el conjunto de todos los números construibles (en el sentido geométrico),
- el conjunto de todos los números algebraicos ,
- el conjunto de todos los números computables ,
- el conjunto de todas las cadenas binarias de longitud finita, y
- el conjunto de todos los subconjuntos finitos de cualquier conjunto numerable infinito dado.
Estos infinitos ordinales: , , , , y se encuentran entre los conjuntos contablemente infinitos. [6] Por ejemplo, la secuencia (con ordinalidad ω · 2) de todos los enteros impares positivos seguidos de todos los enteros pares positivos
es un ordenamiento del conjunto (con cardinalidad ) de enteros positivos.
Si se cumple el axioma de elección contable (una versión más débil del axioma de elección ), entonces es más pequeño que cualquier otro cardenal infinito.
Aleph-uno
es la cardinalidad del conjunto de todos los números ordinales contables , llamado o algunas veces . Estoes en sí mismo un número ordinal mayor que todos los contables, por lo que es un conjunto incontable . Por lo tanto, es distinto de . La definición deimplica (en ZF, teoría de conjuntos de Zermelo-Fraenkel sin el axioma de elección) que ningún número cardinal está entre y . Si se usa el axioma de elección , se puede demostrar además que la clase de números cardinales está totalmente ordenada y, por lo tanto,es el segundo número cardinal infinito más pequeño. Usando el axioma de elección, se puede mostrar una de las propiedades más útiles del conjunto: cualquier subconjunto contable de tiene un límite superior en (Esto se deriva del hecho de que la unión de un número contable de conjuntos contables es en sí misma contable, una de las aplicaciones más comunes del axioma de elección). Este hecho es análogo a la situación en : todo conjunto finito de números naturales tiene un máximo que también es un número natural, y las uniones finitas de conjuntos finitos son finitas.
es en realidad un concepto útil, aunque suene algo exótico. Una aplicación de ejemplo es "cerrar" con respecto a operaciones contables; por ejemplo, tratando de describir explícitamente el σ {\ Displaystyle \ sigma} -álgebra generada por una colección arbitraria de subconjuntos (ver, por ejemplo, la jerarquía de Borel ). Esto es más difícil que la mayoría de las descripciones explícitas de "generación" en álgebra ( espacios vectoriales , grupos , etc.) porque en esos casos solo tenemos que cerrar con respecto a operaciones finitas: sumas, productos y similares. El proceso implica definir, para cada ordinal contable, mediante inducción transfinita , un conjunto " incorporando " todas las uniones y complementos contables posibles, y tomando la unión de todo eso por encima de todo.
Cada subconjunto coanalítico incontable de un espacio polaco tiene cardinalidad o . [7]
Hipótesis del continuo
La cardinalidad del conjunto de números reales ( cardinalidad del continuo ) es. No se puede determinar a partir de ZFC ( teoría de conjuntos de Zermelo-Fraenkel con el axioma de elección ) donde este número encaja exactamente en la jerarquía de números aleph, pero se sigue de ZFC que la hipótesis del continuo, CH , es equivalente a la identidad
El CH establece que no existe ningún conjunto cuya cardinalidad esté estrictamente entre la de los enteros y los números reales. [9] CH es independiente de ZFC: no puede ser probado ni refutado dentro del contexto de ese sistema de axiomas (siempre que ZFC sea consistente ). Que CH es consistente con ZFC fue demostrado por Kurt Gödel en 1940, cuando demostró que su negación no es un teorema de ZFC. Paul Cohen demostró que es independiente de ZFC en 1963, cuando mostró a la inversa que el CH en sí no es un teorema de ZFC, mediante el método (entonces novedoso) de forzar . [8]
Aleph-omega
Aleph-omega es
donde el ordinal infinito más pequeño se denota ω. Es decir, el número cardinal es el límite superior mínimo de
es el primer número cardinal incontable que se puede demostrar dentro de la teoría de conjuntos de Zermelo-Fraenkel que no es igual a la cardinalidad del conjunto de todos los números reales ; para cualquier entero positivo n podemos suponer consistentemente que, y además es posible asumir es tan grande como queramos. Solo nos vemos obligados a evitar ponerlo a ciertos cardenales especiales con cofinalidad , lo que significa que hay una función ilimitada de a ella (ver el teorema de Easton ).
Aleph-α para α general
Definir para número ordinal arbitrario , debemos definir la operación cardinal sucesora , que asigna a cualquier número cardinalel siguiente cardenal más grande y bien ordenado(si se cumple el axioma de elección , este es el siguiente cardinal más grande).
Entonces podemos definir los números de aleph de la siguiente manera:
y para λ, un ordinal límite infinito ,
El ordinal inicial infinito α-ésimo se escribe. Su cardinalidad está escrita. En ZFC, la función aleph es una biyección de los ordinales a los infinitos cardinales. [10]
Puntos fijos de omega
Para cualquier α ordinal tenemos
En muchos casos es estrictamente mayor que α. Por ejemplo, para cualquier ordinal sucesor α esto es válido. Sin embargo, existen algunos ordinales límite que son puntos fijos de la función omega, debido al lema de punto fijo para funciones normales . El primero es el límite de la secuencia.
Cualquier cardenal débilmente inaccesible es también un punto fijo de la función aleph. [11] Esto se puede mostrar en ZFC de la siguiente manera. Suponeres un cardenal débilmente inaccesible. Sieran un sucesor ordinal , entoncessería un cardenal sucesor y, por tanto, no débilmente inaccesible. Sieran un límite ordinal menor que, luego su cofinalidad (y por lo tanto la cofinalidad de) sería menor que y entonces no sería regular y, por lo tanto, no débilmente inaccesible. Por lo tanto y consecuentemente lo que lo convierte en un punto fijo.
Papel del axioma de elección
La cardinalidad de cualquier número ordinal infinito es un número aleph. Cada aleph es la cardinalidad de algún ordinal. El menor de estos es su ordinal inicial . Cualquier conjunto cuya cardinalidad sea un aleph es equinumerable con un ordinal y, por lo tanto, se puede ordenar correctamente .
Cada conjunto finito se puede ordenar bien, pero no tiene un aleph como cardinalidad.
La suposición de que la cardinalidad de cada conjunto infinito es un número aleph es equivalente sobre ZF a la existencia de un buen orden de cada conjunto, que a su vez es equivalente al axioma de elección . La teoría de conjuntos de ZFC, que incluye el axioma de elección, implica que todo conjunto infinito tiene un número aleph como cardinalidad (es decir, es equinumérico con su ordinal inicial), y por lo tanto los ordinales iniciales de los números aleph sirven como una clase de representantes para todos. posibles números cardinales infinitos.
Cuando se estudia la cardinalidad en ZF sin el axioma de elección, ya no es posible probar que cada conjunto infinito tiene algún número aleph como cardinalidad; los conjuntos cuya cardinalidad es un número aleph son exactamente los conjuntos infinitos que pueden estar bien ordenados. El método del truco de Scott se utiliza a veces como una forma alternativa de construir representantes de números cardinales en el entorno de ZF. Por ejemplo, se puede definir la carta ( S ) como el conjunto de conjuntos con la misma cardinalidad que S de rango mínimo posible. Esto tiene la propiedad de que card ( S ) = card ( T ) si y solo si S y T tienen la misma cardinalidad. (La carta de conjunto ( S ) no tiene la misma cardinalidad de S en general, pero todos sus elementos sí la tienen).
Ver también
- Beth número
- Función gimel
- Cardenal regular
- Número transfinito
- Número ordinal
Notas
- ↑ Por ejemplo, en ( Sierpiński 1958 , p. 402) la letra aleph aparece tanto al revés como al revés.
Citas
- ^ "Aleph" . Enciclopedia de Matemáticas .
- ^ "Lista completa de símbolos de la teoría de conjuntos" . Bóveda de matemáticas . 2020-04-11 . Consultado el 12 de agosto de 2020 .
- ^ Weisstein, Eric W. "Aleph" . mathworld.wolfram.com . Consultado el 12 de agosto de 2020 .
- ^ Swanson, Ellen; O'Sean, Arlene Ann; Schleyer, Antoinette Tingley (1999) [1979], Matemáticas en tipo: Edición y corrección de pruebas de matemáticas para asistentes editoriales y autores (edición actualizada), Providence, RI: American Mathematical Society , p. 16, ISBN 0-8218-0053-1, MR 0553111
- ^ Jeff Miller. "Los primeros usos de los símbolos de la teoría y la lógica de conjuntos" . jeff560.tripod.com . Consultado el 5 de mayo de 2016 . Citas de Miller Joseph Warren Dauben (1990). Georg Cantor: Su matemática y filosofía del infinito . ISBN 9780691024479. : "Sus nuevos números merecían algo único ... No queriendo inventar un nuevo símbolo él mismo, eligió la aleph, la primera letra del alfabeto hebreo ... la aleph podría tomarse para representar nuevos comienzos ..."
- ^ Jech, Thomas (2003), Teoría de conjuntos , Springer Monographs in Mathematics, Berlín, Nueva York: Springer-Verlag
- ^ Dales HG, Dashiell FK, Lau A.TM., Strauss D. (2016) Introducción. En: Espacios de Banach de funciones continuas como espacios duales. Libros CMS en Matemáticas (Ouvrages de mathématiques de la SMC). Springer, Cham
- ^ a b Szudzik, Mattew (31 de julio de 2018). "Hipótesis del continuo" . Wolfram Mathworld . Recursos web de Wolfram . Consultado el 15 de agosto de 2018 .
- ^ Weisstein, Eric W. "Hipótesis del continuo" . mathworld.wolfram.com . Consultado el 12 de agosto de 2020 .
- ^ números de aleph en PlanetMath .
- ^ Harris, Kenneth (6 de abril de 2009). "Matemáticas 582 Introducción a la teoría de conjuntos, Conferencia 31" (PDF) . Departamento de Matemáticas, Universidad de Michigan. Archivado desde el original (PDF) el 4 de marzo de 2016 . Consultado el 1 de septiembre de 2012 .
Referencias
- Sierpiński, Wacław (1958), Números cardinales y ordinales , Polska Akademia Nauk Monografie Matematyczne, 34 , Varsovia: Państwowe Wydawnictwo Naukowe, MR 0095787
enlaces externos
- "Aleph-zero" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
- Weisstein, Eric W. "Aleph-0" . MathWorld .