Universidad Nacional de Ingeniería

Facultad de Ciencias
Escuela Profesional de Matemática
Práctica calificada 4
Lógica y teoría de conjuntos
10 de junio de 2023

1. La finalidad de esta pregunta es mostrar que la unión sobre un conjunto de índices numerable [4 pts.]
de conjuntos numerables es numerable. Para esto:

a) Sean J ⊂ N no vacío
[ y {Mn }n∈J familia de conjuntos numerables. Construya una función
inyectiva de ψ : Mn → N × N, no olvide de justificar la inyectividad. [2 pts]
n∈J

b) Concluya que la unión sobre un conjunto de índices numerable de conjuntos numerables

también es numerable. [2 pts]

x
2. Usando la aplicación f : R → R definida por f (x) = muestre que R es equipotente a [4 pts.]
1 + |x|
{x ∈ R : |x| < 1}.

3. Considere n, p, q, r ≥ 1 tales que n = p + q + r y considere [6 pts.]

X = {(A, B, C) ∈ P (In ) × P (In ) × P (In ) : A, B, C disjuntos y #A = p, #B = q, #C = r}

y F : X −→ P (In ) como F (A, B, C) = A.

a) Determine la imagen de F . [2 pts]

b) Verifique que las fibras de F son equipotentes y determine su cardinalidad. [2 pts]
n!
c) Pruebe que #X = . [2 pts]
p!q!r!

4. Sean A, B conjuntos arbitrarios. Definimos el conjunto [6 pts.]

AB = {f : B → A : f es una función}

y hacemos Ab = A para cada b ∈ B. Se pide

Y
a) Pruebe que Ab ∼ AB . [2 pts]
b∈B

b) Si B tiene al menos Y elegimos x ∈ B y hacemos B Y

Y 2 elementos, = B \ {x}. Pruebe que la
aplicación φ : Ab × A → Ac definida para cada (p; a) ∈ Ab × A por
b∈B c∈B b∈B

p(c) , si b ∈ B;
(φ(p; a))(c) =
a , si c = x

es biyectiva. [4 pts]

UNI, Lima-Perú