[mg]

Se me viene a la cabeza esta pregunta porque trato de demostrar lo siguiente. Si \( E_1, ...,E_n \) son conjuntos medibles en un espacio de medida entonces \( \mu(\displaystyle\bigcup_j^{n}E_j)=\displaystyle\sum_{j=1}^n{\mu(E_j)} \). En mi definición de medida dice que dada una sucesión infinita numerable de conjuntos medibles disjuntos entonces la medida de su unión infinita es la suma infinita de las medidas. Por tanto, pensé en montar la sucesión de conjuntos \( E_1,...,E_n,E_{n+1},... \) donde \( E_m=\emptyset \) para todo \( m>n \), de modo que ya si que puedo usar la definición de medida.

Un saludo.

[Luis Fuentes]

Hola

Se me viene a la cabeza esta pregunta porque trato de demostrar lo siguiente. Si \( E_1, ...,E_n \) son conjuntos medibles en un espacio de medida entonces \( \mu(\displaystyle\bigcup_j^{n}E_j)=\displaystyle\sum_{j=1}^n{\mu(E_j)} \).

Supongo que te falta en las hipótesis decir que los conjuntos son disjuntos dos a dos; en otro caso el resultado es falso.

En mi definición de medida dice que dada una sucesión infinita numerable de conjuntos medibles disjuntos entonces la medida de su unión infinita es la suma infinita de las medidas. Por tanto, pensé en montar la sucesión de conjuntos \( E_1,...,E_n,E_{n+1},... \) donde \( E_m=\emptyset \) para todo \( m>n \), de modo que ya si que puedo usar la definición de medida.

Si. Es cierto que el vacío es disjunto con cualquier otro conjunto (también consigo mismo). Por definición dos conjuntos \( A,B \) son disjuntos si \( A\cap B=\emptyset. \) Pero \( \emptyset\cap B=\emptyset \) para cualquier conjunto \( B \), luego el vacío es disjunto con cualquier \( B \).

Saludos.

[mg]

Hola

Se me viene a la cabeza esta pregunta porque trato de demostrar lo siguiente. Si \( E_1, ...,E_n \) son conjuntos medibles en un espacio de medida entonces \( \mu(\displaystyle\bigcup_j^{n}E_j)=\displaystyle\sum_{j=1}^n{\mu(E_j)} \).

Supongo que te falta en las hipótesis decir que los conjuntos son disjuntos dos a dos; en otro caso el resultado es falso.

En mi definición de medida dice que dada una sucesión infinita numerable de conjuntos medibles disjuntos entonces la medida de su unión infinita es la suma infinita de las medidas. Por tanto, pensé en montar la sucesión de conjuntos \( E_1,...,E_n,E_{n+1},... \) donde \( E_m=\emptyset \) para todo \( m>n \), de modo que ya si que puedo usar la definición de medida.

Si. Es cierto que el vacío es disjunto con cualquier otro conjunto (también consigo mismo). Por definición dos conjuntos \( A,B \) son disjuntos si \( A\cap B=\emptyset. \) Pero \( \emptyset\cap B=\emptyset \) para cualquier conjunto \( B \), luego el vacío es disjunto con cualquier \( B \).

Saludos.

Si, conjuntos disjuntos. Gracias por la respuesta.