Unión e intersección de conjuntos

Unión de conjuntos

Dados dos conjuntos $A$ y $B$ , la unión de $A$ y $B$ es $A \cup B = {x \in U | x \in A ó x \in B}$

imagen

La unión de $A$ y $B$ , es el conjunto de elementos $x$ de $U$ , tal que, $x$ pertenezca a $A$ , o que, $x$ pertenezca a $B$ .

La operación de unión es asociativa, conmutativa y tiene elemento neutro:

Conmutativa: $A \cup B = B \cup A$
Asociativa: $(A \cup B) \cup C = A \cup (B \cup C)$
Elemento neutro: $A \cup \emptyset = \emptyset \cup A = A$

La unión de dos conjuntos presentada anteriormente puede extenderse a varios conjuntos así la unión de un número finito de conjuntos viene dada por "uniones sucesivas": $A_{1} \cup \dots \cup A_{n} = ((A_{1} \cup A_{2}) \cup \dots) \cup A_{n})$

Debido a la propiedad asociativa cualquier orden de "emparejamientos" para realizar la unión conduce al mismo resultado. La unión de conjuntos puede generalizarse también para contemplar la unión de un número infinito de conjuntos $A_{k}$ . En ese caso se define: $\cup_{k} A_{k} = {x \in U | \exists k : x \in A_{k}$

Intersección de conjuntos

Dados dos conjuntos $A$ y $B$ , definimos su intersección como $A \cap B = {x \in U | x \in A y x \in B}$

imagen

La intersección de $A$ y $B$ , es el conjunto de elementos $x$ de $U$ , tal que, $x$ pertenezca a $A$ , y que, $x$ pertenezca a $B$ .

La operación intersección es conmutativa, asociativa, tiene elemento neutro e inverso:

Conmutativa: $A \cap B = B \cap A$
Asociativa: $(A \cap B) \cap C = A \cap (B \cap C)$
Elemento neutro: $A \cap \emptyset = \emptyset \cap A = \emptyset$
Elemento inverso: $A \cap A^{c} = A^{c} \cap A = \emptyset$ , donde $A^{c}$ representa el concepto "complementario".

A continuación, hay unas propiedades que se cumplen entre las intersecciones y las uniones.

$A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$

$(B \cup C) \cap A = (B \cap A) \cup (C \cap A)$ (propiedad distributiva respecto de la unión)

$A \cup (A \cap B) = A = A \cap (A \cup B)$ (ley de absorción)

La intersección de dos conjuntos puede extenderse a un número cualquiera de conjuntos $A_{1} \cap \dots \cap A_{n} = ((A_{1} \cap A_{2}) \cap \dots) \cap A_{n})$

Debido a la propiedad asociativa cualquier orden de "emparejamientos" para realizar la unión conduce al mismo resultado. La unión de conjuntos puede generalizarse también para contemplar la unión de un número infinito de conjuntos $A_{k}$ . En ese caso se define $\cap_{k} A_{k} = {x \in U | \forall k : x \in A_{k}}$

Para terminar, dos conjuntos se llaman disjuntos si su intersección es nula.