Este problema tem uma solucao simples, mas
eu gostaria de saber se alguem tem uma prova diferente da que encontrei.
Seja (r_n, n=1,2,3...) uma enumeracao
qualquer dos irracionais e seja I_n o intervalo dado por I_n = (r_n - 1/n^2 ,
r_n + 1/n^2). Sendo D = { x em R | x pertence a uma infinidade de intervalos
I_n}, entao D tem interior vazio.
Eu encontrei esta solucao simples porque eu
conhecia uma conclusao correlata.
Artur
