You are on page 1of 111

Universidade de So Paulo

Instituto de Cincias Matemticas e de Computao


SMA 341 - Elementos de Matem tica
Notas de Aulas
Ires Dias
Sandra Maria Semensato de Godoy
So Carlos
2007
Sum rio
1 Noes de Lgica 7
1.1 Proposies e Conectivos Lgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Proposies compostas e tabelas-verdade . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Tautologia e Equivalncia Lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5 Denio de = e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6 Quanticadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.7 Mtodo Dedutivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.8 Mtodos de Demonstrao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.9 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2 Teoria dos Conjuntos 27
2.1 Noes primitivas, denies e axiomas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2 Operaes com conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.3 O Produto Cartesiano de Dois Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3 Relaes 45
3.1 Denies e exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2 Relaes de Equivalncias e Parties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.3 Relaes de Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.4 Funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
- 3 -
4 Sumrio
4 Noes de Cardinalidade 61
4.1 Conjuntos equipotentes, enumerveis e contveis . . . . . . . . . . . . . . . . . . . . . . 61
4.2 Nmeros cardinais e a hiptese do contnuo . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.3 Cardinal de um conjunto - Teorema de Cantor . . . . . . . . . . . . . . . . . . . . . . . 68
4.4 Aritmtica cardinal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.4.1 Adio de nmeros cardinais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.4.2 Multiplicao de nmeros cardinais . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.4.3 Potncias de nmeros cardinais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
4.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5 Os Nmeros Naturais 75
5.1 Os axiomas de Peano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.2 Adio em N. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
5.3 Multiplicao em N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
5.4 Relao de ordem em N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
5.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
6 Os Nmeros Inteiros 85
6.1 A adio em Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
6.2 A subtrao em Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
6.3 A multiplicao em Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
6.4 Relao de Ordem em Z. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
6.5 Valor Absoluto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
6.6 Mltiplos e Divisores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
6.7 Algoritmo da diviso em Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
6.8 Mximo Divisor Comum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
6.9 Mnimo Mltiplo Comum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
6.10 Congruncia Mdulo m . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
6.11 Critrios de Divisibilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
6.12 Nmeros Primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
6.13 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
Sumrio 5
7 Nmeros Racionais 103
7.1 A adio em . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
7.2 A Multiplicao em . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
7.3 A Diviso em . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
7.4 Relao de Ordem em . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
7.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
Referncias Bibliogrcas 111
1
No cs Jc l gica
Lgica a higiene usada pelos matemticos para conservar suas idias sau-
dveis e fortes. Herman Weyl (1885-1955)
1.1 Proposi es e Conectivos L gicos
O estudo da lgica o estudo dos princpios e mtodos utilizados para distinguir
argumentos vlidos daqueles que no so vlidos.
O principal objetivo desta seo ajudar o aluno a entender os princpios e mtodos
usados em cada etapa de uma demonstrao. Sem alguns conceitos lgicos bsicos,
impossvel escrever e/ou entender uma demonstrao. Quando demonstramos um
teorema, estamos demonstrando a veracidade de certas declaraes. Em geral estas de-
claraes so compostas de proposies, quanticadores, conectivos e/ou modicadores.
O ponto inicial da lgica o termo proposio usado em um sentido tcnico. Por
uma proposio entendemos uma sentena declarativa (armativa) ou uma arma-
o verbal que verdadeira ou falsa, mas no ambas simultaneamente. A designao
Verdadeira (V) ou Falsa (F) de uma proposio dita ser seu valor verdade ou seu
valor lgico.
ExempIo 1.1. As seguintes armaes so proposies:
(a) (e

)
2
= e
2
.
(b) 6 um nmero primo.
- 7 -
8 1. Noes de Lgica
(c) Pedro tem olhos azuis.
(d) O dia 10 de agosto de 1935 foi uma quarta-feira.
(e) O 1000
o
digito da expanso decimal de

2 6.
(f) Existe vida inteligente em Marte.
Note que (a) claramente V; (b) claramente F; (c) uma proposio pois V ou
F, mesmo que eu no conhea o Pedro; (d) V ou F, mesmo que seja difcil saber a
resposta; o mesmo vale para (e) e (f).
ExempIo 1.2. As seguintes armaes no so proposies:
(a) (e

)
2
igual e
2
?
(b) AH! se eu passar em Elementos!
(c) x > 3.
(d) 2 + 3i menor que 5 + 3i.
(e) x(x + 4) = x
2
+ 4x.
(f) Esta proposio falsa.
(g) Hoje tera-feira.
(h) Est chovendo.
Note que (a) interrogativa e no declarativa; (b) exclamativa e no declarativa; (c)
uma sentena aberta, pode ser V ou F dependendo da varivel x; (d) no V ou F,
pois no existe ordem em C; (e) no uma proposio, o que seria proposio para
todo x 1, x(x+4) = x
2
+4x; (f) um paradoxo, viola a denio de proposio pois
V e F ao mesmo tempo; (g) uma sentena aberta que depende da varivel hoje
assim como (h) depende da varivel tempo.
1.2 Proposi es compostas e tabelas-verdade
As proposies do exemplo 1.1 so todas proposies simples, ou seja, no foram
obtidas por combinaes ou composies de outras proposies. A combinao ou co-
neco de duas ou mais proposies simples uma proposio composta. H vrias
1.2. Proposies compostas e tabelas-verdade 9
maneiras de conectar proposies, somente cinco so freqentemente usadas. So os
conectivos:
(a) no, simbolizado por , tambm chamado de modicador.
(b) e, simbolizado por (operao de conjuno).
(c) ou, simbolizado por (operao de disjuno).
(d) se ento , simbolizado por (conectivo condicional).
(e) se, e somente se , simbolizado por (conectivo bicondicional).
Como em lgebra usamos letras para representar nmeros, em lgica usaremos letras
minsculas para representar proposies.
Deni o 1.3. Para proposies p e q, denimos:
(a) A negao de p, denotada por p, lida no p, como sendo a proposio com
valor verdade diferente do de p.
(b) A conjuno de p e q, denotada por p q, lida p e q, como sendo a proposio
que verdadeira somente quando p e q so ambas verdadeiras.
(c) A disjuno de p e q, denotada por pq, lida p ou q, como sendo a proposio
que falsa somente quando p e q so ambas falsas.
(d) A condicional de p e q, denotada por p q, lida se p, ento q ou p implica
q ou p condiciona q ou p condio suciente para q, como sendo a proposio
que assume o valor falso somente quando p for verdadeira e q for falsa.
(e) A bicondicional de p e q, denotada por p q, lida p se, e somente se q ou
p bicondiciona q ou p condio necessria e suciente para q, como sendo
a proposio que assume o valor verdadeiro somente quando p e q so ambas
verdadeiras ou p e q so ambas falsas.
ExempIo 1.4. Maria tem uma caneta: uma proposio p. O sol uma estrela:
uma proposio q.
Podemos formar as novas proposies:
- Maria tem uma caneta e o sol uma estrela. (p q)
10 1. Noes de Lgica
- Maria tem uma caneta ou o sol uma estrela. (p q)
- Se Maria tem uma caneta, ento o sol uma estrela. (p q)
- Maria tem uma caneta se e somente se o sol uma estrela. (p q)
- No verdade que Maria tem uma caneta. ( p)
- O sol no uma estrela. ( q)
Observa o 1.5. As denies so condies necessrias e sucientes e, portanto, so
equivalentes a condies que tm o conectivo se e somente se.
Para expressarmos os valores lgicos de uma proposio composta muito conve-
niente utilizarmos uma tabela, chamada tabela-verdade da proposio, onde cada
linha expressa os valores-verdade da composta, obtidos a partir dos valores-verdade das
proposies dadas e dos conectivos usados. Vejamos as tabelas-verdade das proposies
denidas acima:
p p
V F
F V
(a) p
p q p q
V V V
V F F
F V F
F F F
(b) p q
p q p q
V V V
V F V
F V V
F F F
(c) p q
p q p q
V V V
V F F
F V V
F F V
(d) p q
p q p q
V V V
V F F
F V F
F F V
(e) p q
Tabela 1.1: Tabelas-verdade da proposio 1.3.
A partir destas cinco tabelas-verdade, podemos construir uma tabela-verdade para
qualquer proposio composta. Atravs de exemplos apresentaremos duas maneiras de
fazermos isso.
1.2. Proposies compostas e tabelas-verdade 11
ExempIo 1.6. Construa a tabela-verdade para a proposio [( p) ( q)].
p q p q ( p) ( q) [( p) ( q)]
V V F F F V
V F F V F V
F V V F F V
F F V V V F
Tabela 1.2: Construo da tabela-verdade do exemplo 1.6.
Esta tabela representa como chegar na proposio [( p) ( q)] passo a passo.
Na realidade a tabela-verdade desta proposio :
p q [( p) ( q)]
V V V
V F V
F V V
F F F
Tabela 1.3: Tabela-verdade do exemplo 1.6.
Vale observar que:
1. O conectivo abrange somente a primeira expresso que o segue, exceto quando
se utiliza parnteses e/ou colchetes
p q ,= (p q) p q = ( p) q.
2. Os conectivos e abrangem toda a expresso que no contenha o mesmo
sinal
p q p q signica [( p) q] [p ( q)].
3. O nmero de linhas de uma tabela-verdade de uma proposio dado por 2
n
,
onde n o nmero de proposies simples que a compem.
12 1. Noes de Lgica
ExempIo 1.7. Determine se a proposio seguinte verdadeira:
Ou
_

senxdx ,= 0 e
d
dx
(2
x
) = x2
x1
ou
_

sen xdx = 0 e ln 6 = (ln 2) (ln 3).


Sejam p a proposio
_

sen xdx = 0, q a proposio


d
dx
(2
x
) = x2
x1
e r : ln 6 =
(ln 2) (ln 3).
Como o conectivo principal ou ou , temos que a proposio dada (
p q) (p r). Vamos ento construir a tabela-verdade desta proposio. Para tanto,
notamos que, neste caso, temos 3 proposies simples p, q e r. Logo, nossa tabela ter
2
3
= 8 linhas.
p q r p p q p r ( p q) (p r)
V V V F F V V
V V F F F F F
V F V F F V V
V F F F F F F
F V V V V F V
F V F V V F V
F F V V F F F
F F F V F F F
Tabela 1.4: Tabela-verdade do exemplo 1.7.
Note que p V pois
_

sen xdx = 0, desde que seno uma funo mpar; q F pois


d
dx
(2
x
) = 2
x
ln 2 ,= x2
x1
; r F pois ln 6 = ln 2+ln 3 ,= (ln 2) (ln 3). Conseqentemente,
p, q e r satisfazem as condies da linha 4 da tabela e, assim, a proposio dada Falsa.
1.3 Tautologia e Equival ncia L gica
Deni o 1.8. Uma proposio que verdadeira em todas as possibilidades lgicas
dita ser uma tautologia. Se ela for falsa para todas as possibilidades lgicas, ela dita
ser uma contradio.
Note que se p uma tautologia, ento p uma contradio e vice-versa.
1.3. Tautologia e Equivalncia Lgica 13
ExempIo 1.9. Para toda proposio p, a proposio p p uma tautologia e p p
uma contradio.
De fato, basta observar sua tabela-verdade.
p p p p p p
V F V F
F V V F
Tabela 1.5: Tabela-verdade do exemplo 1.9.
Deni o 1.10. Duas proposies so ditas logicamente equivalentes se elas tiverem
a mesma tabela-verdade, ou seja, elas tm o mesmo valor verdade para cada uma das
possibilidade lgicas.
ExempIo 1.11. As proposies (p q) e p q so logicamente equivalentes.
De fato, basta vericar na tabela-verdade:
p q p q (p q) p q p q
V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V
Tabela 1.6: Tabela-verdade do exemplo 1.11.
O que signica a equivalncia lgica deste exemplo? Por exemplo, se uma pessoa
armar que:
lim
x0
x
2
,= 0 e
_
1
0
e
x
dx ,= e
e outra pessoa armar que:
No verdade que ou lim
x0
x
2
= 0 ou
_
1
0
e
x
dx = e,
temos que as duas pessoas estaro dizendo a mesma coisa, ou seja, ambas estaro certas
ou ambas estaro erradas. Neste caso, como lim
x0
x
2
= 0 e
_
1
0
e
x
dx ,= e, temos que
ambas estaro erradas (basta ver a linha 2 da tabela anterior).
14 1. Noes de Lgica
Note que se duas proposies p e q so logicamente equivalentes, ento p q
uma tautologia e, reciprocamente, se p q for uma tautologia, ento p e q sero
logicamente equivalentes.
Em Matemtica, a principal importncia das equivalncias lgicas est na idia que
duas proposies logicamente equivalentes podem ser vistas como a mesma do ponto
de vista lgico. Por exemplo, se duas proposies p e q so logicamente equivalentes e,
necessitamos demonstrar p e encontramos uma maneira mais simples ou mais fcil de
demonstrarmos q, ento podemos demonstrar p provando q.
ExempIo 1.12. A proposio p q logicamente equivalente a q p mas no
logicamente equivalente a p q.
De fato, basta observar a tabela-verdade:
p q p q p q q p p q
V V V F F V V
V F F F V F V
F V V V F V F
F F V V V V V
Tabela 1.7: Tabela-verdade do exemplo 1.12.
Mais ainda, a proposio p q logicamente equivalente a (p q) que
logicamente equivalente a p q, como mostra a tabela abaixo:
p q p q p q (p q) p q
V V V F F V V
V F F F V F F
F V V V F V V
F F V V V V V
Tabela 1.8: Equivalncia entre p q, (p q) e p q.
Deni o 1.13. Se p q uma condicional, ento q p dita ser a condi-
cional contra positiva, q p dita ser a condicional recproca e p q a
1.4. Teoremas 15
condicional inversa.
1.4 Teoremas
Um teorema uma proposio lgica que uma tautologia. As tautologias de
principal interesse em matemtica so as que envolvem os conectivos condicional e/ou
bicondicional. A demonstrao de um teorema nada mais do que a confeco da
tabela-verdade mostrando que a proposio de fato uma tautologia.
Em matemtica usa-se outros termos como axiomas e postulados que so fatos
aceitos sem uma demonstrao; lemas e/ou proposies que so teoremas cujo pro-
psito utiliz-los na demonstrao de outro teorema e corolrios que so teoremas
que seguem imediatamente da demonstrao de outro(s) teorema(s).
1.5 Deni o de =e
Sejam p e q proposies. Se p q uma tautologia, dizemos que esta proposio
condicional uma implicao e que p implica logicamente q e escrevemos p = q.
Se p q uma tautologia, dizemos que esta bicondicional uma bi-implicao e
denotamos por p q. Lembre-se que p q ser tautologia signica que p e q so
logicamente equivalentes e, assim, p q representa a equivalncia entre p e q.
Vamos ao nosso primeiro teorema que apresenta as propriedades bsicas de =.
Teorema 1.14. Sejam p, q e r proposies. Ento:
1. Reexiva - p =p.
2. Transitiva - (p q) (q r) =(p r).
3. Simplicao - p q =p.
4. Adio - p =p q.
5. Modus Ponens - (p (p q)) =q.
6. Modus Tollens - (p q) q = p.
7. Reduction ad absurdum - ( p (q q)) =p.
8. Simetria - (p q) =(q p).
16 1. Noes de Lgica
9. Transitiva - (p q) (q r) =(p r).
10. (p r) =(p q r).
11. Disjuno - ((p q) p) =q.
12. p =(p q).
13. q =(p q).
14. (p q) =(p q).
Prova: Faremos a tabela-verdade dos itens 3, 6 e 14.
3. p q =p.
p q p q p q =p
V V V V
V F F V
F V F V
F F F V
6. (p q) q = p.
p q q p q (p q) q (p q) q = p
V V F V F V
V F V F F V
F V F V F V
F F V V V V
14. (p q) =(p q).
p q p q q p p q (p q) =(p q)
V V V V V V
V F F V F V
F V V F F V
F F V V V V

1.5. Denio de = e 17
As correspondentes propriedades de so apresentadas no prximo teorema.
Teorema 1.15. Sejam p, q e r proposies. Ento:
1. Reexiva - p p.
2. Dupla negao - ( p)) p.
3. Negao da conjuno - Lei de Morgan - (p q) ( p q).
4. Negao da disjuno - Lei de Morgan - (p q) ( p q).
5. Negao da condicional - (p q) (p q).
6. Negao da bicondicional - (p q) (p q) ( p q).
7. Comutatividade de - (p q) (q p).
8. Comutatividade de - (p q) (q p).
9. Associatividade de - (p q) r p (q r).
10. Associatividade de - (p q) r p (q r).
11. Distributividade - p (q r) (p q) (p r).
12. Distributividade - p (q r) (p q) (p r).
13. Bicondicional - (p q) (p q) (q p).
14. Contra positiva - (p q) ( q p).
15. (p q) ( p q).
16. (p (q r)) (p q) r.
17. (p q) r (p r) (q r).
18. p q r (p q) (p r).
19. (p q) r (p r) q.
20. (p q) r (p r) (q r).
21. (p q) r (p (q r)).
18 1. Noes de Lgica
22. p q p q.
23. Idempotncias - p p p e p p p.
24. Transitividade - (p q e q r) =(p r).
Prova: Fazer alguns casos.
Referentes s tautologias e s contradies temos:
Teorema 1.16. Sejam t uma tautologia, c uma contradio e p uma proposio qual-
quer. Ento:
1. c =p
2. p =t
3. p t p
4. p t t
5. p p c
6. p c c
7. p c p
8. t c
9. c t
10. p p t
Prova: Fazer alguns casos.
1.6 Quanticadores
Existem sentenas para as quais no h como decidir se assumem valor V ou F. Por
exemplo: x + y = 5 e Ele jogador de futebol. Estas sentenas so denominadas
sentenas abertas ou predicados. Podemos compor sentenas abertas usando os
mesmos conectivos usados nas proposies e formarmos novas sentenas abertas a partir
de outras mais simples.
H duas maneiras formais de transformar uma sentena aberta em uma proposi-
o, utilizando os dois quanticadores. Para isso, necessitamos de um universo ou
domnio de discusso, isto , uma coleo de objetos para os quais consideramos pro-
priedades. Por exemplo, na proposio Todos os homens so mortais, o universo
a coleo de todos os homens e tal proposio pode ser escrita como Para todo x do
universo, x mortal.
1.6. Quanticadores 19
A frase Para todo x do universo chamada um quanticador universal e sim-
bolizado por x. A sentena x mortal diz alguma coisa sobre x, ento simbolizamos
por p(x). Assim escrevemos Todos os homens so mortais como
(x)(p(x))
que pode ser lida como:
- para todo x, p(x);
- para cada x, p(x);
- para qualquer x, p(x).
Vejamos agora a proposio Alguns os homens so mortais. O universo o mesmo
da proposio anterior. Com este universo em mente, podemos escrever esta proposio
como: Existe no mnimo um homem que mortal; Existe no mnimo um x, tal que x
mortal; Existe no mnimo um x, tal que p(x).
A frase Existe no mnimo um x, tal que chamada quanticador existencial
e denotada por x. Usando este smbolo, podemos escrever a proposio Alguns
homens so mortais como
(x)(p(x))
que pode ser lida como:
- existe x tal que p(x);
- existe ao menos um x tal que p(x);
- para algum x, p(x);
- para pelo menos um x, p(x).
Quando existe um nico elemento no universo que torna a proposio (x)(p(x))
verdadeira, denotamos esta proposio por (!x)(p(x)) e lemos:
- existe um nico x tal que p(x);
- para um nico x, p(x).
20 1. Noes de Lgica
Note que (!x)(p(x)) =(x)(p(x)).
O conjunto dos elementos do universo que tornam uma sentena aberta uma propo-
sio verdadeira denominado conjunto-verdade. Por exemplo, para p(x) : x+1 = 5,
o conjunto universo pode ser 1 e o conjunto-verdade 4, enquanto que para a sen-
tena aberta p(x) : sen
2
x+cos
2
x = 1, temos que o conjunto-verdade igual ao conjunto
universo que igual a 1.
Quando estiver subentendido quem o conjunto universo, os quanticadores podem
ser omitidos, por exemplo, escrevemos (x + 1)(x 1) = x
2
1 no lugar de escrever
x 1, (x + 1)(x 1) = x
2
1. Tambm comum escrevermos os quanticadores
depois da sentena aberta, por exemplo, escrevemos f(x) = 0, para todo x no lugar
de escrevermos (x)(f(x) = 0).
Observe que claramente temos
(x)(p(x)) =(x)(p(x)).
As negaes de proposies com quanticadores so denidas por:
(a) [(x)(p(x))] (x)( p(x)).
(b) [(x)(p(x))] (x)( p(x)).
Vamos mostrar (a) em um caso particular. Suponhamos que o conjunto universo de
p(x) seja constitudo pelos elementos a, b, c. Ento a proposio (x)(p(x)) signica:
p(a) p(b) p(c) verdadeira.
Da, [(x)(p(x))] o mesmo que [p(a) p(b) p(c)] que equivalente a
p(a) p(b) p(c). Mas, se esta ltima for verdadeira, ento um dos casos p(a),
p(b), p(c) verdade, o que equivalente a (x)( p(x)). Da segue que
[(x)(p(x))] ((x)( p(x))).
ExempIo 1.17. A negao de:
(x)(sen
2
x + cos
2
x = 1)
signica que
(x)( (sen
2
x + cos
2
x = 1))
ou seja
(x)(sen
2
x + cos
2
x ,= 1).
1.7. Mtodo Dedutivo 21
Os quanticadores nos do uma idia do que so os exemplos e os contra-exemplos.
Quando temos uma proposio verdadeira que contm um dos quanticadores, dar um
exemplo escolher uma varivel x para o qual ela verdadeira, ou seja, escolher um
elemento do seu conjunto-verdade. Quando uma proposio que contm um dos quanti-
cadores no verdadeira, signica que o seu conjunto-verdade diferente do conjunto
universo. Assim, encontrar um contra-exemplo escolher uma varivel x que no esteja
no conjunto-verdade.
1.7 M todo Dedutivo
Vimos que demonstrar teoremas signica vericar que a proposio dada uma
tautologia e, zemos isso, construindo tabelas-verdade. Veremos agora outra maneira
de vericar a validade de proposies. Este procedimento chamado de mtodo
dedutivo e consiste na utilizao de denies, de outros resultados pr-estabelecidos
e das propriedades transitivas de = e . Vejamos como utiliz-lo em exemplos.
ExempIo 1.18. Usando o mtodo dedutivo mostrar a validade de
(p q) ( q p).
Como
(p q) p q Teorema 1.15 (15)
p q q p Teorema 1.15 (7)
q p ( q) p Teorema 1.15 (2)
( q) p q p Teorema 1.15 (15)
usando a transitividade de , obtemos a equivalncia desejada.
ExempIo 1.19. Mostre a validade de
(p r) (q s) (p q) (r s)
usando o mtodo dedutivo. Como
(p r) (q s) ( p r) ( q s) Teorema 1.15 (15)
( p q) (r s) Teorema 1.15 (7,9)
(p q) (r s) Teorema 1.15 (3)
(p q) (r s) Teorema 1.15 (15)
usando a transitividada de , obtemos a equivalncia.
22 1. Noes de Lgica
ExempIo 1.20. Considere as seguintes armaes:
H
1
: Tempo dinheiro.
H
2
: Vagabundo tem muito tempo.
T : Vagabundo tem muito dinheiro.
A proposio (H
1
H
2
=T) um teorema?
Se considerarmos p : Ter tempo, q : Ter dinheiro e r : Ser vagabundo, teremos
que H
1
: p q, H
2
: q r e T : r q. Assim, podemos escrever a proposio
H
1
H
2
= T como (p q) (r p) = (r q) que verdadeira, mostrando
que a proposio dada um teorema.
ExempIo 1.21. Considere agora as seguintes armaes:
H
1
: Penso, logo existo.
H
2
: Pedras no pensam.
T : Pedras no existem.
A proposio (H
1
H
2
=T) um teorema?
Se considerarmos p : Pensar e q : Existir, teremos que H
1
: p q, H
2
: p
e T : q. Assim, podemos escrever a proposio H
1
H
2
= T como ((p q)
p) = q que no verdadeira, pois ((p q) p) q no uma tautologia,
mostrando que a proposio dada no um teorema.
1.8 M todos de Demonstra o
Veremos trs maneiras ou mtodos de demonstrar um teorema da forma p =q.
(1) Prova ou demonstrao direta: Consiste na utilizao do mtodo dedutivo,
assumindo que p verdadeira e, utilizando equivalncias lgicas e fatos pr estabelecidos,
deduzir que q verdadeira.
Por exemplo, mostre que:
Se x um nmero inteiro par, ento x
2
um inteiro par.
1.8. Mtodos de Demonstrao 23
Note que esta uma implicao do tipo p =q, onde p a proposio x um nmero
inteiro par e q a proposio x
2
um nmero inteiro par.
Assumindo p verdadeira, temos que x um nmero inteiro par = x divisvel
por 2, por denio x mltiplo de 2 existe n Z, tal que x = 2n =
x
2
= (2n)
2
= 4n
2
= 2(2n
2
) = 2m, para algum m Z = x
2
um nmero inteiro par
= q.
(2) Demonstrao por contraposio: Consiste na utilizao da equivalncia l-
gica p q q p, ou seja, para mostrarmos o teorema p =q, mostramos,
utilizando o mtodo da demonstrao direta que q = p.
Por exemplo, mostre que:
Se x um nmero inteiro tal que x
2
mpar, ento x um inteiro mpar.
Esta uma implicao do tipo p =q, onde p a proposio x
2
um nmero inteiro
mpar e q a proposio x um nmero inteiro mpar.
Note que no possvel utilizar o mtodo da demonstrao direta neste caso, pois
de x
2
um nmero inteiro mpar, temos que existe n Z tal que x
2
= 2n + 1 e, no
conseguimos chegar que existe um m Z tal que x = 2m + 1.
Utilizando a equivalncia lgica citada acima, vamos mostrar que q = p.
Agora, q : x no mpar = x par = x
2
par, pelo exemplo anterior = p.
Consequentemente, p =q.
(3) Demonstrao por contradio (Reduction ad absurdum): Consiste na
utilizao da equivalncia lgica p q (p q) p, ou seja, para mostrar-
mos o teorema p =q, mostramos, que (p q) = p, o que nos leva a um absurdo,
pois, como p sempre verdadeira e conclumos que p tambm verdadeira, teremos
que p p verdadeira, o que uma contradio.
Por exemplo, mostre que:
Se x um nmero inteiro tal que x
2
par, ento x um inteiro par.
Aqui, p a proposio x
2
um nmero inteiro par e q a proposio x um nmero
inteiro par. Note que, novamente, no d para demonstrar direto que p =q. Assuma
ento que (p q) seja verdadeira, isto , que x
2
par e x mpar = x = 2n + 1,
para algum n Z = x
2
= (2n+1)
2
= 4n
2
+4n+1 = 2(2n
2
+2n) +1 = 2m+1, para
24 1. Noes de Lgica
algum m Z = x
2
mpar = p, o que uma contradio. Logo, a proposio x
par no pode ser falsa, o que mostra que p =q.
1.9 Exerc cios
1. Considere as proposies p : Fred tem cabelos vermelhos, q : Fred tem nariz
grande e r : Fred gosta de comer gos. Passe para a linguagem simblica as
seguintes proposies:
(a) Fred no gosta de comer gos.
(b) Fred tem cabelos vermelhos ou gosta de comer gos.
(c) Fred tem cabelos vermelhos e no tem nariz grande.
(d) Fred gosta de comer gos e, tem cabelos vermelhos ou tem nariz grande.
(e) Fred gosta de comer gos e tem cabelos vermelhos, ou tem nariz grande.
(f) No o caso de Fred ter nariz grande ou cabelos vermelhos.
(g) Fred tem nariz grande e cabelos vermelhos, ou ele tem nariz grande e gosta
de comer gos.
2. Sejam p : A casa azul, q : A casa tem 30 anos e r : A casa feia. Passe
para a linguagem simblica as seguintes sentenas:
(a) Se a casa tem 30 anos, ento ela feia.
(b) Se a casa azul, ento ela feia ou tem 30 anos.
(c) Se a casa azul ento ela feia, ou tem 30 anos.
(d) A casa no feia se e somente se ela tem 30 anos.
(e) A casa tem 30 anos se ela azul, e ela no feia se ela tem 30 anos.
(f) Para que a casa seja feia necessrio e suciente que ela seja feia e tenha 30
anos.
3. Supondo que p seja uma sentena verdadeira, que q seja falsa, que r seja falsa e
que s seja verdadeira, decidir quais das sentenas abaixo so verdadeiras e quais
so falsas.
1.9. Exerccios 25
(a) p r.
(b) (r s) q.
(c) (p q).
(d) s r.
(e) (s p) (q r).
(f) r (s (p q)).
4. Suponha que p seja uma sentena falsa, que q seja verdadeira, que r seja falsa e
que s seja verdadeira. Quais das seguintes sentenas so verdadeiras e quais so
falsas?
(a) r q.
(b) p r.
(c) (q s) p.
(d) s (p s).
(e) [(q s) s] p.
(f) (s p) (r q).
5. Construir a tabela-verdade de cada uma das proposies abaixo:
(a) p q.
(b) (r s) r.
(c) p ( q r).
(d) (p q) (p s).
(e) (p r) (q s).
(f) (p q r) ( p q r) ( p q r).
(g) (p q) [p (q r) p (p r)].
(h) p q.
(i) (p q).
(j) (p q) (p q).
(k) (p q) (p q).
(l) (p q) (p q).
(m) (p ( q r)) (q (p r)).
6. Quais das proposies acima so equivalentes? Quais so tautologias? Quais so
contradies? Justique suas respostas.
7. Vericar que as seguintes proposies so equivalentes:
26 1. Noes de Lgica
(a) (p q) e p q.
(b) (p q) e p q.
(c) (p q) e p q.
(d) (p q) e (p q).
8. Quanticar as sentenas abertas a m de obter proposies verdadeiras:
(a) x
2
+ y
2
+ z
2
= (x + y + z)
2
2xz 2xy 2yz.
(b) x + y = 8.
(c) sec
2
x = 1 + tan
2
x.
(d) sen x = 2.
9. Dar a negao das proposies abaixo:
(a) (x)(p(x) q(x) s(x)).
(b) (x)p(x) s(x).
(c) (x)(p(x) q(x)).
(d) (x)p(x) q(x).
(e) (x)(y)p(x, y).
(f) (x)(y)(p(x) q(y)).
(g) (x)(y)(p(x) q(y)).
(h) (x)(y)p(x, y).
2
Tcoria Jos Conjunros
2.1 No es primitivas, deni es e axiomas
A maioria das noes em Matemtica so denidas utilizando outras noes que
j foram estabelecidas. Assim, para denirmos uma noo, precisamos de outra pr-
estabelecida, para esta outra, precisamos de mais outra, etc... A surge a pergunta
natural: E a primeira de todas as noes, como estabelecida?
natural que esta primeira noo no possa ser denida usando-se outra pr-
estabelecida, de onde conclumos que no podemos denir tudo. Somos obrigados,
ao iniciar o estudo de um certo contedo matemtico, adotar, sem denir, as primeiras
noes, que so chamadas noes primitivas.
Isto foi o que Euclides (330 a.C. a 270 a.C. ) fz com a Geometria quando escreveu
Os Elementos, onde alguns axiomas foram admitidos e tudo o mais foi deduzido a
partir deles.
Na teoria dos conjuntos adotamos duas noes primitivas, a saber, a de conjunto
e a de pertinncia, denotada por .
A segunda noo estabelece uma relao entre conjuntos da seguinte forma: se x e
A so conjuntos, a expresso x A pode ser lida como x pertence a A ou x est em
A. Com esta noo podemos denir a noo de elemento, da seguinte forma:
Deni o 2.1. Seja x um conjunto. Se existe um conjunto A tal que x A, ento x
dito ser elemento, ou seja, dizemos que x um elemento de A, ou ainda que x
- 27 -
28 2. Teoria dos Conjuntos
pertence a A.
Quando um conjunto x no for um elemento do conjunto A, escrevemos x , A, e
lemos x no pertence a A, ou ainda x no est em A, que a negao de x A.
Parece estranho escolhermos conjunto e pertinncia como elementos primitivos ao
invs de conjunto e elemento, mas mais fcil denir elemento usando a noo de
pertinncia do que denir a noo de pertinncia usando a noo de elemento.
Estabeleceremos como conveno o uso de letras maisculas para denotar conjuntos
e letras minsculas para denotar elementos.
A seguir denimos a noo de igualdade de conjuntos.
Deni o 2.2. Sejam A e B conjuntos. Dizemos que o conjunto A igual ao conjunto
B, e denotamos por A = B, se todo elemento de A um elemento de B e vice-versa.
Simbolicamente escrevemos
A = B (x)[(x A x B) (x B x A)].
Note que, com esta denio, dois conjuntos so iguais se, e somente se, eles tm os
mesmos elementos.
A nosso intuio nos diz que quando um elemento x est em um conjunto A e x
igual a outro elemento y, ento natural esperar que y tambm seja elemento de A;
isso garantido pelo primeiro axioma da teoria dos conjuntos.
Axioma da Extenso: Se x = y e x A, ento y A.
A seguir denimos a noo de incluso de conjuntos.
Deni o 2.3. Sejam A e B conjuntos. Dizemos que A est contido em B, (ou B
contm A) e denotamos por A B(ou B A), se todo elemento de A for um elemento
de B. Neste caso, dizemos tambm que A um subconjunto de B. Simbolicamente
escrevemos
A B (x)(x A x B).
Se A B e A diferente de B, dizemos que A um subconjunto prprio de B
e denotamos por A _ B ou A B.
Estas noes, denies e axioma, nos permitem demonstrar o seguinte resultado:
2.1. Noes primitivas, denies e axiomas 29
Proposi o 2.4. Sejam A, B e C conjuntos. Ento as seguintes propriedades so vli-
das:
(a) Reexiva: A = A.
(b) Simtrica: A = B =B = A.
(c) Transitiva: (A = B) (B = C) =A = C.
(d) Reexiva: A A.
(e) Anti-simtrica: A B B A A = B.
(f) Transitiva: (A B) (B C) =A C.
Prova: Vamos mostrar alguns tens; a demonstrao dos restantes ca como exerccio.
(a) A proposio x A x A uma tautologia, logo, da Denio 2.2, temos
A = A.
(b) Da Denio 2.2 temos que A = B (x)[(x A x B) (x B
x A)]. Agora, pela comutatividade do conectivo e novamente pela Denio
2.2, conclumos que B = A.
(e) Da Denio 2.3, temos que A BB A equivalente a proposio (x)[(x
A x B) (x B x A)], que por sua vez, equivalente a A = B pela
Denio 2.2.
Uma maneira de representar um conjunto exibir seus elementos entre chaves e
separados por vrgulas, mas podemos tambm caracterizar um conjunto atravs de uma
propriedade que o dena. Isso deve ser feito axiomaticamente, tomando certos cuidados
para evitar contradies. Vejamos o axioma que nos permite construir conjuntos a
partir de propriedades.
Axioma da especicao: Sejam A um conjunto e p(x) uma proposio em x que
deve ser expressa totalmente em funo dos smbolos , , , , , , , [ ] e vari-
veis x, y, z, . . . , A, B, C, . . .. Ento existe um conjunto que consiste de todos os elementos
x de A que tornam p(x) verdadeira. Simbolicamente, escrevemos
x A; p(x) verdadeira.
30 2. Teoria dos Conjuntos
Observa o 2.5. A restrio de p(x) utilizar somente smbolos lgicos e variveis faz
sentido para evitar paradoxos do tipo semntico. Um exemplo disso o seguinte para-
doxo, que numa verso simplicada, diz:
Paradoxo de Richard: Todo nmero inteiro pode ser descrito em palavras utilizando
um certo nmero de letras. Por exemplo, o nmero 36 pode ser descrito como trinta e
seis ou quatro vezes nove. A primeira descrio utiliza 11 letras e a segunda 15 letras.
Vamos dividir o conjunto dos nmeros inteiros positivos em dois grupos, o primeiro
contendo todos os nmeros inteiros positivos que podem ser escritos com no mximo
100 letras e o segundo inclui todos os nmeros inteiros positivos que necessitam de pelo
menos 101 letras para descrev-los. H um nmero nito de nmeros no primeiro grupo,
pois existem no mximo 24
100
expresses com no mximo 100 letras. Existe ento um
menor inteiro positivo no segundo grupo. Este menor inteiro pode ser descrito pela
frase o menor inteiro que no descrito com menos de 100 letras, o que o descreve
com menos de 100 letras. Ento este nmero pertence ao primeiro grupo, o que uma
contradio.
Note que este conjunto no pode ser construdo pelo axioma da especicao, pois
a propriedade do axioma est restrita a operadores lgicos e alguns smbolos. Por isso
estamos livres desta contradio.
Observa o 2.6. Outra aplicao mais interessante deste axioma que ele garante que
no existe um conjunto que contenha todos os conjuntos.
De fato, supondo que exista o conjunto cujos elementos sejam todos os conjuntos,
seja U tal conjunto. Assim, usando o axioma da especicao, podemos formar o
conjunto B = x U; x / x. A questo agora : ser que B U?
Se sim, temos duas possibilidades, B B ou B / B.
Se B B, pela especicao de B, temos que B / B e, se B / B, ento B B, o
que uma contradio. Assim, chegamos concluso que B / U, ou seja, no existe
um conjunto universo. O argumento que levou a essa concluso chama-se o paradoxo
de Russel, cuja verso popular : Numa certa cidade existe um barbeiro que s faz a
barba nos homens que no barbeiam a si prprios. Quem faz a barba do barbeiro?
Com o auxlio do axioma da especicao, podemos construir vrios conjuntos im-
portantes.
2.1. Noes primitivas, denies e axiomas 31
Deni o 2.7. O conjunto vazio, denotado por , o conjunto que no possui ele-
mento algum.
A existncia deste conjunto garantida pelo axioma da especicao, pois dado
qualquer conjunto A, temos que = x A; x ,= x.
Deni o 2.8. Sejam A e B dois conjuntos. A unio de A e B, denotada por AB,
o conjunto formado pelos elementos x tais que x est em pelo menos um dos dois
conjuntos A ou B. Simbolicamente,
A B = x; x A x B.
A interseco de A e B, denotada por AB, o conjunto formado pelos elementos
x tais que x est em ambos os conjuntos A e B. Simbolicamente,
A B = x; x A x B.
Dessa denio, temos as seguintes equivalncias lgicas:
x A B (x A x B)
e
x A B (x A x B).
Note que a existncia dos conjuntos A B e A B garantida pelo axioma da
especicao.
Com relao unio e interseco de conjuntos temos as seguintes propriedades:
Teorema 2.9. Sejam A e B conjuntos. Ento:
(a) A A B e B A B.
(b) A B A e A B B.
(c) A B A B = B e A B A B = A.
(d) A (B A) = A e A (B A) = A.
Prova: Para os tens (a) e (b), mostraremos uma das incluses, as outras so demons-
tradas de forma anloga e cam como exerccio.
32 2. Teoria dos Conjuntos
Vamos mostrar que A A B, o que equivalente, por denio, a mostrar que
x A = x A B, o que equivalente a mostrar que x A x A x B
uma tautologia , o que verdade, pois uma implicao do tipo p p q.
No tem (c), tambm provaremos somente uma das equivalncias, cando a outra
como exerccio.
Vamos mostrar que A B AB = B. Como (p q) (p =q)(q =
p), vamos mostrar as implicaes = e = separadamente.
(=) Queremos mostrar que se A B, ento A B = B. Note que pela igualdade de
conjuntos, temos que mostrar que A B B e B A B. A segunda incluso
segue de (a). Para a primeira, seja x A B, ento, x A x B. Se x A,
como por hiptese, A B, temos que x B. Assim, x B, em ambos os casos,
como queramos.
(=) Se A B = B, ento, como A A B = B, temos claramente que A B.
A demonstrao do tem (d) ca como exerccio.
Dizemos que dois conjuntos A e B so disjuntos se eles no possuem elementos em
comum, ou seja, se A B = .
Teorema 2.10. Sejam X, A e B conjuntos. Ento temos:
(a) A, A = A e A = .
(b) X A B X A X B e X A B X A X B.
Prova: Vamos mostrar a primeira incluso do tem (a), ou seja que A. Por denio,
temos que mostrar que x = x A. Como a proposio p : x sempre falsa,
ento p q verdadeira para qualquer proposio q, o que mostra a incluso. Outra
maneira de mostrar este fato usando-se a contra-positiva, isto , supondo que x / A,
ento certamente temos que x / , pois o conjunto vazio no contm elementos, assim,
x / A =x / .
Mostremos agora a equivalncia X A B X A X B, deixando as
restantes como exerccio.
(=) Nesta implicao, a hiptese X A B e a tese X A X B. Seja
x X; como por hiptese X A B, temos que x A B e, pela denio de
interseco, temos que x A x B. Portanto X A X B.
2.1. Noes primitivas, denies e axiomas 33
(=) Nesta implicao, a hiptese X AX B e a tese X AB. Seja x X;
por hiptese x Ax B e, pela denio de interseco, temos que x AB.
Portanto X A B.
Diagramas de Venn e de Linha
Uma maneira simples de ilustrar as relaes entre conjuntos por meio de diagramas.
Existem dois tipos mais utilizados, que so os diagramas de Venn e os diagramas
de linha.
No diagrama de Venn os conjuntos so representados por regies limitadas do plano
e suas relaes so representadas pelas posies dessas regies. Nas guras abaixo,
representamos algumas relaes entre os conjuntos A e B.
U
A B
(a) A B
U
A B
(b) A B
Figura 2.1: Unio e interseo de conjuntos.
No diagrama de linha, no representamos os conjuntos mas sim a relao de incluso
entre eles. Um conjunto que contm o outro conjunto estar num nvel vertical acima
ligado ao primeiro por um segmento de reta. Caso os conjuntos no possuam a relao
de incluso, eles no so unidos pelo segmento de reta. Neste caso, eles so colocados
horizontalmente, em posies diferentes. Na gura abaixo vemos um exemplo de um
diagrama de linha.
B
A

b
b
b
b
C D
Figura 2.2: Diagrama de Linha.
34 2. Teoria dos Conjuntos
2.2 Opera es com conjuntos
Em Aritmtica podemos adicionar, multiplicar ou subtrair dois nmeros. Nos con-
juntos, as operaes unio, interseco e diferena (como denida abaixo), se comportam
de maneira semelhante s operaes aritmticas.
Deni o 2.11. Sejam A e B dois conjuntos. A diferena entre A e B, denotado por
A B ou AB, o conjunto formado pelos elementos que esto em A e no esto em
B. Simbolicamente, escrevemos
A B = x; x A x / B.
Se A B, o conjunto B A dito tambm ser o complementar de A em B e
denotado por A
c
B
. Se A est contido em um conjunto universo U, o complementar de
A em U denotado simplesmente por A
c
= x; x / A.
Com respeito a estas operaes entre conjuntos, temos as seguintes propriedades:
Teorema 2.12. Sejam A, B e C conjuntos. Ento:
(a) Associativa - A (B C) = (A B) C,
A (B C) = (A B) C.
(b) Comutativa - A B = B A e A B = B A.
(c) Distributiva - A (B C) = (A B) (A C),
A (B C) = (A B) (A C).
(d) Idempotncia - A A = A e A A = A.
(e) AB A e (AB) B = .
(f) AB = A B e A(AB) = B B A .
Se A e B so subconjuntos de um mesmo conjunto universo U, ento:
(g) Leis de Morgan - (A B)
c
= A
c
B
c
e (A B)
c
= A
c
B
c
.
(h) (A
c
)
c
= A e A A
c
= .
(i) A B se, e somente se, B
c
A
c
.
Prova: Demonstrar alguns casos.
2.2. Operaes com conjuntos 35
Axioma da potncia: Para cada conjunto, existe uma coleo de conjuntos que con-
tm entre seus elementos todos os subconjuntos do conjunto dado.
Deni o 2.13. Seja A um conjunto. O conjunto potncia de A ou conjunto das
partes de A, denotado por (A), o conjunto cujos elementos so os subconjuntos de
A. Simbolicamente, temos (A) = B; B A.
ExempIo 2.14. Para A = a, b, c, temos
(A) = , a, b, c, a, b, a, c, b, c, A.
Proposi o 2.15. Sejam A e B conjuntos. Ento:
(a) (A B) = (A) (B).
(b) (A B) (A) (B).
Prova: Temos as seguintes equivalncias:
X (A B) X A B, Denio 2.13
X A X B, Teorema 2.10
X (A) X (B), Denio 2.13
X (A) (B), Denio de
o que demonstra o tem (a).
A demonstrao do tem (b) ca como exerccio.
Observa o 2.16. Note que a incluso (A B) (A) (B) no verdadeira. De
fato, para A = 1 e B = 2, temos (A B) = (1, 2) = , 1, 2, 1, 2 e
(A) (B) = , 1 , 2 = , 1, 2.
Para denirmos a unio e a interseco de um nmero nito de conjuntos, podemos
usar o axioma da especicao. Para uma coleo qualquer de conjuntos, j no pos-
svel utilizar esse axioma para construir um conjunto unio e um conjunto interseco.
Para tanto, necessitamos do seguinte axioma:
Axioma da unio: Para toda coleo de conjuntos existe um conjunto que contm
todos os elementos que pertencem a algum conjunto da coleo dada.
36 2. Teoria dos Conjuntos
Em outras palavras, este axioma garante que, para toda coleo de conjuntos (,
existe um conjunto U tal que, se x A para algum A em (, ento x U. Assim
podemos denir:
Deni o 2.17. Seja ( uma coleo de conjuntos. A unio dos conjuntos em (
ou a unio dos elementos de (, denotada por
_
AC
A ou

(, consiste de todos os
elementos que pertencem a pelo menos um conjunto da coleo. Em smbolos,
_
AC
A = x A; A (.
Note que, nesta denio utilizamos o axioma da unio e o axioma da especicao
para garantir a existncia de
_
AC
A. A unicidade garantida pelo axioma da extenso.
Podemos tambm escrever
_
AC
A = x; A ( tal que x A.
Para a interseco de conjuntos de uma coleo temos:
Deni o 2.18. Seja ( uma coleo de conjuntos. A interseco dos conjuntos em
( ou a interseco dos elementos de (, denotada por

AC
A ou

(, consiste de
todos os elementos que pertencem a todos os conjuntos da coleo. Em smbolos

A C
A = x; x A para todo A (.
Tambm podemos escrever

( = x; (A ( x A).
Vejamos a noo de famlia ou coleo indexada de conjuntos.
Deni o 2.19. Seja um conjunto. Assuma que para cada elemento est
associado um conjunto A

. A coleo de tais conjuntos A

dita ser uma famlia


indexada de conjuntos, indexada pelo conjunto e denotada por A

; .
Observa o 2.20. Se ( = A

; , escrevemos
_
( =
_

= x; x A

para algum
2.2. Operaes com conjuntos 37
e

( =

= x; x A

para todo .
Note que dada qualquer coleo de conjuntos, sempre possvel encontrar um con-
junto de ndices e tornar esta coleo uma famlia indexada de conjuntos, indexada
por .
Mais ainda, se o conjunto de ndices nito, = 1, 2, 3, . . . , n, escrevemos
_

=
n
_
i=1
A
i
= A
1
A
2
A
n
e

=
n

i=1
A
i
= A
1
A
2
A
n
.
Se = N, escrevemos
_

_
i=1
A
i
e

i=1
A
i
.
ExempIo 2.21. Seja A
i
= i, i N.
A = (A
i
)
iN
= 1, 2, 3, . . . uma famlia de conjuntos unitrios.
ExempIo 2.22. Seja A
i
N with A
i
= [i, ), i N.
A = (A
i
)
iN
= 1, 2, 3, . . ., 2, 3, 4, . . ., 3, 4, 5, . . ., . . .. Observe que para i < j
tem-se que A
i
A
j
. Da diz-se que A uma famlia decrescente.
ExempIo 2.23. Para cada i N, seja A
i
= i, i +1, . . . , 2i 1. Encontre
n
_
i=1
A
i
. Note
que cada inteiro entre 1 e 2n1 pertence a algum A
i
da famlia e nenhum outro inteiro
pertence a estes A
i
. Logo
n
_
i=1
A
i
= 1, 2, 3, . . . , 2n 1.
Teorema 2.24. Seja A

; uma famlia vazia de subconjuntos de um conjunto


U, ou seja, = . Ento
(a)
_

= .
(b)

= U.
38 2. Teoria dos Conjuntos
Prova: (a) Note que mostrar que
_

= equivalente a mostrar que para todo


x U, temos x /
_

. Para x U, temos que


x /
_


_
_
x
_

_
_
, por notao
(x A

, para algum ), pela denio de


(x / A

, para todo ), pela negao


( x / A

)
e esta ltima proposio verdade para todo x U, pois uma contradio.
Isso completa a demonstrao da parte (a).
(b) Temos que mostrar que para todo x U, temos x

. Observe que por


denio x

(x A

, ) que equivalente proposio


( x A

), que, como visto na demonstrao do tem (a), verdadeira


para todo x U.
Os prximos dois teoremas generalizam, para uma famlia qualquer, resultados mos-
trados.
Teorema 2.25 (Leis de Morgan GeneraIizadas). Seja A

; uma famlia arbi-


trria de subconjuntos de um conjunto U. Ento
(a)
_

_
c
=

A
c

.
(b)
_

_
c
=

A
c

.
Prova: (a) Para todo x U, temos
x
_

_
c

_
x

_
, denio de complementar
( )(x A

), denio de unio
( )(x / A

), negao
( )(x A
c

), denio de complementar
x

A
c

. denio de
Assim, por denio de igualdade de conjuntos temos a igualdade do tem (a). A
demonstrao da igualdade do tem (b) ca como exerccio.
2.3. O Produto Cartesiano de Dois Conjuntos 39
Teorema 2.26 (Leis Distributivas GeneraIizadas). Sejam A um conjunto e ( =
B

; uma famlia de conjuntos. Ento


(a) A
_

_
=

(A B

).
(b) A
_

_
=

(A B

).
Prova: Vamos provar a igualdade do tem (a), a outra ca como exerccio. Um elemento
x est no conjunto A
_

_
se, e somente se x A e x

, pela denio
de . Agora, da denio de unio de uma famlia qualquer de conjuntos, temos que
esta proposio equivalente a x A e x B

, para algum , que pode ser


expressa como x AB

, para algum , a qual, por denio de precisamente


x

(A B

), o que mostra (a) pela denio de igualdade de conjunto.


2.3 O Produto Cartesiano de Dois Conjuntos
Sejam A e B dois conjuntos arbitrrios. Para a A e b B, utilizando o axioma
da especicao, podemos construir o conjunto
a, b = x; x = a ou x = b.
Note que, como conjuntos a, b = b, a.
Agora, queremos denir a noo de par ordenado, ou seja, um conjunto com dois
elementos dados, onde possamos dizer qual o primeiro e qual o segundo elemento.
Para tanto, precisamos da certeza que este par tambm um elemento. Isso garantido
pelo seguinte axioma.
Axioma do par: Para dois conjuntos quaisquer existe um conjunto ao qual ambos
pertencem.
Este axioma garante a existncia do conjunto denido a seguir:
Deni o 2.27. O par ordenado de a e b, denotado por (a, b), com primeira coorde-
nada a e segunda coordenada b o conjunto
(a, b) = a, a, b.
40 2. Teoria dos Conjuntos
Dados dois conjuntos A e B, o produto cartesiano de A e B, denotado por AB,
o conjunto
AB = x; x = (a, b) para algum a A e algum b B.
Note que em geral (a, b) ,= (b, a) e AB ,= B A.
Vejamos como esta nova operao entre conjuntos se comporta com relao s outras
denidas anteriormente.
Teorema 2.28. Sejam A, B e C conjuntos quaisquer. Ento temos:
(a) A = A = .
(b) A(B C) = (AB) (AC).
(c) A(B C) = (AB) (AC).
(d) A(B C) = (AB) (AC).
Prova: (a) Pela denio de produto cartesiano, temos
A = (a, b); a A e b .
Como no existe b , temos que no existe par ordenado cuja segunda coorde-
nada seja b, assim A = . A outra igualdade anloga.
(b) Aqui, podemos assumir que os 3 conjuntos so diferentes do vazio, pois, caso
contrrio, a demonstrao segue facilmente do tem (a). Para a A e x (BC),
temos
(a, x) A(B C)
(a A) (x B C), def. de prod. cartesiano
(a A) (x B x C), def. de
(a A) (x B) (x C), associatividade do
(a A) (x B) (a A) (x C), canc. e comut. do
[(a A) (x B)] [(a A) (x C)], associatividade do
[(a, x) AB] [(a, x) AC], def. de prod. cartesiano
(a, x) (AB) (AC), def. de
o que mostra a igualdade do tem (b).
As demonstraes de (c) e (d) cam como exerccio.
2.4. Exerccios 41
2.4 Exerc cios
1. Determine se as armaes abaixo so verdadeiras ou falsas, justicando.
(a) 3 = 3.
(b) 5 5.
(c) 4 4, 4.
(d) 3.
(e) 2, 8 2, 8, 9.
(f) 3, 4 3, 4, 5, 6.
(g) (A)(B)( C)(A B C = A B (C B)).
(h) (A)(B)( C)((A B) C = A (B C)).
(i) (A)(B)( C)(A B = A C =B = C).
(j) ( (A)), (A).
(k) ( (A)), (A).
(l) () = , .
2. Mostre que se A um conjunto nito com n elementos, ento (A) nito e tem
2
n
elementos. Mostre tambm que A innito se, e somente se (A) innito.
3. Sejam A e B conjuntos. Determine se cada uma das armaes abaixo so ver-
dadeiras. Se sim, mostre, caso contrrio, d um contra exemplo.
(a) x A e A B =x B.
(b) x A e A B =x B.
(c) x A e A , B =x / B.
(d) A B e x / B =x / A.
(e) A B (A) (B).
4. Para A, B e C conjuntos dados, mostre que:
(a) C (A B) = (C A) (C B).
(b) C (A B) = (C A) (C B).
(c) A = B (A) = (B).
42 2. Teoria dos Conjuntos
(d) A(B C) = (AB) (AC).
(e) Se B A, ento AAB B = [(AB) A] [A(AB)].
(f) A B = A A B = B.
(g) Se A C e B C, ento A B (C B) (C A).
(h)

X(A)
X = e

X(A)
X = A.
5. Sejam A, B e C conjuntos. Para cada uma das armaes abaixo, mostre ou d
um contra-exemplo:
(a) (AB) C = (A B C) (A B).
(b) (A C) B = (AB) (C B).
(c) (A B) (A B C) = [A(B C)] [B ((A C))].
(d) (A B) = (A) (B).
(e) (A B) = (A) (B).
(f) A C e B C =(A B) C.
(g) A B e A C =A B C.
6. Para conjuntos A e B, denimos a diferena simtrica de A e B, e denotamos
por AB, como sendo o conjunto AB = (A B) (A B). Mostre que:
(a) AB = (AB) (B A).
(b) Comutativa - AB = BA.
(c) Associativa - (AB)C = A(BC).
(d) Elemento Neutro - Existe um conjunto tal que, para todo conjunto A
tem-se que A = A.
(e) Elemento Inverso - Para cada conjunto A, existe um conjunto B tal que
AB = .
(f) Mostre que (AB) C = (AC)(B C), para quaisquer conjuntos A, B
e C.
7. Sejam A, B e E conjuntos tais que E ,= . Mostre que se A E = B E, ento
A = B.
2.4. Exerccios 43
8. Sejam A e B conjuntos tais que A _ B. Suponha que E seja um conjunto tal que
AE = B E. Mostre que E = .
9. Em cada um dos casos abaixo, considere a famlia innita de conjuntos B
i
; i N
e determine

iN
B
i
e

iN
B
i
.
(a) B
i
= 0, 1, 2, 3, . . . , 2i.
(b) B
i
= i 1, i, i + 1.
(c) B
i
=
_
3
i
,
5i + 2
i
_

10 + i.
(d) B
i
=
_
1, 3 +
1
i
_

_
5,
5i + 1
i
_
.
10. Sejam I e J conjuntos tais que J I e A
i

iI
uma famlia indexada de conjuntos.
Mostre que:
(a)
_
jJ
A
j

_
iI
A
i
. (b)

iI
A
i

jJ
A
j
.
11. Determine:
(a)
_
nN
[1 + 1/n, 1 1/n].
(b)

nN
(1 1/n, 1 + 1/n).
(c)

nN
(1/n, 1/n).
12. Sejam A um conjunto e ( = B

; uma famlia de conjuntos. Mostre que:


(a) A
_

_
=

(A B

).
(b) A
_

_
=

(A B

).
3
Rc|a cs
3.1 Deni es e exemplos
Utilizando pares ordenados, podemos estabelecer a teoria matemtica das relaes
atravs da linguagem de conjuntos.
Comeamos considerando o conjunto AB, onde A o conjunto das mulheres e B
o conjunto dos homens. Quando falamos Maria esposa de Joo estamos dizendo que
Maria est relacionada com Joo pela relao ser esposa de, ou seja, o par ordenado
(a, b), onde a=Maria e b=Joo, pertencem relao. Note que o par (b, a) no pertence
relao, pois Joo no esposa de Maria. Se a relao fosse ser casado com, ento
ambos os pares estariam na relao. Formalmente temos:
Deni o 3.1. Uma relao entre dois conjuntos A e B, denotada por 1(A, B),
ou simplesmente por 1, um subconjunto de AB.
Se um par (a, b) 1, dizemos que a est relacionado com b, pela relao 1 e
escrevemos a1b.
Se A = B, ento 1(A, A) dita ser uma relao sobre um conjunto A ou uma
relao em A.
Se 1(A, B) uma relao em AB, dizemos que 1
1
= (b, a) B A : a1b
a relao inversa de 1.
Como conjuntos, h duas maneiras de representar uma relao, uma listando os
seus elementos e a outra denindo uma regra, na qual escolhemos os pares ordenados
- 45 -
46 3. Relaes
que satisfazem esta regra.
ExempIo 3.2.
(1) Sejam A = 1, 2, 3 e B = a, b, c, d. Denimos, a seguir 3 relaes:
1
1
= (1, a), (1, b), (3, c)
1
2
= (2, a), (2, b), (1, a), (1, b), (3, a), (3, b)
1
3
= .
(2) Seja A = a, b, c. Denimos, sobre A as relaes:
1
1
= (a, a), (b, b), (c, c)
1
2
= (a, a), (a, b), (b, a), (b, b), (c, a), (c, b), (c, c)
1
3
= AA.
(3) Seja A = Z. Denimos, sobre A as relaes:
1
1
= (a, b) Z Z; a < b
1
2
= (a, b) Z Z; a [ b.
(4) Seja A = Z. Para as relaes denidas no exemplo anterior, temos:
1
1
1
= (a, b) Z Z; a > b
1
1
2
= (a, b) Z Z; b [ a.
Podemos visualizar algumas propriedades de uma relao atravs de sua represen-
tao grca. Para vermos isso, necessitamos denir algumas noes.
Deni o 3.3. Seja 1uma relao em AB. O domnio de 1, denotado por Dom(1),
o subconjunto de A dado por
Dom(1) = a A; a1b para algum b B.
A imagem de 1, denotado por Im(1), o subconjunto de B dado por
Im(1) = b B; a1b para algum a A.
Podemos colocar os pares ordenados da relao 1 num diagrama coordenado de
AB e o conjuntos destes pontos dito ser o grco ou diagrama cartesiano de 1
Outro tipo de representao geomtrica de uma relao, muito usado quando o
conjunto A nito, o diagrama de setas, onde representamos os elementos de A
3.1. Denies e exemplos 47
por pontos e a relao 1 por setas ligando estes pontos, ou seja, se (a, b) 1, ento
desenhamos uma seta com incio no ponto a e trmino no ponto b. Por exemplo, se
A = a, b, c e 1 = (a, a), (a, b), (b, a), (b, b), (c, a), (c, b), (c, c), ento o diagrama de
setas de 1
a
b
c
a
b
c
Figura 3.1: Diagrama de setas da relao 1 acima.
Daremos a seguir as propriedades mais importantes que uma relao 1 sobre um
conjunto A poder satisfazer.
Deni o 3.4. Seja 1 uma relao sobre um conjunto A. Ento dizemos que:
1 reexiva se a condio (x A)(x1x) for verdadeira, ou seja, se para todo
x A, (x, x) 1.
1 simtrica se a condio (x, y A)(x1y y1x) for verdadeira, ou seja,
se para todo x, y A, se (x, y) 1, ento (y, x) 1.
1 transitiva se a condio (x, y, z A)(x1y y1z x1z) for verdadeira,
ou seja, se para todo x, y, z A, se (x, y) 1 e (y, z) 1, ento (x, z) 1.
1 anti-simtrica se a condio (x, y A)(x1y y1x x = y) for verda-
deira, ou seja, se para todo x, y A, se (x, y) 1 e (y, x) 1, ento x = y.
ExempIo 3.5.
(1) Seja A um conjunto qualquer. A relao = (x, x); x A uma relao sobre
A que reexiva, simtrica e transitiva. Esta chamada a relao identidade ou
a diagonal.
48 3. Relaes
(2) Seja A um conjunto qualquer. A relao A A uma relao sobre A que
reexiva, simtrica e transitiva. No anti-simtrica.
(3) Para A = a, b, c, temos: 1
1
= (a, a), (b, b), (c, c), (a, b) uma relao reexiva,
anti-simtrica e transitiva. No simtrica. 1
2
= (a, a), (b, b), (a, b), (b, a)
uma relao simtrica e transitiva. No reexiva e nem anti-simtrica. 1
3
=
(a, a), (b, b), (a, b), (b, a), (b, c) uma relao que no simtrica, nem transitiva,
nem reexiva e nem anti-simtrica.
(4) Para A = N, temos: 1 = (x, y) N N; x um divisor de y uma relao
reexiva, anti-simtrica e transitiva. No simtrica.
(5) Para A = Z, temos: 1 = (x, y) Z Z; x y mltiplo de 3 uma relao
reexiva, simtrica e transitiva. No anti-simtrica.
(6) Seja A uma famlia de conjuntos. Para X, Y A, a relao X est contido em
Y uma relao reexiva, anti-simtrica e transitiva. No simtrica.
(7) Seja A o conjunto das proposies. Para p, q A, a relao se p ento q uma
relao reexiva e transitiva. No simtrica e nem anti-simtrica.
3.2 Rela es de Equival ncias e Parti es
Um tipo de relao muito importante na matemtica moderna, que aparece em
todas as reas de estudo so as relaes de equivalncia.
Deni o 3.6. Uma relao 1 sobre um conjunto A dita ser uma relao de equi-
valncia sobre A se 1 for reexiva, simtrica e transitiva.
ExempIo 3.7. A relao diagonal denida no exemplo 3.5(1) uma relao de equiva-
lncia sobre A. Esta a menor relao de equivalncia sobre A e a relao denida no
exemplo 3.5(2) a maior relao de equivalncia sobre A. Tambm como visto acima,
a relao 1 denida no exemplo 3.5(5) uma relao de equivalncia sobre o conjunto
dos nmeros inteiros.
Deni o 3.8. Seja 1 uma relao de equivalncia sobre um conjunto no vazio A.
Para cada a A, o subconjunto de A denido por a = x A; x1a dito ser a
classe de equivalncia determinada pelo elemento a mdulo 1. Observe que o
3.2. Relaes de Equivalncias e Parties 49
conjunto a um subconjunto de A consistindo de todos os elementos de A aos quais a
est relacionado.
O conjunto das classes de equivalncia mdulo 1 ser indicado por A/1 e chamado
de conjunto quociente de A por 1.
Note que se 1 uma relao de equivalncia sobre um conjunto no vazio A, ento
para todo a A, temos a a, ou seja, cada classe de equivalncia um subconjunto
no vazio de A.
ExempIo 3.9. Considere a relao de equivalncia 1 denidas no exemplo 3.5(5), ou
seja, A = Z e 1 = (x, y) Z Z; x y mltiplo de 3.
Para 0 Z, temos
0 = x Z; x mltiplo de 3
= x Z; x = 3k, para algum k Z
= 3Z.
Para 1 Z, temos
1 = x Z; x 1 mltiplo de 3
= x Z; x = 3k + 1, para algum k Z
= 3Z + 1.
Para 2 Z, temos
2 = x Z; x 2 mltiplo de 3
= x Z; x = 3k + 2, para algum k Z
= 3Z + 2.
Para 3 Z, temos
3 = x Z; x 3 mltiplo de 3
= x Z; x = 3k + 3 = 3(k + 1), para algum k Z
= 3Z
= 0.
Veremos no prximo teorema que de fato Z/1 = 0, 1, 2.
ExempIo 3.10. Mostre que
1 = (1, 1), (2, 2), (3, 3), (4, 4), (5, 5), (2, 5), (5, 2), (3, 5), (5, 3), (2, 3), (3, 2)
50 3. Relaes
uma relao de equivalncia. Vamos calcular A/1:
1 = 1; 2 = 2, 3, 5; 3 = 2, 3, 5; 4 = 4; 5 = 2, 3, 5.
Portanto, A/1 = 1, 4, 2, 3, 5.
Com relao s classes de equivalncia temos:
Teorema 3.11. Sejam 1 uma relao de equivalncia sobre um conjunto no vazio A
e a, b A. As seguintes proposies so equivalentes:
(a) a1b (b) a b (c) b a (d) a = b.
Prova: (a) (b): Decorre imediatamente da denio de classe de equivalncia.
(b) = (c): a b =a1b, pela denio de classe,
=b1a, pois 1 simtrica,
=b a, pela denio de classe.
(c) = (d): Note que a e b so dois conjuntos, assim, mostrar que a = b equivalente
a mostrar que a b e b a. Mostremos que a b; a outra incluso anloga. Para
x a, temos que x1a e, como por hiptese, b a, temos tambm que b1a. Como 1
simtrica, obtemos x1a e a1b, o que implica pela transitividade de 1 que x1b, ou
seja, x b.
(d) = (a): Seja x a = b. Ento, pela denio de classe, temos que x1a e x1b.
Agora, da propriedade simtrica e transitiva de 1, obtemos a1b.
Mostremos agora a armao feita no nal do exemplo anterior, ou seja, para A = Z
e 1 = (x, y) Z Z; x y mltiplo de 3, temos Z/1 = 0, 1, 2.
obvio que Z/1 0, 1, 2. Agora, se a Z/1, ento dividindo a por 3, obtemos
que a = 3q + r, com r = 0, 1 ou 2. Neste caso, temos claramente que r a e, pelo
teorema anterior, temos a = r, ou seja Z/1 0, 1, 2.
Relaes de equivalncias esto diretamente relacionadas com a noo de partio
de um conjunto.
Deni o 3.12. Seja A um conjunto no vazio. Dizemos que uma famlia T de subcon-
juntos no vazios de A uma partio de A se as seguintes armaes so verdadeiras:
(a) dois elementos quaisquer de T ou so iguais ou so disjuntos;
(b) a unio dos elementos de T igual a A.
3.2. Relaes de Equivalncias e Parties 51
ExempIo 3.13.
(1) A famlia T = 1, 2, 3, 4 uma partio do conjunto A = 1, 2, 3, 4.
(2) Seja A = Z. A famlia T = 3Z, 3Z + 1, 3Z + 2 uma partio de A.
(3) A famlia T = (, 1), [1, 1], (1, +) uma partio de 1.
O prximo teorema nos mostra como uma relao de equivalncia determina uma
partio de um conjunto.
Teorema 3.14. Se 1 uma relao de equivalncia sobre um conjunto no vazio A,
ento A/1 uma partio de A.
Prova: Pela denio de partio, temos que mostrar que cada elemento de A/1 no
vazio e que valem as propriedades (a) e (b) da denio 3.12.
Para cada a A/1, como 1 reexiva, temos que a a, o que mostra que a ,= .
Mostremos agora que vale a propriedade (a), ou seja, para cada a e b em A/1, temos
a b = ou a = b.
Suponhamos que a b ,= e seja x a b. Ento x a e x b. Da denio
de classes de equivalncia, temos que x1a e x1b. Agora, do fato de 1 ser simtrica e
transitiva, obtemos que a1b. Das equivalncias do teorema anterior temos a = b, o que
mostra (a).
Para mostrar que vale a propriedade (b), temos que mostrar que

aA
a = A, ou
seja que

aA
a A e

aA
a A.
A incluso

aA
a A imediata, pois a A para cada a A.
Agora, seja x A. Como x1x, temos que x x, o que implica que x

aA
a.
Portanto

aA
a A.
Agora, vejamos como uma partio determina uma relao de equivalncia sobre
um conjunto.
Teorema 3.15. Seja A um conjunto no vazio. Se T uma partio de A, ento existe
uma relao de equivalncia 1 sobre A tal que A/1 = T.
Prova: Para todo a, b A, denimos 1 por:
a1b existe X T tal que a, b X.
52 3. Relaes
Mostremos que 1 uma relao de equivalncia.
i. Para cada a A, desde que

T = A, existe um X T tal que a X. Assim,
a1a, ou seja, 1 reexiva.
ii. Para a, b A, se a1b, ento pela denio de 1, existe um elemento X T, tal
que a, b X, o que claramente implica que b1a. Logo, 1 simtrica.
iii. Se a, b, c A so tais que a1b e b1c, ento existem X, Y T tais que a, b X e
b, c Y . Assim, b X Y , ou seja, X Y ,= . Como T uma partio, temos
que X = Y e ento a, c X = Y , o que mostra que a1c.
Mostremos agora que A/1 = T. Dado a A, temos que existe um nico X T, tal
que a X, onde a unicidade segue da propriedade (a) da denio de T. Da denio
de 1 claro que a = X, o que implica que A/1 T.
Por outro lado, para cada X T, desde que X ,= , temos que existe a X.
Claramente X = a, o que mostra que A/1 T.
ExempIo 3.16. Dada a partio T = a, b, c, d, e, f do conjunto A = a, b, c, d, e, f,
temos a relao de equivalncia associada
1 = (a, a), (a, b), (b, a), (b, b), (c, c), (d, d), (d, e), (d, f),
(e, d), (f, d), (e, e), (e, f), (f, e), (f, f).
3.3 Rela es de Ordem
Deni o 3.17. Uma relao 1 sobre um conjunto no vazio A dita ser uma relao
de ordem sobre A se 1 reexiva, anti-simtrica e transitiva.
Se existe uma relao de ordem sobre o conjunto A, dizemos que A um conjunto
parcialmente ordenado ou simplesmente ordenado.
Dada uma relao de ordem sobre um conjunto A, dizemos que os elementos a, b A
so comparveis mediante 1 se a1b ou b1a.
Se quaisquer dois elementos de A so comparveis mediante 1, ento dizemos que
1 uma ordem total sobre A e, neste caso, dizemos que A um conjunto totalmente
ordenado.
3.3. Relaes de Ordem 53
Em uma relao de ordem, se a1b, tambm usaremos a notao a b que lemos a
precede b na relao 1.
ExempIo 3.18.
(1) A relao 1 = (a, a), (b, b), (c, c), (a, b), (a, c), (b, c) uma relao de ordem total
sobre A = a, b, c. Faa o diagrama de setas desta relao e observe que no h
dois pontos que no estejam ligados por uma echa. Isso deve ocorrer sempre que
a ordem for total.
(2) A relao 1 denida sobre 1 por
x1y x y
uma ordem total sobre 1 chamada a ordem usual.
(3) A relao 1 denida sobre N por
x1y x divide y
uma relao de ordem sobre N, que no total.
(4) A relao de incluso sobre uma famlia de subconjuntos de um dado conjunto
uma relao de ordem, que em geral no total.
Deni o 3.19. Sejam A um conjunto ordenado pela relao de ordem e S A, um
subconjunto no vazio. Dizemos que:
(a) Um elemento L A um limite superior de S se a seguinte proposio for
verdadeira
(x)(x S x L),
isto , quando qualquer elemento de S precede L.
(b) Um elemento l A um limite inferior de S se a seguinte proposio for
verdadeira
(x)(x S l x),
isto , quando l precede qualquer elemento de S.
54 3. Relaes
(c) Um elemento M S um mximo de S se a seguinte proposio for verdadeira
(x)(x S x M),
isto , quando M um limite superior de S e M S.
(d) Um elemento m S um mnimo de S se a seguinte proposio for verdadeira
(x)(x S m x),
isto , quando m um limite inferior de S e m S.
(e) O supremo de S o mnimo, caso exista, do conjunto dos limites superiores de
S.
(f) O nmo de S o mximo, caso exista, do conjunto dos limites inferiores de S.
ExempIo 3.20. Para A = 1 e S = (0, 1], com a ordem usual, temos:
1. O conjunto dos limites superiores de S [1, +).
2. O conjunto dos limites inferiores de S (, 0].
3. O mximo de S 1.
4. S no tem mnimo.
5. O supremo de S 1.
6. O nmo de S 0.
ExempIo 3.21. Para A = 1, 2, 3, 4, 6, 9, 12, 18, 24, 36, S = 2, 4, 6 e a relao de
ordem sendo a divisibilidade, temos:
1. O conjunto dos limites superiores de S 12, 24, 36.
2. O conjunto dos limites inferiores de S 1, 2.
3. S no tem mximo.
4. O mnimo de S 2.
5. O supremo de S 12.
3.4. Funes 55
6. O nmo de S 2.
Teorema 3.22. Seja S um subconjunto de um conjunto parcialmente ordenado A. Se
existe um mximo (resp. mnimo) de S, ento ele nico.
Prova: Vamos fazer a demonstrao para a unicidade do mximo, o caso de mnimo
anlogo.
Suponhamos que M
1
e M
2
so mximos de S. Temos ento:
M
1
mximo e M
2
S, o que implica que M
2
M
1
.
M
2
mximo e M
1
S, o que implica que M
1
M
2
.
Como anti-simtrica, temos que M
1
= M
2
.
3.4 Fun es
Aqui somente apresentaremos a denio de funo usando a noo de relao. As
propriedades e as noes de injetividade, sobrejetividade, bijetividade, funo composta
e funo inversa sero assumidas conhecidas para o desenvolvimento dos prximos ca-
ptulos.
Normalmente, o que vemos como denio de funo :
Funo uma regra de correspondncia que associa a cada elemento x de
um certo conjunto (chamado de domnio da funo) um nico elemento y
em um outro conjunto (chamado de contra-domnio da funo).
A denio formal de funo usando conjuntos e a noo de relao :
Deni o 3.23. Sejam A e B conjuntos. Uma funo de A em B uma relao f de
A em B satisfazendo as seguintes propriedades:
(a) Dom(f) = A.
(b) Se x, y, z A so tais que x f y e x f z, ento y = z.
Escreveremos f : A B, para denotar que f uma funo de A em B.
56 3. Relaes
3.5 Exerc cios
1. Determine quais das propriedades: reexiva, simtrica, transitiva, anti-simtrica
so satisfeitas por cada uma das seguintes relaes sobre o conjunto 1 dos nmeros
reais:
(a) 1 = (x, y); y = 1/x.
(b) 1 = (x, y); [x y[ 1.
(c) 1 = (x, y); y
2
= x
2
.
(d) 1 = (x, y); x ,= y.
(e) 1 = (x, y); xy 0.
2. D um exemplo de uma relao 1 sobre um conjunto A que seja simtrica e
transitiva e no seja reexiva.
3. D dois exemplos, um listando os pares ordenados e o outro descrevendo-os atravs
de uma regra, de relaes que tenham as propriedades reexiva e simtrica e no
tenham a transitiva.
4. Sejam 1 uma relao sobre A e a relao identidade sobre um conjunto no
vazio A, isto , = (x, x); x A. Mostre que:
(a) 1 reexiva se, e somente se, 1.
(b) Se 1 tiver ambas as propriedades simtrica e anti-simtrica, ento 1 = .
(c) 1 simtrica se, e somente se, 1 = 1
1
.
(d) Se 1 ,= anti-simtrica, ento 1 1

1
= .
5. Sejam A um conjunto e 1 e 1

relaes sobre A. Diga se cada uma das seguintes


proposies verdadeira ou falsa, justicando sua resposta:
(a) Se 1 simtrica, ento 1
1
simtrica.
(b) Se 1 anti-simtrica, ento 1
1
anti-simtrica.
(c) Se 1 transitiva, ento 1
1
transitiva.
(d) Se 1 reexiva, ento 1 1
1
,= .
(e) Se 1 simtrica, ento 1 1
1
,= .
(f) Se 1 e 1

so simtricas, ento 1 1

simtrica.
(g) Se 1 e 1

so simtricas, ento 1 1

simtrica.
3.5. Exerccios 57
(h) Se 1 e 1

so transitivas, ento 1 1

transitiva.
(i) Se 1 e 1

so transitivas, ento 1 1

transitiva.
(j) Se 1 e 1

so anti-simtricas, ento 1 1

anti-simtrica.
(k) Se 1 e 1

so anti-simtricas, ento 1 1

anti-simtrica.
(l) Se 1 e 1

so reexivas, ento 1 1

reexiva.
(m) Se 1 e 1

so reexivas, ento 1 1

reexiva.
6. Existe algum conjunto A tal que toda relao sobre A seja:
(a) Reexiva?
(b) Simtrica?
(c) Transitiva?
(d) Anti-simtrica?
Existe mais de um conjunto?
7. Quais das relaes dadas no primeiro exerccio so de equivalncia? Justique.
8. (a) Verique que a relao
1 = (1, 1), (2, 2), (3, 3), (4, 4), (5, 5),
(2, 5), (5, 2), (3, 5), (5, 3), (2, 30, (3, 2)
uma relao de equivalncia em A = 1, 2, 3, 4, 5.
(b) Determine

1,

2,

3,

4 e

5.
(c) Determine A/1.
9. Seja a relao sobre 1 denida por x y se, e somente se, xy Z, para todo
x, y 1. Mostre que uma relao de equivalncia sobre 1.
10. Dena a relao 1 sobre 1 por x1y se, e somente se, cos(x) = cos(y) e sen(x) =
sen(y), para todo x, y 1.
(a) Mostre que 1 uma relao de equivalncia.
(b) Se a 1, determine a.
11. Seja 1
3
= x = (x
1
, x
2
, x
3
); x
i
1, i = 1, 2, 3. Dena em A = 1
3
(0, 0, 0) a
seguinte relao:
x y se existe 1 tal que x = y, para todo x, y A.
58 3. Relaes
(a) Mostre que uma relao de equivalncia.
(b) Descreva geometricamente x, para algum x A.
12. Seja f uma funo real com domnio real. Dena a relao 1
f
pela regra
x1
f
y f(x) = f(y).
Mostre que 1
f
uma relao de equivalncia.
13. Em A = N N, dena a seguinte relao:
(a, b) (c, d) a + d = b + c, para todo a, b, c, d N.
(a) Mostre que uma relao de equivalncia.
(b) Encontre as seguintes classe de equivalncias (1, 0), (0, 1), (1, 1) e (0, 0).
14. Dena em Z N a seguinte relao:
(a, b) (c, d) ad = bc, para todo a, c Z e b, d N.
(a) Mostre que uma relao de equivalncia em Z N.
(b) Pense um pouco sobre o conjunto ZN/ . Compare-o com , o conjunto
dos nmeros racionais.
15. Seja 1 a relao dos nmeros naturais N denida por m um mltiplo de n.
Mostre que esta uma relao de ordem em N. Esta uma relao de ordem total
em N?
16. Considere o conjunto S = 2, 4, 8, . . . , 2
n
, . . . e considere a relao 1 denida no
exerccio anterior. Mostre que S um subconjunto de N totalmente ordenado.
17. Seja S = 2, 3, 4, 5, . . . ordenado por m divide n.
(a) Encontre todos os elementos maximais
(b) Encontre todos os elementos minimais.
18. Prove: Sejam a e b elementos minimais num conjunto A totalmente ordenado.
Ento a = b.
3.5. Exerccios 59
19. Considere a relao de divisibilidade sobre o conjunto Z dos nmeros inteiros:
1 : a/b se, e somente se, c Z tal que b = ac.
1 uma relao de ordem sobre Z?
20. Consideremos o conjunto dos nmeros naturais que so divisores prprios de 36,
isto , E = 2, 3, 4, 6, 9, 12, 18 e ordenemos E pela relao de divisibilidade
1 : a b se, e somente se, a/b,
isto , c N tal que b = ac. 1 uma relao de ordem sobre E? 1 uma
relao de ordem total sobre E?
21. Consideremos a ordem habitual sobre o conjunto N dos nmeros naturais e seja
E = N N, o produto cartesiano de N por si mesmo.
(a) Se (a, b) e (c, d) so dois elementos quaisquer de E ento, por denio
(a, b)1(c, d) se, e somente se, a c e b d.
Mostre que 1 uma relao de ordem sobre E que no total.
(b) Se (a, b) e (c, d) so dois elementos quaisquer de E colocaremos, por denio,
(a, b)1

(c, d) se, e somente se, a < c ou a = c e b d.


Mostre que 1

uma ordem total sobre E.


4
No cs Jc CarJina|iJaJc
4.1 Conjuntos equipotentes, enumer veis e cont veis
Como podemos determinar quando dois conjuntos tm o mesmo tamanho?
Se tais conjuntos forem nitos podemos fazer isso contando os seus elementos. Mas
esta tcnica no funciona para conjuntos innitos.
Iremos determinar quando dois conjuntos tm o mesmo tamanho, ou o mesmo n-
mero de elementos, no contando quantos elementos cada um deles tem, mas sim, fa-
zendo uma correspondncia entre cada elemento de um conjunto com um nico elemento
do outro e vice-versa. Mais especicamente, temos:
Deni o 4.1. Sejam A e B conjuntos. Dizemos que A e B tm a mesma cardi-
nalidade, ou que eles so equipotentes, e escrevemos A B, se existir uma funo
bijetora f : A B.
Vale observar que com esta denio, estamos dizendo quando dois conjuntos tm
o mesmo nmero de elementos sem necessariamente dizer qual esse nmero.
Uma importante propriedade da noo de conjuntos equipotentes, que podemos
separar os conjuntos em classes de conjuntos que tm a mesma cardinalidade, ou seja,
a relao de fato uma relao de equivalncia.
Teorema 4.2. Para um conjunto universo U, a relao de equipotncia uma relao
de equivalncia em (U).
- 61 -
62 4. Noes de Cardinalidade
Prova: Temos que mostrar que reexiva, simtrica e transitiva.
i. Para todo A (U), temos que I : A A, dada por I(a) = a, para todo a A,
isto , a funo identidade, uma bijeo. Logo A A.
ii. Se A, B (U) so tais que A B, ento existe f : A B bijetora. Logo
f
1
: B A tambm bijetora, o que mostra que B A.
iii. Se A, B, C (U) so tais que A B e B C, ento existem f : A B e
g : B C bijetoras. Logo g f : A C tambm bijetora, o que mostra que
A C.
De (i, ii, iii) temos que uma relao de equivalncia, como queramos demonstrar.
ExempIo 4.3.
(1) Sejam N o conjunto dos nmeros naturais. Ento N e 2N tm a mesma cardi-
nalidade, ou seja, o conjunto dos naturais e o conjunto dos naturais pares tm a
mesma cardinalidade.
De fato, basta observar que f : N 2N, denida por f(n) = 2n, para todo n N,
uma funo bijetora.
De maneira anloga mostra-se que N e o conjunto dos naturais mpares 2N + 1
so equipotentes.
(2) O conjunto dos nmeros inteiros Z tem a mesma cardinalidade que N.
De fato, basta observar que f : Z N, denida por
f(n) =
_
_
_
2n se n 0
(2n + 1) se n < 0
,
para todo n Z, uma bijeo.
(3) Sejam [a, b] e [c, d] intervalos fechados de 1, onde a < b e c < d. Ento [a, b]
[c, d].
De fato a funo g : [a, b] [c, d], denida por g(x) =
d c
b a
(xa) +c, para todo
x [a, b] uma bijeo.
Usando restries da funo g denida acima, pode-se mostrar que se a < b e
c < d so nmeros reais, ento (a, b] (c, d], (a, b) (c, d) e [a, b) [c, d).
4.1. Conjuntos equipotentes, enumerveis e contveis 63
(4) O intervalo (1, 1) tem a mesma cardinalidade que 1.
Basta ver que a funo h : (1, 1) 1, denida por h(x) =
x
1 [ x [
, para todo
x (1, 1) uma bijeo.
Para uma melhor anlise da cardinalidade de conjuntos, necessitamos denir con-
junto nito, innito, enumervel, no enumervel, contvel, etc... obvio que um
conjunto innito um conjunto que no nito e vice-versa. Assim, precisamos denir
uma destas noes e teremos a outra. Escolhemos denir conjunto innito.
Deni o 4.4. Seja A um conjunto. Dizemos que:
(a) A um conjunto innito se A equipotente a um subconjunto prprio de A.
(b) A um conjunto nito se A no for innito.
(c) A um conjunto enumervel se A N.
(d) A um conjunto contvel se A nito ou enumervel.
(e) A um conjunto no enumervel se A no contvel.
ExempIo 4.5.
(1) Do exemplo anterior, temos que N, Z, 1 e qualquer intervalo aberto, fechado ou
semi-aberto de 1 so exemplos de conjuntos innitos.
(2) O conjunto vazio nito, pois no contm subconjunto prprio.
(3) Para cada n N, n 1, o conjunto N
n
= 1, 2, . . . , n nito. Veremos por
induo sobre n. Para n = 1, o resultado imediato, desde que o nico subcon-
junto prprio de N
n
o vazio e no existe uma bijeo f : N
1
. Se n > 1,
suponhamos que o resultado vale para n e provaremos que ele vale para n + 1.
Mais adiante provaremos que isso implica que o resultado vale para todo n N.
Se N
n+1
no for nito, ento existe um subconjunto prprio A de N
n+1
tal que A
N
n+1
. Seja f : N
n+1
A uma bijeo. Ento a restrio f : N
n
Af(n+1)
claramente uma bijeo, o que contradiz o fato de N
n
ser nito.
(4) Segue diretamente do teorema 4.2 que N um conjunto enumervel. Do exemplo
4.3(2), temos que Z tambm um conjunto enumervel.
64 4. Noes de Cardinalidade
Vejamos alguns resultados sobre conjuntos enumerveis.
Teorema 4.6. Todo subconjunto innito de um conjunto enumervel enumervel.
Todo subconjunto de um conjunto contvel contvel.
Prova: Vamos demonstrar a primeira armao. A demonstrao da segunda armao
ca como exerccio.
Sejam A um conjunto enumervel e B um subconjunto innito de A. Desde que
A N, podemos escrever A = a
1
, a
2
, . . ., onde a
i
= f(i 1) para alguma bijeo
f : N A.
Seja n
1
o menor ndice para o qual a
n
1
B. Desde que B innito, temos que
B a
n
1
tambm innito (mostre esta armao). Assim, seja n
2
o menor ndice
para o qual a
n
2
B a
n
1
. Tendo denido a
n
k1
B, seja n
k
o menor ndice
para o qual a
n
k
B a
n
1
, a
n
2
, . . . , a
n
k1
. Usando que B innito, temos que
B a
n
1
, a
n
2
, . . . , a
n
k1
,= , para cada k N innito. Assim, temos uma funo
bijetora g : N B, dada por g(k) = a
n
k
, para cada k N, o que mostra que B
enumervel.
Teorema 4.7. O conjunto N N enumervel.
Prova: Seja f : N N N, denida por f(n, m) = 2
n
3
m
. Usando o Teorema Funda-
mental da Aritmtica temos que f injetora. Assim, N N f(N N) N. Como
NN um conjunto innito (prove isso), temos que f(NN) innito e, pelo teorema
anterior, temos que N N enumervel.
Teorema 4.8. A unio de dois conjuntos enumerveis enumervel.
Prova: Sejam A e B conjuntos enumerveis. Vamos mostrar que A B enumervel.
Consideremos dois casos:
1. AB = . Como A N e N 2N, pela transitividade de , temos que A 2N.
De maneira anloga, temos B 2N + 1. Sejam f : A 2N e g : B 2N + 1 as
correspondentes bijees. A funo h : A B (2N) (2N + 1), onde h = f g
uma bijeo, pois A B = , o que implica que A B (2N) (2N + 1) N.
2. AB ,= . Neste caso, para C = BA, temos AB = AC e AC = . Como
C B, temos que C enumervel ou nito. Se C for enumervel, recamos no
4.1. Conjuntos equipotentes, enumerveis e contveis 65
caso anterior. Se C for nito, fcil ver que A C enumervel.
CoroI rio 4.9. Sejam A
1
, A
2
, . . . , A
k
conjuntos enumerveis. Ento
n
k=1
A
k
enume-
rvel.
Teorema 4.10. O conjunto dos nmeros racionais enumervel.
Prova: Vamos usar que cada nmero racional pode ser representado de maneira nica
como
p
q
, onde p Z, q N 0 com mdc(p, q) = 1. Sejam
+
=
p
q
;
p
q
> 0 e

=
p
q
;
p
q
< 0. Temos ento =
+

0 e, evidentemente
+

. Do
teorema anterior temos que, para mostrar que enumervel, suciente mostrar que

+
enumervel.
Para isso, considere a funo f :
+
N N, denida por f(
p
q
) = (p, q). fcil
ver que f injetora. Logo,
+
f(
+
) N N. Como claramente N
+
e N N
enumervel, temos que f(
+
) um subconjunto innito de um conjunto enumervel.
Do teorema 4.6 temos que f(
+
) enumervel. Portanto
+
f(
+
) N, ou seja,

+
enumervel, como queramos.
Teorema 4.11. Todo conjunto innito contm um conjunto enumervel.
Prova: Seja X um conjunto innito. Ento X ,= e, portanto, existe x
1
X. Considere
o conjunto X x
1
. Como X innito, existe x
2
X x
1
. Considere o conjunto
Xx
1
, x
2
. Tendo escolhido x
k
Xx
1
, x
2
, . . . , x
k1
e observando que x
k
sempre
existe, para cada k N, pois X innito, temos que o conjunto x
1
, x
2
, . . . , x
k
, . . . =
x
k
, k N um subconjunto enumervel de X.
Vejamos agora alguns conjuntos no enumerveis.
Teorema 4.12. O intervalo aberto (0, 1) 1 um conjunto no enumervel.
Prova: Dado qualquer nmero real x (0, 1), podemos express-lo na forma decimal
x = 0, x
1
x
2
x
3
. . . ,
onde cada x
i
0, 1, . . . , 9. Para obtermos a unicidade nesta representao, os deci-
mais nitos tero seu ltimo dgito decrescido de uma unidade e adicionado 9s innita-
mente. Assim, dois nmeros no intervalo (0, 1) sero iguais se, e somente se, os dgitos
correspondentes em sua representao decimal so iguais.
66 4. Noes de Cardinalidade
Agora, suponhamos por absurdo que (0, 1) um conjunto enumervel. Ento existe
uma funo bijetora f : N (0, 1) e, conseqentemente, podemos listar os elementos
de (0, 1) como segue:
f(0) = a
01
a
02
a
03
. . .
f(1) = a
11
a
12
a
13
. . .
f(2) = a
21
a
22
a
23
. . .
.
.
.
f(k) = a
k1
a
k2
a
k3
. . .
onde cada a
kj
0, 1, . . . , 9.
Vamos construir um elemento de (0, 1) que no est na listagem acima, ou seja,
vamos contradizer o fato de f ser sobrejetora.
Seja y = y
1
y
2
y
3
. . ., onde y
k
= 3 se a
kk
,= 3 e y
k
= 1 se a
kk
= 3, para todo k N.
Claramente z (0, 1), mas z ,= f(k), para todo k N, pois y
k
,= a
kk
. Portanto, (0, 1)
no enumervel.
CoroI rio 4.13. O conjunto dos nmeros reais 1 no enumervel.
Prova: Imediata, pois 1 (0, 1).
CoroI rio 4.14. O conjunto dos nmeros irracionais " no enumervel.
Prova: De fato, se " for enumervel, como enumervel e 1 = ", teramos que
1 seria enumervel.
4.2 N meros cardinais e a hip tese do cont nuo
Aqui no iremos denir o que um nmero cardinal, somente vamos introduzi-los
como uma noo primitiva relacionada com o tamanho de conjuntos. Assumiremos que
esta nova noo ser regida pelas seguintes leis:
C-1. A cada conjunto A associado um nmero cardinal, denotado por card(A), e a
cada nmero cardinal a existe um conjunto A com card(A) = a.
C-2. card(A) = 0 se, e somente se, A = .
4.2. Nmeros cardinais e a hiptese do contnuo 67
C-3. Se A ,= e A nito, isto , A 1, 2, . . . , k para algum k N, ento card(A) =
k.
C-4. Para quaisquer dois conjuntos A e B, temos card(A) = card(B) se, e somente se,
A B.
As leis C-2 e C-3 denem os nmeros cardinais de conjuntos nitos, ou seja, o nmero
cardinal de um conjunto nito o nmero de elementos deste conjunto. Em termos de
teoria dos conjuntos, C-1 e C-4 formam um axioma, o axioma da cardinalidade. Note
que C-2 e C-3 so mais fceis de serem aceitos, enquanto que C-1 e C-4 so mais
difceis pois estas leis no expressam nada concretamente sobre card(A) quando A um
conjunto innito.
Dizemos que o nmero cardinal de um conjunto nito um nmero cardinal nito
e o de um conjunto innito um nmero cardinal transnito.
Das propriedades C-2 e C-3, temos que os nmeros cardinais nitos so precisamente
os nmeros naturais. Assim, temos uma relao de ordem natural: 0 < 1 < 2 < <
k < k +1 < . J para dois nmeros cardinais transnitos, a propriedade C-4 nos diz
quando eles so iguais ou no. O problema, agora, saber decidir quando um menor
que o outro.
Deni o 4.15. Sejam A e B conjuntos. Dizemos que A _ B, ou que card(A)
card(B) se existir uma funo injetora f : A B. Dizemos que A B, ou que
card(A) < card(B) se existir uma funo injetora f : A B e A ~ B.
ExempIo 4.16. card(N) < card(1).
De fato, existe f : N 1 a incluso, que injetora e N ~ 1 pois 1 no enumervel.
Vejamos se dene uma relao de ordem no conjunto dos nmeros cardinais.
i. card(A) card(A), pois a identidade I
A
: A A injetora.
ii. Se card(A) card(B) e card(B) card(C), ento card(A) card(C), pois a
composta de funes injetoras injetora.
iii. Se card(A) card(B) e card(B) card(A), ento card(A) = card(B). A demons-
trao que esta propriedade verdadeira mais complicada e foge do objetivo
deste curso. Ela segue do seguinte resultado, que enunciaremos sem demonstrao.
68 4. Noes de Cardinalidade
Teorema 4.17 (Schr der-Bernstein). Se A e B so conjuntos tais que A equipotente
a um subconjunto de B e B equipotente a um subconjunto de A, ento A B.
CoroI rio 4.18. Se A e B so conjuntos tais que card(A) card(B) e card(B)
card(A), ento card(A) = card(B).
Com isso temos que o conjunto dos nmeros cardinais um conjunto ordenado pela
ordem .
Do exemplo 4.16 temos dois nmeros cardinais transnitos distintos, card(N) e
card(1), com card(N) < card(1).
Sejam
0
= card(N) e
1
= card(1). Note que
0
e
1
no so nmeros reais. A
pergunta que surge : Existe algum conjunto cuja cardinalidade est entre
0
e
1
? A
conjectura de que a resposta a esta pergunta negativa conhecida como a Hiptese
do Contnuo.
Hiptese do Continuo: No existe conjunto algum A com a propriedade

0
< card(A) <
1
.
4.3 O n mero cardinal de um conjunto pot ncia - o Teorema de
Cantor
Seja X um conjunto. J sabemos que se X nito com n elementos, ento (X)
tambm nito e tem 2
n
elementos. Cantor provou que card(X) < card((X)), para
qualquer conjunto X, o que nos permite construir uma innidade de nmeros cardinais
transnitos, por exemplo

0
= card(N) < card((N)) < card(((N))) <
Teorema 4.19 (Cantor). Se X um conjunto, ento card(X) < card((X)).
Prova: Se X = , ento card(X) = 0 e (X) = e, portanto, card((X)) = 1 > 0.
Se X ,= , seja g : X (X) a funo denida por g(x) = x, para todo x X.
claro que g injetora, o que mostra que card(X) card((X)).
Para mostrarmos que card(X) < card((X)), temos que mostrar que X ~ (X).
Suponhamos, por absurdo, que X (X). Seja f : X (X) uma bijeo. Considere
4.4. Aritmtica cardinal 69
S = x X; x , f(x) X. Desde que f sobrejetora e S (X), temos que existe
a X tal que S = f(a). Se a S, ento pela denio de S, temos que a , f(a) = S,
o que uma contradio. Se a , S, ento novamente pela denio de S, temos que
a f(a) = S, o que leva a uma contradio. Portanto X ~ (X), como queramos.
Para alguns autores, a hiptese do contnuo que no existe um nmero cardinal x
tal que
0
< x < card((N)).
4.4 Aritm tica cardinal
4.4.1 Adi o de n meros cardinais.
Queremos uma denio de adio de nmeros cardinais que generalize a noo de
adio de nmeros naturais, ou seja, dos nmeros cardinais nitos.
Deni o 4.20. Sejam a e b nmeros cardinais. A soma cardinal de a e b, denotada
por a + b, o nmeros cardinal card(A B), onde A e B so conjuntos tais que
card(A) = a, card(B) = b e A B = .
Para mostrar que esta operao est bem denida, devemos mostrar que sempre
existem tais conjuntos A e B e que a denio no depende da escolha de tais conjuntos.
Dados a e b cardinais, da propriedade C-1, existem conjuntos X e Y tais que a =
card(X) e b = card(Y ). Se X Y ,= , temos que A = X 0 e B = Y 1 so
conjuntos tais que card(A) = a, card(B) = b e A B = , o que mostra que existem
conjuntos A e B como descritos na denio.
Se A

e B

so conjuntos com A A

, B B

e A

= , ento existem f : A A

e g : B B

bijetoras e, podemos ver facilmente que f g : AB A

tambm
bijetora, o que mostra que A B A

, ou seja card(A B) = card(A

).
Desde que a unio de conjuntos comutativa e associativa, obtemos as propriedades
correspondentes para soma cardinal.
Teorema 4.21. Sejam a, b e c nmeros cardinais. Ento:
1. a + b = b + a.
2. a + (b + c) = (a + b) + c.
ExempIo 4.22. Encontre as seguintes somas cardinais:
70 4. Noes de Cardinalidade
(1) 4 + 3.
Desde que 4 = card(1, 2, 3, 4 = N
4
), N
7
= N
4
5, 6, 7, card5, 6, 7 = 3 e
N
4
5, 6, 7 = , temos que 4 + 3 = card(N
7
) = 7, o que coincide com a soma
dos nmeros naturais.
(2)
0
+
0
.
Desde que N = (2N) (2N + 1), esta unio disjunta, card(2N) = card(N) =
0
e card(2N + 1) = card(N) =
0
, temos
0
+
0
=
0
.
(3)
1
+
0
.
Desde que (0, 1) 1, temos que
1
= card((0, 1)). Seja S = (0, 1) N. Como
(0, 1) N = , temos que card(S) =
1
+
0
. Agora, 1 (0, 1) S e S 1,
ento pelo teorema de Schrder-Bernstein, temos card(1) = card(S), ou seja,

1
+
0
=
1
.
4.4.2 Multiplica o de n meros cardinais
Analogamente, queremos uma denio de multiplicao de cardinais que generalize
a multiplicao dos naturais.
Deni o 4.23. Sejam a e b cardinais. O produto cardinal ab denido como
sendo o nmero cardinal do produto cartesiano A B, onde A e B so conjuntos com
card(A) = a e card(B) = b.
Exerc cio 4.24. Mostre que se A, B, A

e B

so conjuntos com A A

e B B

, ento
AB A

, ou seja, que o produto cardinal est bem denido.


Como no caso da adio, usando-se propriedades do produto cartesiano de conjuntos,
mostra-se as seguintes propriedades do produto de cardinais.
Teorema 4.25. Se a, b e c so cardinais, ento:
1. ab = ba.
2. a(bc) = (ab)c.
3. a(b + c) = ab + ac.
Prova: Exerccio.
4.4. Aritmtica cardinal 71
ExempIo 4.26. Calcule os seguintes produtos cardinais:
(1) 1 a, onde a um nmero cardinal arbitrrio. Seja A um conjunto com card(A) =
a. Como 1 A A, temos que 1 a = a.
(2) 0 a, onde a um nmero cardinal arbitrrio. Seja A um conjunto com card(A) =
a. Como A = , temos que 0 a = 0.
(3)
0

0
. Desde que N N N, temos que
0

0
=
0
.
(4)
1

1
. Vamos mostrar que
1

1
=
1
.
Note que
1
= card((0, 1)). Considere f : (0, 1) (0, 1) (0, 1), denida por
f(0, x
1
x
2
x
3
. . . , 0, y
1
y
2
y
3
. . .) = 0, x
1
y
1
x
2
y
2
. . .. fcil ver que f injetora e,
conseqentemente
1

1

1
. Por outro lado, a aplicao g : (0, 1) (0, 1)
(0, 1), denida por g(x) = (x, x), para todo x (0, 1), claramente injetora, o
que mostra que
1

1

1
. Agora, o resultado segue do teorema 4.17.
4.4.3 Pot ncias de n meros cardinais
Sejam A e B conjuntos. Denotaremos por B
A
o conjunto de todas as funes de A
em B, ou seja B
A
= f : A B; f funo.
Deni o 4.27. Sejam a e b nmeros cardinais com a ,= 0. Denimos a potncia
cardinal b
a
como sendo o cardinal do conjunto B
A
, onde A e B so conjuntos com
card(A) = a e card(B) = b.
O prximo teorema nos garante que esta operao est bem denida.
Teorema 4.28. Sejam A, B, X e Y conjuntos tais que A X e B Y . Ento
B
A
Y
X
.
Prova: Desde que A X e B Y , temos que existem funes bijetoras g : A X e
h : B Y . Queremos denir uma bijeo entre B
A
e Y
X
.
Para cada f B
A
, temos
A
f
//
g

B
h

X
(f)
//
Y
72 4. Noes de Cardinalidade
onde denimos (f) Y
X
por (f) = h f g
1
. Agora fcil mostrar que : B
A

Y
X
uma bijeo.
Como propriedades da potenciao de cardinais temos:
Teorema 4.29. Sejam a, b, x e y nmeros cardinais. Ento:
1. a
x
a
y
= a
x+y
.
2. (a
x
)
y
= a
xy
.
3. (ab)
x
= a
x
b
x
.
Prova: Exerccio.
Com a noo de potenciao, podemos calcular a cardinalidade do conjunto das
partes de um conjunto A, que generaliza o resultado que diz que se A tem n elementos,
ento (A) tem 2
n
elementos.
Teorema 4.30. Seja A um conjunto. Ento card((A)) = 2
card(A)
.
Prova: Seja B = 0, 1. Agora, suciente mostrarmos que (A) B
A
. Assim,
queremos encontrar uma funo bijetora : (A) B
A
.
Para cada X (A), considere f
X
B
A
denida por
f
X
(a) =
_
0 se a , X
1 se a X
que a funo caracterstica de X.
Assim, denimos (X) = f
X
, para cada X (A). fcil ver que para X, Y
(A), temos X = Y se, e somente se, f
X
= f
Y
, ou seja, injetora. Agora, para
cada f B
A
, seja X = a A; f(a) = 1. Claramente temos f = f
X
, ou seja,
sobrejetora. Portanto card((A)) = card(B
A
) = 2
card(A)
.
Como conseqncia deste teorema temos que card((N)) = 2

0
.
Vamos nalizar o estudo sobre cardinalidades mostrando que 2

0
=
1
, ou seja, que
1 e (N) tm a mesma cardinalidade.
Teorema 4.31. 2

0
=
1
.
4.5. Exerccios 73
Prova: Usando o teorema de S-B (teorema 4.17), suciente mostrarmos que 2

0

1
e 2

0

1
.
Note que
0
= card(), o que implica que 2

0
= card(()).
Considere f : 1 (), denida por f(a) = x ; x < a (), para cada
a 1. Se a e b so nmeros reais distintos, ento, sem perda de generalidade, podemos
supor que a < b. Logo, existe r tal que a < r < b, o que implica que r f(b) e
r , f(a), o que mostra que f(a) ,= f(b). Conseqentemente, f uma funo injetora.
Portanto
1
= card(1) card(()) = 2

0
.
Por outro lado, fcil ver que a funo : 0, 1
N
1, denida por (g) =
0, g(0)g(1)g(2) . . . 1, para cada g : N 0, 1, injetora, o que mostra que 2

0

1
,
como queramos.
CoroI rio 4.32.
0
<
1
.
Prova: Segue do teorema acima e do teorema de Cantor.
4.5 Exerc cios
1. Seja A um subconjunto innito de N. Mostre que card(N) = card(A).
2. Sejam A e B conjuntos tais que A N e B N. Mostre que:
(a) A B N.
(b) AB N.
3. Sejam A
1
, . . . , A
n
conjuntos tais que A
i
N, para todo i 1, . . . , n. Mostre
que

n
i=1
A
i
N, ou seja, a unio nita de conjuntos enumerveis enumervel.
4. Seja A
n

nN
uma famlia de conjuntos com A
i
N, para cada i N. Mostre que

i=1
A
i
N, ou seja, a unio enumervel de conjuntos enumerveis enumervel.
5. Mostre que f : N Z, denida por:
f(n) =
_

_
n
2
se n par

n 1
2
se n mpar
bijetora. Conclua que N Z.
6. Seja X um conjunto innito, x
0
X e Y X nito. Mostre que:
74 4. Noes de Cardinalidade
(a) X x
0
innito.
(b) X Y innito.
(c) card(X) = card(X x
0
).
(d) card(X) = card(X Y ).
7. Para todo a, b 1, com a < b, mostre que os intervalos seguintes so equivalentes
a 1 e, conseqentemente, todos so no enumerveis:
(a, b), (a, b], [a, b), (, b], [a, +), (, b) e (a, +).
8. Seja X um conjunto com card(X) >
0
. Se A X tal que card(A) =
0
,
mostre que card(X A) = card(X).
9. Sejam A, B, A

e B

conjuntos tais que card(A) = card(A

) e card(B) = card(B

),
A B = e A

= . Mostre que card(A

) = card(A B).
10. Sejam X, Y, Z e W conjuntos tais que X Y e Z W. Mostre que X Z
Y W.
11. Seja n um nmero cardinal nito. Mostre que n <
0
.
12. Seja a o cardinal de um conjunto innito. Mostre que
0
a. Conclua que

0
= card(N) o menor cardinal transnito.
13. Mostre que se A, B e C so conjuntos tais que A B C e A C ento A B.
(Sug.: Use o Teorema de Schrder-Berstein)
14. Sejam A e B conjuntos. Mostre que se A B ento (A) (B)
15. Sejam A, B e C conjuntos. Mostre que:
(a) Se card(A) card(B) e card(B) card(C) ento card(A) card(C).
(b) Se card(A) < card(B) e card(B) < card(C) ento card(A) < card(C).
16. Determine as seguintes operaes cardinais, onde n = card(1, 2, , n).
(a) n +
0
(b) n +
1
(c)
0
+
1
(d) n
0
(e) n
1
(f)
0

1
(g)
1

1
.
17. Mostre que

0
0
=
1
.
5
Os N mcros Narurais
5.1 Os axiomas de Peano
Para a construo lgica formal dos nmeros naturais, Peano escolheu trs conceitos
primitivos: o zero, o nmero natural e a relao sucessor de. Assumindo estes conceitos
primitivos, ele deu a caracterizao dos nmeros naturais atravs de cinco axiomas,
chamados axiomas de Peano, que so:
1. Zero um nmero natural.
2. Se a um nmero natural, ento a tem um nico sucessor que tambm um
nmero natural.
3. Zero no sucessor de nenhum nmero natural.
4. Dois nmeros naturais que tm sucessores iguais so iguais.
5. Se um conjunto S de nmeros naturais contm o zero e, tambm, o sucessor de
cada um de seus elementos, ento S o conjunto de todos os nmeros naturais.
Usaremos as seguintes notaes: 0 para indicar o zero, a
+
para indicar o sucessor de
um nmero natural a e N para indicar o conjunto de todos os nmeros naturais. Com
estas notaes, podemos reescrever os axiomas de Peano como:
1. 0 N.
2. ( a)(a N =a
+
N).
- 75 -
76 5. Os Nmeros Naturais
3. ( a)(a N =a
+
,= 0).
4. ( a)( b)(a
+
= b
+
=a = b).
5. Se S N e (i) 0 S; (ii) ( a)(a S =a
+
S), ento S = N.
O axioma (1) garante que N ,= . Em (2) subentende-se a unicidade do sucessor. O
axioma (5) chama-se axioma da induo completa.
Vejamos agora, algumas propriedades dos nmeros naturais que decorrem destes
axiomas.
Proposi o 5.1. Se a N, ento a
+
,= a.
Prova: Seja S = a N; a
+
,= a. Queremos mostrar que S = N. Para tanto usaremos
o axioma (5), ou seja, mostremos que S satisfaz as hipteses (i) e (ii) de (5).
i. De (3) temos que 0 S.
ii. Para todo a N, se a S, ento pela denio de S, temos que a
+
,= a e, pelo
axioma (4), temos que (a
+
)
+
,= a
+
, o que implica que a
+
S.
Proposi o 5.2. Todo nmero natural diferente de zero sucessor de algum nmero
natural.
Prova: Seja S = 0 y N; y ,= 0 e y = x
+
, para algum x N. Por denio
0 S. Se a S e a ,= 0, ento a = b
+
, para algum b N. Logo, a
+
= (b
+
)
+
, o
que implica que a
+
S. Agora, o axioma (5) garante que S = N, o que mostra a
proposio.
Proposi o 5.3 (Primeiro Princ pio de Indu o CompIeta). Suponhamos que a todo
numero natural n esteja associada uma armao P(n) tal que:
i. P(0) verdadeira.
ii. Para todo r N, se P(r) verdadeira, ento P(r
+
) verdadeira.
Ento P(n) verdadeira para todo n N.
Prova: Segue imediatamente do fato que S = n N; P(n) verdadeira satisfaz as
hipteses do axioma (5).
5.2. Adio em N 77
5.2 Adi o em N
A operao de adio em N denida segundo as condies:
a + 0 = a, para todo a N
a + b
+
= (a + b)
+
, para todo a, b N.
Como no poderia ser diferente, adotaremos as seguintes notaes: 0
+
= 1, 1
+
=
2, 2
+
= 3, . . .. Com estas notaes, temos por exemplo
1 + 1 = 1 + 0
+
= (1 + 0)
+
= 1
+
= 2
1 + 2 = 1 + 1
+
= (1 + 1)
+
= 2
+
= 3
2 + 1 = 2 + 0
+
= (2 + 0)
+
= 2
+
= 2
a + 1 = a + 0
+
= (a + 0)
+
= a
+
, a N.
A operao de adio satisfaz as seguintes propriedades:
Teorema 5.4. Para todo a, b e c N, temos:
(a) Associativa - a + (b + c) = (a + b) + c.
(b) Comutativa - a + b = b + a.
(c) Elemento neutro - O zero o elemento neutro da adio.
(d) Lei do Cancelamento - Se a + b = a + c, ento b = c.
(e) Se a + b = 0, ento a = b = 0.
Prova: (a) Faremos por induo sobre c, ou seja, a armao P(c) (a, b N)(a +
(b + c) = (a + b) + c).
(i) P(0) verdadeira, pois a + (b + 0) = a + b = (a + b) + 0.
(ii) Para todo r N, se P(r) verdadeira, ento a+(b +r) = (a+b) +r. Ento
a + (b +r
+
) = a + (b +r)
+
= [a + (b +r)]
+
= [(a +b) +r]
+
= (a +b) +r
+
,
ou seja, P(r
+
) tambm verdadeira.
Portanto, pelo primeiro princpio de induo, temos que P(c) verdadeira para
todo c N, como queramos.
78 5. Os Nmeros Naturais
(b) e (c) Ficam como exerccio, lembrando que para o tem (c) necessrio mostrar que o
elemento neutro nico.
(d) Por induo sobre a.
(i) Se a = 0, ento 0 + b = 0 + c =b = c.
(ii) Se o resultado vale para r N e r
+
+b = r
+
+c, desde que r
+
+b = (r +b)
+
,
obtemos (r + b)
+
= (r + c)
+
e, do axioma (4) temos r + b = r + c. Por
hiptese de induo, temos b = c. Assim, o resultado vale para r
+
.
De (i) e (ii), pelo primeiro princpio de induo, temos que o resultado segue.
(e) Sejam a, b N tais que a+b = 0 e suponhamos que b ,= 0. Ento, pela proposio
anterior, temos que b = r
+
, para algum r N. Assim, 0 = a + b = a + r
+
=
(a + r)
+
, o que contradiz o axioma (3). Conseqentemente, b = 0 = a.
5.3 Multiplica o em N
A operao de multiplicao em N denida segundo as condies:
a 0 = 0, para todo a N
a b
+
= a b + a, para todo a, b N.
Vejamos os seguintes exemplos:
1 1 = 1 0
+
= 1 0 + 1 = 0 + 1 = 1
1 2 = 1 1
+
= 1 1 + 1 = 1 + 1 = 2
2 1 = 2 0
+
= 2 0 + 2 = 0 + 2 = 2
a 1 = a 0
+
= a 0 + a = 0 + a = a, a N.
A operao de multiplicao satisfaz as seguintes propriedades:
Teorema 5.5. Para todo a, b e c N, temos:
(a) 0 a = 0.
(b) Associativa - a (b c) = (a b) c.
(c) Comutativa - a b = b a.
5.4. Relao de ordem em N 79
(d) Elemento neutro - O 1 o elemento neutro da multiplicao.
(e) Distributiva - Se a (b + c) = a b + a c.
(f) Lei do anulamento do produto - Se a b = 0, ento a = 0 ou b = 0.
Prova: Demonstraremos os tens (a) e (f), cando os outros como exerccio.
(a) Faremos por induo sobre a. Se a = 0, o resultado segue da denio. Se 0r = 0,
ento 0 r
+
= 0 r +0 = 0 +0 = 0. Portanto, pelo primeiro princpio de induo,
temos que 0 a = 0, para todo a N.
(f) Se ab = 0 e b ,= 0, ento b = r
+
, para algum r N. Logo 0 = ab = ar
+
= ar+a,
o que implica, do teorema 5.4, que a = a r = 0.
5.4 Rela o de ordem em N
Para a e b em N considere a seguinte relao
a b b = a + u, para algum u N.
Se b = a + u, para algum u N com u ,= 0, escrevemos a < b.
O prximo teorema nos mostra que uma relao de ordem total em N.
Teorema 5.6. A relao uma relao de ordem total em N.
Prova: De fato, valem as seguintes propriedades:
1. reexiva, ou seja, para todo a N, temos a a, pois a = a + 0.
2. anti-simtrica, pois para todo a, b N, se a b e b a, ento existem
u, v N tais que b = a + u e a = b + v. Logo b = (b + v) + u. De onde obtemos
v + u = 0, o que implica u = v = 0, ou seja, a = b.
3. transitiva, pois para todo a, b, c N, se a b e b c, ento existem u, v N
tais que b = a +u e c = b +v. Assim, c = (a +u) +v = a +(u +v), o que mostra
que a c.
4. Quaisquer dois elementos de N so comparveis com respeito a relao . Para
cada b N, considere o conjunto S
b
= n N; (n = b + v para algum v
N) (b = n + u para algum u N).
80 5. Os Nmeros Naturais
i. 0 S
b
, pois b = 0 + b, o que mostra que n = 0 satisfaz a segunda condio
para pertencer a S
b
.
ii. Se r S
b
, ento (r = b+v para algum v N) ou (b = r +u para algum u
N).
Se r = b + v para algum v N, ento r
+
= (b + v)
+
= b + v
+
, para algum
v
+
N, ou seja, r
+
S
b
.
Se b = r +u para algum u N, com u ,= 0, ento u = d
+
, para algum d N
e, neste caso, b = r + d
+
= r
+
+ d, o que mostra que r
+
S
b
. Se b = r,
ento r
+
= b
+
= b + 1, o que mostra que r
+
S
b
.
De (i) e (ii), pelo primeiro princpio de induo, temos que S
b
= N e, conseqen-
temente, para todo b N, qualquer que seja a N, temos que a S
b
, ou seja,
a = b + v ou b = a + u, para u, v N, o que mostra que b a ou a b e conclui
a demonstrao do teorema.
O prximo resultado mostra que esta relao de ordem compatvel com as opera-
es de adio e multiplicao em N.
Teorema 5.7. Para todo a, b e c N, temos:
(a) Compatibilidade com a adio - Se a b, ento a + c b + c.
(b) Compatibilidade com a multiplicao - Se a b, ento ac bc.
Prova: (a) Se a b, ento existe u N tal que b = a+u. Logo, b +c = (a+u) +c =
(a + c) + u, o que mostra que a + c b + c.
(b) Se a b, ento existe u N tal que b = a + u. Logo, bc = (a + u)c = ac + uc,
com uc N, ou seja, ac bc.
Com respeito a sucessores, temos:
Proposi o 5.8. Se a, b N so tais que a < b, ento a
+
b.
Prova: Exerccio.
Um importante resultado, que est relacionado com o axioma (5) da construo dos
naturais, o princpio do menor elemento.
5.4. Relao de ordem em N 81
Teorema 5.9 (Princ pio do menor n mero naturaI). Todo subconjunto no vazio de
N tem mnimo.
Prova: Seja S N, S ,= . Queremos mostrar que existe min(S), e, para tanto,
considere H = n N; n x, para todo x S.
Como S N, temos que 0 a, para todo a N, ou seja, 0 H.
Desde que S ,= , temos que existe a S, o que implica que a + 1 , H, pois
a < a + 1 = a
+
. Assim, temos que H ,= N e, pelo axioma (5), existe b N, tal que
b H e b
+
, H. Mostremos que b = min(S).
De fato, como b H, temos que b x, para todo x S. Resta portanto mostrar
que b S. Suponhamos, por absurdo, que b , S. Ento b < x, para todo x S e, pela
proposio anterior, b
+
x, para todo x S, o que implica que b
+
H, o que uma
contradio. Portanto b S, como queramos.
Depois da construo axiomtica dos nmeros naturais, uma pergunta que surge
naturalmente : Ser que o conjunto formado por zero e seus sucessores esgota realmente
o conjunto dos nmeros naturais? Ou seja, ser que no haveria mais nmeros naturais
entre um natural e seu sucessor? Mostraremos que no.
Proposi o 5.10. Para cada a N, no existe x N tal que a < x < a
+
.
Prova: Suponhamos, por absurdo, que existam a, x N tais que a < x < a
+
. Como
a < x, temos que existe u N, com u ,= 0, tal que x = a + u. Mais ainda, como
x < a
+
= a + 1, temos que existe v N, com v ,= 0, tal que a + 1 = x + v. Logo,
a + 1 = (a + u) = v = a + (u + v), o que implica que u + v = 1. Mas v ,= 0, ou seja,
v = c
+
, para algum c N. Assim, 1 = u + v = u + c
+
= u + c + 1 e, novamente,
pela lei do cancelamento da adio, obtemos u + c = 0. Ento u = c = 0, o que uma
contradio, pois u ,= 0. Portanto no existe x N, tal que a < x < a
+
.
Um resultado til na demonstrao de outros a lei da tricotomia em N.
Proposi o 5.11 (Lei da Tricotomia). Para todos a e b em N, vale uma e somente
uma das relaes: a = b ou a < b ou b < a.
Prova: Desde que a ordem total, temos que a b ou b a. Ento b = a +u, com
u N, ou a = b + v, com v N. Supondo que a ,= b, teremos que u ,= 0 e v ,= 0,
ou seja, se a ,= b, ento a < b ou b < a. Resta mostrar que estas duas armaes no
82 5. Os Nmeros Naturais
podem ocorrer simultaneamente. De fato, se a < b e b < a, ento b = a + u, (u ,= 0) e
a = b +v, (v ,= 0). Assim, a = (a +u) +v, o que implica u+v = 0, com u ,= 0 e v ,= 0,
o que um absurdo, e o resultado segue.
Usando a lei da tricotomia, podemos mostrar que vale a lei do cancelamento para o
produto.
Proposi o 5.12 (Lei do CanceIamento). Se a, b e c N so tais que c ,= 0 e ac = bc,
ento a = b.
Prova: Se a < b, ento existe u N, com u ,= 0, tal que b = a + u. Multiplicando
por c obtemos bc = ac + uc. Mas, por hiptese, ac = bc, ento uc = 0, o que uma
contradio, pois u ,= 0 e c ,= 0. De maneira anloga mostra-se que no pode ocorrer
b < a. Pela lei da tricotomia, temos a = b, como queramos.
Finalizamos esta seo com o seguinte resultado.
Proposi o 5.13. Se a, b N so tais que ab = 1, ento a = 1 e b = 1.
Prova: Como 1 ,= 0, temos que a ,= 0 e b ,= 0. Logo, a 1 e b 1. Suponhamos que
a > 1. Ento existe u N, com u ,= 0, tal que a = 1 + u. Como b = 1 + v, para algum
v N, temos
1 = ab = (1 + u)(1 + v) = 1 + u + (v + uv),
o que implica u + (v + uv) = 0 e, conseqentemente, u = v + uv = 0, o que uma
contradio. Logo a = 1 e b = ab = 1.
5.5 Exerc cios
1. A partir da lei da tricotomia de N prove que se ab = ac com a ,= 0 ento b = c.
2. Mostre que se a, b N e ab = 0, ento a = 0 ou b = 0.
3. Prove as propriedades abaixo relativas aos nmeros naturais usando o princpio
de induo:
a) 1.2 + 2.3 + ... +
n(n + 1)(n + 2)
3
, n 1.
b) Se a 2, ento 1 + a + ... + a
n
< a
n+1
, n 1
5.5. Exerccios 83
c) Se a 2, ento 2a
n
a
n+1
, n 1.
d) 1 + 3 + ... + (2n 1) = n
2
.
e) Se n 3, ento 2n
3
3n
2
+ 3n + 1
f) 1
2
+ 2
2
+ 3
2
+ ...n
2
=
n(2n + 1)(n + 1)
6
.
4. Prove que o nmero de subconjuntos de um conjunto nito com n elementos 2
n
,
usando induo.
5. Prove que o produto de quatro nmeros naturais consecutivos, acrescidos de 1,
um quadrado perfeito.
6. Seja x N. Demonstrar que:
( 1 + x)
n
> 1 + nx, n 2.
7. Sejam a e b nmeros naturais tais que a + b = 1. Prove que a = 1 ou b = 1.
8. Sejam a e b nmeros naturais no nulos. Prove que a ab e b ab.
9. Prove que dados a e b naturais, existe um natural n tal que na > b. (Propriedade
Arquimediana em N)
6
Os N mcros lnrciros
Os inteiros surgiram da unio dos nmeros naturais com os elementos
1 = 0 1 = 1 2 = 2 3 = . . .
2 = 0 2 = 1 3 = 2 4 = 3 5 = . . .
E, de maneira anloga, 3, 4, 5, . . ., e, inicialmente, eram interpretados como dbitos.
Seguindo essa idia intuitiva, a construo formal dos nmeros inteiros surgiu da
necessidade de se ampliar o conjunto dos Naturais para denir a diferena entre dois
naturais a e b, mesmo para b > a.
Como resultado dessa unio surge o conjunto
Z = . . . , 4, 3, 2, 1, 0, 1, 2, 3, 4, . . ..
Precisamos agora, formalmente, estender a Z, as operaes e a relao de ordem de N.
Observe, por exemplo, que expresses do tipo: 8 3, 10 5, 5 0, 11 6, representam,
todas, o nmero 5. Mas, seria muito bom se tivssemos uma certa unicidade de repre-
sentao. Ento, vamos representar as expresses do tipo a b pelo par (a, b), onde a
e b so nmeros naturais. Temos que a b = c d a + d = b + c
e, ento, dizemos que um par (a, b) equivalente a um par (c, d) se, e somente se,
a +d = b +c. E isto dene uma relao de equivalncia em NN, da seguinte maneira:
(a, b) (c, d) a + d = b + c.
- 85 -
86 6. Os Nmeros Inteiros
Esta relao de equivalncia determina uma partio em N N, em classes de equiva-
lncia. Para cada (a, b) N N, seja (a, b) a classe de equivalncia determinada por
(a, b) N N, isto ,
(a, b) = (x, y) N N : (x, y) (a, b) = (x, y) N N : x + b = y + a.
O conjunto quociente de N N pela relao , ou seja, o conjunto de todas as classes
de equivalncia (a, b), (a, b) N N, ser indicado por Z. Ento
Z = (N N)/ = (a, b) : (a, b) N N.
Por exemplo:
(5, 1) = (5, 1), (4, 0), (6, 2), . . .,
(3, 2) = (3, 2), (4, 3), (5, 4)...,
(2, 5) = (2, 5), (0, 3), (3, 6)....
6.1 A adi o em Z
Deni o 6.1. Sejam m = (a, b) e n = (c, d) elementos quaisquer de Z. Chama-se
soma de m com n, e indica-se m + n, o elemento de Z denido por
m + n = (a + c, b + d).
Exerc cio 6.2. Mostre que a operao de adio est bem denida, isto , se (a, b) =
(a
1
, b
1
) e (c, d) = (c
1
, d
1
), mostre que (a + c, b + d) = (a
1
+ c
1
, b
1
+ d
1
).
Teorema 6.3. Sejam m, n, r Z . Valem as seguintes propriedades:
(a) Associativa - (m + n) + r = m + (n + r).
(b) Comutativa - m+ n = n + m.
(c) Elemento neutro - a classe (0, 0) = (x, x) N N. Notao: 0 = (0, 0).
(d) Elemento oposto - Todo m = (a, b) Z admite elemento oposto ou simtrico
aditivo, ou seja, existe elemento m

Z tal que m+m

= 0. Notao: m

= m.
Observamos que m

= (b, a).
(e) Lei do cancelamento - m + r = n + r =m = n.
6.2. A subtrao em Z 87
Prova: (a) Sejam m = (a, b), n = (c, d), r = (e, f). Ento
(m + n) + r =
= (a + c, b + d) + (e, f) = ((a + c) + e, (b + d) + f) =
= (a + (c + e), b + (d + f)) = (a, b) + (c + e, d + f) =
= (a, b) + ((c, d) + (e, f)) = m + (n + r).
(c) Para todo (a, b) Z, temos que (a, b) + (0, 0) = (a + 0, b + 0) = (a, b).
(e) Temos que m = m + 0 = m + [r + (r)] = (m + r) + (r)
hip.
= (n + r) + (r) =
n + [r + (r)] = n + 0 = n.
As demonstraes dos itens (b) e (d) cam como exerccio.
6.2 A subtra o em Z
Deni o 6.4. Para cada par de elementos m, n Z, chama-se diferena entre m e n
e indica-se por mn o elemento m+ (n) Z.
A operao
Z Z Z
(m, n) mn
no associativa, nem comutativa e no admite elemento neutro. (Verique!)
6.3 A multiplica o em Z
Deni o 6.5. Sejam m = (a, b), n = (c, d), m, n Z. Chama-se produto de m por
n e indica-se por mn o elemento de Z denido por:
mn = (ac + bd, ad + bc).
A operao
Z Z Z
(m, n) mn
possui as seguintes propriedades:
Teorema 6.6. Para todos m, n, r Z,
88 6. Os Nmeros Inteiros
(a) Associativa - m(nr) = (mn)r.
(b) Comutativa - mn = nm.
(c) Elemento Neutro - a classe (1, 0) que indicaremos por 1.
(d) Lei do anulamento - Se m, n Z e mn = 0 ento ou m = 0 ou n = 0.
(e) Distributiva - m(n + r) = mr + nr.
Prova: (c) (1, 0) (m, n) = (1m + 0n, 1n + 0m) = (m, n).
(d) Mostremos primeiramente que todo elemento de Z pode ser representado na forma
(c, 0) ou (0, c), com c N.
De fato: se a b ento (a, b) = (a b, 0) pois a + 0 = b + (a b). Se b a
ento (a, b) = (0, b a), pois a + (b a) = b + 0. Portanto, se (a, b) Z ento
(a, b) = (c, 0) ou (a, b) = (0, c), para algum c N. Observe que essa maneira de
representao nica pois, se (c, 0) = (d, 0), ento c + 0 = d + 0 e da c = d.
Mostremos agora a lei do anulamento: sejam m = (a, 0) e n = (0, b). Ento:
mn = (0, ab) = (0, 0) = 0 + 0 = ab + 0
= ab = 0 (em N)
= a = 0 ou b = 0
= m = 0 ou n = 0.

6.4 Rela o de Ordem em Z


J vimos que se m Z, ento m = (a, 0) ou (0, a), para algum a N. Ento vamos
colocar
(0, 2) = 2 (0, 1) = 1 (0, 0) = 0 (1, 0) = +1 (2, 0) = +2
Assim,
Z = . . . , 2, 1, 0, 1, 2, . . ..
Sejam Z
+
= 0, 1, 2, 3, . . . e Z

= . . . , 2, 1, 0 os conjuntos dos inteiros positi-


vos e inteiros negativos, respectivamente.
6.5. Valor Absoluto 89
Deni o 6.7. Sejam m, n Z. Dizemos que m menor ou igual a n, (m n), se
n = m + r para algum r Z
+
. Tambm podemos escrever n m, n maior ou igual
a m. Se r Z

+
escrevemos m < n, m menor do que n. Equivalentemente: n > m.
Observe que 0 r, r Z
+
, pois r = 0 + r. Tambm s 0, s Z

, pois
0 = s + (s).
A relao sobre Z uma relao de ordem. (Exerccio!)
Consequncia: Se m Z

e n Z
+
, ento m n.
6.5 Valor Absoluto
Deni o 6.8. Seja a Z. O valor absoluto ou mdulo de a denido por:
[a[ =
_
_
_
a se a 0,
a se a < 0.
Proposi o 6.9. Sejam a e b Z. Ento valem as seguintes propriedades:
(a) [a[ = [ a[.
(b) [a[ a [a[.
(c) [ab[ = [a[ [b[.
(d) [a + b[ [a[ +[b[.
Prova: (c) Se a > 0, b > 0 ento ab > 0 e, portanto, [ab[ = ab = [a[[b[.
Se a > 0, b < 0, temos que [a[ = a, [b[ = b, [ab[ = (ab). Da, [a[[b[ = a (b) =
ab e, portanto, [ab[ = [a[[b[.
Se a < 0, b < 0, ento [a[ = a, [b[ = b e, como ab > 0, segue que [ab[ = ab.
Da, [a[ [b[ = (a) (b) = ab, e ento [ab[ = [a[ [b[.
(d) Temos do item (b) que [a[ a [a[, [b[ b [b[. Somando membro a
membro, segue que ([a[ +[b[) a + b [a[ +[b[.
Se [a + b[ = a + b, como a + b [a[ +[b[, segue que [a + b[ [a[ +[b[.
Se [a + b[ = (a + b), ento [a + b[ = a + b e, como ([a[ + [b[) a + b, ento
([a[ +[b[) [a + b[. Portanto [a + b[ [a[ +[b[.
90 6. Os Nmeros Inteiros
Exerc cio 6.10. Mostre que [a[ [b[ [a b[ [a[ +[b[, a, b Z.
6.6 M ltiplos e Divisores
Deni o 6.11. Sejam a, b Z. Dizemos que a divide b se existir c Z tal que b = ac.
Notao: a [ b.
Neste caso dizemos que a divisor de b ou que b mltiplo de a.
ExempIo 6.12. 1 [ 0, 4 [ 4, 2 [ 5.
Indicamos por M
a
= 0, a, 2 a, 3 a, . . . o conjunto dos mltiplos de a. Assim,
M
0
= 0, M
1
= M
1
= Z, M
3
= 0, 3, 6, . . ..
A relao a [ b possui as seguintes propriedades:
i. Reexiva - a [ a pois a = 1a.
ii. Se a [ b e b ,= 0 ento [a[ [b[.
iii. Os nicos divisores de 1 so 1 e 1.
iv. Se a [ b e b [ a ento a = b.
v. Transitiva - Se a [ b e b [ d ento a [ d.
vi. Se a [ b e a [ c ento a [ (bx + cy), x, y Z.
Prova: Mostremos (iv). Se a [ b ento existe c Z tal que b = ac. Se b [ a ento ento
existe d Z tal que a = bd. Portanto, b = (bd)c o que implica que cd = 1. Da segue
que d um divisor de 1 e, portanto, d = 1. Ento a = b.
Mostremo (vi). Como a [ b ento existe m Z tal que b = am e como a [ c existe
n Z tal que c = an. Da, bx + cy = amx + any = a(mx + ny). Como mx + ny Z,
temos que a [ (bx + cy).
Exerc cio 6.13. Mostre as propriedades (i), (ii), (iii), (v).
6.7 Algoritmo da divis o em Z
Lema 6.14. Sejam a, b Z tais que a 0 e b > 0. Ento existe um nico par de
inteiros q, r tal que a = bq + r, com 0 r < b. O nmero a chamado de dividendo,
6.7. Algoritmo da diviso em Z 91
b de divisor, q de quociente e r de resto.
Prova: Consideremos o conjunto S = a bx, x Z, a bx 0.
Se x = 0, temos que a bx = a 0 um elemento de S. Portanto S ,= . Segue
que existe r = min S. Como r S, ento podemos escrever r na forma r = a bq 0,
para algum q Z. Basta agora provar que r < b.
Suponha que r b. Ento temos que a b(q + 1) = a bq b = r b 0 e,
portanto, ab(q +1) S. Mas isto um absurdo pois ab(q +1) = r b < r = min S.

Teorema 6.15 (AIgoritmo da Divis o). Sejam a, b Z com b ,= 0. Ento existem (e


so nicos) inteiros q e r tais que a = bq + r e 0 r < [b[.
Prova: Vamos considerar primeiramente b > 0 e a Z. O caso a 0 j est resolvido
pelo lema anterior.
Consideremos ento a < 0. Pelo lema anterior, podemos determinar q

, r

tais que
[a[ = [bq

+r

[, 0 r

< b. Se r

= 0, segue que [a[ = a = b(q

) +0. Da basta tomar


q = q

e r = 0. Se r

> 0 temos que a = [a[ = b(q

) r

= b(q

) b + b r

=
b(q

1) + (b r

). Da basta tomar q = q

1 e r = b r

.
Seja agora b < 0. Para todo a, pela parte anterior, podemos determinar q

, r

tais
que a = [b[q

+ r

, 0 r

< [b[. Ou seja, a = (b)q

+ r

= b(q

) + r

. E, agora, basta
tomar q = q

, r = r

.
Mostremos agora a unicidade dos nmeros q e r.
Suponhamos que q, r e q

, r

satisfaam as condies do teorema. Ento


a = qb + r = q

b + r

. (6.1)
Isto implica que (q q

)b = r

r. Como [b[ > r

, temos que r

r < [b[ e, portanto,


(q q

)b < [b[. E da segue que 0 [q q

[[b[ < [b[. Como [b[ > 0, segue que


0 [q q

[ < 1. Portanto, [q q

[ = 0 =q = q

.
Da igualdade (6.1) segue que r = r

.
ExempIo 6.16. Se a = 79 e b = 11, encontre inteiros q e r tais que 79 = 11 q + r,
0 r < 11.
Fazendo a diviso de 79 por 11 encontramos 79 = 11 7+2 e multiplicando ambos os
membros por 1 obtemos 79 = 11 (7) + (2). Claramente, o resto 2 no satisfaz
92 6. Os Nmeros Inteiros
a exigncia 0 r < 11 mas, adicionando e subtraindo 11, obtemos: 79 = [11 (7)
11] + [2 + 11] = 11 (8) + 9. Como 0 9 < 11, tomamos q = 8 e r = 9.
6.8 M ximo Divisor Comum
Deni o 6.17. Sejam a, b Z. Dizemos que o inteiro positivo d o mximo divisor
comum de a e b se:
(i) d [ a e d [ b;
(ii) Se c N tal que c [ a e c [ b ento c [ d.
Notao: d = mdc(a, b)
ExempIo 6.18.
mdc(8, 6) = mdc(8, 6) = 2
mdc(7, 5) = mdc(7, 5) = 1
mdc(0, 2) = mdc(0, 2) = 2
Exerc cio 6.19. Mostre que se a [ b ento mdc(a, b) = [a[
Proposi o 6.20. Se a = bq + r ento mdc(a, b) = mdc(b, r).
Prova: Seja d = mdc(a, b) = mdc([a[, [b[). Ento
(d [ a) (d [ b) =d [ bq =d [ (a bq) =d [ r.
Portanto d [ b e d [ r. Por outro lado, se c [ b e c [ r ento c [ (bq + r) = a. Portanto
(c [ a) (c [ b) =c [ d. Logo, d = mdc(b, r) = mdc(a, b).
Podemos utilizar o resultado acima para a determinao do mdc (a, b) pelo mtodo
das aproximaes sucessivas, pois podemos repetir o resultado da proposio acima
6.9. Mnimo Mltiplo Comum 93
repetidas vezes. Fazendo divises sucessivas, teremos:
a = b q + r
1
, 0 r
1
< [b[,
b = r
1
q
2
+ r
2
, 0 r
2
< r
1
,
r
1
= r
2
q
3
+ r
3
, 0 r
3
< r
2
,
.
.
.
r
n2
= r
n1
q
n
+ r
n
, 0 r
n
< r
n1
,
r
n1
= r
n
q
n+1
.
Suponhamos que r
n+1
seja o primeiro resto nulo. Da proposio acima temos que
mdc(a, b) = mdc(b, r
1
) = mdc(r
1
, r
2
) = = mdc(r
n1
, r
n
).
Como r
n
[ r
n1
segue que mdc(r
n1
, r
n
) = r
n
, e portanto, mdc(a, b) = r
n
, que o
ltimo resto diferente de zero.
ExempIo 6.21. Ache mdc(26, 118).
118 = 4 26 + 14
26 = 1 14 + 12
14 = 1 12 + 2
12 = 6 2 + 0
Segue que mdc(26, 118) = 2.
ExempIo 6.22. Ache mdc(3248, 226).
14 2 1 2 4 3
3248 226 84 58 26 6 2
84 58 26 6 2 0
Logo, mdc(3248, 226) = 2.
6.9 M nimo M ltiplo Comum
Deni o 6.23. Sejam a, b Z. Dizemos que o inteiro m o mnimo mltiplo
comum de a e b se:
94 6. Os Nmeros Inteiros
(i) m 0;
(ii) m mltiplo de a e de b, isto , a [ m e b [ m;
(iii) Se m

for mltiplo de a e de b ento m

ser mltiplo de m, isto , m [ m

.
Notao: m = mmc(a, b).
Proposi o 6.24. Sejam a, b Z. Ento
mdc(a, b) mmc(a, b) = [ab[ = [a[ [b[.
Prova: Temos que mdc(a, b) mmc(a, b) = mdc([a[, [b[) mmc([a[, [b[). Portanto
d = mdc(a, b) =(d [ a) (d [ b) =d [ ab =d [ [ab[
e assim [ab[/d Z. Seja m = [ab[/d. Mostremos que m = mmc(a, b).
(i) bvio que m 0.
(ii) m = ab/d = a b/d, e como d [ b temos que b/d Z e segue que a [ m.
Analogamente, como d [ a segue que b [ m. Da resulta que m mltiplo de a e
de b.
(iii) Seja m

mltiplo de a e de b. Mostremos que m

mltiplo de m, ou seja,
m [ m

. Para isto, precisaremos dos seguintes resultados que sero propostos


como exerccios:
1. Se d = mdc(a, b) ento mdc(sa, sb) = sd.
2. Se d = mdc(a, b) ento mdc(
a
d
,
b
d
) = 1.
3. Se z [ xy e mdc(z, x) = 1 ento z [ y.
Como m

mltiplo de a ento
m

= ar, r Z ()
Como m

mltiplo de b ento
m

= bs, s Z ()
Da, ar = bs =
a
d
r =
b
d
s e, portanto,
a
d
[
_
b
d
s
_
.
6.10. Congruncia Mdulo m 95
Mas, como mdc(a, b) = d, pelo item 2 acima, mdc(
a
d
,
b
d
) = 1 e pelo item 3,
a
d
[ s = s =
a
d
k, para algum k Z. Substituindo em () segue que m

=
b
a
d
k =
ab
d
k = m k. Portanto, m

mltiplo de m.
ExempIo 6.25. J vimos que mdc(26, 118) = 2. Ento
mmc(26, 118) =
[ 26[ [118[
2
= 1534.
6.10 Congru ncia M dulo m
Deni o 6.26. Sejam a, b, m Z, m > 0. Dizemos que a cngruo a b mdulo m
se m [ (a b), ou equivalentemente, se a b for mltiplo de m.
Notao: a b mod (m).
A relao de congruncia mdulo m possui as seguintes propriedades:
(i) Reexiva - a a mod (m), a Z, pois m > 0, m [ (a a = 0).
(ii) Simtrica - se a b mod (m) ento b a mod (m). (Mostre!)
(iii) Transitiva - se a b mod (m) e b c mod (m) ento a c mod (m).
De fato: como a b mod (m) temos que m [ (a b) e como b c mod (m)
ento m [ (b c). Da segue que
m [ ((a b) + (b c)) =m [ (a c) =a c mod (m).
Conclumos ento que a relao uma relao de equivalncia.
Proposi o 6.27. a b mod (m) se, e somente se, a e b fornecem os mesmos restos
na diviso por m, a, b Z.
Prova: (=) Por hiptese, a [ (ab), o que implica que existe k Z tal que ab = k m
e, portanto, a = k m + b. Suponhamos que b = mq + r, para algum q Z, 0 r < m,
e que a = mp + s, para algum p Z, 0 s < m. Pela unicidade do quociente e do
resto ento temos que k + q = p e s = r. Portanto os restos so iguais.
(=) Suponhamos que os restos sejam iguais, isto , a = mp + r e b = mq + r.
Mostremos que a b mod (m). De fato,
a b = mp + r mq r = m(p q) =m [ (a b) =a b mod (m).
96 6. Os Nmeros Inteiros

Como uma relao de equivalncia sobre Z, podemos denir as classes de equi-


valncia mdulo m, para m > 0. Pela propriedade demonstrada acima, os elementos de
uma classe x tero resto x na diviso por m. Ento:
[0] = 0 = a Z : a 0 mod (m) = a Z : m [ a = k m, k Z
[1] = 1 = a Z : a 1 mod (m) = a Z : m [ (a 1) = k m + 1, k Z
[2] = 2 = a Z : a 2 mod (m) = a Z : m [ (a 2) = k m + 2, k Z
.
.
.
[m] = m = a Z : a m mod (m) = a Z : m [ (a m)
= a Z : a m = k m, para algum k Z
= a Z : a = k m + m = (k + 1)m
= k

m : para algum k

Z
= [0] = 0.
Portanto,
[1] = 1 = a Z : a 1 mod (m)
= a Z : m [ (a + 1) = k m1, k Z
= [m1]
[2] = 2 = [m2]
.
.
.
[(m1)] = [1 m] = [1]
[m] = [0]
Ento, conclumos que as nicas classes de equivalncia nesta relao so
0, 1, 2, . . . , m1.
ExempIo 6.28. Se m = 7 ento as classes de equivalncia obtidas so: 0, 1, 2, 3, 4, 5, 6,
onde:
0 = 7 k, k Z, 1 = 7 k + 1, k Z, 2 = 7 k + 2, k Z, . . . , 6 = 7 k + 6, k Z.
6.11. Critrios de Divisibilidade 97
6.11 Crit rios de Divisibilidade
Deni o 6.29. Seja m > 0, m Z. Um sistema completo de restos mdulo
m um conjunto constitudo por m inteiros, onde dois quaisquer desses nmeros so
incngruos mdulo m.
ExempIo 6.30. Seja m > 0. O conjunto 0, 1, 2, . . . , m 1 um sistema completo
de restos mdulo m. De fato: se i e j so inteiros tais que 0 i < j < m, ento
0 < j i < m, e portanto, j , i mod (m). Tal conjunto chamado sistema completo
de restos mnimos positivos. Se, por exemplo, m = 6, o conjunto 0, 1, 2, 3, 4, 5 um
sistema completo de restos mdulo 6.
Proposi o 6.31. Se r
1
, r
2
, . . . , r
m
for um sistema completo de restos mdulo m,
ento todo inteiro a cngruo a um, e somente um, r
i
, para algum i, 1 i m.
Prova: Considere os nmeros a e m. Pelo algoritmo da diviso existem nicos q e r
tais que a = mq +r, 0 r < m, ou seja, a r mod (m), onde r 0, 1, 2, . . . , m1.
Tambm temos que a diviso de r
1
, r
2
, . . . , r
m
por m fornecer m restos, distintos dois a
dois, e, portanto, para um certo r
j
, teremos r
j
= mq
j
+r, e, portanto, r
j
r mod (m).
Como a r mod (m) temos que a r
j
mod (m). E se a r
k
mod (m), segue pela
denio de sistema completo de restos que se r
j
r
k
mod (m), ento r
j
= r
k
.
ExempIo 6.32. Seja mmpar. O conjunto 0, 1, 2, . . . ,
m1
2
constitui um sistema
completo de restos. De fato, tomando-se i e j entre esses elementos, com i ,= j, [i[
m1
2
, [j[
m1
2
, temos que
0 < [i j[ [i[ +[j[ m1 < m.
Portanto, i , j mod (m).
Mostre que se m for par, ento 0, 1, . . . , (
m
2
1),
m
2
constitui um sistema
completo de restos mdulo m.
ExempIo 6.33. A congruncia x
2
+ 1 0 mod (8) no tem soluo.
Como 8 par, um sistema completo de restos mdulo 8 : 3, 2, 1, 0, 1, 2, 3, 4
e para todo x Z, x cngruo a apenas um elemento desse conjunto. Da temos que:
x 0 mod (8), ou x 1 mod (8), ou x 2 mod (8), ou x 3 mod (8) ou
x 4 mod (8).
98 6. Os Nmeros Inteiros
Da: x
2
0 mod (8), ou x
2
1 mod (8), ou x
2
4 mod (8), ou x
2
9 mod (8)
ou x
2
16 mod (8). Ento x
2
0 mod (8), ou x
2
1 mod (8) ou x
2
4 mod (8),
pois 9 1 mod (8) e 16 0 mod (8). Portanto, x
2
+1 1, ou 2 ou 5 mod (8), x
Z. Segue que x
2
+ 1 , 0 mod (8), em Z.
ExempIo 6.34 (Crit rio de divisibiIidade por 3). Seja n = a
0
+ a
1
10 + a
2
10
2
+
+ a
r
10
r
um nmero de nosso sistema de numerao. Temos que:
10 1 mod (3) e 10
r
1 mod (3), r 0.
Portanto,
n = a
0
+ a
1
10 + a
2
10
2
+ + a
r
10
r
a
0
+ a
1
+ + a
r
mod (3).
Como n e a
0
+a
1
+ +a
r
fornecem o mesmo resto na diviso por 3, ento temos
que
n divisvel por 3 a
0
+ a
1
+ + a
r
. .
soma dos algarismos
for divisvel por 3.
6.12 N meros Primos
Deni o 6.35. Um nmero p N diz-se primo se tem exatamente dois divisores: 1
e p.
Observe que esta denio j exclui o zero (que tem innitos divisores) e o 1 (que s
tem ele prprio como divisor).
Deni o 6.36. Um nmero a N, a ,= 0, a ,= 1 diz-se composto se no for primo.
ExempIo 6.37. O nmero 2 primo pois se a [ 2 ento 0 < a 2 e da a = 1 ou a = 2.
Proposi o 6.38. Se p primo e p [ a b, ento p [ a ou p [ b.
Prova: Observe que o caso a = 0 ou b = 0 imediato. Suponhamos ento que a ,= 0,
b ,= 0 e que p [ a. Mostremos que mdc(a, p) = 1. De fato: se c [ a e c [ p ento c = 1
ou c = p, pois p primo. Como p [ a ento c = 1. Portanto, mdc(a, p) = 1, o que
implica que mdc(a b, p b) = b. Como p [ a b e como p [ p b, segue da denio de mdc
que p [ mdc(a b, p b) = b, o que implica que p [ b.
6.12. Nmeros Primos 99
Proposi o 6.39. Seja a N, a ,= 0, a ,= 1. Ento o menor elemento do conjunto
S = x N : x > 1 e x > a um nmero primo.
Prova: Observe que S ,= , pois a S. Seja p o menor elemento de S. Suponha, por
absurdo, que p no seja primo. Portanto p composto e existem b, c N, b ,= 0, b ,= 1,
tais que p = b c, b < p. Portanto, b [ p, e como p [ a, ento b [ a. Mas isto um absurdo,
pois b < p e p o menor elemento de S. Portanto p primo.
Teorema 6.40 (Teorema FundamentaI da Aritm tica em N). Para todo nmero na-
tural a > 1 existem nmeros primos p
1
, p
2
, ..., p
r
(r 1) tais que a = p
1
.p
2
...p
r
. Se,
acontecer tambm que a = q
1
.q
2
...q
s
(s 1) onde os nmeros q
i
, i = 1...s so primos,
ento r = s e cada p
i
igual a algum dos q
j
.
Prova: A prova da existncia ser feita por induo.
Se a = 2, o resultado segue trivialmente pois 2 primo.
Seja a > 2 e suponhamos que o teorema seja vlido para todo b, tal que 2 b < a.
Mostremos que o resultado vale para a.
Pela proposio anterior existe primo p
1
tal que a = p
1
a
1
, a
1
N. Se a
1
= 1 ou a
1

primo, temos que o resultado segue. Caso contrrio, como 2 a
1
< a, a hiptese de
induo garante que a
1
= p
2
p
3
...p
r
, e, da, a = p
1
p
2
...p
r
.
Provemos a unicidade.
Se
p
1
p
2
...p
r
= q
1
q
2
...q
s
(6.2)
ento p
1
[ q
1
q
2
...q
s
e, da, segue pela proposio 6.38. que p
1
divide um dos fatores,
por exemplo, p
1
[ q
1
. Como q
1
primo, os seus divisores so 1 e ele prprio e, sendo
p
1
,= 1 segue que p
1
= q
1
. Cancelando p
1
com q
1
na igualdade (6.2), obtemos p
2
p
3
...p
r
=
q
2
q
3
...q
s
. Repetindo procedimento anlogo um nmero necessrio de vezes, provamos a
unicidade.
Observa o 6.41. Quando consideramos a decomposio a = p
1
p
2
...p
r
claro que nem
sempre todos os fatores so diferentes entre si. Neste caso, temos uma expresso do tipo
a = p
m
1
1
p
m
2
2
...p
m
k
k
onde 1 k r, p
i
,= p
j
se i ,= j, m
i
1, i = 1, 2...k.
Deni o 6.42. Um nmero p Z um nmero primo se [p[ for primo em N.
Assim, os nmeros -2, 2, -3,3, -5,5 so primos em Z.
100 6. Os Nmeros Inteiros
Segue ento que, dado p Z, p ser primo se, e somente se, p ,= 0, p ,= 1, e os
nicos divisores de p so 1, p.
Teorema 6.43 (Teorema FundamentaI da Aritm tica em Z). Seja a Z, a ,= 0, a ,=
1. Ento existem nmeros primos p
1
p
2
...p
r
Z(r 1), maiores do que 1, tal que
a = p
1
p
2
...p
r
, se a 0
ou
a = p
1
p
2
...p
r
se a 0
Essas decomposies, a menos das ordens dos fatores, so nicas.
A demonstrao imediata, a partir daquela feita para os naturais. Faa como
exerccio.
6.13 Exerc cios
1. a) Prove que a soma de dois nmeros inteiros pares par e que a soma de dois
nmeros inteiros mpares tambm par.
b) O produto de dois nmeros inteiros mpar se, e somente se, ambos so mpares.
2. Se a e b so nmeros inteiros, a ,= 0, b ,= 0, prove que
a
n
b
n
= (a b)(a
n1
+ a
n2
b + ... + a b
n2
+ b
n1
), n 1.
3. Sejam x e y inteiros tais que xy = 1. Prove que x = y = 1 ou x = y = 1.
4. Prove que a < b + c a b < c.
5. Se a < b e c < d,
a) Mostre que a d < b c.
b) Mostre que bc + ad < ac + bd.
6. Mostre que, para todo n Z, o conjunto x Z : n < x < n + 1 vazio.
7. Verique as seguintes propriedades algbricas para Z :
a) A comutatividade da adio.
6.13. Exerccios 101
b) A associatividade da multiplicao.
c) A ditributividade da multiplicao em relao adio.
8. Considerando a relao denida em Z, mostre que ela transitiva e mostre a
compatibilidade com a adio.
9. Sejam a, b, c, d, a

, b

, c

, d

elementos de N com (a, b) (a

, b

) e (c, d) (c

, d

).
Mostre que as operaes de adiao e de multiplicao esto bem denidas em Z,
isto :
a) (a + c, b + d) (a

+ c

, b

+ d

)
b) (ac + bd, ad + bc) (a

+ b

, a

+ b

)
10. Seja d = mdc(a, b). Mostre que:
a) mdc(sa, sb) = sd
b)mdc(
a
d
,
b
d
) = 1
11. Se z[a.b e mdc(z, a) = 1, ento z[b.
12. Prove que se a b(mod m) ento:
a) a c b c(mod m), c Z.
b) a.c b.c(mod m), c Z.
13. Se m for um inteiro positivo par, mostre que 0, 1, 2, ..., (
m
2
1),
m
2
um
sistema completo de restos mdulo m.
14. Se n > 0 no mltiplo de 3, prove que a = 3
2n
+ 3
n
+ 1 divisvel por 13.
15. Ache o quociente e o resto na diviso euclidiana de a por b nosseguintes casos:
a) a = 390, b = 74 a = 124, b = 18 a = 420, b = 58.
16. Na diviso euclidiana de 326 pelo inteiro b > 0, segundo o algoritmo da diviso
de Euclides, o quociente 14 e o resto r. Ache os possveis valores de b e r.
17. Seja m um inteiro mpar. Mostre que o resto da diviso de m por 4 1 ou 3.
18. Seja a um inteiro. Mostre que:
a) Um dos inteiros a, a + 1, a + 2 divisvel por 3.
b) Um dos inteiros a, a + 2, a + 4 divisvel por 3.
c) Um dos inteiros a, a + 1, a + 2, a + 3 divisvel por 4.
102 6. Os Nmeros Inteiros
19. Seja m um inteiro.
a) Mostre que o resto da diviso de m
2
por 3 0 ou 1.
b) Se m mpar, mostre que o resto da diviso de m
2
por 4 1.
20. a) Se n inteiro par, mostre que mdc(n, n + 2) = 2.
b) Se n mpar, prove que mdc(n, n + 2) = 1.
21. Sejam a, b, Z. prove que mdc(a, b) = 1 mdc(a + b, b) = 1.
22. Ache os restos nas seguintes divises:
a) 2
45
por 7 b) 11
10
por 100 c) 5
2
.4841 + 28
5
por 3.
23. a) Prove os critrios de divisibilidade por 4, 5, 6 e 7.
24. Qual o resto na diviso euclidiana de s = 1
5
+ 2
5
+ 3
5
+... + 99
5
+ 100
5
por 4?
Justique.
25. a) Se a cubo perfeito (a = t
3
) ento a 0, 1 ou 1(mod 9).
b) Se a quadrado perfeito (a = t
2
, t Z) e tambm cubo perfeito (a = s
3
, s Z),
ento a 0, 1, 9 ou 28 (mod 36).
26. a) Mostre que todo nmero primo ( em N) da forma 4k + 1 ou 4k + 3.
b) Mostre que todo nmero primo ( em N) da forma 6k + 1 ou 6k + 5.
Sugesto: Aplique o algoritmo da diviso a um nmero a N (dividendo) e a 4
(divisor).
27. Sejam a e b nmeros naturais e p um nmero primo. Vericar se as armaes
abaixo so verdadeiras ou falsas.
a) Se p divide a
2
+ b
2
e p divide a ento p divide b.
b) Se p divide ab ento p divide a e p divide b.
c) Se p divide a + b ento p divide a e p divide b.
d) Se a divide p, ento a primo.
e) Se a divide b e p divide b ento p divide a.
7
N mcros Racionais
Consideremos a, b Z. Sabemos que se se a for mltiplo de b, existir um nico
c Z tal que a = b c, e chamamos c de quociente de a por b e indicamos c =
a
b
ou
c = a : b.
A operao que associa a cada par (a, b), com a mltiplo de b, o nmero c, a diviso
em Z.
Vamos ampliar o conjunto Z de tal maneira que a diviso esteja denida para quais-
quer elementos a, b Z.
Sejam Z

= n Z : n ,= 0 e Z Z

= (m, n) : m Z, n Z

Consideremos em em Z Z

a relao denida por:


(m, n) (p, q) mq = np
A relao acima uma relao de equivalncia. (Verique!)
Portanto, determina em Z uma partio em classes de equivalncia. Para cada par
(m, n) Z Z

, a classe de equivalncia qual esse elemento pertence ser indicada


por (m, n) =
m
n
.
Sendo assim, temos que
m
n
= (x, y) Z Z

: (x, y) (m, n) = (x, y) Z Z

: xn = y m.
Por exemplo:
5
6
= (x, y) Z Z

: (x, y) (5, 6) = (x, y) Z Z

: 6x = 5y =
- 103 -
104 7. Nmeros Racionais
= (5, 6), (5, 6), (10, 12), (10, 12), ...
Observe que
m
n
=
r
s
(m, n) (r, s) isto ,
m
n
=
r
s
ms = nr. E, assim,
temos a, a igualdade de fraes.
O conjunto quociente (Z Z)/ o conjunto de todas as classes de equivalncia
determinadas pela relao sobre Z Z. Esse conjunto o conjunto dos nmeros
racionais
=
m
n
Z Z

Portanto, cada racional representado por uma classe de equivalncia.


Observe que cada x admite innitas representaes
m
n
, m Z, n Z

. O
nmero m chamado numerador e n denominador.
Dois elementos x e y no conjunto sempre admitem representaes de denomi-
nadores iguais.
De fato: sejam x =
m
n
e y =
r
s
. Temos que
m
n
=
ms
ns
e
r
s
=
rn
sn
, pois
(r, s) (rn, sn).
7.1 A adi o em
Deni o 7.1. Sejam x =
m
n
e y =
r
s
elementos de . Chama-se soma de x com y,
e indica-se x + y, o elemento de denido por:
x + y =
ms
ns
+
nr
ns
=
ms + nr
ns
Mostremos que a adio est bem denida em , isto , a soma x + y independe
dos pares ordenados escolhidos para denir x + y.
De fato: Sejam x =
m
n
=
m

e y =
r
s
=
r

.
Segue que:
mn

= nm

, ()
e
rs

= sr

, ()
Multiplicando (*) por ss

e (**) por nn

e somando membro a membro, temos:


msn

+ rnm

= nsm

+ nsr

7.2. A Multiplicao em 105


ou seja, (ms + rn) n

= ns (m

+ r

) e, portanto,
ms + rn
ns
=
m

+ r

.
Assim, a lei que associa a cada (x, y) o elemento x + y , uma operao sobre .
Teorema 7.2. Sejam x, y, z . Valem as seguintes propriedades:
(a) Associativa - (x + y) + z = x + (y + z).
(b) Comutativa - x + y = y + x.
(c) Elemento Neutro - a classe de equivalncia
0
1
=
0
2
= ... que ser indicada por 0.
(d) Elemento Oposto - Todo x admite elemento simtrico aditivo (oposto)em .
A prova deste Teorema ser deixada como exerccio.
Deni o 7.3. Sejam x, y . Chama-se diferena entre x e y e indica-se por xy,
o nmero racional x y = x + (y).
Observe que dado o racional y, o seu oposto (y) e, ento, (x, y) x y
uma operao sobre que denominada subtrao em .
Teorema 7.4. Sejam x, y, z . Valem as seguintes propriedades:
(a) (x + y) = x y
(b) (x y) + y = x
(c) x + a = y a = y x
(d) x + y = x + z y = z
7.2 A Multiplica o em
Deni o 7.5. Sejam x =
m
n
e y =
r
s
elementos de . O elemento de dado por
xy = x.y =
mr
ns
chamado de produto de x por y.
Mostre que essa denio no depende das particulares representaes tomadas para
x e y.
Teorema 7.6. Sejam x, y, z . Valem as seguintes propriedades:
106 7. Nmeros Racionais
(a) Associativa - x(yz) = (xy) z
(b) Comutativa - xy = yx
(c) Elemento Neutro - a classe de equivalncia
1
1
=
2
2
=
3
3
= ... que ser indicada
por 1.
(d) Elemento Inverso- Todo x , x ,= 0, admite elemento simtrico multiplicativo
(inverso) em , que ser denotado por x
1
.
(e) Distributiva da multiplicao em relao adio - x(y + z) = xy + xz
Prova: Vamos provar os itens (c) e (d).
(c) Seja x =
m
n
. Temos que:
m
n
.
1
1
=
m.1
n.1
=
m
n
, x
(d) Se x =
m
n
,= 0, ento m ,= 0, e, portanto,
n
m
.
Da segue que
m
n
.
n
m
=
mn
mn
= 1.

Exerc cio 7.7. Sejam x, y . Mostre as seguintes propriedades:


(a) Se x ,= 0 ento (x
1
)
1
= x
(b) (xy)
1
= x
1
.y
1
7.3 A Divis o em
Seja

= x , x ,= 0
Deni o 7.8. Sejam x e y

. A operao de

em que a cada
par (x, y) associa o racional x.y
1
chamada de diviso em . O elemento xy
1

chamado de quociente de x por y e tambm poder ser indicado por x : y.


Exerc cio 7.9. Mostre que (x + y) : z = x : z + y : z, x, y , z

.
7.4. Relao de Ordem em 107
7.4 Rela o de Ordem em
Observe que dado x sempre poderemos considerar para x uma representao
em que o denominador seja maior que zero, isto , estritamente positivo em Z.
Isso segue do simples fato que x =
m
n
=
m
n
.
Deni o 7.10. Sejamx, y nmeros racionais com representaes em que os respectivos
numeradores sejam estritamente positivos, isto , x =
m
n
, m > 0 e y =
r
s
, r > 0.
Dizemos que x menor ou igual a y e escrevemos x y se ms nr. (Observe que
esta ltima relao considerada em Z.)
Podemos dizer tambm que y maior ou igual a x e escrevemos y x.
Se ms < nr dizemos que x menor que y ou que y maior que x.
ExempIo 7.11.
8
7
<
3
4
pois 32 < 21 e
5
6
>
4
5
pois 25 > 24.
Dizemos que um elemento x =
m
n
, n > 0 positivo se x 0. E isto se verica
se, e somente se, m 0.
Teorema 7.12. A relao uma relao de ordem total sobre .
Prova: Assumiremos que todos os denominadores sejam estritamente positivos.
Sejam x =
m
n
, n > 0 e y =
r
s
, s > 0 e z =
p
q
.
a) reexiva:
m
n

m
n
.
b) anti-simtrica: Sejam
m
n

r
s
e
r
s

m
n
. Ento ms nr e rn sm (em Z).
Portanto, ms = nr, o que implica que
m
n
=
r
s
.
c) transitiva: Sejam
m
n

r
s
e
r
s

p
q
. Segue que ms nr e rq sp (em
Z). Portanto, msq nrq e rqn spn. Usando a transitividade em Z temos que
msq spn, e como s > 0, temos que mq pn e, portanto,
m
n

p
q
.
d) A ordem total: ou
m
n

r
s
ou
r
s

m
n
, pois, em Z, temos que ms nr ou
nr ms.
108 7. Nmeros Racionais
7.5 Exerc cios
1. Prove que a relao denida em Z Z

por
(m, n) (p, q) mq = np
uma relao de equivalncia.
2. Em relao s operaes de adio e subtrao denidas em , prove que para
quaisquer que sejam a, b, c valem as seguintes propriedades:
a) Associativa: (a+b)+c = a+(b+c)
b) Comutativa: a + b = b + a
c) (a + b) = a b
d) (a b) + b = a
e) a + x = b x = b a
f) a + b = a + c b = c.
3. Para quaisquer a, b, c prove que valem:
a) (a
1
)
1
= a
b)(ab)
1
= a
1
b
1
c) a(b + c) = ab + ac
d) (a + b) : c = a : c + b : c
e) a(b) = (a)b = (ab)
f) (a)(b) = ab
4. a) Seja x um elemento de tal que x + = , para todo . Mostre que
x = 0.
b) Demonstrar que o oposto de um racional nico.
5. Mostre que toda equao da forma a x = b, onde a, b so nmeros racionais,
b ,= 0, tem soluo em . Mostre tambm que essa soluo nica.
6. Mostre que para toda terna x, y, z de racionais tem-se que:
a) Se x y, ento x + z y + z.
b) Se x y e 0 z, ento xz yz.
7.5. Exerccios 109
7. Se x e y so racionais tais que x < y, ento sempre existe um racional z tal que
x < z < y.
8. Sejam x e y racionais positivos. Prove que existe um natural n tal que nx > y.
(Propriedade Arquimediana em .)
Refer ncias Bibliogr cas
[1] item
- 111 -