Operaciones Generalizadas de Conjuntos
Unión e intersección generalizada para familias de conjuntos indexados.
Definición: Unión Generalizada
Definición (Unión generalizada):
Sean $I$ un conjunto y $\{A_i\}_{i\in I}$ una familia de conjuntos, se define la unión generalizada por
$$\bigcup_{i\in I} A_i = \{x: x\in A_i\text{ para algún }i\in I\}.$$La unión generalizada de una familia de conjuntos $\{A_i\}_{i\in I}$ es el conjunto que contiene todos los elementos que pertenecen a al menos uno de los conjuntos de la familia.
Esto es una extensión natural de la unión de dos conjuntos $A \cup B$ a una cantidad arbitraria (posiblemente infinita) de conjuntos.
Definición: Intersección Generalizada
Definición (Intersección generalizada):
Sean $I$ un conjunto y $\{A_i\}_{i\in I}$ una familia de conjuntos, se define la intersección generalizada por
$$\bigcap_{i\in I} A_i = \{x: x\in A_i\text{ para todo }i\in I\}.$$La intersección generalizada de una familia de conjuntos $\{A_i\}_{i\in I}$ es el conjunto que contiene todos los elementos que pertenecen a todos los conjuntos de la familia.
Esto es una extensión natural de la intersección de dos conjuntos $A \cap B$ a una cantidad arbitraria (posiblemente infinita) de conjuntos.
Notación Especial
Si $I=\{0,1,\ldots,n\}$, entonces utilizamos las siguientes notaciones:
$$\bigcup_{i=0}^n A_i = \bigcup_{i\in I} A_i \quad \text{ y } \quad \bigcap_{i=0}^n A_i = \bigcap_{i\in I} A_i.$$Proposición: Leyes de De Morgan Generalizadas
Proposición:
Dados $I$ un conjunto y $\{A_i\}_{i\in I}$ una familia de conjuntos, se tiene que:
- $\displaystyle\left(\bigcup_{i\in I} A_i\right)^c = \bigcap_{i\in I} A_i^c$;
- $\displaystyle\left(\bigcap_{i\in I} A_i\right)^c = \bigcup_{i\in I} A_i^c$.
Estas son las Leyes de De Morgan generalizadas. Nos dicen que:
- El complemento de la unión es la intersección de los complementos
- El complemento de la intersección es la unión de los complementos
Estas propiedades extienden las leyes clásicas de De Morgan a familias arbitrarias de conjuntos.
Ejercicio 1
Determine el siguiente conjunto:
$$\displaystyle \bigcup_{n\in \mathbb{N}^*} [0, n].$$
Ejercicio 2
Determine el siguiente conjunto:
$$\displaystyle \bigcup_{n\in \mathbb{N}^*} [0, 1-1/n].$$
Ejercicio 3
Determine el siguiente conjunto:
$$\displaystyle \bigcap_{n\in \mathbb{N}^*} [0, 1/n].$$
Ejercicio 4
Determine el siguiente conjunto:
$$\displaystyle \bigcap_{n\in \mathbb{N}^*} ]0, 1/n].$$