Você está na página 1de 2

Bases Matematicas Prova I

Ex. 1 Defina, usando linguagem simbolica, o que e A \ B.


Coment
ario: A definic
ao e
A \ B = {x a | x
/ B}
Ex. 2 Leia a demonstrac
ao do seguinte Teorema e identifique a falha.
Teorema: 1 = 2
Prova: Sejam a e b dois n
umeros iguais. Multiplicando ambos os lados de a = b por a obtemos
a2 = ab.
Subtraindo b2 de ambos os lados,
a2 b2 = ab b2 .
Fatorando,
(a + b)(a b) = b(a b).
Subtraindo (a b), temos
a + b = b.
Quando a e b valem 1, temos que
1+1=1
e a demonstrac
ao est
a concluda.

Coment
ario: Primeiro, onde se le subtraindo deve-se ler multiplicando por. Alem disso, (a b) = 0,
e o m
aximo que se pode concluir e que 0 = 0.
Ex. 3 Explique a diferenca entre as duas proposicoes abaixo, e diga porque uma delas e verdadeira e a
outra falsa.
a)a, R, b R : c R, ab = c
b)a, R, c R, b R : ab = c
Coment
ario: A primeira est
a errada, porque diz que para qualquer a existe um b, tal que ab e igual a todos
os possveis c R. A segunda est
a certa, porque diz que podemos encontrar um b = a/c. Vale notar que a
deve ser diferente de zero.
Ex. 4 Prove que para quaisquer conjuntos A e B, (A B) (A B).
Coment
ario: Deve-se lembrar que A B e { x : x A e x B }; A B e { x : x A ou x B }. Assim, se
x est
a em A e tambem est
a em B, deve estar em A. Se esta em A, esta em A ou em B, e pertence a A B.
Ex. 5 Fixe dois n
umeros naturais a e b. Mostre que para todo n inteiro maior que um, (ab) | (an bn ).
Coment
ario: Quando dizemos fixe dois n
umeros, isso significa para quaisquer a e b que se queira fixar.
A base de induc
ao e para n = 1: (a b) | (a b)

No passo, presuma que (a b) | (ak bk ), ou seja, ha z inteiro tal que ak bk = z(a b) faca
ak+1 bk1

= aak bbk


= aak + abk + abk bbk
= a(ak bk ) + abk bbk
= a[z(a b)] + abk bbk
= az(a b) + bk (a b)
=

(az + bk )(a b)

= w(a b).
Note que podemos garantir que z e w s
ao inteiros.

Quest
ao extra:
Ex. 6 Prove o seguinte Teorema por inducao.
Teorema: Sejam X, X1 , X2 , , Xn conjuntos. Entao
X (X1 X2 Xn ) = (X X1 ) (X X2 ) (X Xn ).

Você também pode gostar