Foro de preguntas y respuestas de matemáticas, de cualquier nivel. Cuánto más interesantes, divertidas o intrépidas, mejor.
Aviso: Te invitamos a conocer la página de Facebook de la UCIM

Ganas puntos al hacer preguntas, contestarlas y, sobre todo, si tu respuesta es seleccionada como la mejor.
Registrate como usuario para participar en el foro. También puedes utilizar tu identidad de FB Utiliza el botón azul para ingresar (si usas tu identidad de FB y estás logeado en FB, automáticamente te reconoce).

El irracional tiene una página en FB. El Irracional






+3 votos
Sea $K\subseteq\mathbb R^n$ compacto y $\{B_j\}$ un conjunto de bolas abiertas que cubren a $K$. Muestre que existe un $\varepsilon>0$ tal que toda bola de radio $\varepsilon$ con centro en algún punto de $K$ está totalmente contenida en alguna de las $B_j$.
por (15,5m puntos) en Problemas
Voy a re-leer el Teorema de la Cubierta de Lebesgue :/

1 Respuesta

+3 votos
 
Mejor respuesta
Como $K$ es compacto entonces existen $j_{1}, j_{2}, \ldots, j_{n}$ tales que

$$K \subseteq \bigcup_{\ell=1}^{n} B_{j_{\ell}}.$$

De esto se sigue que para cada $x \in K$ existen $j_{x} \in \{j_{1}, \ldots, j_{n}\}$ y $\epsilon_{x} > 0$ tales que

$$B_{\epsilon_{x}}(x) \subseteq B_{j_{x}}.$$

Puesto que $\left\{B_{\frac{1}{2}\epsilon_{x}}(x): x\in K\right\}$ es también una cubierta abierta de $K$ entonces existen $x_{1}, x_{2}, \ldots, x_{m} \in K$ tales que

$$K \subseteq \bigcup_{\ell=1}^{m} B_{\frac{1}{2}\epsilon_{x_{\ell}}}(x_{\ell}).$$

Tenemos así que si $\epsilon := \frac{1}{2}\min_{1\leq \ell \leq m} \{\epsilon_{x_{\ell}}\}$ entonces la conclusión deseada se cumple. En efecto, pues si $x \in K$ entonces $x \in B_{\frac{1}{2}\epsilon_{x_{\ell}}}(x_{\ell})$ para algún $\ell \in \{1, 2\ldots, m\}$ y por consiguiente

$$B_{\epsilon}(x) \subseteq B_{\epsilon_{x_{\ell}}}(x_{\ell}) \subseteq B_{j_{x_{\ell}}}.$$
por (39,6m puntos)
seleccionada por
Esta es distinta de las que me sabía... bonita respuesta.
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...