On Tue, Jul 11, 2006 at 06:03:55PM -0300, Nicolau C. Saldanha wrote:
...
> > Vimos que, se para algum k tivermos A_k enumeravel, entao A eh enumeravel.
> > Eu ouvi um top dog afirmar (mas nao vi a demonstracao) de que se tivermos
> > A_k = vazio para algum k, entao, alem de enumeravel, A e um G-delta (nao sei
> > se isso ainda eh verdade se A_k for enumeravel para algum k).
>
> O conjunto A_0 U A_1 é fechado, logo um G-delta.
> Para passarmos de A_0 para A_1 precisamos eliminar um número enumerável
Deveria ser "Para passarmos de A_0 U A_1 para A_0...".
Desculpem o descuido.
> de pontos x_0, x_1, x_2, ... Basta tomar a interseção com os abertos
> R - {x_0}, R - {x_1}, ...
[]s, N.
=========================================================================
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
=========================================================================
