Autor Tema: ¿Todo conjunto X incluido en R contiene un subconjunto numerable denso en X?

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

22 Enero, 2022, 08:46 pm
Leído 252 veces

blnrcc

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 17
  • País: uy
  • Karma: +0/-0
¿Cómo demostrar que todo conjunto \( X \) incluido en \( \Bbb R \) contiene un subconjunto numerable denso en \( X \)?

Gracias!

22 Enero, 2022, 10:48 pm
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 51,826
  • País: es
  • Karma: +0/-0
Hola

¿Cómo demostrar que todo conjunto \( X \) incluido en \( \Bbb R \) contiene un subconjunto numerable denso en \( X \)?

Se supone que \( X \) es infinito. Considera una enumeración del los racionales, \( \{x_n\} \). Para cada \( x_n \) la familia de entornos \( U_{nm}=(x_n-1/m,x_n+1/m) \) con \( m\in \Bbb N \). Son una base de la topología usual.

Para cada \( m,n \) toma un punto \( x_{n,m}\in X\cap U_{nm} \) si  la intersección es no vacía. Si la intersección es vacía toma \( x_{n,m} \) un punto cualquiera de \( X \).

Toma \( A=\{x_{n,m}|n,m\in \Bbb N\} \). Es numerable por que \( \Bbb N\times \Bbb N \) es numerable. Comprueba que es denso en \( X \).

Saludos.