En la teoría de conjuntos , se puede definir una operación sucesora en números cardinales de manera similar a la operación sucesora en números ordinales . El sucesor cardinal coincide con el sucesor ordinal para cardenales finitos, pero en el caso infinito divergen porque cada ordinal infinito y su sucesor tienen la misma cardinalidad ( se puede establecer una biyección entre los dos simplemente enviando el último elemento del sucesor a 0, 0 a 1, etc., y fijando ω y todos los elementos anteriores; al estilo del Hotel Infinity de Hilbert ). Usando la asignación cardinal de von Neumann y el axioma de elección(AC), esta operación sucesora es fácil de definir: para un número cardinal κ tenemos
- ,
donde ON es la clase de ordinales. Es decir, el sucesor cardinal es la cardinalidad del ordinal mínimo en el que un conjunto de la cardinalidad dada se puede mapear uno a uno, pero que no se puede mapear uno a uno de nuevo en ese conjunto.
El hecho de que el conjunto anterior no esté vacío se deduce del teorema de Hartogs , que dice que para cualquier cardenal bien ordenado , un cardenal más grande es construible. El mínimo existe realmente porque los ordinales están bien ordenados. Por lo tanto, es inmediato que no hay un número cardinal entre κ y κ + . Un cardenal sucesor es un cardenal que es κ + para algún cardenal κ . En el caso infinito, la operación sucesora omite muchos números ordinales; de hecho, todo cardinal infinito es un ordinal límite . Por lo tanto, la operación de sucesor en cardinales gana mucho poder en el caso infinito (en relación con la operación de sucesión ordinal) y, en consecuencia, los números cardinales son una subclase muy "dispersa" de los ordinales. Definimos la secuencia de alephs (a través del axioma de reemplazo ) a través de esta operación, a través de todos los números ordinales de la siguiente manera:
y para λ un ordinal límite infinito,
Si β es un ordinal sucesor , entonceses un cardenal sucesor. Los cardenales que no son cardenales sucesores se denominan cardenales límite ; y según la definición anterior, si λ es un ordinal límite, entonces es un limite cardinal.
La definición estándar anterior se limita al caso en que el cardenal puede estar bien ordenado, es decir, es finito o un aleph. Sin el axioma de la elección, hay cardenales que no pueden ordenarse bien. Algunos matemáticos han definido el sucesor de tal cardinal como la cardinalidad del menos ordinal que no se puede mapear uno a uno en un conjunto de la cardinalidad dada. Es decir:
Ver también
Referencias
- Paul Halmos , teoría de conjuntos ingenua . Princeton, Nueva Jersey: D. Van Nostrand Company, 1960. Reimpreso por Springer-Verlag, Nueva York, 1974. ISBN 0-387-90092-6 (edición Springer-Verlag).
- Jech, Thomas , 2003. Teoría de conjuntos: The Third Millennium Edition, Revised and Expanded . Saltador. ISBN 3-540-44085-2 .
- Kunen, Kenneth , 1980. Teoría de conjuntos: Introducción a las pruebas de independencia . Elsevier. ISBN 0-444-86839-9 .