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

Conjuntos I-CONJ
Guía de lectura - Cardinales - I-2015
Trabajar todos estos ejercicios entre la fecha y el 18 de febrero. En estos,
usted explorará y estudiará con cuidado una de las nociones más impor-
tantes de toda la matemática: la noción de cardinal. Aunque usted ya ha
visto esta noción en cursos anteriores, en I-CONJ la estudiamos más a
fondo, y como base para muchos temas que vienen después. Más adelan-
te veremos muchos ejemplos del curso que tienen que ver con Topología,
Análisis y Álgebra (el curso I-CONJ es realmente una plataforma hacia la
zona media de su pregrado - aprovéchela muy bien).

1. Cantor-Bernstein
1. Estudie la demostración del Teorema de Cantor-Bernstein (haga di-
bujos para ver cómo se van encajando “al infinito” las iteraciones.
Lo clave está en Lema 1.7 (pág. 67). Entienda “de cabo a rabo” esta
prueba (haga dibujos, simulaciones por computador, lo que sea).
2. En pág. 68 está nuestro postulado central: existen conjuntos que son
“representantes” de los cardinales. Y son conjuntos..
3. Demuestre que |A × B| = |B × A|. Este debería ser casi inmediato
para usted (exhiba la biyección obvia).
4. Un poco más difícil: demuestre que |AB×C | = |(AB )C |. Exhiba la
biyección con cuidado.
5. Demuestre (fácil de nuevo) que |A| ≤ |P(A)|. Muestre que NUNCA
puede valer la desigualdad contraria.
6. Si S ⊂ T , entonces |AS | ≤ |AT |. En el libro le dan una pista: usar
funciones con valor constante por fuera de S. Dibuje lo que que está
pasando ahí.
7. Si |S| ≥ 2 entonces |T | ≤ |S T |. Muestre por qué hay que suponer
que |S| ≥ 2.
8. Sea F : P(A) → P(A) monótona con respecto a inclusión. De-
muestre que F tiene que tener un punto fijo. (Sea T = {X ⊂ A |
F (X) ⊂ X}. Muestre por qué T 6= ∅. Sea Y = ∩T . Muestre T ∈ T
F (Y ) ∈ T . Concluya.
9. Use lo anterior para dar otra prueba de Cantor-Bernstein: pruebe el
lema tomando F : P(A) → P(A) dada por F (X) = (A \ B) ∪ f [X].
Muestre que F es monótona, sea C el punto fijo de F dado por el
punto anterior: C = (A \ B) ∪ f [C]. Sea D := A \ C. Defina g como
en la pruena original y muestre que es 1-1 y sobre B.
1
2

2. Conjuntos finitos e infinitos

Esto se refiere a material entre páginas 69 y 79. También lo deben leer
ya. Me interesa más la parte sobre conjuntos contables - es preferible avan-
zar rápido con eso y después devolverse a conjuntos finitos a llenar mate-
rial.
Las definiciones claves están en página 74. Los teoremas como 3.5, 3.7,
3.12, 3.13, etc. son muy importantes (y a la vez muy básicos).
1. Demuestre que unión de finito y contable es contable.
2. Demuestre que si A es finito y no vacío entonces Seq(A) es contable
(use inducción y los teoremas demostrados en el capítulo).
3. Demuestre que el conjunto de las sucesiones “a la larga constantes”
(podemos decir también “finalmente constantes”, en inglés es “even-
tually constant” pero en español sería incorrecto traducir “eventual-
mente constante”) de números naturales es... contable. OJO: puede
usar los lemas, pero debe organizar la prueba con sus biyecciones
con cuidado.
4. Igual con las “finalmente periódicas” y las progresiones aritméticas
de números naturales. Demuestre que son contables.
5. ¿Es contable el número de sucesiones de naturales (sin ninguna res-
tricción)?

3. Órdenes lineales, completos

La noción primordial es la de tipo de orden (pág. 79). El teorema MUY
importante es el de Cantor (4.9, pág. 83). Todo par de órdenes lineales
densos sin extremos, contables, son isomorfos. Es fundamental en muchos
otros temas. De nuevo, un teorema que deben leer y entender bien (dibujar
las dos “rectas”, ver qué va pasando, cómo se va armando el vaivén, etc.).
El 4.10 es la misma idea, pero solo “hacia adelante”, sin vaivén.
Todos los ejercicios de esa tanda son buenos. Piensen en el siguiente:
1. Muestre que la suma de dos buenos órdenes es un buen orden. Igual
con el producto lexicográfico.
2. Demuestre que un orden (A, <) es buen orden si y solo si no existen
sucesiones descendentes infinitas en A.
3. Bien ordene los naturales con 15 tipos de orden (todos buenos órde-
nes) no isomorfos.
4. Busque en (Q, <) (racionales con el orden usual) copias isomorfas
de la suma de dos copias de (N, <), la suma de (N, <) y (N, <−1 ),
el producto lexicográfico de (N, <) con (N, <), la suma de (N, <)
copias de (N, <).
5. Orden de Brouwer-Kleene de Seq(N): ha0 , · · · , am−1 i ≺ hb0 , · · · , bn−1 i
ssi existe k < m tal que ai = bi para todo i < k y o bien ak < bk o
 3

bien bk está indefinido. Demuestre que ≺ es un orden lineal, denso,

sin mínimo y con un máximo.