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:

  1. $\displaystyle\left(\bigcup_{i\in I} A_i\right)^c = \bigcap_{i\in I} A_i^c$;
  2. $\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].$$