La asignación cardinal de von Neumann es una asignación cardinal que usa números ordinales . Para un conjunto U bien ordenable , definimos su número cardinal como el número ordinal más pequeño equinumérico a U , utilizando la definición de von Neumann de un número ordinal. Más precisamente:
donde ON es la clase de ordinales. Este ordinal también se llama ordinal inicial del cardenal.
Que tal ordinal existe y es único está garantizado por el hecho de que U se puede ordenar bien y que la clase de ordinales está bien ordenada, utilizando el axioma de reemplazo . Con el axioma completo de elección , cada juego se puede ordenar bien, por lo que cada juego tiene un cardinal; ordenamos los cardenales usando el orden heredado de los números ordinales. Se encuentra fácilmente que esto coincide con el pedido a través de ≤ c . Este es un buen orden de los números cardinales.
Ordinal inicial de un cardenal
Cada ordinal tiene asociado un cardinal , su cardinalidad, que se obtiene simplemente olvidando el orden. Cualquier conjunto bien ordenado que tenga ese ordinal como tipo de orden tiene la misma cardinalidad. El ordinal más pequeño que tiene un cardinal dado como cardinalidad se denomina ordinal inicial de ese cardinal. Todo ordinal finito ( número natural ) es inicial, pero la mayoría de los ordinales infinitos no son iniciales. El axioma de elección es equivalente a la afirmación de que todo conjunto puede estar bien ordenado, es decir, que todo cardinal tiene un ordinal inicial. En este caso, es tradicional identificar el número cardinal con su ordinal inicial, y decimos que el ordinal inicial es cardinal.
La -th infinito ordinal inicial se escribe . Su cardinalidad está escrita (la -ésimo aleph número ). Por ejemplo, la cardinalidad de es , que es también la cardinalidad de , , y (todos son ordinales contables ). Entonces identificamos con , excepto que la notación se utiliza para escribir cardenales, y para escribir ordinales. Esto es importante porque la aritmética en cardinales es diferente de la aritmética en ordinales , por ejemplo = mientras que > . También,es el ordinal incontable más pequeño (para ver que existe, considere el conjunto de clases de equivalencia de los ordenamientos correctos de los números naturales; cada ordenamiento correcto define un ordinal contable, y es el tipo de orden de ese conjunto), es el ordinal más pequeño cuya cardinalidad es mayor que y así sucesivamente, y es el límite de para números naturales (cualquier límite de cardenales es un cardenal, por lo que este límite es de hecho el primer cardenal después de todos los ).
Los ordinales iniciales infinitos son ordinales límite. Usando aritmética ordinal, implica , y 1 ≤ α <ω β implica α · ω β = ω β , y 2 ≤ α <ω β implica α ω β = ω β . Usando la jerarquía de Veblen , β ≠ 0 y α <ω β implicany Γ ω β = ω β . De hecho, se puede ir mucho más allá de esto. Entonces, como ordinal, un ordinal inicial infinito es un tipo de límite extremadamente fuerte.
Ver también
Referencias
- Notas de YN Moschovakis sobre la teoría de conjuntos (Springer 1994) p. 198