[obm-l] Re: [obm-l] Re:[obm-l] Conjunto Enumer�vel

[Artur Costa Steiner <artur@xxxxxxxxxxxxx>]

Na realidade, esta conclusao naum pode ser extendida para espacos gerais,
ainda que metricos. Consideremos, por exemplo, R com a metrica discreta,
dada por d(x,y) = 1, se x<>Y, e =0 se x =y. Eh facil ver que bolas abertas
de raio <=1 contem exclusivamente o seu centro. Logo, nenhum elemento de R
eh ponto de acumulacao, o que torna R discreto nesta metrica. Mas R continua
naum sendo enumeravel.
Artur


Para Rn, por exemplo, eu posso generalizar dizendo que vai existir uma
familia de n-Bolas disjuntas, cada uma incluindo pelo menos um ponto de A?

Da�, o meu raciocinio seria o seguinte:
Como cada ponto em A � um ponto isolado, conclui-se que cada n-Bola conter�
uma quantidade finita de elementos em A. Sabe-se que todo conjunto finito �
enumer�vel e que a uni�o deles tamb�m �, o que completa a prova.

Est� certo?


"claudio.buffara" <claudio.buffara@terra.com.br> wrote:
Suponha que o conjunto discreto A seja um subconjunto de R. A generalizacao
para espacos mais gerais eh facil.

Como A eh discreto, vai existir uma familia de intervalos abertos, disjuntos
dois a dois, cada um dos quais cobre exatamente um ponto de A. Em cada um
desses intervalos, tome um ponto racional. Isso define uma funcao injetora
F: A -> Q. Como Q eh enumeravel, A tambem serah.

[]s,
Claudio.

De:owner-obm-l@mat.puc-rio.br

Para:obm-l@mat.puc-rio.br

C�pia:

Data:Sat, 3 Jul 2004 19:19:33 -0300 (ART)

Assunto:[obm-l] Conjunto Enumer�vel

  

Como fa�o pra provar que todo conjunto discreto � enumer�vel?
Eu sei que conjuntos discretos s�o formados apenas por pontos isolados, isto
�, pontos que n�o s�o de acumula��o. E sei tamb�m que se um conjunto B �
enumer�vel, ent�o existe uma fun��o bijetora f que vai de N (naturais) em B.

Algu�m pode me ajudar?


Yahoo! Mail agora ainda melhor: 100MB, anti-spam e antiv�rus gr�tis! 


Yahoo! Mail agora ainda melhor: 100MB, anti-spam e antiv�rus gr�tis! 

________________________________________________
OPEN Internet
@ Primeiro provedor do DF com anti-v�rus no servidor de e-mails @


=========================================================================
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
=========================================================================