Re: [obm-l] Conjunto nao enumeravel de R II

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

On Tue, Feb 13, 2007 at 10:19:08AM -0200, Artur Costa Steiner wrote:
> Achei esse problema interessante:
> 
> Se S eh um subconjunto n�o enumer�vel de R, entao:
> 
> 1) Existem reais a < b tais que (a , b) /\ S nao eh enumeravel
> 
> 2) Se (a , b) /\ S nao eh enumeravel, entao existe c em (a, b) tal que os
> conjuntos (a, c) /\ S e (c , b) /\ S nao sao enumeraveis. 

Suponha (1) resolvido.

Seja d = inf { c | (a,c) inter S � n�o enumer�vel }.
Note que (a,d) inter S = uni�o_n (a,d-1/n) inter S
donde (a,d) inter S � uma uni�o enumer�vel de enumer�veis logo enumer�vel. 

Seja e = sup { c | (c,b) inter S � n�o enumer�vel }.
Note que (e,b) inter S = uni�o_n (e+1/n,b) inter S
donde (e,b) inter S � uma uni�o enumer�vel de enumer�veis logo enumer�vel. 

Assim ((a,d) uni�o (e,b)) inter S � enumer�vel donde d < e.
Qualquer c no intervalo aberto (d,e) resolve o problema.

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