Teora de Conjuntos - Taller 6

(Equipontencia y Cardinalidad)
1. Sea f :AB. Demuestre que:
a) Si f es inyectiva y C A, entonces C f [C].
b) Si f es biyectiva y D B, entonces D f 1 [D].
2. Sean A 6= y n N. Demuestre que las siguientes afirmaciones son equivalentes:
a) Existe f :nA sobreyectiva.
b) Existe g:An inyectiva.
c) A es finito y |A| n.
3. Sea f :AB. Demuestre que si C A es finito, entonces f [C] es finito.
4. Sea f :AB inyectiva. Demuestre que:
a) Si B es finito, entonces A es finito y |A| |B|.
b) Si A es infinito, entonces B es infinito.
5. Demuestre que si A es finito, entonces A tiene buen orden (es decir, existe A tal que (A, A ) es
CBO).
6. Sea f :AB sobreyectiva. Demuestre que:
a) Si A tiene buen orden, entonces f tiene inversa a derecha.
b) Si A es finito, entonces f tiene inversa a derecha.
c) Si A es finito, entonces B es finito y |B| |A|.
d ) Si B es infinito, entonces A es infinito.
7. Sea f :AA. Demuestre que si A es finito, entonces f es inyectiva si y solo si es sobreyectiva.
8. Presente ejemplos de conjuntos A y funciones f :AA que sean inyectivas y no sean sobreyectivas,
y que sean sobreyectivas y no sean inyectivas.
9. Presente un ejemplo de un conjunto A y una funcion f :AA que sea sobreyectiva y que no sea
inyectiva.
10. El principio de inducci
on para conjuntos finitos se enuncia de la siguiente manera: Sea (x) una
formula de ZF, si:
a) () y
b) A finito b
/ A((A) (A {b})),
entonces A finito ((A)).
Demuestre el principio de inducci
on para conjuntos finitos (sugerencia: suponiendo (a) y (b), demuestre primero que n N A(A n (A)), usando induccion sobre n).
S
11. Demuestre que si A es un conjunto finito y todos los elementos de A son finitos, entonces A es
finito.
12. Sean A y B conjuntos. Demuestre que si A B, entonces P(A) P(B).

13. Sean A, B y C conjuntos. Demuestre que A (B C) AB C.

14. Indique si las siguientes afirmaciones (donde A, B y C son conjuntos y , y son cardinales) son
falsas o verdaderas y justifique sus respuestas:
a) A 0.
b) A 0.
c) 1 A A.
d)

A1

1.

e) |A B| = |A| + |B|.
f ) A (B C) (A B) C.
g) Si A B es finito, entonces A y B son finitos.
h) + ( + ) = ( + ) + .
i ) + = + = .
j ) 1 < < .
k ) + .
l ) 6= 0 .
m) 6= 0 .
n) ( ) = .
n
)

NR

R.

o)

RR

R.

15. Sean A y B conjuntos. Demuestre que si A 4 B, entonces P(A) 4 P(B).

16. Demuestre que si A es un conjunto finito y todo elemento de A es contable, entonces

A es contable.

17. Demuestre que el producto cartesiano de una cantidad finita de conjuntos contables es contable.
18. Presente un ejemplo de conjuntos A y B contables tales que A B no sea contable.
19. Demuestre que si A no es contable y B es contable, entonces A \ B no es contable.
20. Sea F un conjunto no vacoSque satisface la condicion de que para todo x F existe y F tal que
x y. Demuestre que x F , para todo x F .
T
21. Demuestre que si A y B son conjuntos contables, entonces A \ B y A B son contables.
22. Sean a, b R tales que a < b. Demuestre que (a, b) [a, b) (a, b] [a, b] (sugerencia: pruebe
primero que 20 + 1 = 20 ).
23. Use el teorema de Cantor (que muestra que A P(A), para todo conjunto A) para mostrar que la
clase de todos los conjuntos no es un conjunto.
24. Demuestre que si B N y B es infinito, entonces |B| = 0 .