Acho que seu raciocínio está certo. Eu tinha dado uma outra prova, também simples. Mas acho que a sua é ainda mais simples.
Artur Costa Steiner Em 17/02/2013, às 21:39, terence thirteen <[email protected]> escreveu: > É tão fácil quanto estou pensando? > > Vamos verificar todas as soluções de x^y=2 na qual nenhum deles seja > racional. Esta é certamente uma bijeção (x,y). > > O total de soluções com x racional, é enumerável. > O total de soluções com x racional, é enumerável também. > A intersecção dos acima, é certamente enumerável. > > Mas para quase todo real x, a equação x^y = 2 tem solução (é só aplicar > logaritmos!). Por favor alguém formalize minha preguiça aqui XD > > Assim sendo, o complentar dos casos anteriores é certamente não-enumerável, > pois é o conjunto de todos os reais menos alguns conjuntos enumeráveis. > > É isso, ou estou errando muito feio? > > > > Em 16 de fevereiro de 2013 19:53, Artur Costa Steiner > <[email protected]> escreveu: >> Mostre que este conjunto n찾o 챕 enumer찼vel. >> >> Abra챌os >> >> Artur Costa Steiner >> ========================================================================= >> Instru寤es para entrar na lista, sair da lista e usar a lista em >> http://www.mat.puc-rio.br/~obmlistas/obm-l.html >> ========================================================================= > > > > -- > /**************************************/ > 神が祝福 > > Torres
