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\setminus \emptyset=A$,
- $A\setminus A=\emptyset$,
- $A\setminus B= A\cap (X\setminus B)$,
- $A\cap (X\setminus A)=\emptyset$,
- $A\cup (X\setminus A)=X$,
- $X\setminus (A\cap B)= (X\setminus A)\cup (X\setminus B)$,
- $X\setminus (A\cup B)= (X\setminus A)\cap (X\setminus B)$,
- $X\setminus (X\setminus 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\setminus B= A\setminus (A\cap B)$.
Demostración.
\begin{align*}
A\setminus (A\cap B)&= A\cap (X\setminus (A\cap B)) \tag{usando 13}\\
&=A\cap((X\setminus A)\cup(X\setminus B)) \tag{usando 16} \\
&=(A\cap (X\setminus A))\cup (A\cap (X\setminus B)) \tag{usando 9} \\
&=\emptyset\cup (A\cap (X\setminus B)) \tag{usando 14} \\
&=A\cap (X\setminus B) \tag{usando 1 y 3} \\
&=A\setminus B \tag{usando 13}.
\end{align*}
$\square$
Proposición. Sean $A$, $B\subseteq X$ son conjuntos, entonces $A\setminus B= (A\cup B)\setminus B$.
Demostración.
\begin{align*}
(A\cup B)\setminus B &= (A\cup B)\cap (X\setminus B) \tag{usando 13}\\
&= (A\cap (X\setminus B))\cup (B\cap (X\setminus B)) \tag{usando 9}\\
&= (A\cap (X\setminus B))\cup \emptyset \tag{usando 14}\\
&=A\cap (X\setminus B) \tag{usando 1}\\
&=A\setminus B \tag{usando 13}.
\end{align*}
$\square$
Proposición. Para $A$, $B$, $X$ conjuntos tales que $A, B\subseteq X$, $(A\cap B)\cup (A\setminus B)= A$.
Demostración.
\begin{align*}
(A\cap B)\cup (A\setminus B)&= (A\cap B)\cup (A\cap (X\setminus B)) \tag{usando 13}\\
&=A\cap (B\cup (X\setminus B)) \tag{usando 9}\\
&=A\cap X \tag{usando 15}\\
&=A \tag{usando 14}.
\end{align*}
$\square$
Proposición. $A\cap (B\setminus C)=(A\cap B)\setminus C$.
Demostración.
\begin{align*}
(A\cap B)\setminus C &=(A\cap B)\cap (X\setminus C) \tag{usando 13}\\
&=A\cap (B\cap X\setminus C) \tag{usando 8}\\
&= A\cap (B\setminus C) \tag{usando 13}.
\end{align*}
$\square$
Proposición. $(A\cap B)\setminus C=(A\setminus C)\cap (B\setminus C)$.
Demostración.
\begin{align*}
(A\cap B)\setminus C&= (A\cap B)\cap (X\setminus C) \tag{usando 13}\\
&=(A\cap X\setminus C)\cap (B\cap X\setminus C) \tag{usando 6 ,7 y 8}\\
&= (A\setminus C)\cap (B\setminus C) \tag{usando 13}.
\end{align*}
$\square$
Proposición. $(A\cup B)\setminus C=(A\setminus C)\cup (B\setminus C)$.
Demostración.
\begin{align*}
(A\cup B)\setminus C&= (A\cup B)\cap (X\setminus C) \tag{usando 13}\\
&=(A\cap X\setminus C)\cup (B\cap X\setminus C) \tag{usando 9}\\
&= (A\setminus C)\cup (B\setminus C) \tag{usando 13}.
\end{align*}
$\square$
Proposición. $(A\setminus B)\setminus C=(A\setminus C)\setminus (B\setminus C)$.
Demostración.
\begin{align*}
(A\setminus C)\setminus (B\setminus C)&= (A\setminus C)\cap (X\setminus (B\setminus C)) \tag{usando 13}\\
&=(A\setminus C)\cap (X\setminus (B\cap (X\setminus C)) \tag{usando 13}\\
&=(A\setminus C)\cap ((X\setminus B)\cup (X\setminus (X\setminus C))) \tag{usando 16}\\
&=(A\setminus C)\cap ((X\setminus B)\cup C) \tag{usando 18}\\
&=(A\setminus C\cap (X\setminus B))\cup ((A\setminus C)\cap C) \tag{usando 9}\\
&=((A\cap(X\setminus C))\cap (X\setminus B))\cup ((A\cap(X\setminus C))\cap C) \tag{usando 13}\\
&=((A\cap(X\setminus B))\cap (X\setminus C))\cup (A\cap((X\setminus C)\cap C)) \tag{usando 8}\\
&=((A\cap(X\setminus B))\cap (X\setminus C))\cup (A\cap\emptyset) \tag{usando 14}\\
&=((A\setminus B)\setminus C)\cup \emptyset \tag{usando 13 y 5}\\
&=(A\setminus B)\setminus C \tag{usando 1}.
\end{align*}
$\square$
Proposición. Sean $A$, $B$, $C$ subconjuntos de $X$. Tenemos que $A\setminus (B\setminus C)=(A\setminus B)\cup (A\cap C)$.
Demostración.
\begin{align*}
A\setminus (B\setminus C)&= A\cap (X\setminus (B\setminus C)) \tag{usando 13}\\
&=A\cap (X\setminus (B\cap (X\setminus C))) \tag{usando 13}\\
&=A\cap((X\setminus B)\cup (X\setminus(X\setminus C))) \tag{usando 16}\\
&=A\cap((X\setminus B)\cup C) \tag{usando 18}\\
&=(A\cap (X\setminus B))\cup (A\cap C) \tag{usando 9}\\
&=(A\setminus B)\cup (A\cap C) \tag{usando 13}.
\end{align*}
$\square$
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\setminus B)\setminus (A\setminus C)= (A\cap C)\setminus B$.
- Prueba que $(A\setminus B)\setminus (A\setminus C)=A\cap (C\setminus B)$.
- Si $A, B\subseteq X$, entonces $(X\setminus A)\setminus (X\setminus B)=B\setminus A$.
- Sean $A$ y $B$ conjuntos. Entonces $A\setminus (B\cap C)=(A\setminus B)\cap (A\setminus 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»