[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re:RES: [obm-l] Pontos de acumulacao

Alguém conseguiu uma demonstração ou um contra-exemplo pra segunda proposição?
 
Aliás, isso me lembra um problema proposto há meses pelo Paulo Santa Rita.
Definimos duas funções de Partes(R) em Partes(R):
F(X) = Fecho de X
e
C(X) = R - X = Complementar de X.
 
Assim, F(Q) = R; F((0,1]) = [0,1]; C((0,1]) = (-inf,0] U (1,+inf); etc...
 
Em geral, temos que: F(F(X)) = F(X) e C(C(X)) = X.
 
Dado um subconjunto qualquer A_0 de R, calculamos, sucessivamente:
A_1 = g(A_0); A_2 = g(A_1); A_3 = g(A_2); etc.
onde g pode ser tanto F quanto C.
 
Problema:
1) Prove que, qualquer que seja A_0, existem naturais m, n tais que 0 <= m < n e A_m = A_n.
2) Qual o maior valor possível de n-m?
3) Exiba um A_0 e uma sequência de A_i's correspondentes ao valor achado em (2).
 
Por exemplo: A_0 = [0,1)
A_1 = C(A_0) = (-inf,0) U [1,+inf)
A_2 = F(A_1) = (-inf,0] U [1,+inf)
A_3 = C(A_2) = (0,1)
A_4 = F(A_3) = [0,1]
A_5 = C(A_4) = (-inf,0) U (1,+inf)
A_6 = F(A_5) = (-inf,0] U [1,+inf) = A_2 ==> n - m = 4
 
Se não me engano, este problema se deve a Kuratowski.
 
[]s,
Claudio.
 
De: owner-obm-l@mat.puc-rio.br
Para: obm-l@mat.puc-rio.br
Cópia:
Data: Mon, 10 Jul 2006 09:58:31 -0300
Assunto: RES: [obm-l] Pontos de acumulacao
> >
> > Seja A um conjunto infinito e limitado de R. Entao, A tem pontos de
> > acumulacao (T. de Bolzano/Weierstrass). Definamos A_0 = A e seja A_1 o
> > conjunto dos pontos de acumulacao de A_0. Seja agora A_2 o conjunto dos
> > pontos de acumulacao de A_1. De modo geral, formemos uma sequencia de
> > conjuntos em que cada A_k eh o conjunto dos pontos de acumulacao de
> A_(k-1).
> >
> >
> > Algumas questoes que estou tentando responder:
> >
> > Se A for enumeravel, teremos necessariamente A_k = vazio para algum k?
> >
> Seja A_0 = {racionais em [0,1]} = enumeravel ==>
> A_1 = A_2 = ... = A_n = ... = [0,1] <> vazio
>
> > Se, para algum k, A_k for vazio, entao isto implica que A eh enumeravel?
>
> > Se A nao for enumeravel, podemos ter A_k = vazio para algum k?
> >
>
>
> Essas duas ultimas sao equivalentes, nao sao?
>
> []s,
> Claudio.
>
> De fato. Uma eh a contrapositiva da outra. Na realidade, as duas primeiras
> eh que constituem proposicoes logicamente distintas.
>
> Obrigado.
> 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
> =========================================================================
>
> =========================================================================
> 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
> =========================================================================
>