UUUniversidadeUFederalUdeUSergipe

CCETU/UDepartamentoUdeUMatemticaU-UProf.UHumbertoUHenriqueU-UPROFMAT
Nmeros e Funes - Lista 1

1. Sejam P1 , P2 , Q1 , Q2 propriedades referentes a elementos de um conjunto universo

U. Suponha que P1 e P2 esgotam todos os casos possveis (ou seja, um elemento qual-
quer de U ou tem a propriedade P1 ou tem a propriedade P2 ). Suponha ainda que
Q1 e Q2 so incompatveis (isto , excluem-se mutuamente). Suponha, nalmente,
que P1 Q1 e P2 Q2 . Prove que valem as recprocas: Q1 P1 e Q2 P2 .
2. Sejam X1 , X2 , Y1 , Y2 subconjuntos do conjunto universo U. Suponha que X1 X2 =
U e Y1 Y2 = , que X1 Y1 e que X2 Y2 . Prove que X1 = Y1 e X2 = Y2 .
3. Compare o exerccio anterior com o primeiro em termos de clareza e simplicidade
do enunciado e mostre que qualquer um deles pode ser resolvido usando o outro.

4. Escreva asimplicaes lgicas que correspondem resoluo da equao x + 2 = x,
veja quais so reversveis
e explique o aparecimento de razes estranhas. Faa o
mesmo com a equao x + 3 = x.

5. Mostre que a equao x + m = x tem exatamente uma raiz quando m > 0 ou
m = 41 , tem duas solues quando 14 < m 0 e nenhuma soluo quando
m < 14 . Interprete geometricamente este resultado.
6. Considere as seguintes equivalncias lgicas:

x=1 x2 2x + 1 = 0
x2 2.1 + 1 = 0
x2 1 = 0
x = 1 ou x = 1.
Concluso: x = 1 x = 1 ou x = 1. Onde est o erro?
7. Expresses tais como "para todo"e "existe"so chamadas quanticadores e aparecem
em sentenas dos tipos:
(1) "Para todo x, satisfeita a condio P (x)".
(2) "Existe algum x que satisfaz a condio P (x),", onde P (x) uma condio
envolvendo a varivel x.
(a) Sendo A o conjunto de todos os objetos x (de um certo conjunto universo U )
que satisfazem a condio P (x), escreva as sentenas (1) e (2) acima, usando
a linguagem de conjuntos.
 (b) Quais so as negaes de (1) e (2)? Escreva cada uma das negaes usando a
linguagem de conjuntos e compare com as sentenas obtidas em (a).
(c) Para cada uma das sentenas abaixo, diga se ela verdadeira ou falsa e forme
sua negao:
Existe um nmero real x tal que x2 = 1.
Para todo inteiro n, vale n2 > n.
Para todo nmero real x, tem-se x > 1 ou x2 < 1.
Para todo nmero real x, existe um nmero natural n tal que n > x.

8. O artigo 34 da constituio Brasileira de 1988 diz o seguinte:

"A Unio no intervir nos Estados nem no Distrito Federal, exceto para:

I. Manter a integridade nacional;

II. Repelir invaso estrangeira ou de unidade da Federao em outra."
III. ...;
(a) Suponhamos que o estado do Rio de Janeiro seja invadido por tropas do estado
de So Paulo. O texto acima obriga a Unio a intervir no estado? Na sua
opinio, qual era a inteno dos legisladores nesse caso?
(b) Reescreva o texto do artigo 34 de modo a torn-lo mais preciso.

9. Prove que, para x, y, k inteiros, tem-se x + 4y = 13k 4x + 3y = 13(4k y).

Conclua que 4x + 3y e x + 4y so divisveis por 13 para os mesmos valores inteiros
de x e y.
10. A diferena entre conjuntos denida por A B = {x| x A e x
/ B}. Determine
uma condio necessria e suciente para que se tenha A (B C) = (A B) C.
11. Prove que se um quadrado perfeito par, ento sua raz quadrada par e que se
um quadrado perfeito impar, ento sua raiz quadrada mpar.
12. Prove o teorema de Cantor: Se A um conjunto e P (A) o conjunto das partes
de A, mostre que no existe uma funo f : A P (A) que seja sobrejetiva. Dica:
Suponha que exista tal funo f e considere X = {x A| x
/ f (x)}.

13. Mostre as seguintes propriedades:

(i) A B = B A e A B = B A;
(ii) (A B) C = A (B C);
(iii) (A B) C = A (B C);
(iv) A (B C) = (A B) (A C);
(v) A (B C) = (A B) (A C);
(vi) A B = B A B A B = A.

ii
 (vii) (A B)c = Ac B c e (A B)c = Ac B c
14. Sejam A, B e C conjuntos. Determine uma condio necessria e suciente para
que se tenha A (B C) = (A B) C.
15. Sejam A, B e C conjuntos. Prove que
(i) A (B C) = (A B) (A C).
(ii) A (B C) = (A B) (A C).
16. Dados dois conjuntos A e B, denimos o produto cartesiano de A por B , que
denotaremos por A B , como sendo o conjunto de todos os pares ordenados (a, b)
tais que a A e b B, isto , A B = {(a, b); a A, b B}.
(i) Determine, justicando, se o conjunto X = {(1, 3), (2, 3), (2, 4)} um produto
cartesiano de dois conjuntos.
(ii) Suponha que A e B tenham exatamente 2 e 3 elementos, respectivamente.
Quantos subconjuntos no vazios de A B so tambm produtos cartesianos?

iii