4 votos

Bolas cerradas de medición

Que $(X,\parallel \cdot \parallel)$ ser Banach y $$\mathcal{BC}(X)={A\subset X\colon A \text{ is closed, bounded and non-empty}}.$% $ de d_H de $ The natural metric on this space is the Hausdorff distance $(ver http://en.wikipedia.org/wiki/Hausdorff_distance)

Sea $C_x(r)$ la bola cerrada alrededor de $x\in X$ % radio $r$. ¿Cómo puedo mostrar el mapa $f\colon X\to\mathcal{BC}(X)$ $f(x)=C_x(r)$ ¿Dónde está w.r.t. continua $d_H$?

¿Y el mapa $g\colon X\to\mathbf{R}$ $g(x)=\mu(C_x(R))$ Borel medible Borel medida $\mu$?

1voto

goric Puntos 5230

Deje $x_1,x_2\in X$ $r_1,r_2>0$ $\|x_1-x_2\|\leq \varepsilon/2$ y $|r_1-r_2|\leq \varepsilon/2$. Vamos a obligado a la distancia entre el dos cerrados bolas $C_1:=C_{x_1}(r_1)$$C_2:=C_{x_2}(r_2)$.

Deje $w\in C_1$. Si $w\in C_2$,$\inf_{z\in B_2} \|w-z\|=0$. Supongamos que $w\notin C_2$, $\|w-x_2\| > r_2$. Entonces tenemos $$r_2\leq \|w-x_2\|\leq \|w-x_1\|+\|x_1-x_2\|\leq r_1+\varepsilon/2 \leq r_2+\varepsilon.$$

Dejando $w^*=x_2+{r_2\over \|w-x_2\|} (w-x_2)$ tenemos $w^*\in B_2$ y $\|w-w^*\|\leq \|w-x_2\|-r_2\leq \varepsilon.$ por lo $\inf_{z\in B_2} \|w-z\|\leq \varepsilon.$

La combinación de los dos casos, y tomando el supremum $w\in C_1$, podemos deducir que $\sup_{w\in C_1}\inf_{z\in C_2} \|w-z\|\leq \varepsilon$. Por simetría llegamos $d_H(C_1,C_2)\leq \varepsilon$.

A partir de esto se puede demostrar que los $(x,r)\mapsto B_x(r)$ conjuntamente continua de$X\times (0,\infty)$$\mathcal{BC}(X)$. Esto es un poco más fuerte que el resultado que quería.


Desde $C_x(R)=x+C_0(R)$, la segunda pregunta es respondida aquí: Cómo probar que $f (x) = \mu (x + B)$ es medible? suponiendo que $\mu$ es un valor no negativo, finito medida.

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