[obm-l] Uma prova simples para a seguinte afirmação

["498 - Artur Costa Steiner" <artur@xxxxxxxxxxxxx>]

Este teorema é um daqueles em que a intuição funciona, mas para o qual 
não consigo dar uma prova simples, conforme um garoto de 15 anos me 
pediu:

Seja A um subconjunto de um espaço euclidiano Rn. Se A não possuir 
pontos de acumulação, então A é numerável. (Observemos que em outros 
espaços isto pode ser falso, mas estou me detendo em Rn com a métrica 
euclidiana.)

De fato, parece óbvio, mas a prova que conheço exige o conhecimento de 
alguns conceitos um pouco mais avançados de espaços métricos, como 
separabilidade.

Obrigado
Artur
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
O administrador desta lista é <nicolau@mat.puc-rio.br>
=========================================================================