On Wed, Oct 20, 2004 at 11:27:35PM -0200, [EMAIL PROTECTED] wrote:
> Sobre o problema 2, j� que o Nicolau comentou uma solu��o vou mostrar a
> minha.
>
> Seja X_i = {x em R; (x,i) nao pertence a A}. Pela segunda condi��o X_i �
> enumer�vel para todo i natural. Assim o conjunto X=UX_i (a uni�o de todos
> os X_i, com i natural) � enumer�vel, e como R n�o � enumer�vel existe x_0
> em R que n�o est� em X. Mas neste caso (x_0,i) est� em A para todo natural
> i, o que contradiz a primeira condi��o.
> Logo n�o existe A com estas propriedades.
Muito bem.
> Pode-se usar fatos como o que R n�o � enumer�vel, ou que o X � enumer�vel
> sem demonstrar na prova?
Claro.
> Quanto a varia��o proposta j� gastei umas boas horas pensando nela, mas
> at� agora nada.
Boa sorte. Ali�s a varia��o � um problema que n�o poderia cair em uma OBM.
[]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
=========================================================================
