La clase de números ordinales, los tipos de conjuntos bien ordenados, cuenta mucho más allá del infinito a través de los llamados Ordinales de límite. Aquí hay una representación gráfica de los primeros ordinales:
(Fuente: Archivo: Omega-exp-omega-label.svg – Wikipedia)
Puede pensar en cada ordinal como el conjunto ordenado de todos los ordinales anteriores, comenzando con cero como el conjunto vacío. Uno es el conjunto que contiene cero, [math] \ {0 \} [/ math]; Dos es el conjunto que contiene cero y uno, [math] \ {0,1 \} [/ math]; y así sucesivamente (y así sucesivamente).
- ¿Qué significa promedio en matemáticas?
- ¿La educación debe ser administrada exclusivamente por particulares?
- Si el desarrollo del cerebro adolescente se produce a ritmos diferentes, ¿la educación no favorece injustamente a los desarrolladores anteriores?
- ¿Qué es más importante para universidades privadas, puntajes de exámenes AP o calificaciones de cursos AP?
- ¿Cuál es el nivel de dificultad esperado para el examen de matemáticas en los exámenes de la junta de la clase 12 de CBSE en 2018?
El primer límite ordinal es Omega, [math] \ omega = \ {0,1,2, \ dotsc \} [/ math], el conjunto ordenado infinito de todos los números naturales. El siguiente ordinal es [math] \ omega + 1 = \ {0,1,2, \ dotsc, \ omega \} [/ math], luego [math] \ omega + 2, \ omega + 3, \ dotsc, \ omega + \ omega = \ omega \ cdot2 [/ math].
Y seguimos contando a través de [math] \ omega \ cdot3, \ omega \ cdot4, \ dotsc [/ math], hasta [math] \ omega \ cdot \ omega = \ omega ^ 2 [/ math].
Luego es [math] \ omega ^ 3, \ omega ^ 4, \ dotsc, \ omega ^ {\ omega} [/ math] (el final del diagrama de arriba).
Luego [math] \ omega ^ {\ omega ^ {\ omega}} [/ math] hasta [math] \ epsilon_0 = \ omega ^ {\ omega ^ {\ cdot ^ {\ cdot ^ {\ omega}} }} [/ math] una torre exponencial infinita de ordinales límite.
Y no se detiene ahí. ¿Por qué lo haría? Tenemos [math] \ epsilon_0 + 1 [/ math]. Y ese pequeño subíndice debería darle una pista de que tenemos [math] \ epsilon_1, \ epsilon_2, \ dotsc, \ epsilon _ {\ omega} [/ math]. De hecho, nunca se detiene!
Hay más que innumerables ordinales contando más allá de “infinito” o [math] \ omega [/ math], aunque por supuesto hay muchos ordinales menores que [math] \ omega [/ math], a saber, todos los números naturales.