Fórum de Matemática
DÚVIDAS? Nós respondemos!

Preciso provar que um subespaço discreto da reta de Sorgenfrey é enumerável.
Pensei em usar o fato de que todo subconjunto discreto de R é enumerável, mas não sei se é o melhor modo de proceder.

O jeito para provar se um certo conjunto é enumerável é encontrar uma função bijetiva do conjunto dos naturais para o conjunto que se quer provar. Se encontrar a função, então o conjunto é numerável.