Professional Documents
Culture Documents
Unidad 1. Actividad 2.
Demuestre formalmente las siguientes igualdades:
Sean A, B, C y D conjuntos.
1) 𝑨 ∩ (𝑩 ∪ 𝑪) = (𝑨 ∩ 𝑩) ∪ (𝑨 ∩ 𝑪)
𝑥 ∈ [𝐴 ∩ (𝐵 ∪ 𝐶)] ↔ 𝑥 ∈ [(𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶)]
2) 𝑨 ∪ (𝑩 ∩ 𝑪) = (𝑨 ∪ 𝑩) ∩ (𝑨 ∪ 𝑪
𝑥 ∈ [𝐴 ∪ (𝐵 ∩ 𝐶)] ↔ 𝑥 ∈ [(𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶)]
3) 𝑨 ∪ 𝑨𝒄 = 𝑼
Para demostrar esta operación debemos tomar en cuenta la definición del
complemento de un conjunto con respecto al conjunto universo. La definición dice
que 𝐴𝑐 = {𝑥 ∈ 𝑈 |𝑥 ∉ 𝐴}, es decir, que 𝑥 es elemento del conjunto universo tal que 𝑥
no es elemento del conjunto 𝐴 de manera que se tiene lo siguiente 𝐴𝑐 = 𝑈 − 𝐴 =
{𝑥|𝑥 ∈ 𝑈⋀𝑥 ∉ 𝐴} por la definición de diferencia.
5) (𝑨 ∪ 𝑩)𝒄 = 𝑨𝒄 ∩ 𝑩𝒄
𝑥 ∈ (𝐴 ∪ 𝐵)𝑐 ↔ 𝑥 ∈ (𝐴𝑐 ∩ 𝐵𝑐 )
6) (𝑨 ∩ 𝑩)𝒄 = 𝑨𝒄 ∪ 𝑩𝒄
𝑥 ∈ (𝐴 ∩ 𝐵)𝑐 ↔ 𝑥 ∈ (𝐴𝑐 ∪ 𝐵𝑐 )
8) 𝑨 × (𝑩 ∪ 𝑪) = (𝑨 × 𝑩) ∪ (𝑨 × 𝑪)
(𝑥, 𝑦) ∈ [(𝐴 × (𝐵 ∪ 𝐶)] ↔ (𝑥, 𝑦) ∈ [(𝐴 × 𝐵) ∪ (𝐴 × 𝐶)]
9) 𝑨 × (𝑩 ∩ 𝑪) = (𝑨 × 𝑩) ∩ (𝑨 × 𝑪)
(𝑥, 𝑦) ∈ [(𝐴 × (𝐵 ∩ 𝐶) ↔ (𝑥, 𝑦) ∈ [(𝐴 × 𝐵) ∩ (𝐴 × 𝐵)]
10) Si 𝑨 ⊆ 𝑪 𝒚 𝑩 ⊆ 𝑫, entonces 𝑨 × 𝑩 ⊆ 𝑪 × 𝑫
Hipótesis: 𝐴 ⊆ 𝐶 𝑦 𝐵 ⊆ 𝐷
Conclusión: 𝐴 × 𝐵 ⊆ 𝐶 × 𝐷
Tenemos que A es subconjunto de C y B es subconjunto de D. Por definición un
conjunto X es subconjunto de un conjunto Y si los elementos de X son elementos
de Y.
Ahora si realizamos la operación de producto cartesiano entre los conjuntos C, D y
A, B tenemos lo siguiente:
𝐶 × 𝐷 = {(𝑥, 𝑦)|𝑥 ∈ 𝐶 ⋀𝑦 ∈ 𝐷}
𝐴 × 𝐵 = {(𝑥, 𝑦)|𝑥 ∈ 𝐴⋀𝑦 ∈ 𝐵}
Por hipótesis tenemos que 𝐴 ⊆ 𝐶 𝑦 𝐵 ⊆ 𝐷 es decir para cada 𝑥 ∈ 𝐴 𝑒𝑠 ∈ 𝐶 y para
cada 𝑦 ∈ 𝐵 𝑒𝑠 ∈ 𝐷. Por lo tanto cada uno de los pares ordenados del producto AxB
serán pares del producto CxD.
∴ 𝐴×𝐵 ⊆ 𝐶×𝐷