Matemática Resolução Dos Exercícios

Apndice B: Resoluo dos Exerccios Propostos
importante que o aluno verifique a resoluo dos exerccios

somente aps ter tentado resolv-los. De fato, para que ocorra a
aprendizagem importante que se tente fazer os exerccios sozinho,
depois discuti-los em grupo, utilizando estas resolues apenas como
uma maneira de ter certeza de que sua soluo est correta, ou para
buscar alguma dica. Se mesmo aps a conferncia da resoluo houver
alguma dvida procure a ajuda do professor pois muitos exerccios
podem ter outras formas de resoluo.
Captulo 1
Atividade 1: reas
Esta atividade tem como objetivo alertar para o uso de
materiais concretos na observao de propriedades matemticas que
sem dvida muito importante mas deve-se tomar o mximo de
cuidado, pois os resultados podem levar a erros grosseiros.
A rea do quadrado apresentado 64 unidades de rea. Para
fazer a pea e recort-la imprima a prxima pgina que possui a figura
em tamanho (11,5 x 11,5) cm
2
com as marcaes de recorte. Copiando
esta figura para qualquer outro editor de imagens, voc poder
aumentar ou diminuir a figura.
Fundamentos de Matemtica J.R. Gernimo/V.S. Franco
2

A montagem do retngulo est feita na figura a seguir:

A rea do retngulo determinado por esta montagem, como
pode ser observado na figura se obtm multiplicando 5 x 13 = 65
unidades de rea.
Apndice B Resoluo dos Exerccios
3
Num primeiro momento pode-se achar que temos duas figuras
formadas por peas equivalentes e com reas distintas. Isto no
verdade e a confuso ocorre exatamente por causa dos espaos que
ficam entre as peas. Os espaos surgem porque os ngulos e
(conforme figura a seguir) so tais que tg = 2/5 e tg = 3/8 e assim

os ngulos e no so iguais, apesar de 21,8014 graus e
20,5560 graus, ou seja, uma diferena de 1,2454 graus que muito
pequena para ser percebida pelo olho humano, j que uma
circunferncia possui 360 graus. mais fcil acreditar que o espao
existente foi causado por uma construo ou recorte mal feito e
acreditarmos que 65 = 64!

Atividade 2: Clculo da Hipotenusa
Esta atividade tem como objetivo mostrar a dificuldade de se
lidar com problemas que envolvem um nmero infinito de termos.
Ao construir o tringulo obtemos um tringulo retngulo
issceles com catetos medindo 1 unidade. Sendo assim, utilizando o
Teorema de Pitgoras, a hipotenusa dever medir 2 unidades. A
soma das medidas dos catetos 2.

Ao dividir a medida dos
catetos ao meio e traar os
segmentos do ponto mdio at
o ponto mdio da hipotenusa
obtemos dois tringulos
retngulos e, novamente, a
soma das medidas dos catetos
igual a

4
+ + + = 2.

Repetindo novamente a diviso
da medida dos catetos obtemos como
soma o valor
++++++++ = 2.
Repetindo a diviso
pela terceira vez o obtemos
como soma o valor
2
8
1
8
1
8
1
8
1
8
1
8
1
8
1
8
1
8
1
8
1
8
1
8
1
8
1
8
1
8
1
8
1
= + + +
+ + + + + + +
+ + + + + + +

Ao comparar estes valores vemos que para qualquer nmero de
divises que fizermos obteremos sempre como soma o valor 2 e, por
outro lado, parece que ao tomarmos um nmero infinito de divises
estaremos nos aproximando da hipotenusa do tringulo retngulo.
Sendo assim, uma concluso natural seria que 2 =
2
, o que um
absurdo. A explicao deste fato feita com ferramentas da anlise e
no ser feita aqui.
Atividade 3: A faixa de Mbius
Para montar a faixa cilndrica obtenha uma fita de papel e cole
suas bordas como nas fotos abaixo:

5

Recortando na circunferncia central obtemos duas faixas
cilndricas como na foto abaixo:

Para montar a faixa de Mbius obtenha uma fita de papel e cole
suas bordas invertendo-as como nas fotos abaixo:

Ao recortar na circunferncia central da faixa de Mbius
obtemos apenas uma faixa como na foto abaixo:

A concluso que se chega que apenas uma mudana num
objeto altera as caractersticas mais simples do objeto, como por
exemplo, a separaoem duas partes atravs de um recorte deixa de
existir.
Atividade 4: A moeda e a Terra
Vejamos as figuras do problema apresentado:
6
C
1
r
1
R
1
d
1
C
2
r
2
R
2
d
2
C
3
r
3
R
3
d
3

(a) (b) (c)
Se fssemos responder imediatamente a intuio nos diria que
d
3
seria maior. Porm, fazendo as contas como deve ser feito, obtemos:
d
1
= R
1
r
1
=
+
2
1 r 2
1
r
1
=
+
2
r 2 1 r 2
1 1
= 2
1
;
d
2
= R
2
r
2
=
+
2
1 r 2
2
r
2
=
+
2
r 2 1 r 2
2 2
= 2
1
e
d
3
= R
3
r
3
=
+
2
1 r 2
3
r
3
=
+
2
r 2 1 r 2
3 3
= 2
1
.
Assim, contrrio a nossa intuio, as trs medidas independem
do raio da circunferncia consideradas, pois sero todas iguais a 2
1
.
Observe que para fazer tais contas no necessrio o valor dos raios
em questo.

Atividade 5: Diviso por zero: "2=3?"
O erro na suposta demonstrao est ao fazer o cancelamento
da expresso (1 1) que igual a zero. No conjunto dos nmeros
inteiros s vlido o cancelamentos para nmeros distintos de zero.

Atividade 6: Iluso de tica
Contar com a viso para concluir afirmaes pode levar a erros.
A iluso de tica nos leva a vrios casos destes. Veja as figuras abaixo, a
original e com as circunferncias vermelhas para ter certeza de que
realmente so circunferncias.
7

Captulo 2
2.1. a) proposio e segundo dados histricos verdadeira.
b) proposio e segundo as informaes do noticirio falsa.
c) No proposio, pois uma sentena interrogativa.
d) proposio, basta resolver para saber se falsa ou verdadeira.
e) proposio, pois pode assumir apenas um valor lgico.
f) proposio e, com certeza, verdadeira.
g) proposio e, com certeza, verdadeira.
h) proposio, pois pode assumir apenas um valor lgico.

2.2. a) Falsa, por exemplo, no losango isso no ocorre.
b) Falsa, nem sempre o trapzio possui todos os lados
congruentes.
c) Verdadeira, por um teorema da geometria plana.
d) Verdadeira, por um teorema de funes.
e) Falsa, possui 12 arestas.
f) Falsa, pois existem hexaedros com faces no congruentes.
g) Verdadeira, por definio.
h) Falsa, o retngulo nem sempre possui todos os lados
congruentes.

2.3. Podemos escrever, por exemplo,
Estudo matemtica pra caramba, mas aquela matria de
fundamentos moleza, bicondiciona que prometo que estudarei
todo fim de semana.
8
Bill Gates miservel e o nmero 2
9875423
+21 primo
Gosto de vlei, condiciona que irei ao shopping e Bill Gates no
miservel.
Em 22 de abril de 1500, descobriu-se o Brasil ou sou brasileiro se, e
somente se, sou inteligente.

2.4. a) p: Quando chove e q: a garagem de Joo fica inundada.
b) Falso ou verdadeiro, pois considerando a tabela verdade da
condicional p q sempre verdadeira, teremos

p q p q
V V V
F V V
F F V

Assim, mesmo quando q verdadeira podemos ter p falsa (veja 2 linha
da tabela acima). Em outras palavras, a garagem da casa de Joo poderia
ter sido inundada por outro motivo.
c) Verdadeiro pela 1 linha da tabela do item b).

2.5. a) um nmero irracional ou 2 um nmero primo.
b) um nmero irracional, condiciona que 2 no um nmero primo,
bicondiciona que 2 um nmero primo, condiciona um nmero
irracional.
c) 2 no um nmero primo, condiciona um nmero irracional.

2.6. a) No est frio.
b) Est frio e est chovendo.
c) Est frio ou est chovendo.
d) Est frio bicondiciona que est chovendo.
e) Est frio condiciona que no est chovendo.
f) Est chovendo ou no est frio.
g) No est frio e no est chovendo.
h) Est frio bicondiciona que no est chovendo.
9
i) Est chovendo.
j) No est frio condiciona que est chovendo.

2.7. Como cada proposio assume apenas dois valores lgicos e temos
n proposies, pelo princpio multiplicativo de anlise combinatria,
temos 2 2 2 .... 2 = 2
n
linhas na tabela verdade.

2.8.
a) p q ~p ~q (pq) (~p)(~q) (pq)(~p)(~q)
V V F F V F V
V F F V F V V
F V V F F V V
F F V V F V V

b) p q r (q r) p(q r) c) p q (p q) q(p q)
V V V V V V V V V
V V F V V V F V V
V F V V V F V V V
V F F F F F F F V
F V V V F
F V F V F
F F V V F
F F F F F

d) p q r (pq) (q r) (r p) (p q)(q
r)
(p q)(q r) (r p)
V V V V V V V V
V V F V V V V V
V F V V V V V V
V F F V F V F F
F V V V V V V V
F V F V V F V F
10
F F V F V V F F
F F F F F F F F

e) p ~p (~pp) (~pp)p f) p q (p q) (p q)p
V F V V V V V V
F V F V V F V V
F V V F
F F F V

g) p q r (pq r) (pq r)
p
(pq r) p
q
(pq r) p q
r
V V V V V V V
V V F F V V V
V F V F V V V
V F F F V V V
F V V F F V V
F V F F F V V
F F V F F F V
F F F F F F F

h) p q r (p q ) (p q )
r
i) p q (p
q)
(p q)q
V V V V V V V V V
V V F V F V F F V
V F V V V F V F V
V F F V F F F F V
F V V V V
F V F V F
F F V F F
F F F F F

11
j) p q (p q) (q p) (p q) (q
p)
V V V V V
V F F F V
F V F F V
F F F F V

k) p q r (p q)
(p q)
r l) p (p p)
(p
p)p
V V V V V V V V
V V F V F F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F V
F F F F V

m) p q ~p ~q [p(~q)] (~p)[p(~q)]
V V F F V F
V F F V V F
F V V F F F
F F V V V V

n) p ~p (p
~p)
(p
~p)p
o) p q ~p (~p)
q
V F F F V V F V
F V V F V F F V
F V V V
F F V F

12
p) p q ~p ~q (~q) (~p) q) p ~p p ~p
V V F F V V F V
V F F V F F V V
F V V F V
F F V V V

r) p q r (q r) p(qr) s) p q r (p q) (p q)
r
V V V V V V V V V V
V V F F V V V F V V
V F V F V V F V V V
V F F F V V F F V V
F V V V V F V V V V
F V F F F F V F V V
F F V F F F F V F V
F F F F F F F F F F

t)
p q r p(qr) p(pr) p(qr) p(p r) (p q)[p(qr) p(p r)]
V V V V V V V
V V F V V V V
V F V V V V V
V F F V V V V
F V V V F F F
F V F F F V V
F F V F F V V
F F F F F V V

u) p q r (pq) (pr) (pq)(pr)
V V V V V V
V V F V F V
V F V F V V
V F F F F F
13
F V V F F F
F V F F F F
F F V F F F
F F F F F F

v)
p q r p q (p q) (q r) (p q) (q r) (p q) [ (p q) (q r) ]
V V V V V V V V
V V F V V F F F
V F V F F F V F
V F F F F F V F
F V V V F V V V
F V F V F F V V
F F V V F F V V
F F F V F F V V

w) p q r (pq) (pr) (pq)(pr)
V V V V V V
V V F V V V
V F V V V V
V F F V V V
F V V V V V
F V F V F F
F F V F V F
F F F F F F

x) p q r (qr) p(qr)
V V V V V
V V F V V
V F V V V
V F F F V
F V V V V
F V F V V
14
F F V V V
F F F F F

y) p q r ~p ~q ~r (p q r)
(~p q ~r)

(~p ~q~r)
V V V F F F V V F V F
V V F F F V F F F F F
V F V F V F F F F F F
V F F F V V F F F F F
F V V V F F F F F F F
F V F V F V F V V V F
F F V V V F F F F F F
F F F V V V F F F V V
Etapa 2 2 2 3 4 3 5 3

z) p q r (pq) [p (q r) p (p r)]
V V V V V V V V V V V V
V V F V V V V V V V V V
V F V F V V V V V V V V
V F F F V V V F V V V V
F V V V F F V V F F F V
F V F V F F V V F F F F
F F V V F F V V F F F V
F F F V V F F F V F F F
Etapa 2 5 1 3 2 4 1 3 2

2.9. Para termos uma tautologia, o valor lgico da proposio dever
ser verdadeiro em todas as possibilidades lgicas. Todas as proposies
condicionais apresentadas so tautologias, pois construindo a seguir as
tabelas-verdade de cada um dos itens obtemos o valor lgico
verdadeiro em todas as possibilidades lgicas.
a) b)
15
p p p p q p q q p
V V V V V V V V V V V V V
F F V F V F V F F V F F V
Etapa
1 2 1 F V F F V V V F F
F F F F F V F F F

Etapa 1 2 1 3 1 2 1

c) d)
p p p p p q p q q
F F V F F F V F V F F V F
Etapa 1 3 1 2 1 F V F F V V V

F F F F F V F

Etapa 1 2 1 3 1

2.10.
a) p q r [p (q r)] p
V V V V V V V V V V
V V F V V V F F V V
V F V V V F V V V V
V F F V V F V F V V
F V V F V V V V F F
F V F F F V F F V F
F F V F V F V V F F
F F F F V F V F F F
Etapa 1 3 1 2 1 4 1
Como a tabela verdade apresenta valores lgicos verdadeiros e falsos,
conforme se observa a coluna da Etapa 4, a proposio uma
contingncia.

b) p q ~ (p q) ~ (q p)
16
V V F V V V F F V V V
V F V V F F V V F F V
F V V F F V V V V F F
F F V F F F V F F V F
Etapa 3 1 2 1 4 3 1 2 1
Como a tabela verdade nos fornece valores lgicos verdadeiros e falsos,
(veja coluna da Etapa 4), a proposio uma contingncia.

c) p q (p q) (q p)
V V V V V V V V V
V F V F F V F V V
F V F F V V V V F
F F F F F V F F F
Etapa 1 2 1 3 1 2 1
Como a proposio nos fornece apenas valores lgicos verdadeiros,
(veja coluna da Etapa 3), a proposio uma tautologia.

d) p q ~ (p q) ~ (p q)
V V F V V V V F V V V
V F V V F F F F V V F
V V F F V V V F F V V
V F F F V F F V F F F
Etapa 3 1 2 1 4 3 1 2 1
Como a tabela verdade apresenta valores lgicos verdadeiros e falsos,
conforme se observa a coluna da Etapa 4, a proposio uma
contingncia.

2.11.

Teorema 2.10.a) Leis de adio: p p q e q p q.

Vamos construir as tabelas-verdade das proposies:

17
p q p p q p q q p q
V V V V V V V V V V V V V V
V F V V V V F V F F V V V F
F V F V F V V F V V V F V V
F F F V F F F F F F V F F F
Etapa 1 3 1 2 1 Etapa 1 3 1 2 1

Como as proposies so tautologias, conforme se observa a coluna da
Etapa 3, temos o resultado.
Teorema 2.10.b) Leis de simplificao: p q p e p q q.
Vamos construir as tabela verdade para as proposies:
p q p q p p q p q q
V F V F F V V V F V F F V F
F V F F V V F F V F F V V V
F F F F F V F F F F F F V F
Etapa 1 2 1 3 1 Etapa 1 2 1 3 1
Como as proposies so tautologias, conforme se verifica nas colunas
da Etapa 3, temos o resultado desejado.

Teorema 2.10.d) Modus Ponens: (p q) p q.

Consideremos a tabela verdade:

p q (p q) p q
V V V V V V V V V
V F V F F F V V F
F V F V V F F V V
F F F V F F F V F
Etapa 1 2 1 3 1 4 1

18
Como a tabela verdade uma tautologia (veja coluna da Etapa 4), ento
a condicional uma implicao, donde temos o resultado.

Teorema 2.10.e) Modus Tollens: (p q) ~q ~p.

Vamos construir a tabela verdade para a proposio:

p q (p q) ~ q ~ p
V V V V V F F V V F V
V F V F F F V F V F V
F V F V V F F V V V F
F F F V F V V F V V F
Etapa 1 2 1 3 2 1 4 2 1

Como a proposio uma tautologia, conforme se verifica a coluna da
Etapa 4, temos o resultado.

Teorema 2.10.f) Dilemas construtivos:
(pq) (rs) (p r) (q s) e (pq) (rs) (p r) (q s).

Vamos construir as tabelas-verdade para as proposies:

p q r s (p q) (r s) (p r) (q s)
V V V V V V V V V V V V V V V V V V V
V V V F V V V F V F F V V V V V V V F
V V F V V V V V F V V V V V F V V V V
V V F F V V V V F V F V V V F V V V F
V F V V V F F F V V V V V V V V F V V
V F V F V F F F V F F V V V V F F F F
V F F V V F F F F V V V V V F V F V V
V F F F V F F F F V F V V V F F F F F
19
F V V V F V V V V V V V F V V V V V V
F V V F F V V F V F F V F V V V V V F
F V F V F V V V F V V V F F F V V V V
F V F F F V V V F V F V F F F V V V F
F F V V F V F V V V V V F V V V F V V
F F V F F V F F V F F V F V V F F F F
F F F V F V F V F V V V F F F V F V V
F F F F F V F V F V F V F F F V F F F
Etapa 1 2 1 3 1 2 1 4 1 2 1 3 1 2 1

p q r s (p q) (r s) (p r) (q s)
V V V V V V V V V V V V V V V V V V V
V V V F V V V F V F F V V V V F V F F
V V F V V V V V F V V V V F F V V V V
V V F F V V V V F V F V V F F V V F F
V F V V V F F F V V V V V V V F F F V
V F V F V F F F V F F V V V V F F F F
V F F V V F F F F V V V V F F V F F V
V F F F V F F F F V F V V F F V F F F
F V V V F V V V V V V V F F V V V V V
F V V F F V V F V F F V F F V V V F F
F V F V F V V V F V V V F F F V V V V
F V F F F V V V F V F V F F F V V F F
F F V V F V F V V V V V F F V V F F V
F F V F F V F F V F F V F F V V F F F
F F F V F V F V F V V V F F F V F F V
F F F F F V F V F V F V F F F V F F F
Etapa 1 2 1 3 1 2 1 4 1 2 1 3 1 2 1

20
Como as proposies so tautologias, (veja colunas da Etapa 4), temos
o resultado.

Teorema 2.10.g) Dilemas destrutivos:
(p q) (r s) [(~q ~s) (~p ~r)] e
(p q) (r s) [(~q ~s) (~p ~r)].

Vamos construir as tabelas-verdade para as proposies:

p q r s p q r s ~ q ~ s ~ p ~ r
V V V V V V V V V V V V F V F F V V F V F F V
V V V F V V V F V F F V F V V V F F F V F F V
V V F V V V V V F V V V F V F F V V F V V V F
V V F F V V V V F V F V F V V V F V F V V V F
V F V V V F F F V V V V V F V F V F F V F F V
V F V F V F F F V F F V V F V V F F F V F F V
V F F V V F F F F V V V V F V F V V F V V V F
V F F F V F F F F V F V V F V V F V F V V V F
F V V V F V V V V V V V F V F F V V V F V F V
F V V F F V V F V F F V F V V V F V V F V F V
F V F V F V V V F V V V F V F F V V V F V V F
F V F F F V V V F V F V F V V V F V V F V V F
F F V V F V F V V V V V V F V F V V V F V F V
F F V F F V F F V F F V V F V V F V V F V F V
F F F V F V F V F V V V V F V F V V V F V V F
F F F F F V F V F V F V V F V V F V V F V V F
Etapa 1 2 1 3 1 2 1 5 2 1 3 2 1 4 2 1 3 2 1

p q r s p q r s ~ q ~ s ~ p ~ r
V V V V V V V V V V V V F V F F V V F V F F V
21
V V V F V V V F V F F V F V F V F V F V F F V
V V F V V V V V F V V V F V F F V V F V F V F
V V F F V V V V F V F V F V F V F V F V F V F
V F V V V F F F V V V V V F F F V V F V F F V
V F V F V F F F V F F V V F V V F F F V F F V
V F F V V F F F F V V V V F F F V V F V F V F
V F F F V F F F F V F V V F V V F F F V F V F
F V V V F V V V V V V V F V F F V V V F F F V
F V V F F V V F V F F V F V F V F V V F F F V
F V F V F V V V F V V V F V F F V V V F V V F
F V F F F V V V F V F V F V F V F V V F V V F
F F V V F V F V V V V V V F F F V V V F F F V
F F V F F V F F V F F V V F V V F F V F F F V
F F F V F V F V F V V V V F F F V V V F V V F
F F F F F V F V F V F V V F V V F V V F V V F
Etapa 1 2 1 3 1 2 1 5 2 1 3 2 1 4 2 1 3 2 1

Como as proposies so tautologias (veja colunas da Etapa 5), temos o
resultado.

Teorema 2.11.a) (p q) (~p) q.

Vamos construir a tabela verdade da proposio:

p q (p q) (~p) q
V V V V V V F V V
V F V F F V F F F
F V F V V V V V V
F F F V F V V V F
22
Etapa 1 3 1 4 2 3 1

Como a proposio tautologia (veja coluna da Etapa 4), temos o
resultado.

Teorema 2.11.b) (p q) (p q) (q p).


p q (p q) (p q) (q p)
V F V F F V V F F F F V V
F V F F V V F V V F V F F
V F F V F V F V F V F V F
Etapa 1 2 1 4 1 2 1 3 1 2 1

Como a proposio tautologia (veja coluna da Etapa 4), temos o
resultado.

Teorema 2.11.d) Reductio ad Absurdum: (p q) (p ~q) c.


p q (p q) (p ~ q) c
V V V V V V V F F V V F
V F V F F V V V V F F F
F V F V V V F F F V V F
V F F V F V F F V F V F
Etapa 1 2 1 5 1 2 2 1 4 3

Como a proposio tautologia (coluna da Etapa 5), temos o resultado.

23
Teorema 2.12.b) ~(p q) (~p ~q).


p q ~ (p q) (~ p ~ q)
V V F V V V V F V F F V
V F F V V F V F V F V F
F V F F V V V V F F F V
F F V F F F V V F V V F
Etapa 3 1 2 1 4 2 1 3 2 1


Teorema 2.13.a) Leis comutativas: p q q p e p q q p.


p q p q q p p q p q q p
V V V V V V V V V V V V V V V V V V
V F V F F V F F V V F V V F V F V V
F V F F V V V F F F V F V V V V V F
F F F F F V F F F F F F F F V F F F
Etapa 1 2 1 3 1 2 1 Etapa 1 2 1 3 1 2 1

resultado.

Teorema 2.13.b) Leis de idempotncias: p p p e p p p.
Vamos construir as tabelas-verdade das proposies.
p p p p p p p p
V V V V V V V V V V V V
24
F F F F V F F F F F V F
Etapa 1 2 1 3 1 Etapa 1 2 1 3 1

resultado.

Teorema 2.13.c) Leis associativas:
(p q) r p (q r) e (p q) r p (q r).


p q r (p q) r p (q r)
V V F V V V F F V V F V F F
V F V V F F F V V V F F F V
V F F V F F F F V V F F F F
F V V F F V F V V F F V V V
F V F F F V F F V F F V F F
F F V F F F F V V F F F F V
F F F F F F F F V F F F F F
Etapa 1 2 1 3 1 4 1 3 1 2 1

p q r (p q) r p (q r)
V V F V V V V F V V V V V F
V F V V V F V V V V V F V V
V F F V V F V F V V V F F F
F V V F V V V V V F V V V V
F V F F V V V F V F V V V F
F F V F F F V V V F V F V V
Etapa 1 2 1 3 1 4 1 3 1 2 1
25

Como as proposies so tautologias (colunas da Etapa 4), temos o
resultado.

Teorema 2.13.d) 2. lei distributiva: p (q r) (p q) (p r).


p q r p (q r) (p q) (p r)
V V V V V V V V V V V V V V V V
V V F V V V F F V V V V V V V F
V F V V V F F V V V V F V V V V
V F F V V F F F V V V F V V V F
F V V F V V V V V F V V V F V V
F V F F F V F F V F V V F F F F
F F V F F F F V V F F F F F V V
F F F F F F F F V F F F F F F F
Etapa 1 3 1 2 1 4 1 2 1 3 1 2 1


Teorema 2.14:

d) p p t t e) p p ~ p c
V V V V V V V V F F V V F
F F V V V V F F F V F V F
Etapa 1 2 1 3 2 Etapa 1 3 2 1 4 1

f) p p c c h) ~ t c i) ~ c t
V V F F V F F V V F V F V V
26
F F F F V F 2 1 3 1 2 1 3 1
Et. 1 2 1 3 1

j) p p ~ p t
V V V F V V V
F F V V F V V
Etapa 1 3 2 1 4 1

Como as proposies so tautologias (colunas em destaque), temos o
resultado.

2.12. a) Consideremos a tabela verdade :

p q (p q) (p q)
V V V V V V V V V
V F V F F V V V F
F V F F V V F V V
F F F F F V F F F
Etapa 1 2 1 3 1 2 1

Como a tabela verdade nos fornece uma tautologia (veja coluna da
Etapa 3), a condicional p q p q uma implicao.

b) Consideremos a tabela verdade:
p q
1
q
2
[(q p) (r p)] [(q r) p]
V V V V V V V V V V V V V V V V
V V F V V V V F V V V V V F V V
V F V F V V V V V V V F V V V V
V F F F V V V F V V V F F F V V
F V V V F F F V F F V V V V F F
F V F V F F F F V F V V V F F F
F F V F V F F V F F V F V V F F
27
F F F F V F V F V F V F F F V F
Etapa 1 2 1 3 1 2 1 4 1 2 1 3 1
Como a proposio uma tautologia, conforme se observa a coluna da
etapa 4, temos o resultado.

c) Vamos construir a tabela verdade para a proposio:
p q r [(p q r) ~ r] (p q)
V V V V V V V V F F V V V V V
V V F V V V V F V V F V V V V
V F V V F F V V F F V V V F F
V F F V F F F F F V F V V F F
F V V F V V V V F F V V F V V
F V F F V V V F V V F V F V V
F F V F V F F V F F V V F V F
F F F F V F F F V V F V F V F
Etapa 1 2 1 3 1 4 2 1 5 1 2 1
Como a proposio uma tautologia (coluna da etapa 5), temos o
resultado.

2.13. a)

p q (p q) (~ p ~ q)
V V V V V V F V V F V
V F V F F V F V F V F
F V F F V V V F F F V
Etapa 1 3 1 4 2 1 3 2 1

Observe que na coluna da etapa 4 s aparecem valores lgicos
verdadeiros. Logo, o smbolo pode ser substitudo por ,
mostrando assim o desejado.

28
b) p q (p q) (~ p ~ q)
F V F V V F V F F F V
Etapa 1 3 1 4 2 1 3 2 1

Note que na etapa 4 no temos somente valores lgicos verdadeiros.
Portanto, a proposio no uma tautologia.

c) p q [(p q) ~ p ~ q
V V V V V F F V V F V
V F V F F F F V V V F
F V F V V V V F F F V
Etapa 1 3 1 4 2 1 5 2 1

p q (p q) (~ p ~ q)
F V F V V F V F F F V
Etapa 1 3 1 4 2 1 3 2 1

Como as tabelas-verdade tm o mesmo resultado, as proposies so
equivalentes, e no so tautologias.

2.14. a)
p q p q
V V F
V F V
29
F V V
F F F
b)
p q p q ~ [p q]
V V V V V F F V V V
V F V V F V V V F F
F V F V V V V F F V
F F F F F F V F F F
Etapa 1 2 1 4 3 1 2 1

c) Como ambas proposies tm a mesma tabela verdade, estas so
equivalentes.

d) Consideremos a tabela verdade da proposio p q q p:

p q (p q) [q p]
V V V F V V V F V
V F V V F V F V V
F V F V V V V V F
F F F F F V F F F
Etapa 1 2 1 3 1 2 1

Como encontramos uma tautologia (observe a coluna da etapa 3),
obtemos o resultado.

e) Consideremos a tabela verdade da proposio p (q r) (p q) r.

p q r p (q r) (p q) r
V V V V V V F V V V F V V V
V V F V F V V F V V F V F F
V F V V F F V V V V V F F V
30
V F F V V F F F V V V F V F
F V V F F V F V V F V V F V
F V F F V V V F V F V V V F
F F V F V F V V V F F F V V
Etapa 1 3 1 2 1 4 1 2 1 3 1

Como encontramos uma tautologia, conforme se verifica a coluna da
etapa 4, obtemos o resultado.

f) Consideremos a tabela verdade da proposio p t ~p

p t p t ~ p
V V V F V V F V
F V F V V V V F
Etapa 1 2 1 3 2 1

Como encontramos uma tautologia, (veja coluna da etapa 3) obtemos o
resultado.

g) Consideremos a tabela verdade da proposio p c p.

p c p c p
V F V V F V V
F F F F F V F
Etapa 1 2 1 3 1

Como encontramos uma tautologia, observe coluna da etapa 3,
obtemos o resultado.

h) Consideremos a tabela verdade da proposio p p c.

31
p p p c
V V F V V F
F F F V V F
Etapa 1 2 1 3 1

Como a tabela verdade apresenta apenas valores lgicos verdadeiros
(veja coluna da etapa 3), obtemos o resultado.

i) Consideremos a tabela verdade da proposio ~(p q) (p q).

p q ~ (p q) (p q)
V V V V F V V V V V
V F F V V F V V F F
F V F F V V V F F V
F F V V F F V F V F
Etapa 3 1 2 1 4 1 2 1

Como encontramos uma tautologia (veja coluna da etapa 4), obtemos o
resultado.

2.15. a) A contrapositiva de p q ~q ~p. Assim, a contrapositiva
~(~p) ~(~q) que equivalente a p q.

b) A recproca de p q q p. Assim, a contrapositiva ~p ~q.

c) A inversa de p q ~p ~q . Assim, a contrapositiva q p.

d) A contrapositiva de p ~q ~(~q) ~p que equivalente a q ~p.

e) A contrapositiva de ~p q ~q~(~p) que equivalente a
~q p.

f) A recproca de p~q ~qp. Logo a contrapositiva da recproca
~p~(~q) ~p q.
32

g) A recproca de ~p ~q ~q ~p.

2.16. a) p q P q
V V V F V
V F V F F
F V F F V
F F F V F
Etapa 1 2 1

b) i) Consideremos a tabela verdade da proposio:

p ~ p p p
V F V V V F V
F V F V F V F
Etapa 2 1 3 1 2 1

Como a tabela verdade uma tautologia temos o resultado desejado.

ii) Consideremos a tabela verdade da proposio:

p q p q (p p) (q q)
V V V V V V V F V V V F V
V F V F F V V F V F F V F
F V F F V V F V F F V F V
F F F F F V F V F F F V F
Etapa 1 2 1 4 1 2 1 3 1 2 1

Como a tabela nos fornece uma tautologia temos o resultado desejado.
iii) Consideremos a tabela verdade:

33
p q p q (p q) (p q)
V V V V V V V F V V V F V
V F V V F V V F F V V F F
F V F V V V F F V V F F V
F F F F F V F V F F F V F
Etapa 1 2 1 4 1 2 1 3 1 2 1

Como a tabela verdade uma tautologia, segue o resultado.

iv) Consideremos a tabela da proposio:

p q p q ~ p ~ q
V V V F V V F V F F V
F V F F V V V F F F V
Etapa 1 2 1 4 2 1 3 2 1

Assim temos o resultado desejado, pois a tabela nos fornece uma
tautologia.

2.17. a) Sejam p e q proposies. Teremos 16 tabelas verdade, como
segue:

p q 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
V V V V V V V V V V F F F F F F F F
V F V V V V F F F F V V V V F F F F
F V V V F F V V F F V V F F V V F F
F F V F V F V F V F V F V F V F V F

Legenda:
34
1. [(p q) (p q)].
2. p q.
3. (q p).
4. [(p q) (p q)].
5. p q.
6. [(q p) (p q)].
7. [(p q) (p q)].
8. p q.
9. ~(p q).
10. ~[(p q) (p q)].
11. ~[(q p) (p q)].
12. ~(p q).
13. ~[(p q) (p q)].
14. ~(q p).
15. ~(p q).
16. ~[(p q) (p q)].

b) A principal dificuldade est em obter o operador negao em funo
dos outros operadores. De fato, ~p dever ser escrito como uma
combinao de um dos operadores, mas as propriedades:
p p p, p p p, p p e p p
impedem de mudar o valor lgico de p utilizando estes operadores.
Quanto a colocar os operadores em funo do operador negao, a
propriedade ~(~p) p tambm torna este procedimento impossvel.

c) Temos:
i) Conjuno: Temos p q ~[~(p q)].

ii) Disjuno: Temos que p q ~[(~p) (~q)]. Veja tabelas 2.2 e
2.7.
iii) Negao: Temos ~p ~(p p).

35
iv) Condicional: Comparando as tabelas 2.4 e 2.9, temos
p q ~[p (~q)].

v) Bicondicional: Observando que a bicondicional pode ser definida como
(pq)(qp), pelo item iv) segue que
p q [~[p (~q)]] [~[q (~p)]].

d) Temos
i) Negao: claro que ~p p|p, visto que as tabelas verdades para
ambas as proposies so equivalentes.
p p | p
V V F V
F F V F
Etapa 1 2 1
ii) Conjuno: Consideremos a tabela verdade da proposio (p|q) |
(p|q):
p q (p | q) | (p | q)
V V V F V V V F V
V F V V F F V V F
F V F V V F F V V
F F F V F F F V F
Etapa 1 2 1 3 1 2 1
Vemos que tal proposio possui a mesma tabela verdade que a
proposio
p q. Logo, p q (p|q) | (p|q)
iii) Disjuno: Pelos itens i) e ii) e pelo item ii) da letra c), temos
p q ~[(~p) (~q)] ~[(p|p) (q|q)] ~[((p|p) | (q|q)) | ((p|p) |
(q|q))]
[((p|p) | (q|q)) | ((p|p) | (q|q))] | [((p|p) | (q|q)) | ((p|p) |
(q|q))]

iv) Condicional: pelo item iv) da letra c) e pelos itens i) e ii) temos
p q ~[p (~q)] ~[p (q|q)] ~[(p|(q|q)) | (p|(q|q))]
36
[(p|(q|q))|(p|(q|q))] | [(p|(q|q))|(p|(q|q))]

v) Bicondicional: Por definio de bicondicional e pelo item iv), temos
p q (p q) (q p)
[(p|(q|q))|(p|(q|q))]|[(p|(q|q))|(p|(q|q))][(q|(p|p))|(q|(p|p))]
|[(q|(p|p))|(q|(p|p))]
([(p|(q|q))|(p|(q|q))]|[(p|(q|q))|(p|(q|q))]|[(q|(p|p))|(q|(p|p))]|
[(q|(p|p))|(q|(p|p))])|([(p|(q|q))|(p|(q|q))]|[(p|(q|q))|(p|(q|q))]|[(q|(p
|p))|(q|(p|p))]|[(q|(p|p))|(q|(p|p))]).

e) Observe que este operador j foi dado no Exerccio 2.16 segue que
i) Negao: Temos ~p p p.

ii) Conjuno: Temos p q (p p) (q q).

iii) Disjuno: Temos p q (p q) (p q).
Agora, utilizando os itens iv) e v) da letra c), obtemos

iv) Condicional: Temos
pq ~[p(~q)] ~[p (q q)] ~[(p p) [(q q) (q q)]
[(p p) [(q q) (q q)] [(p p) [(q q) (q q)].

v) Bicondicional: Temos

p q
(p q) (q p) [(p p) [(q q) (q q)] [(p p) [(q q)
(q q)] [(q q) [(p p) (p p)] [(q q) [(p p) (p p)]
([(p p) [(q q) (q q)] [(p p) [(q q) (q q)] [(p p)
[(q q) (q q)] [(p p) [(q q) (q q)]) ([(q q) [(p p)
(p p)] [(q q) [(p p) (p p)] [(q q) [(p p) (p p)]
[(q q) [(p p) (p p)]).

37
2.18. Resolvendo a equao de 2
o
grau obtemos como solues x
1
=2 e
x
2
=1. Logo, no conjunto dos nmeros reais (escolhido como universo
de discurso) o quantificador o existencial
{ x IR / x
2
3x + 2= 0}.
Portanto, o universo aqui o conjunto dos nmeros reais. Se
consideramos o conjunto universo U={1, 2}, podemos neste caso
utilizar o quantificador universal:
{ x U/ x
2
3x + 2= 0}.

2.19. a) Existe cobra que no rptil.
b) Todos os matemticos so sociveis.
c) Todos os cavalos no so dceis.

2.20. a) Conjunto das cobras.
b) Conjunto das pessoas com formao em matemtica.
c) Conjunto dos cavalos.

2.21. Calculando as razes da equao x
2
+ 2x + 1=0, obtemos
x
1
=x
2
= 1. Assim,
a) Verdadeiro, pois para todo x em IR temos x
2
+ 2x + 1=(x+1)
2
0.
b) Falso, pois para x= 1 temos x
2
+ 2x + 1 > 0.
c) Verdadeiro, pois a negao do item b).
d) Falso, pois negao de item a).

2.22. a) ( x IR) (
x x
3
=
).
b) ( x IR) ((x 1)(x+1) = x
2
1).
c) ( x IR) (
x x
2
=
).
d) ( x IR) ( x
2
2 x + 4 0). Observe que se aqui o universo fosse o
conjunto dos nmeros complexos (C), o quantificador seria o
existencial.
e) ( x IR) ( y IR) (x + y =5) ou ( x IR) ( y IR) (x + y =5).
f) ( a IR)
) 1 a 2 a
a
a a 2 a
(
2
2 3
=

. Note que se o universo fosse IR*,
o conjunto dos nmeros reais exceto o zero, ento o quantificador
seria o universal.
38
g) ( x IR) (cos x = 0).
h) ( x IR) ( y IR) ( z IR) ( x
2
+ y
2
+ z
2
= (x + y + z)
2
2xy
2xz 2yz).

2.23. Teorema 2.19.b) Se p(x) e q(x) so sentenas abertas, ento
(x) (p(x) q(x)) [(x) (p(x)) (x) (q(x))].
Consideremos as proposies P(x): (x)(p(x) q(x)) e Q(x): [(x) (p(x) (x)
q(x))]. Mostremos que P(x) Q(x). Se P(x) verdadeiro, significa que
qualquer que seja o elemento x do universo de discurso p(x) e q(x) so
verdadeiras. Assim, qualquer que seja x, p(x) verdadeira e qualquer que
seja x, q(x) verdadeira. Logo, Q(x) verdadeira. Caso P(x) seja falso, a
condicional P(x) Q(x) verdadeira independente do valor lgico de Q(x).
Reciprocamente, queremos mostrar que Q(x) P(x) Se Q(x) for verdadeira,
ento para todo x no domnio de definio da proposio p(x) e q(x) so
verdadeiras, ou seja, P(x) verdadeira. Caso Q(x) seja falsa, a condicional
Q(x) P(x) ser sempre verdadeira. Portanto em ambos os casos, Q(x)
P(x). Assim, conclumos o resultado.

Teorema 2.19.c) Se p(x) e q(x) so sentenas abertas, ento
[(x) (p(x)) (x) (q(x))] (x) (p(x) q(x)).
Sejam P(x) e Q(x) as proposies [(x) (p(x)) (x) (q(x))] e (x) (p(x) q(x))
respectivamente. Mostremos inicialmente que P(x) Q(x). Com efeito, se
P(x) verdadeira, ento existe pelo menos um x no universo de discurso tal
que p(x) verdadeiro ou existe x no universo de discurso tal que q(x)
verdadeiro. Assim existe x tal que p(x) ou q(x) verdadeiro. Logo Q(x)
verdadeiro. Caso contrrio, ou seja, P(x) falso, ento a condicional P(x)
Q(x) sempre verdadeira. Logo, em ambos os casos P(x) Q(x).
Mostremos agora que Q(x) P(x). De fato, se Q(x) verdadeira. Ento
existe x no domnio de definio tal que ou p(x) ou q(x) so verdadeiras.
Sem perda de generalidades, suponhamos que p(x) seja verdadeira.
Dessa forma (x) (p(x)) verdadeira. Logo P(x) verdadeira. Caso, Q(x)
seja falsa, a condicional Q(x) P(x) verdadeira, independente do
valor lgico de P(x). Portanto, Q(x) P(x).

Teorema 2.20.a) Seja p(x,y) uma sentena aberta com duas variveis
livres, ento (x)(y)(p(x,y)) (y)(x)(p(x,y)). Vamos mostrar que a
39
proposio P: (x) (y) (p(x, y)) (y) (x) (p(x, y)) uma tautologia. Com
efeito, se (x) (y) (p(x, y)) verdadeira, existe pelo menos um x
1
e um y
1
tal
que p(x
1
, y
1
) verdadeira. Logo, para este y
1
, se escolhermos x
1
ento
p(x
1
,y
1
) verdadeira, isto , p(x
1
, y
1
) verdadeira. Caso (x)(y)(p(x,y)), seja
falsa, a condicional (x) (y) (p(x, y)) (y) (x) (p(x, y)) verdadeira. Isto
mostra que (x) (y) (p(x, y)) (y) (x) (p(x, y)). Com os mesmos
argumentos, mostramos que (y)(x) (p(x,y)) (x)(y) (p(x,y)). Portanto,
(x) (y) (p(x, y)) (y) (x) (p(x, y)).

Teorema 2.20.b) Seja p(x,y) uma sentena aberta com duas variveis
livres, ento (x)(y)(p(x,y)) (y)(x)(p(x,y)). Mostremos que a
proposio (x)(y)(p(x,y)) (y)(x)(p(x,y)) sempre verdadeira. De
fato, se (x)(y)(p(x,y)) verdadeiro ento para todo x, p(x,y)
verdadeiro, qualquer que seja y. Assim, para todo y, p(x,y) verdadeiro,
qualquer que seja x. Se (x)(y)(p(x,y)) for falso a condicional
(x)(y)(p(x,y)) (y)(x)(p(x,y)) ser sempre verdadeira. Logo,
(x)(y)(p(x,y)) (y)(x)(p(x,y)). Analogamente mostramos que
(y)(x)(p(x,y)) (x)(y)(p(x,y)).

Teorema 2.20.e) Seja p(x,y) uma sentena aberta com duas variveis
livres, ento ~[(x)(y)(p(x,y))] (x)(y)(~p(x,y)). Procedendo como na
demonstrao do item d) temos
~[(x) (y) (p(x,y))] ~[(x)] [(y) (p(x, y))] (x) [~(y) (p(x, y))]
(x) (y) (~p(x, y)).

Teorema 2.20.f) Seja p(x,y) uma sentena aberta com duas variveis
livres, ento ~[(x)(y)(p(x,y))] (x)(y)(~p(x,y)). De fato, temos
~[(x) (y) (p(x, y))] ~[(x)] [(y) (p(x, y))] (x) [~(y) (p(x, y))]
(x) (y) (~p(x,y)).

Teorema 2.20.g) Seja p(x,y) uma sentena aberta com duas variveis
livres, ento ~[(x)(y)(p(x,y))] (x)(y)(~p(x,y)). Com efeito,
40
~[(x) (y) (p(x,y))] ~[(x)] [(y) (p(x, y))]
(x) [~(y) (p(x,y))] (x)(y) (~p(x, y)).

Teorema 2.20.h) Se (x) (y) [p(x) p(y)] verdadeiro, temos as
seguintes possibilidades:
1. (x) (p(x)) verdadeiro: Neste caso no interessa o valor de y, (x)
(p(x)) (y) (p(y)) sempre ser verdadeiro.

2. (x
1
) (p(x
1
)) falso, ento (y) (p(y)) verdadeiro, pois, caso
contrrio, (y) (p(x
1
) p(y)) seria falso contrariando a hiptese, logo
(x) (p(x)) (y) (p(y)) verdadeiro.Reciprocamente, se (x) (p(x))
(y) (p(y)) verdadeiro ento teremos (x) (p(x)) verdadeiro ou (y)
(p(y)) verdadeiro e assim, p(x) ou p(y) ser sempre verdadeiro. Logo,
(x) (y) [p(x) p(y)] verdadeiro.

2.24. Seja f uma funo definida sobre o conjunto dos nmeros reais.
Dizemos que o limite de f(x) quando x tende a b L, se
( > 0) ( > 0) (x IR) (0 < |x b| < |f(x) L)| < ).
A sua negao de
( > 0) ( > 0) [( x IR) (0 < |x b| < |f(x) L| ).

2.25. a) Se p(x) for representado por fazer alguma coisa denominada x
ento podemos representar a frase fazer nada pelo quantificador
universal ( x)[~p(x)]. Logo, a frase eu no fiz nada representada
pela negao que dada por ~( x)[~p(x)] ( x)[p(x)], ou seja,
obtm-se a representao da frase eu fiz alguma coisa.
1

b) Se q(x) for representado por entendi alguma coisa denominada x
ento podemos representar a frase entendi nada pelo
quantificador universal ( x)[~q(x)]. Logo, a frase eu no entendi
nada representada pela negao que dada por ~( x)[~q(x)] (
x)[q(x)], ou seja, obtm-se a representao da frase eu entendi alguma
coisa.
2

1
Logo, se algum disser que no fez nada pode estar certo que ela fez alguma
coisa.
2
Logo, se ao explicar um assunto para algum e este lhe disser que no
entendeu nada, fique tranqilo, alguma coisa ele entendeu.
41
c) Se r(x) for representado por vi algum denominado x ento
podemos representar a frase vi nada pelo quantificador universal
( x)[~r(x)]. Logo, a frase eu no vi nada representada pela
negao que dada por ~( x)[~r(x)] ( x)[r(x)], ou seja, obtm-se
a representao da frase eu vi alguma coisa.
3

2.26. Em primeiro lugar, observamos que (! x)(p(x) equivalente a
( x)( p(x)) ( x)( y) [(p(x) p(y)) x = y],
onde a primeira parte da conjuno se refere a existncia de x e a
segunda parte se refere a unicidade. Portanto, sua negao dada por
~(! x)(p(x)) (x)(~p(x)) ( x)( y) [(p(x) p(y) (x y)].

2.27. a) Vamos demonstrar que p (p q) p uma tautologia
utilizando o mtodo dedutivo. Para isto devemos mostrar a validade
dos argumentos
p (p q) ( p e p ( p (p q).

Ordem Proposio Justificativa
1 p (p q) H
1

2 (p p) (p q) 1, Distributiva
3 p (p q) 2, Idempotncia
4 (p t) (p q) 3, Tautologia
5 p (t q) 4, Distributiva
6 p (q t) 5, Comutativa
7 p t 6, Tautologia
8 p 7, Tautologia

Para demonstrar o segundo argumento utilizamos o mesmo processo
de baixo para cima pois foram utilizadas somente equivalncias lgicas.

3
Logo, se algum lhe disse que no viu ningum, acredite, ele viu
algum.
42
b) Vamos demonstrar que p (p q) p uma tautologia utilizando o
mtodo dedutivo. Para isto devemos mostrar a validade dos
argumentos
p (p q) ( p e p ( p (p q).

1 p (p q) H
1

2 (p t) (p q) 1, Tautologia
3 p (t q) 2, Distributiva
4 p (q t) 3, Comutativa
5 p t 4, Tautologia
6 p 5, Tautologia


c) Vamos demonstrar que (p q) (p q q) uma tautologia
dos argumentos
(p q) ( (p q q) e (p q q) ( (p q).

1 p q q H
1

2 ~[(p q) ~q] 1, Condicional
3 ~(p q) ~(~q) 2, De Morgan
4 ~(p q) q 3, Dupla Negao
5 (~p~q) q 4, De Morgan
6 q (~p~q) 5, Comutativa
7 (q ~p)(q~q) 6, Distributiva
8 (q ~p) t 7, Tautologia
9 q ~p 8, Tautologia
43
10 ~p q 9, Comutativa
11 p q 10, Condicional

d) Vamos demonstrar que (p q) ~p q uma tautologia
dos argumentos
(p q) ( ~p q e ~p q ( (p q).

1 p q H
1

2 ~(p ~q) 1, Condicional
3 ~p ~(~q) 2, De Morgan
4 ~p q 3, Dupla Negao


e) Vamos demonstrar que (pq) (p ~q) ~p uma tautologia
dos argumentos
(pq) (p ~q)( ~p e ~p ( (pq) (p ~q).

1 (pq) (p ~q) H
1

2 ~(p ~q)~(p~(~q) 1, Condicional
3 ~(p ~q)~(pq) 2, Dupla Negao
4 (~p q)(~p~q) 3, De Morgan
5 ~p (q~q) 4, Distributiva
6 ~p c 5, Contradio
7 ~p 6, Contradio
44


f) Vamos demonstrar que p (p q) p q uma tautologia
dos argumentos
p (p q)( p q e p q ( p (p q).

1 p (p q) H
1

2 ~p (p q) 1, Condicional
3 (~p p) (~p q) 2, Distributiva
4 t (~p q) 3, Tautologia
5 ~p q 4, Tautologia
6 p q 5, Condicional

g) Vamos demonstrar que (p q) [(p r) (q r)] uma tautologia
utilizando o mtodo dedutivo. Para isto devemos mostrar a validade dos
argumentos
p q ( [(p r) (q r)].

1 p q H
1

2 ~p q 1, Condicional
3 (~p q) (~r) 2, Adio
4 (~p) [ (~r) q] 3, Associativa, Comutativa
5 (~p) [ (~r q) t] 4, Tautologia
6 (~p) [ (~r q) (~r r)] 5, Tautologia
7 ~p [~r (q r)] 6, Distributiva
45
8 (~p ~r) (q r) 7, Associativa
9 ~(p r) (q r) 8, De Morgan
10 (p r) (q r) 9, Condicional

2.28. Denotando estudar medicina por M, conseguir uma boa vida
por C, estudar artes por A, viver uma vida boa por N e colgio
perda de tempo por D, podemos simbolizar o argumento por:
H
1
: M C
H
2
: A N
H
3
: (C N) ~D
H
4
: D
T : (~M) (~A)
Observemos por exemplo que, quando aplicado Modus Tollens em
H
3
e H
4
, ou seja, em [(C N) ~D] D, obtemos ~ (C N) e por
De Morgan, obtemos ~C ~N. Atravs da lei da simplificao, isto nos
leva a ~C (e tambm a ~N). De ~C e H1, novamente pelo Modus
Tollens, obtemos ~M. Analogamente de ~N e H
2
e Modus Tollens,
obtemos ~A. Finalmente a conjuno de ~M e ~A nos d a tese ~M
~A. S para lembrar, nesta demonstrao utilizamos Modus Tollens,
Leis de De Morgan e Leis de simplificao. Utilizando a tabela, obtemos

1
M C
H
1

2 A N
H
2

3 (C N) ~D
H
3

4 D
H
4

5
~ (C N) 3, 4, Modus Tollens
6 ~C ~N 5, De Morgan
7 ~ C 6, simplificao
8 ~ N 6, simplificao
9 ~M 1, 7, Modus Tollens
10 ~A 2, 8, Modus Tollens
11 ~M ~A 9, 10, Conjuno

Validade do argumento H
1
, H
2
, H
3
, H
4
( T.
46

Assim, o argumento H
1
, H
2
, H
3
, H
4
( T vlido.
4

2.29.

1
(p q)
H
1

2 ~p
H
2

3 ~p (p q) 1,2, conjuno
4 (~p p) (~p q) 3, distributiva
5 c (~p q) 4, substituio, contradio
6 ~p q 5, contradio
7
q 6, simplificao

Validao do argumento (p q), ~p ( q.

Este argumento denominado silogismo disjuntivo.

2.30. Para isto devemos mostrar a validade dos argumentos (p q) (
(~q ~p) e (~q ~p) ( (p q). Vejamos o primeiro argumento:

1 p q
H
1
2 ~(p ~q) 1, condicional
3 ~(~q p) 2, substituio, comutativa
4 ~[~q ~(~p)] 3, substituio, dupla negao
5 ~q ~p 4, condicional

Validao do argumento (p q) ( (~q ~p).

Para demonstrar o segundo argumento utilizamos o mesmo
processo de baixo para cima pois foram utilizadas somente equivalncias
lgicas. Este argumento denominado Lei contrapositiva.

4
Uma outra maneira de estabelecer a validade deste argumento seria
construir sua tabela-verdade que requer 2x2x2x2x2 = 2
5
= 32 linhas.
47
2.31. Utilizando o mesmo processo dos exemplos anteriores, vamos
mostrar a validade de um argumento utilizando equivalncias e, assim,
o argumento recproco tambm ser vlido:

1 (p r) (q s)
H
1
2 (~p r) (~q s) 1, substituio, condicional
3 ~p [ r (~q s)] 2, associativa
4 ~p [ (r ~q) s] 3,substituio, associativa
5 ~p [ (~q r) s] 4, substituio, comutativa
6 ~p [ ~q ( r s)] 5, substituio, associativa
7 (~p ~q) (r s) 6, associativa
8 ~(p q) (r s) 7, substituio, De Morgan
9 (p q) (r s) 8, condicional

Validao do argumento (p r) (q s) ( (p q) (r s).

2.32. a)

1 q(ru) H
1

2 q s H
2

3 ~s (up) H
3

4 ~s H
4

5 ~q 2, 4, Modus Tollens
6 u p 3, 4, Modus Ponens
7 r u 1, 5, Silogismo Disjuntivo
8 r p 6, 7, Lei Transitiva

b) Ordem Proposio Justificativa
1 p (qr) H
1

2 q s H
2

3 r u H
3

48
4 s u p r H
4

5 ~p H
5

6 q r 1, 5, Silogismo Disjuntivo
7 r 6, Simplificao

c) Ordem Proposio Justificativa
1 p q H
1

2 ~q r H
2

3 ~(p r) H
3
negao da tese
4 (~p) (~r) 3, De Morgan
5 ~p 4, Simplificao
6 ~r 4, Simplificao
7 q 1, 5, Silogismo Disjuntivo
8 ~q 2, 6, Silogismo Disjuntivo
9 q ~q 7, 8, Conjuno
Teorema 2.13.e - Contradio

Como a linha 9 uma contradio, temos o resultado desejado.

d) Ordem Proposio Justificativa
1 p q H
1

2 ~q H
2

3 ~q~p 1, Contrapositiva
4 ~p 2, 3, Modus Ponens

e) Ordem Proposio Justificativa
1 p q H
1

2 q H
2

3 (pq) (qp) 1, Bicondicional
4 qp 3, Simplificao
5 p 2, 4, Modus Ponens
49

f)
1 p ~q H
1

2 r q H
2

3 r H
3

4 q 2, 3, Modus Ponens
5 ~p ~q 1, condicional,
Teorema 2.10.a - De Morgan,
Teorema 2.8.a - Dupla negao
6 ~q ~p 5, Comutativa
7 ~p 4, 6, Silogismo Disjuntivo

g)
1 p q H
1

2 r ~q H
2

3 q ~r 2, Contrapositiva, Dupla negao
4 p ~r 1, 3, Lei Transitiva
5 r ~p 4, Contrapositiva, Dupla negao

2.33. Em todos os itens utilizaremos o 1
ou o 2
Princpio dependendo
do valor de n
0
.

a) Seja P(n): 1+3+5+...+(2n-1)= n
2
. Primeiramente, mostremos que
P(1) verdadeiro. De fato, (2.1 1)=1=1
2
. Suponhamos agora que P(k)
verdadeiro, ou seja, 1+3+5+...+(2k 1)= k
2
. Vamos mostrar que
P(k+1) verdadeiro. De fato,
1+3+5+...+(2k 1)+[2(k+1) 1]= k
2
+(2k+2 1),
pela hiptese de induo. Mas k
2
+(2k+2 1) = k
2
+2k+1= (k+1)
2
,
como queramos demonstrar.

50
b) Seja P(n): 3
0
+3
1
+...+3
n
=
.
2
1 3
1 n

+
Primeiramente, mostremos que
P(0) verdadeiro. De fato, 3
0
= 1 =
.
2
1 3
1 0

+
Suponhamos agora que
P(k) seja verdadeiro, ou seja, 3
0
+3
1
+...+3
k
=
.
2
1 3
1 k
+
Vamos mostrar
que P(k+1) verdadeiro. De fato, por induo
3
0
+3
1
+...+3
k
+3
k+1
= 2
1 3
1 k

+
+ (3
k+1
).
Mas
2
1 3
1 k

+
+(3
k+1
)= 2
) 3 ( 2 1 3
1 k 1 k + +
+
= 2
1 ) 2 1 )( 3 . 3 (
2
) 3 . 3 ( 2 1 ) 3 . 3 (
k k k
+
=
+
=
= 2
1 3
2
1 3
2
1 3 . 3
2
1 3 ). 3 . 3 (
1 ) 1 k ( 2 k 2 k k

=
+ + +
.
Portanto P(k+1) verdadeiro. Assim, P(n) verdadeiro n IN.

c) Seja P(n): 2
n
1+n. Primeiramente mostremos que P(0) verdadeiro.
De fato, 1 1+0. Agora, por hiptese de induo, suponhamos que
P(k) seja verdadeiro, ou seja, 2
k
1+k. Vamos mostrar que P(k+1)
verdadeiro. De fato, pela hiptese de induo, 2
k+1
= 2.2
k
2.(1+k).
Mas 2.(1+k) =2+2k 2+k = 1+ (1+k), como queramos demonstrar.

d) Podemos escrever ( n IN) (3
2n
-1 divisvel por 8) como
P(n): ( a
+
)(3
2n
1 = 8.a).
Primeiramente, mostremos que P(0) verdadeiro. De fato,
consideremos a = 0, temos a 0, a Z e 3
2.0
1=8.0. Portanto P(0)
verdadeiro. Suponhamos agora que P(k) seja verdadeiro, ou seja,
(a, a 0 , a) (3
2.k
1=8.a).
Mostremos que P(k+1) verdadeiro. De fato, considere b = 9a+1,
temos b 0, b Z e 3
2(k+1)
1=3
2k+2
1=3
2k
.3
2
1=(3
2k
1).3
2
+3
2
1.
Pela hiptese de induo, (3
2k
1).3
2
+3
2
1 =(8.a).9+8=8(9a+1)=8.b,
51

e) Fixado x ]1,+[, seja P(n): (1+x)
n
1 + n.x. Primeiramente
mostremos que P(n) verdadeiro para o menor natural. Neste caso o
nmero natural 1. De fato, (1+x)
1
1+1.x. Portanto P(1)
verdadeiro. Agora, por hiptese de induo , vamos supor que P(k)
verdadeiro, ou seja, (1+x)
k
1+kx. Queremos mostrar que P(k+1)
verdadeiro. De fato, (1+x)
k+1
=(1+x)
k
.(1+x) (1+kx).(1+x), por
induo, mas
(1+kx).(1+x) = (1+x+kx+x
2
k) = 1+(k+1).x+x
2
k > 1+(k+1).x.
Logo, P(k+1) verdadeiro e, portanto, P(n) verdadeiro para todo
nIN*, como queramos demonstrar.

f) Consideremos P(n): 1
2
+ 2
2
+ 3
2
+ ... + n
2
= 6
) 1 n 2 )( 1 n ( n + +
. Primei-
ramente, mostremos que P(0) verdadeiro. De fato, 0
2
= 6
) 1 0 . 2 )( 1 0 ( 0 + +
.
Vamos supor agora que P(k) verdadeiro, ou seja,
1
2
+2
2
+3
2
+...+k
2
= 6
) 1 k 2 )( 1 k ( k + +
.
Mostraremos que P(k+1) tambm verdadeiro. De fato,
1
2
+2
2
+3
2
+...+k
2
+(k+1)
2
= 6
) 1 k 2 )( 1 k ( k + +
+ (k+1)
2
,
por induo, mas
6
) 1 k 2 )( 1 k ( k + +
+(k+1)
2
= 6
) 1 k ( 6 ) 1 k 2 )( 1 k ( k
2
+ + + +
=
= 6
)] 1 k ( 6 ) 1 k 2 ( k )[ 1 k ( + + + +
= 6
) 6 k 6 k k 2 )( 1 k (
2
+ + + +
=
= 6
) 6 k 7 k 2 )( 1 k (
2
+ + +
= 6
) 3 k 2 )( 2 k )( 1 k ( + + +
.
Logo, P(k+1) verdadeiro e, portanto, P(n) verdadeiro para todo
nIN, como queramos demonstrar.

52
g) Fixando m IN chamamos de P(n) a expresso a
m
.a
n
=a
m+n
. Por
definio, temos a
0
= 1 e a
m+1
= a
m
.a, para todo nmero natural n.
Sendo assim, faremos induo em n. Primeiramente, mostremos que
P(n) verdadeiro para o menor natural n
0
. Neste caso o nmero 0. De
fato,
a
m
.a
0
=a
m
.1=a
m
=a
m+0
.
Agora, por hiptese de induo, suponhamos que P(k) verdadeiro, ou
seja, a
m
.a
k
=a
m+k
. Vamos mostrar que P(k+1) verdadeiro. De fato,
a
m
.a
k+1
= a
m
.(a
k
.a) = (a
m
.a
k
).a = a
m+k
.a, pela hiptese de induo. Mas
a
m+k
.a = a
(m+k)+1
= a
m+(k+1)
, como queramos demonstrar.

h) Seja P(n): ( a
+
)(2
2n1
.3
n+2
+1 = 11.a).
Primeiramente, mostremos que P(1) verdadeiro. De fato,
2
2.1-1
.3
1+2
+1=2.3
3
+1=55=5.11.
Portanto P(1) verdadeiro.
Agora, por hiptese de induo, suponhamos que P(k) seja verdadeiro,
ou seja,
(a, aZ, a>0) tal que (k IN, k1), 2
2.k- 1
.3
k+2
+1=11.a.
Queremos mostrar que P(k+1) tambm verdadeiro. De fato,
2
2.k+1
.3
k+3
+1=2.2
2k
.3.3
k+2
+1= 2.2.2
2k-1
.3.3
k+2
+1=
=12.2
2k-1
.3
k+2
+1= 12.2
2k-1
.3
k+2
+1+11 11=
=12.2
2k-1
.3
k+2
+12-11= 12(2
2k-1
.3
k+2
+1) 11,
que, por induo igual a 12.(11.a) 11= 11.(12a 1), como queramos
demostrar, pois a Z e a > 0 implica que 12.a 1 IN
*
.

i) Seja P(n): ( n IN) [(n
3
+ 2n) divisvel por 3]. Primeiramente,
mostremos que P(0) verdadeiro. De fato, 0
3
+2.0=0=3.0. Agora, por
hiptese de induo, suponhamos que P(k) seja verdadeiro, isto ,
(a, aZ, a0) tal que (k IN, k 1), k
3
+2k=3.a.
Queremos mostrar que P(k+1) tambm verdadeiro. De fato,
(k+1)
3
+2(k+1)=k
3
+3k
2
+3k+1+2k+2=(k
3
+2k)+3k
2
+3k+3,
que, por induo igual a 3a+3k
2
+3k+3 que igual a 3.(a+k
2
+k+1).
Como k IN e a IN temos a+k
2
+k+1 IN. Portanto, P(k+1)
verdadeiro. Assim, P(n) verdadeiro n IN.
53

j) Seja P(n):
1 n
n
) 1 n ( n
1
4 . 3
1
3 . 2
1
2 . 1
1
+
=
|
|
.
|
\
|
+
+ + + + K
. Primeiramente,
mostremos que P(1) verdadeiro. De fato, 1 1
1
2 . 1
1
+
=
. Suponhamos
agora, que P(k) verdadeiro, ou seja,
( )
1 k
k
) 1 k ( k
1
4 . 3
1
3 . 2
1
2 . 1
1
1 k , IN k
+
=
|
|
.
|
\
|
+
+ + + + K
.
Queremos mostrar que P(k+1) verdadeiro. De fato, por induo
temos que
=
|
|
.
|
\
|
+ +
+
+
+ + + +
) 2 k )( 1 k (
1
) 1 k ( k
1
4 . 3
1
3 . 2
1
2 . 1
1
K
) 2 k )( 1 k (
1
1 k
k
+ +
+
+
.
Mas,
) 2 k )( 1 k (
1
1 k
k
+ +
+
+
=
) 2 k )( 1 k (
1 ) 2 k ( k
+ +
+ +
=
) 2 k )( 1 k (
1 k 2 k
2
+ +
+ +
=
) 2 k )( 1 k (
) 1 k )( 1 k (
+ +
+ +
=
=
1 ) 1 k (
1 k
+ +
+
.
Logo, P(k+1) verdadeiro e, portanto, P(n) verdadeiro para todo n
IN*, como queramos demonstrar.

2.34. a) Por induo em n temos que para n=0, r>0 implica que
C(0,r)=0 (por definio, pois C(0,r)=0 para r 0). Suponhamos que seja
vlido para n=k. Assim, r>k implica que C(k,r)=0. Ento para r>k+1,
temos, por definio, que C(k+1,r) = C(k,r)+C(k,r1) = 0, pois r> k+1
implica que (r > k) (r1>k). Assim, pela hiptese de induo,
C(k,r)=0 e C(k,r1)=0, o que prova a veracidade da proposio.

b) Por induo em n temos para n=0, C(0,0)=1, por definio.
Suponhamos que seja verdadeiro para n = k, ento C(k,k)=1. Assim,
C(k+1,k+1)=C(k,k+1)+C(k,k)=0+1=1, pois pelo item a) C(k,k+1)=0
e C(k,k)=1 pela hiptese de induo. Assim temos o resultado
desejado.
54

c) Por induo em n temos para n=0, C(0,r)=0, pois por definio
C(0,r)=0 se r 0. Suponhamos que a proposio seja verdadeira para
n=k. Assim, r<0 C(k,r) = 0. Ento para r < 0, temos C(k+1,r) =
C(k,r) + C(k,r 1) = 0 + 0 = 0, pois r < 0 implica r 1 < 0 e
utilizemos a hiptese de induo duas vezes. Isto prova a veracidade da
proposio.

d) Por induo em n temos para n = 0, C(0,0) = 1, por definio.
Suponhamos que seja verdadeiro para n = k, ento C(k,0)=1. Vejamos
para n=k+1, C(k+1,0)=C(k,0)+C(k,-1)=1+0=1. Pelo Item c) temos
C(k,-1)=0 e pela hiptese de induo temos C(k,0)=1. Assim temos o
resultado.

e) Vamos tambm utilizar a induo em n. Para n = 0 temos r =0 pois
0r n. Logo, C(0,0)=1=
)! 0 0 ( ! 0
! 0
, pois, por definio, 0!=1. Suponha-

mos que a proposio seja verdadeira para n=k. Assim,
)! r k ( ! r
! k
) r , k ( C k r 0
=
.
Ento, para 0 r k+1, C(k+1,r)=C(k,r)+C(k,r 1). Vamos dividir em
casos:
1. r = k+1: Neste caso temos C(k+1,k+1)=1=
( )
( ) ( ) ( ) | |! 1 k 1 k ! 1 k
! 1 k
+ + +
+
,
utilizando o Item b).

2. r = 0: Neste caso, C(k+1,0) = 1 =
( )
( ) | |! 0 1 k ! 0
! 1 k
+
+
, utilizando o Item d).

3. 0 < r < k+1, ou seja, 1 r k: Neste caso temos
C(k+1,r)=C(k,r)+C(k,r 1)=
( )! r k ! k
! k
+
( ) ( ) | |! 1 r k ! 1 r
! k

,
pela hiptese de induo. Mas
55
( )! r k ! k
! k
+
( ) ( ) | |! 1 r k ! 1 r
! k

=
( ) ( )! r k ! 1 r . r
! k

+
( ) ( ) ( )! r k . 1 r k ! 1 r
! k
+
=
( )
( ) ( ) ( ) 1 r k !. r k ! 1 r . r
! k . r ! k 1 r k
+
+ +
=
( )
( ) ( ) ( ) 1 r k !. r k ! 1 r . r
! k . r 1 r k
+
+ +
=
( )
( )! r 1 k ! r
! 1 k
+
+
,

2.35. Primeiramente, mostremos que se k=1, a igualdade se verifica.
De fato, se k=1 ento T(2
k
)=2, por definio. Por outro lado,
2.log
2
2=2 e, assim, P(1) verdadeira. Agora, por hiptese de induo,
suponhamos que a igualdade T(2
m
) = 2
m
.log
2
2
m
= m.2
m
seja verdadeira
para m>1. Assim, T(2
m
)=m.2
m
. Queremos ento mostrar que para
k=m+1 a igualdade tambm se verifica. De fato,
T(2
m+1
)=2(T(2
m
)+2
m+1
, por definio. Mas, pela hiptese de induo,
2(T(2
m
)+2
m+1
= 2m.2
m
+2
m+1
= m.2
m+1
+2
m+1
= 2
m+1
.(m+1) =
= (m+1).2
m+1
=2
m+1
.log
2
2
m+1
.
Portanto se k= m + 1 a igualdade se verifica. Assim temos o desejado.

2.36. suficiente provar este resultado quando x>1, pois os outros
casos envolvem apenas o sinal. Consideremos a proposio:
P(n) : n um produto de nmeros primos.
Temos que P(2) verdadeiro. Suponhamos que P(r) verdadeiro para 2
r < k. Se k for primo temos P(k) verdadeiro. Caso contrrio, existem
inteiros m e n tais que k = m.n, com 2 m < k e 2 n < k. Pela
hiptese de induo, temos P(m) e P(n) verdadeiros, ou seja, m e n so
produtos de nmeros primos. Logo, m.n = k tambm ser produto de
nmeros primos, ou seja, P(k) verdadeiro. Portanto, pelo 3
Princpio
da Induo Finita, temos o desejado.

2.37. Mtodo 1:

1 A o conjunto dos nmeros primos
positivos
Hiptese 1
2 B A Hiptese 2
3 A finito Negao da tese
56
4 B finito 2,3, Propriedade dos
conjuntos finitos
5

5 A = {p
1
, p
2
,,p
n
} 3, definio de conjunto
finito
6 a = p
1
. p
2
. .p
k
+ 1 5, Produto e soma de
inteiros
7 a admite pelo menos um fator primo
p
6, Exerccio 2.36
8 p = p
i
para algum 1 i n 1,3
9 p | a 7
10 p | p
1
, p
2
,...p
n
8
11 p | 1 7,10, Contradio

Mtodo 2

Podemos considerar apenas o conjunto dos nmeros primos positivos.
De fato, um superconjunto de um conjunto infinito um conjunto
infinito. Suponhamos ento que exista um nmero finito de nmeros
primos positivos p
1
, p
2
, , p
n
e consideremos
a = p
1
,p
2
,...,p
n
+ 1.
Temos a > 1 e pelo Exerccio 2.36, a admite um fator primo positivo p
que deve ser um dos p
i
s, 1< i n. Logo, p|a e p | p
1
, ...p
n
e , portanto,
p|1, o que uma contradio.

2.38. Primeiramente, vamos calcular P(n) para alguns valores de n

n p(n) n p(n) n p(n) n p(n) n p(n)
1 1523 18 503 35 61 52 197 69 911
2 1447 19 461 36 53 53 223 70 971
3 1373 20 421 37 47 54 251 71 1033
4 1301 21 383 38 43 55 281 72 1097

5
Os conjuntos finitos e infinitos sero estudados no Captulo 6.
57
5 1231 22 347 39 41 56 313 73 1163
6 1163 23 313 40 41 57 347 74 1231
7 1097 24 281 41 43 58 383 75 1301
8 1033 25 251 42 47 59 421 76 1373
9 971 26 223 43 53 60 461 77 1447
10 911 27 197 44 61 61 503 78 1523
11 853 28 173 45 71 62 547 79 1601
12 797 29 151 46 83 63 593 80 1681
13 743 30 131 47 97 64 641
14 691 31 113 48 113 65 691
15 641 32 97 49 131 66 743
16 593 33 83 50 151 67 797
17 547 34 71 51 173 68 853

Observemos que at o nmero 79 temos P(n) primo.(para verificar este
resultado pode- se utilizar um programa computacional), porm
P(80) = 1681 = 41
2
.
Portanto, P(n) nem sempre primo. Se no calculssemos o valor para
n = 80 talvez teramos conjeturado que P(n) primo mas no
conseguiramos torn-la um teorema. Como P(80) falsa a conjectura
falsa.
2.39. Seja (a
n
) n IN
*
, uma seqncia tal que a
1
= 1 e a
n+1
= a
n
+ 8n.
Vamos determinar alguns valores de a
n
:
a
1
= 1
a
2
= a
1
+ 8 = 9
a
3
= a
2
+ 8.2 = 9 + 16 = 25
a
4
= a
3
+ 8.3 = 25 + 24 = 49
a
5
= a
4
+ 8.4 = 49 + 32 = 81
Como podemos observar devemos ter P(n) : a
n
= (2n 1)
2
verdadeiro
para todo n IN
*
. De fato, temos P(1) verdadeiro pois:
a
1
= (2.1 1)
2
= 1
2
= 1
Suponhamos que P(k) seja verdadeiro. Ento, temos a
k
= (2k 1)
2
e
assim
58
a
k+1
=a
k
+8k=(2k1)
2
+8k =
= 4k
2
4k+1+8k=4k
2
+8k+1=(2k+1)
2
=(2(k+1)1)
2
,

2.40. Primeiramente, vamos calcular A
n
para alguns valores de n:

n A
n
n A
n
1
(
4 2
2 1

4
(
500 250
250 125

2
(
20 10
10 5

5
(
2500 1250
1250 625

3
(
100 50
50 25

6
(
12500 6250
6250 3125

Podemos notar que o valor provvel de A
n

(

1 n 1 n
1 n 1 n
5 . 4 5 . 2
5 . 2 5
. Provaremos
por induo esta afirmao:
Seja P(n) :A
n
=
(

1 n 1 n
1 n 1 n
5 . 4 5 . 2
5 . 2 5
, quando A=
(
4 2
2 1
.
Temos, obviamente, P(1) verdadeiro. Suponhamos que P(k) seja
verdadeiro, ou seja,
A
K
=
(

1 k 1 k
1 k 1 k
5 . 4 5 . 2
5 . 2 5
.
Multiplicando ambos os lados por A obtemos
A . A
k
=
=
(
4 2
2 1
.
(

1 k 1 k
1 k 1 k
5 . 4 5 . 2
5 . 2 5
=
(
+ +
+ +

1 k 1 k 1 k 1 k
1 k 1 k 1 k 1 k
5 . 16 5 . 4 5 . 8 5 . 2
5 . 8 5 . 2 5 . 4 5
=
(
k k
k k
5 . 4 5 . 2
5 . 2 5
.
Portanto, P(k + 1) verdadeiro.
Captulo 3

59
3.1.
a) b)
c) Impossvel
d)
e)Impossvel

3.2. Consideremos uma reta r, um plano e dois pontos P e Q com
P Q, onde r~ significa a relao entre r e , temos:

Casos P r P r~ Figura Ilustrativa
1 S S r
P r

2 S S r // (impossvel)
3 S S r =P
P
r

4 S S r = Q
P
(impossvel)
5 S N r
(impossvel)
60
6 S N r //
P r

7 S N r =P (impossvel)
8 S N
r = Q
P
P
r
Q

9 N S r
r
P

10 N S r //
P
r

11 N S r =P (impossvel)
12 N S
r = Q
P
P
r
Q

61
13 N N r
P
r

14 N N r //
P
r

15 N N r =P (impossvel)
16 N N
r = Q
P
P
Q

3.3. Proposio 3.3
c) Seja x A, por hiptese A = B, logo, pelo Axioma da Extenso, x A
x B, mas por hiptese B = C, assim temos tambm pelo Axioma da
Extenso, x B x C. Logo, pelo Teorema 2.16 (transitividade da
bi-implicao), temos x A x C. Portanto, novamente pelo Axioma
da Extenso, A = C.
d) Observe que x A x A sempre verdadeiro, logo, pela Definio
3.2, A A.

3.4. De fato, a negao de (A)(B)(A B B A) equivalente a
(A)(B)(~(A B B A)) que equivalente a (A)(B)(A B B A)).
Mas esta proposio verdadeira, pois podemos exibir conjuntos A e B
tais que A esteja contido em B e exista um elemento do conjunto B no
pertencente a A. Para isto, basta considerarmos os conjuntos A = {1,2} e
B = {1,2,3}. Assim temos que A B, mas B A pois 3 B mas 3 A.

62
3.5. a) Seja x A, como A
B ento x B, mas por hiptese B C,

logo x C. Assim, A C. Alm disso, temos A C pois se A = C
teremos B A. Isto implica que todo elemento de B est em A, o que
contradiz a hiptese A
B, que garante que existe um elemento em B

que no pertence a A. Portanto, A
C.

b) Seja x A, como A B ento x B, mas por hiptese B
C, logo x C.
Assim, A C. Alm disso, A C pois se A = C teremos C B. Isto
implica que todo elemento de C est em B, o que contradiz a hiptese
B
C, que garante que existe um elemento em C que no pertence a B.

Portanto, A
C.

3.6. a) i) A e B so comparveis pois B A.
ii) Temos que y R e y S, assim R S e t S e t R, assim S R.
Logo, por definio, R e S no so comparveis.

b) Imediato do item f) da Proposio 3.3.

c) A
1
={1}, A
6
={1, 2, 3, 4, 5, 6},
A
2
={1, 2}, A
7
={1, 2, 3, 4, 5, 6, 7},
A
3
={1, 2, 3}, A
8
={1, 2, 3, 4, 5, 6, 7, 8},
A
4
={1, 2, 3, 4}, A
9
={1, 2, 3, 4, 5, 6, 7, 8, 9},
A
5
={1, 2, 3, 4, 5}, A
10
={1, 2, 3, 4, 5, 6, 7, 8, 9, 10}.

d) A
n
={1, 2, 3, ... , n}, n IN.

3.7
A C={1, 2, 3, 4, 5, 8, 9} C A={1, 2, 3, 4, 5, 8, 9} Comutativo
A C={2, 4} C A={2, 4} Comutativo
B C={1, 2, 3, 4, 5, 6, 8, 9} C B={1, 2, 3, 4, 5, 6, 8, 9} Comutativo
B C= C B= Comutativo
A(BC)={1,2,3,4,5,6,8,9} (AB)C={1,2, 3, 4, 5, 6, 8, 9} Associativo
A (B C)=A = (A B) C={1,3,5} = Associativo
63
A (B C)={1, 2, 3, 4, 5} (AB) (AC)={1, 2, 3, 4, 5} Distributivo
A (B C)={1, 2, 3, 4, 5} (AB) (AC)={1, 2, 3, 4, 5} Distributivo

3.8. Suponhamos, sem perda de generalidade, que A B = . Assim
temos, A B C = (A B) C = C = .

3.9. a) Falsa, pois o conjunto no elemento, por exemplo, do {1}.
b) Verdadeira, pois o conjunto subconjunto de qualquer conjunto,
pelo Teorema 3.5.
c) Verdadeira, pois no conjunto {, {}} temos o conjunto .
d) Verdadeira, pois o conjunto subconjunto de qualquer conjunto,
pelo Teorema 3.5.
e) Falsa, pois o conjunto no possui elemento e no conjunto {0} temos o
elemento 0.
f) Falsa, pois os nicos elementos do conjunto {{2}, {3, 4}} so os
conjuntos {2} e {3, 4}.
g) Falsa, pois no temos elementos em 2 para que estes estejam no
conjunto {{2}},{3,4}}.
h) Verdadeira, pois no conjunto {2,{2},{3,4}} temos o elemento 2.
i) Verdadeira, pois no conjunto {2,{2},{3,4}} temos o elemento {3,4}.
j) Depende da construo dos nmeros naturais.
k) Falsa, pois o conjunto no possui elemento.
l) Falsa, pois se a = {1,2} temos {1,2} {{1,2}}, pois, por exemplo,
1{1,2}, o nico elemento deste conjunto o conjunto {1,2}.
m) Verdadeira, pois no conjunto {4, {4}} temos o elemento {4}.
n) Verdadeira, pois no conjunto {4, {4}} temos o elemento 4, nico
elemento de {4}.
o) Verdadeira, pois no conjunto {4, {4}} temos o elemento 4.
p) Verdadeira, pois o conjunto {c} o nico elemento que pertence aos
dois conjuntos, que esto fazendo a interseo.
q) Falsa, pois a, b e c no pertencem a ambos os conjuntos.

3.10. {, {m}, {a}, {t}, {e}, {i}, {c}, {m, a}, {m, t}, {m, e}, {m, i},
{m, c}, {a, t}, {a, e}, {a, i}, {a, c}, {t, e}, {t, i}, {t, c}, {e, i}, {e, c},
64
{i, c}, {m , a, t}, {m, a, e}, {m , a, i}, {m, a, c}, {m, t, e}, {m, t, i},
{m, t, c}, {m, e, i}, {m, e, c}, {m, i, c}, {a, t, e}, {a, t, i}, {a, t, c},
{a, e, i}, {a, e, c}, {a, i, c}, { t, e, i}, {t,i,c}, {t, e, c}, {e, i, c},
{m, a, t, e}, {m, a, t, i}, {m, a, t, c}, {m, a, e, i}, {m, a, e, c},
{m, t, e, i}, {m, t, e, c}, {m, t, i, c}, {m, e, i, c}, {a, t, e, i},
{a, t, e, c}, {a, t, i, c}, {a, e, i, c}, {t, e, i, c}, {m, a, t, e, i},
{m, a, t, e, c}, {m, a, t, i, c}, {m, a, e, i, c}, {m, t, e, i, c}, {a, t, e, i, c},
{m, a, e, i, c}, {m, a, t, e, i, c}}.

3.11. a) Temos
B = { xZ | x
2
<15} = {x Z |
15 x <
} = { x Z |
15 x 15 < <
}.
Como
15
< 4, temos B
A.

b) A = {m, e, n, t, c, a, p, o} e B = {c, o, n, t, e, m, p, l, a}. Como
qualquer elemento de A pertence tambm a B e l A temos A
B.

c) Temos A = {a IR | a > 0 e a
2
< 25} = { a R | 0 < a < 5} e
B={b IR| b > 0 e 4b < 30}={ b R| 0 < b < 2
15
}. Como 5< 2
15
,
temos A
B.

d) Temos A B = e A B=Z.

3.12. Considere os conjuntos
A= {a, b, 1, 2}, B={a, b, c, 4} e C={1, 2, 3, 4}
e teremos o desejado.

3.13.
a) I
1
I
2
=] , 5] b) I
1
I
3
=[1, 10] c) I
1
I
4
=[3, 6]
d) I
1
I
5
=[1, +[ e) I
1
I
2
=[1, 1] f) I
1
I
3
=[0, 1]
g)I
1
I
4
=[1, 1] h) I
3
I
5
=[0, +[ i) I
2
I
4
=] , 6]
j) I
2
\ I
4
=] , 3[ k) C
IR
I
2
= ]5, +[ l) C
IR
I
5
=] , 3[
m) C
IR
(I
2
I
3
)=] , 0[ ]5, +[ n) I
2
I
4
I
1
I
3
=[0,1]
65
o) I
1
I
2
I
3
=[0, 1] p) I
3
I
4
=[0, 6]
q) C
IR
(I
2
) C
IR
(I
5
) =] , 3[]5, +[ r) I
1
I
5
=
s) C
IR
(I
1
) =] , 1[ ]1, +[

t) I
1
I
2
I
3
I
4
=] , 10]
u)I
1
I
2
I
3
I
4
I
5
=IR

3.14.
-1 1
5
a)

0 10
6
-3
b) c

-1 1
3
c)

3.15. a) A e B so iguais, pois a equao x
2
= 4 no admite soluo em
IN, portanto B tambm .
b) A e B no so iguais, uma vez que no possvel diviso por zero, 0
no pode ser elemento de B.
c) A e B so iguais, pois todo nmero inteiro maior ou igual a zero
pertence a IN. Portanto B = IN.
d) A e B so iguais, pois B constitudo por todos os nmeros reais
compreendidos entre 0 e 1, o mesmo acontece com A. importante
lembrar que so duas maneiras distintas de escrever o mesmo conjunto.

3.16.

66
C
A
D
B
E
A
E D C
B

Diagrama de Venn-Euler e Diagrama de linha.

3.17.

Polgonos
A
D
G
C
E
H
B F
A D G
C
E
H
F
B

Diagrama de Venn-Euler e Diagrama de linha.

3.18. Teorema 3.9

a) Devemos mostrar que xB xAB. Observemos que a proposio
(xB)[(xA)(xB)] sempre verdadeira, pela regra lgica de adio,
assim temos o resultado.

b) Para a primeira parte devemos mostrar que x A B x A. Basta
observarmos que a condicional [(x A) ( x B)] (x A) sempre
verdadeira, pela regra lgica de simplificao, donde segue o resultado.
67
Para a segunda parte devemos mostrar que x A B x B. Para
isto, basta observarmos que a proposio [(x A) (x B)] x B
sempre verdadeira pela regra lgica de simplificao, donde temos o
desejado.

c) Suponhamos que A B, pelo item b) temos A B A. Resta mostrar
que A A B. Seja x A, como A B temos que x A implica x A e
x B o que, por sua vez, implica x A B, logo A A B, como
queramos. Reciprocamente, seja x A, por hiptese A = A B, assim x
A B. Logo, x A x B, o que implica que x B, pela lei de
simplificao. Portanto, A B.

d) Pelo item b) temos A (A B) A, resta mostrar que A A (A B).
Seja x A, pelo item a) temos x A B. Logo, x A e x A B, ou seja,
x A (A B). Assim, A A (A B) e, portanto, A (A B) = A.

e) Para a primeira parte, considere x A , ento (x A) (x ).
Por definio, x sempre falso, ento temos que x A deve ser
verdadeiro. Assim, x A equivalente a x A, ou seja, A
= A. Para a segunda parte, sabemos que A , pois est
contido em qualquer conjunto. Seja x A, ento (x A) (x ).
Pela lei da simplificao x . Logo, A e obtemos o
desejado.

Teorema 3.11

b) Se x C \ (A B), temos por definio que x C e x A B, logo,
por definio de unio (x C) ~(x A x B). Pela Lei de De
Morgan, temos que (x C) (x A x B). Mas, pela lei distributiva,
isto equivalente a
(x C x A) (x C x B)
e, assim, x (C \ A) (C \ B), pela definio de interseo. Observemos
que todos os resultados utilizados foram equivalncias lgicas e portanto
se x (C \ A) (C \ B) teremos x C \ (A B), donde segue o resultado.

68
c) Se x C \ (B \ A), temos, por definio, que x C e x (B \ A), logo, por
definio, (x C) ~(x B x A). Pelas Leis de De Morgan, temos que
(x C) (x B x A). Mas isto equivale a (x C x B) (xC xA)
e, assim, x (A C) (C \ B). Observemos que todos os resultados
utilizados formam equivalncias lgicas e portanto se x (A C) (C \ B)
teremos x C \ (B \ A), donde segue o resultado.

d) Basta observar que [(x A x A) x ] uma proposio
sempre verdadeira, j que x A e x A sempre falsa.

e) Conseqncia dos itens c e d, considerando C = B = A e A = B.

f) De fato, temos
x (A B) \ (A C)
(x A B) (x A C) (x A x B) (x A C)
(x A x B) ~( x A C)
(x A x B) ~(x A x C)
(x A x B) (x A x C)
[(x A x B) x A] [(x A x B) x C]
[(x A ~x A) x B)] (x A x B x C)
x A (x B x C) x A (B \ C).

h) Temos, por definio, que B \ A B, suponhamos que A B = , se
x B, ento, como A B=, temos x A. Logo, x B \ A, assim B \ A = B.
Reciprocamente, se A B teramos x A e x B. Como, por hiptese,
B \ A = B, x A e x B \ A, ou seja, x A. Assim, x A e x A, o que uma
contradio.

i) Temos, por definio de diferena de conjuntos, que A \ A. Se
A A \ ento existe algum x A tal que x A \ , ou seja, x A e (x A
ou x ). Isto equivalente a dizer que x A e x A, o que uma
contradio. Logo, A A \ e, portanto, A \ = A.

69
j) Temos, pelo Teorema 3.5, que \ A. Se \ A ento existe x
\ A tal que x , ou seja, x e x A e x . o que uma contradio.
Logo, \ A e, portanto, \ A = .

Teorema 3.12

c) Temos a seguinte seqncia de equivalncias lgicas que nos levam
ao resultado:
x A C
E
A (x A) (x C
E
A) (x A) (x A)
(x A) ~(x A) c x .

d) De fato, temos
x A C
E
A (x A) (x C
E
A) (x A) [(x E) (x A)
[(x A) (x E)] [(x A) (x A)] (x A) (x E)
x E.

f) Temos a seguinte seqncia de equivalncias lgicas que nos levam
ao resultado:
x C
E
(AB) x (A B) ~[x (A B)]~[(x A) (x B)]
x A x B x C
E
A x C
E
B x C
E
A C
E
B.

g) Temos a seguinte seqncia de equivalncias lgicas que nos levam
ao resultado:
x C
E
A B (x C
E
A) (x B) (x A) (x B)
(x B) (x A) x B A.

h) Temos a seguinte seqncia de equivalncias lgicas que nos levam
ao resultado:
x A C
E
B (x A) (x C
E
B) (x A) (x B)
~[(x A) (x B)] ~(x B A) x B A
x C
E
(B \ A).

70
i) Segue imediatamente da Definio 3.10.

j) Temos, pelo item anterior e pelo item i) do Teorema 3.11,
C
E
= E \ = E.

k) Temos, pelo item i) e pelo item i) do Teorema 3.11 C
E
E = EE = .

Teorema 3.13

b) De fato, temos
x A (B C)
(x A) (x B C) (x A) [(x B) (x C)]
[(x A) (x B)] (x C) (x A B) x C
x (A B) C.

c) De fato, temos
x A B (x A) (x B) (x B) (x A) x B A.

d) De fato, temos
x A B (x A) (x B) (x B) (x A) x B A.

f) De fato, temos
x A (B C) x A (x B C) x A [(x B) (x C)]
[(x A) (x B)] [(x A) (x C)]
(x A B) (x A C) x (A B) (A C).

g) De fato, temos x A A x A x A x A.

h) De fato, temos x A A x A x A x A.

3.19. Temos, por hiptese,
71
A= {2k, k Z} = {...,6 , 4, 2, 0, 2, 4, 6, ...},
B= {3k, k Z} = {..., 9, 6, 3, 0, 3, 6, 9, ...} e
C= {5k, k Z} = {..., 15, 10, 5, 0, 5, 10, 15, ...}.
Logo, temos B C= {15k, k Z} = {..., 45,30, 15, 0, 15, 30, 45,...}
e assim
A (B C)= {30k, k Z} = {..., 90, 60, 30, 0, 30, 60, 90, ...}.
Temos tambm
A B = {6k, k Z} = {...,42,36,30,24,18,12,6,0, 6,12,18,24,...}
e assim
(A B) C= {30k, k Z} = {..., 90, 60, 30, 0, 30, 60, 90, ...}.

3.20.
a) A B={a, b, c, d, e, f} b) A C={a, b, c, d, e, f, g, h}=E
c) A B={c, d} d) A C=
e) B C={e, f} f) A B C={a,b,c,d,e,f,g,h}=E
g) B C={c, d, e, f, g, h} h) A B C=
i) C \ B={g, h} j) A \ C={a, b, c, d}=A
k) A \ B={a, b}
l) C
E
B={a, b, g, h}
m) A C
E
C={a,b,c,d}=A= C
E
C n) A \ C
E
B ={c, d}
o) B C
E
B=
q) C
E
B \ C={a, b}
p) C
E
E=, C
E
A={e, f, g, h},
C
E
C={a, b, c, d}

3.21.
Teorema 3.16

b) Suponha que B A, para todo A em C. Seja x B ento, como B A,
xA, qualquer que seja A C, ou seja,
A x
C A
I
. Portanto,
A B
C A
I
.

72
d) Temos que x C
E

A
C A
I
se, e somente se,
A x
C A
I
. Assim, temos
que para algum A em C, x A, ou seja, x C
E
A, para algum A C.
Portanto, C A
x
U
C
E
A.

f) De fato, temos
|
.
|
\
|

|
.
|
\
|
|
.
|
\
|
|
.
|
\
|

B x A x B A x
C C B C A C C B C A
E E
I I I U I

(x A, A C) ou (x B, B C
E
C)
x A B, ( A C) ou ( B C
E
C)

( ) B A x
C C B , C A
E

I
.

Proposio 3.18

b) Para demonstrar que (
A
C A
U
)
) A (
C A

U
devemos mostrar que
X
) A (
C A

U
X (
A
C A
U
).
De fato, se X
) A (
C A

U
ento X (A) para algum A C, ou seja,
X A, para algum A C. Logo, X
A
C A
U
e assim X (
A
C A
U
), como
queramos demonstrar.

Teorema 3.22

b) Temos que
(a, x) A (B C)
(a A) (x B C) (a A) [(x B) (x C)]
[(a A) (x B)] [(a A) (x C)]
[(a, x) AB] [(a, x) AC] (a, x) [(AB) (AC)].
73

3.22.
a) Falso, basta considerar A={1, 2}, B={1, 2, 3} e C={1, 2}.

b) Falso, basta considerar A={1, 2}, B={3, 4, 5} e C={1, 2, 3, 4, 5, 6}.

c) Falso, basta considerarmos A={1}, B={1, 2} e C={{1, 2}, 3}.

d) Falso, basta tomar A={x, 1} e B={{x, 1}, 2}.

e) Falso, basta considerarmos A={1}, B={{1}, 2} e C={{{1}, 2}, 3}.

f) Verdadeiro. Justificaremos de duas maneiras:

1. Com equivalncias lgicas:
x [(A \ B) (A B)] x [(A \ B) x (A B)]
(x A x B) x (A B) (x A x B) (x A x B)
x A (x B x B) x A t x A.

2. Sem equivalncias lgicas:
Seja x [(A \ B) (A B)], ento, por definio de unio, x (A \ B) ou x
(A B). Consideremos os dois casos separadamente:
i) Se x (A \ B) ento x A e x B. Logo, x A.
ii) Se x (A B), ento x A e x B. Logo x A.
Portanto, em ambos os casos, x A. Dessa forma,
x [(A \ B) (A B)] x A, isto , (A \ B) (A B) A.
Reciprocamente, consideremos x A. Se x B, ento x (A B). Logo,
x [(A \ B) (A B)]. Caso x B, ento x (A \ B), por definio.
Portanto, x [(A \ B) (A B)]. Assim, x A x [(A \ B) (A B)],
ou seja, A [(A \ B) (A B)]. Portanto, (A \ B) (A B) = A.

74
g) Verdadeiro, como A \ B um subconjunto de A temos que A \ B
tambm um subconjunto de A B.

h) Verdadeiro, pois
x A (A B) x A x (A B) x A (x A x B)
(x A x A) x B x A x B x A B.
Uma outra maneira de demonstrar a seguinte:
Seja x A (A B]. Por definio de interseo, x A x (A B).
Logo, x A B. Isto significa que A (A B) (AB). Reciprocamente
seja x (AB), ento xAxB. Assim, x A. Como x A x (AB),
segue que x A (A B). Portanto, (A B) A (A B). Dessa
forma, A (A B) = (A B).

3.23.
a) De fato, temos
x B \ C
E
A x B x C
E
A x B ~(x C
E
A)
x B ~(x A) x B ~(~x A)
x B x A x A x B x A B.

b) De fato, temos
x (A \ B) (B \ A) (x A x B) (x B x A)
[(xA xB) (xA xA)] [( xB x B) [(x B x A)]
[(xA xB) t] [t [(xA xB)] (xA xB) (xA x B)
x A B x A B) x A B \ A B.

c) De fato, temos
x (A \ B) B x (A \ B) x B (x A x B) x B
(x B x A) ( x B x B)
(x B x A) [x B ~(x B)] (x B x A) t
(x B x A) (x A x B) x A B.

d) De fato, temos
75
x A \ B x A x B x A x A x B x A B.

e) De fato, temos
x A (AB) x A (x AB) x A (xA xB) x A.

f) De fato, temos
x A \ (A B) x A (x A B) x A ~(x A B)
x A ~(x A x B) x A [~(x A) ~(x B)]
(x A x A) (x A x B) c (xA x B)
x A x B x A \ B.

g) Como A , temos A = , pois A sempre verdadeiro pelo
Teorema 3.5.

h) De fato, temos
x (A \ B) (C \ D)
x A \ B x C \ D (x A x B) (x C x D)
x A (x B x C) x D
x A (x C x B) x D
(x A x C) (x B x D)
(x A x C) (~x B ~x D)
(x A x C) ~(x B x D)
x A C ~(x B D)
x A C (x B D) x (A C) \ (B D).

i) Suponhamos que A = B e seja C (A), assim C A. Como A = B,
C B, logo C (B). Assim, (A) (B). Considere agora C (B),
assim C B. Como A = B, C A, logo C (A). Assim, (B) (A).
Logo, (A) = (B). Reciprocamente, suponhamos que (A) = (B) e
seja x A, ento {x} (A). Como (A) = (B), ento {x} (B).
Assim, temos {x} B e ento x B. Logo, A B. Considere agora
x B, ento {x} (B). Como (A) = (B), ento {x} (A). Assim,
temos {x} A e ento x A. Logo, B A. Portanto, A = B.
76

j) Suponhamos que A B. Seja C (A), assim C A. Como A B,
segue que C B, logo C(B) e assim (A) (B). Reciprocamente,
suponhamos que (A) (B) e seja x A, ento{x}(A). Como
(A) (B), ento {x}(B). Logo, {x} B e x B. Portanto, A B.

k) Se a B temos
X a X } a { ) B ( } a { B } a {
) B ( X ) B ( X
U U
.
Logo, B
) B ( X
U
X. Suponhamos que a
) B ( X
U
X, ento existe X (B) tal
que a X. Logo, existe X B tal que a X, assim, a B. Logo,
) B ( X
U
X B
e a igualdade segue.

l) Suponhamos que A B = , se tivermos (A) (B) {}, existe
C tal que C (A) e C (B) e isto implica C A C B. Logo,
C A B e ento A B , o que uma contradio.
Reciprocamente, suponhamos que (A) (B) = {}, se A B
existe x A x B. Isto implica {x} A e {x} B e logo {x}(A) e
{x}(B). Portanto, (A) (B) {}, o que uma contradio.

m) Como (A) (B) temos (A) B. Por outro lado, A (A).
Portanto, A B.

n)
X
) B ( X
I
=. De fato, como (B), ento
X
) B ( X
I
=
X
X
) B ( X

I
= .

o) De fato, temos
(a, x) (A B) X a (A B) x X (a A a B) x X
(xX aA) (xX aB) (a A x X) (a B x X)
(a, x) A X (a, x) B X (a, x) (A X) (B X).
77

p) De fato, temos
(a, x) A B X a A B x X (a A a B) x X
(aA aB) (xX x X) a A (a B x X) x X
aA (xX aB) x X (a A x X) (a B x X)
(a, x) A X (a, x) B X (a, x) (A X) (B X).

q) De fato, temos
x A B x A x B (x A x B) (x C x C)
[(x A x B) x C] [(x A x B) x C]
(xA xC) (xB x C) (xA x C) (x B x C
E
C)
x A C x B C
E
C x (A C) (B C
E
C).

r) De fato, temos
(a, x) (A \ B) X a (A \ B) x X (a A a B) x X
(aA aB) (xX xX) (a A x X) (a B x X)
(a, x) A X (a, x) B X (a, x) (A X) \ (B X).

s) De fato, temos
x (A C) (B C
E
C) x (A C) x (B C
E
C)
(x A x C) (x B x C
E
C)
[(x A x C) (x B)] [(x A x C) x C
E
C]
[(x A x C) (x B)] [x C
E
C (x A x C)]
[(x A x C) (x B)] [(x C
E
C x A) (x C
E
C x C)]
[(x A x C) (x B)] (x C
E
C x A) x A x B
x A B.

3.24. Basta considerarmos os conjuntos
A= {1, 2, 3}, B= {3, 4, 6} e C= {2, 5, 6}
e teremos um contra-exemplo. De fato, (A B) C={2, 3, 5, 6} e A (B
C)={2, 3}. Mostremos agora a equivalncia entre a igualdade dada e
C A.
78

Suponhamos que (A,B,C)[(A B) C = A (B C)] e considere
x C. Ento x (A B) C e, pela hiptese, x A (B C). Logo, x A
e, portanto, C A. Reciprocamente, suponhamos que C A ento, temos
que x(A B) C se, e somente se x (A B) ou xC, ou seja, (x A e
x B) ou xC. Mas isto equivale a (xA ou xC) e (x B ou x C) o que,
por sua vez, equivale a x (A C) e x (B C). Como C A, temos que
x (A C) e x (B C) equivalente a x A e x (B C), ou seja, x
A (B C).

3.25. a) A \ B={2, 5} e B \ A=. Assim A B={2, 5}
b) Devemos mostrar que (A \ ) ( \ A)=A. Com efeito,
x (A \ ) ( \ A) (x A \ ) (x \ A)
(x A x ) (x x A).
Mas (x x A) sempre falsa, pois x . Assim
(x A x ) (x x A) x A x x A t x A.

c) Devemos mostrar que (A \ A) (A \ A)= . De fato, A \ A=, pelo
item a do Teorema 3.11, assim =.

d) Como A B = (A B) (B A) e B A = (B A) (A B), o
resultado segue da comutatividade da unio de dois conjuntos.

e) Seja x um elemento de (A B) C. Como
(A B) C = ((A B) \ C) (C \ (A B)),
temos os seguintes casos:
1. x A B e x C: Neste caso temos os seguintes subcasos:
i) x A e x B e x C.
ii) x A e x B e x C

2. x A B e x C: Neste caso temos os seguintes subcasos:
i) x A e x B e x C.
ii) x A e x B e x C.
79
Logo, das trs relaes x A, x B e x C, um elemento de (A B) C
satisfaz exatamente uma delas ou todas simultaneamente. Por outro
lado um elemento x pertence a A (B C) somente nos seguintes
casos:
1. x A e x B C: Neste caso, temos os seguintes subcasos:
i) x A e x B e x C.

2. x A e x B C: Neste caso, temos os seguintes subcasos:
i) x A e x B e x C.
que so exatamente as condies anteriores. Portanto,
(A B) C = A (B C).

3.26. No verdadeiro, basta considerarmos A= {1, 2, 3}, B= {3, 4, 6}
e C= {2, 5, 6}, teremos que
A (B \ C)={1, 2, 3, 4} e (A B) \ (A C) = {4}.

3.27.
a) No partio, pois , 0 A, assim {o, 10} A. Logo,
5
U
B
B
e 6 pertence a dois conjuntos distintos. Logo, ii) no
verdadeira. Podemos definir uma nova partio
= {{1,6},{2,7},{3,8},{4,9},{5,10}}.

b) No partio, pois e 0 A. Uma nova partio pode ser
={{1,6},{2,7},{3,8},{4,9},{5,10}}.

c) No partio, pois , 9 B, para qualquer B e 5 pertence
a dois conjuntos distintos. Uma nova partio pode ser
= {1,6},{2,7},{3,8},{4,5},{9,10}}.

80
d) No partio, pois , e 6 pertence a dois conjuntos distintos.
Podemos definir uma nova partio
= {{1},{2,7},{3,8},{4,9},{5,6,10}}.

e) No partio, pois e
U

B
A B
, uma vez que 10
U
B
B
. Uma
nova partio pode ser = {{1,6,10},{2,7,8,3},{3,4},{5,9}}.

f) No partio pois . Podemos definir uma nova partio
= {{1,6},{2,7},{3,8,4,9},{5,10} }.

g) No partio, pois 1 pertence a dois conjuntos distintos e alm
disso, 0
U
B
B
e 0A, logo ii) no se verifica. Uma nova partio pode
ser
={{6},{2,7},{3,8},{4,9},{1,5,10}}.

h) No partio, pois
U

B
A B
, ou seja, B={11, 12} A. Uma nova
partio pode ser = {{1,6},{2,7},{3,8},{4,9},{5,10}}.

i) No partio, pois 5 pertence a dois conjuntos distintos e 8 B para
qualquer B . Uma nova partio pode ser
= {{1,6.8},{2,7},{3},{4,9},{5,10}}.

j) No partio, pois 5 pertence a dois conjuntos distintos. Uma nova
partio pode ser = {{1,6},{2,7,8},{3,5},{4,9},{10}}.

k) No partio, pois 6 B qualquer que seja o conjunto B . Uma
nova partio pode ser
= {{1},{2,7},{3,5},{4,6,9},{8,10}}.
l) partio, pois satisfaz os trs itens da definio.

81
3.28. Podemos encontrar as seguintes parties:
a) Em relao ao conjunto {1, 2}, temos
{{1},{2}},
{{1,2}}.
b) Em relao ao conjunto {1,2,3}, temos
{{1},{2},{3}},
{{1,2},{3}},
{{1,3},{2}},
{{1},{2,3}},
{{1,2,3}}
c) Em relao ao conjunto {a,b,c,d}, temos
{{a},{b},{c},{d}},
{{a,b},{c},{d}},
{{a,b},{c,d}},
{{a,c},{b},{d}},
{{a,c},{b,d}},
{{a,d},{b},{c}},
{{a,d},{b,c}},
{{a},{b,c},{d}},
{{a,d},{b,c}},
{{a},{b,d},{c},
{{c,d},{a},{b}},
{{a,b,c},{d}},
{{a,b,d},{c}},
{{b,c,d},{a}},
{a,b,c,d}.

3.29. De fato,
U
B
B
={1, 2, 3, 4, 5, 6, 7}, assim basta observarmos que
todo elemento de A pertence a
U
B
B
, assim A
U
B
B
e, por definio,
uma cobertura de A.
82

3.30. a) Seja uma coleo de conjuntos fechada para a unio. Por
hiptese, temos A B e A B em para quaisquer A e B em . As leis
comutativas, associativa e distributiva seguem do Teorema 3.13. A
identidade aditiva o conjunto vazio e a identidade multiplicativa o
conjunto unio de todos os conjuntos de . O complemento o
complementar de um conjunto na unio de todos os conjuntos de .

b) Por definio, temos p q e p q pertencente ao conjunto das
proposies. As leis comutativa, associativa e distributiva seguem das
equivalncias lgicas. A identidade aditiva a contradio e a identidade
multiplicativa a tautologia. O complemento a negao.

3.31.
x
y
x = y
0
a)
x
y
x = y
0
b)

c)

3.32. A nica condio que A= B. De fato,
(x, y) A B x A y B. Por outro lado,
(x, y) B A x B y A. Logo, x A x B.

3.33. Suponhamos que A B = e que A e B sejam diferentes do
conjunto vazio. Logo, existem a A e b B pela Definio 3.21 tal que
83
A B , pois (a, b) A B, o que contradiz a hiptese. A recproca
segue do Exemplo 3.29.

3.34. Seja (a,x) A C, logo (a A) x C), ento, como A B, temos
(aB) (xC), logo (a, x) B C, como queramos demonstrar.

3.35. De fato, temos
(a, x) (A C) (B D) [(a, x) (A C) ] [(a, x) (B D)]
[(a A) (x C)] [(a B) (x D)]
(a A) [(x C) (a B)] (x D)
(a A) [(a B) (x C)] (x D)
[(a A) (a B)] [(x C) (x D)]
[a (A B)] [x (C D)] (a, x) (A B) (C D).

3.36. Suponhamos que (a A) (x C), como x C, ento (a,x) AC.
Logo, a A [(a, x) A C]. Reciprocamente, como (a, x) A C e a A,
ento x C. Assim, (a A) (x C).

3.37. Seja (a, b) A B, assim, por definio, a A e b B. Como A X
e B Y ento
a A a X e b B B Y.
Logo a X e B Y e portanto (a, b) X Y. A recproca nem sempre
vlida, valer somente se A e B forem ambos vazios ou ambos
diferentes do conjunto vazio. De fato, se ambos forem vazios o
resultado imediato, do Teorema 3.5. Suponhamos que A B X Y,
onde A e B so ambos no vazios e considere x A. Assim temos (x,y)
A B, para todo y B. Logo, (x,y) X Y e, portanto, x X, ou seja,
A X. Analogamente, temos B Y. Quando exatamente um dos
conjuntos vazio, digamos o conjunto A, teremos A B = X Y,
independente do conjunto B e assim existir um conjunto B que no
esteja contido necessariamente em Y.

3.38.
a) A B ={(1,2), (1,3), (1,4), (2,2), (2,3), (2,4), (3,2), (3,3), (3,4)}.
b) B A ={(2,1), (3,1), (4,1), (2,2), (3,2), (4,2), (2,3), (3,3), (4,3)}.
84
2 3
2
3
4
1
3 4
1
2
3
2
a) b)

c) A C ={(1,a), (1,b), (1,c), (2,a), (2,b), (2,c), (3,a), (3,b), (3,c)}.
d) C A ={(a,1), (a,2), (a,3), (b,1), (b,2), (b,3), (c,1), (c,2), (c,3)}.
2 3
a
b
c
1
b c
1
2
3
a
c) d)

e) B C ={(2,a), (2,b), (2,c), (3,a), (3,b), (3,c), (4,a), (4,b), (4,c)}.
f) (A B) (A C) = .
g) A (B C) ={(1,2), (1,3), (1,4), (1,a), (1,b), (1,c), (2,2), (2,3), (2,4),
(2,a), (2,b), (2,c), (3,2), (3,3), (3,4), (3,a), (3,b), (3,c)}.
3 4
a
b
c
2
e) g)
2 3
a
b
c
1
2
3
4

85

h) (A B) (A C) ={(1,2), (1,3), (1,4), (2,2), (2,3), (2,4), (3,2), (3,3),
(3,4), (1,a), (1,b), (1,c), (2,a), (2,b), (2,c), (3,a), (3,b), (3,c)}.
i) C B ={(a,2), (a,3), (a,4), (b,2), (b,3), (b,4), (c,2), (c,3), (c,4)}.
j) A (B C)= A =.

h)
2 3
a
b
c
1
2
3
4
b c
2
3
4
a
i)

3.39. Seja x B ento x A B e assim x A C. Como A B =
temos que x A, logo x C. Portanto, B C. Analogamente,
conclumos que C B e o resultado segue.

Captulo 4

4.1. As relaes de A em B so todos os subconjuntos do produto
cartesiano A B. Como A B = {(1,a),(1,b),(1,c)}, teremos as seguintes
relaes:
, {(1,a)}, {(1,b)}, {(1,c)}, {(1,a),(1,b)}, {(1,a),(1,c)}, {(1,b),(1,c)} e A B.

4.2. Agruparemos os resultados na seguinte tabela:

ITEM RELAO INVERSA DOMNIO IMAGEM
a) {(2,b),(3,b),(1,d),(3,d) {b,d} B
b) {(a,b),(d,c),(b,a),(d,a),(c,a)} {a,b,c} B
86
c)

{(x,y) IR IR | x
2
+y
2
=1} [-1,1] [-1,1]
d)

{(x,y) Z Z | x
2
+y
2
=1} {-1,0,1} {-1,0,1}
e)

{(y,x) IR IR | x > y + 1} IR IR
f)
{(y,x) Z Z | x > y
2
}
Z
*
+
Z

4.3.

Exemplo 4.3:
A = {0,1,2}, B = {c,d,e,f} e R(A,B) = {(0,d),(0,e),(1,d),(1,f),(2,c),(2,d)}.

DIAGRAMA CARTESIANO DIAGRAMA SAGITAL
0 1 2
f
e
d
c

0
1
2
c
e
f
d

Exemplo 4.4:
A = IN, B = IN, R(A,B,P)={(x,y)ININ|x divisvel por y}

Representaremos esta relao atravs dos diagramas, considerando
apenas o subconjunto {0,1,2,3,4,5,6,7,8,9,10} de IN.

1 2
1
2
4
5
0 3 4 6 7 8 5 9 10
3
6
8
9
7
10

9
8
1
2
3
4
5
6
7
10
0
9
8
1
2
3
4
5
6
7
10
0

87
Exemplo 4.6
A = {a
1
,a
2
,a
3
}, B = {b
1
,b
2
,b
3
,b
4
} e R={( a
1
, b
1
), (a
1
, b
2
), ( a
1
, b
3
), ( a
2
, b
3
)}

b
1
b
2
a
1
a
2
b
3
b
4
B
a
3
A

a
1
a
3
b
3
b
2
b
1
b
4
B
a
2
A

Exemplo 4.8
X um conjunto e (X) o conjunto das partes de X, e a relao
R(X,(X),P) em X (X) caracterizada pela proposio P(x,y): x y

{1}
{3}
{1, 2}
1 2
{2}
{1, 3}
X
(X)
{2, 3}
3
X

1
3
{1}
{2}
{3}
{1, 2}
{1, 3}
{2, 3}
X
(X)
2
X

4.4.

Exemplo 4.4
A = IN, B = IN, R(A,B,P)={(x,y)ININ|x divisvel por y}

Representaremos a inversa desta relao atravs dos diagramas,
considerando apenas o subconjunto {0,1,2,3,4,5,6,7,8,9,10} de IN.

88
1 2
1
2
4
5
0 3 4 6 7 8 5 9 10
3
6
8
9
7
10

9
8
1
2
3
4
5
6
7
1 0
0
9
8
1
2
3
4
5
6
7
1 0
0

Exemplo 4.8
X um conjunto e (X) o conjunto das partes de X, e a relao
R(X,(X),P) em X (X) caracterizada pela proposio P(x,y): x y

{1}
{3}{1,2}
1
2
{2} {1,3} X
(X)
{2,3}
3
X

1
3
{1}
{2}
{3}
{1, 2}
{1, 3}
{2, 3}
X
(X)
2
X

4.5. Agruparemos os resultados na seguinte tabela:

DIAGRAMA CARTESIANO

ITEM RELAO INVERSA
89
a)
a b
1
2
c d
3

1 2 3
d
c
b
a

b)
a b
a
b
c d
c
d

a
b
a b
c
d
c d

c)

(-1,0)
(0, -1)
(1, 0)
(0, 1)

(-1,0)
(0, -1)
(1, 0)
(0, 1)

d)

(-1,0)
(0, -1)
(1, 0)
(0, 1)

(-1,0)
(0, -1)
(1, 0)
(0, 1)

90
e)

x
y
(0,-1)
(1, 0)

x
y
(0,-1)
(1, 0)

f)
x
y

x
y

DIAGRAMA SAGITAL

ITEM RELAO INVERSA
a)
3
1
b
c
d
a
2

3
1
b
c
d
a
2

91
b)
c
a
b
c
d
a
b
d

c
a
b
c
d
a
b
d

c)

No conveniente No conveniente
d)

-1
1
0
-1
1
0
Z
Z

-1
1
0
-1
1
0
Z
Z

e)

No conveniente No conveniente
f)
-1
2
4
3
2
5
1
-2
1
0
Z
Z

-1
2
4
3
2
5
1
-2
1
0
Z
Z

4.6. a) R = A A.
A A reflexiva. De fato: (a A) (a R a) pois (a, a) A A.
A A simtrica. De fato, se (a, b) A A, ento a,bA e
assim (b,a)AA.
A A transitiva. De fato: Se (a, b), (b, c) A A, ento a, b, c
A e assim (a, c) A A.
A A no anti-simtrica. (a, b), (b, a) A A, porm no
necessariamente a = b.
92

b) R(Z,Z) = {(x, y) Z Z | x = 1}.
R(Z,Z) no reflexiva, pois (2, 2) R.
R(Z,Z) no simtrica, pois (1, 2) R mas (2, 1) R.
R(Z,Z) transitiva. De fato: para que as hipteses estejam
satisfeitas devemos escolher sempre o par ordenado (1, 1) o
outro pode ser qualquer (1, y). Assim teremos, (1, 1), (1, y) R e
(1, y) R.
R anti-simtrica. De fato: (1, y) e (y, 1) esto em R y = 1.

c) R(IR,IR) = {(x, y) IR IR| y = x} = I
IR
.
R reflexiva: x IR, teremos (x,x) R.
R simtrica, se (x, y) R, ento x = y, logo (y, x) R.
R transitiva, se (x, y) R e (y, z) R, teremos x = y = z e
assim, (x, z) R.
R anti-simtrica. se (x, y) R e se (y, x) R, teremos x = y.

d) R = {(a,a), (a,b), (b,b), (b,c), (c,b)}.
R no reflexiva pois (c,c) R.
R no simtrica pois (a,b) R mas (b,a) R.
R no transitiva pois (a,b) R e (b,c) R mas (a,c) R.
R no anti-simtrica pois (b,c) R e (c,b) R mas c
diferente de b.

e) R = {(a,a), (a,b), (b,b), (b,c), (c,b), (c,c)},
R reflexiva pois (x,x) R para todo x A.
R no simtrica pois (a,b) R mas (b,a) R.
R no transitiva pois (a,b) R e (b,c) R mas (a,c) R.
R no anti-simtrica pois (b,c) R e (c,b) R mas c
diferente de b.

93
f) R = R(A,A,P) onde A = { x | x uma reta do espao euclidiano} e
P(x,y): x paralela a y"
R ou no reflexiva, dependendo da definio de paralelas
utilizada:
1
o
Caso: Duas retas so paralelas se a interseo vazia. Neste
caso, retas coincidentes no so paralelas e assim a relao no
reflexiva.
2
o
Caso: Duas retas so paralelas se a distncia entre elas
constante. Neste caso, retas coincidentes so paralelas e assim
a relao reflexiva.
R simtrica, pois se r // s ento s // r. R transitiva, pois se r //
s e s // t, ento r // t.
R no anti-simtrica, pois existem retas r e s tais que r // s, s //
r e r s.

g) R(A,A,P) onde A = {x | x ser humano} e P(x,y): x ama y.
R no reflexiva, pois existem seres humanos que no se
amam.
R no simtrica, pois existem x, y tal que x ama y porm, y
no ama x.
R no transitiva, pois existem x, y, z tal que x ama y, y ama z
mas x odeia z.
R no anti-simtrica: existem x que ama y e y que ama x e x
no y.

h) R(A,A,P) onde A = { x | x e um segmento de reta no plano
euclidiano} e P(x,y): "x congruente a y".
R reflexiva, pois x x.
R simtrica, pois x y y x.
R transitiva, pois se x y e y z ento x tem a mesma medida
que y e y tem a mesma medida que z, logo x e z tem a mesma
medida, logo x z.
R no anti-simtrica, pois existem segmentos x e y tais que x
y, yx e x y.
94

i) R(A,A,P) onde A = { x | x uma reta do espao euclidiano} e P(x,y):
"x perpendicular a y".
R no reflexiva, pois nenhuma reta perpendicular a si
mesma.
R simtrica, pois se r perpendicular a s ento s
perpendicular a r.
R no transitiva, pois se s perpendicular a r e r
perpendicular a t , isto no implica que s seja perpendicular a t.
R no anti-simtrica, pois existem r s e s r com r s.

4.7. a) De fato, temos
y C
X
(R S) y (R S) x
(y, x) (R S)
(y, x) R (y, x) S)
y R x y S x
y C
X
(R) y C
X
(S)
y C
X
(R) C
X
(S)
b) De fato, temos
y C
X
(R S) y (R S) x
(y, x) (R S)
(y, x) R (y, x) S
y R x y S x
y C
X
(R) y C
X
(S)
y C
X
(R) C
X
(S)

4.8. a) Temos que R no simtrica pois (a,b) R e (b,a) R, assim R
no uma relao de equivalncia.

b) A relao R no reflexiva pois (c,c) R, logo R no uma relao
de equivalncia.

95
c) Como visto no item a) do Exerccio 4.6 esta relao reflexiva,
simtrica e transitiva, logo de equivalncia.

d) Pelo Exemplo 4.18, temos que a relao vazia no reflexiva, logo
no de equivalncia.

e) No de equivalncia, pois no simtrica. Basta considerarmos
x= 2 e y = 3, teremos 2 3, mas 3 no menor ou igual 2.

f) No de equivalncia, pois no transitiva, basta considerarmos
x = 1, y = 4 e z = 1, assim x + y = 5 e y + z = 5, mas x + z = 2 5.

g) Um segmento X eqipolente a Y se tiverem o mesmo comprimento.
Como X tem o mesmo comprimento de X, X eqipolente a X, logo R
reflexiva. Se X tem o mesmo comprimento de Y, Y tem o mesmo
comprimento de X, logo R simtrica. Se X tem o mesmo comprimento
de Y, e Y tem o mesmo comprimento de Z, X tem o mesmo
comprimento de Z e assim X eqipolente a Z, logo R transitiva.
Assim, R de equivalncia.

4.9. a) Temos, por definio de relao inversa que
R
1
= {(b, a) B A| (a, b) R},
S
1
= {(c, b) C B| (b, c) S} e
(S
R)
1
= {(c,a) CA| b B com (a,b) R e (b,c)S}.
Por definio de composta,
R
1
S
1
= {(c, a) C A| b B com (c, b) S
1
e (b, a) R
1
}=
= {(c, a) C A| b B com (b, c) S e (a, b) R}.
Comparando (S
R)
1
e R
1
S
1
obtidas temos a igualdade desejada.

b) Seja x E como R reflexiva, temos que (x, x) R, logo (x, x) R
1
,
pelo item a) do Teorema 4.5. Assim, (x, x) R
R
1
e (x, x) R
1

R.

c) Seja (x, y) R
R
1
, ento, por definio de composta, existe z E tal
que (x, z) R
1
e (z, y) R. Por definio de relao inversa, temos
96
i) (z, y) R (y, z) R
1

ii) (x, z) R
1
(z, x) R.
Assim, de i), ii) e a definio de composta, (y, x) R
R
1
, logo
independentemente da hiptese de R ser simtrica, temos R
R
1

simtrica. Demonstra-se, de maneira anloga, que R
1

R, simtrica,
tambm independente de R ser simtrica.

d) Suponhamos que S
R simtrica, vamos mostrar que S
R = R
S.
Seja (x, y) S
R. Como S
R simtrica (y, x) S
R, assim, por
definio de composta, existe z E tal que (y, z) R e (z, x) S. Como
R e S so simtricas (z, y) R e (x, z) S. Assim, por definio de
composta (x, y) R
S. Da mesma forma, se (x, y) R
S, temos que
(y, x) S
R, e como S
R simtrica, (x, y) S
R e assim teremos que

S
R = R
S. Reciprocamente, suponhamos que S
R = R
S, se
(x, y) S
R ento por hiptese, (x, y) R
S, assim existe z E tal que

(x, z) S e (z, y) R. Como R e S so simtricas (z, x) S e (y, z) R e
assim, por definio de composta (y, x) S
R, donde S
R
simtrica.

4.10.
a) De fato, se R reflexiva ento para todo x A temos (x, x) R. como
o diagrama cartesiano contm todos os pontos de coordenadas (x, y)
com x R y e (x, x) representado pelos pontos da bissetriz obtemos o
desejado. A recproca segue o mesmo raciocnio.

b) De fato, se R simtrica e um ponto do diagrama cartesiano de R
representa (x, y) R devemos ter (y, x) R. Assim, possui um ponto
de coordenadas (y, x) que exatamente o ponto simtrico com relao
bissetriz. A recproca anloga.

c) Se contm pontos simtricos em relao bissetriz ento devemos
ter dois pontos com coordenadas trocadas, ou seja, pontos que
representam pares ordenados do tipo (x, y) e (y, x) como y x. Isto
97
implica que R no anti-simtrica. De maneira anloga, mostra-se a
recproca.

4.11.
a) Temos que R reflexiva se, e somente se, para todo x A temos
(x, x) R, ou seja, o ponto que representa x possui uma flecha sobre si
mesmo.

b) Temos que R simtrica se, e somente se, x R y y R x. Assim, se o
ponto que representa x liga-se ao ponto que representa y devemos ter
que o ponto y liga-se ao ponto que representa x, isto equivale a ter
flecha dupla.

c) Suponhamos que R seja anti-simtrica. Se o diagrama possuir flechas
duplas ento teremos dois pontos representando x e y distintos em A
tais que x est ligado com y e y ligado com x, ou seja, (x, y) R e
(y, x) R tais que y x, o que contradiz a hiptese. A recproca
anloga.

d) Suponhamos que R transitiva e consideremos um par de flechas
consecutivas. A primeira flecha representa um par (x, y) R e a segunda
flecha representa um par (y, z) R. Como R transitiva temos (x, z) R
a flecha que representa (x, z) exatamente a flecha com origem na
origem da primeira flecha e extremidade na extremidade da segunda
flecha.

4.12. a) Como X E = X E, temos que x R x e, por tanto, R reflexiva.
Suponhamos que X E = Y E, ento Y E = X E. Logo, R
simtrica. Finalmente, se X E = Y E e Y E = Z E, ento temos
X E = Z E. Logo, R transitiva.

b) Como X E = X E temos que S reflexiva. Suponhamos que
X E = Y E, ento Y E = X E. Logo, S simtrica. Finalmente,
se X E = Y E e Y E = Z E, ento X E = Z E. Logo S
transitiva.
98

4.13. Seja A = {a, b, c}
a) Considere R = {(a, a), (b, b), (a, b), (a, c), (b, c)}
R no reflexiva pois (c, c) R.
R no simtrica pois (a, b) R mas (b, a) R.
R no transitiva pois (a, b) R e (b, c) R mas (a, c) R.

b) Sejam R = {(a, a), (b, b), (c, c), (a, b), (c, a), (b, c)},
S = {(a, a), (b, b), (a, b), (b, c), (b, a), (c, b)} e
T = {(a, a), (b, b), (a, b), (b, c), (a, c), (b, a)}
Temos que:
R reflexiva mas no simtrica, pois (a, b) R e (b,a) R, nem
transitiva, pois (a, b) R, (b, c) R, mas (a,c) R.
S simtrica mas no reflexiva, pois (c,c) R, nem transitiva, pois
(a, b) R, (b, c) R, mas (a,c) R.
T transitiva mas no reflexiva nem simtrica.

c) Sejam R = {(a, a), (b, b), (c, c), (a, b), (b, a), (b, c), (c, b)},
S = {(a, a), (b, b), (c, c), (a, b), (b, c), (a, c)} e
T = {(a, a), (b, b), (a, b), (b, a)}
Temos
R reflexiva e simtrica mas no transitiva.
S reflexiva e transitiva mas no simtrica.
T simtrica e transitiva mas no reflexiva.

4.14. a) R reflexiva se, e somente se, R
-1
reflexiva.
Suponhamos que R seja reflexiva, ento para todo x em A, (x, x) R.
Assim, por definio de inversa, (x, x) R
-1
e, portanto, R
-1
reflexiva.
Reciprocamente, se R
-1
reflexiva, ento para todo x em A, (x, x) R
-1

e assim, por definio de inversa, (x, x) R e, portanto, R reflexiva.

b) R simtrica se, e somente se, R
-1
simtrica.
99
Suponhamos que R seja simtrica, se (y, x) R
-1
temos, por definio
que (x, y) R e assim, por hiptese, (y, x) R. Logo, pela definio de
inversa, (x, y) R
-1
e, portanto, R
-1
simtrica. Reciprocamente,
suponha-mos que R
-1
seja simtrica, se (x, y) R, temos que (y, x) R
-1

e por hiptese, (x, y) R
-1
. Logo, pela definio de inversa (y, x) R e,
portanto, R simtrica.
d) R anti-simtrica se, e somente se, R
-1
anti-simtrica.
Suponhamos que R seja anti-simtrica, ento se (x, y) R e (y, x) R,
temos x = y. Se (y, x) R
-1
e (x, y) R
-1
, temos que (x, y) R e (y, x)R,
assim, por hiptese, x = y e portanto R
-1
anti-simtrica. Recproca-
mente, se R
-1
anti-simtrica ento (y, x) R
-1
e (x, y) R
-1
implica
x = y. Assim, se (x, y) R e (y, x) R ento (y, x) R
-1
e (x, y) R
-1
e,
portanto, x = y. Assim R anti-simtrica.

4.15. a) Sendo A = {a,b} {c,d,e} = {a, b, c, d, e}, teremos
R = {(a,a),(a,b),(b,a),(b,b),(c,c),(c,d),(d,c),(c,e),(e, c),(d, d),(d, e),(e, d),(e, e)}.

b) Sendo A = {a,b,c} {d} {e} = {a, b, c, d, e}, teremos
R = {(a, a),(a, b), (b, a), (a, c), (c, a), (b, b), (b, c), (c, b), (c, c), (d, d), (e,e)}.

c) Sendo A= {0, 2, 4,...} {1, 3, 5,...} = Z, teremos
R = {(x,y) | x e y possuem a mesma paridade}.

4.16. a) O produto cartesiano determina a partio = {A}.

b) A relao identidade I
A
determina a partio = {{x}| x A}.

c) A relao R determina a partio = {{a, b}, {c}}.

d) Exemplo 4.27
100
A = {x | x um tringulo no plano euclidiano} e para x, y em A, considere
a proposio P(x,y): "x semelhante
6
a y".
Esta relao determina a partio formada por conjunto da forma: X

= {T A|T semelhante a } onde um tringulo no plano
euclidiano.

e) Exemplo 4.28
R = R(Z,Z,P) a relao no conjunto dos nmeros inteiros definida pela
proposio P(x,y): x y divisvel por n".
Esta relao determina a partio formada por conjuntos da forma. X
i

= {i + k.n| k Z}, onde i = 0, 1, 2, ..., n 1 e n um nmero inteiro
fixo maior ou igual a 2.

f) Exemplo 4.33
R a relao no conjunto dos nmeros reais definida pela proposio
P(x,y): x y um nmero inteiro.
Esta relao determina a partio formada por conjuntos da forma X
y

= {y + k| k Z}, onde y [0, 1[.

4.17. Segue dos itens a), b) e c) do Teorema 4.5.

4.18. Seja A = {a, b, c}
a) S = {(a, a), (a, b), (b, a), (b,c)} A A.
No reflexiva, pois (b, b) S.
No transitiva, pois (a, b) S, (b, c) S e (a, c) S.
No anti-simtrica, pois (a,b) S, (b, a) S e a b.
b) S
1
= {(a, a), (a, b), (b, a), (b, c), (b, b), (c, c)} reflexiva, porm
No transitiva, pois (a, b) S
1
, (b, c) S
1
e (a, c) S
1
.
No anti-simtrica pois (a, b) e (b, a) esto em S
1
mas a b.

6
Dizemos que dois tringulos so semelhantes quando possuirem
ngulos internos congruentes e lados correspondentes proporcionais. Uma
outra caracterizao de tringulos semelhantes afirma que dois tringulos so
semelhantes se possurem ngulos internos congruentes.
101
S
2
= {(a, a), (a, b), (b, a)} transitiva, mas no
Reflexiva, pois por exemplo (b, b) S
2
.
Anti-simtrica pois (a, b) e (b, a) esto em S
2
mas a b.
S
3
= {(a, a), (b, b), (a, b), (b, c)} anti-simtrica, mas no
Reflexiva, pois (c, c) S
3
.
Transitiva, pois (a, b) S
3
, (b, c) S
3
e, no entanto, (a, c) S
3
.

c) S
4
= {(a, a), (b, b), (c, c), (a, b), (b, a)} no anti-simtrica.
S
5
= {(a, a), (b, b), (c, c), (a, b), (b, c)} no transitiva.
S
6
= {(a, a), (a, b), (b, c), (a, c)} no reflexiva.

4.19. Segue dos itens a), b) e d) do Teorema 4.5.

4.20. Suponhamos que R seja uma relao num conjunto A ao mesmo
tempo de equivalncia e de ordem. Assim, R simtrica e anti-
simtrica. Logo, no podemos ter (x, y) R com x y pois se (x, y) R,
ento (y,x) R pois R simtrica e x y, pois R anti-simtrica. Assim
R somente ter elementos da forma (x, x) com x A. Como R reflexiva
devemos ter R = I
A
. Se a relao de ordem total e se x, y A,
devemos ter (x, y) R (y, x) R, o que no possvel na relao
identidade. Logo, para que uma relao seja de ordem e de
equivalncia ela dever ser a relao identidade e esta relao no
poder ser de ordem total, a menos que A seja unitrio.

4.21. a) No reflexiva pois (d, d) R, assim no uma relao de
ordem parcial.

b) No reflexiva, pois (d, d) R, assim no uma relao de ordem
parcial.

4.22.
Exemplo 4.48: Considere a =
) n , m (
e b =
) ' n , ' m (
, diremos que a
menor que b, e escreveremos a < b, se m + n < n + m. Devemos
mostrar que esta relao uma relao de ordem total. Mostremos
inicialmente que para quaisquer a, b Z, temos que ocorre exatamente
102
uma das trs condies: a = b ou a < b ou b < a esta a chamada lei
da tricotomia. De fato: Sejam a =
) n , m (
, b =
) ' n , ' m (
Z, pela lei da
tricotomia em IN, temos m + n = n + m ou m + n < n + m ou
n + m < m + n. Logo, por definio, temos a = b ou a < b ou b < a.
Vamos agora mostrar que a relao uma relao de ordem. Seja
a =
) n , m (
Z, temos a a pois m + n n + m, logo, esta relao
satisfaz a propriedade reflexiva. Sejam a, b Z tais que a b e b a,
pela item lei da tricotomia, temos a = b. Logo, esta relao simtrica.
Agora, consideremos a =
) n , m (
, b =
) ' n , ' m (
e c =
) " n , " m (
elementos
de Z tais que a b e b c. Assim, temos
m + n n + m e m + n n + m.
Somando as desigualdades obtemos
m + n + m + n n + m + n + m.
Pela lei do cancelamento da adio em IN, obtemos m + n n + m,
ou seja, a c. Logo, esta relao transitiva. A comparabilidade segue
diretamente da lei da tricotomia. Portanto, esta relao de ordem
total.

Exemplo 4.49: No conjunto dos nmeros racionais Q = { b
a
|a, bZ, b0},
definimos a seguinte relao: ' b
' a
b
a
se, e somente se, a.b b.a.

reflexiva pois ab ab.
Suponhamos que ' b
' a
b
a
e b
a
' b
' a

, ento ab ba e ab ba.
Logo, ab = ab e assim ' b
' a
b
a
=
, donde segue que a relao anti-
simtrica.
A propriedade transitiva imediata.
A relao de ordem total, pois dados dois nmeros b
a
e d
c
em
Q, sabemos comparar ad e cb.

4.23.
103
reflexiva, pois se (x, y) R R, ento y = y e x x, logo
(x, y) (x, y).
transitiva, pois se (x,y) (u,v) e (u,v) (z,w), temos
quatro casos a considerar:
o y = v e v = w, x u e u z : neste caso, temos y = w e
x z. Assim, (x,y) (z,w).
o y < v e v < w: neste caso, temos y < w. Assim,
(x,y) (z,w).
o y = v e x u e v < w: neste caso, como y = v < w,
temos y < w. Assim, (x,y) (z,w).
o y < v e u = z e v w: neste caso, temos y < v w
y < w. Assim, (x,y) (z,w).
Como esgotamos todas as possibilidades temos que
transitiva.
anti-simtrica, pois se (x,y) (z,w) e (z,w) (x,y), temos
quatro casos a considerar:
o y = w e x z e w = y e z x: Neste caso, temos y =
w e x = z. Assim, (x, y) = (z, w).
o y < w e w < y: este caso impossvel.
o y = w e x z e w < y: este caso tambm no ocorre,
pois y =w < y impossvel.
o y < w, w = y e z x: este caso tambm no ocorre,
pois w = y < w impossvel.
Logo, anti-simtrica.
de ordem total, pois dados (x, y), (z, w) em R R,
temos y < w, y = w ou w< y. No primeiro caso (x,y) (z,w).
No terceiro caso, (z,w) (x,y). Se ocorrer o segundo caso,
teremos xz ou z x. No primeiro subcaso (x,y) (z,w) e no
segundo subcaso (z,w) (x,y). Assim em todas os casos
teremos (x,y) (z,w) ou (z,w) (x,y).

4.24. Temos que R :
104
Reflexiva pois para todo (a, b) E temos a a e b b.
Anti-simtrica pois se (a, b) R (c, d) e (c, d) R (a, b) temos
a c e b d e c a e d b.
Logo, a = c e b = d e portanto (a, b) = (c, d).
Transitiva pois se (a, b) R (c, d) e (c, d) R (e, f) temos
a c e b d e c e e d f.
Logo, a e e b f. Portanto, (a, b) R (e, f).
R no total pois (2, 1) no est relacionado com (1, 2) e (1, 2) no
est relacionado com (2, 1).

4.25.
a) Suponhamos por absurdo que (x A) (y A) [( x R y) (y R x)]
seja verdadeira, ento, se x R y, devemos ter y R x, logo, pela
propriedade transitiva, (x A) (x R x), o que um absurdo, pela
definio de ordem estrita.

b) x < x absurdo A relao x menor que y no reflexiva. Mas
se x < y e y < z ento x < z. Assim a relao transitiva. Por definio
uma relao de ordem estrita.

c) A
A (Absurdo, pois A = A) Mas se A
B e B
C temos que A
C,
assim a relao contido propriamente uma relao de ordem estrita.

d) Basta acrescentar que todo elemento est relacionado com ele
mesmo, pois pelo item a) ela sempre anti-simtrica. Logo teremos
uma relao de ordem parcial.

4.26.
105
12

1
2
3
4
6
12
b)
a)
6
4
3
2
1

4.27. A = ({a, b, c, d}) = {, {a}, {b}, {c}, {d}, {a, b}, {a, c},
{a, d}, {b, c}, {b, d}, {c, d}, {a, b, c}, {a, b, d}, {a, c, d}, {b, c, d},
{a, b, c, d}}.
{b} {c}
{a, c} {a, b}
{a, b, c, d}
{b, c}
{a} {d}
{a, d} {b, d}{c, d}
{a, b, c} {a, b, d} {b, c, d} {a, c, d}

4.28. Temos que a relao dada por
R = {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5), (6, 6), (7, 7), (8, 8), (8, 7), (3, 1),
(8, 6), (8, 5), (8, 2), (8, 4), (6, 5), (6, 2), (6, 4), (4, 2), (5, 2)}
e o diagrama cartesiano dado a seguir:
106
1 2
1
2
4
5
0 3 4 6 7 8 5
3
6
8
7

4.29.
30
3 2 5
6
15
10

EMax(A) = {30}.
EMin(A) = {3, 2, 5}.
LS
A
(B) = {30}.
LI
A
(B) = {2}.
Sup
A
(B) = 30.
Inf
A
(B) = 2.
Max
A
(B) = 30.
Min
A
(B) = 2.

4.30. Considere a relao de ordem dada
pelo diagrama de linha ao lado. O
conjunto {d, e} limitado inferiormente
pelo conjunto {a, b, c} mas no possui
nfimo.

f
d e
b a
c

107
4.31. Considere o seguinte diagrama de
linha ao lado. Temos
LS({c,d}) = {g, h} = LS({e, f}),
LI({c, d}) = {a, b} = LI({e, f})
e, no entanto, {c, d} {e, f}.

a b
d
e
c
f
h g

4.32. Vamos mostrar que se B um subconjunto de um conjunto
parcialmente ordenado (A,) e existe um mnimo de B, ento ele
nico. Suponhamos ento que m
1
e m
2
sejam mnimos de S. Ento,
como m
2
S temos m
1
m
2
. Alm disso, m
1
S e ento m
2
m
1
.
Logo, pela propriedade anti-simtrica temos m
1
=m
2
.

4.33.
a) Teorema 4.19: Seja (A,) um conjunto ordenado e B um subconjunto
no vazio de A. Temos s = sup
A
(B) se, somente se, as seguintes condi-
es ocorrem:
a) Para todo x B temos x s.
Se existe y A tal que x y, para todo x B, ento s y.
Vamos mostrar a sua recproca. Seja B um subconjunto no vazio de A e
s A satisfazendo as condies a) e b). Pelo item a) temos que s
LS
A
(B). O item b) nos garante que se y LS
A
(B) ento s y, ou seja, s
LI
A
(IS
A
(B)). Portanto, s = sup
A
(B).

b) Teorema 4.20: Seja (A,) um conjunto ordenado e B um subconjunto
no vazio de A. Temos t = inf
A
(B) se, somente se, as seguintes
condies ocorrem:
a) Para todo x B temos t x.
Se existe y A tal que y x, para todo x B ento y t.

Suponhamos que t = inf
A
(B), temos que t = max
A
(LI
A
(B)). Assim, antes
de mais nada, s um elemento de LI
A
(B), por definio de mximo.
108
Logo, para todo x B temos t x. Alm disso, se existe y A tal que
y x, para todo x B, pela definio de limitante superior y t.
Reciprocamente, seja B um subconjunto no vazio de A e t A
satisfazendo as condies a) e b). Pelo item a) temos que t LI
A
(B). O
item b) nos garante que se y LI
A
(B) ento y t, ou seja, t LS
A
(LI
A
(B)).
Portanto, t = inf
A
(B).

4.34.
3
1
4
10
2
12
5
8

4.35. Os nmeros inteiros, racionais, irracionais, reais, com a ordem
usual so ordenados e no so limitados inferiormente.

4.36. a) LS
A
(B) = LI
A
(B) = {0};
B no possui mximo e nem elemento maximal;
m = 0 o mnimo de B e o elemento minimal de B em A;
Sup
A
(B) no existe;
Inf
A
(B) = 0;

b) LS
A
(B) = LI
A
(B) = {0, 1};
B no possui mximo e nem elemento maximal;
m = 1 o mnimo de B e o elemento minimal de B;
m = 0 o mnimo de A;
Sup
A
(B) no existe.
Inf
A
(B) = 1.

c) LS
A
(B) = {x Z|x 2} LI
A
(B) = ;
m = 2 o mximo e o elemento maximal de B;
109
B no possui mnimo nem elementos minimais;
Sup
A
(B) = 2.
Inf
A
(B) no existe.

d) LS
A
(B) = e LI
A
(B) ={..., -3, -2, -1, 0};
Mx
A
(B) no existe e Mn
A
(B) = 0
No existe elemento maximal em B e o elemento minimal 0;
Sup
A
(B) no existe.
Inf
A
(B) = 0.

e) LS
A
(B) ={x Q| x } e LI
A
(B) no existe;
No existe mximo, nem mnimo de B em A;
No existe elemento maximal, nem elemento minimal em B;
Sup
A
(B) = .
Inf
A
(B) no existe.

f) LS
A
(B) ={x Q| x > 2 }
LI
A
(B) ={x Q| x > 2 };
No existe mximo, mnimo, supremo e nifimo de B em A;
No existe elementos maximais, nem elementos minimais em B;

4.37. Sendo A = {0, 2} e B = {a, b} temos
(A) (B) = {, {0}, {2}, A} {, {a}, {b}, B} = {(, ), (,
{a}), (, {b}), (, B), ({0}, ), ({0}, {a}), ({0}, {b}), ({0}, B), ({2}, ),
({2}, {a}), ({2}, {b}), ({2, B), (A, ), (A, {a}), (A, {b}), (A, B)}
110
(, B)
(,{b})
(,{a})
({0},{b})
({2},{a})
(A, )
(A, B)
({2},B)
({0},B)
(, )
({2},{b}) ({0},{a})
(A,{a}) ({2}, ) ({0}, ) (A,{b})

LI(S) = {({2}, B), (, B), (, {a}), ({2}, {a})}
LS(S) = {A, {a}), ({2}, ), (A, ), ({2}, {a})}

Max(S) = ({2}, {a}) = Inf(S)
Min(S) = ({2}, {a}) = Sup(S)

Emax = {(A, )}
Emin = {(, B)}

4.38. Seja
U
I i
i
B C
=
. claro que B C para todo B . Seja F tal
que B F para todo B . Pelo item a) do Teorema 3.16, temos
F B
B

U
, ou seja, C F. Pelo Teorema 4.19, temos que C = Sup
().
Seja
I
I i
i
B D
=
. claro que C B para todo B . Seja G tal que
G B para todo B . Pelo item b) do Teorema 3.16,
I

B
B B
, ou
seja G D. Pelo Teorema 4.20, temos D = inf
().

111
4.39. Seja a um elemento num conjunto bem ordenado que possui
mximo (A, ). Suponhamos que a no mximo e consideremos o
conjunto B={x A| x > y}. Temos que B A e B no vazio. Logo,
pela Definio 4.21, temos que existe o mnimo de B. Seja b = min
A
(B).
Pela definio de mnimo no existe z A tal que a < z < b, ou seja, b
sucessor imediato de a.

4.40.
LS
R
([a, b]) = LS
R
([a, b[) = LS
R
(]a, b]) = LS
R
(]a, b[) = LS
R
(]-, b]) =
LS
R
(]-, b[) = [b, +[.

LI
R
([a, b]) = LI
R
([a, b[) = LI
R
(]a, b]) = LI
R
(]a, b[) =
= LI
R
([a, +[) = LI
R
(]a, +[) = ]-, a].

Max
R
([a, b]) = Max
R
(]a, b]) = Max
R
(]-, b]) = b.
No existem Max
R
([a, b[), Max
R
(]a, b[), Max
R
(]-, b[), Max
R
([a, +[) e
Max
R
(]a, +[).

Min
R
([a, b]) = Min
R
([a, b[) = Min
R
([a, +[) = a.
No existem Min
R
(]a, b[), Min
R
(]a, b]), Min
R
(]-, b]), Min
R
(]-, b[) e
Min
R
(]a, +[).

Sup
R
([a, b]) = Sup
R
([a, b[) = Sup
R
(]a, b]) = Sup
R
(]a, b[) =
= Sup
R
(]-, b]) = Sup
R
(]-, b[) = b.
No existem Sup
R
([a, +[) e Sup
R
(]a, +[).

Inf
R
([a, b]) = Inf
R
([a, b[) = Inf
R
(]a, b]) = Inf
R
(]a, b[) =
= Inf
R
([a, +[) = Inf
R
(]a, +[) = a.
No existem inf(]-, b]) e Inf
R
(]-, b[).

Captulo 5

112
5.1. a) uma relao de IN em IN. Para todo nmero natural n
possvel obter os nmeros naturais menores que n e que so primos
com n, assim Dom = IN. Dado um nmero natural n a quantidade de
nmeros naturais menores que n e que so primos com n nica.
Assim se n a e n b, ento a = b. Portanto, (,IN,IN) uma funo.

b) Temos
(7) = 6, pois todos os nmeros naturais menores que 7 e distintos de
0 so primos 7, ou seja, 1,2,3,4,5 e 6.
(8) = 4 e os nmeros so 1, 3, 5 e 7.
(10) = 4 e os nmeros so 1, 3, 7 e 9.
(12) = 4 e os nmeros so 1, 5, 7 e 11.
(13) = 12, pois todos os nmeros naturais menores que 13 e no
nulos so primos com 13, ou seja, 1,2,3,4,5,6,7,8,9,10,11 e 12.

c) Quando p um nmero primo, (p)=p 1, pois todos os nmeros
inteiros positivos menores que p primo com p.

5.2. Temos (1,3) = 1, (0,4) = 0, (e) = 2, () = 3 e (1,56) = 1.

5.3. Consideremos o diagrama sagital ao lado.
No diagrama de flechas temos as seguintes
regras:
De todo elemento de A sai uma flecha.
Sai uma nica flecha de cada um dos
elementos de A.
Para que uma relao seja uma funo de A
em B, todo elemento x de A deve ter um e,
somente um, correspondente y em B. Assim
deve sair uma e somente uma flecha de cada
elemento do conjunto A, no 1
o
diagrama
temos uma funo, mas nos outros dois
diagramas no temos uma funo, pois no
segundo temos duas setas saindo de x
1
e
assim, x
1
f y
1
e x
1
f y
2
com y
1
y
2
, e no
f
A B
x
1
x
2
x
3
y
1
y
2

f
A B
x
1
x
2
x
3
y
1
y
2

113
terceiro no temos setas saindo de x
3
, assim
no existe y B tal que x
3
f y.
f
A B
x
1
x
2
x
3
y
1
y
2

5.4. Para cada x A temos duas possibilidades para f(x) a saber: f(x)=1
e f(x)=2. Assim, teremos as seguintes possibilidades: (f(1)=1 ou f(1)=2) e
(f(2)= 1 ou f(2)= 2) e (f(3)= 1 ou f(3)= 2). Isto nos fornecer 2
3
= 8
funes, a saber:
f
1
={(1, 1), (2, 1), (3, 1)},
f
2
={(1,1), (2,1), (3,2)},
f
3
={(1,1), (2,2), (3,2)},
f
4
={(1,1), (2,2), (3,1)},
f
5
={(1,2), (2,1), (3,1)},
f
6
={(1,2), (2,1), (3,2)},
f
7
={(1,2), (2,2), (3,1)}
f
8
={(1,2), (2,2), (3,2)},

5.5. Dada uma funo qualquer, no h regra
geral que permita afirmar sobre o grfico de
uma funo e retas horizontais. Considere a
funo f(x) = x
2
, cujos grfico dado ao
lado, temos uma reta horizontal no
interceptando o grfico, temos uma reta
horizontal interceptando o grfico em um
ponto e temos uma reta interceptando o
grfico em dois pontos.
x
y

5.6. a) As funes soma e produto esto definidas em AB, assim em
cada uma delas existe f(x) e g(x). Assim seus domnios so AB. A
funo quociente est definida em AB exceto nos elementos em que
g(x) = 0. Assim, seu domnio AB \ {x B | g(x) = 0}. No caso da
funo mdulo, possvel calcular |f(x)| para todo x A e, assim o seu
domnio A. Alm disso, se x = y ento f(x) = f(y) e g(x) = g(y), pois f e
g so funes. Logo,
f(x) + g(x) = f(y) + g(y) (f + g)(x) = (f + g)(y).
f(x) . g(x) = f(y) . g(y) (f . g)(x) = (f . g)(y).
114

) x ( g
) x ( f
=
) y ( g
) y ( f
(f / g)(x) = (f / g)(y).
|f(x)| = |f(y)|.

b) h(x) = x
3
+ 3x + 1 = (x
3
) + (3x + 1) = f(x) + g(x) = (f+g) (x).

c) h(x) = x
2
4 = (x

+ 2) (x 2) = f(x) . g(x) = (f.g) (x).

d) Como (x IR), (x
2
+ 1 0), temos que
h(x) =
) x (
g
f
) x ( g
) x ( f
1 x
1
2 |
|
.
|
\
|
= =
+

e) Falso, caso x = 1,
) 1 ( g
) 1 ( f
no est definida.

f)
( )
< =
=
= =
0 x se , 1 1
0 x se , 1 1
) x ( f x f
, assim (x IR) (|f| (x) = 1).

g) (f + g)(x)= f(x) + g(x)= 2x
9
2x
2
+ 1 + x
2
1= 2x
9
x
2
.
Dom (f + g)= Dom f Dom g = ]-2, 2[ ]-, 1]= ]-2, 1].

(f. g)(x) = f(x) . g(x) = (2x
9
2x
2
+ 1) .( x
2
1)=2x
11
- 2x
9
- 2x
4
+ 3x
2
1.
Dom (f . g)= Dom f Dom g = ]-2, 1].

(f/g)(x) =
) x ( g
) x ( f
= 1 x
1 x 2 x 2
2
2 9
+
.
Dom (f/g)=( Dom f Dom g) - { x Dom g | g(x)=0}= ]-2, -1[]-1, 1].

h) Item I) (f + g)(x) = f(x) + g(x)=1 x
2
+ 1+ x
2
=2.
Dom(f + g)= IR.
115

(f . g)(x)= f(x) . g(x)=( 1 x
2
) (1+x
2
)=1 x
4
.
Dom(f . g)= IR.

(f / g)(x) =
) x ( g
) x ( f
=
2
2
x 1
x 1
+
.
Dom(f /g )= IR.

h) Item II)
(f + g)(x) = f(x) + g(x) =
1 x
2
+
x
.
Dom (f+g) = [1, +].

(f . g)(x) = f(x) . g(x) = (
1 x
2
)(
x
) =
x x
3
.
Dom(f . g) = [1, +].

(f / g)(x) =
) x ( g
) x ( f
=
x
1 x
2
=
x
1 x
2
.
Dom(f / g)=[1, +].

h) Item III) (f + g)(x) = f(x) + g(x) = 4 x
3 x
+
+ x
1
= x 4 x
1 x 3 x
2
2
+ +
.
Dom(f + g)= IR \ {0,4}.

(f . g)(x) = f(x) . g(x) =
|
.
|
\
|
+
4 x
3 x
|
.
|
\
|
x
1
= x 4 x
3 x
2
+
.
Dom(f . g)=IR \ {0,4}.

(f / g)(x)=
) x ( g
) x ( f
= x
1
4 x
3 x
+
=
|
.
|
\
|
+
4 x
3 x
|
.
|
\
|
1
x
= 4 x
x 3 x
2
+
.
Dom(f / g)= IR {0,4}.
116

h) Item IV) (f + g)(x)= f(x) + g(x)= |x| x=
<

. 0 x se x 2
0 x se 0

Dom(f + g)= IR.

(f . g)(x)= f(x) . g(x)= |x|. ( x)=
<

0 x se x
0 x se x
2
2

Dom(f . g)= IR.

(f / g)(x) =
) x ( g
) x ( f
= x
x
=
<
>
0 x se 1
0 x se 1
.
Dom(f / g)=IR \ {0}.

i)
|
|
.
|
\
|
+
f g
f
f
2
o
uma funo de A \ {b} em IR, pois
g
f (b)=g(f(b))=g(0)=0.
Ento temos
( ) { }
.
4
37
, e ,
2 2
2 3 4
, d , , c ,
3
13
, a
b A x ,
)) x ( f ( g
) x ( f
) x ( f , x
f g
f
f
2
2
2 2
|
.
|
\
|
|
|
.
|
\
|
+
+
|
.
|
\
|
+

+ |
.
|
\
|
=
=

|
|
.
|
\
|
|
|
.
|
\
|
+ =
|
|
.
|
\
|
+
o

5.7.
Teorema 5.7
Item b) f({x}) = {f(x)}, x A.
De fato, seja y f({x}) ento existe b {x} tal que y = f(b), assim b =
x e y = f(x). Portanto, y {f(x)}.

Item f) I) f
1
(Y
1
\ Y
2
) = f
1
(Y
1
) \ f
1
(Y
2
).
De fato, temos
117
x f
-1
(Y
1
\ Y
2
) f(x) Y
1
\ Y
2
f(x) Y
1
f(x) Y
2

x f
-1
(Y
1
) x f
-1
(Y
2
) x f
1
(Y
1
) \ f
1
(Y
2
).

Item f) II) f
1
(C
B
Y
2
) = C
A
(f
1
(Y
1
)).
Tomando Y
1
= B e Y
2
=Y
1
na 1
a
parte e observando que f
1
(B) = A,
ento
x f
1
(C
B
Y
2
) x f
-1
(B \ Y
1
) x f
1
(B) \ f
1
(Y
1
)
x A \ f
1
(Y
1
) x C
A
(f
1
(Y
1
)).

Item h) I)
) Y ( f Y f
1 1
U U

=
|
|
.
|
\
|
.
Mostremos inicialmente que
|
|
.
|
\
|

U
Y
1
f

( )
Y
1
f

U
. De fato, seja
x
|
|
.
|
\
|

U
Y
1
f
, ento existe y
U

Y
tal que f(x)=y. Logo, para
algum , existe y Y
tal que f(x)=y. Assim, x f

-1
(Y
), para algum
. Portanto, x
( )
Y
1
f

U
. Mostremos agora que
( )
Y
1
f

U
est
contido em
|
|
.
|
\
|

U
Y
1
f
. De fato, seja x
( )
Y
1
f

U
, ento x f
-1
(Y
),
para algum . Logo, para algum , existe y Y tal que f(x)=y.
Assim, f(x) = y para y
U

Y
e, portanto, x
|
|
.
|
\
|

U
Y
1
f
.

Item h) II)
I I

=
|
|
.
|
\
|
) Y ( f Y f
1 1
.
.e fato, temos:
118

|
|
.
|
\
|
I I
Y ) x ( f Y f x
1
f(x) Y
, x f
1
(Y
),

( )
I

Y f x
1
.

Teorema 5.11 b) (g
f)

h = g
(f

h).
Utilizando o item a), temos
((f
g)
h) (x) = (f
g) (h(x)) = f(g(h(x))) = f((g
h)(x)) = f
(g
h)(x).

5.8. (f
g)(x)=f(g(x))=2 3 (x
2
5x + 3)=2 3x
2
+ 15x9= 3x
2
+15x7.
Dom(f
g)= IR.

(g
f)(x)=(2 3x)
2
5(2 3x) + 3=4 12x + 9x
2
10 +15x + 3=9x
2
+3x3.
Dom(g

f)= IR.

5.9. Temos
(f
g)(x) = 1 (1 x)
2
= 1 (1 2x + x
2
) = 2x x
2

e
(g

f)(x) = 1 (1 x
2
)= x
2
.
Logo, para x = 1 temos (f
g)(x) = 3 e (g

f)(x) = 1. Para x = 0, temos que
(f
g)(x) = 0 e (g

f)(x) = 0. Para x = , temos (f
g)(x) = e (g

f)(x)=.

5.10. Considerando o grfico, temos:
a) Dom f = IR b) f(5) =0 c) g(1) =2
d) f( 2 ) =2
e) Im f = ],2][4,6] f) f(0) =0 g) f(3) =4 h) 4 Dom(g)
i) Dom g =], 4[ j) g(4) =3 k) f(3) =2 l) g(2) =0
m) Im g =[0, 3] n) g(0) =2 o) f(5) =6 p) g(999) =3
q) (f
g)(1) = 1 r) (f

g)(8) =4 s (g
f)( 5) =2 t) (g
f)( 2) =5/3
119

5.11. A funo g sobrejetora, pois se z E, como g
f: E E
sobrejetora, ento existe x E, tal que z = g
f(x). Isto implica que

g(f(x)) = z. Considere y = f(x) que pertence a F. Logo, existe y F tal
que g(y) = z. Portanto g sobrejetora.
A funo f injetora, pois dados x, y E, suponhamos que f(x) = f(y),
ento g(f(x)) =g(f(y)), pois g funo. Logo, g
f(x) = g
f(y). Como g
f injetora, temos x = y. Portanto, f injetora.
Contra-exemplo: considere as funes f: IR
+
IR e g: IR IR
+
, tal
que f(x) =
x
e g(x) = x
2
. A funo composta g f bijetora pois
temos g f: IR
+
IR
+
, g f(x) = x, ou seja, a identidade. Por outro
lado, f no sobrejetora, pois nenhum nmero levado nos reais
negativos e g no injetora, pois g(1) = g(1) = 1.

5.12. Vamos demonstrar primeiramente que f injetora. De fato, temos
f(x
1
) = f(x
2
) g(f(x
1
)) = g(f(x
2
)) (g
f)(x
1
) = (g
f)(x
2
) x
1
= x
2
.
Logo f injetora. Mostremos agora que g sobrejetora. Seja y E e
x = f (y). Temos x F e g(x) = g( f(y)) = (g
f)(y) = y. Logo, existe x F

tal que g(x) = y. Portanto g sobrejetora.

5.13. a) (f
f)(x) = f(f(x)) = (x+1)+1 = x+2.

(f
g)(x) = f(g(x)) = f(x

2
+ x +1) = x
2
+x +1+1= x
2
+x+2.
(g
f)(x)= g(f(x))=(x+1)
2
+x+1+1= x
2
+2x+1+x+2= x
2
+3x+3.

b) Para mostrar que f bijetora devemos mostrar que f injetora e
sobrejetora, simultaneamente. Afirmamos que f injetora. De fato, seja
x
1,
x
2
IR, ento f(x
1
)= f(x
2
) implica x
1
+1= x
2
+1 e, assim x
1
= x
2
. Logo, f
injetora. Agora mostremos que f sobrejetora. Seja y IR e considere
x = y 1, teremos f(x)= f(y 1)=(y 1)+1=y. Logo f sobrejetora. Para
obter a inversa f
1
devemos ter f
f
1
(x) = x, ou seja, f(f
1
(x))= x. Isto
equivale a f
1
(x) + 1 = x. Logo, ento f
-1
(x) = x 1. Verifica-se
facilmente que f
f
1
(x) = x. Portanto, f
1
a inversa de f.
120

c) Tomando x
1
=0 e x
2
= 1 temos x
1
x
2
e g(0) = 1 = g(1). Logo, g
no injetora. Temos tambm que g no sobrejetora, pois para y = 0
no existe x IR tal que g(x) = y.

5.14. a) Temos f(0)=0
2
=0, g(0)= 2 e as pr-imagens de 1 por f so 1
e 1. A pr-imagem de 1 por g 3.

b) Temos g
f(x)= g(f(x))=x
2
2 e f
g(x)= f(g(x))=(x 2)
2
= x
2
4x +4.
Assim para x = 1 temos (g
f)(1)=-1 e (f
g)(1)=1. Logo g

f f
g.

c) f no injetora, pois considerando x
1
=2 e x
2
=2 temos f(x
1
)=f(x
2
)=4
e x
1
x
2
. Temos tambm que f no sobrejetora pois no existe x IR
tal que f(x) seja um nmero negativo. A funo g injetora, pois
consideremos x
1
, x
2
IR, temos que g(x
1
) = g(x
2
) implica em x
1
2=x
2
2
do que se conclui que x
1
= x
2
. A funo g sobrejetora, pois dado
y IR, considere x=y+2 e teremos, g(x) = g(y + 2) = y+2 2 = y.

d) As pr-imagens de 4 por g

f so os elementos do conjunto
{x IR|(g f)(x) = 4} ={x IR|x
2
2=4}= {xIR|x
2
=6} =
{ } 6 , 6
.
As pr-imagens de 4 por f

g so os elementos do conjunto
{x IR | (f g) (x) = 4} = {x IR | x
2
4x + 4=4}= {0, 4}.

5.15. a) As funes f e g no so iguais pois no satisfaz a condio a)
da Definio 5.3.

b) As funes f e g so iguais pois possuem o mesmo domnio, o
mesmo contra-domnio e
f={(x,y) AR|x f y}={(x, x
2
)|x A}={(0, 0), (3, 9)}={(x, 3x) x B}=
= = {(x, y) B R | x g y} = g.

121
5.16. a) Como f(x
1
) = f(x
2
) implica x
1
3
= x
2
3
e isto implica que x
1
= x
2

temos que f injetora. Quanto a sobrejetividade, dado y IR,
considere x =
3
y
e teremos f(x) = y. Portanto, f bijetora.

b) Como temos
f(x
1
) = f(x
2
) 3x
1
1=3x
2
1

3x
1
= 3x
2
x
1
= x
2
,
a funo f injetora. Quanto a sobrejetividade, dado y IR, considere
x = 3
1 y +
e teremos f(x) = y. Portanto, f bijetora.

c) A funo no injetora pois considerando x
1
= 2 e x
2
= 2 temos
f(x
1
) = f(x
2
) = 16. Logo, f no bijetora. Observe que f tambm no
sobrejetora, pois no existe x IR tal que f(x) = 1.

5.17.
a) f = (x, 3x) | x A}, A = {1,3,4} e B = {3,6,9,12,15}.

Representao grfica:
Diagrama Cartesiano: Exemplo 5.22.
Diagrama Sagital: Exemplo 5.27.
Diagrama Barra e Pizza: Exemplo 5.29.

Injetividade
f injetora pois f(x) = f(y) 3x = 3y x = y.

Sobrejetividade
f no sobrejetora pois no existe x A tal que f(x) = 15.

b) R
4
(A, B) = {(a,1), (b,2), (c,3)}, A = {a,b,c} e B = {1,2,3} e
R
5
(A, B) = {(a,1), (b,2), (c,2)}, A = {a,b,c} e B = {1,2,3}.

Representao grfica:
122
Diagramas de Barra e de Pizza: Exemplo 5.28.

Injetividade
R
4
injetora pois (x A) (y A) (R
4
(x) = R
4
(y) x = y).
R
5
no injetora pois R
5
(b) = R
5
(c) = 2 e b c.

Sobrejetividade
R
4
sobrejetora pois Im R
4
= B.
R
5
no sobrejetora pois no existe x A tal que R
5
(x) = 3.

c) (I
A
, A, A).

Representao grfica:
Diagrama Sagital: Considerando A = {1, 2, 3} teremos
1
3
2
1
3
2

Se A no for finito no ser possvel a representao.

Diagrama de Barra e Pizza: No adequado.

Injetividade
I
A
injetora pois I
A
(x) = I
A
(y) x = y.
123

Sobrejetividade
I
A
sobrejetora pois dado yA considere x=yA e teremos I
A
(x)=x=y.

d) f = {(x, b)| x A}, A, b quaisquer.

Representao grfica:
Diagrama Barra e Pizza: No adequado.

Injetividade
f no injetora quando A possuir mais de um elemento. De fato, se
existirem x, y A tais que x y teremos f(x) = b = f(y).

Sobrejetividade
f no sobrejetora quando B possuir mais de um elemento. De fato,
se existir y B, y b no haver x A tal que f(x) = y.

e) A, B quaisquer tais que A B, (I
A
, A, B).

Representao grfica:
Diagrama Sagital: Considerando A = {1, 2, 3}, B = {1, 2, 3, 4} teremos
1
3
2
1
3
2
4

Se A no for finito no ser possvel a representao.
124

Injetividade
I
A,B
injetora pois I
A,B
(x) = I
A,B
(y) x = y.

Sobrejetividade
Quando A B temos que I
A,B
no sobrejetora pois dado y B A no
existiro x A tal que I
A,B
(x) = y.

f) f: A B, C A, B = {0,1}
=
C x se 0
C x se 1
) x ( f
C
.

Representao grfica:
Diagrama Sagital: Considerando A = {1, 2, 3, 4}, C = {2, 3} teremos
1
3
0
1
2
4


Injetividade
Se C possuir mais de um elemento f
C
no injetora pois existiro x,
y C tais que x y e f
C
(x) = f
C
(y) = 1. Se C for vazio ou possuir 1
elemento depender do conjunto A possuir mais de 1 elemento. Caso
positivo existiro x, y A tais que x y e f
C
(x) = f
C
(y) = 0. Caso
negativo f
C
ser trivialmente injetora.

Sobrejetividade
125
Se C for vazio ento no existir x A tal que f
C
(x) = 1. Se C e C
= A ento no existir x A tal que f
C
(x) = 0. Caso contrrio, sempre
existiro x A (x C ou x C) tal que f
C
(x) = 1 ou f
C
(x) = 0. Logo,
neste ultimo caso, teremos f
C
sobrejetora.

g) : R R, (x) = ||x||.

Representao grfica:
Diagrama Cartesiano: Representaremos apenas uma parte da funo.
1 2 3 4 5
1
2
3
4
-1
-1
-2
-2
-3
-3

Diagrama Sagital: No possvel esta representao.

Injetividade
No injetora pois (x) = (y) para x, y [n, n + 1[.

Sobrejetividade
No sobrejetora pois tem como imagem somente nmeros inteiros.

h) f: R {1} R, 1 x
1 x
) x ( f
2
+
=
.
g: R R, g(x) = x 1.

126
Representao grfica:
1
2 3 -1
-2
f

1
2 3 -1
-2
g


Injetividade
f injetora pois f(x) = f(y)
1 y
1 y
1 x
1 x
2 2
+
=
+
x 1 = y 1 x = y.
g injetora pois gx) = g(y) x 1 = y 1 x = y.

Sobrejetividade
f sobrejetora pois dado y IR seja x = y + 1 e teremos
f(x) = f(y + 1) =
y
2 y
) 2 y ( y
2 y
y 2 y
2 y
1 1 y 2 y
1 ) 1 y (
1 ) 1 y (
2 2 2
=
+
+
=
+
+
=
+
+ +
=
+ +
+
.
g sobrejetora pois para y R considere x = y + 1 e teremos
g(x) = (y + 1) 1 = y.

i) A = {a, b, c}, B = {1, 2, 3} e C = {1, 2, 3, 4}.
f
1
: A B, f
1
= {(a, 1), (b, 2), (c, 1)}.
f
2
: A B, f
2
= {(a, 1), (b, 2), (c, 3)}.
f
3
: A C, f
3
= {(a, 1), (b, 2), (c, 1)}.
f
4
: C A, f
4
= {(1, a), (2, b), (3, c), (4, c)}.
127

Representao grfica:
Diagrama Cartesiano:
a b
1
2
c
3
f
1

a b
1
2
c
3
f
2

a b
1
2
c
3
f
3
4

a
b
1 2
c
3
f
4
4

Diagrama Sagital:
1
3
b
a
c
2

1
3
b
a
c
2

1
3
b
a
c
2
4

1
3
b
a
c
2
4

128

Diagrama de Barra:
a
b
1
2
c
3
f
1

a
b
1
2
c
3
f
2

a
b
1
2
c
3
f
3
4

A funo f
4
no tem representao em barras pois A no um conjunto
numrico finito.

Diagrama de Pizza:
a c
b
f
1

a
c
b
f
2

a c
b
f
3

A funo f
4
no tem representao em barras pois A no um conjunto
numrico finito.

Injetividade
f
1
no injetora pois f
1
(a) = f
1
(c) = 1.
f
2
injetora pois f
2
(x) = f
2
(y) x = y, x, y A.
f
3
no injetora pois f
3
(a) = f
3
(c) = 1.
f
4
no injetora pois f
4
(3) = f
4
(4) = c.

Sobrejetividade
f
1
no sobrejetora pois no existe x A tal que f
1
(x) = 3.
f
2
sobrejetora pois y B, x A tal que f
2
(x) = y.
f
3
no sobrejetora pois no existe x A tal que f
3
(x) = 3.
129
f
4
sobrejetora pois y B, x A tal que f
4
(x) = y.

j) f: R R, f(x) = x
2
.

Representao grfica:
-2 -1 1 2
1
4


Injetividade
No injetora pois f(2) = f(2) = 4.

Sobrejetividade
No sobrejetora pois para y = 1 no existe x R, tal que f(x) = 1.

k) f: Z Z, f(x) = x + 3 e g: Z Z, g(x) = x 3.

Representao grfica:
Diagrama Cartesiano: Faremos parcialmente este diagrama
130
1
2 3 4
1
2
3
4
-1
-1
-2 -3 -4
5
6

1 2 3
4
1
2
3
4
-1
-1
-2
6 5 7

f g

Os outros diagramas no so possveis.

Injetividade:
f: Exemplo 5.41.
g: injetora pois f(x
1
) = f(x
2
) x
1
3 = x
2
3 x
1
= x
2
.

Sobrejetividade:
f: Exemplo 5.47.
g: sobrejetora, pois dado um nmero inteiro y qualquer, tomamos
x = y + 3 e assim f(x) = f(y + 3) = y + 3 3 = y.

5.18. Ao traarmos uma reta paralela ao eixo x, esta intercepta o grfico
em um nico ponto.

5.19. a) De todas as combinaes possveis obtemos 6 funes injetoras
f
i
: A B, a saber:
f
1
= {(1,3),(2,4)} f
4
= {(1,4),(2,5)}
f
2
= {(1,3),(2,5)} f
5
= {(1,5),(2,3)}
f
3
= {(1,4),(2,3)} f
6
= {(1,5),(2,4)}

131
b) De todas as combinaes possveis obtemos 6 funes sobrejetoras f
i
: A
B, a saber:
f
1
= {(1,4),(2,4),(3,5)} f
4
= {(1,5),(2,5),(3,4)}
f
2
= {(1,4),(2,5),(3,4)} f
5
= {(1,5),(2,4),(3,5)}
f
3
= {(1,4),(2,5),(3,5)} f
6
= {(1,5),(2,4),(3,4)}

c) De todas as combinaes possveis obtemos 6 funes
sobrejetoras f
i
: A B, a saber:
f
1
= {(1,4),(2,4),(3,6)} f
4
= {(1,5),(2,6),(3,4)}
f
2
= {(1,4),(2,6),(3,5)} f
5
= {(1,6),(2,4),(3,5)}
f
3
= {(1,5),(2,4),(3,6)} f
6
= {(1,6),(2,5),(3,4)}

5.20. f
1
(1) = 1, f
1
(2) = 2, f
1
(3) = 3
f
2
(1) = 1, f
2
(2) = 3, f
2
(3) = 2
f
3
(1) = 2, f
3
(2) = 1, f
3
(3) = 3
f
4
(1) = 3, f
4
(2) = 2, f
4
(3) = 1
f
5
(1) = 2, f
5
(2) = 3, f
5
(3) = 1
f
6
(1) = 3, f
6
(2) = 1, f
6
(3) = 2

5.21. Por exemplo, defina r:(A) - A pela tabela abaixo:
B r(B)
{a} a
{b} b
{c} c
{a, b} a
{a, c} c
{b, c} b
{a, b, c} c

5.22. Cada funo ser apresentada por cada linha da tabela a seguir,
sendo no total 27 funes.

X a b c X a b c
132
f
1
(x) a a a f
15
(x) b b c
f
2
(x) a a b f
16
(x) b c a
f
3
(x) a a c f
17
(x) b c b
f
4
(x) a b a f
18
(x) b c c
f
5
(x) a b b f
19
(x) c a a
f
6
(x) a b c f
20
(x) c a b
f
7
(x) a c a f
21
(x) c a c
f
8
(x) a c b f
22
(x) c b a
f
9
(x) a c c f
23
(x) c b b
f
10
(x) b a a f
24
(x) c b c
f
11
(x) b a b f
25
(x) c c a
f
12
(x) b a c f
26
(x) c c b
f
13
(x) b b a f
27
(x) c c c
f
14
(x) b b b

5.23. Dado n IN, n 2, considere R = R(Z,Z,P) a relao no conjunto
dos nmeros inteiros definida pela proposio P(x,y): x y divisvel
por n". Fixado n IN, n 2, temos f: Z Z/R, dada por:
f(x) = x = {y Z| y x divisvel por n}={y Z| y = x + kn, kZ}.

5.24. Como f uma funo f(a) = f(a) e todo a X tem imagem f(a),
assim para todo x X, teremos f(x) = f(x) e conseqentemente x R x,
x X. Assim, R reflexiva. Se x R y, ento f(x) = f(y) ou f(y) = f(x) e
assim y R x e portanto a relao simtrica. Se x R y e y R z, ento
f(x) = f(y) = f(z), logo f(x) = f(z), e assim, por definio, x R z. Portanto
a relao transitiva.

5.25. Suponhamos que f(x) = f(y) ento teremos (x
3
, 2
x
) = (y
3
, 2
y
)
donde segue que x
3
= y
3
e, logo, x = y. Portanto, f injetora. Como,
por exemplo, no existe x IR tal que f(x) = (1,1), temos que f no
sobrejetora.

5.26. Primeiramente, vamos mostrar que f injetora. Dados m, n IN,
suponhamos que f(m) = f(n). Temos quatro casos a considerar:
133
1) m e n pares: neste caso, temos 2
m
= f(m) = f(n) = 2
n
e,portanto,
m=n.
2) m e n mpares: neste caso, temos 2
1 m+
= f(m) = f(n) = 2
1 n +
e,
portanto, m=n.
3) m par e n mpar: neste caso, temos 2
m
= f(m) = f(n) = 2
1 n +
, o que
no ocorre pois teramos um nmero negativo igual a um nmero
positivo.
4) m mpar e n par: neste caso, temos 2
1 m+
= f(m) = f(n) = 2
n
, o que
tambm no ocorre pois teramos um nmero negativo igual a um
nmero positivo.
Logo, f injetora. Para mostrar que f sobrejetora seja m Z,
queremos encontrar n IN tal que f(n) = m. Temos dois casos a
considerar:
1) m maior ou igual a zero: neste caso, considere n = 2m, que um
nmero natural par, logo teremos f(n) = f(2m) = 2
m 2
= m.
2) m menor do que zero: neste caso, considere n = 2m 1, que
um nmero natural mpar, logo teremos
f(n) = f(2m-1) = 2
1 ) 1 m 2 ( +
= 2
m 2
=m.
Portanto, f sobrejetora.

5.27. Mostremos que g montona decrescente. De fato, sejam x
1
,x
2
IR,
ento
x
1
< x
2
-2x
1
> -2x
2
-2x
1
+3> -2x
2
+3 g(x
1
) > g(x
2
).
Para mostrar que f montona no-crescente, sejam x
1
, x
2
IR tais que
x
1
x
2
. Como f uma funo constante temos que f(x
1
) = f(x
2
). Logo,
f(x
2
) f(x
1
) e portanto f montona no-crescente em (IR,).

134
5.28. Vamos mostrar que toda funo montona crescente ou
decrescente injetora. Para isto, considere f: A B uma funo
montona decrescente. Suponhamos, por absurdo, que f no seja
injetora, ento existem x
1
, x
2
A com x
1
x
2
tais que f(x
1
) = f(x
2
), o
que contradiz o fato da funo ser montona decrescente. Portanto f
injetora.

5.29. A funo h ser invertvel para todo a 0. De fato, sendo a 0,
consideremos a funo g(x) = a
b x
e teremos
h

g(x) =
x b b x b
a
b x
a = + = + |
.
|
\
|
e
g
h

(x) =
x
a
b b x a
=
+
.
Logo, h invertvel e g a inversa de h. Quando a = 0 teremos a
funo constante h(x) = b que no injetora.

5.30. a) De fato, temos f(-x) = (x)
n
= (1)
n
.x
n
= (1)
n
.f(x). Se n par
temos (1)
n
=1 e, assim, f(-x)=f(x), logo f par. Se n mpar temos
(1)
n
=1 e assim, f(x)= f(x), logo, f mpar.

b) Seja g(x) = 2x
4
+ 5x
9
x
2
+ 8, temos
g(-x) = 2(x)
4
+ 5(-x)
9
(x)
2
+ 8 = 2x
4
5x
9
x
2
+ 8.
Logo, g(x) g(x), pois considerando x = 1 temos g(1) = 4 e g(1) =14.
Observe que temos tambm g(x) g(x). Portanto g no nem par
nem mpar.

c) I) Sejam f e g funes pares, temos
(f.g) (x)= f(x).g(x) = f(x).g(x) = (f.g)(x).
(f+g)( x)=f(x) + g(x) = f(x)+g(x)=(f+g)(x).
(f/g)( x) = f(x)/g(x) = f(x)/g(x) = (f/g)(x).
Logo, f.g, f+g e f/g so pares.

II) Sejam f e g funes mpares, temos
135
(f.g) (x)= f(x).g(x) = f(x).( g(x)) = f(x).g(x) = (f.g)(x).
(f+g)( x)=f(x) + g(x) = f(x)+( g(x)) = (f(x)+g(x))= (f+g)(x).
(f/g)( x) = f(x)/g(x) = f(x)/( g(x)) =f(x)/g(x) = (f/g)(x).
Logo, f.g e f/g so pares e f+g uma funo mpar.

III) Sejam f uma funo par e g uma funo mpar, temos
(f.g) (x)= f(x).g(x) = f(x).( g(x)) = (f(x).g(x)) = (f.g)(x).
(f/g)( x) = f(x)/g(x) = f(x)/( g(x)) = (f(x)/g(x)) = (f/g)(x).
(g/f)( x) = g(x)/f(x) = g(x)/( f(x)) = (g(x)/f(x)) = (g/f)(x).
Logo, f.g, f/g e g/f so mpares.

d) (f+g)( x)=f(x)+g(x)= f(x) g(x). Assim no se pode concluir se
f+g par ou mpar.

e) Seja g uma funo par, para mostrar que o grfico de g simtrico
em relao ao eixo Oy, devemos mostrar que se (x, y) g, ento (x, y)
g. De fato, se (x, y) g ento, por definio, temos y = g(x). Como g
par g(x) = g(x) = y e, portanto, o ponto (x,y) g. Seja f uma funo
mpar, para mostrar que o grfico da funo f simtrico em relao a
origem devemos mostrar que se (x, y) f, ento (x, y) f. De fato, se
(x, y) f ento, por definio, y = f(x). Como f mpar, temos f(x) =
f(x) = y e, portanto, o ponto (x, y) f.

f) I) Temos f(x)= 2(x)
4
3(x)
2
+ 1 = 2x
4
3x
2
+ 1 = f(x). Logo, f
par.
II) Temos f(x) = 5(x)
9
7(x) = 5x
9
+ 7x = ( 5x
9
7x) = f(x). Logo,
f mpar.
III) Temos f(x)=
1 x
1 x
1 ) x (
1 ) x (
+

=
+

. Para x = 1, temos f(1) = 0 e
f(1) =1. Logo, existe x tal que f(-x) f(x) e f(-x) -f(x). Portanto, f no
nem par e nem mpar.
136
IV) Temos f(x) =
1 x
) x x (
1 x
) x x (
1 x
x x
1 ) x (
) x ( ) x (
2
2
2
9
2
9
2
9
+
=
+

=
+
+
=
+

= f(x).
Logo, f mpar.

g) Existe, como f deve ser par e mpar simultaneamente verdadeiro
que f(x) = f(x) e f(x) = f(x), para todo x IR. Substituindo a segunda
igualdade na primeira obtemos f(x) = f(x), ou seja, 2f(x) =0 f(x)= 0.
Logo, a funo f: IR IR, f(x)=0, a nica funo par e mpar
simultaneamente.

5.31. Por definio,
( )
+ +
(
+ +
= +
U
U
Z n
Z n
C
2
1
n , n 1 x se 0
2
1
n , n 1 x se 1
1 x f
.
Como
U U
Z n Z n
2
1
n , n x
2
1
n , n 1 x

(
+
(
+ +
, temos f
C
(x + 1) = f
C
(x),.
Assim, f
C
uma funo peridica de perodo 1.

5.32. Seja o conjunto de todos os
pontos do espao euclidiano e a
operao f que associa a cada dois
pontos A e B o ponto mdio do
segmento AB.
- Temos f(A, B) = M e f(B, A) = M,
logo a operao comutativa
A
B
M

- N o ponto mdio de f(f(A, B), C) e O
o ponto mdio de f(A, f(A, B)). Assim
a operao no associativa.
A
B
M
O
C
T
N

137
5.33. Exemplo 5.67: O conjunto de todas as funes f: X X, denotado
por F(X,X),
Idempotente: f idempotente f

f = f f

f(x) = f(x). No d
para encontrar os elementos idempotentes pois so infinitos.
Vamos dar um exemplo de uma funo que idempotente. Seja X
um conjunto qualquer e f: (X)(X) (X)(X) tal que
f(A,B) = (A B, A B). Temos que
f

f(A,B) = f(A B, A B) = ((AB)(AB), (AB)(AB)) =
= (A B, A B) = f(A,B).
Assim, para cada conjunto X temos um elemento f em
((X)(X),(X)(X)).

Elemento neutro: As funes f: A A possuem elemento neutro
para todo A, que a funo identidade I
A
: A A. Mas f: A B, com
A B, no possui, pois por definio, um elemento elemento
neutro com uma operao * se x * e = x = e * x. No caso em
questo, f
I
A
= f e I
B

f = f, mas I
A
I
B
.
Elementos simetrizveis: As funes invertveis so elementos
simetrizveis, pois neste caso a inversa g: A A da funo f: A A
nos d o elemento que composto com f d o elemento neutro, ou
seja, f
g = I
A
.
Elementos regulares: Este conjunto no possui elemento regular
pois pode-se sempre alterar o domnio das funes e implicar na
desigualdade das funes. Por exemplo, o melhor candidato a
elemento regular a identidade mas, mesmo neste caso, se B A e
D A, seja f: B A e g: D A. Pode ocorrer f
I
A
= g
I
A
e f g.

Exemplo 5.68: O conjunto de todos os pontos do espao euclidiano e a
operao associa a cada dois pontos A e B, o ponto mdio do segmento
AB.
Idempotente: todos os pontos so idempotentes pois qualquer
ponto A ponto mdio do intervalo AA.
Elemento neutro: no existe elemento neutro pois o ponto mdio
de um segmento sempre diferente dos extremos quando estes
extremos so distintos.
138
Elementos simetrizveis: como no existe elemento neutro no
temos como falar em elementos simetrizveis.
Elementos regulares: todos os pontos so regulares, pois dados trs
pontos A. B e C do espao euclidiano, se o ponto mdio de AB
igual o ponto mdio de AC ento A = C.

5.34. Consideremos o conjunto das matrizes quadradas de ordem n.
Sejam
n n ij
nn 2 n 1 n
n 2 22 21
n 1 12 11
) a (
a a a
a a a
a a a
A

=
|
|
|
|
|
.
|
\
|
=
L
M M M
L
L

n n ij
nn 2 n 1 n
n 2 22 21
n 1 12 11
) b (
b b b
b b b
b b b
B

=
|
|
|
|
|
.
|
\
|
=
L
M M M
L
L

n n ij
nn 2 n 1 n
n 2 22 21
n 1 12 11
) c (
c c c
c c c
c c c
C

=
|
|
|
|
|
.
|
\
|
=
L
M M M
L
L

Adio:
a
1
) Associativa
(A + B) + C = ((a
ij
+ b
ij
)
nn
+ (c
ij
)
nn
=(a
ij
)
nn
+ (b
ij
+ c
ij
))
nn
= A + (B + C)
a
2
) Elemento Neutro: O elemento neutro a matriz nula n n, pois
(A + 0) = (a
ij
)
nn
+ (0)
nn
= (a
ij
+ 0)
nn
= (a
ij
)
nn
= A.
a
3
) O elemento inverso da adio da matriz A a matriz (A ) = (a
ij
)
nn
.
De fato
A + (A) = (a
ij
)
nn
+ (a
ij
)
nn
= (a
ij
a
ij
)
nn
= (0
ij
)
nn
= 0.

Multiplicao:
m
1
) O produto de matrizes associativo
139
(A.B) = D = (d
ij
)
n
onde d
ij
=
=
n
1 k
kj ik
b a
.
(D.C) = E = (e
ij
)
n
onde e
ij
=
=
=
n
1 l
lj il
c d

( ) ) C . B .( A c b a c b a c b a
n
1 k
n
1 l
lj kl ik lj
n
1 l
n
1 k
kl ik
n
1 l
lj
n
1 k
kj ik
=
|
|
.
|
\
|
= =
|
|
.
|
\
|
=

= = = = = =
.

m
2
) O elemento neutro a matriz identidade de ordem n, I
n
= (x
ij
)
nn

onde
=
=
. j i se 0
j i se 1
x
ij
. De fato, A. I
n
= (y
ij
)
nn
, onde y
ij
=
=
n
1 k
kj ik
x a
, ou
seja, y
ij
= a
i1
+ a
i2
x
2j
+ + a
in
x
nj
= a
ij
, pois x
kj
0 somente quando
k = j. A matriz possui elemento inverso multiplicativo somente quando
ela for invertvel ou quando o seu determinante for diferente de zero.

d) Distributiva
A(B + C) =
=
( ) ( ) ( ) ( ) AC AB c a b a c a b a c b a
n
1 k
kj ik
n
1 k
kj ik
n
1 k
kj ik kj ik
n
1 k
kj kj ik
+ = + = + = +

= = = =

5.35. a) Se e e e so elementos neutros ento e = e.e = e.

b) Mostre que o simtrico de um elemento, quando existe, nico.
Sejam y e z os simtricos de um elemento x com relao a operao *
que possui elemento neutro 0, ento
y = y * 0 = y * (x * z) = (y * x) * z = 0 * z = z.

5.36. a) Temos
(a f b) f (b f a)=[(a f b) f b] f a=[a f (b f b)] f a=(a f e) f a = a f a = e
e
(b f a) f (a f b)=[(b f a) f a] f b=[b f (a f a)] f b=(b f e) f b = b f b = e.
140

Pelo item b) do Exerccio 5.35 o simtrico nico, assim temos
(a f b) = b f a. Com relao a segunda igualdade temos a f a = e e a
f a = e. Pela unicidade do elemento simtrico, o simtrico de a a e
assim (a) = a.
b) Sejam y, z G, temos
x f y = x f z x f (x f y) = x f (x f z) (x f x) f y = (x f x) f z
e f y = e f z y = z
e
y f x = z f x (y f x) f x = (z f x) f x y f (x f x) = z f (x f x)
y f e = z f e y = z.

5.37. a.0 =a.(b + (b)) = ab + (ab) = 0

5.38. a) Comutativa: Sim, pois
x f y = f(x, y) = x + y 1 = y + x 1 = f(x, y) = y f x.

Associativa: Sim, pois
(x f y) f z = [f(x, y)] f z = f(f(x, y) f z) = f(x, y) + z 1 =
= x + y 1 + z 1 = x + y + z 2
e
x f( y f z) = x f (f(y, z) = x + f(y, z) 1 = x + y + z 1 1 =
= x + y + z 2.

Elemento idempotente:
x f x = x f(x, x) = x x + x 1 = x x 1 = 0 x = 1

Elemento neutro:
x f = x = f x x + 1 = x = 1.

Elemento simtrico:
x f x = 1 f(x, x) = 1 x + x 1 = 1 x + x = 2 x = 2 x.

141
Elemento regular:
x f y = x f z f(x, y) = f(x, z) x + y 1 = x + z 1 y = z
Logo, todo elemento regular.

b) Comutativa: No, pois
2 f 1 = f(2, 1) = 2 + 1 +4.1 = 7
1 f 2 = f(1, 2) = 1 + 2 + 1. 2 = 5.

Associativa: No, pois
1 f (2 f 3) = 1 f 17 = 1 + 17 + 17 = 35
(1 f 2) f 3 = 5 f 3 = 5 + 3 + 25.3 = 83.

x f x = x x + x + x
2
.x = x x
3
+ x = 0 x(x
2
+ 1) = 0 x = 0

Elemento neutro:
x f = x = f x
= + +
= + +
x x . x
x . x x
2
2
= 0.

Elemento simtrico:
x f x = 0 x + x + x
2
.x = 0 x =
2
x 1
x
+

x f x = 0 x + x + x
2
.x = 0 x = x 2
x . 4 1 1
2

Logo, os elementos simtricos so as solues de
2
x 1
x
+
= x 2
x . 4 1 1
2

.

Elemento regular:
x f y = x f z x + y + x
2
.y = x + z + x
2
.z y + x
2
.y = z + x
2
.z
142
y(1 + x
2
) = z(1 + x
2
) y = z.
y f x = z f x y + x + y
2
.x = z + x + z
2
.x y + y
2
.x = z + z
2
.x
y z = (z
2
y
2
).x (y + z).x = 1.
Logo, nenhum elemento regular.

c) Comutativa: Sim, pois
f(x, y) =
xy 1
y x
+
+
=
yx 1
x y
+
+
= f(y, x).
x f (y f z) = x f
|
|
.
|
\
|
+
+
yz 1
z y
=
yz 1
z y
. x 1
yz 1
z y
x
+
+
+
+
+
+
=
xz xy yz 1
z y xyz x
+ + +
+ + +

e
(x f y) f z =
|
|
.
|
\
|
+
+
xy 1
y x
f z =
z .
xy 1
y x
1
z
xy 1
y x
+
+
+
+
+
+
=
yz xz xy 1
xyz z y x
+ + +
+ + +
.

x f x = x xx 1
x x
+
+
= x
2
x 1
x 2
+ = x 2x = x.(1 + x
2
)
x.(1 + x
2
2) = 0 x.(x
2
1) = 0 x = 0 ou x = 1.

Elemento neutro:
x f = x = f x +
+
x 1
x
= x x + = x + x
2
= x
2
=
0.

Elemento simtrico: Como 1 + xy > 0, x, y IR
+
temos
143
x f x = 0 ' xx 1
' x x
+
+
= 0 x + x = 0 x = x.

Elemento regular: Se y z temos
x f y = x f z
xy 1
y x
+
+
= xz 1
z x
+
+
x + x
2
z + y + xyz = x + x
2
.y + z +
xyz x
2
z + y = x
2
.y + z x
2
(z y) = z y x
2
= 1 x = 1.

d) Comutativa: Sim, pois
f(x, y) =
2 2
y x +
=
2 2
x y +
= f(y, x).

(x f y) f z =
2 2
y x +
f z =
2 2 2
z y x + +
e
x f (y f z) = x f
2 2
z y +
=
2 2 2
z y x + +

x f x=x
2 2
x x +
=x
2
x 2
=x
2
x=x (
2
- 1).x=0
x=0.

Elemento neutro:
x f = x = f x
2 2
x +
= x x
2
+
2
= x
2

2
= 0 = 0.

Elemento simtrico:
x f x = 0
2 2
' x x +
= 0 x
2
+ x
2
= 0 x = x = 0.
Logo, 0 o nico elemento que possui simtrico.

Elemento regular:
144
x f y=x f z
2 2
y x +
=
2 2
z x +
x
2
+ y
2
=x
2
+ z
2
y
2
=z
2
y=z.

e) Comutativa: Sim, pois
f(a, b) = a+ b ab = b + a ba = f(b, a).

a f(b f c) = a f (b + c bc) = a + b + c bc a(b+c bc) =
= a + b + c bc ab ac + abc.
(a f b) f c = (a + b ab) f c = a + b ab + c (a + b ab)c =
= a + b ab + c ac bc + abc.

a f a=a a + a a.a = a a a
2
= 0 a(a 1) = 0 a = 0 ou a = 1.

Elemento neutro:
a f =a a + a.=a - a. =0 (a 1)=0 =0 ou a = 1.
Logo, = 0.

Elemento simtrico:
a f a = 0 a + a a.a = 0 a(1 a) = -a a = a 1
a
.
O elemento a = 1 no possui simtrico.

Elemento regular:
a f b = a f c a + b - ab= a + c - ac b(1 a) = c(1 a) b = c, se
a 1
Logo, todo elemento distinto de 1 regular.

f) Comutativa: No, pois
f(1, 2) = 1+ 2
2
= 5 e f(2, 1) = 2 + 1
2
= 3.
145

1 f(2 f 3) = 1 f 11 = 122.
(1 f 2) f 3 = 5 f 3 = 14.

a f a = a a + a
2
= a a
2
= 0 a = 0.

Elemento neutro:
a f = a a +
2
= a
2
= 0 = 0
f a = a + a
2
= a = a a
2
.
Logo, no existe elemento neutro.

Elemento simtrico:
Como no existe elemento neutro no possvel obter elemento
simtrico.

Elemento regular:
a f b = a f c a + b
2
= a + c
2
b
2
= c
2
b = c.
b f a = c f a b + a
2
= c + a
2
b = c.
Logo, nenhum elemento regular, mas todo elemento regular
esquerda.

g) Comutativa: No, pois
f(1, 2) = 2.1+ 2 = 4 e f(2, 1) = 2.2 + 1 = 5.

1 f(2 f 3) = 1 f 7 = 9.
(1 f 2) f 3 = 4 f 3 = 11.

a f a = a 2a + a = a 3a = a 2a = 0 a = 0.
146

Elemento neutro:
a f = a 2a + = a = a.
f a = a 2 + a = a 2 = 0 = 0.
Logo, no existe elemento neutro.

Elemento simtrico:
Como no existe elemento neutro no possvel obter elemento
simtrico.

Elemento regular:
a f b = a f c 2a + b

= 2a + c b = c.
b f a = c f a 2b + a

= 2c + a 2b

= 2c b = c.

5.39. Apresentaremos as operaes atravs de suas tabelas:

F
1
a b F
2
a b F
3
a b F
4
a b
a a a a a a a a a a a a
a a a a a b a b a a b b

F
5
a b F
6
a b F
7
a b F
8
a b
a a b a a b a a b a a b

F
9
a b F
10
a b F
11
a b F
12
a b
a b a a b a a b a a b a

F
13
a b F
14
a b F
15
a b F
16
a b
a b b a b b a b b a b b
147

5.40. a) Seja A = {x, y} temos
A A = {(x, x), (x, y), (y, y), (y, x)}.
Considere f: A A A dada pela tabela
. x y
x x x
y x x

Temos que f comutativa e associativa.

b) O conjunto das matrizes quadradas e a operao de multiplicao.

c) Sejam A = {x, y, z} e f: A A A dada pela tabela
. x y z
x x y z
y y x y
z z y x

Temos y.(y.z) = y.y = x
(y.y).z = x.z = z
Logo, no associativa. comutativa pois a tabela simtrica.

d) Sejam A = {a, b, c, e} e f: A A A dada pela tabela
. e a b c
e e a b c
a a e c b
b b b e e
c c a e c.

148
Captulo 6
6.1. Como #(A) = n e #(B) = m existem funes
f: {1,2,3,,n} A e g: {1,2,3,,m} B
que so bijetoras. Qualquer elemento i do conjunto {1, 2, 3, 4, , m.n}
pode ser escrito de maneira nica como i = b.n + r, onde 0 b < m e
1 r n. Consideremos a funo h: {1, 2, 3, 4, , m.n} A B, dada
por h(i) = (f(r),g(b)) que bijetora. Portanto, #(A B) = n.m.

6.2. Para cada B (IN) associamos a funo
g
B
(x) =
B x se 1
B x se 0

em F(IN,{0,1}). claro que para cada B existe uma nica funo g
B
em
F(IN,{0,1}) e que para cada funo f: IN {0,1} existe um nico
B (IN), a saber, B = f
1
(0). Logo, (IN) F (IN, {0,1}).

6.3. Primeiramente, devemos observar que o conjunto IN equipotente
ao conjunto dos nmeros naturais mltiplos de p, onde p IN
*
,
denotado por pIN. De fato, considere a funo f: IN pIN dada por
f(n) = p.n. Pela lei do cancelamento, temos que f injetora e pela
definio de mltiplo temos que f sobrejetora. Logo, f uma funo
bijetora e, portanto, IN equipotente a pIN. Em particular, IN
equipotente a m.IN e a k.IN. Como a relao de equipotncia uma
relao de equivalncia temos que m.IN equipotente a k.IN.

6.4. Seja f: A A. Observemos primeiramente que o nmero de
elementos de A igual ao nmero de elementos de f(A), pois f
injetora. Observemos tambm que f(A) A. Se f no sobrejetora,
temos f(A) A ento o nmero de elementos de f(A) menor do que o
nmero de elementos de A, o que uma contradio. Portanto, f
bijetora.

149
6.5. a) Ao encontrarmos o nmero de elementos de A unido com B,
estamos somando o nmero de elementos de A com o nmero de
elementos de B, mas ao fazer isto somamos duas vezes os elementos de
A interseo B. Assim #(A B) igual a #(A) mais #(B) subtraindo
#(AB).

b) Ao encontrarmos o nmero de elementos de A unido com B unido
com C, estamos somando o nmero de elementos de A com os
nmeros de elementos de B com os nmeros de elementos de C, mas
ao fazer isto, estamos somando os nmeros de elementos de A
interseo B com A interseo C com B interseo C duas vezes. Em
particular, a interseo A B C aparece a mais trs vezes, na
interseo de A com B, de A com C e de B com C, assim quando
subtramos [#(A B) + #(A C) + #(B C)] acabamos subtraindo o
nmero #(A B C), logo para obter o #(A B C) devemos
acrescent-lo novamente dando o resultado desejado.

c) Sejam os conjuntos A
1
, A
2
, A
3
e A
4
. Utilizando raciocnio semelhante
ao item anterior, temos que
#( A
1
A
2
A
3
A
4
) =
=

=
=
=
< <
=
=
< =
+
4 , 3 k
3 , 2 j
2 , 1 i
k j i
k j i
4 , 3 , 2 j
3 , 2 , 1 i
j i
j i
4
1 i
i
) A A A ( # ) A A ( # A #
#( A
1
A
2
A
3
A
4
).

Generalizando o resultado para os conjuntos A
1
, A
2
, , A
k
, temos
#( A
1
A
2
A
4
) =
=
+ + +

=
=
< =
K
K
K
k , , 2 i
1 k , , 2 , 1 i
i i
i i
1
k
1 i
i
0
2
1
2 1
2 1
) A A ( # ) 1 ( A # ) 1 (

=
=
=
< < <
+
k , 1 k i
3 , 2 i
2 , 1 i
i i i
i i
2 k
k
2
1
k 2 1
k i 2 1
) A A A ( # ) 1 (
M
K
+ (1)
k-1
#(A
1
A
2
A
k
).
150

6.6. Sejam A, B, C e D conjuntos tais que A B, C D, A C = e
B D = . Logo, existem funes bijetoras f: A B e g: C D. Seja
h: A C B D, definida por h(x) = f(x) se x A e h(x)=g(x) se xC.
Temos que h bem definida pois A C = e, alm disso, h bijetora.
De fato, se h(x) = h(y) ento temos trs casos:
1. x, y A: Neste caso, temos f(x) = f(y) o que implica x = y, pois f
injetora.
2. x, y B: Neste caso, temos g(x) = g(y) o que implica x = y, pois g
injetora.
3. x A e y B: Este caso no possvel pois teramos f(x) = g(y), o que
no possvel pois B D = .
Logo, h injetora. A sobrejetividade segue imediatamente da definio
de h. Portanto, A C equipotente a B D.

6.7.
a) Se A B e C D, ento A C B D.
Basta considerar a funo h: A C B D, h(x,y) =(f(x), g(y)) onde
f: A B e g: C D so funes bijetoras dadas pela eqipotncia dos
conjuntos. Como h bijetora (conseqncia da bijeo de f e g) temos
que A C equipotente a B D.

b) A B B A.
Basta considerar a funo f: A B B A definida por f(a,b) = (b,a),
que claramente bijetora.

c) (A B) C A (B C).
Basta considerar a funo f: (A B) C A (B C) definida por
f((a,b),c) = f(a,(b,c), que claramente bijetora.

d) A {x} A.
Basta considerar a funo f: A {x} A definida por f(a,x) = a, que
claramente bijetora.

e) Se A B e C D, ento F(C,A) F(D,B).
151
Considere a funo h: F(C,A) F(D,B) definida por h(r) = f
g
1
, onde
f: A B e g: C D so funes bijetoras dadas pela eqipotncia dos
conjuntos. A funo h injetora pois se supormos h(r) = h(s) ento
f
g
1
= f
g
1
. Assim, f
1

g
1

g = f
1

g
1

g, logo r = s.
Para mostrar a sobrejetividade tome s F(D,B) e considere r = f
1

g e
teremos que f(r) = f
g
1
= f
f
1

g
1
= s. Portanto, h bijetora
e F(C,A) equipotente a F(D,B).

f) Se B C = ento F(B C,A) F(B,A) F(C,A).
Considere a funo h: F(B C,A) F(B,A) F(C,A) definida por h(f) =
(f
B
, f
C
), onde f
B
e f
C
so as funes restrio de f a B e de f a C,
respectivamente. Mostremos que a funo h est bem definida. De fato,
as restries de f a B e de f a C so nicas, ento a funo est bem
definida. Afirmamos que h injetora. De fato, se h(f
1
) = h(f
2
), ento
(f
1B
, f
1C
) = (f
2B
, f
2C
) e assim, f
1B
= f
2B
e f
1C
= f
2C
). Como as restries a B e
a C so iguais f
1
= f
2
. Para mostrar a sobrejetividade, seja g = (f
1
, f
2
) em
F(B,A) F(C,A), seja f: B C A, definida por
=
, C x se ) x ( f
B x se ) x ( f
) x ( f
2
1

est bem definida pois B C = . Temos que h(f) = (f
1
, f
2
) = g, logo h
sobrejetora.

g) F(C,A B)

F(C,A) F(B,C).
Considere a funo h: F(C,A B) F(C,A) F(C,B) definida por h(f) =
(f
1
, f
2
), onde f
1
: C A tal que f
1
(c) = (p
1

f)(c), onde p
1
: A B A tal
que p
1
(a,b) = a e f
2
: C B tal que f
2
(c) = (p
2

f)(c), onde p
2
: A B B
tal que p
2
(a,b) = b. Mostremos que h est bem definida. De fato,
suponhamos que h(f) = g
1
e h(f) = g
2
. Temos g
1
= (f
1
, f
2
) e g
2
= (f
1
, f
2
),
logo g
1
= g
2
. Vamos mostrar agora que h injetora, suponhamos que
h(f) = h(g), ento (f
1
, f
2
) = (g
1
, g
2
). Assim, f
1
= g
1
e f
2
= g
2
, ou seja,
p
1

f = p
1

g e p
2

f = p
2

g. Portanto, se f(c) = (c
1
, c
2
) e g(c) =(d
1
, d
2
),
como (p
1

f)(c) = (p
1

g)(c), temos c
1
= d
1
e como (p
2

f)(c) = (p
2

g)(c),
temos c
2
= d
2
. Alm disso, como o domnio e o contra-domnio de f e g
so iguais temos f = g e, portanto, h injetora. Afirmamos que h
sobrejetora. De fato, seja (g
1
, g
2
) F(C,A) F(B,C) e consideremos a
funo f: C A B tal que f(c) = (c
1
, c
2
), onde c
1
= g
1
(c) e c
2
= g
2
(c).
Assim, h(f) = (f
1
, f
2
), onde
152
f
1
(c) = p
1

f(c) = p
1
(c
1
,c
2
) = c
1
= g
1
(c) e
f
2
(c) = p
2

f(c) = p
2
(c
1
,c
2
) = c
2
= g
2
(c).
Como f
1
e f
2
tem os mesmos domnios e contradomnios que g
1
e g
2
,
respectivamente, conclumos que f
1
= g
1
e f
2
= g
2
e assim h(f) = (g
1
, g
2
) e
h sobrejetora.

h) F(C,F(B,A)) F(B C,A).
Considere a funo h: F(C,F(B,A)) F(B C,A) definida por h(f) =g, onde
g: BC A definida por g(x,y) = [f(y)](x). A funo h est bem definida
pois se h(f) = g
1
e h(f) = g
2
ento g
1
(x,y) =(f(y))(x) e g
2
(x,y) = (f(y))(x), ou
seja, g
1
= g
2
. A funo h injetora pois se tivermos h(r) = h(s) ento
[r(y)](x) = [s(y)](x), para todo (x, y) em B C. Logo, r(y) = s(y) para todo
y em B, ou seja, r = s. Para mostrar a sobrejetividade de h considere t:
B C A e seja r: C F(B,A)) definida por r(y) = f, onde f: B A
definida por f(x) = t(x,y). Temos h(r) = g, onde g: BC A definida
por g(x,y) = [r(y)](x) = t(x,y). Logo, h bijetora e F(C,F(B,A))
equipotente a F(B C,A).

6.8. Se A um conjunto infinito e B um conjunto no vazio vamos mos-
trar que B um conjuntos infinito. Seja b B e consideremos o conjunto
{b} A. Mostraremos que {b} A infinito e assim pelo item a) do
Corolrio 6.11, temos o resultado. Como A infinito, pelo Teorema 6.8,
existe f : A C bijetora, com C
A. Seja g: {b} A {b} C

definida por g(b,a) = (b,f(a)). Temos que, se g(b,a) = g(b,a), ento
(b,f(a)) = (b,f(a)) e assim, f(a) = f(a) e como f injetora, a = a,
donde (b,a) = (b,a). Alm disso, se (b,c) {b} C, ento existe a A,
tal que, f(a) = c, pois f sobrejetora. Logo, g(b,a) = (b,f(a)) = (b,c) e
assim, g sobrejetora, donde conclumos que {b} A infinito.

6.9. Suponhamos que A seja infinito e mostremos que A \ B infinito.
Vamos mostrar por induo sobre o nmero de elemento de B. Para
B={b
1
} j foi provado. Suponhamos que para B={b
1
, b
2
, ...,b
k
}
tenhamos A \ B infinto. Ento para B={b
1
, b
2
, ..., b
k
,b
k+1
} teremos
A \ B=(A \ B) \ {b
k+1
}. Como A \ B infinito, pela hiptese de induo,
ento pelo Corolrio 6.10 temos que (A \ B) \ {b
k+1
} infinito.
153
Reciprocamente, suponhamos que B seja finito e A \ B infinito.
Suponhamos por absurdo que A seja finito. Como A \ B A, por
definio, temos pelo item a) do Corolrio 6.11, um absurdo. Assim, A
infinito.

6.10. Sejam A e B conjuntos infinitos. Como, por exemplo, A A B,
temos, pelo item a) do Corolrio 6.11 que A B infinito. Com relao
a interseo, se considerarmos A e B conjuntos infinitos, A B nem
sempre infinito, pois por exemplo, se A e B forem disjuntos ento A
B= e o um conjunto finito.

6.11. Sejam A e B dois conjuntos enumerveis. Temos, por definio,
que A B A. Assim, pelo item b) do Teorema 6.15, A B
enumervel.

6.12. Sejam A e B conjuntos finitos. Queremos mostrar que A B
tambm finito. Sabemos que A B subconjunto de A e de B. Como
A e B so finitos, pelo item b) do Corolrio 6.11, temos que A B
tambm finito, como queramos demonstrar.

6.13. Podemos ter trs situaes distintas:
1) A e B so infinitos; por exemplo A={0, 1, 2,...} e B={..., - 2, - 1, 0};
2) A infinito e B finito, por exemplo A = Z e B={0};
3) A finito e B infinito, por exemplo A={2, 4, 6, 8} e B= IN.
Afirmamos que no podemos ter dois conjuntos A e B finitos, como
A B infinito. De fato, suponhamos por absurdo que A B infinito
com A e B finitos que, sem perda de generalidade, suporemos
disjuntos. Pelo Exerccio 6.9, temos que (A B) \ B infinito, mas (A
B) \ B = A, o que uma contradio. Assim, A B finito.

154
6.14.Seja f: A B bijetora e D = f(C) tal que C prprio em A, vamos
mostrar que D prprio em B. Temos que C prprio em A, logo existe
a A tal que a C. Afirmamos que f(a) B mas f(a) D. De fato, temos
por definio de f que f(a) B. Se f(a) D = f(C) ento existe x C tal
que f(x) = f(a). Mas f bijetora, logo injetora, assim x = a o que um
absurdo, pois a C. Portanto D um subconjunto prprio de B.

6.15. Devemos mostrar que f :
i) injetora
De fato, sejam x
1
, x
2
]-1,1[ e suponhamos que f(x
1
)= f(x
2
), ento
( ) ( )
1 2 2 2 1 1 1 2 2 1
2
2
1
1
x x x x x x x 1 x x 1 x
x 1
x
x 1
x
= =

Como x
1
e x
2
devem ter o mesmo sinal temos dois casos a considerar:
a) x
1
0 e x
2
0
Teremos x
1
x
1
x
2
= x
2
x
2
x
1
x
1
= x
2
.
b) x
1
< 0 e x
2
< 0
Teremos x
1
+ x
1
x
2
= x
2
+ x
2
x
1
x
1
= x
2
.
Logo, f injetora.
ii) sobrejetora.
Dado, y IR, seja
y 1
y
x
+
=
, e teremos
f(x)=f
y 1
y
1
y 1
y
y 1
y
+
+
=
|
|
.
|
\
|
+

Se y0 ento f(x)=
y
1
y
y 1
y y 1
y 1
y
y 1
y
1
y 1
y
= =
+
+
+
=
+
+

155
Se y<0 ento f(x)=
y
1
y
y 1
y y 1
y 1
y
y 1
y
1
y 1
y
= =
.
Logo, f bijetora.

6.16. O conjunto dos nmero inteiros infinito. Utilizamos o Teorema
6.8 exibindo uma funo f: Z 2Z bijetora. Como 2Z est contido pro-
priamente em Z, teremos o desejado. Mostremos primeiramente que a
funo f: Z 2Z, f(a) = 2a, injetora. Sejam a, b Z, tais que
f(a) = f(b), ento 2a = 2b, ou seja, 2a 2b = 0. Assim, temos 2.(ab)=0
de onde se conclui que a = b. Para mostrar que f sobrejetora seja
b 2Z, ento existe a Z, tal que b = 2a. Assim, f(a) = b. Portanto, f
bijetora.

6.17. Considere dois intervalos reais [a,b] e [c,d], onde a b e c d. Para
obter a bijeo consideramos a reta que passa pelos pontos (a,c) e (b,d)
no diagrama cartesiano de IR IR. Esta reta tem como equao:
y c = a b
c d
.(x a).
Considere a funo f: [a,b] [c,d], dada por f(x) = a b
c d
.(x a) + c.
Temos que f injetora, pois se x, y [a,b] so tais que f(x) = f(y) temos
a b
c d
.(x a) + c = a b
c d
.(y a) + c a b
c d
.(x a) = a b
c d
.(y a).
Como a b e c d temos x a = y a. Portanto, x = y e a funo f
injetora. Para mostrar que f sobrejetora, considere y [c,d]. Tome-
mos x = c d
a b
.(y c) + a e teremos
f(x) = a b
c d
.( c d
a b
.(y c) + a a) + c = a b
c d
. c d
a b
.(y c) + c =
= y c + c = y.
156
Portanto, f bijetora e os intervalos [a,b] e [c,d] so equipotentes.

6.18. Podemos considerar um segmento de reta associado a um
intervalo real qualquer. Pelo exerccio anterior, este intervalo pode ser
o intervalo [0,1]. Da mesma maneira, o quadrado pode ser considerado
como o produto cartesiano [0,1] [0,1]. Assim, o problema se reduz a
mostrar que o intervalo [0,1] equipotente ao produto cartesiano
[0,1] [0,1]. De fato, considere a funo que associa elemento de [0,1],
digamos x = 0,x
1
x
2
x
3
x
4
x
5
x
6
... o elemento (x, x) onde
x = 0,x
1
x
3
x
5
x
7
x
9
x
11
... e x = 0,x
2
x
4
x
6
x
8
x
10
x
12
...
A unicidade desta representao decimal se obtm decrescendo uma
unidade no ltimo dgito dos decimais finitos e adicionando 9s
infinitamente. imediato que esta funo bijetora e, portanto, temos
o desejado.

6.19. Considere a funo f: ]0, 1[ ]1, 1[, f(x)=2x 1. Temos que f
injetora, pois se f(x) = f(y) ento 2x 1 = 2y 1 e da segue que x = y.
Alm disso, se y ]1,1[ considere x = 2
1 y +
que pertence ao intervalo
]0,1[ e f(x) = 2. 2
1 y +
1 = y, ou seja, f sobrejetora. Portanto, f
bijetora. Como IR equipotente a ]1, 1[, temos que IR equipotente a
]0, 1[.

6.20. Vamos mostrar que a unio de uma famlia enumervel de
conjuntos enumerveis enumervel. Seja {A
n
} n IN uma coleo
enumervel de conjuntos enumerveis e A=
n
IN n
A
U
. Ento existe uma
coleo enumervel de funes bijetoras {f
n
: IN A
n
} n IN. Seja f: IN
IN A, f(i, j)=f
i
(j). Temos que f sobrejetora, pois se y A temos y
A
i
para algum i IN. Logo, y = f
i
(j) para algum j IN. Logo, A
equipotente a um subconjunto de IN IN. Portanto, A enumervel
pois IN IN enumervel.

157
6.21. Se fosse enumervel teramos que o intervalo de ]0, 1[ seria
enumervel, como unio de conjuntos enumerveis, o que contraria o
Exemplo 6.16.

6.22. Como, por hiptese, A infinito temos, pelo Lema 6.7, que existe
uma funo g: IN A injetora. Temos dois casos a considerar:
1) a = g(0): neste casos definimos f: A A {a} por
f(g(n)) = g(n
+
), se n IN,
f(x) = x, se x Im g.
Na demonstrao do Teorema 6.8 foi visto que f injetora. Vamos
mostrar que f sobrejetora e, para isto, considere x A {a}. Se x
Im g, ento f(x) = x e se x Im g ento existe n 0 tal que g(n) = x.
Tomando m tal que m
+
= n (possvel pois n 0), teremos
f(g(m)) = g(m
+
) = g(n) = x.
Portanto, f bijetora.

2) a = g(n
0
), para algum n
0
IN. Definindo a funo h: IN A, dada por
h(n) = g(n + n
0
). Temos que h injetora pois h(m) = h(n) implica g(m
+ n
0
) = g(n + n
0
), assim pela injetividade de g, m + n
0
= n + n
0
e,
assim m = n. Alm disso, temos h(0) = a e, portanto, recamos no caso
anterior, utilizando agora a funo h.

6.23. O exerccio anterior demonstra, por transitividade, que [0,1]
equipotente a ]0,1] e que ]0,1] equipotente a ]0,1[. Logo, temos que o
intervalo fechado [0,1] equipotente ao intervalo aberto ]0,1[. Como IR
equipotente ao intervalo aberto ]0,1[ e este equipotente ao
intervalo fechado [0,1] que, por sua vez, equipotente ao intervalo [a,b]
temos que IR equipotente ao intervalo [a,b]. Novamente, pelo
exerccio anterior, o intervalo fechado [a,b] equipotente ao intervalo
aberto ]a,b[. Da conclui-se que os nmeros reas equipotente a
qualquer intervalo real.

6.24. Seja A um conjunto enumervel. Podemos supor que A infinito ,
pois caso contrrio, o resultado imediato. Assim, podemos escrever
158
A = {a
1
, a
2
, a
3
, a
4
, a
5
, ..., a
n
,...}.
Se associarmos a cada subconjunto finito de A um nmero decimal da
forma 0,a
i
a
j
a
k
a
l
...a
m
, teremos um conjunto formado por nmeros
decimais finitos que um subconjunto dos nmeros racionais que
enumervel. Pelo item b) do Teorema 6.15, obtemos o desejado.

6.25. Primeiramente vamos mostrar que a funo f: IN IN IN, dada
por f(m,n) = 2
m
.3
n
injetora. De fato, dados (m,n), (p,q) IN IN tais
que f(m,n) = f(p,q) temos 2
m
.3
n
= 2
p
.3
q
e, pelo Teorema Fundamental
da Aritmtica, devemos ter m=p e n=q, como queramos. Mostremos
agora que o produto cartesiano de dois conjuntos enumerveis
enumervel. Para isto consideremos A e B dois conjuntos quaisquer
enumerveis. Temos quatro casos a considerar:

1) A e B finitos: Neste caso temos A B finito, pelo item e) da
Proposio 6.4, e assim enumervel.

2) A finito e B infinito: Neste caso podemos supor A = {a
1
, a
2
, , a
n
} e
que exista uma funo h: B IN bijetora. Considere a funo g: A IN,
dada por g(a
i
) = i. Temos que a funo
t = (g,h): A B {1, 2, , n} IN
bijetora e, alm disso, f
t: A B IN, f
t(a,b) = 2
i
.3
m
injetora pois
se f
t (i,m) = f
t (j,p) ento 2
i
.3
m
= 2
j
.3
p
e assim i = j e m = p. Assim,
A B {1, 2, , n} IN. Como M = f({1, 2, , n} IN} IN , temos
que M enumervel e como f injetora, {1, 2, , n} IN M. Assim,
por transitividade A B equipotente a M e portanto enumervel.

3) B finito e A infinito: Neste caso temos A B B A, pelo item b) do
Exerccio 6.7 e camos no segundo caso.
4) A e B so infinitos: Neste casos existem funes f: A IN e g: B IN.
A funo h = (f,g): A B IN bijetora, logo A B IN IN e assim
enumervel.
6.26. Como qualquer intervalo [a,b] equipotente ao intervalo ]0,1[ e
este no enumervel temos, pelo item a) do Teorema 6.15, que [a,b]
no enumervel.
159

6.27. Suponhamos que {1,2,3,,m} {1,2,3,,n} ento, pela
Proposio 6.17, existe uma funao injetora de {1,2,3,,m} em
{1,2,3,,n}. Se m > n existiriam p, q {1,2,3,,m} com a mesma
imagem em {1,2,3,,n}, o que contraria a injetividade desta funao,
logo m n. Reciprocamente, suponhamos que m n, ento
{1,2,3,,m} {1,2,3,,n} e, pelo item b) da Proposio 6.18, temos
{1,2,3,,m} {1,2,3,,n}.

6.28.
a) Se A B e C D ento A C B D e F(C,A) F(D,B).
Para a primeira parte, basta considerar a funo h: A C B D, dada
por h(x,y) =(f(x), g(y)) onde f: A B e g: C D so funes injetoras
dadas pela hiptese e Proposio 6.17. Como h injetora (conseqncia
do fato de f e g serem injetoras) temos que A C tem potncia menor
ou igual a B D, pela recproca da Proposio 6.17. Para a segunda
parte, considere a funo definida por h(r): D B, onde h: F(C,A)
F(D,B) definida por
[h(r)](d) =
g Im d se b
g Im d se ) d ( g r f
1
o o
,
onde b um elemento fixo qualquer de B, f: A B e g: C D so
funes injetoras dadas pela hiptese e a Proposio 6.17. Assim,
temos g
1
: Im g C. A funo h injetora pois se supormos h(r) = h(s)
temos dois casos a considerar:
1) d Im g: Neste caso temos [h(r)](d) = [h(s)](d) = b.
2) d Im g: Neste caso temos
[h(r)](d) = f
g
1
(d) e [h(s)](d) = f
g
1
(d)
e, portanto, f
g
1
(d) = f
g
1
(d) (*). Queremos mostrar que r(c) =
s(c) para todo c C e assim, como r e s tem mesmo domnio e mesmo
contra-domnio obtemos r = s. Como g injetora, g: C Im g bijetora,
assim para cada c C, existe um nico d D tal que g
1
(d) = c. Logo,
r(c) = r(g
1
(d)) e s(c) = s(g
1
(d)). De (*) temos f(r(c)) = f(s(c)), como f
injetora r(c) = s(c) para todo c C. Logo, h injetora. Portanto, F(C,A)
160
tem potncia menor ou igual a F(D,B), pela recproca da Proposio
6.17.

b) Se A B, C D e B D = ento A C B D. Conseqen-
temente, A A B.
Sejam A, B, C e D conjuntos tais que A B, C D e B D = . Logo,
existem funes injetoras f: A B e g: C D. Seja h: A C B D,
definida por h(x) = f(x) se x A e h(x) = g(x) se x C \ A. Temos que h
bem definida pois se h(x) = y e h(x) = z, temos y = f(x) ou y = g(x) e
z = f(x) ou z = g(x). No primeiro caso temos y = f(x) e z = f(x) ou
y = g(x) e z = g(x) e ento y = z. No segundo caso temos y = f(x) e
z = g(x) ou y = g(x) e z = f(x) o que impossvel, pois se x A C,
ento x A ou x C \ A. Alm disso, h injetora. De fato, se h(x) =
h(y) ento temos trs casos:
1. x, y A: Neste caso, temos f(x) = f(y) o que implica x = y, pois f
injetora.
2. x, y C \ A: Neste caso, temos g(x) = g(y) o que implica x = y, pois g
injetora.
3. x A e y C \ A: Este caso no possvel pois teramos f(x) = g(y), o
que no possvel pois B D = .
Logo, h injetora. Portanto, AC tem potencia menor ou igual a BD.

6.29. A cada polinmio de grau n 1 com coeficientes inteiros
podemos associar uma n-upla de coordenadas inteiras. Segue do
Exerccio 6.25 que Z Z Z = (Z Z) Z enumervel, assim o
conjunto destes polinmios enumervel.

6.30. Para cada nmero algbrico x existe um polinmio p com
coeficientes inteiros tal que p(x) = 0. Como, pelo Exerccio 6.29, os
polinmios com coeficientes inteiros formam um conjunto enumervel,
obtemos o desejado.

6.31. Lembremos que por definio, #((A)) = # IR. Temos que
161
2
#IN
(2
#IN
)
n
(2
#IN
)
#IN
=
2
) IN (
2
#
= 2
#IN
, (*)
onde a ltima igualdade segue do Exemplo 6.18. Segue das
desigualdades (*) e do Teorema 6.19 (Teorema de Schrder-Bernstein)
que (2
#IN
)
n
= 2
#IN
, de onde segue o resultado.

6.32. Mostraremos primeiramente que se A IR IR enumervel,
ento IR IR\A IR. De fato, seja P = {x IR| (x, y) A para algum y}.
Como A enumervel, pelo item b) do
Teorema 6.15, segue que P enumervel,
assim existe x
0
IR, tal que x
0
P (ver
figura ao lado). Conseqentemente, o
conjunto X = {x
0
} IR disjunto de A,
assim X IR IR\A. Mas #X = #IR, logo #
IR IR\A #IR e como, pelo Exerccio 6.31,
A
P
IR
IR
X
x
0

# (IR)
2
= # IR, segue do Teorema 6.19 (Teorema de Schrder-Bernstein) o
resultado. Segue tambm do Exerccio 6.31 que existe uma aplicao
bijetora F : IR IR IR. Considere A um subconjunto de IR e fixemos
um nmero qualquer c em IR. Seja
B = F({c},A) = {y IR | x A, com y = F(c,x)}
e considere a funo g: IR IR, dada
por:
g(x) =

) B x e A x ( se ), x , c ( F
) B x e A x ( ou A x se , x

A funo g est bem definida, pois a unio
dos seus subconjuntos de definio nos d
A
f
A
c
F
A
g
B

todo o seu domnio e a interseo vazia, alm disso, g est definida
por duas funes, a identidade e a F. Vamos mostrar que g bijetora.
De fato, se g(x) = g (y), ento temos trs casos a considerar,
1. x A e y A, assim x = g(x) = g(y) = y.
2. (x A e x B) e (y A e y B), assim x = g(x) = g(y) = y.
3. (x A e x B) e (y A e y B), assim x = g(x) = g(y) = F(c,y),
mas neste caso, por definio x B, o que contradiz a hiptese,
logo este caso no pode existir.
162
assim, g injetora.
Se y IR, temos dois casos a considerar:
1. y A ou (y A e y B), ento pela definio de g, g(y) = y.
2. y A e y B, como B = F({c},A), existe x {c} A, tal que
F(c,x) = y.
Assim, g sobrejetora e, portanto bijetora.
Consideramos ento a aplicao f: IR IR\ ({c} A) IR\A dada por,
f(x,y) = g
1
F(x,y). Como F e g so bijetoras, temos que f bijetora e
assim, IR IR\ ({c} A) IR\A e como ({c} A) enumervel, pelo
resultado acima e por transitividade, temos o resultado desejado.

6.33. Temos pelo Exerccio 6.24 que o conjunto X de todos os
subconjuntos finitos de IN enumervel, assim, o conjunto Y de todos
os subconjuntos infinitos de IN dado por Y = (IN)\X. Como
#((IN)) = # IR, utilizando demonstrao anloga a do Exerccio 3,
temos o desejado.

6.34. Consideremos a seguinte proposio P(a): o nmero natural a> 0
admite uma representao da forma a
s
m
s
+ a
s1
m
s1
+ ... + a
1
m + a
0
,
onde 0 a
i
< m, para i = 1, ..., s e a
s
0. Vamos demonstrar que P(a)
verdadeira para todo nmero natural a, utilizando o 2 Princpio da
Induo Finita. Afirmamos que P(1) verdadeira. De fato, basta tomar
s = 0 e a
0
= 1. Suponhamos que P(k) seja verdadeira para todo natural
u, com 1 u < k e mostremos que P(k) verdadeira. Pelo algoritmo da
diviso, temos que k = qm + r, onde 0 r < m. Se q = 0, teremos k =
r. Assim, escolhendo a
0
= r, ficamos com k = a
0
e 0 < a
0
= r < m e,
portanto P(k) verdadeira para este caso. Se q > 0, afirmamos que
q < k. De fato, se q k, como m > 1, teremos neste caso k < qm, ou
seja, qm + r < qm e assim r < 0, contrariando a hiptese, logo q < k.
Assim, temos 1 q < k e pela hiptese de induo, P(q) verdadeira,
ou seja, q = b
t1
m
t1
+ ... + b
1
m + b
0
, onde 0 b
i
< m, para i=1,...,t1
e b
t1
0. Logo, k = qm + r = b
t1
m
t
+ ... + b
1
m
2
+ b
0
m + r. Fazen-
do b
t1
= a
s
, , b
1
= a
2
, b
0
= a
1
, r = a
0
e t = s, teremos:
k = a
s
m
s
+ a
s1
m
s1
+ ... a
2
m
2
+ a
1
m + a
0
,
onde 0 a
i
< m, para i = 1, ..., s e a
s
= b
t1
0. Assim, P(k)
verdadeira. Portanto, pelo 2 Princpio da Induo Finita, P(a)
verdadeira para todo natural a 1.
163

6.35. Sejam A = {a
1
, a
2
, ..., a
n
} e B = {b
1
, b
2
, ...} e g: A B IN definida
por g(a
i
) = i e g(b
i
) = n + i ento g injetora, pois se g(x) = g(y) temos
trs casos a considerar:
1. x = a
i
A, y = a
j
A: Neste caso, temos i = g(a
i
) = g(a
j
) = j;
2. x = a
i
A, y = b
j
B: Neste caso, temos i = g(a
i
) = g(b
j
) = n +j, o
que absurdo, pois i n.
3. x =b
i
B, y =b
j
B: Neste caso, temos n + i = g(b
i
) = g(b
j
) = n + j.
Portanto, g injetora, como queramos demonstrar. Para mostrar que g
sobrejetora, seja m IN, se m n, ento a
m
A e g(a
m
), se m > n,
ento m = n+ i e g(b
i
) = m + i = m e assim g bijetora.

6.36. Devemos mostrar que para todo conjunto A, existe uma funo
escolha r: (A) A , tal que r(B) B para todo B (A) .
Se {A}
i I
onde cada A
1
um subconjunto de A diferente de ,
ou seja, {A}
i I
=(A) , isto , se B (A) - , existe i I com B =
A
i
. Temos que I no-vazio e cada A
i
no-vazio por construo. Ento
I i
i
A
no vazio, ou seja, existe f
I i
i
A
e assim existe f: I A tal que
f(i) A
i
, i I. Tomamos
r: (A) - A, tal que r(B)=f(i), onde i tal que B = A
i
. Assim r(B)
B, e temos o desejado.

Matemática Resolução Dos Exercícios

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Matemática Resolução Dos Exercícios

Enviado por

Direitos autorais:

Formatos disponíveis

Apndice B: Resoluo dos Exerccios Propostos

importante que o aluno verifique a resoluo dos exerccios

, pois, por definio, 0!=1. Suponha-

B ento x B, mas por hiptese B C,

B, que garante que existe um elemento em B

C, que garante que existe um elemento em C que no pertence a B.

R simtrica, vamos mostrar que S

S. Da mesma forma, se (x, y) R

R e assim teremos que

S. Reciprocamente, suponhamos que S

R ento por hiptese, (x, y) R

S, assim existe z E tal que

se, e somente se, a.b b.a.

A (Absurdo, pois A = A) Mas se A

tal que f(x)=y. Assim, x f

g) (h(x)) = f(g(h(x))) = f((g

f(x). Isto implica que

f)(y) = y. Logo, existe x F

f)(x) = f(f(x)) = (x+1)+1 = x+2.

g)(x) = f(g(x)) = f(x

A. Seja g: {b} A {b} C

Você também pode gostar