Teoría de Conjuntos - Tarea núm. 2

(para entregar el jueves 22 de augst, 2002)

  1. Del libro del curso: p.46, problemas 4,8.

  2. Para dos conjuntos A, B se define BA := { f | f : A --> B } (el conjunto de todas las funciones entre A y B).

    Demuestra que si A, B son conjuntos finitos con m, n elementos (resp.), entonces BA es un conjunto finito con mn elementos.

  3. Para un conjunto A se define su conjunto "potencia" como P(A) := { C | C está contenido en A} (el conjunto de todos los subconjuntos de A).

    Demuestra que P(A) ~ {0,1}A .