Archivo de la etiqueta: unión

Teoría de los Conjuntos I: Propiedades del producto cartesiano (parte II)

Por Gabriela Hernández Aguilar

Introducción

En esta entrada veremos otras de las propiedades del producto cartesiano. Estas propiedades hacen referencia al comportamiento del producto cartesiano con respecto a las operaciones que definimos antes: unión, intersección, diferencia y diferencia simétrica.

Producto cartesiano y unión

Las siguientes dos proposiciones verifican que el producto cartesiano se distribuye sobre la unión.

Proposición. Para $A, B, C$ conjuntos se cumple que $(A \cup B) \times C = (A \times C) \cup (B \times C)$ .

Demostración.

Se tiene que $(x, y) \in (A \cup B) \times C$
si y sólo si $x \in A \cup B$ y $y \in C$
si y sólo si $(x \in A$ o $x \in B)$ y $y \in C$
si y sólo si $(x \in A$ y $y \in C)$ o $(x \in B$ y $y \in C)$
si y sólo si $(x, y) \in A \times C$ o $(x, y) \in B \times C$
si y sólo si $(x, y) \in (A \times C) \cup (B \times C)$ .

Proposición. Para $A, B, C$ conjuntos se cumple que $A \times (B \cup C) = (A \times B) \cup (A \times C)$ .

Demostración.

Se tiene que $(x, y) \in A \times (B \cup C)$
si y sólo si $x \in A$ y $y \in B \cup C$
si y sólo si $x \in A$ y $(y \in B$ o $y \in C)$
si y sólo si $(x \in A$ y $y \in B)$ o $(x \in A$ y $y \in C)$
si y sólo si $(x, y) \in A \times B$ o $(x, y) \in A \times C$
si y sólo si $(x, y) \in (A \times B) \cup (A \times C)$ .

Proposición. Para cualesquiera $A, B, C, D$ conjuntos no vacíos ocurre que $(A \times C) \cup (B \times D) \subseteq (A \cup B) \times (C \cup D)$ .

Demostración.

Sean $A, B, C, D$ conjuntos no vacíos. Tomemos $(x, y) \in (A \times C) \cup (B \times D)$ arbitrario, entonces $(x, y) \in A \times C$ o $(x, y) \in B \times D$ .

Si $(x, y) \in A \times C$ , entonces $x \in A$ y $y \in C$ . Luego, como $A \subseteq A \cup B$ y $C \subseteq C \cup D$ se sigue que $x \in A \cup B$ y $y \in C \cup D$ . Así, $(x, y) \in (A \cup B) \times (C \cup D)$ .

Si $(x, y) \in B \times D$ , entonces $x \in B$ y $y \in D$ . Luego, como $B \subseteq A \cup B$ y $D \subseteq C \cup D$ se sigue que $x \in A \cup B$ y $y \in C \cup D$ . Así, $(x, y) \in (A \cup B) \times (C \cup D)$ .

Producto cartesiano e intersección

Con la siguientes dos demostraciones podremos ver que el producto cartesiano se distribuye sobre la intersección.

Proposición. Para $A, B, C$ conjuntos se cumple que $(A \cap B) \times C = (A \times C) \cap (B \times C)$ .

Demostración.

Se tiene que $(x, y) \in (A \cap B) \times C$
si y sólo si $x \in A \cap B$ y $y \in C$
si y sólo si $(x \in A$ y $x \in B)$ y $y \in C$
si y sólo si $(x \in A$ y $y \in C)$ y $(x \in B$ y $y \in C)$
si y sólo si $(x, y) \in A \times C$ y $(x, y) \in B \times C$
si y sólo si $(x, y) \in (A \times C) \cap (B \times C)$ .

Proposición. Para $A, B, C$ conjuntos se cumple que $A \times (B \cap C) = (A \times B) \cap (A \times C)$ .

Demostración.

Se tiene que $(x, y) \in A \times (B \cap C)$
si y sólo si $x \in A$ y $y \in B \cap C$
si y sólo si $x \in A$ y $(y \in B$ y $y \in C)$
si y sólo si $(x \in A$ y $y \in B)$ y $(x \in A$ y $y \in C)$
si y sólo si $(x, y) \in A \times B$ y $(x, y) \in A \times C$
si y sólo si $(x, y) \in (A \times B) \cap (A \times C)$ .

Proposición. Para cualesquiera $A, B, C, D$ conjuntos no vacíos ocurre que $(A \times C) \cap (B \times D) = (A \cap B) \times (C \cap D)$ .

Demostración.

Sean $A, B, C, D$ conjuntos no vacíos. Tenemos que:
$(x, y) \in (A \times C) \cap (B \times D)$
si y sólo si $(x, y) \in A \times C$ y $(x, y) \in B \times D$
si y sólo si $(x \in A$ y $y \in C)$ y $(x \in B$ y $y \in D)$
si y sólo si $(x \in A$ y $x \in B)$ y $(y \in C$ y $y \in D)$
si y sólo si $x \in A \cap B$ y $y \in C \times D$
si y sólo si $(x, y) \in (A \cap B) \times (C \cap D)$ .

Producto cartesiano y diferencia

Con los siguientes resultados probamos que el producto cartesiano se distribuye sobre la diferencia.

Proposición. Sean $A, B, C$ conjuntos no vacíos. Se tiene que $A \times (B ∖ C) = (A \times B) ∖ (A \times C)$ .

Demostración.

Se tiene que $(x, y) \in A \times (B ∖ C)$
si y sólo si $x \in A$ y $y \in B ∖ C$
si y sólo si $x \in A$ y ( $y \in B$ y $y \notin C$ )
si y sólo si $(x \in A$ y $y \in B)$ y $(x \in A$ y $y \notin C)$
si y sólo si $(x, y) \in A \times B$ y $(x, y) \notin A \times C$
si y sólo si $(x, y) \in (A \times B) ∖ (A \times C)$ .

Proposición. Para $A, B, C$ conjuntos se cumple que $(A ∖ B) \times C = (A \times C) ∖ (B \times C)$ .

Demostración.

Se tiene que $(x, y) \in (A ∖ B) \times C$
si y sólo si $x \in A ∖ B$ y $y \in C$
si y sólo si $(x \in A$ y $x \notin B)$ y $y \in C$
si y sólo si $(x \in A$ y $y \in C)$ y $(x \notin B$ y $y \in C)$
si y sólo si $(x, y) \in A \times C$ y $(x, y) \notin B \times C$
si y sólo si $(x, y) \in (A \times C) ∖ (B \times C)$ .

Producto cartesiano y diferencia simétrica

La siguiente proposición demuestra que el producto cartesiano distribuye a la diferencia simétrica. Como ya demostramos propiedades de cómo interactúa el producto cartesiano con la unión, intersección y diferencia, podremos dar una demostración muy breve usando álgebra de conjuntos.

Proposición. Sean $A, B, C$ conjuntos. Se tiene que $A \times (B △ C) = (A \times B) △ (A \times C)$ .

Demostración. Procedemos por álgebra de conjuntos:

$\begin{aligned} A \times (B △ C) & = A \times ((B \cup C) ∖ (B \cap C)) \\ = (A \times (B \cup C)) ∖ (A \times (B \cap C)) \\ = ((A \times B) \cup (A \times C)) ∖ (A \times (B \cap C)) \\ = ((A \times B) \cup (A \times C) ∖ ((A \times B) \cap (A \times C)) \\ = (A \times B) △ (A \times C) . \end{aligned}$

Tarea moral

Los siguientes ejercicios te permitirán aprender otras propiedades del producto cartesiano:

Muestra que no siempre se da la igualdad $(A \times C) \cup (B \times D) = (A \cup B) \times (C \cup D)$ .
Demuestra que $(A \cup B) \times (C \cup D) = (A \times C) \cup (B \times D) \cup (A \times D) \cup (B \times C)$ .
Muestra que $(X \times Y) ∖ (B \times C) = ((X ∖ B) \times Y) \cup (X \times (Y ∖ C))$ .
Demuestra que $(A △ B) \times C = (A \times C) △ (B \times C)$ .

Más adelante…

En la siguiente entrada definiremos qué es una relación. Para ello utilizaremos el concepto de producto cartesiano y pareja ordenada. Resultará que una relación es un subconjunto de un producto cartesiano, por lo que es importante que comprendas bien el concepto de producto cartesiano que hemos visto en las últimas dos entradas.

Entradas relacionadas

Ir a Teoría de los Conjuntos I
Entrada anterior: Teoría de los Conjuntos I: Parejas ordenadas y producto cartesiano
Siguiente entrada: Teoría de los Conjuntos I: Relaciones

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»

Teoría de los Conjuntos I: Álgebra de conjuntos

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

En esta nueva entrada abordaremos a las operaciones entre conjuntos desde una perspectiva diferente: el álgebra. Veremos que existe otra forma de probar la igualdad entre conjuntos sin necesidad de usar la demostración por doble contención.

Algunos recordatorios

En el álgebra de conjuntos lo que se hace es primero probar algunas propiedades fundamentales de las operaciones de conjuntos, y usar estas propiedades repetidamente para demostrar otras, aprovechando que la igualdad de conjuntos es transitiva. Es por ello que nos conviene recopilar varias propiedades de las operaciones que tenemos hasta ahora.

Sean $A$ , $B$ , $C$ y $X$ conjuntos tales que $A, B, C \subseteq X$ . Entonces:

$A \cup \emptyset = A$ ,
$A \cup A = A$ ,
$A \cup B = B \cup A$ ,
$(A \cup B) \cup C = A \cup (B \cup C)$ ,
$A \cap \emptyset = \emptyset$ ,
$A \cap A = A$ ,
$A \cap B = B \cap A$ ,
$(A \cap B) \cap C = A \cap (B \cap C)$ ,
$A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$ ,
$A \cup (B \cap C) = (A \cup B) \cap (A \cup C)$ ,
$A ∖ \emptyset = A$ ,
$A ∖ A = \emptyset$ ,
$A ∖ B = A \cap (X ∖ B)$ ,
$A \cap (X ∖ A) = \emptyset$ ,
$A \cup (X ∖ A) = X$ ,
$X ∖ (A \cap B) = (X ∖ A) \cup (X ∖ B)$ ,
$X ∖ (A \cup B) = (X ∖ A) \cap (X ∖ B)$ ,
$X ∖ (X ∖ A) = A$ ,
Si $A \subseteq B$ , entonces $A \cap B = A$ .

Hay otras propiedades que ya hemos demostrado, pero no las pusimos aquí. Podríamos ponerlas para ir recopilando más cosas que sabemos que son válidas.

Demostraciones con álgebra de conjuntos

Ahora veremos algunos ejemplos de cómo se trabaja con álgebra de conjuntos. En varias de las siguientes proposiciones enunciamos resultados para cuando $A$ y $B$ son subconjuntos de un conjunto en común $X$ . Toma en cuenta que para $A$ y $B$ arbitrarios, siempre podemos tomar $X = A \cup B$ .

Proposición. Sean $A, B \subseteq X$ conjuntos. Prueba que $A ∖ B = A ∖ (A \cap B)$ .

Demostración.

$\begin{aligned} (usando 13) & A ∖ (A \cap B) & = A \cap (X ∖ (A \cap B)) \\ (usando 16) & = A \cap ((X ∖ A) \cup (X ∖ B)) \\ (usando 9) & = (A \cap (X ∖ A)) \cup (A \cap (X ∖ B)) \\ (usando 14) & = \emptyset \cup (A \cap (X ∖ B)) \\ (usando 1 y 3) & = A \cap (X ∖ B) \\ (usando 13) & = A ∖ B . \end{aligned}$

Proposición. Sean $A$ , $B \subseteq X$ son conjuntos, entonces $A ∖ B = (A \cup B) ∖ B$ .

Demostración.

$\begin{aligned} (usando 13) & (A \cup B) ∖ B & = (A \cup B) \cap (X ∖ B) \\ (usando 9) & = (A \cap (X ∖ B)) \cup (B \cap (X ∖ B)) \\ (usando 14) & = (A \cap (X ∖ B)) \cup \emptyset \\ (usando 1) & = A \cap (X ∖ B) \\ (usando 13) & = A ∖ B . \end{aligned}$

Proposición. Para $A$ , $B$ , $X$ conjuntos tales que $A, B \subseteq X$ , $(A \cap B) \cup (A ∖ B) = A$ .

Demostración.

$\begin{aligned} (usando 13) & (A \cap B) \cup (A ∖ B) & = (A \cap B) \cup (A \cap (X ∖ B)) \\ (usando 9) & = A \cap (B \cup (X ∖ B)) \\ (usando 15) & = A \cap X \\ (usando 14) & = A . \end{aligned}$

Proposición. $A \cap (B ∖ C) = (A \cap B) ∖ C$ .

Demostración.

$\begin{aligned} (usando 13) & (A \cap B) ∖ C & = (A \cap B) \cap (X ∖ C) \\ (usando 8) & = A \cap (B \cap X ∖ C) \\ (usando 13) & = A \cap (B ∖ C) . \end{aligned}$

Proposición. $(A \cap B) ∖ C = (A ∖ C) \cap (B ∖ C)$ .

Demostración.

$\begin{aligned} (usando 13) & (A \cap B) ∖ C & = (A \cap B) \cap (X ∖ C) \\ (usando 6 ,7 y 8) & = (A \cap X ∖ C) \cap (B \cap X ∖ C) \\ (usando 13) & = (A ∖ C) \cap (B ∖ C) . \end{aligned}$

Proposición. $(A \cup B) ∖ C = (A ∖ C) \cup (B ∖ C)$ .

Demostración.

$\begin{aligned} (usando 13) & (A \cup B) ∖ C & = (A \cup B) \cap (X ∖ C) \\ (usando 9) & = (A \cap X ∖ C) \cup (B \cap X ∖ C) \\ (usando 13) & = (A ∖ C) \cup (B ∖ C) . \end{aligned}$

Proposición. $(A ∖ B) ∖ C = (A ∖ C) ∖ (B ∖ C)$ .

Demostración.

$\begin{aligned} (usando 13) & (A ∖ C) ∖ (B ∖ C) & = (A ∖ C) \cap (X ∖ (B ∖ C)) \\ (usando 13) & = (A ∖ C) \cap (X ∖ (B \cap (X ∖ C)) \\ (usando 16) & = (A ∖ C) \cap ((X ∖ B) \cup (X ∖ (X ∖ C))) \\ (usando 18) & = (A ∖ C) \cap ((X ∖ B) \cup C) \\ (usando 9) & = (A ∖ C \cap (X ∖ B)) \cup ((A ∖ C) \cap C) \\ (usando 13) & = ((A \cap (X ∖ C)) \cap (X ∖ B)) \cup ((A \cap (X ∖ C)) \cap C) \\ (usando 8) & = ((A \cap (X ∖ B)) \cap (X ∖ C)) \cup (A \cap ((X ∖ C) \cap C)) \\ (usando 14) & = ((A \cap (X ∖ B)) \cap (X ∖ C)) \cup (A \cap \emptyset) \\ (usando 13 y 5) & = ((A ∖ B) ∖ C) \cup \emptyset \\ (usando 1) & = (A ∖ B) ∖ C . \end{aligned}$

Proposición. Sean $A$ , $B$ , $C$ subconjuntos de $X$ . Tenemos que $A ∖ (B ∖ C) = (A ∖ B) \cup (A \cap C)$ .

Demostración.

$\begin{aligned} (usando 13) & A ∖ (B ∖ C) & = A \cap (X ∖ (B ∖ C)) \\ (usando 13) & = A \cap (X ∖ (B \cap (X ∖ C))) \\ (usando 16) & = A \cap ((X ∖ B) \cup (X ∖ (X ∖ C))) \\ (usando 18) & = A \cap ((X ∖ B) \cup C) \\ (usando 9) & = (A \cap (X ∖ B)) \cup (A \cap C) \\ (usando 13) & = (A ∖ B) \cup (A \cap C) . \end{aligned}$

Tras realizar estas demostraciones es importante notar que muchas veces hacer el uso del álgebra nos ayuda a ahorrar tiempo. Sin embargo, para poder lograr esto es necesario utilizar muchas de las propiedades que sí hemos demostrado previamente por doble contención.

Tarea moral

Realiza las siguientes demostraciones haciendo uso del álgebra de conjuntos:

Prueba que para $A, B, C, X$ conjuntos tales que $A, B, C \subseteq X$ se cumple que: $(A ∖ B) ∖ (A ∖ C) = (A \cap C) ∖ B$ .
Prueba que $(A ∖ B) ∖ (A ∖ C) = A \cap (C ∖ B)$ .
Si $A, B \subseteq X$ , entonces $(X ∖ A) ∖ (X ∖ B) = B ∖ A$ .
Sean $A$ y $B$ conjuntos. Entonces $A ∖ (B \cap C) = (A ∖ B) \cap (A ∖ C)$ .

Más adelante…

En la siguiente entrada definiremos una nueva operación entre conjuntos: la diferencia simétrica. Retomaremos los resultados que hemos visto hasta ahora y seguiremos haciendo uso del álgebra de conjuntos para demostrar algunas propiedades de esta nueva operación.

Entradas relacionadas

Entrada relacionada: Teoría de los Conjuntos I: Operaciones entre conjuntos
Ir a Teoría de los Conjuntos I
Entrada anterior: Teoría de los Conjuntos I: El complemento de un conjunto
Siguiente entrada: Teoría de los Conjuntos I: Diferencia simétrica

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»

Teoría de los Conjuntos I: Operaciones entre conjuntos

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

A continuación definiremos algunas de las operaciones que hay entre conjuntos como lo son la unión, intersección y diferencia. Retomaremos algunos axiomas como el de unión y el esquema de comprensión, para ver que estas operaciones definen nuevos conjuntos.

Unión

Recordemos la definición de la unión de dos conjuntos.

Definición. Si $A$ y $B$ son conjuntos, entonces definimos la unión de $A$ y $B$ como:

$A \cup B = ⋃ {A, B}$

o bien,

$A \cup B = {x : x \in A o x \in B}$ .

Ejemplos.

Consideremos los conjuntos $A = {\emptyset}$ y $B = {\emptyset, {\emptyset}}$ . Luego, $A \cup B = ⋃ {A, B} = ⋃ {\emptyset, {\emptyset, {\emptyset}}} = {\emptyset, {\emptyset}} = B$ .
Ahora, consideremos $A = {{\emptyset}}$ y $B = {{{\emptyset}}}$ . Tendremos que $A \cup B = {{\emptyset}} \cup {{{\emptyset}}} = {{\emptyset}, {{\emptyset}}}$ .

Propiedades de la unión

Proposición. Para cualquier conjunto $A$ se tiene que $A \subseteq A \cup B$ . Además, $A \cup B = B \cup A$ .

Demostración.

Primero veamos que $A \subseteq A \cup B$ . Supongamos que $x \in A$ , entonces existe $A \in {A, B}$ tal que $x \in A$ . Esto es, por definición de unión que $x \in ⋃ {A, B} = A \cup B$ .

Para ver que $A \cup B = B \cup A$ , notemos que $A \cup B = ⋃ {A, B}$ y $B \cup A = ⋃ {B, A}$ . Sabemos que ${A, B} = {B, A}$ por axioma de extensión. Así, $A \cup B = B \cup A$ .

Intersección

Definición. Sean $A$ y $B$ conjuntos. La intersección de dos conjuntos estará definida como sigue:

$A \cap B = {x : x \in A \land x \in B}$ .

La intersección de dos conjuntos nos permite obtener un conjunto cuyos elementos son aquellos que se encuentran en ambos conjuntos. En la imagen que proporcionamos arriba podemos ver que la intersección nos deja solamente a la manzana y la pera, pues están en ambos conjuntos y descarta al plátano y la naranja pues solo viven en el primer conjunto. Lo mismo hace con la fresa y la sandía que solo viven en el segundo conjunto.

Proposición. $A \cap B$ es un conjunto.

Demostración. Sean $A$ y $B$ conjuntos.

Definamos la propiedad « $P (x) : x \in B$ ». Por el esquema de comprensión se tiene que

${x \in A : x \in B}$

es un conjunto.

Luego, ${x \in A : x \in B} = A \cap B$ . En efecto, $z \in A \cap B$ si y sólo si $z \in A$ y $z \in B$ si y sólo si $z \in {x \in A : x \in B}$ .

Por lo tanto, $A \cap B$ es conjunto.

Ejemplos.

Consideremos $A = {\emptyset}$ y $B = {{\emptyset}}$ , tenemos que $A \cap B = \emptyset$ esto último debido a que no existe ningún elemento $x$ tal que $x \in {\emptyset}$ y $x \in {{\emptyset}}$ al mismo tiempo. De ocurrir, tendriamos que $x = \emptyset$ y $x = {\emptyset}$ y por lo tanto, $\emptyset = {\emptyset}$ lo cual sabemos que no ocurre. Por lo tanto, $A \cap B = \emptyset$ .
Sean $A = {\emptyset, {\emptyset}}$ y $B = {\emptyset}$ conjuntos. Notemos que en este ejemplo el único elemento que está tanto en el conjunto $A$ como en el conjunto $B$ es $x = \emptyset$ . De este modo, $A \cap B = {\emptyset}$ .

También podemos definir intersecciones arbitrarias, no sólo de dos conjuntos.

Definición. Sea $A$ un conjunto no vacío, definimos a la intersección de $A$ como la colección:

${x : \forall y \in A (x \in y)}$ .

Ejemplo.

Sea $A = {{\emptyset}, {{\emptyset}}, {\emptyset, {\emptyset}}}$ , tenemos que la intersección de $A$ es $\emptyset$ . En efecto, esto pasa ya que no existe ningún elemento $x$ que pertenezca a todos los elementos de $A$ .

Ejemplo.

Sea $X = {A, B}$ con $A$ y $B$ conjuntos. Resulta que $⋂ X = ⋂ {A, B} = A \cap B$ . En efecto, $x \in ⋂ X$ si y sólo si para todo $y \in X$ , $x \in y$ si y sólo si $x \in A$ y $x \in B$ .

El hecho de que la unión arbitraria es conjunto es resultado del axioma de la unión. No hay un axioma de la intersección, por lo que demostraremos que la intersección de un conjunto $A$ es un conjunto, siempre que $A$ no sea vacío.

Proposición. Para todo $A \neq \emptyset$ , la intersección de $A$ es un conjunto.¹

Demostración:

Sea $A$ conjunto no vacío, entonces $A$ tiene al menos un elemento. Sea $z \in A$ , tenemos que ${x \in z : \forall y \in A (x \in y)}$ es conjunto por esquema de comprensión.

Resulta que $a \in {x \in z : \forall y \in A (x \in y)}$ si y sólo si $a \in y$ para todo $y \in A$ . En efecto, si $a \in {x \in z : \forall y \in A (x \in y)}$ , entonces $a \in z$ y $\forall y \in A$ , $a \in y$ . Entonces $a \in y$ para todo $y \in A$ .

Ahora, si $a \in y$ para todo $y \in A$ , en particular $a \in z$ pues $z \in A$ . Por tanto, $a \in {x \in z : \forall y \in A (x \in y)}$ .

Si observamos, para realizar la demostración anterior usamos el hecho de que $A \neq \emptyset$ , por lo que podríamos preguntarnos qué pasa si $A$ es vacío. Veremos esto con detalle en la siguiente entrada.

Ahora que hemos probado que la intersección de $A$ es un conjunto cuando $A$ es no vacío, le asignaremos una notación la cual estará dada por $⋂ A$ .

Propiedades de la intersección

Teorema. Para cualesquiera $A$ , $B$ conjuntos, tenemos que:

$A \cap B \subseteq A$ ,
$A \cap A = A$ ,
$A \cap B = B \cap A$ .

Demostración.

Sea $x \in A \cap B$ . Veamos que $x \in A$ .
Como $x \in A \cap B$ tenemos por definición de intersección que $x \in A$ y $x \in B$ . En particular, $x \in A$ . Por lo tanto, $A \cap B \subseteq A$ .
Tomemos $x \in A \cap A$ . Veamos que $x \in A$ .
Que $x \in A \cap A$ es equivalente a decir que $x \in A$ y $x \in A$ , lo cual pasa si y sólo si $x \in A$ . Por lo tanto, $A \cap A = A$ .
$A \cap B = B \cap A$ pues $x \in A \cap B$ arbitrario si y sólo si $x \in A$ y $x \in B$ , si y sólo si $x \in B$ y $x \in A$ , si y sólo si $x \in B \cap A$ .

Diferencia

Definición. Sean $A$ y $B$ conjuntos. La diferencia de $A$ con $B$ estará definida como sigue:

$A ∖ B = {x \in A : x \notin B}$ .

Por esquema de comprensión $A ∖ B$ es conjunto.

La diferencia entre dos conjuntos nos permite obtener un conjunto cuyos elementos se encuentra en el primero pero no el segundo conjunto. En la imagen anterior podemos ver que la diferencia nos deja solamente al plátano y la naranja, pues el plátano y la naranja se encuentran en el primer conjunto, pero no en el segundo. La manzana y la pera no forma parte del conjunto final pues vive en ambos conjuntos. La fresa no es elemento de la diferencia pues ni siquiera es elemento del primer conjunto.

Ejemplos.

Consideremos $A = {\emptyset}$ y $B = {{\emptyset}}$ , tenemos que $A ∖ B = {\emptyset}$ pues el único elemento que cumple estar en $A$ y no pertenecer al conjunto $B$ es $\emptyset$ .
Sea $A = {\emptyset, {\emptyset}}$ y $B = {\emptyset}$ . Luego,
$A ∖ B = {x \in A : x \notin B} = {x \in {\emptyset, {\emptyset}} : x \notin {\emptyset}} = {{\emptyset}}$ .

Propiedades de la diferencia

Teorema. Para cualesquiera $A$ , $B$ conjuntos, tenemos que:

$A ∖ \emptyset = A$ ,
$A ∖ A = \emptyset$ ,
$A ∖ B = A ∖ (A \cap B)$ .

Demostración.

Sea $x \in A ∖ \emptyset$ . Entonces $x \in A$ y $x \notin \emptyset$ . En particular $x \in A$ , por lo tanto $A ∖ \emptyset \subseteq A$ .
Luego, supongamos que $x \in A$ . Como $x \notin \emptyset$ es verdadero para cualquier conjunto $x$ , tenemos que $x \in A$ y $x \notin \emptyset$ es verdadero. Por lo tanto, $x \in A ∖ \emptyset$ y así $A \subseteq A ∖ \emptyset$ .
De lo anterior tenemos que $A = A ∖ \emptyset$ .
Supongamos que $A ∖ A \neq \emptyset$ , es decir, existe al menos un elemento $x \in A ∖ A$ . Entonces $x \in A$ y $x \notin A$ , lo cual no puede ocurrir. Dado que la contradicción provino de suponer que $A ∖ A \neq \emptyset$ , concluimos que $A ∖ A = \emptyset$ .
Veamos que $A ∖ B = A ∖ (A \cap B)$ .
$\subseteq$ ] Sea $x \in A ∖ B$ , entonces $x \in A$ y $x \notin B$ . Luego, como $x \notin B$ entonces $x \notin A$ o $x \notin B$ es verdadero. Lo que equivale a decir que $x \notin (A \cap B)$ . Por lo tanto, $x \in A$ y $x \notin (A \cap B)$ y así, $A ∖ B \subseteq A ∖ (A \cap B)$ .
$\supseteq$ ] Sea $x \in A ∖ (A \cap B)$ , entonces $x \in A$ y $x \notin (A \cap B)$ . Lo que equivale a decir que $x \in A$ y ( $x \notin A$ o $x \notin B$ ). Dado que $x \notin A$ no puede ocurrir pues $x \in A$ , entonces $x \notin B$ . Por lo tanto, $x \in A$ y $x \notin B$ y así, $A ∖ (A \cap B) \subseteq A ∖ B$ .
Por lo tanto, $A ∖ (A \cap B) = A ∖ B$ .

Proposición. $A ∖ B = \emptyset$ si y sólo si $A \subseteq B$ .

Demostración.

Supongamos que $A ∖ B = \emptyset$ y supongamos que $A ⊈ B$ en busca de una contradicción. Como $A ⊈ B$ , existe $x \in A$ tal que $x \notin B$ , y por lo tanto, $x \in A ∖ B$ , lo que contradice que $A ∖ B = \emptyset$ .
Por lo tanto, $A \subseteq B$ .

Ahora, si $A \subseteq B$ , entonces para cualquier $x \in A$ , $x \in B$ , por lo que no es posible que $A ∖ B$ sea no vacío.

Tarea moral

Los siguientes ejercicios te servirán para poner en práctica los conocimientos que has adquirido en este sección, en la siguiente lista podrás probar las siguientes propiedades de la unión, intersección y diferencia de conjuntos:

Prueba que $A \cap \emptyset = \emptyset$ para todo conjunto $A$ .
Prueba que para cualesquiera $A$ , $B$ y $C$ conjuntos:
– $A \cup (B \cup C) = (A \cup B) \cup C$ .
– $A \cap (B \cap C) = (A \cap B) \cap C$ .
Prueba que para cualesquiera $A$ , $B$ y $C$ conjuntos:
– $A \cup (B \cap C) = (A \cup B) \cap (A \cup C)$ ,
– $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$ .
Si $A \subseteq C$ y $B \subseteq D$ entonces $A \cap B \subseteq C \cap D$ .
Demuestra que $A ∖ B = A$ si y sólo si $A \cap B = \emptyset$ .
Demuestra a partir de los axiomas que en efecto si $A$ es un conjunto no vacío, entonces $\cap A$ es conjunto.

Más adelante…

En la siguiente entrada retomaremos la definición de intersección de conjuntos y mencionaremos el axioma de buena fundación. Además abordaremos el tema de la colección de todos los conjuntos apoyados de este último axioma. Finalmente, veremos que la intersección del conjunto vacío resulta ser la colección de todos los conjuntos.

Entradas relacionadas

Entradas relacionadas: Álgebra Superior I: Intersecciones, uniones y complementos de conjuntos
Álgebra Superior I: Leyes de De Morgan y diferencia simétrica de conjuntos
Ir a Teoría de los Conjuntos I
Entrada anterior: Teoría de los Conjuntos I: Axioma de conjunto potencia
Siguiente entrada: Teoría de los Conjuntos I: El axioma de buena fundación

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»

También puedes consultar la demostración de este resultado en: Amor, J. A., Teoría de Conjuntos para Estudiantes de Ciencias, México: Serv. Editoriales Fac. Ciencias, UNAM, 1997, p. 17. ↩︎

Álgebra Superior I: Propiedades del producto cartesiano

Por Guillermo Oswaldo Cota Martínez

Deja un comentario

Introducción

La vez pasada dimos la definición de parejas ordenadas y el producto cartesiano. Estas ideas tenían que ver con «relacionar» dos conjuntos mediante las parejas ordenadas, ahora exploraremos más sobre el producto cartesiano. En esta entrada revisaremos algunas propiedades interesantes e importantes sobre el producto cartesiano entre dos conjuntos, viendo cómo se comporta con el conjunto vacío y algunos operadores de conjuntos.

Propiedades del producto cartesiano

Algunas de las preguntas que nos pueden surgir al momento de trabajar con los productos cartesianos es cómo estos se comportan con algunos operadores. Por ejemplo la unión y la intersección o la relación de contención. En esta entrada revisaremos algunos resultados útiles a la hora de trabajar con el producto cartesiano.

Trabajando con el vacío

Considera a un conjunto $X$ . ¿Cómo será su producto cartesiano con el conjunto vacío?. Pues recuerda que:

$X \times \emptyset = {(x, y) : x \in X \land y \in \emptyset}$

Pareciera ser que este conjunto no tendría ningún elemento, ¿no? Pues al observar alguna pareja ordenada $(x, y)$ de este conjunto, resultaría que $y \in \emptyset$ . Lo cuál es una contradicción, pues recordemos que el conjunto vacío no tiene elementos.

Proposición. Sea $X$ un conjunto, entonces $X \times \emptyset = \emptyset$ .

Demostración. Para demostrar la igualdad de conjuntos, deberíamos demostrar que el conjunto de la izquierda está contenido en la derecha, pero notemos que el conjunto de la derecha es el conjunto vacío, y como recordarás, el conjunto vacío, siempre será subconjunto de cualquier conjunto. Esto nos ahorra una contención, y solo habrá que demostrar la contención que falta.

$\subset$ . Para demostrar que cada elemento $(x, y) \in X \times \emptyset$ está contenido en el conjunto vacío, será suficiente demostrar que no podemos tomar ningún elemento de dicho conjunto, pues no tiene elementos, ya que ningún elemento cumplirá la definición del conjunto: $x \in X \land y \in \emptyset$ . Cuando queremos demostrar que un conjunto es vacío, lo que haremos es hacerlo por reducción al absurdo, suponiendo que sí tiene elementos para llegar a una contradicción.

Para ello, supón $(x, y) \in X \times \emptyset$ (existe algún elemento en el conjunto). Entonces $x \in X$ y $y \in \emptyset$ , pero esto es una contradicción, pues el conjunto vacío no tiene elementos por definición. Así, concluímos que $X \times \emptyset \subset \emptyset$ .

Más aún, hemos demostrado la igualdad entre conjuntos, pues como dijimos al principio, todo conjunto tiene como subconjunto al vacío. De esta manera $X \times \emptyset = \emptyset$ .

El mismo argumento puede ser usado para demostrar que $\emptyset \times X = \emptyset$ , pues no existen elementos que cumplan la definición de pertenencia del lado derecho.

Contención entre productos cartesianos

Para la siguiente propiedad, veremos cómo es que se comporta el producto cartesiano con la contención de conjuntos. Consideraremos ahora dos conjuntos $X, Y$ . Notemos que un elemento del producto cartesiano de $X \times Y$ es de la forma $(x, y)$ donde $x \in X \land y \in Y$ . Ahora nota que si $X \subset W \land Y \subset Z$ , entonces $(x, y)$ también serán parte del producto cartesiano entre $W$ y $Z$ , pues $x \in W \land y \in Z$ . Esto es lo que nos dice la siguiente proposición:

Proposición. Sean $W, Z$ dos conjuntos y $X \subset W$ , $Y \subset Z$ . Entonces: $X \times Y \subset W \times Z$

Demostración. Para la demostración, consideremos $(x, y) \in X \times Y$ . Lo que habrá que demostrar es que $(x, y) \in W \times Z$ . Para ello, nota que si $(x, y) \in X \times Y$ entonces $x \in X$ y al tener la hipótesis $X \subset W$ , concluímos que $x \in W$ . De manera análoga, $y \in Z$ . de esta manera $(x, y) \in W \times Z$

Corolario. Sean $X, Y$ dos conjuntos, entonces $X \times X = Y \times Y$ si y solo si $X = Y$ .

Esta última demostración no se va a resolver aquí, pero es sencillo notar que la igualdad entre productos cartesianos implica que $X \times X$ es subconjunto de $Y \times Y$ y viceversa, lo cual se puede utilizar para demostrar la contención entre conjuntos.

Propiedades con la unión e intersección

Las siguientes propiedades que vamos a probar serán las referentes a la unión y a la intersección. Para la primera idea de la unión, consideremos al conjunto $X = {1, 2}$ y a los conjuntos $Y_{1} = {a}, Y_{2} = {b} .$

Entonces el conjunto $X \times Y_{1} = {(1, a), (2, a)} .$ Y el conjunto $X \times Y_{2} = {(1, b), (2, b)} .$ De tal manera que si juntamos estos productos cartesianos, nos queda el siguiente conjunto:

$X \times Y_{1} \cup X \times Y_{2} = {(1, a), (2, a), (1, b), (2, b)} .$

Nota ahora que si hacemos el producto cartesiano de $X$ con $Y_{1} \cup Y_{2}$ , resulta que:

$X \times (Y_{1} \cup Y_{2}) = {1, 2} \times {a, b} = {(1, a), (2, a), (1, b), (2, b)} .$

De esta manera, $X \times (Y_{1} \cup Y_{2}) = X \times Y_{1} \cup X \times Y_{2} .$

Esto es lo que nos dice la siguiente proposición:

Proposción. Sean $X, Y, Z$ tres conjuntos, entonces $X \times (Y \cup Z) = X \times Y \cup X \times Z .$

Demostración.

$\subset .$ Considera $(x, y) \in X \times (Y \cup Z)$ . Entonces $x \in X$ y $y \in Y \cup Z$ . Nota entonces que tenemos dos casos para $y$ .

Caso 1. $y \in Y$

En este caso, $(x, y) \in X \times Y \subset X \times Y \cup X \times Z$ , al tener esta última contención, concluimos que se cumple que $X \times (Y \cup Z) \subset X \times Y \cup X \times Z .$

Caso 2. $y \in Z$

Esta demostración es análoga al caso anterior, esto quiere decir que seguimos un razonamiento muy similar que no requiere de pasos muy distintos a los que hicimos. Podemos dejarlo así, pero pondremos el razonamiento análogo para que veas por qué decimos que es análogo.
En este caso, $(x, y) \in X \times Z \subset X \times Y \cup X \times Z$ , al tener esta última contención, concluimos que se cumple que $X \times (Y \cup Z) \subset X \times Y \cup X \times Z .$

En cualquiera de los casos, es cierto que $X \times (Y \cup Z) \subset X \times Y \cup X \times Z .$

$\supset .$ Para demostrar la otra contención, simplemente notemos que tanto $X \times Y$ como $X \times Z$ están contenidos en $X \times (Y \cup Z)$ . (Recuerda que si dos conjuntos están contenidos en otro conjunto, entonces su unión queda contenida en el conjunto). Para ello, nota que:

$\begin{aligned} X \times Y & = {(x, y) : x \in X \land y \in Y} \\ \subset {(x, y) : x \in X \land y \in (Y \cup Z)} \\ = X \times (Y \cup Z) \end{aligned}$

De igual manera:

$\begin{aligned} X \times Z & = {(x, y) : x \in X \land y \in Z} \\ \subset {(x, y) : x \in X \land y \in (Z \cup Y)} \\ = {(x, y) : x \in X \land y \in (Y \cup Z)} \\ = X \times (Y \cup Z) \end{aligned}$

De esta manera $X \times Y \subset X \times (Y \cup Z)$ y $X \times Z \subset X \times (Y \cup Z)$ de manera que $X \times Y \cup X \times Z \subset X \times (Y \cup Z)$

Por lo tanto $X \times Y \cup X \times Z = X \times (Y \cup Z)$

Otra propiedad interesante es con la intersección, pues de manera similar si $X = {1, 2}$ y los conjuntos $Y_{1} = {a, b, c, d, e, 1, f}, Y_{2} = {1, 2, 3, 4, 5, a, 6}$ entonces se cumple que $X \times Y_{1} \cap X \times Y_{2} = {(1, a), (2, a), (1, 1), (2, 1)} .$
Y $X \times (Y_{1} \cap Y_{2}) = {(1, a), (2, a), (1, 1), (2, 1)} .$ De esta manera, $X \times Y_{1} \cap X \times Y_{2} = X \times (Y_{1} \cap Y_{2})$ . Esto es otra proposición:

Proposición. Sean $X, Y, Z$ tres conjuntos, entonces $X \times Y \cap X \times Z = X \times (Y \cap Z)$

Demostración. Podemos hacer la demostración como en la proposición anterior, pero vamos a demostrarlo ahora por la definición de los conjuntos. Para esto, nota que:

$\begin{aligned} X \times (Y \cap Z) & = {(x, y) : x \in X \land y \in (Y \cap Z)} \\ = {(x, y) : (x \in X \land y \in Y) \land (x \in X \land y \in Z)} \\ = {(x, y) : x \in X \land y \in Y} \cap {(x, y) : x \in X \land y \in Z} \\ = X \times Y \cap X \times Z \end{aligned}$

Es con esto que tenemos algunas de las propiedades del producto cartesiano. Más aún, también hemos continuado con algunas distintas formas de demostrar conjuntos. Ambas formas de demostración de las proposiciones son válidas y son diferentes formas de demostrar.

Como pudiste observar, en general el producto cartesiano se comporta bien con los operadores entre conjuntos, siendo el producto cartesiano de la intersección, la intersección de los productos cartesianos y lo mismo sucede con la unión.

Más adelante…

Ahora que hemos visto algunas propiedades del producto cartesiano, procederemos a definir el siguiente concepto: las relaciones binarias entre conjuntos. Como pudiste observar con el producto cartesiano, este nos permite «unir» elementos de un conjunto con otro. Pues las relaciones serán un subconjunto del producto cartesiano y estudiaremos las distintas formas de relaciones.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Demuestra que si $X$ es un conjunto, entonces $\emptyset \times X = \emptyset$ .
Demuestra que si $X, Y$ son dos conjuntos, entonces $X \times X = Y \times Y$ si y solo si $X = Y .$
Sean $X, Y, Z$ tres conjuntos. Demuestra que:
- $(X \cup Y) \times Z = X \times Z \cup Y \times Z$
- $(X \cap Y) \times Z = X \times Z \cap Y \times Z$
Demuestra que si $X, Y, Z$ son tres conjuntos, entonces:
- $X \times (Y △ Z) = X \times Y △ X \times Z$
- $(X △ Y) \times Z = X \times Z △ Y \times Z$

Entradas relacionadas

Ir a Álgebra Superior I
Entrada anterior del curso: Parejas ordenadas y producto cartesiano de conjuntos
Siguiente entrada del curso: Problemas de producto cartesiano

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»

Álgebra Superior I: Intersecciones, uniones y complementos de conjuntos

Por Guillermo Oswaldo Cota Martínez

2 respuestas

Introducción

Habiendo establecido los axiomas de la teoría de conjuntos, ahora vamos a empezar a trabajar con ellos. En particular en esta entrada nos intereseran tres operaciones: La intersección, la unión y el complemento de conjuntos.

Pensando en conjuntos

Para empezar a hablar de las operaciones que usaremos, pues primero debemos de ponernos de acuerdo a qué nos referiremos y qué queremos construir cuando hablamos de operaciones. Para estos fines, nos interesa qué podemos hacer con los conjuntos y cómo se relacionan los unos a los otros. Por ejemplo: ¿Habrá algunos elementos que pertenezcan a dos conjuntos a la vez? o ¿Qué pasa con el con elementos que sí están en unos conjuntos y en otros no? Pues veremos algunas operaciones, sin embargo hay que ver la idea intuitiva detrás de algunos de ellos.

Será bueno que de igual manera tengas los axiomas a la mano, pues serán útiles para la definición de algunas de estas operaciones:

Axioma 1	Existe un conjunto.
Axioma 2	Podemos hacer conjuntos a partir de proposiciones que cumplen o no cumplen elementos de algún conjunto.
Axioma 3	Si $X$ y $Y$ son conjuntos, entonces ${X, Y}$ es un conjunto.
Axioma 4	Dos conjuntos son iguales si todos sus elementos son iguales.
Axioma 5	Existe un conjunto que tiene como elementos a todos los elementos que pertenecen a algún elemento de $X$ .
Axioma 6	Para cada conjunto $X$ , existe su conjunto potencia $P (X)$ cuyos elementos son los subconjuntos de $X$ .

Intersección

Supongamos que tenemos dos conjuntos $X, Y$ de números enteros positivos del 1 al 20. $X$ es el conjunto de los números pares y $Y$ es el conjunto de los números primos. Entonces $X$ lo podemos ver como:

Mientras que $Y$ se podría ver como:

Nota que hay un elemento en común con ambos conjuntos, pues $2$ es el único par primo, es decir hay un punto de intersección que es el $2$ :

En este caso diremos que $2$ se encuentra en la intersección de $X$ con $Y$ , pues está en ambos conjuntos. Con esto en mente definiremos la intersección:

Definición. Sean $X$ y $Y$ dos conjuntos, entonces el conjunto intersección de $X$ y $Y$ , $X \cap Y$ es: $X \cap Y = {x \in X : x \in Y}$

En nuestro ejemplo anterior, $X = {2, 4, 6, 8, 10, 12, 14, 16, 18, 20}, Y = {2, 3, 5, 7, 11, 13, 17, 19}$ , y $X \cap Y = {2}$ pues es el único par primo.

Como puedes ver, gráficamente el área que representa la intersección entre dos conjuntos es:

Ahora vamos a ver algunas propiedades como: la conmutatividad y la asociatividad .

Proposición. La intersección es conmutativa, es decir: $X \cap Y = Y \cap X .$

Demostración. Recuerda que por el axioma 4, tenemos que demostrar dos cosas: primero que $X \cap Y \subset Y \cap X$ y después que $Y \cap X \subset X \cap Y$ . Vas a ver una similitud en demostrar este tipo de proposiciones de igualdad de conjuntos a las demostraciones que usan el «si y solo si», pues primero tendremos que demostrar la contención de «ida» y después la del «regreso». Y esto tiene sentido, pues demostrar la igualdad entre conjuntos es demostrar la doble implicación de que un elemento pertenezca a alguno de los dos conjuntos, pues habría que demostrar:

$\forall x (x \in X \cap Y \Leftrightarrow x \in Y \cap X) .$

Así que empezamos nuestra demostración probando una contención.

$\subset)$ Consideremos $x \in X \cap Y$ . Para demostrar que $X \cap Y \subset Y \cap X$ , habría que demostrar que cada elemento del primer conjunto se encuentra en el segundo, así que hay que demostrar que $x \in Y \cap X$ . Para ello, nota que $X \cap Y = {x \in X : x \in Y} = {x \in X : P (x)}$ son los elementos de $X$ que cumplen la proposición $P (x) : x \in Y$ . Entonces sabemos que $x \in Y$ . Por otro lado, sabemos que la proposición $Q (x) : x \in X$ se cumple, entonces $x$ pertenece al conjunto

$x \in {y \in Y : Q (y)} = {y \in Y : y \in X} = Y \cap X$

puesto que $x$ pertenece a $Y$ y cumple $Q (x)$ . De esta forma $X \cap Y \subset Y \cap X$ .

$\supset)$ Nota que para demostrar la otra contención, únicamente deberíamos copiar la demostración anterior cambiando de lugar $X$ con $Y$ , es decir que nuestra demostración sería muy parecida a la primera contención que hicimos. Lo podríamos poner tal cual haciendo los cambios mencionados, sin embargo puede ser redundante. En este caso diremos que «La demostración de este caso es análoga a la anterior», que significa: para hacer esta demostración tendríamos un razonamiento muy parecido a la anterior sin ningún modificación interesante, pues seguiríamos los mismos pasos. Muchas veces verás este tipo de oraciones en demostraciones, siendo una herramienta para ahorrar palabras y no ser redundante, pues el razonamiento para hacer alguna demostración (en este caso la segunda contención), sigue un razonamiento casi idéntico a algo ya hecho (en este caso la primera contención).

De esta manera, al ser esta contención análoga a la anterior, $Y \cap X \subset X \cap Y$

Proposición. La intersección es asociativa, es decir $X \cap (Y \cap Z) = (X \cap Y) \cap Z$ .

Demostración. Podríamos hacer esta demostración como la anterior donde hicimos la conmutatividad, sin embargo emplearemos otro razonamiento en donde cada uno de los pasos es válido. Para ello nota que queremos demostrar que $X \cap (Y \cap Z) = (X \cap Y) \cap Z$ y que $(X \cap Y) \cap Z = X \cap (Y \cap Z)$ . Y para esto debemos de demostrar que $(x \in X \cap (Y \cap Z)) \Leftrightarrow (x \in (X \cap Y) \cap Z) .$

Ahora nota que

$\begin{aligned} x \in X \cap (Y \cap Z) & \Leftrightarrow (x \in X) \land ((x \in Y) \land (x \in Z)) \\ \Leftrightarrow ((x \in X) \land (x \in Y)) \land (x \in Z) (Por la asociatividad de la disyunción) \\ \Leftrightarrow x \in (X \cap Y) \cap Z \end{aligned}$

De esta manera hicimos una cadena de equivalencias lógicas válidas, empezamos con un elemento en el conjunto $X \cap (Y \cap Z)$ y demostramos que ese elemento estaba en $(X \cap Y) \cap Z$ y viceversa. Esto lo hicimos con el conocimiento que ya sabíamos, y como antes ya habíamos demostrado que la disyunción es asociativa, entonces cada paso lógico es válido y con esto demostramos la igualdad entre conjuntos.

Unión

Ahora en vez de fijarnos en donde dos conjuntos se intersectan, pensemos en cuando dos conjuntos se unen. Para esto, considera el siguiente ejemplo. Digamos que $X = {1, 2, 3, 4, 5}$ y $Y = {4, 5, 6, 7}$ son conjuntos de números enteros.

Los conjuntos $X, Y$ son los siguientes:

El siguiente paso es construir el conjunto que tiene como elementos a los elementos de ambos conjuntos ¿Recuerdas el axioma 4? Este nos hablaba de un conjunto que contiene a todos los elementos que son elementos del mismo conjunto. Suena confuso pero este axioma junto al axioma 3 justifican la existencia de este conjunto. Veamos como lo podemos construir:

Por el axioma 3, existe el conjunto ${X, Y}$ , es decir que existe el conjunto $A = {{1, 2, 3, 4, 5} {4, 5, 6, 7}}$ .

Después, como existe este conjunto $A$ , por el axioma 4, existe un conjunto cuyos elementos son elementos que pertenecen a elementos de ${X, Y}$ , entonces para dicho conjunto que llamaremos $X \cup Y$ , sus elementos son $X \cup Y = {x : x \in X \lor x \in Y}$ .

Entonces el conjunto unión de $X$ y $Y$ $X \cup Y = {1, 2, 3, 4, 5, 6, 7}$ , pues es el conjunto que contiene a todos los elementos de ambos conjuntos.

Definición. El conjunto unión de dos conjuntos $X, Y$ es el conjunto: $X \cup Y = {x : x \in X \lor x \in Y}$

De manera gráfica, podemos ver la unión como:

Ahora enunciaremos las proposiciones que demostramos para la intersección, pero ahora usando la unión:

Proposición. La unión es conmutativa.

Demostración. Considera a $X$ y $Y$ dos conjuntos, entonces

$\begin{aligned} x \in X \cup Y & \Leftrightarrow (x \in X) \lor (x \in Y) \\ \Leftrightarrow (x \in Y) \lor (x \in X) (Por la conmutatividad de la conjunción) \\ \Leftrightarrow x \in Y \cup X \end{aligned}$

Proposición. La unión es asociativa.

Para esta última no daremos demostración, sin embargo es una demotración parecida a su contraparte de la intersección.

Una vez que hemos establecido estas dos operaciones, solo falta una más por revisar ahora. Si la intersección es la disyunción y la unión es la conjunción, la siguiente que definiremos es la negación.

Complemento de conjuntos

Cuando estemos hablando de conjuntos, muchas veces estaremos dentro de un contexto de conjuntos, o un Conjunto universal, dentro del cual siempre estaremos trabajando. Por ejemplo, si estamos en cálculo de una variable, todos los conjuntos o casi todos sobre los que estemos trabajando serán conjuntos de números reales. Nota ahora que cuando estuvimos dando los ejemplos de conjuntos paraexplicar la unión y la intersección, decíamos que $X, Y$ eran conjuntos de números enteros. Es decir, estábamos acordando que nuestro conjunto universal eran los números enteros $Z$ .

Muchas veces el contexto sobre el conjunto universal sobre el que estamos trabajando no será especificado y se puede inferir, pues si estamos trabajando por ejemplo con números reales, no es posible que un conjunto tenga números complejos, por ejemplo.

Ahora con esto acordado, vamos a ver que cualquier conjunto $X$ en un conjunto universal $U$ se puede escribir de la siguiente manera: $X = {x \in U : x \in X} .$

Es decir, podemos escribir al conjunto $X$ como los elementos del conjunto universal que están en $X$ . Así, definiremos el complemento de $X$ o $X^{c}$ como: $X^{c} = {x \in U : x \notin X} .$

Definición. Sea $X$ un conjunto sobre el conjunto universal $U$ , entonces definimos el complemento de $X$ como $X^{c} = {x \in U : x \notin X}^{*}$

Por ejemplo, considera $X = {2, 4, 6, 8, 10}$ al conjunto de los números pares dentro del conjunto de los números enteros del 1 al 10. Entonces en este caso $U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}$ y su complemento es $X^{c} = {1, 3, 5, 7, 9}$ .

Gráficamente, podemos ver al complemento como:

Algunas de las cosas que podemos decir del complemento son:

Proposición. Sea $X$ un conjuntos dentro del conjunto universal $U$ . Entonces:

$X \cup X^{c} = U$
$U^{c} = \emptyset$

Demostración.

Esta proposición nos quiere decir que un conjunto junto al complemento «llenan» todo el espacio. Para esto, nota que
$\begin{aligned} x \in X^{c} \cup X & \Leftrightarrow x \in X^{c} \lor x \in X \\ \Leftrightarrow x \in {x \in U : x \in X \lor x \notin X} \end{aligned}$
Ahora nota que $P (x) : x \in X \lor x \notin X$ es una tautología, es decir, cualquier elemento de $U$ cumple dicha definición, así,
$\begin{aligned} x \in X^{c} \cup X & \Leftrightarrow x \in X^{c} \lor x \in X \\ \Leftrightarrow x \in {x \in U : x \in X \lor x \notin X} \\ \Leftrightarrow x \in U \end{aligned}$
Nota primero que ya hemos dicho que $\emptyset$ es subconjunto de cualquier conjunto, así se tiene la contención $\emptyset \subset U$ . Para la otra contención, supón que no sucede que $U \subset \emptyset$ . Entonces se tiene que existe un elemento $x \in U$ que cumple: $x \in {x \in U : x \notin U} .$ Donde se tendría que $x \in U \land x \notin U$ , lo cual es imposible. Entonces $U \subset \emptyset$ . De esta manera se tiene la igualdad entre conjuntos.

Nota

*: En la literatura, también puedes encontrar escrito el complemento de un conjunto $A$ escrito como $\bar{A}$ en lugar de $A^{c}$

Más adelante…

Ahora ya hemos visto tres operaciones básicas en la teoría de conjuntos, junto a la definición del conjunto universal, que recuerda: no siempre verás implícitamente y puede ser un conjunto que dependa del contexto. En la siguiente entrada veremos dos operaciones más que se pueden definir en términos de las que vimos ahora, así como otras propiedades de las operaciones.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Sea $N = {1, 2, 3, 4, 6, 9, 10, 15, 20, 30}$ y $X = {x \in Z : x = 2 n, n \in N}$ , encuentra:
- $X \cap N$
- $X \cup N$
Demuestra que la unión es asociativa.
Demuestra que la unión de subconjuntos de un conjunto $X$ siempre está contenida en $X$ .
Demuestra que si $Y \subset X$ y $Z \subset X$ entonces $Y \cup Z \subset X$
Demuestra que si $X \subset Y$ son dos conjuntos, entonces:
- $X \cap Y = X$
- $X \cup Y = Y$
Demuestra que:
- $X^{c} \cap X^{c} = \emptyset$
- $\emptyset^{c} = U$

Entradas relacionadas

Ir a Álgebra Superior I
Entrada anterior del curso: Problemas de conjuntos y subconjuntos
Siguiente entrada del curso: Leyes de De Morgan y diferencia simétrica de conjuntos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»