[obm-l] Re: [obm-l] RE: [obm-l] Questão de Análise

["Eduardo Casagrande Stabel" <dudasta@xxxxxxxxxxxx>]

Obrigadão pela sua ajuda, Artur!

A questão não era complicada, falou - como diria o Dirichlet - eu levar tudo
até as últimas conseqüências. Tive uma idéia. Considere A = conjunto dos
números reais e a função F tal que F(X) = { - x, para todo x fora de X } = -
Complementar X. Se X está contido em Y então Complementar Y está contido
Complementar X e também - Complementar X está contido no - Complementar Y. É
claro que F(F(X)) = X.

Esta é uma função diferente do complementar e que se enquadra nas
propriedades da questão.

Um abraço,
Duda.

> From: "Artur Costa Steiner" <artur@opendf.com.br>

Oi Duda!
Se X_1,... e X_n estao em P(A), entao cada X_i esta contido s em Uniao X_i.
Pelas condicoes dadas, segue-se que F(Uniao X_i) estah contido em cada um
dos F(X_i). Logo, F(Uniao X_i) estah contido em Interseccao F(X_i). Alem
disto, temos que Interseccao F(X_i) esta contido em cada um dos F(x_i), o
que acarreta que cada F(F(X_i)) = X_i esteja contido em F(Interseccao
F(X_i)). Prosseguindo, temos que Uniao X_i esta contido em F(Interseccao
F(X_i), o que implica que F(F(Interseccao F(X_i)) = Interseccao F(X_i)
esteja contido em F(Uniao X_i), Assim  concluimos que F(União
X_i) = Interseção F(X_i) --Ufa! .Interessante observar que isto eh valido
mesmo para subcolecoes nao numeraveis de P(A).

Agora, temos que Interseccao X_i estah contido em cada X_i, de modo que cada
F(X_i) estah contido em F(Interseccao X_i). Logo, Uniao F(X_i) esta contido
em F(Interseccao X_i). Alem disto, cada F(X_i) estah contido  em Uniao
F(x_i), de modo que F(Uniao F(X_i)) esta contido em cada um dos F(F(X_i)) =
X_i. Segue-se que F(Uniao F(X_i)) esta contido em Interseccao (X_i), do que
concluimos que F(Interseccao X_i) esta contido em F(F(Uniao F(X_i))) = Uniao
F(X_i). E assim, segue-se que F(Interseção X_i) = União F(X_i), completando
a prova. Verificamos de novo que isto eh valido mesmo para subcolecoes nao
numeraveis de P(A).

Das condicoes dadas segue-se que F eh bijetora. Sendo 0 o conjunto vazio,
temos para todo X de P(A) que 0 estah contido em X e que, portanto, F(X)
esta contido em F(0). Mas como F eh bijetora, para algum X temos F(X) = A,
de modo que F(0) = A. Logo, F(A) = F(F(0)) = 0. Isto nao prova, mas
desconfio que F eh a funcao complemento.

Um abraco!
Artur

> Olá Pessoal!
>
> Estou resolvendo o livro do Elon de Análise e há um exercício que não
> estou
> conseguindo resolver.
>
> Seja A um conjunto e P(A) o conjunto das partes de A. Considere uma função
> f:P(A)->P(A) que satisfaz as propriedades: se X está contido em Y (ambos
> de
> P(A)) então F(Y) está contido em F(X); e F(F(X)) = X. Mostrar que F(União
> X_i) = Interseção F(X_i) e também F(Interseção X_i) = União F(X_i).
>
> Uma função que satisfaz essas condições é F(X) = Complementar X.
>



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