Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ileana Jocelyn Domínguez Guillén, grupo “A”, primer semestre, Licenciatura en Matemáticas.
1. Escribe los axiomas de Zermelo-Fraenkel de la teoría de conjuntos vistos en clase.
a) A∪B = B∪A
Sean A y B conjuntos.
Demostraremos la afirmación por doble contención, es decir A∪B ⊂ B∪A y B∪A ⊂ A∪B (Axioma
de la igualdad).
Sea x ∈ A∪B; por el axioma de la unión x ∈ A o x ∈ B, que es igual a x ∈ B o x ∈ A, ello es equivalente
a x ∈ B∪A, entonces A∪B ⊂ B∪A. Con un argumento análogo llegamos a que B∪A ⊂ AUB. Por lo
tanto, A∪B = B∪A.
b) A ⊂ A∪B
Sean A y B conjuntos.
Sea x ∈ A. Sabemos que:
A∪B:={x: x ∈ A o x ∈ B}.
Por lo que x ∈ A implica que x ∈ A∪B. Consecuentemente, A ⊂ A∪B.
c) A∩(B∩C) = (A∩B)∩C
Sean A, B y C conjuntos.
Demostraremos la afirmación por doble contención, es decir A∩(B∩C) ⊂ (A∩B)∩C
y (A∩B)∩C ⊂ A∩(B∩C) (Axioma de la igualdad).
Sea x ∈ A∩(B∩C), ello significa que x ∈ A y x ∈ B∩C; esta última afirmación se traduce como x ∈
B y x ∈ C. Tenemos entonces que x ∈ A, x ∈ B y x ∈ C Así, x ∈ A y B, y x ∈ C; esto es x ∈ (A∩B)∩C.
Concluimos en que A∩(B∩C) ⊂ (A∩B)∩C. Con un argumento análogo llegamos a que (A∩B)∩C
⊂ A∩(B∩C). Por lo tanto, A∩(B∩C) = (A∩B)∩C.
4. Sean A y B conjuntos. Demuestra lo siguiente:
a) A∩AC = ∅
Sean A y AC conjuntos.
Demostraremos la afirmación por doble contención, es decir A∩AC ⊂ ∅ y ∅ ⊂ A∩AC (Axioma de
la igualdad).
Sea x ∈ A∩Ac , por definición x ∈ A y x ∈ Ac, es decir, x se halla simultáneamente dentro y fuera
del conjunto A , lo que nos lleva a una contradicción. No hay x tal que se cumpla eso, por lo tanto,
A∩Ac está contenido en un conjunto vacío, que es equivalente a A∩AC ⊂ ∅.
Procederemos a demostrar que ∅ ⊂ A∩AC a través de una demostración por contradicción.
Supongamos que ∅ ⊄ A∩AC; ello sucede si y solo si existe al menos un x ∈ ∅ tal que x ∉ A∩AC; ∅
no cumple esa condición, ya que no existe ningún x ∈ ∅. Por lo que ∅ ⊂ A∩AC.
Queda demostrado que A∩AC = ∅.
b) (A∪B)C = AC ∩ BC
Sean A y B conjuntos.
Demostraremos la afirmación por doble contención, es decir, (A∪B)C ⊂ AC ∩ BC y AC ∩ BC ⊂
(A∪B)C (Axioma de la unión).
Sea x ∈ (A∪B)C, entonces x ∉ A∪B, es decir, x ∉ A y x ∉ B, o sea, x ∈ AC y x ∈ BC, que es equivalente
a x ∈ AC ∩ BC . Por lo tanto, (A∪B)C ⊂ AC ∩ BC.
Sea x ∈ AC ∩ BC ; por definición x ∈ AC y x ∈ BC, que es igual a x ∉ A y x ∉ B, entonces, x ∉ A∪B, o
dicho de otra forma, x ∈ (A∪B)C. Consecuentemente, AC ∩ BC ⊂ (A∪B)C y podemos concluir en
que (A∪B)C = AC ∩ BC.
8. Sean A = {1, 2}, B = {a, b}. Da la lista completa de relaciones que existen en A × B.
Se define AxB como el conjunto de parejas ordenadas (p, q) tales que p ∈ A y q ∈ B. Obtenemos
el número de posibles parejas a través del producto de la cardinalidad de cada conjunto.
Lista: (1, a), (1, b), (2, a) y (2, b).
Sea (x, y) ∈ (A × B − A × C)
(A × B − A × C) = {(x,y) : (x,y) ∈ A × B y (x,y) ∉ A × C}
= {(x,y) : x ∈ A, y ∈ B, x ∉ A o y ∉ C} Tomamos y ∉ C porque sabemos que x ∈ A.
= {(x,y) : x ∈ A, y ∈ B, y ∉ C}
= {(x,y): x x ∈ A, y ∈ (B-C)}
= {(x,y): A × (B-C)}
Por lo tanto, A × B − A × C ⊂ A × (B − C).
Demostradas las dos contenciones, tenemos que A × (B − C) = A × B − A × C.