Rodrigo Fabián Alfaro Uribe

Unidad 1. Actividad 2.
Demuestre formalmente las siguientes igualdades:
Sean A, B, C y D conjuntos.
1) 𝑨 ∩ (𝑩 ∪ 𝑪) = (𝑨 ∩ 𝑩) ∪ (𝑨 ∩ 𝑪)
𝑥 ∈ [𝐴 ∩ (𝐵 ∪ 𝐶)] ↔ 𝑥 ∈ [(𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶)]

Ahora, para demostrar que la definición es verdadera trabajamos con el miembro

izquierdo de la doble implicación.
𝑥 ∈ [𝐴 ∩ (𝐵 ∪ 𝐶)]
𝑥 ∈ 𝐴 ⋀ 𝑥 ∈ (𝐵 ∪ 𝐶) definición de intersección
𝑥 ∈ 𝐴 ⋀ (𝑥 ∈ 𝐵 ⋁ 𝑥 ∈ 𝐶) definición de unión
(𝑥 ∈ 𝐴 ⋀ 𝑥 ∈ 𝐵)⋁(𝑥 ∈ 𝐴⋀ 𝑥 ∈ 𝐶) propiedad distributiva 𝑝⋀(𝑞⋁𝑟) ≡ (𝑝⋀𝑞)⋁(𝑝⋀𝑟)
𝑥 ∈ (𝐴 ∩ 𝐵)⋁𝑥 ∈ (𝐴 ∩ 𝐶) definición de intersección
𝑥 ∈ [(𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶)] definición de unión
∴ 𝑨 ∩ (𝑩 ∪ 𝑪) = (𝑨 ∩ 𝑩) ∪ (𝑨 ∩ 𝑪)

2) 𝑨 ∪ (𝑩 ∩ 𝑪) = (𝑨 ∪ 𝑩) ∩ (𝑨 ∪ 𝑪
𝑥 ∈ [𝐴 ∪ (𝐵 ∩ 𝐶)] ↔ 𝑥 ∈ [(𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶)]

Para demostrar que la definición es verdadera trabajamos con el miembro izquierdo

de la doble implicación.
𝑥 ∈ [𝐴 ∪ (𝐵 ∩ 𝐶)]
𝑥 ∈ 𝐴 ⋁ 𝑥 ∈ (𝐵 ∩ 𝐶) definición de unión
𝑥 ∈ 𝐴 ⋁ (𝑥 ∈ 𝐵 ⋀ 𝑥 ∈ 𝐶) definición de intersección
(𝑥 ∈ 𝐴 ⋁ 𝑥 ∈ 𝐵)⋀(𝑥 ∈ 𝐴 ⋁ 𝑥 ∈ 𝐵) propiedad distributiva 𝑝⋁(𝑞⋀𝑟) ≡ (𝑝⋁𝑞)⋀(𝑝⋁𝑟)
𝑥 ∈ (𝐴 ∪ 𝐵)⋀𝑥 ∈ (𝐴 ∪ 𝐶) definición de unión
𝑥 ∈ [(𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐵)] definición de intersección
∴ 𝑨 ∪ (𝑩 ∩ 𝑪) = (𝑨 ∪ 𝑩) ∩ (𝑨 ∪ 𝑪)

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.

Ahora con las definiciones anteriores si sustituimos en la expresión tenemos:

𝐴 ∪ (𝑈 − 𝐴) = 𝑈 el cual es verdadero ya que la operación de 𝑈 − 𝐴 nos indica que
disponemos de todos los elementos de 𝑈 excepto de los elementos de 𝐴, no
obstante, la unión con 𝐴 nos devuelve esos elementos de los que no disponíamos,
por lo que necesariamente será el conjunto universo.
 4) 𝑼𝒄 = ∅
Para demostrar este enunciado es necesario considerar la definición de conjunto
vacío que es ∅ = {𝑥|𝑥 ≠ 𝑥}, lo que quiere decir que el conjunto vacío carece de
elementos. Asimismo la definición del conjunto universo dice que 𝑈 = {𝑥|𝑥 = 𝑥}, por
otro lado, la definición de complemento es 𝑈 𝑐 = {𝑥|𝑥 ∈ 𝑈⋀𝑥 ∉ 𝑈}, sin embargo esta
definición de complemento al conjunto universo muestra una contradicción ya que 𝑥
es elemento y al mismo tiempo no lo es del conjunto 𝑈 lo cual es imposible. Ahora
si 𝑥 pertenece a 𝑈 entonces no sería complemento de 𝑈 por lo que 𝑥 no es elemento
de U para que pueda ser su complemento, ahora si 𝑥 no es elemento de 𝑈 entonces
no lo es de ningún otro conjunto ya que 𝑈 contiene a todos los elementos de todos
los conjuntos por lo que necesariamente su complemento será el conjunto vacío ya
que no tiene elementos.
∴ 𝑼𝒄 = ∅

5) (𝑨 ∪ 𝑩)𝒄 = 𝑨𝒄 ∩ 𝑩𝒄
𝑥 ∈ (𝐴 ∪ 𝐵)𝑐 ↔ 𝑥 ∈ (𝐴𝑐 ∩ 𝐵𝑐 )

Para demostrar trabajamos con el lado izquierdo de la doble implicación

¬(𝑥 ∈ (𝐴 ∪ 𝐵)) definición del complemento
¬(𝑥 ∈ 𝐴 ⋁𝑥 ∈ 𝐵) definición de unión
¬𝑥 ∈ 𝐴 ⋀ ¬𝑥 ∈ 𝐵 Ley de Morgan ¬(𝑝⋁𝑞) ≡ ¬𝑝⋀¬𝑞
𝑐 𝑐
𝑥 ∈ 𝐴 ⋀𝑥 ∈ 𝐵 definición de complemento
𝑥 ∈ (𝐴𝑐 ∩ 𝐵𝑐 ) definición de intersección
𝒄 𝒄 𝒄
∴ (𝑨 ∪ 𝑩) = 𝑨 ∩ 𝑩

6) (𝑨 ∩ 𝑩)𝒄 = 𝑨𝒄 ∪ 𝑩𝒄
𝑥 ∈ (𝐴 ∩ 𝐵)𝑐 ↔ 𝑥 ∈ (𝐴𝑐 ∪ 𝐵𝑐 )

Trabajamos con el lado izquierdo

¬(𝑥 ∈ (𝐴 ∩ 𝐵)) definición de complemento
¬(𝑥 ∈ 𝐴 ⋀𝑥 ∈ 𝐵) definición de intersección
¬𝑥 ∈ 𝐴⋁¬𝑥 ∈ 𝐵 ley de Morgan ¬(𝑝⋀𝑞) ≡ ¬𝑝⋁¬𝑞
𝑥 ∈ 𝐴𝑐 ⋁𝑥 ∈ 𝐵𝑐 definición de complemento
𝑥 ∈ (𝐴𝑐 ⋃𝐵𝑐 ) definición de unión
𝒄 𝒄 𝒄
∴ (𝑨 ∩ 𝑩) = 𝑨 ∪ 𝑩
Solución en prosa: tenemos que la intersección de 𝐴 y 𝐵 es un conjunto formado por los
elementos que tienen en común 𝐴 y 𝐵, esto es, 𝐴 ∩ 𝐵 = {𝑥|𝑥 ∈ 𝐴⋀𝑥 ∈ 𝐵}, ahora su
complemento es (𝐴 ∩ 𝐵)𝑐 = {𝑥|𝑥 ∈ 𝑈⋀𝑥 ∉ (𝐴 ∩ 𝐵)}, de aquí se desprende que si 𝑥 ∉
(𝐴 ∩ 𝐵) entonces podemos formar un conjunto con los elementos 𝑥 que no son parte de 𝐴
y B por medio de la unión, es decir 𝐴𝑐 ∪ 𝐵𝑐 = {𝑥 ∈ 𝑈|𝑥 ∉ 𝐴⋁𝑥 ∉ 𝐵}. Por lo tanto (𝑨 ∩ 𝑩)𝒄 =
𝑨𝒄 ∪ 𝑩 𝒄
7) 𝑨∆𝑨 = ∅
Por definición de diferencia simétrica tenemos que:
𝑥 ∈ (𝐴∆𝐴)
𝑥 ∈ [(𝐴 − 𝐴) ∪ (𝐴 − 𝐴)] definición de diferencia simétrica
𝑥 ∈ (𝐴 − 𝐴)⋁𝑥 ∈ (𝐴 − 𝐴) definición de unión
(𝑥 ∈ 𝐴⋀𝑥 ∉ 𝐴)⋁(𝑥 ∈ 𝐴⋀𝑥 ∉ 𝐴) definición de diferencia
Aquí llegamos a una contradicción ya que aquí se presenta una disyunción exclusiva
en la que se presentan dos proposiciones que no pueden ocurrir simultáneamente.
Este este caso no puede ser cierto que x pertenezca a A y a la vez no.

Asimismo esto se confirma con la definición de conjunto vacío el cual carece de

elementos ya que no puede tener elementos y a la vez no tener. Recordemos que
un conjunto A contiene al conjunto vacío ya que de no contenerlo entonces existe
algún elemento en el conjunto vacío que no pertenezca al conjunto A, pero el
conjunto vacío no tiene elementos, por lo tanto A contiene al vacío.
∴ 𝐴∆𝐴 = ∅

8) 𝑨 × (𝑩 ∪ 𝑪) = (𝑨 × 𝑩) ∪ (𝑨 × 𝑪)
(𝑥, 𝑦) ∈ [(𝐴 × (𝐵 ∪ 𝐶)] ↔ (𝑥, 𝑦) ∈ [(𝐴 × 𝐵) ∪ (𝐴 × 𝐶)]

Para demostrar el enunciado tomamos el lado izquierdo de la bicondicional.

(𝑥, 𝑦) ∈ [(𝐴 × (𝐵 ∪ 𝐶)]
𝑥 ∈ 𝐴 ⋀𝑦 ∈ (𝐵⋃𝐶) definición de producto cartesiano
𝑥 ∈ 𝐴⋀(𝑦 ∈ 𝐵 ⋁ 𝑦 ∈ 𝐶) definición de unión
(𝑥 ∈ 𝐴⋀𝑦 ∈ 𝐵)⋁(𝑥 ∈ 𝐴⋀𝑦 ∈ 𝐶) propiedad distributiva 𝑝⋀(𝑞⋁𝑟) ≡ (𝑝⋀𝑞)⋁(𝑝⋀𝑟)
(𝑥, 𝑦) ∈ (𝐴 × 𝐵)⋁(𝑥, 𝑦) ∈ (𝐴 × 𝐶) definición de producto cartesiano
(𝑥, 𝑦) ∈ [(𝐴 × 𝐵)⋃(𝐴 × 𝐶)] definición de unión
∴ 𝐴 × (𝐵 ∪ 𝐶) = (𝐴 × 𝐵) ∪ (𝐴 × 𝐶)

9) 𝑨 × (𝑩 ∩ 𝑪) = (𝑨 × 𝑩) ∩ (𝑨 × 𝑪)
(𝑥, 𝑦) ∈ [(𝐴 × (𝐵 ∩ 𝐶) ↔ (𝑥, 𝑦) ∈ [(𝐴 × 𝐵) ∩ (𝐴 × 𝐵)]

Para demostrar este enunciado tomamos el lado derecho de la doble implicación.

(𝑥, 𝑦) ∈ [(𝐴 × 𝐵) ∩ (𝐴 × 𝐵)]
(𝑥, 𝑦) ∈ (𝐴 × 𝐵)⋀(𝑥, 𝑦) ∈ (𝐴 × 𝐶) definición de intersección
(𝑥 ∈ 𝐴 ⋀𝑦 ∈ 𝐵)⋀(𝑥 ∈ 𝐴 ⋀𝑦 ∈ 𝐶) definición de producto cartesiano
(𝑥 ∈ 𝐴 ⋀𝑥 ∈ 𝐴)⋀(𝑦 ∈ 𝐵 ⋀𝑦 ∈ 𝐶) propiedad conmutativa
(𝑥 ∈ 𝐴) ⋀(𝑦 ∈ 𝐵 ⋀𝑦 ∈ 𝐶) Si 𝑥 ∈ 𝐴⋀𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐴. Simplificación 𝑝⋀𝑞 ∴ 𝑝
𝑥 ∈ 𝐴 ⋀𝑦 ∈ (𝐵⋂𝐶) definición de intersección
(𝑥, 𝑦) ∈ [𝐴 × (𝐵 ∩ 𝐶)] definición de producto cartesiano
∴ (𝐴 × (𝐵 ∩ 𝐶) = (𝐴 × 𝐵) ∩ (𝐴 × 𝐵)

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.
∴ 𝐴×𝐵 ⊆ 𝐶×𝐷