2 votos

Subconjunto denso del espacio de medidas que respeta una norma más fuerte

Dejemos que $M(\mathbb R)$ el espacio de medidas complejas de Borel con la norma $\Vert \mu \Vert = \vert \mu \vert(\mathbb R)$ , donde $\vert \mu \vert$ es la variación total de $\mu$ . Ahora considere para $\alpha \geq 0$ la norma $$ \Vert \mu \Vert_{\alpha} := \int_{\mathbb R} e^{\alpha \vert s \vert} \, \vert \mu \vert (ds)$$ en el espacio $M_\alpha(\mathbb R):= \{\mu \in M(\mathbb R): \Vert \mu \Vert_{\alpha} < \infty\}$ . Quiero demostrar que el conjunto de medidas con soporte compacto $M_c(\mathbb R)$ son densos en $M_\alpha(\mathbb R)$ (que es un álgebra de Banach).

No tengo ninguna idea concreta de cómo conseguirlo. Sé que $M_c(\mathbb R)$ es denso en $M(\mathbb R)$ y que $\Vert \mu \Vert \leq \Vert \mu \Vert_{\alpha}$ para todos $\mu \in M_\alpha(\mathbb R)$ . Pero no veo cómo obtener el resultado de esto.

2voto

David C. Ullrich Puntos 13276

Dado $\mu\in M_\alpha$ se puede construir una secuencia de medidas con soporte compacto que convergen a $\mu$ de la manera más obvia imaginable: Dejemos que $d\mu_n=\chi_{[-n,n]}d\mu$ . En otras palabras, definir $$\mu_n(E)=\mu(E\cap[-n,n]).$$

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