Autor Tema: Probar que no es compacto

0 Usuarios y 1 Visitante están viendo este tema.

18 Mayo, 2021, 04:18 pm
Leído 795 veces

cristianoceli

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 806
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
Hola tengo dudas con este ejercicio:

Consideremos el espacio métrico \( \mathbb{Q} \) de números racionales con la distancia Euclidiana. Pruebe que

$$K= \{ x\in \mathbb{Q} |  0 \leq{x} \leq{\sqrt[ ]{2}} \}$$

Es cerrado acotado pero no compacto.

Según lo que veo que es cerrado y acotado e scasi inmediato pero no logro demostrar que sea compacto. Tengo entendido que es compacto si todo recubrimiento admite un recubrimiento finito

Saludos



18 Mayo, 2021, 04:33 pm
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 49,834
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola

Consideremos el espacio métrico \( \mathbb{Q} \) de números racionales con la distancia Euclidiana. Pruebe que

$$K= \{ x\in \mathbb{Q} |  0 \leq{x} \leq{\sqrt[ ]{2}} \}$$

Es cerrado acotado pero no compacto.

Según lo que veo que es cerrado y acotado e scasi inmediato pero no logro demostrar que sea compacto. Tengo entendido que es compacto si todo recubrimiento admite un recubrimiento finito

Para ver que NO es compacto basta que muestres un recubrimiento por abiertos del cuál no puedas extraer un subrecubrimiento finito.

Toma por ejemplo \( U_n= \{ x\in \mathbb{Q} |  0 <x< \sqrt[ ]{2}-\dfrac{1}{n} \} \); prueba que son abiertos, que recubren \( K \) y que no puedes extraer un subrecubrimiento finito.

Saludos.