3 votos

La unión de los barrios de medir conjunto es medible.

Si $E\subseteq\mathbb{R}$ es Lebesgue medible, muestran que $$F=\bigcup_{x\in E}[x-1,x+1]$$ también es Lebesgue medible.

Mi solución: la distancia 'a E' la función $$\rho(x) = \inf\limits_{y\in E}|x-y|$$ es continua y por lo tanto medible, por lo tanto $\rho^{-1}([0,1))$ es medible. El resto de los puntos en $F$ (aquellos con $\rho(x) = 1$) forman un conjunto de medida cero, porque están aislados.

Estoy buscando soluciones alternativas y, por supuesto, cualquier corrección a mi solución.

2voto

Leon Katsnelson Puntos 274

Me puede faltar algo, pero no se puede escribir $E+[-1,1] = (E+\{-1\}) \cup (E + (-1,1)) \cup (E+\{+1\})$?

Desde $E$ es medible, por lo que son $E+\{-1\}$, $E+\{+1\}$, y ya $(-1,1)$ es abierto, por lo que es $E + (-1,1)$ (por lo tanto medibles).

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X