Introducción

Hasta ahora ya hemos visto cómo juntar dos conjuntos (unión), cómo encontrar elementos en común entre dos conjuntos (intersección), y hemos considerado cualquier elemento excepto los que están dentro de un conjunto (complemento). Ahora vamos a hablar de otros dos conectores: La diferencia y la diferencia simétrica. Estos dos nos permitirán a hablar de los elementos de un conjunto $A$ sin considerar los elementos de otro conjunto $B$, así como de la unión de ambos conjuntos a excepción de su intersección. Después hablaremos de algunas propiedades conocidas como las leyes de De Morgan.

La Diferencia

Habrá ocasiones en que nos interesará diferencias algunos conjuntos de otros. Por ejemplo, imagina que quieres comprar una chamarra, visitando un sitio web te das cuenta de que hay una promoción en algunas prendas, incluidas las chamarras, entonces decides que compraras una chamarra solo si tiene descuento. Considera los conjuntos que describen artículos de la página web:

$$A = \{x : x \text{ es chamarra} \} $$

$$B = \{x : x \text{ no tiene descuento} \} $$

Si solo pudiéramos distinguir entre esos dos conjuntos, a nosotros nos gustaría encontrar una chamarra $x$ del conjunto $A$ que no esté en el conjunto $B$. Esto puede describirse como:

$$\{ x: x \in A \land x \not \in B \} = \{x: x \in A \land x \in B^c \} $$

Nota ahora que esto se puede escribir como:

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

Esto es justamente a lo que nosotros llamamos diferencia entre conjuntos, que representa la idea de «restar conjuntos», es decir, considerar los elementos de un conjunto exceptuando los elementos que también están en otro conjunto específico.

Definición. Sean $X$ y $Y$ dos conjuntos. Definimos la diferencia de conjuntos $X/Y$ como:

$$X \setminus Y = X \cap Y^c .$$

Y gráficamente se ve de la siguiente manera:

Diferencia simétrica

Ahora imagina que en una universidad se ofrece el curso de Lógica y el curso de Teoría de Conjuntos. La universidad quiere ver cuántos alumnos se interesan únicamente por la materia de Lógica sin la Teoría de Conjuntos y viceversa para ver cuántos grupos abrir.

Puesto que la universidad piensa abrir un curso que abarca Conjuntos y Lógica para los alumnos que quieren tomar los dos cursos a la vez, por ahora no nos interesan los alumnos que estén en la intersección del conjunto de alumnos que quieren tomar el curso de Lógica con el conjunto de alumnos que quieren tomar el curso de Teoría de Conjuntos. Dicho de otra manera, si el conjunto de los alumnos interesados en un curso de Lógica lo representamos por $L$ y al conjunto de los alumnos interesados en un curso de Teoría de Conjuntos lo representamos por $C$, entonces los alumnos que están interesados en un curso de Lógica y no de Conjuntos es $L \setminus C$ y el conjunto de alumnos que están interesados en un curso de Conjuntos y no de Lógica es $C \setminus L$.

Nota ahora que entre los dos conjuntos, hay $(L \setminus C) \cup (C \setminus L)$ alumnos que no tomarán el curso de Conjuntos y Lógica pero si una materia en alguna de esas dos disciplinas. A este conjunto lo llamamos la diferencia simétrica o unión disyuntiva entre conjuntos.

Definición . Sean $X$ y $Y$ dos conjuntos. La diferencia simétrica o unión disyuntiva de los conjuntos $X$ y $Y$ se define como:

$$X \vartriangle Y = (X \setminus Y) \cup (Y \setminus X) $$

Y gráficamente se ve como:

Leyes de De Morgan

Una vez que ya definimos los operadores que vamos a usar en la teoría de conjuntos, vamos a anotar una propiedad importante de los conjuntos que tiene su contraparte en la lógica proposicional. Y nos habla de cómo encontrar el complemento de la unión y la intersección.

Teorema (Leyes de De Morgan). Sean $X$ y $Y$ dos conjuntos dentro del conjunto universal $U$. Entonces:

1. $(X \cap Y)^c = X^c \cup Y^c$
2. $(X \cup Y)^c = X^c \cap Y^c$

Demostración. En esta entrada, solo demostraremos la primera parte, la segunda parte tendrá un argumento muy similar a la demostración que presentaremos a continuación.

Para demostrar que $(X \cup Y)^c = X^c \cap Y^c$, necesitaremos considerar un elemento $x$ y probar que $x \in (X \cup Y)^c$ si y solo si $ x\in X^c \cap Y^c$. Para ello, nota lo siguiente:

\begin{align*}
x \in (X \cap Y)^c &\Leftrightarrow x \in \{x \in U : \neg(x \in X \cap Y) \} \\
&\Leftrightarrow x \in \{x \in U: \neg (x \in X \land x \in Y) \} \\
&\Leftrightarrow x \in \{x \in U: \neg( x \in X ) \lor \neg (x \in Y) \} \ \ \ \ \text{ ( Por las leyes de De Morgan de la lógica)} \\
&\Leftrightarrow x \in \{x \in U: x \in X^c \lor x \in Y^c \}\\
&\Leftrightarrow x \in X^c \cup Y^c
\end{align*}

De esta manera, $(X \cap Y)^c = X^c \cup Y^c$. De manera análoga se cumple la otra proposición.

$\square$

Este teorema lo que nos quiere decir es que la forma de encontrar el complemento de la unión es intersectando el complemento de los conjuntos, y el complemento de la intersección es la unión de los complementos.

Corolario. Las siguientes proposiciones se cumplen con $X,Y,Z$ tres conjuntos:

1. $(X \cup Y \cup Z)^c = X^c \cap Y^c \cap Z^c $
2. $(X \cap Y \cap Z)^c = X^c \cup Y^c \cup Z^c$

Demostración. De manera similar al teorema anterior, solo demostraremos el primer inciso.

Para esto, notemos que:

\begin{align*}
(X \cup Y \cup Z)^c &= (X \cup Y)^c \cap Z^c \\
&= X^c \cap Y^c \cap Z^c
\end{align*}

De manera análoga se cumple la segunda proposición.

$\square$

Más adelante, tendremos herramienta matemática para demostrar que las leyes no solo se cumplen para la dos o tres variables, sino que para una cantidad arbitraria de términos. En otras palabras, podremos demostrar que:

Proposición. Sea $X = \{X_1,X_2,\dots,X_n\}$ una colección finita de conjuntos. Entonces:

1. $(X_1 \cup X_2 \cup \dots \cup X_n)^c = X_1^c \cap X_2^c \cap \dots \cap X_n^c $
2. $(X_1 \cap X_2 \cap \dots \cap X_n)^c = X_1^c \cup X_2^c \cup \dots \cup X_n^c$

Por ahora, nos quedaremos únicamente en el caso de tres variables. A este punto, conviene también decir que a veces encontrarás en la literatura la el término $X_1 \cup X_2 \cup \dots \cup X_n$ escrito como $\bigcup_{i=1}^nX_i$ y esta es únicamente una forma de notación que representa la unión de una colección de conjuntos. De manera similar, $X_1 \cap X_2 \cap \dots \cap X_n = \bigcap_{i=1}^nX_i $. De esta manera, la proposición anterior se resume en:

1. $\big( \bigcup_{i=1}^n X_i \big)^c = \bigcap_{i=1}^n X_i^c$
2. $\big( \bigcap_{i=1}^n X_i \big)^c = \bigcup_{i=1}^n X_i^c$

Otras propiedades de los conjuntos

A continuación anotamos otras propiedades que tienen los conjuntos, algunas de las cuales ya hemos revisado. Sean $X,Y$ y $Z$ tres conjuntos en el conjunto universal $U$, la siguiente tabla resume algunas propiedades que se cumplen.

Propiedad
Asociatividad de los conjuntos	\begin{align*} X \cup (Y \cup Z) &= (X \cup Y) \cup Z \\ X \cap (Y \cap Z) &= (X \cap Y) \cap Z \end{align*}
Distributividad de la unión y la intersección	\begin{align*} X \cap (Y \cup Z) &= (X \cap Y) \cup (X \cap Z) \\ X \cup (Y \cap Z) &= (X \cup Y) \cap (X \cup Z) \end{align*}
Idempotencia de la unión e intersección	\begin{align*} X \cup X = X = X \cap X \end{align*}
Conmutatividad de unión e intersección	\begin{align*} X \cup Y = Y \cup X \\ X \cap Y = Y \cap X \end{align*}
Leyes de identidad de unión	\begin{align*} X \cup \emptyset &= X \\ X \cup U &= U \end{align*}
Leyes de identidad de intersección	\begin{align*} X \cap \emptyset &= \emptyset \\ X \cap U &= X \end{align*}
Unión de complementos	\begin{align*} X \cup X^c = U \end{align*}
Intersección de complementos	\begin{align*} X \cap X^c = \emptyset \end{align*}
	\begin{align*} (X^c)^c = X \end{align*}
Leyes de De Morgan	\begin{align*} (X \cap Y)^c &= X^c \cup Y^c\\ (X \cup Y)^c &= X^c \cap Y^c \end{align*}

Y para resumir los operadores entre conjuntos, se encuentra la siguiente imagen:

Notas

*: En la literatura, también puedes encontrar la diferencia entre dos conjuntos $X$ y $Y$ escrita como $X – Y$ en lugar de $X \setminus Y$.

Más adelante…

Con esta entrada acabamos la primer unidad. Hasta ahora hemos sentado las bases matemáticas de la teoría de conjuntos, en la siguiente unidad vamos a seguir hablando de conjuntos, pero introduciremos un nuevo concepto: las relaciones entre conjuntos. Estas nos permitirán empezar a hablar de funciones, un recurso muy utilizado en todas las áreas de las matemáticas.

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.

1. Sean $P, Q, R, S$ cuatro proposiciones y $A = \{x: (P(x) \land Q(x)) \lor R(x) \}$, $B = \{x: (R(x) \land \neg P(x)) \lor S(x) \}$, $C = \{ x: S(x)\}$. Encuentra:
   • $A \cup B$
   • $B^c$
   • $A \setminus B$
   • $A \cap (B \cap C)$
   • $A \vartriangle C$
2. Demuestra que $(X \cup Y)^c = X^c \cap Y^c$
3. Demuestra que $(X^c)^c = X$
4. Describe al conjunto $(X \vartriangle Y)^c \setminus (X \setminus Y)^c$ en términos de complementos, la unión y la intersección.

Entradas relacionadas

• Ir a Álgebra Superior I
• Entrada anterior del curso: Intersecciones, uniones y complementos de conjuntos
• Siguiente entrada del curso: Problemas de intersecciones, complementos, uniones y 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»