a mirar
La vez pasada vimos algunas propiedades básicas de cofinalidades:
- cf cf α = cf α
- cf α siempre es un cardinal (es decir, un ordinal inicial)
- cf α ≤ α

También calculamos algunas cofinalides, y la pregunta de uno de ustedes nos llevó a la definición de cardinales regulares y singulares.
Un cardinal infinito κ es regular si cf κ = κ. Cuando un cardinal infinito no es regular, lo llamamos singular.
Para pensar para el martes:
todo cardinal sucesor es regular
¿Por qué?
El martes seguiremos con algo de teoría de cofinalidades y empezaremos la discusión del Axioma de Elección.

0 Comentarios:
Post a Comment
<< Home