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

Conjuntos I-CONJ
Taller 3 - I-2015

Ejercicios para el martes 24 de marzo. Los discutiremos en clase. Traigan

soluciones.

1. Calcule los cardinales de V0 , V1 , V2 , V3 , V4 , V5 , Vω .

2. Ubique los siguientes conjuntos en V (busque un nivel lo más óptimo
posible en el cual esté cada uno):
C(R, R) = {f : R → R | f es continua},
ℵ27346 ,
iω (recuerde que definimos iα por inducción transfinita sobre α:
i0 := ℵ0 , iα+1 := 2iα , iδ := supα<δ iα si δ es ordinal límite),
el contenido del Teorema Fundamental del Cálculo (para este ejer-
cicio, tome una formalización buena del TFC y revise los objetos
que aparecen mencionados),
ε0 .
3. Los siguientes modelos débiles satisfacen algunos de los axiomas de
ZFC. ¿Cuáles? Nota: un modelo débil (A, EA ) es un conjunto A y
una relación binaria EA ⊂ A2 . La relación EA es la interpretación de
la pertenencia en A.
(ω, <),
({a, b, c}, E), con xEy para todo x, y,
(8, <),
(ω + ω, E),
(Vω , ∈).
4. Dados ordinales γ ≤ δ, decimos que una función f : γ → δ es cofinal
ssi para todo α < δ existe β < γ tal que f (β) ≥ α. Es decir, f al
recorrer el dominio γ “alcanza el final” de δ. La cofinalidad de un
ordinal δ es el mínimo ordinal γ tal que existe una función cofinal de
γ en δ. Denotamos este ordinal mediante cf δ. En clase iniciamos el
estudio de algunas cofinalidades.
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.
1
2

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 δ.
5. Calcule cf ℵω , cf iω , cf ℵω+2 , cf (ω + ω), cf (ω2 + ω 2 ),
cf (ω7 + ω5 ).