Universidad Nacional de Colombia - Introducción a la Teoría de

Conjuntos I-CONJ
Taller Final - II-2018
Los siguientes ejercicios deben servir de taller de los temas finales del
curso. También sirven de preparación para el Examen Final (todavía no
hay fecha).
1. Demuestre las siguientes propiedades:
cf (α+1) = 1, para todo α. Por lo tanto, la cofinalidad solamente
es interesante en el caso de ordinales límite.
cf δ ≤ δ para todo δ.
cf cf δ = cf δ, para todo δ.
Pista: Sea γ = cf δ. Hay que ver que la cofinalidad de γ es γ,
es decir, que no existe ζ < γ dominio de función cofinal en γ.
Si existieran tal ζ y f : ζ → γ cofinal, como cf δ = γ existe
también g : γ → δ cofinal. Analice qué pasa con g ◦ f y concluya.
cf δ siempre es un cardinal.
Pista: suponga que no, y sea γ = cf δ, γ no un cardinal. Esto sig-
nifica que existen ζ < γ y una función sobreyectiva f : ζ  γ.
Como por otro lado existe g : γ → δ cofinal, combine f con g
para ver que existe también una función cofinal de ζ en δ, contra-
diciendo que γ era el mínimo dominio posible de función cofinal
en δ.
2. Calcule cf ℵω , cf iω , cf ℵω+2 , cf (ω + ω), cf (ω2 + ω 2 ),
cf (ω7 + ω5 ).
3. Demuestre usando el lema de König (el de aritmética cardinal):
Teorema de Cantor: κ < 2κ para todo cardinal infinito κ. Pista:
use que 1 < 2.
cf 2κ > κ para todo κ cardinal infinito. Pista: suponga que hay
alguna función cofinal f de algún λ ≤ κ en 2κ . Use los valores de
f (un conjunto de tamaño λ) para poder aplicar König.
Muestre las posibles cofinalidades de 2ℵ0 dadas por König.
4. Demuestre que si f : κ → κ es una función estrictamente creciente,
entonces f (α) ≥ α para todo α. Pista: use inducción sobre α < κ.
5. Demuestre que toda función f : κ → κ que sea creciente y conti-
nua tiene un punto fijo (κ es cualquier cardinal infinito de cofinali-
dad > ω). Pista: que f sea continua quiere decir que supi<δ f (i) =
f (supi<δ i) = f (δ). Arranque con un punto arbitrario α0 < κ. Sea
α1 := f (α0 ). Por el ejercicio anterior, α1 ≥ α0 . Continúe tomando
imágenes de f para armar una sucesión creciente (αi | i < ω) y sea
αω := sup(αi )i<ω . Revise que αω aún está en el dominio de f y mire
quién es la imagen de αω . Note que lo anterior de hecho prueba (si
1
2

usted llena los detalles) que existen puntos fijos arbitrariamente

altos de funciones crecientes continuas.
6. Demuestre que existe un punto fijo de la función (α 7→ ω α ) (use el
resultado del ejercicio anterior). El primer punto fijo de esta función
usted ya lo conoce: es ε0 . El segundo punto fijo de esta función se
llama ε1 . Etc.
7. Demuestre que existe un punto fijo de la función i (que a cada or-
dinal α le asigna iα ). O sea, existen cardinales κ tan grandes que
iκ = κ. Por el ejercicio antepasado, existen estos puntos fijos arbi-
trariamente altos.
8. ¿Es continua la función cf ? ¿Es creciente?
9. Aísle en la demostración de König (aritmética cardinal) dónde se usa
el Axioma de Elección.
10. Demuestre que todo espacio vectorial tiene una base (puede usar Le-
ma de Zorn o Principio de Buen Orden - en cualquier caso la prueba
tiene que estar perfectamente escrita).
11. Demuestre que todo producto cartesiano de conjuntos no vacíos es
no vacío.
12. Demuestre que todo filtro se puede extender a un ultrafiltro (= fil-
tro maximal - la definición de “filtro” es sencilla y está en nuestra
bibliografía).
13. Demuestre que todo orden parcial infinito tiene una cadena infinita (o
sea un subconjunto linealmente ordenado) o una anticadena infinita
(o sea un subconjunto donde dados dos elementos a 6= b, a y b no son
comparables en el orden). Pista: coloree los pares usando el orden y
aplique Ramsey - al final de la prueba, un color debería dar cadena
infinita, el otro anticadena.
14. Demuestre que toda sucesión de reales acotada tiene una subsucesión
convergente, usando Ramsey. Pista: coloree las parejas de la sucesión
según orden, y mire qué pasa con el monocromático.
15. Explique por qué 6 → (3)22 pero 5 6→ (3)22 . Explique por qué (ℵ0 ) →
(ℵ0 )1n para cualquier n < ω (y por qué este es el principio del palo-
mar).
16. Explique por qué el Lema de König de árboles implica Ramsey (ℵ0 →
(ℵ0 )22 ). Esta es la prueba que vimos - aísle el uso del Lema de König.
17. Revise la demostración de “si (A, <A ) es un conjunto linealmente
ordenado, denso y sin extremos, contable, entonces (A, <A ) es iso-
morfo a (Q, <)” (otro teorema muy importante de Cantor). ¿Es cierto
que todo par de órdenes lineales densos y sin extremos de cardinal
2ℵ0 son isomorfos? Pista: use reales y racionales y “suma de órdenes”
⊕ - súmelos en distintos órdenes y concluya.