[obm-l] Conjunto nao enumeravel de R II

["Artur Costa Steiner" <artur.steiner@xxxxxxxxxx>]

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. 

O primeiro eh muito simples, basta lembrar que unioes enumeraveis de conjuntos enumeraveis sao enumeraveis. O segundo me parece bem interessante.

Artur

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