Universidad Industrial de Santander

Séptimo examen - Teorı́a de conjuntos

21/10/2021

• Justifique todas sus afirmaciones y enuncie todos los teoremas y todas

las propiedades usadas.
• Cada ejercicio tiene valor de 2.5.
• El grupo que le toca es el resto de dividir su código de estudiante por
4. Resolver al menos un ejercicio del grupo que no le tocó da como
nota 0.0
• Indique claramente su código y el grupo que le tocó.
Grupo 0

(1) Muestre que el conjunto Z[x] de todos los polinomios con coeficientes en Z es
enumerable.

(2) Sean A1 , · · · An , n conjuntos finitos. Muestre que A1 ∪ · · · ∪ An es un conjunto

finito.

Grupo 1

(1) Sean X y Y conjuntos equipotentes con X infinito y Y enumerable: Suponga

que Y ⊆ X. Muestre que X \ Y es finito o X \ Y y X son equipotentes.

(2) Muestre que N × 0, 1 y N × N son equipotentes.

Grupo 2

(1) Sean A un conjunto enumerable y sea F el conjnto de todas las funciones de A

en {0, 1}. Muestre que F no es enumerable.

(2) Muestre que {0, 1}N y NN son equipotentes.

Grupo 3

(1) Sea A un conjunto finito y B un conjunto enumerable, muestre que A × B es

enumerable.

(2) Muestre que N × P(N) y P(N) son equipotentes.