PROFMAT UFG CAMPUS CATALO GOIS M11 Unidades 1 e 2 1 semestre de 2013 Alexandre Carlos da Silva Teixeira 1) Dados A, B a) = U, demonstre

re as relaes De Morgan: ; ou B = ) x a igualdade verdadeira. Ento sejam A e B conjuntos Aex B x ex x ( ).

Observemos que se A = quaisquer no vazios. Tome x x Logo = b) = ;

Observemos que se A = quaisquer no vazios. Tome x x Logo = ;

ou B = ) x

a igualdade verdadeira. Ento sejam A e B conjuntos A ou x B x ou x x ( ).

2) O conjunto das partes P(A) de um conjunto A o conjunto formado por todos os subconjuntos do conjunto A. Prove o teorema de Cantor: Se A um conjunto, no existe uma funo f : A P(A) que seja sobrejetiva. Sugesto: Suponha que exista uma tal funo f e considere X = {x A; x f(x)}. Seja A um conjunto e seja f : A P(A). Para mostrar que f no sobrejetiva, devemos achar um X P(A) (X A) para o qual no exista a A com f (a) = X. Para isto, seja X = {x A; x f(x)}, ou seja no existe nenhum a A com f (a) = X. Suponha por absurdo, que exista um a A tal que f (a) = X. Temos que, ou a X ou a X. Se a X, ento, como f (a) = X, temos a f (a). Ento, pela definio de X, a f (a), isto , a X (contradio). Se a X = f (a), ento pela definio de X, a X (contradio). Portanto, a suposio de que existe um a A com f (a) = X falsa, logo f no sobrejetiva.