Universidad Universidad Industrial de Santander Ejercicios

Industrial de Escuela de Matem´aticas Conjuntos finitos

Santander
Teoría de conjuntos 20267 - Grupo B2
11 de septiembre de 2021

1. Sean A, B, C tres conjuntos finitos con |A| = n, |B| = m y |C| = p. Muestre que
|A × B × C| = n · m · p.
2. Sean A y B conjuntos finitos y sean a ∈ A y b1, b2 ∈ B. Considere los conjuntos
S = {f ∈ BA : f (a) = b1} y T = {f ∈ BA : f (a) = b2}
Muestre que |S| = |T |.
3. Encuentre los números enteros en {1, 2, . . . , 1000} que sean divisibles por 4, 5 o 7.
4. Demuestre que los conjuntos y A tienen la misma cardinalidad. Además,
encuentre una biyección. Donde:
B
A = {X ∈ P({1, 2, 3, 4, 5, 6, 7, 8, 9, 10}) : 3 ∈
/X y5∈ / X};
B = {X ∈ P({1, 2, 3, 4, 5, 6, 7, 8, 9, 10}) : 3 ∈
/ X y 5 ∈ X}.
5. Sea P = {1, 2, . . . , 7} × {1, 2, . . . , 7}. Halle la
cardinalidad de:
A = {T : T es un triángulo con alguno de sus lados paralelo a uno de los ejes}.

6. Sean A y B conjuntos finitos no vacı́os, f : A → B una función inyectiva y g : A

→ B una función. Muestre que g es inyectiva si, y solo si, existe h : B → B biyectiva
tal que g = h ◦ f .

7. Sea A = {1, 2, 3, 4, 5, 6}. Considere el siguiente conjunto

T = {X ∈ P3 (A) : 6 ∈
/ X y5∈
/ X}
Encuentre una función biyectiva entre T y P3({a, b, c, d})
8. Sea A = {1, 2, 3, 5, 6}. Consiga un elemento de P2(P3(A)) y determine |P2(P3(A))| y
|P(A) × P({1, 2, 3})|.
9. Sea A un conjunto finito y B ⊆ A. Demuestre que |A \ B| = |A| − |A ∩ B|. Use lo anterior
y concluya que si |A \ B| = |B \ A| entonces |A| = |B|.
10.Sean A, B, C, y D conjuntos finitos no vacíos y f : A → B una biyección. Suponga
que |C| ≤ |D| y D ∩ B = ∅. Muestre que existe g : (A ∪ C) → (B ∪ D) inyectiva tal
que g(x) = f (x) para todo x ∈ A.
11.Sea A un conjunto finito con n elementos y k ≤ n. Muestre que existe una función
biyectiva entre Pk(A) y Pn−k(A).
12.Sean A, B conjuntos finitos. Demuestre que si f : A→ B y g : B→A son inyectivas,
entonces f y g son biyectivas. Para pensar: Si A y B tienen infinitos elementos ¿es
válido el resultado anterior?