Re: [obm-l] Re: [obm-l] Re: [obm-l] OBM2004 - NIVEL U - Problem a 2 - Uma varia��o

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

(A = Arthur, C = Claudio, N = Nicolau)

A > Seja A = {(x,|x*sen(n) - x|) | x estah em R, n eh inteiro positivo e
A > |x*sen(n) - x|) <1}. Para cada real x, os correspondentes valores de y sao
A > termos de uma subsequencia de {|x*sen(n) - x|}, formando, portanto, um
A > conjunto enumeravel.
A > Por outro lado, a condicao (ii) equivale a dizer que o conjunto {x em R |
A > (x,y) pertence a A} nao � enumer�vel.

N > N�o equivale n�o. Equivale a dizer que o complemento � enumer�vel.
N > O intervalo [0,1] � n�o enumer�vel e seu complemento tamb�m �.
N > Infelizmente isto estraga completamente o seu exemplo.

C > Pelo que eu entendi, o Artur quis dizer que, fixado y (igual a b, digamos),
C > se o conjunto { x | (x,b) n�o pertence a A} � enumer�vel,
C > ent�o o conjunto {x | (x,b) pertence a A} � n�o enumer�vel.
C > Isso � verdade, n�o �?

O que voc� acaba de dizer � verdade mas o que o Artur precisa � da rec�proca,
que � falsa. Na mensagem dele ele diz "equivale" e ele est� tentando provar
que o exemplo dele satisfaz as condi��es do enunciado.

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