Matemáticas/Teoría de conjuntos/Intuitiva/Unión e intersección de conjuntos

Plantilla:AutoCat 1.3.1. Las operaciones entre conjuntos consisten en tomar ciertos elementos de uno y ciertos de otro para formar con ellos nuevos conjuntos. Así, por ejemplo, si $x$ e $y$ son dos conjuntos, la unión de $x$ e $y$ es el conjunto

$x\cup y=\{a\mid a\in x$ o $a\in y\}$.

Esto es, $x\cup y$ consiste de todos los elementos que están ya sea en $x$, ya sea en $y$, ya sea en ambos $x$ e $y$. La unión se representa por el área sombreada en el diagrama siguiente:

$x\cup y$

Sean $x$, $y$ y $z$ conjuntos cualesquiera. Se cumplen las propiedades siguientes:

( U-1 ) $x\cup x=x$ (idempotencia)

( U-2 ) $x\cup \varnothing =x$ (identidad)

( U-3 ) $x\cup y=y\cup x$ (conmutatividad)

( U-4 ) $x\cup (y\cup z)=(x\cup y)\cup z$ (asociatividad)

( U-5 ) $x\subseteq x\cup y$

( U-6 ) $x\subset y$ si y solo si $x\cup y=y$

Estas propiedades son fácilmente demostrables. Veamos la demostración de ( U-2 ) y ( U-6 ):

( U-2 ) Hay que demostrar que todo elemento de $x\cup \varnothing$ es elemento de $x$ (demostrar que $x\cup \varnothing \subseteq x$) y que, recíprocamente, todo elemento de $x$ es elemento de $x\cup \varnothing$ (demostrar que $x\subseteq x\cup \varnothing$). Si $a\in x\cup \varnothing$, entonces $a\in x$ o $a\in \varnothing$, de lo que solo puede ser $a\in x$. Recíprocamente, si $a\in x$, entonces $a\in x\cup \varnothing$. Por tanto $x\cup \varnothing =x$.

( U-6 ) Supóngase que $x\subseteq y$ pero que $x\cup y\ne y$. Entonces, en particular, existe $a\notin y$ tal que $a\in x\cup y$, pero si esto es cierto, $a\in x$, lo que contradice el hecho de que $x\subseteq y$. Recíprocamente, si $x\cup y=y$, entonces de ( U-5 ) se sigue el resultado deseado.

1.3.2. La intersección de dos conjuntos $x$ e $y$ se define como el conjunto

$x\cap y=\{a\mid a\in x\text{y}a\in y\}$.

Es decir, $x\cap y$ es el conjunto formado por todos los elementos que están tanto en $x$ como en $y$. La intersección se representa por el área sombreada en el diagrama siguiente :

$x\cap y$

Sean $x$, $y$ y $z$ conjuntos cualesquiera

( I-1 ) $x\cap x=x$ (idempotencia)

( I-2 ) $x\cap \varnothing =\varnothing$

( I-3 ) $x\cap y=y\cap x$ (conmutatividad)

( I-4 ) $x\cap (y\cap z)=(x\cap y)\cap z$ (asociatividad)

( I-5 ) $x\cap y\subseteq x$

( I-6 ) $x\subseteq y$ si y solo si $x\cap y=x$

Además, se cumplen las siguientes leyes distributivas:

( UI-1 ) $x\cup (y\cap z)=(x\cup y)\cap (x\cup z)$

( UI-2 ) $x\cap (y\cup z)=(x\cap y)\cup (x\cap z)$

1.3.3. Si $x$ e $y$ son dos conjuntos tales que $x\cap y=\varnothing$ (i.e. si $x$ e $y$ no tienen elementos en común) se dice que $x$ e $y$ son conjuntos disjuntos.

1.3.4. Las operaciones de unión e intersección pueden generalizarse. Si $C$ es una colección (conjunto) de conjuntos, la unión de los conjuntos de $C$ puede definirse como el conjunto

$\bigcup _{x\in C}x=\{a\mid \mathrm{e}\mathrm{x}\mathrm{i}\mathrm{s}\mathrm{t}\mathrm{e}x\in C\mathrm{t}\mathrm{a}\mathrm{l}\mathrm{q}\mathrm{u}\mathrm{e}a\in x\}$.

Así, $a\in \bigcup _{x\in C}x$ si y solo si existe por lo menos un conjunto $x$ en $C$ que contenga al elemento $a$. Como caso particular, tenemos

$\bigcup \{x,y\}=x\cup y$.

1.3.5. De manera similar, la intersección de los conjuntos de una colección $C$ se define por

$\bigcap _{x\in C}x=\{a\mid \mathrm{p}\mathrm{a}\mathrm{r}\mathrm{a}\mathrm{t}\mathrm{o}\mathrm{d}\mathrm{o}x\in C,a\in x\}$.

Por tanto, $a\in \bigcap _{x\in C}x$ si $a\in x$ para todo conjunto $x$ de $C$ (i.e. $\bigcap _{x\in C}x$ consiste de los elementos que están en todo conjunto de $C$). Como caso particular, tenemos

$\bigcap \{x,y\}=x\cap y$.

1.3.6. Nótese que, de acuerdo a la definición anterior, si $C=\varnothing$, entonces, puesto que en ese caso $x\in \varnothing$ implica $a\in x$ para cualquiera que sea el conjunto $x$ y el elemento $a$, el conjunto $\bigcap C$ lo contiene todo.

---

Capítulo anterior: Notación de conjuntos y el conjunto vacío Capítulo siguiente: Diferencia de conjuntos y conjuntos complementarios