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

Conjuntos I-CONJ
Taller 3 - II-2018
Ejercicios/Divertimenti para esta época.

Definición 1. Definimos la jerarquía de von Neumann así (OJO: se pro-

nuncia “fon noiman” pero se escribe von Neumann) por inducción trans-
finita así (denotamos mediante On la clase de todos los ordinales):

V0 = ∅
Vα+1 = ℘
S (Vα )
Vδ = Sα<δ Vα (si δ es ordinal límite)
V = α∈On Vα

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

2. Ubique los siguientes conjuntos en V (busque un nivel lo más ópti-
mo posible en el cual esté cada uno):
Un grafo finito cuyo dominio es el conjunto 10 = {0, . . . , 9},
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
ejercicio, 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.
1
2

Definición 2. Dado un ordinal α, la cofinalidad de α, que denotamos

cf α, es el mínimo ordinal β tal que existe una función cofinal de β
en α. Una función f : β → α es cofinal si para todo γ < α existe
δ < β tal que f (δ) ≥ γ.
Haga dibujos para “desenredar” la definición anterior.
Demuestre las siguientes propiedades:
cf (α + 1) = 1, para todo α. Por lo tanto, la cofinalidad sola-
mente 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
significa 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 δ,
contradiciendo 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 ).