Archivo del Autor: Gabriela Hernández Aguilar

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:

  1. $A\cup \emptyset=A$,
  2. $A\cup A=A$,
  3. $A\cup B=B\cup A$,
  4. $(A\cup B)\cup C = A \cup (B\cup C)$,
  5. $A\cap \emptyset =\emptyset$,
  6. $A\cap A=A$,
  7. $A\cap B = B\cap A$,
  8. $(A\cap B)\cap C =A \cap (B\cap C)$,
  9. $A\cap (B\cup C)= (A\cap B)\cup (A\cap C)$,
  10. $A\cup (B\cap C)=(A\cup B)\cap (A\cup C)$,
  11. $A\setminus \emptyset=A$,
  12. $A\setminus A=\emptyset$,
  13. $A\setminus B= A\cap (X\setminus B)$,
  14. $A\cap (X\setminus A)=\emptyset$,
  15. $A\cup (X\setminus A)=X$,
  16. $X\setminus (A\cap B)= (X\setminus A)\cup (X\setminus B)$,
  17. $X\setminus (A\cup B)= (X\setminus A)\cap (X\setminus B)$,
  18. $X\setminus (X\setminus A)= A$,
  19. 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

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: El complemento de un conjunto

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

En esta entrada hablaremos acerca del complemento de un conjunto y algunos resultados que se dan a partir de esta definición. A su vez, veremos las leyes de De Morgan, las cuales nos dirán cuál es el complemento de la intersección y de la unión de dos o más conjuntos.

Problemas con la definición

Al intentar hablar del complemento de un conjunto, nos gustaría referirnos a la parte que lo completa, es decir, todo lo que no pertenece a él. Por lo que bajo esta idea, podríamos intentar definir al complemento de un conjunto como sigue.

Para un conjunto $A$ definimos al complemento de $A$, como la colección:

$A^c=\set{x:x\notin A}$.

Entonces los elementos de $A^c$ serían aquellos que no pertenecen al conjunto $A$. Sin embargo, esta colección no es un conjunto, esto debido a que no existe ninguna restricción extra para sus elementos. De hecho, la siguiente proposición muestra que existe un problema si suponemos que $A^c$ definido de esta forma es un conjunto.

Proposición. Para $A$ cualquier conjunto, se tiene que $\set{x:x\notin A}$ no es un conjunto.

Demostración.

Sea $A$ un conjunto arbitrario y, en busca de una contradicción, supongamos que $z= \set{x:x\notin A}$ sí es un conjunto. Luego, por el axioma de unión $A\cup z$ es un conjunto. Notemos ahora que $A\cup z=\set{x: x\in A\ o\ x\notin A}$ es la colección de todos los conjuntos, pues cualquier conjunto $y$ satisface $y\in A$ o $y\notin A$, es decir, cualquier conjunto $y$ está en $A\cup z$.

Por lo tanto, como $A\cup z$ es un conjunto, concluimos que la colección de todos los conjuntos es un conjunto y esto sabemos que es falso. (Revisar Teoría de los Conjuntos I: Paradoja de Russell)

Como la contradicción viene de suponer que $z=\set{x:x\notin A}$ es un conjunto, se sigue que $z$ no es un conjunto.

$\square$

Arreglemos la definición

Para quitar el problema que nos genera definir al complemento de un conjunto como lo hicimos antes, haremos uso del esquema de comprensión. El complemento de un conjunto quedará bien definido si condicionamos a sus elementos a pertenecer a cierto conjunto y cumplir una propiedad. Esto último lo haremos de la siguiente forma:

Definición. Sean $A$ y $X$ conjuntos, definimos al complemento de $A$ respecto del conjunto $X$, como:

$A^c= \set{x\in X:x\notin A}$.

Ejemplo.

Sea $X=\set{\emptyset, \set{\emptyset}, \set{\set{\emptyset}}, \set{\emptyset, \set{\emptyset}}}$ y sea $A=\set{\emptyset, \set{\emptyset, \set{\emptyset}}}$. Tenemos que $A^c=\set{x\in X: x\notin A}=\set{\set{\emptyset}, \set{\set{\emptyset}}}$.

En efecto, pues $\emptyset\in X$ y $\emptyset\in A$ por lo que $\emptyset\notin A^c$ pues no cumple la propiedad para ser elemento del conjunto $A^c$. Por su parte, $\set{\emptyset,\set{\emptyset}}$ tampoco es elemento de $A^c$ pues $\set{ \emptyset,\set{\emptyset}}\in X$ y $\set{ \emptyset,\set{\emptyset}}\in A$. Finalmente, $\set{\emptyset}$, $\set{\set{\emptyset}}\in X$ y $\set{\emptyset}$, $\set{\set{\emptyset}}\notin A$, por lo que $\set{\emptyset}$, $\set{\set{\emptyset}}\in A^c$.

$\square$

Observación. Para $A$ y $X$ conjuntos cualesquiera, $A^c= X\setminus A$.

Demostración.

En efecto, pues:

$X\setminus A=\set{x\in X: x\notin A}= A^c$.

$\square$

Si bien $A^c$ y $X\setminus A$ son lo mismo, hay que tomar en cuenta que en la notación $A^c$ no aparece $X$, y por lo tanto debe ser muy claro por el contexto quién es $X$. De no ser así, habría ambiguedades. Si $X$ queda claro, usualmente preferiremos usar $A^c$ pues es más breve. Además, cuando usamos $A^c$ pensaremos que $A\subseteq X$.

Resultados del conjunto complemento

Usaremos el siguiente resultado repetidamente para la demostración de propiedades posteriormente.

Proposición. Sean $A$, $B$, $X$ conjuntos, tales que $A$, $B\subseteq X$. Demuestra que $A\setminus B=A\cap (X\setminus B)$.

Demostración.

$\subseteq$] Sea $a\in A\setminus B$, entonces $a\in A$ y $a\notin B$. Como $a\in A\subseteq X$, entonces $a\in X$. Así, es cierto que $a\in A$ y ($a\in X$ y $a\notin B$), por lo que $a\in A$ y $a\in X\setminus B$ y por lo tanto, $a\in A\cap (X\setminus B)$.

Concluimos que $A\setminus B\subseteq A\cap (X\setminus B)$.

$\supseteq$] Sea $a\in A\cap(X\setminus B)$, entonces $a\in A$ y $a\in X \setminus B$. Entonces $a\in A$ y $a\in X$ y $a\notin B$, en particular, $a\in A$ y $a\notin B$. Así, $a\in A\setminus B$.

Por lo tanto, $A\cap (X\setminus B)= A\setminus B$.

$\square$

Veamos otras tres propiedades del complemento.

Proposición. Sean $A$ y $X$ conjuntos tales que $A\subseteq X$. Entonces se cumple lo siguiente:

a) $A\cap (X\setminus A)=\emptyset$,

b) $A\cup (X\setminus A)=X$,

c) $X\setminus(X\setminus A)= A$.

Demostración:

a) Supongamos que $A\cap(X\setminus A)\not=\emptyset$ en búsqueda de una contradicción. Entonces, existe $x\in A\cap(X\setminus A)$, de donde $x\in A$ y $x\in X\setminus A$.

Así, $x\in A$ y $x\in X$ y $x\notin A$. En particular, $x\in A$ y $x\notin A$ lo cual no puede ocurrir. Por lo tanto, $A\cap(X\setminus A)=\emptyset$.

b) Sea $x\in A\cup (X\setminus A)$, entonces $x\in A$ o $x\in X\setminus A$.

Caso 1: Si $x\in A$, entonces $x\in X$ pues $A\subseteq X$.

Caso 2: Si $x\in X\setminus A$, entonces $x\in X$ y $x\notin A$. En particular, $x\in X$.

En cualquier caso, $x\in X$. Por lo tanto, $A\cup (X\setminus A)\subseteq X$.

Por otro lado, supongamos que $x\in X$. Tenemos dos casos: $x\in A$ o $x\notin A$.

Caso 1: Si $x\in A$, entonces $x\in A\cup (X\setminus A)$.

Caso 2: Si $x\notin A$, entonces $x\in X$ y $x\notin A$ y así, $x\in X\setminus A$. Por lo tanto, $x\in A\cup(X\setminus A)$.

En cualquiera de los dos casos concluimos que $X\subseteq A\cup (X\setminus A)$.

Por lo tanto, $A\cup (X\setminus A)= X$.

c) Primero veamos que $A\subseteq X\setminus (X\setminus A)$. Sea $x\in A$, entonces $x\notin X\setminus A$. Por otro lado, $x\in X$ pues $A\subseteq X$.

Por lo que $x\in X$ y $x\notin X\setminus A$, es decir, $x\in X\setminus(X\setminus A)$. Esto concluye la prueba de que $A\subseteq X\setminus (X\setminus A)$.

Ahora, sea $x\in X\setminus (X\setminus A)$, entonces $x\in X$ y $x\notin X\setminus A$. Esto implica que $x\in X$ y ($x\notin X$ o $x\in A$). Como $x\in X$, entonces $x\notin X$ no es posible y así, $x\in A$. Por lo tanto, $X\setminus(X\setminus A)\subseteq A$.

Por lo tanto, $A=X\setminus (X\setminus A)$.

$\square$

Leyes de De Morgan

Las leyes de De Morgan nos dicen cómo se comportan los complementos de uniones e intersecciones. A continuación damos la versión para uniones e intersecciones de dos conjuntos. En los ejercicios tendrás que demostrar las versiones para uniones e intersecciones arbitrarias.

Teorema. Sean $A$, $B\subseteq X$, demuestra que:

  1. $X\setminus (A\cap B)= (X\setminus A)\cup (X\setminus B)$,
  2. $X\setminus (A\cup B)= (X\setminus A)\cap (X\setminus B)$.

Demostración.

  1. Se tiene $x\in X\setminus (A\cap B)$,
    si y sólo si $x\in X$ y $x\notin A\cap B$ por definición de complemento,
    si y sólo si $x\in X$ y ($x\notin A$ o $x\notin B$),
    si y sólo si ($x\in X$ y $x\notin A$) o $(x\in X$ y $x\notin B$),
    si y sólo si $x\in X\setminus A$ o $x\in X\setminus B$,
    si y sólo si $x\in (X\setminus A)\cup (X\setminus B)$.
    Por lo tanto, $X\setminus(A\cap B)=(X\setminus A)\cup (X\setminus B)$.
  2. Se tiene $x\in X\setminus (A\cup B)$,
    si y sólo si $x\in X$ y $x\notin A\cup B$ por definición de complemento,
    si y sólo si $x\in X$ y ($x\notin A$ y $x\notin B$),
    si y sólo si ($x\in X$ y $x\notin A$) y $(x\in X$ y $x\notin B$),
    si y sólo si $x\in X\setminus A$ y $x\in X\setminus B$,
    si y sólo si $x\in (X\setminus A)\cap (X\setminus B)$.
    Por lo tanto, $X\setminus(A\cup B)=(X\setminus A)\cap (X\setminus B)$.

$\square$

Tarea moral

  • Demuestra que para $X$ un conjunto cualquiera se cumple que $X\setminus \emptyset= X$.
  • Prueba que si $X$ un conjunto arbitrario, entonces $X\setminus X=\emptyset$.
  • Sean $A$, $B\subseteq X$ conjuntos. Prueba que $A\subseteq B$ si y sólo si $X\setminus B\subseteq X\setminus A$.
  • Muestra que si $A$ es un conjunto no vacío, entonces $(A\cup A)\setminus A\not=A\cup (A\setminus A)$.
  • Sea $X$ un conjunto y $F$ un conjunto tal que para todo $A\in F$ se tiene $A\subseteq X$. En este ejercicio tomaremos complemento con respecto a $X$.
    • Muestra que $G=\{A^c: A\in F\}$ es un conjunto, escribiéndolo apropiadamente como una aplicación del axioma de comprensión.
    • Muestra que $(\cup F)^c = \cap G$.
    • Supongamos que $F\neq \emptyset$. Muestra que $G$ es no vacío y que $(\cap F)^c = \cup G$.

Este último ejercicio son las leyes de De Morgan en general.

Más adelante…

En la siguiente entrada hablaremos acerca del álgebra de conjuntos, para ello retomaremos las operaciones entre conjuntos que definidas anteriormente. Así mismo, haremos uso de los resultados que probamos en esta sección acerca del complemento de un conjunto. Un poco después, definiremos una nueva operación entre conjuntos: la diferencia simétrica.

Entradas relacionadas

Entradas relacionadas:


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: Axiomas débiles

Por Gabriela Hernández Aguilar

2 respuestas

Introducción

A continuación hablaremos acerca de los axiomas débiles de la teoría de los conjuntos. Veremos que a partir de dichos axiomas y el esquema de comprensión, podemos deducir a los axiomas de existencia, del par, de unión y de conjunto potencia. Esto resulta ser de interés pues en los sistemas axiomáticos a veces tiene ventajas considerar los axiomas más debiles que siguen dando una teoría equivalente.

Axiomas débiles

Veamos qué nos dicen los axiomas débiles de la teoría de conjuntos:

  • Axioma débil de existencia. Existe un conjunto.
  • Axioma débil del par. Para cualesquiera $a,b$ existe un conjunto $c$ tal que $a\in c$ y $b\in c$.
  • Axioma débil de unión. Para cualquier conjunto $s$ existe un conjunto $U$ tal que si $x\in a$ y $a\in s$, entonces $x\in U$.
  • Axioma débil del conjunto potencia. Para cualquier conjunto $a$ existe un conjunto $p$ tal que si $x\subseteq a$ entonces $x\in p$.

Diferencias entre axiomas débiles y los axiomas

Notemos que hay ligeras diferencias con los axiomas que hemos visto hasta ahora, sin embargo, esto hace que no sean iguales.

El axioma débil de existencia nos asegura que existe al menos un conjunto, sin embargo, no necesariamente será el conjunto vacío.

Por su parte, para $a$ y $b$ conjuntos el axioma débil del par nos otorga un conjunto cuyos elementos serán $a$ y $b$, pero no necesariamente serán sus únicos elementos como en el caso del axioma del par.

Ejemplo.
Sean $a$ y $b$ conjuntos distintos y no vacíos. El axioma débil del par podría garantizarnos la existencia de, digamos, $c=\set{a, b, \emptyset}$. Tenemos que en efecto $a\in c$ y $b\in c$, sin embargo, $\emptyset\in c$. Por lo que, el conjunto que nos otorga el axioma débil del par no necesariamente resultar ser un par no ordenado que tiene exactamente a $a$ y $b$.

$\square$

El axioma débil de unión nos asegura que para cualquier conjunto $s$ existe un conjunto $U$ cuyos elementos serán los elementos de los elementos de $s$, sin embargo, $U$ puede tener elementos $x$ que no cumplan que $x\in a$ y $a\in s$.

Ejemplo.

Si $s=\set{\emptyset, \set{\emptyset}}$, el axioma débil del par podría garantizarnos la existencia de, digamos, $U=\set{\emptyset, b}$ con $b\not=\emptyset$. Pero esto no es lo mismo que la unión como la platicamos. Por un lado, $\emptyset\in \set{\emptyset}$ y $\set{\emptyset}\in s$, lo cual coincide con lo que hemos platicado, pero también $b\in s$, que podría darnos un elemento adicional que no teníamos.

$\square$

Finalmente, para el axioma débil del conjunto potencia pasa algo parecido. Si $a$ es un conjunto, el axioma nos otorga un conjunto $p$ cuyos elementos son aquellos que están contenidos en $a$, pero no necesariamente serán los únicos elementos del conjunto $p$.

Ejemplo.

Sea $a=\set{\emptyset}$. Quizás el conjunto garantizado por el axioma débil del conjunto potencia es $p=\set{\emptyset, \set{\emptyset}, \set{\set{\emptyset}}}$. Notemos que $\emptyset\subseteq a=\set{\emptyset}$ y $\set{\emptyset}\subseteq a=\set{\emptyset}$. Sin embargo, $\set{\set{\emptyset}}\not\subseteq a$ pues $\set{\emptyset}\in \set{\set{\emptyset}}$ pero $\set{\emptyset}\notin \set{\emptyset}$.

$\square$

Axioma débil de existencia y esquema de comprensión implican axioma de existencia.

Demostración.

Sea $A$ el conjunto que existe por axioma débil de existencia. Luego, por el esquema de comprensión tenemos que

$\set{x\in A: x\not=x}$

es conjunto.

Veamos que $\set{x\in A: x\not=x}$ no tiene elementos. Supongamos por contradicción que $\set{x\in A:x\not=x}$ tiene al menos un elemento, denotado como $y$. Entonces $y\in A$ y $y\not=y$, lo que es un absurdo pues para cualquier conjunto $z$, $z=z$. Así, $\set{x\in A:x\not=x}$ no tiene elementos, es decir, es el conjunto vacío.

$\square$

Axioma débil del par y esquema de comprensión implican axioma del par.

Demostración.

Sean $a$ y $b$ conjuntos. Sea $c$ el conjunto que existe por axioma débil del par. Luego, por el esquema de comprensión tenemos que

$\set{x\in c: x=a\vee x=b}$

es conjunto. Resulta que los únicos elementos de $\set{x\in c:x=a\vee x=b}$ son $a$ y $b$, pues si $z\in \set{x\in c:x=a\vee x=b}$, $z$ es tal que $z\in c$ y $z=a$ o $z=b$.

Observa que al añadir la propiedad de que $x=a$ o $x=b$, eliminamos todos aquellos conjuntos en $c$ que no son $a$ y no son $b$, de esta forma a partir del axioma débil del par obtenemos al conjunto que solo tiene a $a$ y $b$.

$\square$

Axioma débil de unión y esquema de comprensión implican axioma de unión.

Demostración.

Sea $a$ un conjunto y sea $d$ el conjunto que nos otorga el axioma débil de unión.

Luego, por el esquema de comprensión tenemos que

$U=\set{x\in d: \exists y\in a(x\in y)}$

es conjunto.

Observemos que los elementos de $\set{x\in d: \exists y\in a(x\in y)}$ coinciden con los elementos del conjunto que nos otorga el axioma de unión. Para ello, debemos verificar que se cumple lo siguiente: $x\in U$ si y sólo si existe $y\in a$ tal que $x\in y$. Así pues, si $x\in U$, entonces, $x\in d$ y existe $y\in a$ tal que $x\in y$ y, en consecuencia, podemos concluir que si $x\in U$, existe $y\in a$ tal que $x\in y$. Ahora bien, si tenemos un conjunto $x$ tal que existe $y\in a$ tal que $x\in y$, entonces, $x\in d$ por la propiedad que tiene el conjunto $d$ otorgado por el axioma débil de unión. De esta manera, $x\in U$, ya que $x\in d$ y existe $y\in a$ con $x\in y$.

$\square$

Tarea moral

La siguiente lista de ejercicios te ayudará a poner en práctica lo que hemos visto en esta sección pues ahora tú tendrás que dar algunos ejemplos distintos a los de esta entrada que nos permitan diferenciar a los axiomas débiles de los axiomas que conocemos de la teoría de los conjuntos:

  • Demuestra que se puede inferir el axioma del conjunto potencia del axioma débil del conjunto potencia y el esquema de comprensión.
  • Da otros ejemplos que muestren la diferencia entre el axioma débil del par y el axioma del par.
  • Da otros ejemplos que muestren la diferencia entre el axioma débil de unión y el axioma de unión.
  • Da otros ejemplos que muestren la diferencia entre el axioma débil del conjunto potencia y el axioma del conjunto potencia.

Más adelante…

En este momento hemos sentado las bases para nuestro curso de teoría de conjuntos. En la siguiente entrada comenzaremos a hablar acerca del complemento de un conjunto. Este nuevo conjunto también se tratará de una operación entre conjuntos. Sus resultados como las leyes de De Morgan, nos serán de gran utilidad para hacer álgebra de conjuntos.

Entradas relacionadas

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: El axioma de buena fundación

Por Gabriela Hernández Aguilar

2 respuestas

Introducción

En esta entrada hablaremos acerca del axioma de buena fundación. Este axioma nos permitirá decir cuándo un conjunto esta bien fundado, es decir, bien construido. Además daremos otro argumento para probar que la colección de todos los conjuntos no es un conjunto.

Acerca del axioma

Axioma de buena fundación. Para cualquier conjunto $X$ no vacío, existe $u\in X$ tal que $u\cap X=\emptyset$.

En los siguiente ejemplos no será necesario invocar al axioma de buena fundación pues tendremos a todos sus elementos escritos de manera explícita. Sin embargo, ayudarán a entender qué es lo que el axioma de buena fundación siempre garantiza que existe.

Ejemplos.

  • Sea $A=\set{\emptyset}$, el único elemento que tiene $A$ es $\emptyset$ y en efecto, $A\cap \emptyset=\emptyset$. Esto último ocurre pues no existe ningún conjunto $x$ tal que $x\in \set{\emptyset}$ y $x\in \emptyset$.
  • Consideremos al conjunto $B=\set{\emptyset, \set{\emptyset},\set{\set{\emptyset}}}$. Veamos que existe $u\in B$ tal que $u\cap B=\emptyset$. Dado que $B$ es un conjunto pequeño podemos explorar qué ocurre con cada uno de sus elementos:
    – Para $\emptyset\in B$ tenemos que $\emptyset\cap \set{\emptyset, \set{\emptyset},\set{\set{\emptyset}}}=\emptyset$.
    – Ahora, para $\set{\emptyset}\in B$ ocurre que $\set{\emptyset}\cap \set{\emptyset, \set{\emptyset},\set{\set{\emptyset}}}=\set{\emptyset}\not=\emptyset$. Por lo tanto, $\set{\emptyset}$ no es el conjunto que nos funciona.
    – Si consideramos $\set{\set{\emptyset}}\in B$ ocurre que $\set{\set{\emptyset}}\cap \set{\emptyset, \set{\emptyset},\set{\set{\emptyset}}}=\set{\set{\emptyset}}\not=\emptyset$. Por lo tanto, $\set{\set{\emptyset}}$ tampoco funciona.
    Por lo tanto, existe $u=\emptyset\in B$ tal que $u$ y $B$ no tienen elementos en común. Por el análisis de casos, este $u$ es único.
  • Tomemos $C=\set{\set{\emptyset}, \set{\emptyset,\set{\emptyset}}}$. Haciendo un análisis de los elementos del conjunto $C$ tenemos lo siguiente:
    – Para $\set{\emptyset}\in C$ tenemos que $\set{\emptyset}\cap \set{\set{\emptyset}, \set{\emptyset,\set{\emptyset}}}=\emptyset$ pues $\emptyset\in\set{\emptyset}$ pero $\emptyset\notin \set{\set{\emptyset}, \set{\emptyset,\set{\emptyset}}}$.
    – Ahora, para $\set{\emptyset,\set{\emptyset}}\in C$ ocurre que $\set{\emptyset,\set{\emptyset}}\cap \set{\set{\emptyset}, \set{\emptyset,\set{\emptyset}}}= \set{\set{\emptyset}}\not=\emptyset$. Por lo tanto, $\set{\emptyset}$ no es el conjunto que nos funciona.
    Por lo tanto, existe $u=\emptyset\in C$ tal que $u$ y $C$ no tienen elementos en común. Una vez más, este elemento es único.

$\square$

Conjuntos que no existen

El axioma de buena fundación juega un papel importante para decir qué conjuntos no pueden existir. Veamos los siguientes resultados:

Teorema. Para cualquier conjunto $x$, no es cierto que $x\in x$. Es decir, ningún conjunto puede pertenecer a sí mismo.

Demostración.
Supongamos que sí existe un conjunto $x$ tal que $x\in x$. Luego, $\set{x}$ es un conjunto por el axioma de par y es tal que $x\in \set{x}$.
De lo anterior, tenemos que $x\cap \set{x}\not=\emptyset$ pues $x\in x\cap\set{x}$. Esto último contradice al axioma de buena fundación, pues $x$ podría ser el único elemento en $\{x\}$ dado por dicho axioma. Dado que la contradicción vino de suponer que existe $x$ tal que $x\in x$, resulta que no existe un conjunto que haga tal cosa.

$\square$

Teorema. Sean $a$ y $b$ conjuntos no vacíos. No existen ciclos de la forma $a\in b\in a$.

Demostración.
Supongamos que sí existe algún ciclo de la forma $a\in b\in a$. Luego, por el axioma de par podemos considerar al conjunto $\set{a,b}$. Dado que $\set{a,b}$ es un conjunto pequeño podemos analizar qué pasa con cada uno de sus elementos:
– Para $a\in\set{a,b}$ tenemos que $a\cap\set{a,b}\not=\emptyset$ pues $b\in a$ y $b\in \set{a,b}$,
– Si tomamos a $b\in\set{a,b}$ tenemos que $b\cap\set{a,b}\not=\emptyset$ pues $a\in b$ y $a\in \set{a,b}$.

Sin embargo, en todas las posibilidades obtenemos una contradicción al axioma de buena fundación. Así, no existen ciclos de la forma $a\in b\in a$.

$\square$

Diferencias entre la pertencia y contención

Vistos estos teoremas, nos tomaremos el tiempo para establecer las diferencias que hay entre la contención y la pertenencia.

Por un lado, $a\subseteq a$ siempre ocurre para cualquier conjunto $a$, mientras que $a\in a$ ya vimos que es imposible.

Vimos que la contención es transitiva (ver Teoría de los Conjuntos I: Axioma de conjunto potencia), es decir, si $a\subseteq b$ y $b\subseteq c$, entonces $a\subseteq c$. Resulta que si $a\in b$ y $b\in c$, entonces $a\in c$ no siempre ocurre, es decir, la pertenencia no es transitiva.

Ejemplo.

Consideremos $a=\set{\emptyset}$,$b= \set{\set{\emptyset}}$ y $c=\set{\emptyset, \set{\set{\emptyset}}}$. Tenemos que $a\in b$ y $b\in c$, sin embargo, $a\notin c$.

$\square$

La colección de todos los conjuntos

Anteriormente, probamos con ayuda de la paradoja de Rusell que la colección que tiene como elementos a todos los conjuntos no es un conjunto. En esta sección, reforzaremos esta afirmación utilizando el axioma de buena fundación para demostrar una vez más que está colección no es un conjunto.

Proposición. Para cualquier conjunto $x$, $\mathcal{P}(x)\not\subseteq x$.

Demostración.

Supongamos que $\mathcal{P}(x)\subseteq x$, entonces para cualquier $y\in \mathcal{P}(x)$, $y\in x$. Dado que $x\subseteq x$, entonces $x\in \mathcal{P}(x)$. Así, $x\in x$ y lo cual contradice el primer teorema de la sección anterior. Por lo tanto, para cualquier conjunto $x$, $\mathcal{P}(x)\not\subseteq x$.

$\square$

Teorema. La colección de todos los conjuntos no es conjunto.

Demostración.

Supongamos que sí existe. Sea $V$ el conjunto de todos los conjuntos. Por axioma de conjunto potencia tenemos que $\mathcal{P}(V)$ es un conjunto y es tal que $\mathcal{P}(V)\not\subseteq V$. Así, existe $x\in \mathcal{P}(V)$ tal que $x\notin V$ lo que contradice que $V$ tiene a todos los conjuntos.

Por lo tanto, el conjunto de todos los conjuntos no existe.

$\square$

La intersección del conjunto vacío

Así como existen diversas formas de escribir al conjunto vacío, también hay varias formas de escribir a la colección de todos los conjuntos. Resulta que si queremos intersecar al conjunto vacío no obtenemos al vacío, sino que obtenemos a la colección de todos los conjuntos.

Afirmación. $\bigcap \emptyset$ no es un conjunto.

Demostración. Supongamos que $\bigcap\emptyset$ sí es un conjunto. Sea $x\in \bigcap\emptyset$, entonces para cualquier $y$ tal que $y\in \emptyset$ implica que $x\in y$. Sin embargo, $y\in \emptyset$ es falso para cualquier conjunto $y$ y por lo tanto, para cualquier $y$ tal que $y\in \emptyset$ implica que $x\in y$ es verdadero. (Ver tabla de verdad del conectivo implicación: Teoría de los Conjuntos I: Repaso sobre lenguaje de la Teoría de los Conjuntos)

Esto significa que cualquier conjunto que demos va a pertenecer a $\bigcap \emptyset$, es decir, este conjunto tiene como elementos a todos los conjuntos. Esto, como vimos arriba, es imposible.

$\square$

Tarea moral

  • Prueba que para $A_0,A_1, A_2,\cdots A_n$ conjuntos, el ciclo $A_0\in A_1\in A_2\in\cdots\in A_n\in A_0$ no existe (Estrictamente hablando, esta demostración requerirá que formalicemos estos «puntos suspensivos». De cualquier forma, intenta dar una demostración inductiva con lo que sabes de este tipo de demostraciones.)
  • Sea $A=\set{\set{\emptyset}, \set{\emptyset,\set{\emptyset}}, \set{\emptyset, \set{\emptyset, \set{\emptyset}}}}$. Exhibe $u\in A$ tal que $u\cap A=\emptyset$.
  • Sea $B=\set{\emptyset, \set{\emptyset}, \set{\emptyset,\set{\emptyset}}, \set{\emptyset, \set{\emptyset, \set{\emptyset}}}}$. Exhibe $u\in B$ tal que $u\cap B=\emptyset$.
  • Da otro ejemplo de una propiedad que describa a la clase de todos los conjuntos.
  • Prueba que para cualquier conjunto $X$, se tiene que $X\cap \emptyset=\emptyset$.

Más adelante…

En la siguiente entrada hablaremos acerca de los axiomas débiles de la teoría de los conjuntos. Así mismo veremos cómo dichos axiomas junto con el esquema de comprensión implican los axiomas que hemos visto hasta ahora. De modo que la siguiente entrada nos servirá para hacer un recordatorio sobre todo lo que hemos visto hasta este momento.

Entradas relacionadas


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=\bigcup\set{A,B}$

o bien,

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

Ejemplos.

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

$\square$

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 \set{A, B}$ tal que $x\in A$. Esto es, por definición de unión que $x\in \bigcup \set{A,B}=A\cup B$.

La unión es conmutativa

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

$\square$

Intersección

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

$A\cap B=\set{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. Se tiene que $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

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

es un conjunto.

Luego, $\set{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 \set{x\in A:x\in B}$.

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

$\square$

Ejemplos.

  1. Consideremos $A=\set{\emptyset}$ y $B=\set{\set{\emptyset}}$, tenemos que $A\cap B=\emptyset$ esto último debido a que no existe ningún elemento $x$ tal que $x\in \set{\emptyset}$ y $x\in\set{\set{\emptyset}}$ al mismo tiempo. De ocurrir, tendriamos que $x=\emptyset$ y $x=\set{\emptyset}$ y por lo tanto, $\emptyset=\set{\emptyset}$ lo cual sabemos que no ocurre. Por lo tanto, $A\cap B=\emptyset$.
  2. Sean $A=\set{\emptyset,\set{\emptyset}}$ y $B=\set{\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=\set{\emptyset}$.

$\square$

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:

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

Ejemplo.

Sea $A=\set{\set{\emptyset}, \set{\set{\emptyset}}, \set{\emptyset, \set{\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$.

$\square$

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\not=\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 $\set{x\in z: \forall y\in A(x\in y)}$ es conjunto por esquema de comprensión.

Resulta que $a\in \set{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 \set{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 \set{x\in z: \forall y\in A(x\in y)}$.

$\square$

Si observamos, para realizar la demostración anterior usamos el hecho de que $A\not=\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 $\bigcap A$.

Propiedades de la intersección

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

  1. $A\cap B\subseteq A$,
  2. $A\cap A=A$,
  3. $A\cap B=B\cap A$.

Demostración.

  1. 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$.
  2. 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$.
  3. $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$.

$\square$

Diferencia

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

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

Por esquema de comprensión $A\setminus 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.

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

Propiedades de la diferencia

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

  1. $A\setminus \emptyset= A$,
  2. $A\setminus A=\emptyset$,
  3. $A\setminus B=A\setminus (A \cap B)$.

Demostración.

  1. Sea $x\in A\setminus \emptyset$. Entonces $x\in A$ y $x\notin \emptyset$. En particular $x\in A$, por lo tanto $A\setminus \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\setminus \emptyset$ y así $A\subseteq A\setminus \emptyset$.
    De lo anterior tenemos que $A=A\setminus \emptyset$.
  2. Supongamos que $A\setminus A\not=\emptyset$, es decir, existe al menos un elemento $x\in A\setminus A$. Entonces $x\in A$ y $x\notin A$, lo cual no puede ocurrir. Dado que la contradicción provino de suponer que $A\setminus A\not=\emptyset$, concluimos que $A\setminus A=\emptyset$.
  3. Veamos que $A\setminus B=A\setminus (A \cap B)$.
    $\subseteq$] Sea $x\in A\setminus 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\setminus B\subseteq A\setminus(A\cap B)$.
    $\supseteq$] Sea $x\in A\setminus (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\setminus(A\cap B)\subseteq A\setminus B$.
    Por lo tanto, $A\setminus(A\cap B)= A\setminus B$.

$\square$

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 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 C$ entonces $A\cap B\subseteq C\cap D$.

Demuestra que $A\setminus 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

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»