Número Aleph

En matemáticas , particularmente en la teoría de conjuntos , los números alef son una secuencia de números que se utilizan para representar la cardinalidad (o tamaño) de conjuntos infinitos . ^{[ a ]} ​​Fueron introducidos por el matemático Georg Cantor ^{[ 1 ]} y reciben su nombre del símbolo que utilizó para denotarlos, la letra hebrea alef (ℵ). ^{[ 2 ] [ b ]}

La cardinalidad más pequeña de un conjunto infinito es la de los números naturales , denotada por (léase aleph-cero , aleph-cero o aleph-nulo ); la siguiente cardinalidad mayor de un conjunto bien ordenado es entonces y así sucesivamente. Siguiendo este procedimiento, es posible definir un número cardinal infinito para cada número ordinal como se describe a continuación.${\displaystyle \aleph _{0}}$${\displaystyle \aleph _{1},}$${\displaystyle \aleph _{2},}$${\displaystyle \aleph _{3},}$${\displaystyle \aleph _{\alpha }}$${\displaystyle \alpha ,}$

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 aleph se diferencian del infinito ( ) que se encuentra comúnmente en álgebra y cálculo, en que los aleph 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 al infinito" o "crece sin límite"), o como un punto extremo de la recta numérica real extendida .${\displaystyle \infty }$

${\displaystyle \aleph _{0}}$( aleph-cero , aleph-cero o aleph-nulo ) 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 (donde es la letra griega minúscula omega ), también tiene cardinalidad . Un conjunto tiene cardinalidad si y solo si es infinitamente numerable , es decir, existe una biyección (correspondencia biyectiva) entre él y los números naturales. Ejemplos de tales conjuntos son:${\displaystyle \omega }$${\displaystyle \omega _{0}}$${\displaystyle \omega }$${\displaystyle \aleph _{0}}$${\displaystyle \aleph _{0}}$

• el conjunto de los números naturales , independientemente de si se incluye o se excluye el cero,
• el conjunto de todos los números enteros ,
• cualquier subconjunto infinito de los 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 funciones computables ,
• el conjunto de todas las cadenas binarias de longitud finita, y
• el conjunto de todos los subconjuntos finitos de cualquier conjunto infinito numerable dado.

Entre los conjuntos infinitos numerables hay ciertos ordinales infinitos, ^{[ c ]} incluyendo por ejemplo , , , , , y . ^{[ 6 ]} Por ejemplo, la secuencia (con tipo de orden ) de todos los enteros impares positivos seguidos de todos los enteros pares positivos es un buen ordenamiento del conjunto (con cardinalidad ) de enteros positivos.${\displaystyle \omega }$${\displaystyle \omega +1}$${\displaystyle \omega \cdot 2}$${\displaystyle \omega ^{2}}$${\displaystyle \omega ^{\omega }}$${\displaystyle \varepsilon _{0}}$${\displaystyle \omega \cdot 2}$${\displaystyle \{1,3,5,7,9,\cdots ;2,4,6,8,10,\cdots \}}$${\displaystyle \aleph _{0}}$

Si se cumple el axioma de elección numerable (una versión más débil del axioma de elección ), entonces es menor que cualquier otro cardinal infinito.${\displaystyle \aleph _{0}}$

${\displaystyle \aleph _{1}}$es la cardinalidad del conjunto de todos los números ordinales contables . ^{[ 7 ]} Este conjunto se denota por (o a veces Ω). El conjunto es en sí mismo un número ordinal mayor que todos los contables, por lo que es un conjunto no contable . Por lo tanto, es la cardinalidad más pequeña que es mayor que la cardinalidad infinita más pequeña.${\displaystyle \omega _{1}}$${\displaystyle \omega _{1}}$${\displaystyle \aleph _{1}}$${\displaystyle \aleph _{0},}$

La definición de implica (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 es totalmente ordenada , y por lo tanto es el segundo número cardinal infinito más pequeño. Se puede mostrar una de las propiedades más útiles del conjunto ⁠ ⁠ : Cualquier subconjunto numerable de tiene una cota superior en (esto se deduce del hecho de que la unión de un número numerable de conjuntos numerables es también numerable). 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.${\displaystyle \aleph _{1}}$${\displaystyle \aleph _{0}}$${\displaystyle \aleph _{1}.}$${\displaystyle \aleph _{1}}$${\displaystyle \omega _{1}}$${\displaystyle \omega _{1}}$${\displaystyle \omega _{1}}$${\displaystyle \aleph _{0}}$

Un ejemplo de aplicación del ordinal es el "cierre" con respecto a operaciones de aridad numerable ; por ejemplo, intentar describir explícitamente el σ-álgebra generado por una colección arbitraria de subconjuntos (véase, 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, etc. El proceso implica definir, para cada ordinal numerable, mediante inducción transfinita , un conjunto "introduciendo" todas las posibles uniones y complementos numerables , y tomando la unión de todos los que sobre todos los${\displaystyle \omega _{1}}$${\displaystyle \omega _{1}.}$

La cardinalidad del conjunto de los números reales ( cardinalidad del continuo ) es 2. No se puede determinar a partir de ZFC ( teoría de conjuntos de Zermelo-Fraenkel aumentada con el axioma de elección ) dónde encaja exactamente este número en la jerarquía de números aleph, pero se deduce de ZFC que la hipótesis del continuo (CH) es equivalente a la identidad^{${\displaystyle \aleph _{0}}$}

${\displaystyle 2^{\aleph _{0}}=\aleph _{1}}$. ^{[ 8 ]}

El CH afirma que no existe ningún conjunto cuya cardinalidad se encuentre estrictamente entre la de los números naturales y la de los números reales. ^{[ 9 ]} El CH es independiente de ZFC: no puede probarse ni refutarse dentro del contexto de ese sistema axiomático (siempre que ZFC sea consistente ). Que el CH es consistente con ZFC fue demostrado por Kurt Gödel en 1940, cuando mostró que su negación no es un teorema de ZFC. Que es independiente de ZFC fue demostrado por Paul Cohen en 1963, cuando mostró, a la inversa, que el CH mismo no es un teorema de ZFC, utilizando el método (entonces novedoso) de forzamiento . ^{[ 8 ] [ 10 ]}

Aleph-omega es donde el ordinal infinito más pequeño se denota como . Es decir, el número cardinal es el límite superior más pequeño de .${\displaystyle \aleph _{\omega }=\aleph _{n}^{n\in \omega }=\aleph _{n}^{n\in \{0,1,2,\cdots \}}}$${\displaystyle \omega }$${\displaystyle \aleph _{\omega }}$${\displaystyle \aleph _{n}^{n\in \{0,1,2,\cdots \}}}$

En particular, es el primer número cardinal no numerable 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 número natural , podemos asumir consistentemente que , y además es posible asumir que es al menos tan grande como cualquier número cardinal que queramos. La principal restricción que ZFC impone al valor de es que no puede ser igual a ciertos cardinales especiales con cofinalidad . Un cardinal infinito no numerable que tiene cofinalidad significa que hay una secuencia (de longitud numerable) de cardinales cuyo límite (es decir, su cota superior mínima) es (véase el teorema de Easton ). Según la definición anterior, es el límite de una secuencia de longitud numerable de cardinales más pequeños.${\displaystyle \aleph _{\omega }}$${\displaystyle 2^{\aleph _{0}}}$${\displaystyle n\geq 1}$${\displaystyle 2^{\aleph _{0}}=\aleph _{n}}$${\displaystyle 2^{\aleph _{0}}}$${\displaystyle 2^{\aleph _{0}}}$${\displaystyle \aleph _{0}}$${\displaystyle \kappa }$${\displaystyle \aleph _{0}}$${\displaystyle \kappa _{0}\leq \kappa _{1}\leq \kappa _{2}\leq \cdots }$${\displaystyle \kappa _{i}<\kappa }$${\displaystyle \kappa }$${\displaystyle \aleph _{\omega }}$

Para definir un número ordinal arbitrario , debemos definir la operación cardinal sucesora , que asigna a cualquier número cardinal el siguiente cardinal bien ordenado más grande (si se cumple el axioma de elección , este es el siguiente cardinal más grande (único)).${\displaystyle \aleph _{\alpha }}$${\displaystyle \alpha }$${\displaystyle \rho }$${\displaystyle \rho ^{+}}$

Podemos entonces definir los números aleph de la siguiente manera:

${\displaystyle \aleph _{0}=\omega }$

${\displaystyle \aleph _{\alpha +1}=(\aleph _{\alpha })^{+}}$

${\displaystyle \aleph _{\lambda }=\bigcup \{\aleph _{\alpha }|\alpha <\lambda \}}$para un ordinal límite infinito ,${\displaystyle \lambda }$

El -ésimo ordinal inicial infinito se escribe . Su cardinalidad se escribe .${\displaystyle \alpha }$${\displaystyle \omega _{\alpha }}$${\displaystyle \aleph _{\alpha }}$

Alternativamente, para cada cardinal infinito que puede ser bien ordenado, se puede definir un índice como el ordinal del conjunto bien ordenado de todos los cardinales infinitos que preceden a . Entonces se puede demostrar por inducción transfinita que si en el índice de entonces${\displaystyle \kappa }$${\displaystyle \kappa }$${\displaystyle \alpha }$${\displaystyle \kappa }$${\displaystyle \kappa =\aleph _{\alpha }}$

De manera informal, la función aleph es una biyección de los ordinales a los cardinales infinitos que pueden ser bien ordenados. Formalmente, en ZFC , no es una función , sino una clase similar a una función, ya que no es un conjunto (debido a la paradoja de Burali-Forti ).${\displaystyle \aleph$ :{\text{On}}\rightarrow {\text{Cd}}} ${\displaystyle \aleph }$

Para cualquier ordinal tenemos .${\displaystyle \alpha }$${\displaystyle \alpha \leq \omega _{\alpha }}$

En muchos casos es estrictamente mayor que α . Por ejemplo, es cierto para cualquier ordinal sucesor : se cumple. Sin embargo, hay algunos ordinales límite que son puntos fijos de la función omega, debido al lema de punto fijo para funciones normales . El primero de ellos es el límite de la secuencia${\displaystyle \omega _{\alpha }}$${\displaystyle \alpha +1\leq \omega _{\alpha }<\omega _{\alpha +1}}$

${\displaystyle \omega ,\omega _{\omega },\omega _{\omega _{\omega }},\cdots }$

que a veces se denota .${\textstyle \omega _{\omega _{\ddots }}}$

Cualquier cardinal débilmente inaccesible es también un punto fijo de la función aleph. ^{[ 11 ]} Esto se puede demostrar en ZFC de la siguiente manera. Supongamos que es un cardinal débilmente inaccesible. Si fuera un ordinal sucesor , entonces sería un cardinal sucesor y, por lo tanto, no débilmente inaccesible. Si fuera un ordinal límite menor que, entonces su cofinalidad (y por lo tanto la cofinalidad de ) sería menor que y, por lo tanto, no sería regular y, por consiguiente, no débilmente inaccesible. Por lo tanto , y en consecuencia , lo que lo convierte en un punto fijo.${\displaystyle \kappa =\aleph _{\lambda }}$${\displaystyle \lambda }$${\displaystyle \aleph _{\lambda }}$${\displaystyle \lambda }$${\displaystyle \kappa }$${\displaystyle \aleph _{\lambda }}$${\displaystyle \kappa }$${\displaystyle \kappa }$${\displaystyle \lambda \geq \kappa }$${\displaystyle \lambda =\kappa }$

La cardinalidad de cualquier número ordinal infinito es un número aleph. Todo aleph es la cardinalidad de algún ordinal. El menor de estos es su ordinal inicial . Cualquier conjunto cuya cardinalidad sea un aleph es equinumérico con un ordinal y, por lo tanto, es bien ordenable .

Cada conjunto finito es bien ordenable, pero no tiene aleph como su cardinalidad.

En ZF, la suposición de que la cardinalidad de cada conjunto infinito es un número aleph equivale a la existencia de un buen ordenamiento de cada conjunto, lo cual, a su vez, equivale al axioma de elección . La teoría de conjuntos ZFC, que incluye el axioma de elección, implica que cada conjunto infinito tiene un número aleph como su 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 los posibles números cardinales infinitos.

Cuando se estudia la cardinalidad en ZF sin el axioma de elección, ya no es posible demostrar que cada conjunto infinito tiene como cardinalidad algún número aleph; los conjuntos cuya cardinalidad es un número aleph son precisamente los conjuntos infinitos que pueden ordenarse correctamente. El método del truco de Scott se utiliza a veces como una forma alternativa de construir representantes para los números cardinales en el contexto de ZF. Por ejemplo, se puede definir como el conjunto de conjuntos con la misma cardinalidad que de rango mínimo posible. Esto tiene la propiedad de que si y solo si y tienen la misma cardinalidad. (El conjunto no tiene la misma cardinalidad que en general, pero todos sus elementos sí la tienen).${\displaystyle {\text{card}}(S)}$${\displaystyle S}$${\displaystyle {\text{card}}(S)={\text{card}}(T)}$${\displaystyle S}$${\displaystyle T}$${\displaystyle {\text{card}}(S)}$${\displaystyle S}$

• Número de Beth
• Función Gimel
• cardenal regular
• Infinidad
• Número transfinito
• Número ordinal

• "Aleph-zero" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
• Weisstein, Eric W. "Aleph-0" . MathWorld .