2 votos

Demuestre que un espacio métrico compacto $X$ es localmente compacto

Supongamos que $X$ es un espacio métrico compacto, es decir, por definición, toda secuencia en $X$ tiene una subsecuencia convergente.

Localmente compacto significa que cada punto de $X$ tiene una vecindad compacta. Es decir, para cada punto de $x \in X$ podemos encontrar una bola abierta para la que cada secuencia tiene una subsecuencia convergente.

Así que ahora lo que tengo que hacer es tomar una secuencia arbitraria $(x_{n})$ en una bola alrededor de $x_0 \in X$ y demostrar que tiene una subsecuencia convergente. ¿Cómo lo hago?

3voto

Jendrik Stelzner Puntos 4035

Como sólo quiere algún barrio compacto de $x \in X$ puedes tomar todo el espacio $X$ mismo. Obsérvese que, como los espacios métricos compactos están acotados, se trata también de una bola abierta centrada en $x$ .

A menudo es la única opción para un barrio compacto de $x$ que también es una bola abierta: Como todo subconjunto compacto de un espacio métrico es cerrado (porque los espacios métricos son Hausdorff) toda bola de este tipo debe ser clopen. Por tanto, si $X$ está conectado, por ejemplo $X = [0,1]$ No tenemos otra opción.


Creo que es importante señalar que su definición de una compacidad local no requieren la vecindad compacta de $x$ para ser un balón abierto, lo que usted (incorrectamente) parece asumir.

Esta suposición no sólo dificulta el problema dado, sino que puede fallar para espacios no compactos: Tomemos por ejemplo la recta real $\mathbb{R}$ con la métrica euclidiana estándar. Se trata de un espacio métrico localmente compacto (para cada $x \in \mathbb{R}$ el conjunto $[x-1,x+1]$ es una vecindad compacta de $x$ ), pero como $\mathbb{R}$ está conectada encontramos por la argumentación anterior que una bola compacta y abierta centrada en $x \in \mathbb{R}$ tendría que ser todo el espacio, lo cual es absurdo.


También me gustaría señalar que un espacio métrico compacto $X$ ya satisface la definición alternativa y más fuerte de un espacio localmente compacto, a saber, que cada $x \in X$ tiene una base de vecindades compactas, es decir, que cada vecindad $U$ de $x$ contiene una vecindad compacta. Para ver esto, observe que existe algún $\varepsilon > 0$ con $B_{2\varepsilon}(x) \subseteq U$ por lo que $\overline{B_{\varepsilon}(x)} \subseteq U$ . Este es un barrio de $x$ ya que contiene $B_{\varepsilon}(x)$ y como subconjunto cerrado del espacio compacto $X$ es compacto en sí mismo.

0voto

Henry W Puntos 1808

Puedes dejar que la bola abierta sea cualquier bola abierta, y como $X$ es una métrica compacta, toda secuencia en esa bola abierta tiene una subsecuencia convergente. Esto es bastante trivial.

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