Re: [obm-l] conjunto de irracionais fechado com relacao aa soma

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

On Thu, Aug 11, 2005 at 09:28:31PM -0300, kleinad2@globo.com wrote:
>  '>'Encontre um conjunto de irracionais que nao seja enumeravel e seja fechado
>  '>'com relacao aa soma
> 
> Observe que se V � um espa�o vetorial de dimens�o enumer�vel sobre Q
> (racionais), ent�o V � isomorfo ao espa�o dos polin�mios em uma vari�vel
> sobre Q, e,
> portanto, V � enumer�vel. Em particular, a dimens�o de R (reais) sobre Q
> � n�o-enumer�vel.
> 
> Seja B* uma base de R sobre Q contendo o 1, e seja B = B*\{1}.

Esta solu��o (correta) usa o axioma da escolha para obter a base e portanto
o conjunto obtido no final n�o � dado explicitamente.

Uma pergunta que eu nao sei reponder:

� poss�vel responder a pergunta original com a interpreta��o de que
"encontre" significa "construa" ou "descreva explicitamente" 
(sem usar o axioma da escolha)?

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