A Construção Dos Numeros

Universidade Federal de So Carlos
Centro de Cincias Exatas e de Tecnologia

Departamento de Matemtica
A construo dos nmeros
Autora:
Gabriela Maria Machado
Orientador:
Disciplina:
Curso:
Luiz Hartmann
Trabalho de Concluso do Curso
Licenciatura em Matemtica
Professores Responsveis:
Karina Schiabel Silva

Sadao Massago
Vera Lcia Carbone
So Carlos, 13 de Maro de 2014.
A construo dos nmeros
Autora:
Orientador:
Disciplina:
Curso:
Luiz Hartmann
Trabalho de Concluso do Curso
Licenciatura em Matemtica
Professores Responsveis:
Karina Schiabel Silva

Sadao Massago
Vera Lcia Carbone
Instituio:
Universidade Federal de So Carlos

Centro de Cincias Exatas e de Tecnologia
Departamento de Matemtica
So Carlos, 13 de Maro de 2014.

(aluna)
Luiz Hartmann (orientador)
vida e ao amor.
Agradecimentos
Agradeo,
minha famlia (minha me Maria Jos, meu pai Geraldo, meus irmos, Cristina, Ricardo
e Arenildo e meu alhado Arthur), pela devoo e suporte desde sempre.
XDani, por toda dedicao, companheirismo, pacincia e estmulo que tornaram possvel
esta realizao.
Aos meus amados amigos, pela partilha de toda e qualquer emoo.
todos os professores, pela contribuio minha formao.
Em especial, ao Professor Hartmann, pela conana, oportunidade de aprendizado e excelente forma de ndar meu curso e Professora Liane, que muito contribuiu e ajudou durante
todo o trabalho.
Contedo
1 Consideraes Iniciais
1.1
Relaes de Equivalncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 Nmeros Naturais
15
2.1
Axiomas de Peano
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2
Adio de elementos de
2.3
Multiplicao dos Nmeros Naturais
2.4
Relao de ordem em
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
17
. . . . . . . . . . . . . . . . . . . . . . . .
21
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
24
3 Nmeros Inteiros
30
NN
3.1
Relao de Equivalncia em
. . . . . . . . . . . . . . . . . . . . . . . . .
30
3.2
Adio de nmeros inteiros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
3.3
Multiplicao dos inteiros
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
3.4
Relao de Ordem em
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
38
3.5
Conjuntos enumerveis e a Hiptese do Contnuo
. . . . . . . . . . . . . . . . .
4 Nmeros Racionais
47
50
4.1
Construo dos nmeros racionais . . . . . . . . . . . . . . . . . . . . . . . . . .
50
4.2
Operaes em
51
4.3
Relao de Ordem em
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5 Nmeros Reais
55
64
5.1
Cortes de Dedekind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2
Relao de ordem em
5.3
Operaes em
64
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
68
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
69
5.4
Representao decimal dos nmeros reais . . . . . . . . . . . . . . . . . . . . . .
84
5.5
no enumervel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
86
6 Nmeros Complexos
6.1
Construo dos complexos
6.2
89
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
89
no ordenvel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
92
Resumo
Apresentamos a construo dos conjuntos numricos, com o enfoque voltado para o ensino
e formao de um educador com todo o rigor matemco necessrio. Foram desenvolvidas as
construes dos nmeros inteiros, dos racionais, dos reais e dos complexos a partir do conjunto
dos nmeros naturais, este introduzido atravs dos axiomas de Peano.
Introduo
A noo de nmero e suas generalizaes esto intimamente ligadas histria da humanidade. E a prpria vida est impregnada de matemtica. Grande parte das comparaes que
o homem formula, assim como gestos e atitudes cotidianas, aludem conscientemente ou no
a juzos aritmticos e propriedades geomtricas. Sem esquecer que a cincia, a indstria e o
comrcio nos colocam em permanente contato com o amplo mundo da matemtica.
Em todas as pocas da evoluo humana, mesmo nas mais atrasadas, encontra-se no homem
o sentido do nmero. Esta faculdade lhe permite reconhecer que algo muda em uma pequena
coleo (por exemplo, seus lhos, ou suas ovelhas) quando, sem seu conhecimento direto, um
objeto tenha sido retirado ou acrescentado.
O primeiro estudo esquemtico dos nmeros como abstrao comumente atribudo aos
lsofos gregos Pitgoras e Arquimedes. Entretanto, estudos independentes tambm ocorreram
por volta do mesmo perodo na ndia, China, e Mesoamrica.
Os nmeros naturais e as fraes tm sua origem das atividades de contagem e medida, o
que talvez tenha levado os membros da escola pitagrica a postularem que na natureza tudo
nmero devido acreditarem que tudo podia ser contado, logo atribudo um nmero, e que a
qualquer medida tambm se poderia atribuir um nmero ou uma razo entre nmeros.
Iniciamos o trabalho fazendo uma abordagem ao conceito de relao de equivalncia, dado
que foi bastante usado no decorrer dos estudos. Para isto, introduzimos os conceitos de partes
de um conjunto, denio de par ordenado, produto cartesiano, denio de operao, assim
como conceito de relao.
Fizemos a formalizao no conjunto dos naturais atravs dos Axiomas de Peano, considerando o zero como um nmero natural. Assumimos que existe um conjunto satisfazendo tais
axiomas e fomalizamos todas as propriedade, demonstrando-as atravs dos Axiomas.
isto, denotamos este conjunto por
Aps
e chamamos de Naturais. O que zemos, foi formalizar e
demonstrar rigorosamente o que j sabamos intuitivamente desde o Ensino Bsico, seguindo a

construo consistente que foi desenvolvida no sculo XIX por Giuseppe Peano.
Richard Dedekind (1831-1916) estabeleceu uma relao de equivalncia entre pares ordenados de nmeros naturais e fez referncia da subtrao como inversa da adio:
logo
a + d = b + d.
a b = c d,
Dedekind demonstrou que esta relao de equivalncia, e que o conjunto
das classes de equivalncia o conjunto dos nmeros inteiros. Na construo dos inteiros que
zemos neste trabalho, utilizamos esta construo, de forma que, denimos um inteiro como
uma classe de equivalncia e o conjunto dos nmeros inteiros como o conjunto dessas classes de
equivalncia.
A construo dos racionais feita a partir do mesmo raciocnio que os inteiros, utilizando o
conceito de relao de equivalncia, mas esta construo se da de forma mais rpida do que a
dos inteiros, por ter muitas consequncias diretas deste.
A construo dos nmeros reais feita neste trabalho foi baseada na construo feita por
Dedekind, atravs dos chamados Corte de Dedekind, que considera o conjunto de todos os
cortes, denindo a adio e a multiplicao nele e, em seguida, mostrando que ele possui as
propriedades aritmticas de
Q e mais uma propriedade que Q no possui, a chamada completude
dos reais.
Por m, mas no menos importante, a construo dos nmeros complexos, que foram denidos como pares ordenados de nmeros reais e, a partir disto, foram provadas todas as propriedades aritmticas, mostrando que o conjunto dos nmeros comeplexos possui uma estrutura
de corpo, assim como os reais e racionais, mas possuindo uma grande diferena dos anteriores,
pois no possui uma relao de ordem.
Estas construes provm de estudos de matemticos do sculo XIX e incio do sculo XX
que foram em busca dos fundamentos da matemtica acumulados at a poca, principalmente
a partir de clculo diferencial e integral de Newton e Leibniz, no sculo XVII.
Captulo 1
Consideraes Iniciais
No decorrer deste trabalho lidaremos diretamente com o conceito de relao de equivalncia,
por isso faremos uma abordagem tratando desta questo. Trabalharemos com conceitos prvios
e com a noo intuitiva de conjuntos durante todo o trabalho e, em particular neste captulo,
trabalharemos intuitivamente com os conjunto numricos e as propriedades bsicas de suas
operaes, lembrando que estudaremos o conceito rigoroso desses conjuntos numricos nos
captulos seguintes.
Utilizaremos, usualmente,
N, Z, Q, R
para representar os conjuntos dos nmeros natu-
rais, inteiros, racionais, reais e complexos, respectivamente.
1.1
Relaes de Equivalncia
Denio 1.1.1.
potncia de
A,
Dado um conjunto
denotado por
P(A),
qualquer, o conjunto das partes de
A,
ou conjunto
o conjunto cujos elementos so todos os subconjuntos de
A.
Seguem alguns exemplos:
Exemplo 1.1.2.
1. Se
A = {a, b},
2. Se
A = {1, 2, 3},
ento
3. Se
A = ,
P(A) = {},
4. Se
A = P({1}),
ento
ento
Denio 1.1.3.
P(A) = {, {a}, {b}, A};
ento
P(A) = {, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, A};
pois o
A = {, {1}},
A um conjunto
como sendo o conjunto {{a}, {a, b}}.
Observao: (a, b) P(A).
Seja
o nico subconjunto de
logo,
A;
P(A) = {, {}, {{1}}, A}.
no vazio com
a, b A.
Denimos o par ordenado
(a, b)
Desde o Ensino Fundamental consideramos um par ordenado como um par de objetos onde a
ordem tem importncia. A denio acima formaliza matematicamente esta ideia intuitiva. O
teorema seguinte mostra que um par ordenado exatamente o que idealizamos intuitivamente.
Teorema 1.1.4.
Seja
um conjunto onde
a, b, c, d A.
6
Temos que:
(a, b) = (c, d) a = c
b=d
Demonstrao.
()
()
a = c e b = d. Dessa forma, claro que (a, b) = (c, d).

(a, b) = (c, d), isto , {{a}, {a, b}} = {{c}, {c, d}}. Temos
Suponhamos
Seja, agora,
assim, dois casos:
a = b.
(a, b) = (a, a) = {{a}, {a, a}} = {{a}, {a}} = {{a}}. Dessa forma,
{{a}} = {{c}, {c, d}}, ou seja, {c} = {a} e {c, d} = {a}. Assim, c = a e d = a.
Como a = b, obtemos a = c = b = d.
Nesta situao
a 6= b.
{{a}, {a, b}} = {{c}, {c, d}}. Se {a, b} = {c}, ento, a = b = c, contradizendo a hiptese a 6= b. Logo, {a, b} = {c, d}, o que acarreta c 6= d. Disso, conclumos
que {a} no pode ser igual a {c, d}, logo, {a} = {c}, ou seja, a = c. J conclumos que
{a, b} = {c, d}, a 6= b, c 6= d, de onde segue que b = d.
Por hiptese
Denio 1.1.5.
Seja
um conjunto qualquer. Denimos o produto cartesiano de
A A, como o conjunto de
A A = {(x, y) | x, y A}.
denotado por
A,
isto ,
por
A,
todos os pares ordenados compostos por elementos de
Seguem alguns exemplos:
Exemplo 1.1.6.
1. Se
A = {a, b}
2. Se
A = ,
3. Se
A = {a1 , a2 , a3 , . . . , an },
ento
ento
A A = {(a, a), (b, b), (a, b), (b, a)}
AA=
tem
elementos,
AA
possilidades para o primeiro elemento do par ordenado e
Denio 1.1.7.
Dados dois conjuntos
Denimos o produto cartesiano de
por
A e B,
B como
se
x A
sendo o
n2
possui
elementos, pois, tem-se
para o segundo.
y B , ento x, y A B .
conjunto A B = {(x, y) | x A e
e
y B}.
(x, y) = {{x}, {x, y}} P(A B),
{x}, {x, y} P(A B)
Observao:
pois, como
x, y A B ,
obviamente,
A seguir temos alguns exemplos:
Exemplo 1.1.8.
A = {x} e B = {y}. Temos que A B = {(x, y)} = {{x}, {x, y}} e B A =
{(y, x)} = {{y}, {y, x}}. Para que A B = B A, precisaramos que {x} = {y}
ou {x} = {x, y}, ou seja, x = y . Como x e y so quaisquer, no podemos dizer que
A B = B A.
1. Seja
2. Sejam
A=
um conjunto qualquer. Suponhamos que exista
x A e y B , o que uma
existe (x, y) pertencente a A B .
denio de par ordenado,
A = .
Portanto, no
Denio 1.1.9.
Dado um conjunto
A A A. A imagem ((x, y))

denotada por x y .
Por
contradio, pois, por hiptese,
no vazio, uma operao em
(x, y)
de um par ordenado
(x, y) A B .
uma funo
pela funo
usualmente
Levando em conta o nosso conceito intuitivo de conjuntos numricos e de suas operaes

aritmticas, podemos ver que, das quatro operaes, apenas a soma e o produto so de fato
operaes, no sentido da denio acima, no conjunto dos nmeros naturais.
Denio 1.1.10.
cartesiano
A A,
Uma relao binria
isto ,
num conjunto
qualquer subconjunto do produto
R A A.
Exemplo 1.1.11. Se A = {a, b, c}, ento R = {(a, a), (b, a), (c, b), (c, a)} uma relao binria,
dado que um subconjunto de
A A = {(a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c, b), (c, c)}.
No contexto deste trabalho, diremos que
uma relao binria em
e se
(a, b) R,
est relacionado com
(escreve-se
(a, b) R aRb. Uma relao

temos bRa, mas no aRb.
isto ,
chamada apenas de relao. No exemplo 1.1.11,
Denio 1.1.12.
Seja dado um conjunto
e uma relao
aRb)
se
binria ser
sobre ele. Diz-se que
uma
relao de equivalncia se possuir as seguintes propriedades:

1. Reexiva:
aRa,
2. Simtrica: se
a, b A,
3. Transitiva: para
A relao
que
bRa,
para todo
e
a A;
aRb,
a, b, c A,
se
ento
aRb
bRa;
bRc,
ento
aRc.
(b, b)
/ R, nem simtrica, dado
ela transitiva (basta ver que cRb, bRa e cRa). Como no
do exemplo 1.1.11 no reexiva, pois,
mas no
aRb.
Entretanto,
bA
satisfaz as trs propriedades, ela no uma relao de equivalncia.
Exemplo 1.1.13.
Seja
A = {1, 2, 3} R = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 1)}
uma relao de
equivalcia, pois:
1. Vale a reexiva:
1, 2, 3 A, 1R1, 2R2
2. Vale a simtrica:
1, 2 A, 1R2
3. Vale a transitiva:
1, 2 A, 1R2, 2R1
3R3;
2R1;
e
1R1.
No exemplo seguinte ser usada uma noo intuitiva de conjuntos numricos e suas propriedades aritmticas bsicas, mas apenas a ttulo de esclarecimento do conceito de relao de
equivalncia. A construo dos conjuntos no depender deste exemplo.
Exemplo 1.1.14.
b = ac.
Seja
Escrevemos
a|b
a, b Z
para
a 6= 0.
simbolizar que a
com
Diremos que
divide
b.
divide
se existir
c Z,
tal que
Esta relao de divisibilidade em
no
uma relao de equivalncia, pois, apesar de ser reexiva e transitiva, ela no simtrica:
1. Vale a reexiva: para todo
a Z, a = ac
c = 1 Z,
com
portanto
aRa.
a, b Z e a divide b, temos que, b = ac1 para algum c1 Z. Se

b dividisse a, teramos a = bc2 para algum c2 Z e assim, a = ac1 c2 a = ac c =
c1 c2 = 1, o que signica que c1 = c2 = 1, ou c1 = c2 = 1, o que leva a concluso que s
vale a simtrica quando a = b ou a = b, portanto, no vale a simtrica para quaisquer
a, b Z onde a divide b.
2. No vale a simtrica: Se
a, b, c Z, a
d = ac1 c2 d = ac,
3. Vale a transitiva: Se
c1 , c2 Z,
logo
Exemplo 1.1.15.
Seja
de equivalncia em
A.
b e b divide d, temos b = ac1

c = c1 c2 Z, logo, a divide d.
divide
com
um conjunto. Temos que
A A = {(x, y) | x, y A}
x A,
claramente
(x, x) A A,
x, y A e xRy ,
(y, x) A A, logo, yRx.
2. Vale a simtrica: sejam
x, y, z A, xRy
x, z A, (x, z) A A, ou seja, xRz .
yRz ,
portanto,
xRx,
(x, y) A A.
ou seja,
3. Vale a transitiva: sejam
x A,
ou seja,
Como
1. Reexiva: seja
x A.
x, y A,
(x, y), (y, z) A A,
como
Esta relao se
A), e se denota por = . Logo (x, x) R para todo

x = x, x A. Mostremos que esta relao, de fato,
A.
aA
qualquer. Claramente
(a, a) R,
ou seja,
a = a.
a, b A e (a, b) R, temos que existe x A tal que (a, b) = (x, x), de

que a = b. Como (x, x) = (a, b) R e a = b, ento (x, x) = (b, a) R;
2. Simtrica: se
conclumos
a, b, c A, (a, b) R e (b, c) R, procedendo

a = b e b = c, portanto, a = c. Logo, (a, c) R.
3. Transitiva: se
obtemos que
Exemplo 1.1.17.
(ou identidade de
que escrevemos usalmente como
de equivalncia em
com
uma relao
para todo
Exemplo 1.1.16. R = {(x, x) | x A} uma relao de equivalncia em A.

chama igualdade em
d = bc2
De fato,
1. Vale a reexiva: seja
imediato que
Qualquer relao de equivalncia em
onde
como no item anterior,
est compreendida entre os dois
= R A A. De fato, seja A um conjunto e R uma

relao de equivalncia qualquer sobre A. Obviamente R A A, por denio de relao.
Temos que = = {(x, x) | x A}. Tomemenos (x, x) = para um x pertencente a A
qualquer. Claramente, (x, x) R (pela propriedade reexiva, que nos garante que, para todo x
em A, xRx). Logo, = R. Dessa forma = R A A, como queramos.
exemplos anteriores, ou seja,
Denio 1.1.18.
Sejam
arbitrariamente. O conjunto
a = {x A | xRa}
aA
um elemento xado
chama-se classe de equivalncia de
pela
o conjunto constitudo dos elementos de
que se relacionam com
a.
Exemplo 1.1.19.
As classes de equivalncia dadas pela relao
do exemplo 1.1.13 so
1=
{1, 2}, 2 = {2, 1}
3 = {3}
relao
R.
Ou seja,
uma relao de equivalncia em
Observe, neste exemplo, que
1 = 2,
isso se deve ao fato de que
mostra isso de forma generalizada.
1R2.
O seguinte teorema
Teorema 1.1.20.
quaisquer de
A,
Seja
uma relao de equivalncia em um conjunto
a, b
elementos
ento:
1.
a a;
2.
a = b aRb;
3.
a 6= b a b =
Demonstrao.
1.
a = {x A | xRa}.
reexiva), logo a a;
2.
a = b, onde a = {x A | xRa} e b = {y A | yRb}. Seja a a, de

onde segue que, a b (pois por hiptese a = b). Logo, pela denio de b, aRb;
() Suponhamos agora aRb. Devemos mostrar que a = b, ou seja, a b e b a. Pois
()
Como
aRa
uma relao de equivalncia,
(pela propriedade
Suponhamos
bem:
3.
Seja
a a.
Seja
b b.
bRa
e portanto
Como, por hiptese,
aRb,
temos que
aRb e como R
b a. Logo b a.
Por hiptese,
a b,
logo,
a b;
uma relao de equivalncia, temos que
() Seja a 6= b, com a = {x A | xRa} e b = {y A | yRb}. Suponhamos que exista

c a b, ou seja, c a e c b. Sendo assim, cRa e cRb, que nos garante que aRb.
Assim, pelo item 2 deste teorema, conclumos que a = b, o que contradiz a nossa hiptese.
Portanto, no existe c qualquer na interseco de a e b.
() Seja a b = . Suponhamos a = b, que signica, pelo item 2 deste teorema, que
aRb, ou seja, a b. Claramente a a, sendo assim, a est em a e em b, o que contradiz
a hiptese de que a b = . Portanto, a 6= b.
O teorema anterior nos fornece propriedades muito importantes. Ele nos fornece a ideia de
que todo elemento de uma classe de equivalncia
ou seja,
x,
pode ser representado por
para todo
tem a mesma classe de equivalncia que
x a.
a,
Ele nos garante tambm que duas
classes de equivalncia distintas so disjuntas.

Da mesma forma que j zemos anteriormente nesta sesso, o seguinte exemplo faz referncia
aos nmeros inteiros, mas ele serve apenas para clarear a ideia de classe de equivalncia e no
inuenciar nas construes seguintes.
Exemplo 1.1.21.
e
por
se esta
aRb quando o resto das divises de a

2 forem iguais. Por exemplo, (5, 21) R, (6, 14) R, mas (5, 8) 6= R. Vamos vericar
relao de equivalncia em Z:
Sejam
x Z.
x Z;
1. Reexiva: seja
para todo
2. Simtrica: sejam
logo
A=Z
a relao dada por:
A diviso
x, y Z
xRy ,
por
tem resto
ou seja,
yRx;
10
e obviamente
divididos por
t = t,
portanto,
xRx,
tm o mesmo resto
s,
x, y, z Z, xRy e yRz . Dessa forma, x e y divididos por 2 possuem

o mesmo resto t, assim como y e z divididos por 2 possuem o mesmo resto s. Como y
dividido por 2 possui o resto t e tambm o resto s, conclumos que r = s e, portanto, o
resto da diviso de x e z por 2 o mesmo, ou seja, xRz .
3. Transitiva: sejam
Usando esta relao de equivalncia, temos os seguintes exemplos:
1 = {. . . , 3, 1, 1, 3, . . .} = 3 = 7 = 5
2 = {. . . , 4, 2, 0, 2, 4, . . .} = 0 = 4 = 2
Sabemos ainda que todo nmero inteiro classicado como mpar ou par, onde o par pode ser
escrito da forma
a = 2n
e o mpar da forma
a = 2n + 1.
Sendo assim, quando dividimos um
2, obetemos a = 2n+0, ou seja, o resto da diviso 0. J quando dividimos um

nmero mpar por 2, obtemos a = 2n + 1, ou seja, resto 1. Dessa forma, a diviso de qualquer
inteiro por 2 nos fornece restos 1 ou 0. Portanto, s existem duas classes de equivalncia
distintas para esta relao de equivalncia. Mais precisamente, tem-se a = 0 para a par e a = 1
para a mpar.
nmero par por
Denio 1.1.22. Seja R uma relao de equivalncia num conjunto A.

das classes de equivalncia em
quociente de
por
R.
Assim,
A pela relao R
A/R = {a | a A}
denotado por
A/R
O conjunto constitudo
e denominado conjunto
Veja os exemplos que seguem:
Exemplo 1.1.23.
1. Se
2. Se
A = {1, 2, 3},
a relao do exemplo anterior, ento
A/R = {0, 1}
temos que,
A A = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3)}.
1 = {x A | xR1} = {1, 2, 3}, 2 =
{y A | yR2} = {1, 2, 3} e 3 = {z A | zR3} = {1, 2, 3}, assim 1 = 2 = 3. Como
A/AA = {a | a A}, ento A/AA = {1, 2, 3}, ou apenas A/AA = {1} = {2} = {3}
Dessa forma, temos as classes de equivalncia
R = {(x, x) | x A}.
Se A = {1, 2, 3}, ento R = {(1, 1), (2, 2), (3, 3)} e, portanto, 1 = {x A | xR1} = {1},
2 = {y A | yR2} = {2} e 3 = {z A | zR3} = {3}, logo A/R = {a | a A} = {1, 2, 3}.
3. Consideremos a relao de equivalncia denotada por
Exemplo 1.1.24.
divises de
Seja
por
uma relao em
logo,
isto ,
denida como segue:
xy
quando os restos das
forem iguais. Esta uma relao de equivalncia. Com efeito,
1. Reexiva: Claramente, para todo

2. Simtrica: Sejam
Z,
= ,
x, y Z
x Z, x x;
x y,
ou seja, o resto das divises de
y x;
11
por
o mesmo,
x, y, z Z, x y e y z , temos que, o resto das divises de x e y por 3

o mesmo, digamos t, e o resto das divises de y e z por 3 o mesmo, digamos s. Sendo
assim, o resto da diviso de y por 3 dado por s e por t, logo s = t. Portanto, o resto
das divises de x e z por 3 o mesmo, o que siginica que x z , como queramos.
3. Transitiva: Se
x Z por 3, sempre 0, 1, ou 2, portanto, as classes de equivalncia so 0 = {. . . , 6, 3, 0, 3, 6, . . .}, 1 = {. . . , 7, 4, 1, 1, 4, 7, . . .} e 2 =

{. . . , 8, 5, 2, 2, 5, 8, . . .}. Sendo assim, temos que o conjunto quociente Z/ = {0, 1, 2}.
O resto da diviso de um nmero
Exemplo 1.1.25.
quando
Seja
for me de
y.
o conjunto de todas as pessoas e
xA
qualquer,
x, y A
2. No vale a simtrica: sejam
isso signica que
dada por:
xRy
x;
y.
ou seja,
me de
Dessa forma,
no
x;
Exemplo 1.1.26.
quando
no pode ser me de
xRy ,
x, y, z A, xRy
de z e no me.
3. No vale a transitiva: sejam
z,
a relao em
Esta relao no de equivalncia. De fato,
1. No vale a reexiva: seja
me de
Seja
for irmo de
A
y,
av
yRz .
Assim,
o conjunto de todas as pessoas e
ou quando
me de
a relao em
me de
xRy
x e y
dada por:
forem a mesma pessoa (diremos aqui que
so irmos quando so lhos biolgicos dos mesmos pais). Esta uma relao de equivalncia,
pois:
1. Vale a reexiva: se
x A, xRx
2. Vale a simtrica: sejam
x,
logo,
pois,
x, y A
xRy ,
so a mesma pessoa;
ou seja,
y,
irmo de
portanto
irmo de
yRx;
3. Vale a transitiva: sejam
x, y, z A, xRy
yRz .
Como
irmo de
claramente os trs possuem os mesmo pais biolgicos, portanto,
irmo de
irmo de
z,
z,
ou seja,
xRz .
Observe que, se a relao fosse denida apenas como
xRy
teramos uma relao de equivalncia pois no valeria a reexiva
Exemplo 1.1.27.
Seja
um conjunto e
A = A1 A2 A3 . . . An
irmo de
y,
no
uma partio nita de
A,
A que so
dois a dois disjuntos e no vazios. Para x e y A, denimos a seguinte relao: xRy quando
x e y pertencem ao mesmo elemento da partio, isto , xRy existe i {1, . . . , n} tal que
x, y Ai . Esta uma relao de equivalncia. De fato,
isto , uma decomposio de
1. Reexiva: se
x A,
2. Simtrica: se
x, y A
x for
(xRx).
quando
como unio nita de uma famlia de subconjuntos de
claramente
e
xRy ,
x Ai
e assim,
temos que
xRx;
x, y Ai ,
portanto,
yRx;
x, y, z A, xRy e yRz . Dessa forma, x, y Ai e y, z Aj com

i, j {1, . . . , n}. Como y est em Ai e em Aj , e sabemos que os conjuntos so disjuntos
dois a dois, conclumos que i = j e portanto, x e z esto no mesmo conjunto Ai=j , logo,
xRz .
12
Observe que se os conjuntos no fossem disjuntos dois a dois, ou seja,

ter
na interseco de
Ai
Aj
Ai Aj 6= ,
poderamos
e assim no nos valeria a transitiva e, portanto, esta relao
no seria de equivalncia.
Exemplo 1.1.28.
equivalcia em
A.
Seja
A = {1, 2, 3}.
J vimos que
A A,
assim como
so relaes de
Vimos tambm que quaisquer outras relaes de equivalncia neste conjunto
esto entre essas duas. Seguem estas relaes:
R1 = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 1)};
R2 = {(1, 1), (2, 2), (3, 3), (1, 3), (3, 1)};
R3 = {(1, 1), (2, 2), (3, 3), (2, 3), (3, 2)}.
Exemplo 1.1.29.
2
xRy x = y
A = {x Z | 5 x 10} e R a relao
verifcar que R uma relao de equivalncia:
Sejam
. Vamos
1. Reexiva: se
x A,
2. Simtrica: se
x, y A
xRy ,
yRz ,
portanto,
x2 = y 2 ,
temos que
x, y, z A, xRy
3. Transitiva: se
x 2 = x2 ,
claramente
ento ,
sobre
denida por:
xRx;
portanto
x2 = y 2
y 2 = x2 ,
yRx;
x2 = z 2
e assim
uma relao denida por:
xSy
y2 = z2,
ou seja,
logo,
xRz .
Exemplo 1.1.30.
existe
kN
A como
x = y2 + k.
Seja
2
tal que
1. Reexiva: seja
x A.
2. Simtrica: sejam
que
x y
no exemplo anterior e
Veriquemos agora a relao
Existe
x, y A
k = 0 N,
xSy ,
tal que que
ou seja, existe
S:
x2 = x 2 + k ,
k1 N
tal que
portanto
xSx;
x2 = y 2 + k 1 .
Disso temos
. Consideremos dois casos:
Seja
x2 = y 2 .
Neste caso, existe
Seja
x2 > y 2 .
Neste caso, impossvel que exista
se isto acontecesse, teramos
k2 = 0 N
y x
tal que
k2 N
x2 = y 2 .
um exemplo que mostra que essa relao no simtrica, pois

dio da relao, ou seja, existe
kN
tal que
yRx.
y 2 = x2 + k2 ,
2
2
de que x > y
pois,
Como a propriedade deve
x, y A, temos que a simtrica no vlida.

2
ou seja,
tal que
, que contradiz a hiptese
Sendo assim, temos que a simtrica s vale quando

valer pra quaisquer
y 2 = x2 + k2 ,
O par ordenado
(5, 4)
(5) = (4) + k ,
porm,
(5, 4)
satisfaz a con-
(4, 5)
no a
satisfaz.
k1 , k2 N, tais que x2 = y 2 + k1
2
2
2
2
e y = z + k2 . Subtituindo a segunda na primeira, obtemos x = z + k2 + k1 . Como
k1 , k2 N, claramente k1 + k2 = k N, assim, x2 = z 2 + k , logo xSz .
3. Transitiva: se
x, y, z A, xSy
ySz ,
temos que existem
Com isso conclumos que apenas a simtrica no vlida, o que suciente para que a relao
no seja de equivalncia.
k Z no lugar
de k N, teramos que a relao seria de equivalncia. Com efeito, seja x, y A e xSy , ou seja,
2
2
2
2
2
2
existe k1 Z tal que x = y + k1 , e assim, y = x k1 y = x + k2 com k2 = k1 Z.
Logo, yRx, como queramos.
Observemos que se a relao do exemplo anterior nos desse a condio com
13
Exemplo 1.1.31.
existe
kZ
A ainda como no exemplo 1.1.29 e T denida como segue: xT y

x y 3k = 0. Vamos vericar se T uma relao de equivalncia.
Seja
tal que
1. Reexiva: seja
x A.
Claramente
x x 3k = 0
com
k = 0 Z,
ou seja,
xT x;
x, y A e xT y , ou seja, existe k1 Z, tal que x y 3k1 = 0, o que

implica que x + y + 3k1 = 0 e disso obtemos y x + 3k1 = 0, que pode ser escrito como
y x 3k2 = 0 com k1 = k2 Z e, portanto, yT x;
2. Simtrica: sejam
x, y, z A, xT y e yT z , temos que existem k1 , k2 Z tais que xy3k1 = 0

e y z 3k2 = 0. Isolando o y na segunda equao e substituindo na primeira obtemos
x (z + 3k2 ) 3k1 = 0 e assim, x z 3(k2 + k1 ) = 0, que signica x z 3k = 0, com
k = k1 + k2 Z, ou seja, xRz .
3. Transitiva: se
Portanto, a relao
de equivalncia em
A.
14
Captulo 2
Nmeros Naturais
Desde os primrdios existe a necessidade de contagem e so exatamente os nmeros naturais
que esto envolvidos com esta ideia de quantidade, que considerada bsica nos dias atuais.
Os nmeros naturais tiveram suas origens nas palavras utilizadas para a contagem de objetos,
comeando com o nmero um.
O primeiro grande avano na abstrao foi o uso de numerais para representar os nmeros.
Isto permitiu o desenvolvimento de sistemas para o armazenamento de grandes nmeros. Um
avano muito posterior na abstrao foi o desenvolvimento da ideia do zero com um nmero com
seu prprio numeral. Um dgito zero tem sido utilizado como notao de posio desde cerca de
700 a.C. pelos babilnicos, porm ele nunca foi utilizado como elemento nal. Os Olmecas e a
civilizao maia utilizaram o zero com um nmero separado desde o sculo I AC, aparentemente
desenvolvido independentemente, porm seu uso no se difundiu na Mesoamrica. O conceito
da forma que ele utilizado atualmente se originou com o matemtico indiano Brahmagupta
em 628. Hoje temos este conceito de zero formalizado, poratanto, nossa construo foi feita
incluindo o zero como um nmero natural, porm, outros matemticos, preferem seguir a
tradio antiga e excluir o zero dos nmeros naturais.
Formalizaremos este conceito utilizando uma axiomtica, mtodo que, apesar de ser considerado uma construo, na verdade, apenas assume a existncia do conjunto dos naturais,
satisfazendo axiomas que caracterizam rigorosamente a ideia intuitiva.
Em outras palavras,
assumiremos a existncia do conjunto e mostraremos que ele obedece a tais axiomas.

Esta axiomatizao foi dada por Giuseppe Peano, no nal do sculo XIX, e se apresenta
aqui de forma adaptada a simbologia matemtica atual.
2.1
Axiomas de Peano
Durante a formao de um matemtico, muito se ouve falar sobre o Princpio da Induo

Finita, que , na verdade, um conceito menos intuitivo e imediato do que a ideia de que o
conjunto dos Naturais comea no
e prossegue de um em um.
A seja um subconjunto dos nmeros naturais, contendo o 3 e a propriedade

de que possui o sucessor natural de qualquer elemento seu, ou seja, se x A, ento x + 1 A.
Dessa forma, A contm o 4, pois contm o 3 e, claramente, possui o 5, j que contm o 4, e
assim segue. Logo A contm {3, 4, 5, 6, . . .}. Se esse nesse conjunto tivesse como hiptese inicial
que o 0 est nele, no lugar do 3, teramos que A o conjunto dos naturais.
Suponhamos que
15
Os Axiomas de Peano apresentam a formalizao rigorosa destas ideias intuitivas, utilizando

conceitos j conhecidos ou admitidos aqui, como segue:
Axioma 2.1.1
(AXIOMAS DE PEANO)
Existe um conjunto
e uma funo
s : A A
vericando:
1.
injetora;
2. Existe um elemento em
na imagem de
s,
isto ,
3. Se um subconjunto
(a)
A, que denotaremos
0
/ Im(s).
de
por
0,
e chamaremos de zero, que no est
satiszer os subitens abaixo, ento
X = A:
0 X;
(b) Se
k X,
A funo
sucessor de
x.
ento
s(k) X .
Os axiomas anteriores
expressam, ainda, o fato de que

Temos garantido que tal
0
/ Im(s)
x A, ento s(x) chamado

nos dizem que cada x de A possui sucessor diferente e
sucessor de nenhum elemento de A.
chamada funo sucessor, de modo que, se
no
diferente de vazio, pelo segundo axioma de Peano.
Como
s(0) Im(s), conclumos que 0 6= s(0), e, portanto, A possui pelo menos dois
elementos: 0 e s(0). Da mesma forma, podemos observar que s(s(0)) diferente de 0, pois
0
/ Im(s), e diferente s(0), pois s injetora, ou seja, s(0) 6= 0 s(s(0)) 6= s(0). Assim,
A possui pelo menos trs elementos: 0, s(0) e s(s(0)). Prosseguindo desta forma, conclumos
que s(s(s(0))) tambm est em A e diferente de 0 (pois 0
/ Im(s)), diferente de s(0) (0 6=
s(s(0)) s(0) 6= s(s(s(0))), pois s injetora) e diferente de s(s(0)) (s(0) 6= s(s(0)) s(s(0)) 6=
s(s(s(0))), pois s injetora). Agora temos que A possui pelo menos quatro elementos: 0, s(0),
s(s(0)) e s(s(s(0))).
e
Tomando estes sucessores de forma repetida, vemos que cada elemento novo diferente dos
anteriores mencionados. Isto ser provado rigorosamente neste captulo. Prosseguindo assim,
consideramos
como um conjunto innito, que vamos denir formalmente a seguir.
Denio 2.1.2. Dado um conjunto X , dizemos que ele innito se existir uma funo injetora
f : A X .
Um conjunto dito nito quando no innito.
Em outras palavras, podemos dizer que

bijeo com
A, ou ainda, dizendo que este Y
innito quando possui um subconjunto
equipotente a
A.
em
Uma outra denio de conjunto
innito, equivalente a esta, que existe devido a Georg Ferdinand Ludwig Philipp Cantor (18451918)(ele rompeu com o paradigma grego de que o todo sempre maior do que qualquer uma
das suas partes prprias), a seguinte: um conjunto diz-se innito quando existir uma bijeo
entre ele e um subconjunto prprio dele.

O terceiro axioma de Peano conhecido como Princpio de Induo Finita e ele utilizado
na demonstrao de propriedades que dizem respeito aos nmeros naturais. Veremos muitos
exemplos no decorrer deste captulo.
J o segundo axioma de Peano fala que
0
/ Im(s).
Im(s).
16
O teorema a seguir nos diz quem
Teorema 2.1.3.
Se
s : A A
1.
s(n) 6= n,
2.
Im(s) = A \ {0},
elemento de A.
para todo
n A,
isto ,
a funo sucessor, ento, tem-se:

ou seja, nenhum nmero de
o nico elemento de
sucessor de si mesmo;
que no sucessor de nenhum outro
Demonstrao.
1. Consideremos um subconjunto
de
A,
constitudo dos
B = {n A | s(n) 6= n}. Vamos, atravs

B = A, isto , s(n) 6= n, para todo n A
(a) Pelo axioma 2 de Peano, temos que
nA
tais que
s(n) 6= n,
isto
do princpio de induo nita, mostrar que
0
/ Im(s),
sendo assim,
0 6= s(0),
e, portanto,
0 B;
k A, ou seja, k 6= s(k). Como,
s(k) 6= s(s(k)) e, portanto, s(k) B .
(b) Seja
Assim, pelo princpio de induo nita,
(b) Seja
Logo,
k B.
B = A.
injetora, obtemos que
B = A.
2. Novamente usaremos induo nita. Seja

(a) Claramente,
pelo axioma 1,
BA
dado por
B = {0} Im(s):
0 B;
Com isso
Como
s(k) Im(s) B ,
0
/ Im(s),
da,
conclumos que
s(k) B .
Im(s) = A \ {0}.
Todo elemento de
2.2
A\{0} sucessor de um nico elemento de A, que se chama seu antecessor.
Adio de elementos de
Vamos, agora, formalizar a operao que chamaremos de adio e representaremos por
(+),
que , na verdade, a operao que j conhecemos do ensino bsico.
Denio 2.2.1.
Dado
m A,
denimos recursivamente:
m + 0 = m,
m + s(n) = s(m + n).
m, se p = 0, m + p = m
m + p = m + s(n) = s(m + n).
Isto , xado
e se
p 6= 0, p = s(n)
Esta denio nos fornece o seguinte:
m + s(0) = s(m + 0) = s(m),

ou ainda,
m + s(s(0)) = s(m + s(0)) = s(s(m)),

17
para algum
n A,
da
e assim por diante. Esta a idia intuitiva que iremos formalizar a seguir utilizando o Princpio
m, n A.
da Induo, que mostra que
m+n
est denido para todos
Proposio 2.2.2.
m+n
est denida para todo par
A soma
Demonstrao. De fato, vamos denir o conjunto

cada
1.
mA
xado arbitrariamente.
m+0
est denido, portanto,
2. Seja
logo
k Sm , isto
s(k) Sm .
m+k
est denida para todo
operao em
de
A.
Sm = {n A | m + n
est denida}, para
0 Sm .
est denido. Temos que
m + s(k) = s(m + k)
est denido,
m arbitrrio, Sm = A para todo m A. Sendo assim,

par (m, n) de A A, o que signica que a adio , de fato, uma
Sm = A .
Logo, pelo axioma 3,
m+n
m, n
Como
A.
Introduziremos agora a notao para os nmeros naturais que conhecida desde o ensino
bsico.
Denio 2.2.3.
Indica-se por
e l-se um o elemento de
que sucessor de
0,
ou seja,
1 = s(0).
Proposio 2.2.4.
Para todo
m A,
tem-se
s(m) = m + 1
s(m) = 1 + m.
Portanto
m + 1 = 1 + m.
Demonstrao. Provemos as duas igualdades:
Temos que
Consideremos agora o conjunto

que
m + 1 = m + s(0) = s(m + 0) = s(m),
ou seja,
m + 1 = s(m);
B = {m A | s(m) = 1 + m}
e provemos por induo
B = A:
1. Claramente
1 + 0 = 1 = s(0),
sendo assim,
s(0) = 1 + 0
e portanto,
0 B.
m B , isto , s(m) = 1 + m. Da s(1 + m) = s(s(m)) e como s(1 + m) =

1 + s(m), obtemos que s(s(m)) = 1 + s(m) e, portanto, s(m) B .
2. Seja, agora,
Sendo assim,
B = A.
J temos as notaes
s(1) = 2
1 = s(0).
(dois),
e assim sucessivamente.
Dessa forma,
s(2) = 3
Vamos denir, agora, a continuao:

(trs),
s(3) = 4
(quatro),
s(4) = 5
(cinco)
Esta a notao indo-arbica de base dez para os elementos de
contm o seguinte conjunto:
{0, s(0), s(s(0)), s(s(s(0))), . . .} = {0, 1, 2, 3, . . .}.

18
A.
O teorema seguinte mostra que os axiomas de Peano formalizam a ideia intuitiva do conjunto
dos nmeros naturais, isto ,
no contm elementos alm desses.
Teorema 2.2.5. A = {0, 1, 2, 3, . . .}

Demonstrao. Seja
N = {0, 1, 2, 3, . . .}
subconjunto de
A.
Veriquemos por induo que
N = A:
1. Por construo
0 N;
2. Novamente por construo,

seja, se
Logo,
n N,
ento
N contm
s(n) N.
o sucessor de qualquer elemento contido nele, ou
N = A.
Denio 2.2.6.
Chamaremos este conjunto
remos, a partir daqui, por
de Conjunto do Nmeros Naturais e denota-
N.
Utilizando a notao anterior, temos as seguintes adies em

1.
1 + 1 = s(1) = 2;
2.
2 + 1 = s(2) = 3;
3.
3 + 1 = s(3) = 4;
4.
3 + 2 = 3 + s(1) = s(3 + 1) = s(4) = 5;
5.
0 + 2 = 0 + s(1) = s(0 + 1) = s(1 + 0) = s(1) = 2.
Denio 2.2.7.
N:
f : X X e IdX a funo identidade no conjunto X . Sendo assim,

n
n1
denimos f = IdX e, para n 1, f = f (f
). Chamamos a funo f n de n-sima iterada
de f , ou ainda, dizemos que f foi iterada n vezes.
Seja
Proposio 2.2.8.
isto , somar
n so naturais quaisquer, ento

somar 1 a m iteradamente n vezes.
Se
vale a igualdade
m + n = sn (m),
Sm = {n N | m+n = sn (m)} para um m natural xado arbitrariamente.

induo que Sm = N
Demonstrao. Seja
Provemos por
1.
s0 (m) = m = m + 0,
portando
0 Sm ;
k Sm , ou seja, m + k = sk (m). Temos ainda que m + s(k) = s(m + k), da, pela
k
k
k
k+1
hiptese, m + s(k) = s(s (m)) = s s (m). Por denio, s s (m) = s
(m) = ss(k) (m),
s(k)
e assim, m + s(k) = s
(m), logo, s(k) Sm .
2. Seja
Como
foi xado arbitrariamente, temos
Sm = N
para todo
m N.
Exemplo 2.2.9.
Segue um exemplo do que acabou de ser demonstrado:
5 + 3 = s3 (5) = s(s2 (5)) = s(s(s(5))) = s(s(6)) = s(7) = 8

19
Vamos enunciar e demonstrar agora uma proposio que ser fundamental para a prova do
prximo teorema.
Proposio 2.2.10. Para todo m N, temos que m+0 = m = 0+m, isto , m um elemento
neutro da adio em
N.
m+0 = m.
A0 = {m N | 0 + m = m}.
Demonstrao. Por denio

o conjunto
1. Por denio
0 + 0 = 0,
portanto
Provemos agora que
De fato, consideremos
0 A0 ;
k A0 , isto , 0 + k = k
s(0 + k) = s(k), ou seja, s(k) A0 .
2. Suponhamos
Logo, por induo, conclumos que
0+m = m.
e provemos que
s(k) A0 .
Com efeito,
0 + s(k) =
A0 = N.
O seguinte teorema mostra as propriedades da adio que so admitidas intuitivamente

desde a escola.
Teorema 2.2.11.
Se
m, n
so nmeros naturais arbitrrios, temos que as seguintes ar-
maes so verdadeiras:
1. Propriedade associativa da adio:
m + (n + p) = (m + n) + p.
2. Propriedade comutativa da adio:
n + m = m + n.
3. Lei do cancelamento da adio:
m + p = n + p m = n.
Demonstrao.
1. Para esta prova, consideremos o conjunto
com
A(m,n) = {p N | m + (n + p) = (m + n) + p}
naturais xados arbitrariamente. Vamos aplicar induo sobre este conjunto.
(a) Temos que
m + (n + 0) = m + n = (m + n) + 0,
(b) Suponhamos que
k A(m,n) ,
isto ,
logo,
0 A(m,n) ;
m + (n + k) = (m + n) + k .
Agora, provemos que
s(k) A(m,n) . De fato,

(m + n) + s(k) = s((m + n) + k), e por hiptese,
(m + n) + s(k) = s(m + (n + k)), da,
(m + n) + s(k) = m + s(n + k), o que signica,
(m + n) + s(k) = m + (n + s(k)), logo, s(k) A(m,n) .
2. Para esta prova, consideremos o conjunto
arbitrariamente e provemos que
An = {m N | n + m = m + n},
com
xado
N = An .
(a) Temos, pela proposio 2.2.10, que
n + 0 = 0 + n,
k An , ou seja, n + k = k + n,
n + s(k) = s(n + k) = s(k + n) = (k + n) + 1,
(b) Suponhamos que
portanto,
e provemos que
da, pelo primeiro item deste teorema,
n + s(k) = k + (n + 1), e pela proposio 2.2.4 obtemos

n + s(k) = k + (1 + n) = (k + 1) + n e assim,
n + s(k) = s(k) + n, o que signica que s(k) An .
20
0 An ;
s(k) An .
De fato,
Conclumos assim, por induo, que

3. Consideremos o conjunto
que
An = N.
A(m,n) = {p N | m + p = n + p m = n}.
Provemos agora
A(m,n) = N.
(a) Temos que
0 A(m,n) ,
(b) Suponhamos
pois
k A(m,n) ,
m + 0 = n + 0 m = n,
isto ,
pela proposio 2.2.10;
m + k = n + k m = n.
Temos que
m + s(k) = n + s(k) s(m + k) = s(n + k)

(m + k) + 1 = (n + k) + 1
m + (1 + k) = n + (1 + k)
pelos itens anteriores
(m + 1) + k = (n + 1) + k
s(m) + k = s(n) + k
s(m) = s(n)
por hiptese
m+1=n+1m=n
Logo,
m + s(k) = n + s(k) m = n,
Desta forma, conclumos que
ou seja,
s(k) A(m,n) .
A(m,n) = N.
O teorema anterior deixa bem claro a importncia da Induo Finita nas demonstraes. A
seguinte proposio um complemento da proposio 2.2.10.
Proposio 2.2.12.
todo
m N.
Ento
Suponhamos que exista
u = 0.
Demonstrao. Temos
Assim,
uN
tal que
m+u=m
(ou
u + m = m),
para
o nico elemento neutro para a operao de adio.
0=0+u=u
para
como na hiptese.

2.3
Multiplicao dos Nmeros Naturais
Assim como foi denida a adio, deniremos agora a operao que chamaremos de multiplicao:
Denio 2.3.1.
Dado
m A,
denimos recursivamente:
m 0 = 0,
m (n + 1) = m n + m.
m, se p = 0, m p = 0
m p = m (n + 1) = m n + m.
Ou seja, xado
Para designar
m n,
e se
p 6= 0, p = n + 1,
usaremos a notao de justaposio
mn.
para algum
n N,
da
Ser enunciado e provado, a
seguir, um teorema com as propriedades da multiplicao, mas antes disso, enunciaremos duas
proposies que sero teis para a demonstrao de tal teorema.
Proposio 2.3.2.
Para todo
m N,
temos que
21
0 m = 0.
Demonstrao. Consideremos o conjunto

mostrar que
1.
S = {m N | 0 m = 0}
e utilizemos induo para
S = N:
00=0
por denio, portanto,
0 N;
k est em S , ou seja, 0 k = 0 e provemos que s(k) S . De fato,

0 s(k) = 0(k + 1) = 0k + 0, por denio, e ainda, 0k + 0 = 0k = 0, por hiptese de
induo. Logo, 0 s(k) = 0, ou seja, s(k) S
2. Suponhamos que
Dessa forma, conclumos que
S = N.
Proposio 2.3.3.
m, n N
Sejam
tais que
m + n = 0.
Ento
m = n = 0.
n 6= 0, isto , n = s(n1 ) = n1 + 1, para algum n1 N. Sabemos

que 0 = m + n = m + (n1 + 1) = (m + n1 ) + 1 = s(m + n1 ), o que um absurdo pois 0 no
sucessor de nenhum elemento de N. Logo, n = 0, sendo assim, m+n = 0 m+0 = 0 m = 0,
Demonstrao. Suponhamos
como queramos.
Teorema 2.3.4.
1.
mn N,
Sejam
m, n, p N,
ento so vlidos os itens abaixo:
isto , a multiplicao uma operao em
1 n = n 1 = n;
2. Existe um elemento neutro multiplicativo:
m(n + p) = mn + mp
3. Distributividade:
4. Associatividade:
5.
(m + n)p = mp + np;
m(np) = (mn)p;
mn = 0 m = 0
6. Comutatividade:
N;
ou
n = 0;
mn = nm
Demonstrao.
1. Consideremos o conjunto
Sm = {n N | mn
est denido} para
mN
xado arbitra-
riamente.
(a)
m0=0
est denido, logo,
0 Sm ;
k N e provemos que s(k) N. De fato, ms(k) = m(k +1) = mk +m.

Por hiptese de induo mk est denido e, como visto na seo anterior, a soma
de quaisquer dois naturais tambm. Logo, m s(k) = mk + m est denido, o que
signica que s(k) Sm .
(b) Suponhamos
Sendo assim, por induo

para qualquer
Sm = N .
Como
foi xado arbitrariamente, a igualdade vale
m N.
n1 = n(0+1), e por denio n(0+1) = n0+n = n, logo, n1 = n. Agora, para

mostrar que 1 n = n para todo n N, consideremos o conjunto S = {n N | 1 n = n},
e mostremos que N = S .
2. Temos que
22
1 0 = 0,
(a) Temos que
(b) Suponhamos que
por denio, logo,
k S,
1 k = k . Sabemos que 1 (k + 1) = 1 k + 1,
1 (k + 1) = k + 1. Portanto, k + 1 S .
ou seja,
por hiptese de induo,
da,
S = N.
m, n naturais xados
N | m(n + p) = mn + mp}.
3. Sejam
(a) De fato,
0 S;
arbitrariamente e usemos induo sobre
p.
Seja
Am,n = {p
0 Am,n pois m(n+0) = mn e mn+m0 = mn, ou seja, m(n+0) = mn+m0;
k Am,n , isto , m(n+k) = mn+mk , ento (k +1) Am,n .

Com efeito, m(n + (k + 1)) = m((n + k) + 1) = m(n + k) + m = (mn + mk) + m =
mn + (mk + m) = mn + (m(k + 1)). Todas estas igualdades se justicam com base
em propriedades estabelecidas anteriormente. Sendo assim, (k + 1) Am,n .
(b) Mostremos agora que, se
Assim, conclumos, por induo, que
Am,n = N.
m, n N xados
= {p N | m(np) = (mn)p}:
4. Novamente, consideremos
p.
Seja
(a)
Sm,n
m(n 0) = m 0 = 0
(mn) 0 = 0,
arbitrariamente e apliquemos induo sobre
m(n 0) = (mn) 0.
logo,
Assim,
0 Sm,n ;
k Sm,n , isto , m(nk) = (mn)k . Consideremos as seguintes

igualdades: m(n(k + 1)) = m(nk + n) = m(nk) + mn = (mn)k + mn = (mn)(k + 1).
Dessa forma, k + 1 Sm,n
(b) Suponhamos que
Logo,
Sm,n = N.
mn = 0. Suponhamos n 6= 0. Ento n = n1 + 1 para algum n1 em N. Assim,

mn = 0 m(n1 + 1) = 0 mn1 + m = 0, da, pela proposio 2.3.3, mn1 = m = 0. Da
mesma forma, supondo m 6= 0, conclumos que n = 0. Como queramos.
5. Seja
Sm = {n N | mn = nm},
Sm = N:
6. Suponhanhamos
Mostremos que
m0 = 0
(a) Por denio,
para um
e, pela proposio 2.3.2,
m N
0 m = 0,
xados arbitrariamente.
logo,
m 0 = 0 m,
isto ,
0 Sm ;
k Sm ,
mk = km. Temos que m(k + 1) = mk + m = km + m,

por hiptese de induo, e ainda, km + m = (k + 1)m. Sendo assim, m(k + 1) =
(k + 1)m, que signica k + 1 Sm .
(b) Suponhamos
Logo, por induo,
ou seja,
Sm = N.
Como
arbitrrio, a igualdade vale para todo
em
N.
Novamente pudemos perceber o quo importante a existncia do terceiro Axioma de Peano.

Completaremos agora esta parte, mostrando que o elemento neutro, visto no segundo item do
teorema anterior, nico.
Proposio 2.3.5.
Se
pN
Demonstrao. Para um tal
tal que
np = n
p, 1 = 1p = p,
(ou
pn = n),
para todo
n N,
ento
p = 1.
como queramos.

23
2.4
Relao de ordem em
A ideia intuitiva que trazemos desde a escola, de que
menor que
1,
que menor que
e assim sucessivamente, vem da relao de ordem que existe nos naturais, que nos permite
comparar os nmeros deste conjunto, formalizando a ideia intuitiva.
Denio 2.4.1.
quaisquer de
A.
Seja
uma relao binria em um conjunto no vazio
Dizemos que
uma relao de ordem em
x, y, z
elementos
quando satisfaz as seguintes
condies:
1. Reexividade:
xRx;
2. Antissimetria: se
3. Transitividade: se
Dizemos ainda que tal
xRy
yRx,
xRy
x = y;
ento
yRz ,
ento
xRz .
A, diferente de vazio e munido de uma relao R, chamado de conjunto
ordenado.
Vamos denir agora uma relao de ordem em
atravs da operao adio, o que o torna
um conjunto ordenado.
Denio 2.4.2.
Dados
m, n N,
dizemos que
mRn
se existir
pN
tal que
n=m+p
Exemplo 2.4.3.
1. Temos que
pois
7 = 2 + 5;
dado que
4 = 4 + 0.
Proposio 2.4.4.
A relao
2.
4R4,
2R7,
da denio 2.4.2 acima uma relao de ordem em
Demonstrao. De fato, vejamos que valem as propriedades reexiva, antissimtrica e transitiva:

1. Reexiva: dado
m N,
claramente
m = m + p,
para
p = 0 N,
logo,
mRm;
m, n N, mRn e nRm, isto , existem p, q N, tais que n = m + p

e m = n + q . Substituindo a primeira igualdade na segunda, obtemos, m = (m + p) + q
m = m + (p + q), o que signica que p + q = 0, assim, pela proposio 2.3.3, p = q = 0,
logo, m = n;
2. Antissimtrica: sejam
3. Transitiva: Sejam
l, m, n N, lRm
mRn,
ou seja, existem
p, q N
m = l+p
n = (l + p) + q , ou
tais que
n = m + q . Substituindo a primeira igualdade na segunda, obtemos,

ainda, n = l + (p + q). Temos que p + q = r N, portando, podemos reescrever
equao como segue: n = l + r . Sendo assim, conclumos que, lRn.
e
Logo, a relao
de ordem em
N,
a ltima
como queramos.
Denio 2.4.5.
que
Sejam
menor ou igual
signicar
m, n N e R a relao da denio 2.4.2 acima. Se mRn, diremos

a n e passaremos a escrever m n no lugar de R, ou seja, m n
mRn.
24
(A, +) um grupo abeliano e uma relao de ordem em A que satisfaz a b

b = a + c para algum c A. Denotamos por A = A \ {0}, B+ = {x B | x 0} e
B = {x B | x 0}.
Seja
Seguem algumas variaes desta notao:
mn
Se
pode ser escrito como
m n,
m<n
m 6= n,
mas
escrevemos
Proposio 2.4.6.
n m.
Para todo
Leremos
m<n
n>m
maior ou igual a
e dizemos que
e leremos
n N , 0 < n.
menor que
maior que
Em particular,
m;
n;
m.
0 < 1.
p N tal que n = 0 + p (p 6= 0, pois, 0 n, mas

n 6= 0). De fato, como n 6= 0, dado que n N , podemos dizer que, n = s(n1 ) = s(n1 ) + 0 =
0 + s(n1 ), para algum n1 N. Sendo assim, encontramos, n = 0 + p, com p = s(n1 ) N , como
queramos. Temos ainda que 1 = 0 + 1, portanto, 0 < 1.
Demonstrao. Devemos mostrar que existe
Proposio 2.4.7.
Para todo
n N, s(n) > n.
Demonstrao. Novamente, devemos mostrar que
s(n) = n + 1,
claramente
1 6= 0,
logo,
s(n) = n + p,
com
p 6= 0.
De fato, temos que
s(n) > n.
Proposio 2.4.8 (Lei da Tricotomia dos Naturais). Para quaisquer m, n N temos que uma,
e somente uma, das relaes seguintes ocorre:
1.
m < n;
2.
m = n;
3.
m > n.
Demonstrao. Vamos mostrar primeiro que duas delas no podem ocorrer simultanemante e
depois mostrar que obrigatoriamente uma delas deve ocorrer.
Claramente, 1 e 2, no podem ocorrer simultanemante, pois, teramos
p N e m = n, da, subtituindo a
m = m + p e disso, p = 0, o que uma
n = m+p
com
segunda igualdade na primeira, obteramos que,

contradio, pois,
p N .
Da mesma forma, 2 e 3
no podem ocorrer juntas. Suponhamos agora que 1 e 3 ocorram ao mesmo tempo, isto
n = m + p e m = n + q , com p, q N . Substituindo a primeira igualdade na segunda,

obtemos, m = (m + p) + q ou ainda, m = m + (p + q), que nos remete a 0 = p + q . Pela
proposio 2.3.3, conclumos que p = q = 0, o que uma contradio, pois p, q N .
Mostremos esta parte por induo. Seja

com
M = {x N | x = m
ou
x>m
ou
x < m}
sendo um natural qualquer.
1. Temos que
0 M,
pois
0=m
ou
0 6= m.
25
Se
0 6= m,
pela proposio 2.4.6,
0 < m.
2. Suponhamos agora que
k M,
k=m
isto ,
ou
k>m
ou
k < m.
Analisemos os
trs casos:
(a)
k = m k + 1 = m + 1 k + 1 > m k + 1 M;
(b)
k > m k = m + p para p N k + 1 = (m + p) + 1 k + 1 = m + (p + 1)
k + 1 > m k + 1 M;
(c)
k < m m = k + p para p N . Como p 6= 0, temos que p = p1 + 1 com p1 N.

Logo, m = k + p m = k + (p1 + 1) m = (k + 1) + p1 . Se p1 = 0 teremos
m = k + 1 e portanto, k + 1 M . Se p1 6= 0, ento, k + 1 < m, logo, k + 1 M .
Sendo assim, conlumos que, se

Logo, por induo,
k M,
ento
k + 1 M.
N = M.
A Proposio 2.4.8 anterior nos fornece o fato de que dois naturais so sempre comparveis pela relao de ordem acima denida. Chamamos uma relao de ordem que obedece a
tricotomia de relao de ordem total. Veja a seguir uma relao de ordem que no obedece a
tricotomia. Neste caso diremos que uma relao de ordem parcial.
Exemplo 2.4.9.
Sejam
um conjunto e
P(X),
Esta uma relao de ordem em,

De fato, seja
a relao de incluso entre os elementos de
mas s de ordem total quando
um conjunto qualquer.
P(X).
vazio ou unitrio.
Vamos vericar primeiramente que esta uma
relao de ordem:
1. Reexiva: seja
um elemento qualquer de
2. Antissimtrica: sejam
elementos de
P(X).
Como
Y =Y,
P(X), Y Z
claramente,
Z Y.
Y Y;
Disso j temos que
Y = Z;
Y, Z
elementos de
P(X), Y Z
Z W.
Obviamente,
Y W.
Conclumos, assim, que esta uma relao de ordem. Precisamos agora vericar se de ordem
total.
X diferente de vazio e no unitrio, por exemplo, X = {a, b}. Com

isso, P(X) = {, {a}, {b}, {a, b}}. Vemos facilmente que {a} * {b} e {b} * {a}, portanto,
no obedece a tricotomia. Conclumos ento que esta uma relao de ordem parcial em X
Consideremos primeiro
diferente de vazio e no unitrio.
X = e assim, P(X) = {}. Esta uma relao de ordem total, pois

o nico subconjunto de P(X) o conjunto vazio, e, obviamente, = , alm de no est
propropriamente contido em .
Seja agora X um conjunto unitrio qualquer, digamos X = {a}. Sabemos que P(X) =
{, {a}}. O vazio subconjunto de qualquer conjunto, sendo assim, {a} e ainda, {a} * ,
Suponhamos agora
ou seja, satisfaz a tricotomia. Vericamos, assim, que a relao de incluso de ordem em

todo caso, mas relao de ordem total apenas quando
Teorema 2.4.10.
1.
Sejam
a, b, c N.
vazio ou unitrio.
Valem os seguintes itens:
a b a + c b + c;
26
2.
a b ac bc
com
c 6= 0;
Demonstrao.
1.
() a b existe p N
b + c a + c.
tal que
b = a + p.
Da,
b + c = (a + p) + c = (a + c) + p,
() a + c b + c b + c = (a + c) + p para algum p N.
b + c = (a + p) + c b = a + p, logo a b.
2.
Da temos,
logo
b + c = (a + c) + p
() a b b = a + q para algum q N. Suponhamos que bc < ac, ou seja,

ac = bc + p para algum p N . Substituindo a primeira igualdade nesta ltima obtemos ac = (a + q)c + p ac = ac + qc + p 0 = qc + p, da, pela proposio 2.3.2,
qc = p = 0, o que uma contradio, pois p N . Logo, ac bc, como queramos.
() ac bc bc = ac + p para algum p N. Suponhamos b < a, ou seja, a = b + q
para q N . Substituindo esta igualdade na anterior, obtemos, bc = (b + q)c + p bc =

bc + qc + p 0 = qc + p 0 = qc = p, da, pelo item 5 do teorema 2.3.4, obtemos que
q = 0 ou c = 0. Como c 6= 0, nos resta que, q = 0, o que uma contradio, pois q N .
Portanto, pela tricotomia, a b.
Note que o teorema anterior vlido com
< no lugar de e a demostrao segue da mesma
forma.
Teorema 2.4.11
que
ac = bc,
ento
(Lei do cancelamento da multiplicao)
Sejam
a, b, c N,
a 6= b.
ac < bc,
tais
a < b ou b < a. Se a < b,

a hiptese de que ac = bc, da mesma
Logo, a = b.
Pela tricotomia devemos ter
pelo teorema anterior, temos,
contradizendo
b < a bc < ac,
Teorema 2.4.12.
c 6= 0,
a = b.
Demonstrao. Suponhamos que
forma,
com
tambm contradiz a hiptese.
Sejam
a, b N.
Temos que
a<b
se, e somente se,
a + 1 b.
Demonstrao.
() a < b b = a + p, com p N , assim, podemos escrever p = s(p1 ) = p1 + 1,

Temos: b = a + p b = a + (p1 + 1) b = (a + 1) + p1 b a + 1.
com
() a + 1 b b = (a + 1) + p, p N b = a + (p + 1) b = a + s(p).
s(p) N , logo, b > a, como queramos.
Obviamente
p1 N .

Conclumos da relao de ordem em
que, se
a N,
0 < 1 < 2 < 3 < . . .. Notemos, ainda,

para todo a N, pois a < r < a + 1 implicaria, pelo
ou seja, a + 1 < a + 1, o que no pode acontecer.
Dessa forma
27
s(a) = a + 1.
existem naturais entre a e s(a),
anterior, que a + 1 r < a + 1,
ento,
que no
teorema
a < s(a),
pois
O prximo teorema aborda um conceito intuitivamente claro desde o Ensino Fundamental:

todo subconjunto no vazio de nmeros naturais possui um menor elemento. Mas antes dele
introduziremos o conceito de menor elemento.
Denio 2.4.13.
de
se
ax
Dado um conjunto ordenado
para todo
Proposio 2.4.14.
Se
A,
dizemos que
um conjunto ordenado que admite um menor elemento, ento este
a1
a2
menores elementos de
a2 A e ainda, como a1 x,
a2 x, x A, logo a2 a1 .
temos que
a1 A
um menor elemento
x A.
menor elemento nico e chamado de elemento mnimo de

Demonstrao. Sejam
aA
A.
Como
e denotado por
a2
minA.
um menor elemento de
A,
x A, temos que a1 a2 . Da mesma forma,

Se a1 a2 e a2 a1 , pela antissimetria a1 = a2 ,
como queramos.

De modo anlogo ao que foi feito no teorema anterior,
maxA o maior elemento ou elemento
mximo de um conjunto ordenado.
Teorema 2.4.15 (Princpio da Boa Ordem).
Todo subconjunto no vazio de nmeros naturais
possui um menor elemento.
N e consideremos o conjunto M = {n N | n
x, x S}. Claro que 0 M . Como S 6= , tomemos s S . Ento s + 1
/ M , pois s + 1
no menor ou igual a s. Assim, M 6= N. Como 0 M e N 6= M , deve existir k M tal que
k+1
/ M , caso contrrio, pelo princpio de induo, M = N.
Armamos que este k o menor elemento de S , isto , k = minS .
Como k M , ento k x, x S . S falta mostrar que k S . Suponhamos que k
/ S.
Ento k < x, x S . Pelo teorema anterior teramos k + 1 x, x S , o que signicaria que
k + 1 M , contradizendo a escolha de k .
Logo k S , como queramos.

Demonstrao. Seja
um tal subconjunto de
Vimos que o Princpio de Induo implica no Princpio da Boa Ordem. Estes dois princpios
so equivalentes. Neste caso assumimos o Princpio de Induo e provamos o da Boa Ordem, mas
poderamos ter assumido o da Boa Ordem e demonstrado o outro como teorema, conseguindo
os mesmo resultados.
Proposio 2.4.16.
Seja
1.
a X;
2.
n X n + 1 X.
Ento, temos que
um subconjunto de
satisfazendo os dois itens abaixo:
{a, a + 1, a + 2, . . .} X .
Demonstrao. Queremos mostrar que se

que
Y = {m N | a + m X} = N.
mN
ento
Consideremos
ele:
28
a + m X,
ou seja, queremos mostrar
dessa forma e apliquemos induo sobre
1.
0Y
pois
a+0=aX
por denio de
X;
k Y e provemos que k + 1 Y . Se k Y , ento a + k X , da, por

X , (a + k) + 1 X , ou ainda, a + (k + 1) X , o que signica que k + 1 Y .
2. Suponhamos agora
denio de
Logo
N=Y.
Proposio 2.4.17.
sk (0),
para todo
proposio anterior,
1 X,
s : N N
a funo sucessor. Para cada
n 1,
tem-se
sn (0) 6=
k < n.
Demonstrao. Seja
1.
Seja
pois
X = {n N | sn (0) 6= sk (0), k < n}.
que X = N :
Vamos mostrar, usando a
s1 (0) = s(0) = 1 6= 0 = s0 (0);
sn (0) 6= sk (0), para todo k < n. Apliquemos s a ambos os lados

n+1
dessa desigualdade, isto , s
(0) 6= sk+1 (0), para todo k < n. Podemos dizer que
sn+1 (0) 6= sl (0) para todo l de 1 at n. Temos ainda que, sn+1 (0) 6= 0 = s0 (0), da
sn+1 (0) 6= s1 (0), para todo l < n + 1, o que diz que n + 1 X , como queramos.
2. Seja
n X,
isto ,
X = N .
29
Captulo 3
Nmeros Inteiros
Por conta do rigor matemtico, no adequado seguir a ideia de nmero inteiro que
introduzida na escola.
Faremos aqui uma construo rigorosa com todas as demonstraes
precisas deste conjunto numrico, atravs das noes bsicas de Teoria dos Conjuntos e de
relaes de equivalncia.
3.1
Relao de Equivalncia em
NN
Deniremos aqui, um nmero inteiro como uma classe de equivalncia dada por uma relao
de equivalncia no conjunto
N N.
Dessa forma, o conjunto
dos inteiros ser o conjunto
destas classes de equivalncia. Em seguida, iremos denir duas operaes em
possui uma cpia algbrica de
N.
Deniremos a operao subtrao em
e mostrar que
e nalizaremos a
sua construo.
Comecemos ento denindo esta relao em
Denio 3.1.1.
quando
NN
e provando que de equivalncia:
(a, b), (c, d) N N. Dizemos

a + d = b + c. Denotaremos por (a, b) (c, d).
Teorema 3.1.2.
Sejam
que
(a, b)
est relacionado com
(c, d)
A relao descrita acima de equivalncia.
Demonstrao.
(a, b) N N,
1. Reexiva: Se
ento
a + b = b + a,
por herana da comutativa em
N,
logo,
(a, b) (a, b).

2. Simtrica: Se
que signica,
(a, b), (c, d) NN e (a, b) (c, d), ento, a+d = b+c, e disso, c+b = d+a,
(c, d) (a, b).
(a, b), (c, d), (e, f ) N N, (a, b) (c, d) e (c, d) (e, f ), temos que,
a + d = b + c e c + f = d + e. Assim temos a + d + e = b + c + e e a + c + f = a + d + e,
3. Transitiva:
Se
da,
b + c + e = a + c + f b + e = a + f a + f = b + e.
Logo,
(a, b) (e, f ).

30
Pensando de forma intuitiva, por um momento, considerando a subtrao de inteiros, notamos que
a+d = b+c
equivalente a
a b = c d,
isto , dois pares ordenados so
equivalentes, segundo a denio acima, quando a diferena entre suas coordenadas, na mesma
ordem, coincidem.
Esta foi a forma encontrada pelos matemticos do sculo
do conjunto
XIX
para iniciar a construo
sem mencionar a subtrao, mas trazendo a sua essncia, tendo como ponto de
partida os naturais e suas operaes.

Denotaremos por
(a, b)
a classe de equivalncia do par ordenado
(a, b)
pela relao
isto
(a, b) = {(x, y) N N | (x, y) (a, b)}.
Exemplo 3.1.3.
1.
(3, 2) = {(2, 1), (3, 2), (4, 3), (5, 4), . . .};
2.
(1, 7) = {(0, 6), (1, 7), (2, 8), (3, 9), . . .};
3.
(5, 4) = {(2, 1), (3, 2), (4, 3), (5, 4), . . .}.
Podemos ver que
(3, 2) = (5, 4).
Denio 3.1.4.
O conjunto quociente
(a, b) ser denota por Z e

{(a, b) | (a, b) N N}.
3.2
N N/
constitudo pelas classes de equivalncia
chamado de conjunto dos nmeros inteiros. Assim,
Z = N N/ =
Adio de nmeros inteiros
Deniremos agora a operao
(+)
em
que denominaremos por adio. Voltando nossa
(a b) e (c, d) expressa (c d), a matemtica elementar nos d (a b) + (c d) = (a + c) (b + d). Esta ltima expresso se traduz
em (a + c, b + d). Esta a motivao para a denio formal de (a, b) + (c, d), que daremos a
intuio, se
(a, b)
expressa, em essncia, a diferena
seguir.
Denio 3.2.1.
Sejam
(a, b), (c, d) Z.
A soma
(a, b) + (c, d)
dada por
(a + c, b + d).
Vamos mostrar a seguir que esta operao de adio est bem denida.
Teorema 3.2.2.
Se
(a, b) = (a0 , b0 )
(c, d) = (c0 , d0 ),
ento,
(a, b) + (c, d) = (a0 , b0 ) + (c0 , d0 ),
isto , a adio de nmeros inteiros est bem denida.

Demonstrao. Como
(a, b) = (a0 , b0 ),
temos que,
(a, b) (a0 , b0 ),
ou seja,
a + b 0 = b + a0
(3.1)
c + d 0 = d + c0
(3.2)
Da mesma forma,
31
(a, b) + (c, d) = (a + c, b + d) e (a0 , b0 ) + (c0 , d0 ) = (a0 + c0 , b0 + d0 ).

(a + c, b + d) = (a0 + c0 , b0 + d0 ). De fato, somando os primeiros e segun-
Temos, por denio, que

Devemos mostrar que
dos membros de (3.1) e (3.2), na ordem dada, obtemos,
(a + b0 ) + (c + d0 ) = (b + a0 ) + (d + c0 ) (a + c) + (b0 + d0 ) = (b + d) + (a0 + c0 ).
Portanto,
(a + c, b + d) = (a0 + c0 , b0 + d0 ),
como queramos.
Teorema 3.2.3.
A adio em
comutativa, associativa e tem
(0, 0)
como elemento neutro.
Demonstrao.
1. Comutativa:
(a, b) e (c, d) em Z, temos (a, b) + (c, d) =

(a + b) + (c + d) = (a + c, b + d) = (c + a, d + b) = (c, d) + (a, b).
Devemos mostrar que, dados
(c, d) + (a, b).
De fato,
2. Associativa: Queremos mostrar que, dados
(a, b), (c, d) e (e, f ) em Z, temos (a, b)+((c, d)+
(e, f )) = ((a, b) + (c, d)) + (e, f )

(a, b) + ((c, d) + (e, f )) = (a, b) + ((c + e, d + f ))
= (a + (c + e), b + (d + f ))
= ((a + c) + e, (b + d) + f )
= (a + c, b + d) + (e, f )
= ((a, b) + (c, d)) + (e, f )
3. Elemento Neutro: Dado
(a, b)
(0, 0)
em
Z.
(a, b) + (0, 0) = (a + 0, b + 0) = (0 + a, 0 + b)
= (0, 0) + (a, b) = (a, b)
Teorema 3.2.4 (Cancelamento da Adio).

Demonstrao. Seja
= (a, b), = (c, d)
Dados
, , Z
= (e, f ).
+ = + ,
ento
= .
Assim,
(a, b) + (c, d) = (e, f ) + (c, d) (a + c, b + d) = (e + c, f + d)

(a + c) + (f + d) = (b + d) + (e + c)
a+f =b+e
(a, b) = (e, f )
Teorema 3.2.5.
(c, d) Z
tal que
(a, b) Z,
(b, a).
Vale a propriedade do elemento oposto: dado
(a, b) + (c, d) = (0, 0).
Este
(c, d)
32
o elemento
existe um nico
Demonstrao. Provaremos inicialmente a existncia deste elemento oposto e, em seguida, a

sua unicidade.
Seja
(a, b) Z.
Tomemos
(c, d) = (b, a) Z
e assim,
(a, b) + (c, d) = (e, f ) (a, b) + (b, a) = (e, f )

(a + b, b + a) = (e, f )
a+b+f =b+a+e
f +0=e+0
(f, e) = (0, 0)
(a, b) + (c, d) = (0, 0).
(c, d) = (b, a) Z,
Sendo assim, existe um elemento
(a, b) + (c, d) = (0, 0).

forma, (c, d), (c0 , d0 ) Z, isto
tal que,
Suponhamos que existam dois elementos distintos desta
(c, d) 6= (c0 , d0 ) c + d0 6= d + c0 .
Como ambos so opostos a
(a, b),
(3.3)
temos:
(a, b) + (c, d) = (0, 0) (a + c, b + d) = (0, 0)

a+c=b+d
(3.4)
(a, b) + (c0 , d0 ) = (0, 0) (a + c0 , b + d0 ) = (0, 0)

a + c0 = b + d0
(3.5)
Somando o primeiro membro de (3.4) ao segundo de (3.5) e o primeiro de (3.5) com o segundo
de (3.4) obtemos:
a + c + b + d 0 = b + d + a + c0 c + d 0 = d + c0 ,
o que contradiz (3.3). Portanto,
(c, d) = (c0 , d0 ),
com queramos.
Denio 3.2.6.
(ou oposto de
Dessa forma,
Dado
Z,
Z, tal que, + = (0, 0) chama-se simtrico de

). Sua unicidade permite que o denotemos por .
o nico
ou inverso aditivo de
+ () = (0, 0)
e, como visto,
= (b, a).
A existncia e unicidade de
oposto de um nmero inteiro permite que denamos uma terceira operao em
Z,
denominada
subtrao.
Denio 3.2.7.
forma: se
A subtrao em
, Z,
ento
Assim, a subtrao
Proposio 3.2.8.
Z, denotada
= + ().
Para
a soma de
, , Z ,
por
(),
a operao denida da seguinte
com o oposto de
vale:
33
1.
() = ;
2.
+ = ;
3.
() = + ;
4.
= ( + );
5.
( + ) = ;
Demonstrao.
1. Seja
= (a, b),
ento,
= (b, a),
e assim,
() = (b, a) = (a, b) = .
2. Seja
= (a, b)
= (c, d).
Claramente,
= (b, a).
Temos:
+ = (b, a) + (c, d) = (b + c, a + d)
= (c + b, d + a) = (c, d) + (b, a)
= .
3. Seja
= (a, b)
= (c, d),
e assim,
= (b, a)
= (d, c).
() = (a, b) (d, c)
= (a, b) + (c, d) = + .
4. Se
= (a, b)
= (c, d),
teremos,
= (b, a)
= (d, c),
e assim:
= (b, a) (c, d) = (b, a) + (d, c)

= (b + d, a + c) = (a + c, b + d)
= ((a, b) + (c, d)) = ( + ).
5. Se
= (a, b), = (c, d)
= (e, f ),
ento,
= (b, a), = (d, c)
= (f, e)
assim:
( + ) = (a, b) ((c, d) + (e, f )) = (a, b) (c + e, d + f )

= (a, b) + (d + f, c + e) = (a, b) + (d, c) + (f, e)
= .

3.3
Multiplicao dos inteiros
Z, a qual denotaremos por () e chamaremos de

(a, b) nos expressa (a b), (c, d) expressa (c d) e
Deniremos a seguir outra operao em

produto.
Pensando intuitivamente, se
34
(a b) (c d) = a c + b d (a d + b c),
Denio 3.3.1.
Dados
(a, b)
(c, d)
em
temos a motivao para a seguinte denio.
Z,
denimos o produto
(a, b) (c, d)
como sendo
(a c + b d, a d + b c).
Teorema 3.3.2.
(c0 , d0 ), ento,
A multiplicao em
Z est
0
0
(a, b) (c, d) = (a , b ) (c0 , d0 ).
Demonstrao. Seja
(a, b) = (a0 , b0 ),
isto ,
bem denida, isto , se
a + b 0 = b + a0 ,
(a, b) = (a0 , b0 )
(c, d) =
que nos fornece:
ca + cb0 = cb + ca0
(3.6)
da + b0 d = bd + a0 d.
(3.7)
Somando as equaes (3.6) e (3.7) obtemos
ac + bd + a0 d + b0 c = ad + bc + a0 c + b0 d
(ac + bd, ad + bc) = (a0 c + b0 d, a0 d + b0 c)
(a, b) (c, d) = (a0 , b0 ) (c, d).
Do mesmo modo,
(c, d) = (c0 , d0 ) c + d0 = d + c0 ,
(3.8)
de onde obtemos:
a0 c + a0 d 0 = a0 d + a0 c 0
(3.9)
b0 c + b0 d 0 = b0 d + b0 c 0 .
(3.10)
Novamente somando as equaes (3.9) e (3.10) obtemos
a0 c + b0 d + a0 d0 + b0 c0 = a0 d + b0 c + a0 c0 + b0 d0
(a0 c + b0 d, a0 d + b0 c) = (a0 c0 + b0 d0 , a0 d0 + b0 c0 )
(a0 , b0 ) (c, d) = (a0 , b0 ) (c0 , d0 ).
(3.11)
Dessa maneira, observando (3.8) e (3.11), obtemos que
(a, b) (c, d) = (a0 , b0 ) (c0 , d0 ),

como queramos.
Teorema 3.3.3.
A multiplicao em
comutativa, associativa, tem
(1, 0)
como neutro mul-
tiplicativo e distributiva em relao a adio. Alm disso, vale a propriedade do cancelamento

multiplicativo, isto , se
, , Z,
com
6= (0, 0)
Demonstrao.
35
= ,
ento
= .
1. Comutativa: Sejam
= (a, b)
= (c, d)
em
Temos,
= (a, b) (c, d) = (ac + bd, ad + bc)
(3.12)
= (c, d) (a, b) = (ca + db, cb + da).
(3.13)
Podemos ver que (3.12) igual a (3.13), isto ,

signica
Z.
(ac + bd, ad + bc) = (ca + db, cb + da), que
= .
2. Associativa: Sejam
= (a, b), = (c, d), = (e, f ) Z.
() = (a, b) ((c, d) (e, f )) = (a, b) (ce + df, cf + de)

= (a(ce + df ) + b(cf + de), a(cf + de) + b(ce + df ))
= (ace + adf + bcf + bde, acf + ade + bce + bdf ).
(3.14)
() = ((a, b) (c, d)) (e, f ) = (ac + bd, ad + bc) (e, f )

= ((ac + bd)e + (ad + bc)f, (ac + bd)f + (ad + bc)e)
= (ace + bde + adf + bcf, acf + bdf + ade + bce).
Podemos ver que (3.14) igual a (3.15), logo,
3. Elemento Neutro: Sejam
= (a, b)
(3.15)
() = () .
= (1, 0) Z.
= (a, b) (1, 0)
= (a 1 + b 0, a 0 + b 1)
= (a, b) = .
4. Distributiva: Sejam
(3.16)
= (a, b), = (c, d), = (e, f ) Z.
( + ) = (a, b) ((c, d) + (e, f )) = (a, b) ((c + e, d + f ))

= (a(c + e) + b(d + f ), a(d + f ) + b(c + e))
= (ac + ae + bd + bf, ad + af + bc + be)
= (ac + bd, ad + bc) + (ae + bf, af + be)
= (a, b) (c, d) + (a, b) (e, f ) = + .
5. Cancelamento Multiplicativo: sejam
(0, 0)
tais que
= ,
= (a, b), = (c, d), = (e, f ) Z,
isto ,
(ae + bf, af + be) = (ce + df, cf + de)

que equivale a
ae + bf + cf + de = af + be + ce + df
36
com
(e, f ) 6=
e disso,
e(a + d) + f (b + c) = e(b + c) + f (a + d).

(e, f ) 6= (0, 0), temos que e + 0 6= f + 0 e 6= f . Suponhamos e > f (ou
f > e), ou seja, e = f + p, com p N . Com isso, desenvolvendo os dois membros de
Como
cada igualdade teremos:
(f + p)(a + d) + f (b + c) = (f + p)(b + c) + f (a + d)
f a + f d + pa + pd + f b + f c = f b + f c + pb + pc + f a + f d
pa + pd = pb + pc p(a + d) = p(b + c)
a + d = b + c (a, b) = (c, d) = .
Proposio 3.3.4.
Se
Demonstrao. Seja
= (a, b)
, Z
= (0, 0),
ento,
= (0, 0)
ou
= (0, 0).
= (c, d).
= (0, 0) (a, b) (c, d) = (0, 0)

(ac + bd, ad + bc) = (0, 0)
ac + bd + 0 = ad + bc + 0
ac + bd = ad + bc.
Suponhamos
pN
(a, b) 6= (0, 0),
isto
a 6= b.
Dessa forma
a>b
(ou
(3.17)
b > a),
e assim,
a = b + p,
com
. Substituindo esta igualdade em (3.17) obtemos:
(b + p)c + bd = (b + p)d + bc bc + pc + bd = bd + pd + bc
pc = pd.
p N , podemos usar a lei do cancelamento, e concluir que c = d, o que signica que
(c, d) = (0, 0). Analogamente, se supormos que (c, d) 6= (0, 0), concluiremos que (a, b) = (0, 0).

Como
Proposio 3.3.5.
Se
, Z,
1.
() = = ();
2.
()() = .
temos:
Demonstrao.
1. Seja
= (a, b)
= (c, d)
e assim,
= (b, a)
= (d, c).
Dessa forma,
() = (b, a) (c, d)
= (bc + ad, bd + ac)
37
(3.18)
= (a, b) (c, d)
= (bd + ac, bc + ad)
= (bc + ad, bd + ac)
(3.19)
() = (a, b) (d, c)
= (ad + bc, ac + db)
Claramente, (3.18), (3.19) e (3.20) so iguais, isto ,
2. Consideremos os mesmos
(3.20)
() = = ().
do item anterior:
()() = (b, a) (d, c) = (bd + ac, bc + ad)

= (a, b) (c, d) =
Proposio 3.3.6.
, , Z, vlida a
, ( ) = .
Dados
relao a subtrao, isto
propriedade distributiva da multiplicao em
Demonstrao.
( ) = ( + ())
= + ().
Assim, pelo item 1 da Proposio 3.3.5,
( ) = ,
como queramos.
3.4
Relao de Ordem em
Faamos, como em
Denio 3.4.1.
N, uma comparao dos elementos de Z atravs de uma relao de ordem.

quando
a+d
A relao denida anteriormente est bem denida, isto , se
(a, b) =
Dados os inteiros
(a, b)
(c, d),
escrevemos
(a, b) (c, d),
b + c.
Proposio 3.4.2.
(a0 , b0 ), (c, d) = (c0 , d0 )
(a, b) (c, d),
ento,
(a0 , b0 ) (c0 , d0 ).
Demonstrao.
(a, b) = (a0 , b0 ) a + b0 = b + a0 .
(3.21)
(c, d) = (c0 , d0 ) c + d0 = d + c0 .
(3.22)
38
(a, b) (c, d) a + d b + c
a + b0 + d b + b0 + c
a + b0 + d + d0 b + b0 + c + d0 .
(3.23)
Subtituindo (3.21) e (3.22) em (3.23), obtemos
b + a0 + d + d0 b + b0 + d + c0 a0 + d0 b0 + c0
(a0 , b0 ) (c0 , d0 ).
Teorema 3.4.3. A relao denida acima uma relao de ordem em Z, ou seja, reexiva,
antissimtrica e transitiva.
Demonstrao.
1. Reexiva: Seja
= (a, b) Z.
2. Antissimtrica: Sejam
Claramente,
, Z,
(a, b) (a, b),
pois,
(a, b) = (a, b).
Consideremos
= (a, b)
= (c, d)
assim,

(a, b) (c, d)
a+d b+c
e

(c, d) (a, b)
c + b d + a.
Pela tricotomia dos naturais, obtemos que,
a + d = b + c,
isto ,
(a, b) = (c, d).
, , Z, e , com = (a, b), = (c, d) e = (e, f ).

Destas desigualdades obtemos a + d b + c
e
c + f d + e. Sendo assim, existem
p, q N tais que,
a+d+p=b+c
e
c + f + q = d + e.
Somando os primeiros e segundos membros das duas igualdades, na ordem dada, obtemos
a+d+p+c+f +q = b+c+d+e
a+f +p+q = b+e
Como
p + q N,
conclumos que,
a + f b + e,
39
ou seja,
(a, b) (e, f ),
como queramos.
Teorema 3.4.4.
A relao
1.
+ + ;
2.
compatvel com as operaes em
Z,
isto ,
(0, 0) ;
3. Apenas uma das situaes seguintes ocorre:
= (0, 0)
ou
< (0, 0)
ou
> (0, 0).
Demonstrao.
1. Tomemos
= (a, b), = (c, d)
= (e, f )
em
Z.
Assim,
(a, b) (c, d) a + d b + c
a+e+d+f b+f +c+e
(a + e, b + f ) (c + e, d + f )
(a, b) + (e, f ) (c, d) + (e, f )
+ + .
Como queramos.
2. Sejam
Sendo
= (a, b), = (c, d) e = (e, f ). Dessa forma obtemos, a + d b + c e e f .

assim, existem p, q N, tais que, b + c = a + d + p
e
e = f + q . Temos que,
b + c = a + d + p be + ce = ae + de + pe,
(3.24)
b + c = a + d + p bf + cf = af + df + pf
(3.25)
e = f + q pe = pf + pq.
(3.26)
Somando o segundo membro da igualdade (3.24) com o primeiro da igualdade (3.25) e o

primeiro membro de (3.24) com o segundo de (3.25), obtemos,
ae + de + pe + bf + cf = be + ce + af + df + pf.
Substituindo (3.26) nesta ltima igualdade, obtemos
ae + de + pf + pq + bf + cf = be + ce + af + df + pf
ae + de + bf + cf + pq = be + ce + af + df
ae + de + bf + cf be + ce + af + df
(ae + bf, af + be) (ce + df, cf + de)
(a, b) (e, f ) (c, d) (e, f )
.
40
3. Suponhamos
> (0, 0)
< (0, 0)
simultaneamente, com
= (a, b).
(a, b) > (0, 0) a > b

e
(a, b) < (0, 0) a < b,

o que um absurdo pela tricotomia dos naturais. Suponhamos agora
(ou
> (0, 0))
= (0, 0) e < (0, 0)
simultaneamente.
(a, b) < (0, 0) a < b

e
(a, b) = (0, 0) a = b,
o que novamente um absurdo, pela tricotomia dos naturais. Como queramos.

O seguinte teorema mostra que
isto , a relao
no s ordenado, como tambm, totalmente ordenado,
de ordem total em
Z.
Teorema 3.4.5
(Tricotomia dos Inteiros)
seguintes ocorre:
ou
<
Demonstrao. Suponhamos
ou
<
Para
, , Z,
uma e apenas uma das situaes
< .
<
simultaneamente:
< (a, b) < (c, d) a + d < b + c

< (c, d) < (a, b) c + b < d + a,
absurdo pela tricotomia dos naturais.
Da mesma forma, suponhamos
<
(ou
< )
simultaneamente:
< (a, b) < (c, d) a + d < b + c

= (a, b) = (c, d) a + d = b + c
Absurdo pela tricotomia dos naturais.
Alm disto, novamente pela tricotomia dos naturais,
necessariamente uma das seguintes ocorre:
a + d < b + c,
b + c < a + d,
a + d = b + c.
Isto signica que uma das seguintes deve ocorrer
(a, b) < (c, d),
(c, d) < (a, b),
(a, b) = (c, d).

Teorema 3.4.6.
Para
Demonstrao. Sejam
, Z,
< (0, 0),
= (a, b), = (c, d)
temos que
= (e, f ).
Temos que,
(e, f ) < (0, 0) e < f (0, 0) < (f, e).

41
Da, como
pelo item 2 do Teorema 3.4.4
(a, b) (f, e) (c, d) (f, e) (af + be, ae + bf ) (cf + de, ce + df )

af + be + ce + df ae + bf + cf + de
(ce + df, cf + de) (ae + bf, af + be)
(c, d) (e, f ) (a, b) (c, d)
.
Denio 3.4.7.
Dado
(a, b) Z,
1.
(a, b)
positivo quando
2.
(a, b)
no negativo quando
3.
(a, b)
negativo quando
4.
(a, b)
no positivo quando
dizemos que:
(a, b) > (0, 0);

(a, b) (0, 0);
(a, b) < (0, 0);

(a, b) (0, 0);
(a, b) > (0, 0) ento a > b, e assim, existe m N tal que b + m = a, que
equivale (a, b) = (m, 0). Analogamente, se (a, b) < (0, 0), existe m N , tal que a + m = b e
dessa forma, (a, b) = (0, m). Dessa forma, temos que Z = {(0, m) | m N }{(0, 0)}{(m, 0) |
m N }, onde esta unio disjunta. Alm disso,
Observemos que se
Z = {(0, m) | m N },
Z+ = {(m, 0) | m N },
Observemos que
em
Z,
Z+
est em bijeo com
Z = {(0, m) | m N } {(0, 0)}

Z+ = {(m, 0) | m N } {(0, 0)}
N,
o que mostra que
Z+
uma cpia algbrica de
como o seguinte teorema traduz.
Teorema 3.4.8.
f : N Z
Seja
dada por
f (m) = (m, 0).
Ento
injetora e valem as
seguintes propriedades:
1.
f (m + n) = f (m) + f (n);
2.
f (mn) = f (m)f (n);
3. Se
m n,
ento
f (m) f (n);
Demonstrao. Provemos inicialmente que
injetora. De fato,
f (m) = f (n) (m, 0) = (n, 0) m + 0 = 0 + n m = n.

Provemos agora os trs itens. Sejam
m, n N.
1.
f (m + n) = (m + n, 0) = (m, 0) + (n, 0) = f (m) + f (n);
2.
f (mn, 0) = (mn, 0) = (m, 0) (n, 0) = f (m)f (n);
3. Se
m n,
temos que,
(m, 0) (n, 0),
ou seja,
42
f (m) f (n).

O teorema acima nos garante que
um homomorsmo injetor, ou seja, um monomorsmo.
f (N) = Z+ , tem a mesma estrutura algbrica que N. Por exemplo,

2 + 3 = 5, corresponde, via f , a (2, 0) + (3, 0) = (5, 0). Do mesmo modo, 2.3 = 6, corresponde,
via f , a (2, 0) (3, 0) = (6, 0). A relao 2 3 se preserva, via f , como (2, 0) (3, 0),
conrmando a ideia de que a ordem em Z uma extenso da ordem em N. Dizemos que N
um subconjunto de Z.
A funo f descrita acima, chama-se imerso de N em Z, o que mostra, pela Denio 2.1.2,
que Z innito, dado que f injetora.
Notemos que, se m N, o simtrico de (m, 0) (0, m), logo, se identicarmos (m, 0) com
m atravs de f , obtemos m = (m, 0) = (0, m). Dessa forma, identicando N com Z+ , via
f , obtemos o que ser denido a seguir.
Dessa forma, o conjunto
Denio 3.4.9.
Denimos o conjunto dos inteiros como
Z = {m | m N } {0} N = {. . . , m, . . . , 2, 1, 0, 1, 2, . . . , m, . . .}.
Usaremos, a partir de agora, esta identicao e, ento, consideraremos
conjunto de
Z.
como um sub-
Assim podemos obter
a b = (a, 0) (b, 0) = (a, 0) + ((b, 0)) = (a, 0) + (0, b) = (a, b)

conforme nossas motivaes intuitivas feitas anteriormente. Dessa forma, sendo
qualquer, podemos identicar
por
(1) x,
pois, sendo
um inteiro
x = (a, b),
(1) x = (0, 1) (a, b) = (b, a) = (a, b) = x
Teorema 3.4.10.
Se
x, y Z
temos:
1. Se
x>0
y > 0,
ento
xy > 0;
2. Se
x<0
y < 0,
ento
xy > 0;
3. Se
x<0
y > 0,
ento
xy < 0.
Demonstrao.
x e y so elementos positivos de Z, podemos identica-los por x = (x, 0) e y = (y, 0).

Dessa forma, xy = (x, 0) (y, 0) = (xy, 0). Sabemos que (xy, 0) > (0, 0), portanto, xy > 0.
1. Como
2. Pelo Teorema 3.4.6,
x < 0 x > 0
y < 0 y > 0,
sendo assim,
x = (x, 0) x = (x, 0) = (0, x)

e
y = (y, 0) y = (y, 0) = (0, y).

Temos:
xy = (0, x) (0, y)
= ((x)(y), 0)
Sabemos que
((x)(y), 0) > (0, 0),
portanto,
43
xy > 0.
(3.27)
3. Pelo Teorema 3.4.6,
x < 0 x > 0,
sendo assim,
x = (x, 0) x = (x, 0) = (0, x).

Temos:
xy = (0, x) (y, 0)
= (0, (x)y).
(0, (x)y) < (0, 0),
Sabemos que,
portanto,
(3.28)
xy < 0.
Denio 3.4.11.
ormente se existe
Dizemos que
Seja
um subconjunto no vazio de
tal que
Exemplo 3.4.12.
1
x X.
existir Z
para todo
limitado superiormente se
chamado cota superior de
mesma forma,
x,
Z.
Dizemos que
Tal
limitado inferi-
chama-se cota inferior de
tal que
para todo
x X.
X.
Tal
X.
Claramente
0x
para todo
x N Z,
logo,
cota inferior de
N.
Da
e qualquer inteiro negativo tambm o .
Teorema 3.4.13. N no admite cota superior em Z.

Demonstrao. Devemos mostrar que, para todo
Z,
existe
x N,
tal que
< x.
Seja
Z:
Se
< 0,
basta tomar qualquer
Se
= 0,
basta tomar
Se
> 0,
xN
x = 1 N,
da,
que j obtemos
< x;
< x;
N, portanto, s() N. Sabemos que < s(), isto

para todo > 0 em Z, existe x = + 1 N, tal que < x.
ento,
Sendo assim,
< + 1.
Teorema 3.4.14 (Princpio da Boa Ordem).

Ento
Seja
XZ
no vazio e limitado inferiormente.
possui elemento mnimo.
uma cota inferior de X , isto , x para todo x X . Consideremos

X = {x | x X}. Claramente, X 0 N (identicado com Z+ ) e, pelo Princpio da Boa
0
0
0
0
0
Ordem em N, o conjunto X possui elemento mnimo , digamos, m . Assim, m X e m y
0
0
0
0
0
para todo y X . Como m X , m = m, para algum m X . Armamos que m = m +
elemento mnimo de X . S falta vericar que m x para todo x X , mas isso equivale a
m x para todo x X , ou ainda, m0 x , que verdade, pela denio de m0 y .
Logo, m o mnimo de X .

Demonstrao. Seja
0
Corolrio 3.4.15.
Seja
xZ
tal que
0 < x 1.
44
Ento
x = 1.
A = {y Z | 0 < y 1}. Temos que A 6= , dado que 1 A, e A

limitado inferiormente por 0. Pelo Princpio da Boa Ordem, A possui elemento mnimo,
2
digamos, m. Suponhamos m < 1. Sendo assim, 0 < m < 1, logo, 0 < m < m < 1, o que
2
signica que m A e menor do que m, contradizendo a minimalidade de m. Portanto,
m = 1. Como 1 o mximo e o mnimo de A, temos que, A = {1}.

Demonstrao. Seja
Corolrio 3.4.16.
Sejam
n, x Z
tais que
n < x n + 1.
Ento
x = n + 1.
A = {x Z | n < x n + 1, n Z}. Temos que A 6= (pois n + 1 A),

e A limitado inferiormente por n. Pelo Princpio da Boa Ordem, A possui elemento mnimo,
digamos, m. Como m A, temos que n < m n + 1, de onde segue que 0 < m n 1. Como
m, n Z, m n Z, assim, pelo Corolrio 3.4.15, m n = 1, ou seja, m = n + 1.
Demonstrao. Seja
Vamos agora denir o conceito de mdulo ou valor absoluto de um nmero inteiro.
Denio 3.4.17.
por
|x|,
Seja
x Z.
Denimos o valor absoluto de
(ou mdulo de
x),
denotado
como sendo:
(
|x| =
x,
x,
se
se
x 0,
x < 0.
Exemplo 3.4.18.
1.
| 3| = |3| = 3;
2.
|0| = 0.
Proposio 3.4.19.
Para todo
1.
|x| 0;
2.
|x| = 0 x = 0.
x Z,
temos que:
Demonstrao.
1. Provemos que
Se
x < 0,
|x| > 0;
Se
x > 0,
Se
x = 0,
|x| 0,
por denio,
por denio,
temos que
Assim, para todo

2.
()
Seja
para todo
x Z,
x Z.
|x| = x,
logo,
|x| = x,
|x| > 0;
e ainda, pelo Teorema 3.4.6,
x > 0.
Portanto,
|x| = x = 0.
temos
|x| 0.
|x| = 0.
Se
x > 0,
Se
x < 0, ento |x| = x = 0, isto , x = 0.
ento
|x| = x = 0.
Contradio pela tricotomia;
45
Novamente, contradio pela tricotomia.
Portanto,
x = 0,
como queramos.
()
x = 0.
Logo,
Seja
|x| = x = 0.
Proposio 3.4.20.
Para todo
x, y Z,
temos que
|xy| = |x||y|.
Demonstrao. Consideremos em casos.
Se
x < 0 e y < 0, pelo Teorema 3.4.10, xy > 0, e assim, |xy| = xy . Temos que,
x < 0 |x| = x e y < 0 |y| = y , sendo assim, pelo item 2 da Proposio 3.3.5,
|x||y| = (x)(y) = xy . Logo, |xy| = |x||y|.
Se
x = 0 e y qualquer (ou y = 0 e x
|x| = 0 , claramente, |x||y| = 0 |y| = 0.
x > 0 e y > 0, temos, pelo Teorema 3.4.10, xy > 0, e assim, por denio de mdulo,
|xy| = xy . Pela mesma denio, |x| = x e |y| = y , logo, |x||y| = xy . Portanto,
|x||y| = |xy|.
Se
y > 0 (ou x > 0 e y < 0), pelo Teorema 3.4.10, xy < 0, isto , |xy| = xy .
Temos que,
x < 0 |x| = x e y > 0 |y| = y , sendo assim, |x||y| = (x)(y) =
xy . Logo, |xy| = |x||y|.
x<0
Se
Dessa forma, conclumos que,
|xy| = |x||y|,
xy = 0,
|xy| = |x||y|.
qualquer), temos
Portanto,
para todos
logo,
|xy| = 0.
Como
x, y Z.
Proposio 3.4.21.
Para
n N ,
tem-se:
|x| = n x = n
Demonstrao.
()
Seja
Se
x > 0, |x| = x.
Se
x < 0, |x| = x.
()
Seja
Se
Se
x=n
x = n,
|x| = n.
ou
x = n.
|x| = n.
Sendo assim,
Logo,
x = n.
x = n,
isto ,
x = n.
x = n.
ento,
x = n,
ou
|x| = |n|.
Como
n N ,
obviamente,
n > 0,
logo,
|n| = n,
|x| = | n|. Como n > 0, pelo Teorema 3.4.6, n < 0,

mdulo, | n| = (n) = n. Logo, |x| = n.
ento
por denio de
ou seja,
sendo assim,
Denio 3.4.22.
Um elemento
Proposio 3.4.23.
xZ
diz-se inversvel se existe
Os nicos elementos inversveis de
46
so
yZ
e
1.
tal que
xy = 1.
x Z inversvel e y Z, tal que, xy = 1. Sendo assim, |xy| = |x||y| = 1.

Como |x| 0, |y| 0 e |x||y| = 1, segue que |x| > 0 e |y| > 0, que signica, |x| 1 e |y| 1.
Multiplicando esta ltima desigualdade por |x|, em ambos os membros, obtemos, |x||y| |x|.
Sendo assim, 1 = |x||y| |x| 1, o que nos garante |x| = 1. Da, pela Proposio 3.4.21, x = 1
ou x = 1, como queramos.
Demonstrao. Seja
3.5
Conjuntos enumerveis e a Hiptese do Contnuo
f : N Z,
vai de N em Z,
f (m) = (m, 0), injetora. Outro exemplo

pode ser dada por, f (m) = (0, m), ou ainda, f (m) =
funo que exibe uma bijeo entre N e Z, apresentando
Vimos que a funo

de funo injetora que
(m + 1, 0).
Vejamos a seguir, uma
uma outra demonstrao de que
Exemplo 3.5.1.
dada por
innito.
: Z N
(
A funo
(n) =
denida como segue:
2n 1,
2n,
n > 0,
n 0.
se
se
Esta funo bijetora, como veremos adiante.
Denio 3.5.2.
que
Seja
um conjunto qualquer. Se existe uma bijeo entre
enumervel. Dizemos ainda que qualquer bijeo de
chama-se uma enumerao para
1, o
A).
segundo a imagem do
2,
A,
e assim por diante (a imagem do
Exemplo 3.5.3.
dizemos
a imagem do
enumervel e a inversa da bijeo
uma
Z.
Sendo
a funo do Exemplo 3.5.1, a enumerao
1 : N Z
n+1
, se n for mpar,
1
2
(n) =
n
, se n for par.
2
Dessa forma temos:
2.
N,
o zero-simo elemento de
por:
1.
em um conjunto enumervel
segundo a qual o primeiro elemento de
Dessa forma, o Exemplo 3.5.1 nos diz que

enumerao para
8
= 4, isto ,
2
4
1 (3) = = 2, ou seja, o
2
1 (8) =
Podemos ver que
o oitavo elemento de
terceiro elemento de
1 : Z Z,
Z
Z
4.
2.
e ainda,
1 ((n)) = 1 (2n 1) =
(2n 1) + 1
2n
=
=n
2
2
ou
1 ((n)) = 1 (2n) =
47
(2n)
2n
=
= n.
2
2
dada
1 : N N, e ainda,

n+1
n+1
1
( (n)) =
=2
1=n+11=n
2
2
Do mesmo modo,
ou
( (n)) =
Como
1 = Id
1 = Id,
n
2

= 2
ca claro que
n
= n.
2
inversvel, e portanto, bijetora.
Os estudos de Cantor, alm de terem rompido com o paradigma grego de que o todo
sempre maior do que qualquer uma das suas partes prprias , ainda generalizaram para
conjuntos innitos o fato conhecido para conjuntos nitos de que o nmero de elementos de
um conjunto sempre menor do que o nmero de elementos das partes desse conjunto. Vamos
denotar o nmero de elementos de um conjunto nito
por
(X)
Proposio 3.5.4.
Se
Demonstrao. Seja
A = {n N|(X) = n (P(X)) = 2n }.
1.
0 A, pois,
20 = 1.
se
(X) = n,
(X) = 0,
ento
(P(X)) = 2n
temos que
X = ,
sendo assim,
P(X) = {},
isto ,
(P(X)) =
n A e provemos que n + 1 A, isto , temos (X) = n (P(X)) =

(X) = n + 1, por hiptese, (P(X)) = 2n+1 , como queramos.
2. Suponhamos que
. Se temos
Desta forma, por induo,
A = N.
Portanto, se
(X) = n,
ento
(P(X)) = 2n ,
para todo
n N.

Cantor generalizou para conjuntos innitos a ideia contida na proposio anterior, como
demonstraremos no ltimo teorema deste captulo. Intuitivamente, o tipo de innito de
estritamente maior do que o tipo de innito de
X.
Expressamos este fato dizendo que a
P(X) maior do que a cardinalidade de X .

(P(X)) < (P(P(X))).
cardinalidade de
obtemos
P(X)
Continuando com esse raciocnio,
Tomando partes de conjuntos das partes sucessivamente, chegamos aos conjuntos innitos
de Cantor.
Ele tornou estas questes rigorosas matematicamente atravs da sua aritmtica
transnita. Consideremos agora a cadeia crescente de cardinalidades
(N) < (P(N)) < (P(P(N))) < . . .

Esta cadeia comea com a cardinalidade de
N.
A Denio 2.1.2, nos diz que um conjunto
innito quando existe uma funo injetora que vai de
em
com menor cardinalidade, que permite esta injeo o prprio

de
N
e
X . Claramente, o conjunto
N, sendo assim, a cardinalidade
pode ser considerada a menor innita.
Mostraremos adiante que
X
X,
P(N)
(R) > (N),
alm disso, veremos que
(R) = (P(N)),
ou seja,
so equipotentes. Esta desigualdade um caso particular do que vimos no pargrafo
anterior. A suposio de que no h cardinalidades intermedirias entre a de

trata-se da Hiptese do Contnuo.
48
e a de
P(N),
Chama-se Hiptese Generalizada do Contnuo a suposio de que no h cardinalidades

intermedirias entre duas consecutivas da cadeia acima. O matemtico austraco naturalizado
americano Kurt Godel (1906-1978) provou que a Hiptese Generalizada do Contnuo no
contraditria com outros axiomas da Teoria dos Conjuntos, ou seja, no obtemos contradies
extras na matemtica ao adicionar a Hiptese Generalizada do Contnuo aos demais axiomas
da Teoria dos Conjuntos.
Dessa forma, assumindo a Hiptese do Contnuo, conclumos que entre
cardinalidades distintas das desses dois conjuntos, ou seja, qualquer
equipotente a
N,
ou equipotente a
R e N no so obtidas
subconjunto de R, ou
R.
Demonstraremos agora a generalizao feita por Cantor.
Teorema 3.5.5.
Seja
um conjunto no vazio qualquer. Nenhuma funo
f : X P(X)
pode ser sobrejetora.
x X , f (x) um subconjunto de X . Seja A = {x X|x

/ f (x)}.
Vamos mostrar que A
/ Im(f ). Suponhamos que A Im(f ), isto , que existe a X tal que
f (a) = A. Dessa forma, ou a A ou a X \ A. Se a A, pela denio de A, devemos
ter a
/ f (a). Mas f (a) = A, logo, contradio. Se a X \ A, devemos ter a f (a), o que
tambm contradio, pois f (a) = A. Portanto, A
/ Im(f ), isto , a Im(f ) diferente do seu
contradomnio, ou seja, f no pode ser sobrejetora.
Demonstrao. Para cada
49
Captulo 4
Nmeros Racionais
No contexto do Ensino Bsico, um nmero racional apresentado como a razo entre dois
inteiros, onde razo signica diviso. Aqui deniremos razo e diviso a partir do conjunto dos
inteiros e suas propriedades j demonstradas. Utilizaremos o conceito de relao de equivalncia
a partir dos inteiros, do mesmo modo que o utilizamos para denir um nmero inteiro a partir
dos naturais.
4.1
Construo dos nmeros racionais
Consideremos o conjunto
Denio 4.1.1.
Teorema 4.1.2.
Sejam
Z Z = {(a, b) | a Z
aZ
A relao
b Z .
A relao
b Z }.
dada por
(a, b) (c, d)
quando
ad = bc
denida acima de equivalncia.
Demonstrao.
1. Reexiva: Temos que, se
aZ
a, c Z, b, d Z
2. Simtrica: Se
e
e
b Z , ab = ba,
(a, b) (c, d),
portanto
ento,
(a, b) (a, b).
ad = bc,
ou ainda,
cb = da,
isto ,
(c, d) (a, b).

3. Se
a, c, e Z, b, d, f Z , (a, b) (c, d)
(c, d) (e, f ),
temos:
ad = bc adf = bcf
cf = de bcf = bde
Dessa forma,
adf = bde,
como
d 6= 0, af = be,
que signica,
(a, b) (e, f ).
Consideremos, por um momento, nossas noes intuitivas de nmeros racionais. Temos que,
a
c
= ,
b
d
(a, b) (c, d),
ad = bc
ou seja, se as divises de
por
Exemplo 4.1.3.
1.
(3, 6) (1, 2) (6, 12);

50
por
coincidem, podemos dizer que
2.
(35, 5) (7, 1) (14, 2).
Denio 4.1.4.
do par
(a, b)
(a, b) Z Z ,
Dado
pela relao
denotamos por
acima. Assim,
a
(a
b
sobre
b)
a classe de equivalncia
a
= {(x, y) Z Z | (x, y) (a, b)}
b
3
= {(x, y) Z Z | (x, y) (3, 6)} = {(x, y) Z Z | 6x = 3y}.
6
3
3
3
Com isso, (1, 2) , (6, 12)
e (1, 3)
/ .
6
6
6
Teorema 4.1.6 (Propriedade Fundamental das Fraes). Se (a, b) e (c, d) so elementos
a
c
Z Z , ento = se, e somente se, ad = bc.
b
d
Exemplo 4.1.5.
de
Demonstrao. Pelo item 2 do Teorema 1.1.20, temos:
a
c
= (a, b) (c, d) ad = bc,
b
d
como queramos.
Denio 4.1.7.
Denotamos por
conjunto quociente de
Z Z
Q,
e denominamos por conjunto dos nmeros racionais, o
pela relao de equivalncia
Q = (Z Z )/ =
4.2
Operaes em
Denio 4.2.1. Sejam
a
b
na
b
|aZ
isto ,
bZ
Q
e
c
d
nmeros racionais, isto , elementos de
Q.
Denimos operaes
chamadas de adio e de multiplicao, respectivamente, por:
Denotaremos
Exemplo 4.2.2.
1.
2.
2
3
2
3
a c
b d
por
ad + bc
a c
+ =
b d
bd
ac
.
bd
a c
ac
= .
b d
bd
4
26+34
24
4
=
=
= ;
6
36
18
3
4
24
8
4
=
=
= .
6
36
18
9
+
Teorema 4.2.3.
0
As operaes em
a c
a
c
+ = 0 + 0
b d
b
d
Demonstrao. Por
esto bem denidas, isto , se
a c
a c
= 0 0.
b d
b d
0
0
0
0
hiptese, ab = ba e cd = dc .
a
a0
= 0
b
b
c
c0
= 0,
d
d
ento,
Temos:
a
c0
a0 d 0 + b 0 c 0
+
=
.
b0 d0
b0 d0
0 0
0 0
0 0
Queremos provar que as duas somas so iguais, ou seja, que (ad + bc)b d = (a d + b c )bd, isto
0 0
0 0
0 0
0 0
0
0
0
0
0
0
0
0
, adb d + bcb d = a d bd + b c bd, ou ainda, (ab )(dd ) + (cd )(bb ) = (a b)(dd ) + (bb )(c d), o que
0
0
0
0
fato, pois, ab = ba e cd = dc . Temos tambm:
a c
ad + bc
+ =
b d
bd
51
a c
ac
=
b d
bd
Da mesma forma, queremos provar que
(dc0 )(a0 b),
a0 c 0
a0 c 0
=
.
b0 d 0
b0 d 0
a0 c 0
ac
= 0 0,
bd
bd
isto ,
acb0 d0 = bda0 c0 ,
ou,
(ab0 )(cd0 ) =
que verdadeiro, pela hiptese acima.
Teorema 4.2.4.
O conjunto
propriedades algbricas de
Q,
onde o elemento neutro aditivo
Alm disso, dado um racional

no nulo de
munido das operaes acima, adio e multiplicao, tem as
a
0
6= ,
b
1
existe
possui inverso multiplicativo.
Demonstrao. Sejam
r, s, t Q
com
r=
c
d
em
a
c
, s =
b
d
tal que
t=
1
0
e o neutro multiplicativo .
1
1
a c
1
= , isto , todo elemento
b d
1
e
:
f
1. Comutativa da Adio:
a c
ad + bc
+ =
b d
bd
bc + da
c a
=
= +
db
d b
= s + r.
r+s =
2. Associativa da Adio:
c e
ad + bc e
+ =
+
b d
f
bd
f
(adf + bcf ) + bde
adf + (bcf + bde)
=
=
bdf
bdf

a cf + de
a
c
e
=
+
= +
+
b
df
b
d f
= r + (s + t).
(r + s) + t =
a
3. Elemento Neutro da Adio:
r+
a 0
a1+0b
a
0
=
+ =
= = r.
1
b 1
b1
b
4. Elemento simtrico (ou oposto):

Existe
r0
tal que
r + r0 =
0
.
1
Seja
r + r0 =
r0 =
a
,
b
a a
ab + (ab)
0
0
+
=
=
= .
b
b
bb
bb
1
5. Comutativa da Multiplicao:
rs =
ac
ac
ca
ca
=
=
=
= sr.
bd
bd
db
db
52
6. Associativa da Multiplicao:
a c e ac e
ace
=
=
bd f
bd f
bdf

a ce
a ce
=
= r(st).
=
b df
b df
(rs)t =
7. Elemento Neutro da Multiplicao:
1
a1
a1
a
=
=
= = r.
1
b1
b1
b
8. Elemento Inverso:
Se
r 6=
0
,
1
existe
r00
tal que
rr00 =
1
.
1
Seja
r00 =
b
:
a
ab
ab
ab
ab
=
=
=
ba
ba
ab
ab
11
=
pelo item anterior
11
1
.
=
1
rr00 =
9. Distributiva da Multiplicao em relao a Adio:

a c
e
a cf + de
a(cf + de)
r(s + t) =
+
=
=
b d f
b
df
b(df )
f ac + dae
b f ac + dae
b(f ac + dae)
acf + ade
=
=
=
=
bdf
dbf
b
dbf
b(dbf )
bf ac + bdae
ac ae
ac ae
=
=
+
=
+
= rs + rt.
bdbf
bd bf
bd bf
Proposio 4.2.5
(Cancelamento Aditivo e Multiplicativo)
Sejam
r, s, t Q.
Ento, valem
os itens abaixo:
1.
s + r = t + r s = t;
2. Para
r 6=
0
, sr = tr s = t.
1
Demonstrao.
1. Sejam
s=
a
c
, t =
b
d
r=
e
:
f
a e
c
e
af + be
cf + de
+ = +
=
b f
d f
bf
df
(af + be)(df ) = (cf + de)(bf ) af df + bedf = cf bf + debf
s+r =t+r
f (af d + bed) = f (cf b + deb) af d + bed = cf b + deb

a
c
af d = cf b ad = cb = s = t.
b
d
53
2. Sejam
s=
c
a
, t =
b
d
r=
e
0
6= :
f
1
ae
ce
ae
ce
=
=
(ae)(df ) = (ce)(bf )
bf
df
bf
df
a
c
ad = cb = s = t.
b
d
sr = tr
Proposio 4.2.6.
Os elementos
simtrico e inverso de
r,
0
,
1
dessa forma,
u00 r = r00 r,
so nicos e denotam-se por
seja tambm um simtrico de
u00
r1 ,
chamados de
Q,
r.
Assim,
denotada por
u0 + r =
0
1
u0 = r 0 .
1
1
u00 r = e r00 r = , dessa
1
1
0
00
00
u = r (r 6= para possuir inverso).
1
seja tambm um inverso de
A subtrao em
r, s Q,
da, pelo item 1 da Proposio 4.2.5,
da, pelo item 2 da Proposio 4.2.5,
Denio 4.2.7.
forma: se
u0
u0 + r = r0 + r,
Suponhamos agora que

forma,
r00
respectivamente.
r0 + r =
r0
r.
(),
Assim,
a operao denida da seguinte
ento:
s r = s + (r).
Assim, a subtrao
Proposio 4.2.8.
Se
sr
nada mais do que a soma de
r, s Q,
1.
(r)s = rs = r(s);
2.
(r)(s) = rs.
com o simtrico de
r.
ento:
Demonstrao.
1.
a c
ac
(r)s =
=
= rs
b d
bd

ca
c a
rs =
=
= (s)r = r(s).
db
d b
2.
a c
b d
a c
a
c
=
=
pelo item anterior
b
d
b d

ac
ac
ac
=
=
=
pelo item 2
bd
bd
bd
ac
=
= rs.
bd
(r)(s) =
da Proposio 3.3.5

54
Proposio 4.2.9.
Vale a distributiva da multiplicao em relao subtrao:
r(s t) =
rs rt.
Demonstrao. Sejam
r=
a
c
, s =
b
d
t=
e
:
f

a c
e
a c
e
r(s t) =
=
+
b d f
b d
f

ac a
e
ac
ae
=
+
=
+
bd b
f
bd
bf
ac ae
= rs rt.
=
bd bf
Proposio 4.2.10.
Para
Demonstrao. Para
(a, b) Z Z ,
(a, b) Z Z ,
temos que:
a
a
a
a
=
= = .
b
b
b
b
herdando as propriedades dos inteiros temos:
(a)(b) = ab = (a)(b) = (a)(b),

que nos d respectivamente:
a
a
a
a
=
= = .
b
b
b
b

a
Q, ento b pode ser tomado positivo.
b
ordem em Q a seguir.
Segundo esta Proposio 4.2.10, se

utilizado para denir a relao de
4.3
Relao de Ordem em
Denio 4.3.1.
ad bc
Sejam
e dizemos que
Os smbolos
ordem em
, >
a
b
e
a
b
c
d
nmero racionais com
menor ou igual a
<,
Este fato ser
b, d > 0.
a
c
b
d
Escrevemos
c
d
quando
denem-se de forma anloga que que zemos para a relao de
N.
Teorema 4.3.2.
A relao
est bem denida e uma relao de ordem em
Q.
Demonstrao. Vamos mostrar inicialmente que a relao est bem denida.

a0
a
c
a
Seja
= 0 , isto , ab0 = a0 b. Temos que
ad bc, e, como b0
b
b
b
d
ab0 d bcb0 , da, pela igualdade acima, a0 bd bcb0 , de onde conclumos que a0 d
0
a
c
.
b0
d
Do mesmo modo, como
> 0,
obtemos
ou seja,
cb ,
c
c0
= 0 cd0 = dc0 ,
d
d
a0
a0
c
c0
0
0
0
0
0 0
0
0
0 0
0 0
0 0
a
d
cb
a
dd
cb
d
a
dd
c
db
a
d
c
b
.
b0
d
b0
d0
Logo, como
a
c
a0
c
0
b
d
b
d
a0
c
a0
c0
0 0,
b0
d
b
d
Provemos, agora, que esta uma relao de ordem:
55
conclumos que
a
c
a0
c0
0 0.
b
d
b
d
a
a
a
a
a
Q, claramente, = , isto , ;
b
b
b
b
b
a c
a
c c
a
Simtrica: se ,
Q, e , temos que ad bc e cb ad, da, pela tricotomia
b d
b
d d
b
a
c
dos inteiros, obtemos, ad = bc, isto
= ;
b
d
a c e
a
c c
e
Transitiva: se
, , Q, e , temos ad bc e cf ed. Multiplicando
b d f
b
d d
f
f na primeira e b na segunda desigualdade (podemos fazer isto, pois, b, d > 0), obtemos
adf bcf e bcf bed, da, pela transitividade dos inteiros, obtemos, adf bed, ou ainda,
a
e
af be (d > 0), que signica, .
b
f
1. Reexiva: se
2.
3.
Proposio 4.3.3.
1.
Se
r, s, t Q,
so vlidos os itens seguintes:
r s r + t s + t;
2. Se
rs
3. Se
rs
0
,
1
0
t ,
1
t
Demonstrao. Sejam
ento
rt st;
ento
rt st.
r=
a
b
s=
c
d
t=
e
:
f
1.
c
a
da bc daf bcf
b
d
daf + dbe bcf + dbe
pois
f >0
por propriedade dos inteiros
d(af + be) b(cf + de) df (af + be) bf (cf + de)

af + be
cf + de
a e
c
e
+ + .
bf
df
b f
d f
2. Como
t=
e
f
0
,
1
temos
e
0
e 0.
f
1
Assim:
a
c
ad cb
b
d
aedf cebf pois e 0
ae
ce
ae
ce
.
bf
df
bf
df
3. Como
t=
e
f
0
,
1
temos
e
0
e 0.
f
1
f >0
Assim:
a
c
ad cb adf cbf pois f > 0

b
d
aedf cebf pois e 0
ae
ce
ae
ce
.
bf
df
bf
df

56
Como em
Z,
temos aqui:
Q =
Q
na
b
na
b
| (a, b)
Z+
Teorema 4.3.4 (Tricotomia em Q).
Z+
Q+ =
Q =
o
Dados
na
b

0
1
r, s Q,
na
b
o
| (a, b) Z+ Z+ ,
| (a, b)
e
Q=
Z+

0
,
1

0
Q+ .
1
uma, e apenas uma, das situaes seguin-
r < s, ou s < r.
c
a
Demonstrao. Seja r =
e s =
com b, d > 0. Pela tricotomia em Z, ou ad = bc, caso em
b
d
que ocorre r = s, ou ad < bc, caso em que ocorre r < s, ou bc < ad, caso em que ocorre s < r .
tes ocorre: ou
r = s,
Z+
| (a, b)
na
Q+ =
o
| (a, b) Z Z+ ,
ou
Alm disso, s uma delas pode ocorrer.

Vamos ver agora a funo imerso de
em
Q,
a mesma que falamos, de
em
Z,
na
contruo dos inteiros.
Teorema 4.3.5.
A funo
i : Z Q,
denida por
preserva as operaes e a relao de ordem de

1.
i(m + n) = i(m) + i(n);
2.
i(mn) = i(m)i(n);
3. Se
m n,
ento
1.
2.
3.
m 1 = n 1,
em
n
1
injetora.
no seguinte sentido:
ou ainda,
m = n,
logo,
injetora. Se
i(m) = i(n),
i(m) = i(n) m = n,
temos que
portanto,
m
n
= ,
1
1
injetora.
1m+m1
m n
m+n
=
=
+ = i(m) + i(n);
1
11
1
1
mn
mn
mn
=
=
= i(m)i(n);
i(mn) =
1
11
1 1
m
n
mnm1n1
i(m) i(n).
1
1
i(m + n) =
i(Z) =
N em Z,
Novamente temos um homomorsmo injetor, de modo que, o conjunto

de
innito.
Alm disso, ela
i(m) i(n).
Demonstrao. Provemos inicialmente que

isto ,
i(n) =
em
mostra que
em
Q.
Como existe uma cpia algbrica de
nn
1

o
|nZ
essa imerso
Faremos agora uma srie de demonstraes para conseguirmos chegar ao teorema que garante
que
enumervel. Antes de enunciar a prxima proposio, devemos lembrar que:
X \ (nN An ) = nN (X \ An )
(4.1)
X \ (nN An ) = nN (X \ An ).
(4.2)
57
Estes resultados esto demonstrados em [9].
Lema 4.3.6.
Todo subconjunto innito de
Demonstrao. Seja
enumervel.
um subconjunto innito de
N.
Pelo Princpio da Boa Ordem,
possui
Y0 = X \ {x0 } no vazio.
Seja agora x1 o menor elemento de Y0 . Como X innito, o conjunto Y1 = X \ {x0 , x1 }
no vazio. Obtidos x0 , x1 , x2 , . . . , xn (n N) dessa forma acima, obtemos xn+1 como sendo o
menor elemento de Yn = X \ {x0 , x1 , x2 , . . . , xn }. A existncia do menor elemento xn+1 se deve
novamente ao Princpio da Boa Ordem, dado que Yn no vazio para todo natural n (pois X
menor elemento, digamos
x0 .
Como
innito, o conjunto
innito).
Temos de (4.3) que
X \ (nN An ) = nN (X \ An ) = nN Yn ,
onde, neste caso,
An =
{x0 , x1 , x2 , . . . , xn }.
Se existisse x X \ (nN An ), esse x tambm seria elemento de nN Yn e, como tal, deveria
ser maior do que x0 , por estar em Y0 , deveria ser maior do que x1 por estar em Y1 e, assim
sucessivamente, x deveria ser maior do que xn para todo n N. Dessa forma, o conjunto
innito nN An = {x0 , x1 , x2 , . . . , xn , . . .} estaria contido no conjunto nito {1, 2, 3, . . . , x}, o
que um absurdo. Portanto, no existe x X \ (nN An ), isto , X \ (nN An ) = , ou ainda,
X = nN An = {x0 } {x0 , x1 } {x0 , x1 , x2 } . . . = {x0 , x1 , x2 , . . . , xn , . . .}, o que signica que
X enumervel.

Enunciaremos um resultado bastante interessante que pode ser demonstrado com as propriedades de
Z,
prova esta que pode ser encontrada em [7], ele chamado Teorema Fundamental
da Aritmtica: todo nmero natural maior que
pode ser expresso como produto de nmeros
primos. Alm disso, essa fatorao nica, a menos da ordem dos fatores.
Lema 4.3.7.
Todo nmero racional positivo
como uma frao irredutvel, isto , na forma

possuem fatores primos em comum.
b, onde k o
a
km
a
m
produto de todos os fatores primos comuns a a e a b. Sendo assim,
=
, da,
= ,
b
kn 0
b
n
m
m
onde m e n so primos entre si, portanto,
uma frao irredutvel. Seja
uma frao
n
n0
m
irredutvel igual a
:
n
Demonstrao. Seja
km
a
(a, b > 0), pode ser escrito, de modo nico,
b
m
, onde m e n so primos entre si, ou seja, no
n
uma decomposio de
kn
uma decomposio de
m0
m
=
m0 n = mn0 .
0
n
n
Pela unicidade da decomposio em fatores primos,
vice-versa e
si, assim como
deve conter os fatores primos de
n),
logo,
m =m
m0
deve conter os fatores primos de
e vice-versa ((pois
so primos entre
n = n.
Proposio 4.3.8. Q+
enumervel.
58
Demonstrao. Consideremos os nmeros racionais escritos na forma irredutvel,

0 como no lema
m
m
m
m
n
anterior. Seja f : Q+ N dada por f
= 2m 3n . Se f
=f
, ento, 2 3 =
0
n
n
n
0
2m 3n ,
da, pelo Teorema Fundamental da Aritmtica e pela a unicidade da representao
0
0
m
de fraes na forma irredutvel, dada pela proposio acima, 2
= 2m e 3n = 3n , ou seja,
0
m
m
m = m0 e n = n0 , que nos garante que,
= 0 . Logo, f injetora e tem como imagem
n
n
um subconjunto innito de
N,
que , pelo Lema 4.3.6, enumervel. Da segue o que queramos
provar.
Proposio 4.3.9.
A unio de dois conjuntos enumerveis enumervel. Alm disso, a unio
de uma famlia nita de conjuntos enumerveis enumervel.

Demonstrao. Sejam
dois conjuntos enumerveis.
Claramente, ou
AB =
ou
A B 6= .
A B = :
existe f1 : A N
Suponhamos primeiro que
A enumervel,
bijetora. Temos que existe tambm uma funo
g1 : N Np (onde Np so os nmeros naturais pares), dada por g1 (n) = 2n para todo n N.
Como para todo 2n existe n, tal que g(n) = 2n e 2n = 2m n = m, esta funo bijetora,
sendo assim, podemos ter h1 = g1 f1 : A Np , dada por h1 (x) = 2f (x), bijetora. Do mesmo
modo, como B enumervel, existe f2 : B N bijetora e tambm g2 : N Ni (onde Ni
so os nmeros naturais mpares), dada por g2 (n) = 2n + 1 para todo n N, que claramente
bijetora. Desta forma, obtemos h2 = g2 f2 : B Ni , dada por h2 (x) = 2f2 (x) + 1, bijetora.
Sendo assim, f : (A B) (Np Ni ), dada por
(
h1 (x) se x A,
f (x) =
h2 (x) se x B.
Como
A B = , f est bem denida e, como Np Ni = N, A B enumervel.

Seja agora, A B 6= :
Seja C = A \ B , um conjunto tal que A B = C B . Temos B C = por construo,
portanto, pelo que j foi demonstrado acima, C B enumervel, logo, A B tambm o .
S
Sejam agora A1 , A2 , . . . , An conjuntos enumerveis. Precisamos provar que
k{1,2,...,n} Ak
enumervel. Provemos por induo nita. J sabemos que se n = 2 isto verdade, ento
S
S
suponhamos que
k{1,2,...,n1} Ak enumervel e provemos que
k{1,2,...,n} Ak tambm . De
S
S
fato, como
k{1,2,...,n1} Ak enumervel e An tambm, obviamente,
k{1,2,...,n1} Ak An
bijetora. Como
enumervel, como queramos.
Proposio 4.3.10. A unio de um conjunto nito com um conjunto enumervel enumervel.

X um conjunto enumervel, isto , existe g : N X , bijetora. Seja
tambm Y = {y1 , y2 , . . . , yn } com n N um conjunto nito qualquer. Temos que, ou X Y =
ou X Y 6= .
Suponhamos primeiro que X Y = :
Assim, podemos ter f : N X Y dada como segue:
Demonstrao. Seja
59
(
f (k) =
Esta funo est bem denida, pois
yk
g(k n)
se
se
X Y =
1 k n,
(n + 1) k.
e, claramente, bijetora, portanto,
X Y
enumervel.
X Y 6= :
C = X \ Y , um conjunto
Seja agora,
Seja
X Y = C Y . Temos Y C = por construo,

acima, C Y enumervel, logo, X Y tmabm .
tal que
portanto, pelo que j foi demonstrado
Teorema 4.3.11. Q enumervel.

Demonstrao. Se escrevermos
clumos diretamente que
Q {0} Q+ ,
como
pelas Proposies 4.3.9 e 4.3.10 con-
enumervel.

O conjunto dos nmeros racionais est munido das duas operaes, adio e multiplicao,
estudadas no decorrer deste captulo, alm da subtrao e diviso, que so denidas a partir
() e :, respectivamente. A subtrao j foi denida

r, s Q, r s = r + (s). J a diviso, dada da seguinte forma:
das duas primeira e simbolizadas por

anteriormente como: se
Denio 4.3.12.
Sejam
r, s Q
com
s 6= 0.
Dizemos que
dividido por
dado por
r : s = r s1 .
Olhando a denio exatada de operao, podemos ver que, a diviso no uma operao
em
Q,
dado que o seu domnio
Proposio 4.3.13.
Se
Q Q
a, b Z,
com
Demonstrao. Pela Denio 4.3.12,
Dessa forma, identicando

acima se escreve
a
a:b= .
b
Proposio 4.3.14.
Demonstrao.
Se
e no
b 6= 0,
Q Q.
ento
a b
a
: = .
1 1
b
a b
a 1
a1
a
: = =
= .
1 1
1 b
1b
b
Z com sua cpia algbrica i(Z) em Q,
a c
, Q,
b d
com
c
0
6= ,
d
1
ento

a igualdade da proposio
a c
ad
: =
.
b d
bc
a c
a d
ad
: = =
.
b d
b c
bc
a
b
usual, nos textos elementares de matemtica, adotar-se a notao c para
d
dendo a notao da proposio anterior.
Proposio 4.3.15.
Admitindo a identicao de
valem:
1. Se
rs = 0,
ento
s=0
ou
r = 0;
60
com
i(Z),
para
r, s
a c
: ,
b d
exten-
racionais arbitrrios,
2. Se
r>0
s > 0,
ento
rs > 0;
3. Se
r>0
s < 0,
ento
rs < 0;
4. Se
r<0
s < 0,
ento
rs > 0;
5. Se
r > 0,
ento
r1 > 0;
6. Se
r < s,
ento
r < (r + s) 21 < s;
Demonstrao. Sejam
1. Suponhamos
r=
c
6= 0,
d
a
b
s=
ou seja,
c
.
d
c 6= 0:
ac
ac
=
= 0 ac = 0 a = 0,
bd
bd
portanto,
a
= 0.
b
Da mesma forma, supondo
queramos;
2.
3.
4.
5.
a
>0a>0
b
a
>0a>0
b
a
<0a<0
b
a
> 0 a > 0.
b
6. Se
r < s,
isto ,
c
> 0 c > 0,
d
c
< 0 c < 0,
d
c
< 0 c < 0,
d
Temos que
temos que,
b > 0,
2r < r + s
a
6= 0,
b
conclumos que
sendo assim,
ac > 0,
logo
sendo assim,
ac < 0,
logo
sendo assim,
ac > 0,
logo
por conveno, sendo assim,
r + s < 2s,
da,
como
ac
> 0;
bd
ac
< 0;
bd
ac
> 0;
bd
b
> 0,
a
2r < r + s < 2s

a
a c
c
a
c c
1 a
2 < + <2 <2
+
< ,
b
b d
d
b
b d
d
e
c
= 0,
d
isto ,
r1 > 0;
e assim,
r < 21 (r + s) < s.
Teorema 4.3.16. Q no bem ordenado.

Demonstrao. Devemos provar que existem subconjuntos de
Q non vazios, limitadosoinferiora

a
.
mente, mas que no possuem elemento mnimo. De fato, seja X =
Q | 21 <
b
b
1
Temos que X limitado inferiormente por 2
e X 6= , dado que 1 X . Suponhamos que
c
c
a
a
X possua um elemento mnimo, digamos . Sendo assim para todo X . Como 21
d
d
b
b
c
1
limitante inferior de X , 2
< , da, pelo item 6 da Proposio 4.3.15:
d

c
c 1
c
1
1
1
2 < 2 < 2 +
2 < ,
d
d
d

c
c
c
1
assim, 2
+
21 X e
21 +
21 < , o que uma contradio com a minimad
d
d
c
lidade de
. Logo, X no possui elemento mnimo.
d

61
Acabamos de ver que
no um conjunto bem ordenado como
de todas as propriedades aritmticas de
Z,
porm, ele possui, alm
Z, a propriedade de que todo elemento no nulo possui
inverso.
Denio 4.3.17.
Sejam
(K, +, )
um conjunto munido de duas operaes. Dizemos que
um corpo, se:
1.
so associativas;
2.
possuem elementos neutros distintos;
3.
possui elemento simtrico e
elemento inverso, para todo elemento distinto do neutro
da adio;
4.
5.
so comutativas;
distributiva em relao a
+.
E ainda, se este corpo tiver uma relao de ordem compatvel com suas operaes, ele
chamado de corpo ordenado.
Um exemplo de tal corpo ordenado
Q.
Vejamos a seguir uma propriedade de corpos
ordenados em geral.
Proposio 4.3.18.
por
Seja
e a relao de ordem denotada por
Demonstrao. Se
2
x > 0,
logo, para
+
x K.
um corpo ordenado, cujo elemento neutro de
x < 0, temos que x2 > 0,

2
todo x K , x 0.
Ento
se
0x
x = 0,
para todo
ento
x2 = 0
e, se
representado
x > 0,
temos que
Teorema 4.3.19. Q no possui elemento mximo e nem mnimo.

Demonstrao. Suponhamos que exista um elemento mximo em
a
m
b
n
m
mx = , isto ,
n
m
m+n
<
, o que
n
n
digamos,
m
m+n
+1 =
Q, alm disso,
n
n
contradiz a maximalidade de mx , portanto Q no possui um elemento mximo.
mesma forma, obtemos que Q no possui um elemento mnimo.
para todo
a
Q.
b
Q,
Claramente,
Procedendo da

X Q diz-se limitado superiormente quando existe algum b Q
x X . Neste caso, diz-se que b uma cota superior de X . Vejamos,
J vimos que um conjunto

tal que
xb
para todo
partir disso a seguinte denio:
Denio 4.3.20. Seja X Q limitado superiormente e no vazio.

X quando a menor das cotas
de X . Em outras palavras, b o
Um nmero
X , isto , quando
X quando cumpre as
se o supremo do conjunto
superiores de
a cota superior mnima
supremo de
seguintes condies:
x X,
tem-se
tal que
xc
1. Para todo
2. Se
cQ
x b;
para todo
xX
ento
62
b c;
b Q, chama-
b = sup X
Escrevemos
para indicar que
o supremo do conjunto
X.
O nmo de um
conjunto dado analogamente, sendo a maior das cotas inferiores (cota inferior mxima de
e, escreve-se
a = inf X ,
quando
o nmo do conjunto
Temos que, se existe o supremo
de
X,
X)
X.
ento este supremo nico. De fato, suponhamos
b2 . Dessa forma, x b1 para todo x X e, se c Q tal que

x c para todo x X , ento b1 c. Analogamente x b2 para todo x X e, se c Q tal
que x c para todo x X , ento b2 c. Da, como b1 , b2 Q, ento b1 b2 e b2 b1 , logo
b1 = b2 .
b1
que existam dois supremos
Denio 4.3.21.
a, b K ,
existe
Seja
nN
um corpo ordenado.
tal que
Dizemos que
arquimediano se, dados
n a > b;
Teorema 4.3.22.
1. O conjunto
NQ
no limitado superiormente;

2. O nmo do conjunto
3.
X=
1
| n N
n

igual a
0;
um corpo arquimediano.
Demonstrao.
a
n para todo n N. Como, por conveno,
b
a
b > 0, temos que

, a, b N . Dessa forma, b 1 e, assim, a
.
b
a
a
Se a >
, como a N , encontramos uma contradio com o fato de que
um limitante
b
b
superior de N em Q.
a
a
Se a =
, ento a + 1 > a =
e, como a N a + 1 N, encontramos uma
b
b
a
contradio com o fato de que
um limitante superior de N em Q. Logo, N no
b
limitado superiormente em Q;
a
Q
b
a, b Z+ , isto
1. Suponhamos que exista
2. Claramente,
inferior de
X.
tal que
uma cota inferior de

Dado
c > 0,
X.
existe, pelo item 1, um nmero natural
como queramos;
3. Dados
a, b Q,
usamos 1 para obter
c > 0 cota
1
1
< c,
n > , da,
c
n
Basta ento provar que nenhum
nN
tal que
n>
b
.
a
Ento,
n a > b.
As trs propriedade acima so equivalentes. Vale ressaltar que estas propriedades so vlidas
desta mesma forma, no s para
Q,
mas tambm para todo corpo ordenado.
63
Captulo 5
Nmeros Reais
Os nmeros reais foram construdos de duas formas diferentes, a partir dos racionais. Uma
delas foi por Classes de Equivalncia de Sequncia de Cauchy e foi dada por Cantor. A outra
foi atravs dos Cortes de Dedekind. Faremos aqui, esta ltima, que foi apresentada por Julius
Wilhelm Richard Dedekind, inspirado na Teoria das Propores de Eudoxo.
Quando se fala deste conjunto no contexto escolar, diz-se que nem todos os pontos da reta
correspodem a nmeros racionais, sendo que a esses pontos correspondem a nmeros chamados
irracionais. Geralmente isto introduzido exemplicando a diagonal do quadrado de lado
1.
Neste mesmo contexto, admite-se que a representao decimal dos nmeros racionais
sempre peridica e toda representao decimal peridica representa um nmero racional. Sendo
assim, deni-se nmero irracional como sendo aqueles que possuem representao decimal no
peridica. Dessa forma, chama-se conjunto dos nmeros reais aquele constitudo pelos racionais
e irracionais.
Estas so formas nas quais os nmeros reais so abordados na matemtica escolar, entretanto, faremos aqui uma construo rigorosa deste conjunto a partir dos nmeros racionais com
suas propriedades, assim como foi feito nos conjuntos anteriores.
Vamos, inicialmente, denir a noo de corte de Dedekind, considerar o conjunto de todos os
cortes, denir a adio e multiplicao nele e, em seguida, mostrar que ele possui as propriedades
aritmticas de
e mais uma propriedade que
no possui.
cortes de conjunto dos nmeros reais, que ser denotador por
5.1
Chamaremos este conjunto de
R.
Cortes de Dedekind
Denio 5.1.1. Um conjunto de nmeros racionais diz-se um corte se satiszer as seguintes

condies:
1.
6=
2. Se
6= Q;
3. Em
s < r (s
s ;
no existe elemento mximo.
Exemplo 5.1.2.
1.
racional) ento
A 6= ,
pois

O conjunto
0A
A=
A 6= Q,
3
xQ|x<
5
pois
1Q

um corte:
1
/ A;
64
2. Seja
rA
s < r,
s<r<
assim,
3
,
5
3. Suponhamos que exista uma mximo em
r A.
3
m< ,
5
Sabemos que
B 6= ,
2. Seja
Logo,
1B
pois
rB
O conjunto
digamos
m.
s A;
m.
Logo,
r m para todo
3 1 3
m+
2 < ,o
5
5
Sendo assim,

m<
no possui mximo.
B 6= Q,
s < r.
B=
3
xQ|x>
5
pois
Tomemos
0Q
r=1

no um corte:
0
/ B;
s = 0,
assim,
s < r,
entretanto,
C 6= ,
2. Seja
O conjunto
0C
pois,
rC
3. Temos que
s < r,
3
5

3
C= xQ|x
5
C 6= Q
assim,
pois
1Q
s<r
para todo
3
,
5
x C.
no um corte:
1
/ C;
logo
s<
3
,
5
isto ,
s C;
Sendo assim, podemos ver que
m=
deste conjunto, por denio de mximo.

Portanto,
D 6= ,
2. Seja
Logo,
3
,
5
o mximo
no um corte.
Exemplo 5.1.5.
1.
s
/ B.
no um corte.
Exemplo 5.1.4.
1.
isto ,
um corte.
Exemplo 5.1.3.
1.
A,
3
,
5
portanto, pela Proposio 4.3.15,
que contradiz a maximalidade de

Portanto,
s<
logo
O conjunto
pois,
0D
3 < r <
8
5

8
D = x Q | 3 < x <
5
D 6= Q
s < r.
pois
2Q
Tomemos
no um corte:
2
/ D;
s = 4
r = 0.
Assim,
s < r,
entretanto,
no um corte.
Exemplo 5.1.6. E = Q \ {0} no um corte.

1.
E 6= ,
2. Seja
pois,
rE
Sendo assim,
1E
s < r.
F 6= ,
2. Seja
Portanto,
pois,
rF
F
E 6= Q
pois
Tomemos
0Q
s=0
0
/ E;
r = 1.
Assim,
s < r,
entretanto,
s
/ E.
s < r,
entretanto,
s
/ F.
no um corte.
Exemplo 5.1.7. F =
1.
3
1, 4,
5
1F
s < r.
F 6= Q
pois
Tomemos
0Q
s=0
0
/ F;
r = 1.
no um corte.
65
Assim,
s
/ D.
Proposio 5.1.8.
Sejam
um corte e
r Q.
Ento,
cota superior de
se, e somente
r Q \ .
se,
Demonstrao.
()
Se
uma cota superior de
pelo item 3 da denio de corte,
r Q \ .
() Seja r Q \
ento
x r,
x , entretanto,
portanto r no est em ,
para todo
no possui elemento mximo,
isto ,
s .
r ,
.
item 2 da denio de corte,

,
r s,
Temos que, ou
ou
r < s.
Se o segundo caso ocorre, pelo
o que uma contradio com a hiptese, logo,
r s,
isto
Proposio 5.1.9.
rQ
Se
= {x Q | x < r}
ento
um corte e
a menor cota
superior de
Demonstrao.
1.
6= ,
2. Sejam
x=r1
pois
t < s.
Assim,
6= Q
t < s < r,
logo
r
/ ;
t < r,
ou seja,
t ;
x s para todo x . Como s , ento s < r,

da, s < (s + r)2
< r. Como (s + r)21 Q e (s + r)21 < r, ento (s + r)21 ,
o que contradiz a maximalidade de s, portanto, no possui um elemento mximo.
3. Suponhamos que exista
rQ
pois
tal que
s < r, o que implica que s , assim s

um elemento mximo de , contradizendo o fato de ser corte. Logo, r s para toda cota
superior s de , ou seja, r a menor cota superior de .

Seja
sQ
Suponhamos que
Denio 5.1.10.
Os cortes do tipo da proposio anterior so chamados cortes racionais e
se representam por
r .
Proposio 5.1.11.
Todo corte que possui cota superior mnima racional.
r, isto , x r para todo x .

Temos que r
/ pois, caso contrrio, r seria mximo de , o que no pode acontecer, por
denio de corte, sendo assim x < r para todo x . Como r a mnima das cotas superiores
de , temos que, qualquer s Q, tal que s < r , no cota superior de , isto , pertence a .
Logo, se r Q cota superior mnima de , ento = {x Q | x < r} , ou seja, racional.

Demonstrao. Seja
um corte com cota superior mnima
Faremos a seguir um exemplo importante para concluir a prxima demonstrao.
Exemplo 5.1.12.
que o nmero
A equao
x2 = 2
no tem soluo em
b Z
De fato, s precisamos mostrar
o qual soluo desta equao no um nmero racional. Suponhamos por
absurdo que seja.

Se tal
Q.
racional ento ele tem forma
a
b
com
a Z, b Z
ao quadrado ambos os membros da equao
66
obtemos
isto ,
x=
a
, a Z,
b
m.d.c : (a, b) = 1. Elevando

a2
2 = 2 , ou seja, a2 = 2b2 . Isto
b
e ainda podemos admitir, sem perda de generalidade, que
a
x= ,
b
b 6= 0,
implica que
a2
par, da, podemos armar que
tambm par (quadrado de um nmero par
um nmero par e o quadrado de um numero mpar um nmero mpar). Vamos indicar a
a = 2m.
2
2
2
2
2
2
2
Agora, a = 2b (2m) = 2b 2m = b . Isto signca que b par, novamente,
podemos armar que b tambm par. Conclumos que a par e b par, logo, o m.d.c(a, b) = 2,
o que uma contradio, uma vez que o m.d.c(a, b) = 1. Portanto, x
/ Q.
por
Teorema 5.1.13.
= {x Q | x 0} {x Q | x2 < 2}.
Seja
Ento
um corte que no
racional.
Demonstrao.
1.
6=
2. Sejam
pois
6= Q
pois
2Q
2
/ .
s Q, s < r.
Se
s0
ento
Se
s>0
s ;
s < r,
ento
s2 < r2 < 2,
isto ,
s ;
r possvel encontrar um racional s tal que r < s.

r , logo r2 < 2.
3. Para cada
que
Se
r 0,
Se
r > 0 e r2 < 2, tomemos h Q, 0 < h < 1 e h <
pois
ento
s=1
r < s;
arquimediano). Seja
De fato, suponhamos
s = r + h,
logo
2 r2
(existe h nessas condies,
2r + 1
s Q, s > r .
s2 = r2 + h2 + 2rh = r2 + (h + 2r)h. Como 0 < h < 1 , s2 < r2 + (1 + 2r)h,

2 r2 2
2
2
como h <
, s < r + (2 r ) = 2. Portanto, s e r < s.
2r + 1
Temos
da,
Sendo assim,
Disto temos que
no possui um elemento mximo.
um corte.
no possui cota superior mnima. Os racionais que no pertencem

a so os positivos que tm quadrado maior ou igual a 2, e sabemos que no existe racional
cujo quadrado igual a 2, pelo Exemplo 5.1.12. Sendo assim, q uma cota superior de se
q > 0 e q Q tal que q 2 > 2. Mostraremos que, para cada cota superior p, encontraremos
2
outra cota superior q tal que q < p. De fato, seja p uma cota superior, isto p Q e p > 2.
2
p 2
. Dessa forma, 0 < q 2,
p2 2
2p

+
p2 2
2p
2

=2+
p2 2
2p
2
> 2.
como queramos.
Teorema 5.1.14.
Seja
um corte. Se
67
q
/ ,
ento
p < q.
Demonstrao. Uma vez que
so nmeros racionais e a relao de ordem usual em
uma ordem total podemos armar que

Se
p = q,
ou
p<q
p > q.
Se p
ou
q , o que contradiz a hiptese.

corte que q , mas isto contradiz, novamente,
ento
da denio de
resta que
p=q
q p.
Desta forma, os elementos de um corte

riores de
de
sero, daqui por diante, chamados nmeros infe-
enquanto que os racionais que no esto em
sero chamados nmeros superiores
.
Denotaremos, a partir daqui, por
5.2
Relao de ordem em
Inicialmente, deniremos em
Denio 5.2.1.
quando
\ 6= .
Sejam
o conjunto de todos os cortes.
uma relao de ordem.
, C .
Dizemos que
Em outras palavras,
<
menor do que
se existe um racional

,
5
2.
1 > 0
3.
(1) < 0 ,
4. Se
pois
pois

4
1 5 \
;
5
1
1 \ 0 ;
2
1
pois 0 \ (1) ;
2
= {x Q+ | x2 < 2} Q ,
Denio 5.2.3.
corte negativo. Se
ento
< 2 ,
pois
18
2 \ .
10
C e > 0 , chama-se corte positivo. Se < 0 , chamado

0 , no negativo e se 0 , ele chama-se corte no positivo.
Se
Proposio 5.2.4.
Para
1.
<
2.
, C ,
de
valem as equivalncias:
6= ;
Demonstrao.
1.
() < existe p tal que p

/ . Claramente 6= . Suponhamos que
* , isto , existe p tal que p
/ , o que uma contradio, pois por denio, se
isto ocorre, ento < . Logo .
() Se e 6= , ento existe p em tal que p no est em , ou seja, < ;
2.
() < ou = . Se < , pelo item anterior .

obviamente .
() implica, pelo item anterior, que < , ou seja, .
68
Se
= ,
Teorema 5.2.5
(Tricotomia)
, C ,
Sejam
ento uma e somente uma das possibilidades
a seguir ocorre:
=
Demonstrao. Se
= ,
<
ou
< .
ou
temos por denio de igualdade de conjuntos que,
da pelo
. Se < , obteramos uma contradio, pois, pelo item 1

desta mesma proposio teramos, 6= . Portanto, a igualdade = , exclui as outras duas
possibilidades. Temos ainda que, < ou < excluem = , pelo item 1 da Proposio
5.2.4. Veriquemos agora que as posibilidades < e < se excluem mutuamente. Para
isto, suponhamos que < e < ocorrem ao mesmo tempo.
(
< e 6= ,
< e 6= .
item 2 da Proposio 5.2.4,
Dessa forma temos
6= ,
o que um absurdo, por denio de igualdade de
conjunto.
Devemos mostrar ainda que uma das trs deve ocorrer. Temos que
no h o que provar. Se
e, no segundo caso,
< ,
6= ,
ento
\ 6=
\ 6= .
ou
ou
No primeiro
6= . Se
caso, <
por denio.
Teorema 5.2.6.
A relao
uma relao de ordem em
C.
Demonstrao.
1. Reexiva: Seja
C.
2. Antissimtrica: Sejam
Obviamente
= ,
, C ,
, , C ,
(
portanto,
Pela tricotomia,
,
.
Temos que a incluso de conjuntos transitiva, portanto,
da
= ;
implicam que
.
5.3
Operaes em
Iniciaremos esta seo enunciando um teorema fundamental para a denio da operao

de soma nos cortes.
Teorema 5.3.1.
Sejam
, C .
Se
Demonstrao. Devemos mostrar que
= {r + s | r
s },
ento
C.
C , isto , provar que satisfaz as trs considies para
ser um corte:
69
6= e 6= , claramente 6= . Sejam t Q \ e u Q \ . Sendo assim, t > r

para todo r e u > s para todo s , da, t + u > r + s, para todo r e para todo
s . Sendo assim, t + u
/ , logo 6= Q.
1. Como
r e s Q com s < r. Como r , temos que r = p + q com p e q , da,

s < p + q . Sendo assim, podemos tomar q 0 < q (como corte, q 0 ) tal que s = p + q 0 ,
portanto, s .
2. Sejam
3. Devemos mostrar que
r < s. De fato, temos que r = p + q com p

p < p0 , o racional s = p0 + q e maior do que r.
tal que
que
r , existe s
q . Como existe p0 tal
no possui elemento mximo, isto , para todo

e
Denio 5.3.2.
Denotamos por
e chamamos soma de
o corte
do teorema
anterior, isto ,
+ = {r + s | r
Teorema 5.3.3.
A adio em
s }.
comutativa, associativa e tem
como elemento neutro.
Demonstrao.
, C . Devemos mostrar que + = + . De fato, tomemos

r + s + tal que r e s . J vimos que a comutativa vlida em Q, portanto,
r+s = s+r. Sabemos que s+r + com s e r , sendo assim, r+s +. Da,
+ + . Da mesma forma podemos concluir que + + , logo, + = + .
1. Comutativa: sejam
, , C . Devemos mostrar que + ( + ) = ( + ) + . De fato,

tomemos r + (s + t) + ( + ) tal que r , s e t . J vimos que a associativa
vlida em Q, portanto, r + (s + t) = (r + s) + t. Sabemos que (r + s) + t ( + ) + com
r , s e t , sendo assim, r+(s+t) (+)+ . Da, +( +) (+)+ . Da
mesma forma, podemos concluir que, (+)+ +(+), logo, +(+) = (+)+ .
2. Associativa: sejam
+ 0 = . Seja r = p + q + 0
com p e q 0 , isto , q < 0. Assim, r < p, portanto, r . Logo, + 0 .

Tomemos agora r e s , tal que r < s. Podemos expressar r como r = s + (r s),
onde r s < 0 e, portanto, (r s) 0 . Logo, r + 0 e assim, + 0 , de onde
segue que, = + 0 .
3. Elemento Neutro da Adio: devemos mostrar que
Lema 5.3.4.
q
/ , q
Sejam
r Q+ .
Ento existem nmeros racionais
no cota superior mnima de
A N,
A 6= ,
Seja
s arbitrrio em e consideremos
A = {n N | sn }. Temos que:
por denio de
pois
tais que
p ,
q p = r.
Demonstrao. Tomemos
n = 0, 1, 2, . . ..
A;
0 A;
70
a sequncia
sn = s + nr
para
nito, por consequncia das condies 2 e 3 para
Portanto podemos armar que o conjunto
ser corte.
assume um mximo
m.
Isto acarreta que
sm
sm+1
/ .
Se s + (m + 1)r no for cota superior mnima de , devemos tomar p = s + mr
s + (m + 1)r, da, q p = r. Se s + (m + 1)r for cota superior mnima de , devemos
r
r
p = s + mr + e q = s + (m + 1)r + , da, q p = r.
2
2
Teorema 5.3.5.
Dado
um corte, existe um nico corte
casos dos inteiros e racionais, tal
denota-se por
tal que
q =
tomar
Como nos
e se chama simtrico (ou oposto) de
Demonstrao. Provemos inicialmente a unicidade. Suponhamos que

0
+ = 0 .
+ = + = 0 :
= + 0 = + ( + ) = ( + ) + = 0 + = .
Provemos agora a existncia e um corte
tomar um
que satisfaa
+ = 0 .
O primeiro passo
e mostrar que corte. Seja
= {p Q | p
/
1.
(a) Para mostrar que
}.
consideremos dois casos:
no possui cota superior mnima:
Como
um corte, ento
basta tomar
6= ,
p = q Q
6= Q e potanto, existe q Q tal que q

/ .
p = q
/ . Logo p e portanto 6= .
possui cota superior mnima
Assim,
m:
m cota superior mnima de , m

/ (se m , m seria mximo de , o
que contradiz a denio de corte) e com isso, m + 1
/ . Seja p = m 1 Q
e p = m + 1
/ e, alm disso, p = m + 1 6= m. Portanto p e 6= .
Como
(b) Para mostrar que
6= Q,
consideremos novamente dois casos:
corte, ento 6= e portanto existe r (da r Q). Tomemos

p = r Q e, portanto, p = r . Logo p
/ e p Q, isto , 6= Q.
Como
Como
m:
cota superior mnima de
seria uma cota superior de
m). Seja p = m + 1 Q
6= Q.
ento
m1
(caso contraio,
m, contradizendo a minimalidade de
p = m 1 . Portanto, p
/ e p Q, isto ,
menor do que
p e q Q tal que q < p. Queremos mostrar que q . Como p ,

p
/ e p no cota superior mnima de . Como q < p, ento
2. seja
temos que
p < q
da,
q
/
(visto que
p
/ ).
Temos tambm que
(pois caso contrrio, sabendo que
m1
p
/ ,
71
(5.1)
ou seja, uma cota superior de
teramos
q p, contradizendo (5.1)).
de , conclumos que q .
3. Seja
p ,
queremos mostrar que existe
tal que
p < q.
no cota superior mnima
Dividiremos em dois casos.
Como
q Q, q
/
Como
de
p
/
(isto ,
no possui cota superior mnima, ento existe uma cota superior

q
/ ), tal que q < p. Assim, q e p < q , logo no possui
mximo.
m:
m + p
Seja r =
Q. Como p , temos que p
/ , ou seja, uma cota superior
2
de , mas no cota superior mnima de , portanto, m < p, da, p < m. Sendo
assim,
r=
m + p
m p
p p
=
+ > + = p.
2
2
2
2 2
Por outro lado,
mp
m p
m m
=
>
+
= m,
2
2
2
2
2
portanto, r 6= m. Como r > m, ento r
/ . Finalmente, como r Q, r
/
e r no cota superior mnima de , temos que r e p < r , logo, no possui
r =
mximo.
Para nalizar, basta mostra que
+ = 0 .
Para isso, mostremos que
+ 0
0 + .
q + r + com q e r (r Q, r
/ e r no cota superior
). Como q e r
/ , ento, q < r, da, q + r < 0, isto , q + r 0 .
Seja
de
mnima
p 0 p Q e p < 0 (p > 0). Sejam r e r0

/ (r0 no sendo cota superior
0
0
mnima de ), tais que r r = p (Lema 5.3.4). Segue que p = r + (r ), com r e
r0 , ou seja, p + .
Portanto,
+ = 0 ,
como queramos.
Denio 5.3.6.
Denimos a subtrao em
Proposio 5.3.7.
Se
C,
ento
por
= + (),
para todo
, C .
= ().
Demonstrao. J vimos que oposto de
portanto,
+ () = = + = 0 .
Por outro lado, sabemos que o oposto de
()
(),
logo
() + (()) = + (()) = 0 .
Sabemos tambm que o oposto de um corte nico, sendo assim,
= ().
72
Teorema 5.3.8
que
(Compatibilidade da relao de ordem com a adio)
Sejam
, , C
tais
+ + .
Ento
. Seja t + , isto , t = r + s com r e s . Como

r , e t = r + s + , ou seja, + + . Portanto, + + .
Demonstrao.
ento
Teorema 5.3.9.
Q | q = rs,
e cortes tais que 0 , 0 . Seja = {p Q | p < 0} {q

r , s , r 0, s 0}. Ento um corte.
Sejam
onde
Demonstrao.
1.
p = 1 ,
portanto
=
6 . Temos ainda que,
(
6= Q p0 Q tal que p0
/ ,
6= Q q0 Q tal que q0
/ .
p0 q0 Q. Mostremos que p0 q0
/ . Suponhamos que p0 q0 , isto , existem
p , q , p 0 e q 0 tal que p0 q0 = pq . No podemos ter p0 p (pois teramos
p0 ), nem q0 q (pois teramos q0 ). Assim, p < p0 e q < q0 , da, pq < p0 q0 , o que
uma contradio com p0 q0 = pq . Portanto, p0 q0
/ e, assim, 6= Q.
Logo,
2. Sejam
s 0 e,
e q 0.
s < r. Devemos mostrar que s . De fato, se s < 0, s . Suponhamos

portanto r > 0. Como r , existem p e q , tais que r = pq , com p 0
e
s
(s 0, p > 0 t 0). Se q t,
p
teramos pq pt, isto , r s, o que um absurdo, pois, s < r . Logo, devemos ter t < q
e, como q , ento t . Assim, como s = pt, p , t , p > 0 e t 0, ento s .
Como
r > 0,
segue que
p>0
q > 0.
Seja
t=
r e mostremos que existe s tal que r < s. De fato, se r < 0, basta tomar
r
s = < 0, da s > r. Suponhamos r 0. Neste caso, r signica que r = pq , com
2
p , q , p 0 e q 0. Existem t e u tais que p < t e q 0 e u > 0) e s > r . Portanto, no tem mximo.
3. Seja
Denio 5.3.10.
Denotamos por
e chamamos produto de
o corte
do teorema
anterior, isto ,
= {p Q | p < 0} {q Q | q = rs,
onde
r , s , r 0, s 0}.
Para denir produto de cortes que contm fatores negativos, comeamos com noo de valor
absoluto de um corte.
Denio 5.3.11.
,
A cada corte
associamos um corte
||
denido por
(
|| =
se
se
73
0 ,
< 0 .
que chamamos valor absoluto de
Proposio 5.3.12.
Se
< 0 ,
ento
< 0
> 0 .
q 0
q
/ , e podemos
admitir, sem perda de generalidade que q no cota superior mnima de . Como q 0 , ento
q < 0. Tomemos r = q , que nos fornece r > 0. Nesta condies, vemos que r (por
denio de corte oposto, pois r = q , q
/ e q no cota superior mnima de ) e r > 0,
isto , r
/ 0 , o que nos garante que > 0 .

Demonstrao. Sabemos que
Proposio 5.3.13.
Para qualquer
1.
|| 0 ;
2.
|| = 0 = 0 .
se, e somente se, existe
C,
tal que
tem-se:
Demonstrao.
1. Se
0 ,
ento
|| = 0 ,
Se
< 0 ,
ento
|| =
2.
()
Seja
da,
|| 0 .
e ainda,
> 0
(pela Proposio 5.3.12), assim,
|| > 0 .
|| = 0 .
Se
> 0
Se
< 0 ,
ento
|| = > 0 ,
contradio, pois, por hiptese,
pela Proposio 5.3.12,
> 0
e, por denio,
|| = 0 .
|| = > 0 ,
novamente
contradio.
Logo, pela tricotomia,
()
Seja
= 0 .
= 0 .
= 0 || = = 0 .

Podemos agora completar a denio de multiplicao.
Denio 5.3.14.
Teorema 5.3.15.
, cortes. Denimos:
(||||) se < 0
=
(||||) se 0
|||| se < 0
Sejam
Sejam
, , C .
1. Comutativa:
= ;
2. Associativa:
() = ();
3. Elemento Neutro
Valem:
1 : 1 = .
, , 0 .
74
e
e
e
0 ,
< 0 ,
< 0 .
r . Se r < 0, ento r , por denio de produto. Suponhamos r 0.

Ento r = pq , p , q , p 0 e q 0. Portanto r = pq = qp, q , p , q 0 e
p 0, isto , r . Logo . Desse modo, analogamente r r , isto
, , o que nos garante que = .
1. Seja
2. Esta propriedade tem demonstrao anloga a anterior, se dando imediatamente pela

associativa dos racionais, isto ,
() = {p Q | p < 0} {q Q | q = (rs)t, r , s , t , r 0, s 0, t 0} =
{p Q | p < 0} {q Q | q = r(st), r , s , t , r 0, s 0, t 0} = ()
3. Seja
r 1
temos que
r < 0. Se = 0 , r < 0, ento r 0 = , portanto r . Se > 0 ,

existe p tal que p
/ 0 , da p 0. Dessa forma, r < 0 p, logo r .
e
r 0 e r 1 , assim, r = pq com p , q 1 , p 0 e q 0.
Como q 1 , temos que, q < 1, da pq < p 1, isto , r = pq < p. Como p , r = pq < p
e corte, ento r , logo, 1 .

Suponhamos agora
r . Se r < 0 ento r , por denio de produto. Suponhamos

r
r 0. Tomemos p tal que 0 r p (pois no tem mximo). Se q = ento
p
0 q < 1 e portanto q 1 . Conclumos que, como r = pq , p , q 1 , p > 0, q 0,
ento r 1 . Portanto 1 . Logo = 1

Por outro lado, seja
< 0 , < 0 e < 0 ) so consequncias da
parte j demonstrada, por exemplo, a comutativa, quando < 0 e 0 : = (||||) =

(||||) = , por denio de mdulo, pelo que foi demonstrado anteriormente (|| 0 e
|| 0) e por denio de produto.

Os outros casos (
Teorema 5.3.16.
e existe
q
/
< 0
Seja
tal
0 , 0
C com > 0 . O
1
que q 0 (este p existe pois, como > 0 existe
q Q, q e q
/ 0 , isto , q 0. Devemos provar agora que p1
/ . De fato, se
1
1 1
p , ento teramos que (p ) = p
/ , isto , p
/ , o que contradio, pois
1
p . Logo, p
/ , ou seja, 6= Q;
2. Seja
q Q com q < p. Devemos mostrar que q . Se q 0, ento q , pela
denio de . Suponhamos ento q > 0. Assim, temos 0 < q < p. Da, como p, q Q+
1
e q < p, pelas propriedades dos racionais, p
< q 1 . Como p1
/ , segue que q 1
/ .
1
1
1
1
1
Assim, p
/ , q
/ , p < q , o que signica que q no cota superior mnima
de , logo q .
3. Seja
p .
Mostraremos que existe
tal que
p < q.
p > 0. Como p e p > 0, ento p1

/ e
r + p1
1
. Assim temos r < s p > 0, portanto, q > 0. De fato, q 1 = s

/
r
/ ), q 1 = s > r e r
/ , logo q , isto , no possui mximo.
(pois
s>r
Denio 5.3.17.
Seja
anterior denotado por

de
como
1 = ||1 .
Teorema 5.3.18.
de
um corte tal que 6= 0 . Se > 0 , ento o corte do teorema

1 e chamado de inverso de . Se < 0 , ento denimos o inverso
Seja
um corte tal que
6= 0 .
Ento
1 = 1 .
Alm disso, o inverso
nico.
Demonstrao. Consideremos dois casos,
> 0
< 0 .
> 0 :
r 1 . Se r 0, ento r 1 . Suponhamos r > 0. Como r 1 existem
s , p 1 tal que r = sp, s 0, p 0. Como r > 0, devemos ter s > 0 e p > 0.
1
Como p
e p > 0, existe q
/ tal que q < p1 . Como s e q
/ , ento s < q .
1
1
1
1
De q < p , temos p < q
, da, sp < sq
. Portanto, como s < q , temos que sq
< 1, e
1
assim, r = sp < sq
< 1, da r 1 .
Seja
r 1 , isto , r < 1. Se r < 0, ento r 1 , por denio de

1
1
produto. Se r = 0, temos r = p 0, ponde p , 0
e p > 0, logo r .
Suponhamos agora, 0 < r < 1. Seja s com s > 0. Seja n o maior natural que
n
1 n
satisfaz s (r )
/ (este n existe, pois, r1 > 1 e se s (r1 ) para todo n N,
1 n1
teramos = Q, o que uma contradio, pois corte). Tomemos p1 = s (r )
1 n
e t = s (r )
/ . Seja p tal que p1 < p ( no possui mximo). Tomemos

q = t1 p1 p1 , isto , q 1 = tpp1
1 . Assim, podemos ter
Reciprocamente, seja
1
1
1
1
p1 < p p1 p1
1 < pp1 1 < pp1 t < tpp1 t < q .
t
/ , q 1
/
Assim, como
q 1
no a menor cota superior de
Temos ainda,
q = t1 p1 p1 pq = pt1 p1 p1 pq = t1 p1
n 1
n1
pq = s r1
s r1
pq = s1 rn srn+1 pq = r.
p
r 1 .
Desta forma,
Portanto
e, como
Assim, conclumos que, se
q 1
/
> 0 ,
e existe
ento
t
/
tal que
t < q 1 ,
ento,
q 1 .
1 = 1 .
< 0 :
1 = ||1 . Sabemos que ||1 > 0 (pelo item 1 da
1
Proposio 5.3.13), e disso, ||
< 0 (pela Proposio 5.3.12), isto , 1 < 0 . Da,
1
por denio de produto,
= |||1 | = ||| ||1 | = | = ||||1 = 1 .
Se
< 0 ,
por denio,
76
Provemos agora a unicidade de

e
21 = 1 .
1 .
Suponhamos que existam
11
21 ,
tais que
11 = 1
Assim,

11 = 11 1 = 11 21 = 11 21 = 1 21 = 21 .
Teorema 5.3.19
(Distributividade)
Se
, , C ,
ento
Demonstrao. Demonstraremos apenas o caso em que

Mostremos inicialmente que
( + ) + .
( + ) = {q Q | q < 0} {p Q | p = rs
( + ) = + .
> 0 , > 0
> 0 .
De fato,
onde
r , s ( + ), r 0, s 0} .
x ( + ), ento, ou x 0 ou x = rs com r , s ( + ), r 0 e s 0.
x
x x
Se x 0 , ento
0 e + = x, que signica que x + .
2
2 2
Se x = rs com r , s ( + ), r 0 e s 0, ento s = q + p onde q , p , q 0
e p 0. Portanto, x = rs = r(q + p) = rq + rp, logo x + . Assim, conclumos que
( + ) + .
Mostremos agora que + ( + ). Com efeito,
Dessa forma, se
+ = {t Q | t = ps + pq
Seja
u + ,
isto ,
u = ps + pq ,
com
onde
ps , pq } .
ps , pq .
ps ps < 0
ou
com
p0
s 0;
pq pq < 0
ou
com
p0
q 0.
Desta forma, temos quatro casos:

1. Suponhamos
ps < 0
pq < 0.
Claramente,
u ( + )
pois
u = ps + pq < 0;
ps < 0 e p e q com p 0 e q 0. Como ps < 0 e p 0, ento

s < 0, da, se s > q , ento s + q < 0 e, portanto, u = ps + pq = p(s + q) < 0. Se s q ,
ento s + q 0 e, como p 0, temos u = p(s + q) ( + ), pois p e s + q +
com p 0 e s + q 0;
2. Suponhamos
p e s com p 0 e s 0 e pq < 0, podemos obter, analogamente ao caso

que u = ps + pq ( + );
3. Supondo
anterior
p , s e q , com p 0, s 0 e q 0. Dessa forma,

u = ps + pq = p(s + q), onde p e s + q + , com p 0 e s + q 0, logo
u ( + ).
4. Suponhamos que
Provamos, ento, que existe a dupla incluso entre
( + ),
( + ).
Teorema 5.3.20.
Para
, C ,
temos
() = () = ()
77
isto ,
+ =
()() = .
Demonstrao. De fato, temos,
() + = ( + ) = 0 = 0 .
Isso signica que
() = (),
(5.2)
pois, como j foi provado, o oposto de um corte nico.
Temos tambm,
() + = ( + ) = 0 = 0 .
Do mesmo modo,
(5.3)
() = ().
Temos ainda,
()() = (())
por
(5.2)
= (())
por
(5.3)
pela Proposio
5.3.7.
Teorema 5.3.21
, ento,
(Compatibilidade da relao de ordem com a multiplicao)
Se
0 = + () + (), portanto,
+ () 0 . Alm disso, como 0 , temos ( + ()) 0 , por denio de produdo
de cortes. Da, + () 0 e, novamente pelo Teorema 5.3.8, , isto , .

Demonstrao. Como
Proposio 5.3.22.
Seja
Demonstrao. Temos,
portanto,
0 = 0 ,
pelo Teorema 5.3.8,
um corte qualquer, ento
0 = 0 .
0 = (0 +0 ) = 0 +0 , da, 0 0 = 0 +0 0 ,
como queramos.
Proposio 5.3.23.
=0
Sejam
cortes. Nesta condio,
= 0
se e somente se
= 0
ou
= 0
= 0 .
Demonstrao. Se
Seja, agora,
ou
= 0 ,
temos que
Suponhamos
6= 0
= 0 ,
pelo resultado anterior.
, isto , existe
C,
tal que
= 1 .
Dessa
forma,
= 1 = () = () = 0 = 0 .
Reciprocamente, se supormos que
6= 0 ,
concluiremos que
= 0 .
Temos, ento,
munido de duas operaes e uma relao de ordem, de forma que
um corpo ordenado.
de frao
Em particular, dene-se tambm a diviso em
e em
Q.
78
e adota-se a notao
como nos racionais. Vejamos a seguir, uma aplicao injetora de
como foi feito em
em
C,
assim
Teorema 5.3.24.
A aplicao
j : Q C ,
dada por
j(r) = r
injetora e preserva adio,
multiplicao e ordem, isto , os seguintes itens so vlidos:
p + q = (p + q) ;
1.
j(p) + j(q) = j(p + q),
2.
j(p)j(q) = j(pq),
3.
j(p) < j(q)
se e somente se
p < q,
ou ainda,
4.
j(p) = j(q)
se e somente se
p = q,
ou seja,
ou seja,
isto ,
p q = (pq) ;
p < q
p = q
se, e somente se
se, e somente se,
p < q;
p = q.
Demonstrao.
t p + q , isto , t = r + s com r p e s q ,
forma, t = r + s < p + q , ou seja, t = r + s (p + q) .
1. Seja
ou ainda,
r<p
s < q.
Dessa
h
h
u (p + q) , isto , u 0
q > 0,
os outros casos podem ser provados de
forma anloga.
r p q , ento, ou r < 0 ou r = st,
ou r = st < pq e assim, r (pq) .
Se
com
p>s0
q > t 0,
de modo que, ou
r<0
r (pq) , ento podemos armar que ou r < 0 ou 0 r < pq . Se r < 0, claramente

r p q , pela denio de corte positivos. Se 0 r < pq ento existem p1 Q e q1 Q
tais que 0 < p1 < p, 0 < q1 < q e, ainda, r < p1 q1 < pq . evidente que p1 p , q1 q ,
p1 q1 p q e assim, r p q .
Seja
3. Se
p < q,
ento
p q.
Como
p
/ p ,
conclumos que
p < q , existe um racional r

p r < q , ou seja, p < q .
Analogamente, se
r p.
4. Se
Logo
p = q,
obviamente
Suponhamos
q
/ q,
segue
p < q .
tal que
r q
r
/ p ,
isto ,
r<q
p = q .
p = q . Como p
/ p , segue que p
/ q , logo p q . Por outro
que q
/ p , ento p q . Com isso, pela tricotomia, p = q .
lado, como

Mais uma vez obtivemos uma cpia algbrica de um conjunto em outro, isto , um homo-
j(Q) uma cpia de Q em C , sendo j(Q) precisamente o conjunto

Teorema 5.1.13 mostra que existem cortes no racionais em C . Assim,
morsmo injetor. Desta vez,

dos cortes racionais. O
C \ j(Q) 6= .
Notemos ainda que o corpo ordenado dos nmeros racionais isomorfo (bijetor, preserva
a soma, o produto e a ordem) ao corpo ordenado de todos os cortes racionais (C ) o que nos
permite identicar o corte racional
como o nmero racional
r.
Naturalmente
no , de
modo algum, o mesmo nmero racional, mas as propriedades que interessam (aritmticas e
ordem) so as mesmas nos dois corpos ordenados.
Proposio 5.3.25.
Se
C,
temos que
r
79
se, e somente se,
r < .
r ,
Demonstrao. Se
tal que
s
/ r .
r
/ r , ento r < . Reciprocamente,
s r e s , logo, r .
como
Temos ento,
se
r < ,
existe
s ,
Teorema 5.3.26.
Se
, C
< ,
ento existe um corte racional
tal que
< r < .
< , podemos armar que existe um nmero racional s , tal

que s
/ . Uma vez que s , segue da defnio de corte que existe um racional r tal que
s < r e ainda r , o que implica r < , pelo resultado anterior.
Segue do item 3 do Teorema 5.3.24 que, s < r , portanto, s < r (como s

/ , pela
Proposio anterior, s ) e assim, chegamos a concluso que, < r < .

Demonstrao. Do fato que
Denio 5.3.27.
O conjunto
dos nmeros reais e denotado por
dos cortes ser, a partir de agora, denominado de conjunto
R.
Os cortes racionais sero identicados, via injeo
j,
com
os nmeros racionais. Todo corte que no for racional ser denominado nmero irracional.
j(Q)
A identicao
com
nos permite escrever
Q R.
O conjunto
R\Q
representa o
conjunto dos nmeros irracionais.

A seguir vamos enunciar e demonstrar a principal propriedade que difere o conjunto dos
nmeros racionais do conjunto dos nmeros reais. Essa propriedade conhecida como Teorema
de Dedekind.
Teorema 5.3.28
1.
R = A B;
2.
A B = ;
3.
A 6=
4. se
Sejam
ento
< .
(Dedekind)
subconjuntos de
tais que:
B 6= ;
B,
Nestas condies, existe um, e apenas um, nmero real

e para todo
tal que
para todo
B.
Demonstrao. Provemos inicialmente a unicidade:
1 < 2 (ou 2 < 1 , sem

perda de generalidade) nas condies do enunciado. Consideremos 3 tal que 1 < 3 < 2 ,
que existe, como foi provado no Teorema 5.3.26. Temos que 2 , para todo B , dessa
forma, se 3 B , teramos 2 3 , o que no pode acontecer, pois 1 < 3 < 2 , portanto,
como R = A B , temos que 3 A. Analogamente, de 1 < 3 , obtemos 3 B . Resulta
ento 3 A B , uma contradio. Portanto no podemos ter 1 e 2 distintos nas condies
Suponhamos que existam dois nmeros distintos
2 ,
com
do enunciado.
Provemos agora a existncia:
Seja
= {r Q | r ,
1. Como
A 6= ,
6= .
, para
obviamente
um racional. Como
resulta
para algum
A}.
Devemos mostrar que
um corte.
6= Q, tomemos B . Seja s
A, ento, s
/ , para todo A, de onde
Para mostra que

todo
s
/ ;
80
2. Seja
onde segue
3. Temos que
Dessa forma,
de
s < r. Temos
que s ;
sabemos que
que
para algum
para algum
e, como
um nmero real e temos que
para todo
e, como
um corte, existe
para todo
s < r,
s>r
A,
ento
em
s ,
de
s ;
logo
pois, pela denio
A.
B . Suponhamos que exista B com

< . Com isso, existe um racional r , tal que r
/ . Como r , ento r pertence a
algum A e, no sendo elemento de , obtemos < , contradizendo a ltima hiptese do
teorema. Logo, para todo B .

Falta mostrar apenas que
Exemplo 5.3.29.
para todo
Consideremos os seguintes subconjuntos de

A = x Q+ | x2 < 2 Q
Q:

B = x Q + | x2 > 2 .
A e B satisfazem as hipteses do teorema anterior, com Q em lugar de R,

mas que no existe r Q satisfazendo s r para todo s A e r t para todo t B . Notemos
que, este exemplo nos diz, informalmente, que em R no h lacunas, mas em Q, h. Por esta
razo, dizemos que R possui a propriedade da completude ou que R completo.
Podemos ver que
Corolrio 5.3.30.
em
B,
Nas condies do Teorema 5.3.28, ou existe em
um nmero mximo, ou,
um nmero mnimo.
Demonstrao. Seja
ou
est em
est em A
A, ento ele
como no teorema anterior. Ento, pela primeira hiptese,
e, em apenas um desses conjuntos, pela segunda hiptese. Se
A.
elemento mximo de
B,
Se
B.
ento, ele elemento mnimo de

Observemos que, se o conjunto
em
R,
do Teorema 5.3.28 no contiver
no sentido da denio de corte em
que em
ento ele um corte
apresentada. A diferena entre ambas a situaes
no se tem necessariamente, como no Teorema 5.3.28 para os nmeros reais, um
elemento como
ocorrem em
ento cortes em
R,
Essas lacunas que geram os cortes irracionais.
Como tais lacunas no
no geram elementos novos.
Antes de apresentar o prximo resultado, devemos retomar o conceito de supremo. As denies de supremo e nmo, dadas para o conjunto dos racionais, so equivalentes no conjunto
dos reais. Por exemplo, se

superior de
A,
digamos
s,
um subconjunto de
que seja mnima,
R, limitado superiormente, e existe um cota

ento, s diz-se supremo de A. O nmo dado
analogamente.
Teorema 5.3.31.
Se
XR
um conjunto no vazio e limitado superiormente, ento existe
sup X .
Demonstrao. Sejam
A = { R | < x,
para algum
x X}
B = R \ A,
conjunto constitudo precisamente pelos nmeros reais que no so cotas superiores de

o conjunto constitudo pelas cotas superiores de
Vamos vericar que
X.
satisfazem as condies do Teorema 5.3.28.
81
Ao
X eB
isto ,
As duas primerias condies so obviamente vlidas.
X 6= ,
x X , e assim, qualquer < x

pertence a A, ou seja, A 6= . Como X limitado superiormente, B 6= .
Para vericar a tima condio do teorema, sejam, A e B . Assim, existe x X tal
que < x. Como x , obtemos < .
Dessa forma, vericamos que A e B satisfazem as codies do Teorema 5.3.28, logo, pelo
Corolrio 5.3.30, ou A possui mximo, ou B possui mnimo. Devemos mostrar que A no possui
0
mximo. De fato, tomemos arbitrrio em A. Existe x X tal que < x. Consideremos
0
0
0
tal que < < x. Como < x, ento A e maior do que , ou seja, nenhum elemento
de A maior do que os demais, ou seja, A no possui mximo. Sendo assim, obrigatoriamente
B possui mnimo, isto , X possui supremo.

Veriquemos a terceira. Temos que, como
existe
Essa propriedade vlida para
R no se verica em Q, isto , no verdade que todo subconjunto de nmeros racionais no vazio e limitado superiormente em Q sempre admita supremo
2
em Q. Por exemplo, o conjunto A = {x Q+ | x < 2} no possui supremo racional, mas tem
supremo, se considerado como subconjunto de R.
O resultado seguinte mostra que R, assim como Q, um corpo arquimediano.
Teorema 5.3.32.
O conjunto
dos naturais ilimitado em
R.
N R fosse limitado superiormente, existiria = sup N, pelo Teorema

5.3.31. Dessa forma, n, para todo n N. Como n + 1 N, para todo n N, ento
n + 1 para todo n N, de onde obtemos n 1 para todo n N, da, conclumos que
1 uma cota superior para n N, o que uma contradio, pois 1 < e a cota
Demonstrao. Se
superior mnima.

Vamos, a seguir, denir potncia de base real e expoente inteiro.
Denio 5.3.33.
Seja
a R
n N
Denimos a potncia
an ,
recursivamente, como
sendo:
(
an =
Finalmente, se
a 6= 0,
1,
aa ,
n1
se
denimos:
an = a1
Proposio 5.3.34.
1.
(ab)n = an bn ;
2.
an am = an+m ;
3.
(an )m = amn .
n = 0,
n > 1.
se
Se
so reais e
n, m
n
inteiros positivos, ento so vlidos:
82
Demonstrao. Faremos a prova apenas do primeiro item, dado que as outras se do do mesmo
modo. Provemos por induo nita:
Se
n = 0,
por denio
(ab)0 = 1
a0 b0 = 1 1 = 1,
Suponhamos, agora, que a igualdade seja vlida para

para
(ab)0 = a0 b0 .
n = k e provemos
logo
que verdadeira
n = k + 1.
(ab)k = ak bk .
(ab)k+1 = (ab)(ab)k+11 = (ab)(ab)k ,
Hiptese de Induo:
Por denio,
da, por hiptese de induo,
(ab)k+1 = (ab)ak bk .
(5.4)
ak+1 bk+1 = aak+11 bbk+11 = aak bbk = (ab)ak bk .
(5.5)
Novamente por denio,
Assim, por (5.4) e (5.5), conclumos que
(ab)k+1 = ak+1 bk+1 .
Logo, por induo a igualdade
vlida.

m, n Z, e a prova simples, basta notarmos
n
n em N, da, am = an = (a1 ) e, assim, voltamos
Estas propriedades so vlidas, ainda, para

que, se
m < 0,
ento
m = n
para algum
aos itens do teorema anterior. Vale ressaltar que, para expontes negativos, a base deve ser no
nula.
Teorema 5.3.35. Seja a um real positivo e n > 0 natural.

que soluo da equao
Existe um nico nmero real positivo
x = a.
Demonstrao. A prova deste teorema depende fundamentalmente da completude de
R.
Ela
est feita com bastante rigor em [3] e no ser feita aqui.
Denio 5.3.36. Dado um nmero real positivo a, o nico nmero real positivo que soluo
xn = a, estabelecido pelo teorema anterior, chama-se raiz n-sima de a e denotado
1
ou por a n . A raiz n-sima de a permite
se dena expoente racional do seguinte
1 que
m
m
m
n
n
se m e n so inteiros positivos, a
= a
e, como para expoentes inteiros, a n =
da equao
por
n
a,
modo:
m
(a1 ) n .
Proposio 5.3.37.
Se
so reais positivos,
temos que:
1
1.
(ab) n = a n b n ;
2.
ar as = ar+s ;
3.
(ar )s = ars ;
4.
(ab)r = ar br .
83
inteiro positivo e
r, s
racionais positivos,
Demonstrao. Novamente provaremos o primeiro item, os seguintes decorrem do mesmo modo,

atravs de manipulaes algbricas com o uso das propriedades j demonstradas.
Sejam
n N .
1
reais: = a n
reais positivos e
existem as seguintes solues
Se temos
e
=b
1
n.
n = a
n = b,
ento, por denio,
Dessa forma,
ab = n n = ()n ,
assim, por denio,
= (ab) n ,
da,
a n b n = = (ab) n ,
como queramos.

Mostramos anteriormente que qualquer subconjunto de
limitado superiormente possui
supremo, o seguinte teorema mostra um resultado anlogo se tratando de nmo.
Teorema 5.3.38. Todo subconjunto no vazio de nmeros reais, limitado inferiormente, possui
nmo.
X R limitado inferiormente e consideremos o conjunto X = {x

R | x X}. Claramente X R. Como X limitado inferiormente, dizemos que existe M
tal que M x para todo x X . Disso temos que M x para todo x X , isto , X
limitado superiomente, logo, X possui supremo, digamos c = sup (X). Vamos mostrar
que c = inf X . De fato, c x para todo x X , ou ainda, c x para todo x X .
Dessa forma c uma cota inferior de X . Suponhamos que exista d tal que c < d x para
todo x X . De d x para todo x X , temos d x para todo x X , isto , d
cota superior de X , porm, temos que c < d c > d, o que uma contradio, pois
c supremo de X . Logo, c a maior das cotas inferiores de X , isto , c = inf X , como
Demonstrao. Seja
queramos.

5.4
Representao decimal dos nmeros reais
Sendo conhecida a representao dos inteiros na base dez, faremos o estudo da representao
decimal dos nmeros reais. Para isto, demonstraremos um resultado a respeito da representao
decimal dos nmeros reais no negativos menores do que
1,
a partir do qual a representao
decimal dos demais nmeros reais ser automtica, com auxlio de um resultado anterior.
Proposio 5.4.1.
Dado um nmero real no negativo
que menor ou igual a
Alm disso
existe um nmero natural mximo
0 n0 < 1.
A = {n N | n }. Devemos
mostrar que A possui um elemento mximo. De fato, seja B = {p N | p > }. Claramente
B N e, ainda, B 6= , pois, como vimos no Teorema 5.3.32, N ilimitado em R. Com isso,
pelo Princpio da Boa Ordem, B possui um elemento mnimo, digamos p0 . Dessa forma, p0 p
para todo p B . Sendo assim, < p0 p para todo p B . Desse modo, p0 1
/ B , isto ,
p0 1 , logo, p0 1 A.
Armamos que p0 1 o mximo de A, ou seja, p0 1 n para todo n A. Com efeito,
suponhamos p0 1 < n para algum n A, da, p0 1 < n , ou ainda, p0 n , o que
uma contradio, pois p0 > .
Demonstrao. Seja dado
R+ .
Consideremos o conjuntos
84
Tendo que
n0
A,
o mximo de
claramente
n0 < n0 + 1,
donde
0 n0 < 1.
Teorema 5.4.2
(Representao decimal dos nmeros reais)
1. A cada nmero real

de dgitos
(nk )kN ,
(a)
0 nk 9,
(b)
(nk )kN
no negativo e menor do que
para todo
k N ;
k N , Sk
como a soma
S = {Sk | k N }.
2. Reciprocamente, a cada sequncia de dgitos
1,
corresponde uma nica sequncia
9;
n1
n2
nk
+ 2 +... + k,
10 10
10
no possui innitos dgitos consecutivos iguais a
do conjunto
Sk
1,
satisfazendo :
(c) denindo, para cada
nindo
(nk )kN ,
ser supremo
satisfazendo 1a e 1b acima, e de-
, no negativo e menor
S = {Sk | k N }.
como em 1c, corresponde um nico nmero real
que o supremo do conjunto limitado superiormente
do que
Demonstrao. A demonstrao deste resultado um tanto trabalhosa, mas decorre de resultados j demonstrados aqui e est feita em [3].
Denio 5.4.3.
1. Dado um nmero real
pondentes a
com
0 < 1,
seja
(nk )kN
a sequncia de dgitos corres-
sem innitos noves consecutivos, construda na primeira parte do teorema
se
l > k,
acima. A representao decimal de
nk 6= 0 e nl = 0, para todo
convenciona-se representar
0, n1 n2 n3 n4 . . . nk , que ser dita representao decimal nita de .
Se
0, n1 n2 n3 n4 . . ..
0, n1 n2 n3 n4 . . . por
dene como sendo a expresso
1, seja n0 o maior natural que menor ou igual a , dado na Proposio 5.4.1.

Seja 0, n1 n2 n3 n4 . . . nk . . . a represento decimal de n0 denida em 1. Denimos a
representao decimal de como sendo a expresso n0 , n1 n2 n3 n4 . . . nk . . ..
2. Se
3. Se
< 0,
denimos sua representao decimal como sendo
decimal de
r,
onde
a representao
J sabemos que as representaes decimais no consideram, ento, expresses com innitos

noves consecutivos, entretanto, podemos atribuir a elas um signicado similar ao das expresses
0, 9999 . . .. Estendendo o que vimos

para representaes sem innitos noves sucessivos, o nmero real a ela associado deve ser o
9
9
9
supremo do conjunto S = {Sk | k N }, onde Sk =

+ 2 + . . . + k , . . ., que converge
10 10
10
para 1 (fato que est bem demonstrado em [4]).
Por outro lado, a representao decimal de 1 , pela denio acima, 1, 00000 . . ., que convencionamos representar pelo prprio 1. Dessa forma, considerando expresses com innitos
sem innitos noves consecutivos. Consideremos a expresso
noves consecutivos como representaes decimais, tem-se como resultado que elas representam
tambm nmeros reais com representao decimal nita e, reciprocamente, qualquer representao decimal nita, diferente do
0, tem uma representao decimal innita com innitos noves
consecutivos nos termos acima.
85
Exemplo 5.4.4.
2, 79999 . . . tambm representa o nmero 2, 8. De

fato, neste caso, n0 = 2 e o nmero real n0 deve ser o supremo do conjunto S = {Sk | k
7
9
9
9
9
N }, onde Sk = + 2 +. . .+ k , . . .. Analogamente ao que foi visto acima, 2 +. . .+ k , . . .
10 10
10
10
10
converge para 0, 1, da, Sk converge para 0, 8, ou seja, a representao deste , segundo a
denio anterior 2, 8. Do mesmo modo, a representao decimal com innitos noves de
0, 47 representada por 0, 469999 . . ..
A representao decimal
Deste modo, estamos apontando para o fato de que representaes decimais nitas ou peri-
= 0, a1 a2 . . . an
dicas correspondem a nmeros racionais. De fato, seja

representao decimal nita. Multiplicando por
10
em ambos os lados da igualdade obtemos,
10n = a1 a2 . . . an =
o que nos garante que
um nmero real com
a1 a2 . . . an
,
10n
um nmero racional.
= 0, a1 a2 . . . an a1 a2 . . . an . . . um nmero real com representao

n
decimal peridica (n 1). Multiplicando por 10 em ambos os lados desta igualdade obtemos
10n = a1 a2 . . . an , a1 a2 . . . an . . . a1 a2 . . . an . . .. Subtraindo os lados destas duas igualdades, na
Do mesmo modo, seja
ordem dada, obtemos
10n = a1 a2 . . . an (10n 1) = a1 a2 . . . an =
o que nos garante que
a1 a2 . . . an
,
10n 1
um racional.
Reciprocamete, pode-se provar que todo nmero racional possui representao decimal nita
ou peridica ([3] uma referncia para uma demonstrao rigorosa deste fato).
5.5
no enumervel
A representao decimal dos nmeros reais feita acima, permite que mostremos que
no
enumervel. Mas, antes disso, precisamos de dois resultados.
Proposio 5.5.1.
Todo subconjunto innito de um conjunto enumervel enumervel.
X um conjunto enumervel e Y um subconjunto innito de X . Como X

enumervel, existe f : X N bijetora. Dessa forma, tomemos f |Y : Y N, com isso,
f (Y ) N, da, pelo Lema 4.3.6, f (Y ) enumervel, isto , existe g : f (Y ) N bijetora.
Sabendo que g e f |Y so bijetoras, obtemos que g f |Y : Y N bijetora, portanto Y
Demonstrao. Seja
enumervel, como queramos.
Lema 5.5.2.
O intervalo
I = ]0, 1[
no enumervel.
Demonstrao. Devemos mostrar que, qualquer que seja a enumerao estabelecida para elementos de
I,
sempre existir um elemento de
qualquer subconjunto enumervel de
no considerado na dada enumerao, isto ,
diferente de
I,
de onde obteremos que
no pode ser
enumervel.
De fato, seja
I0
um conjunto enumervel constitudo de elementos de
ser escrito na forma
I = {x0 , x1 , x2 , . . .},
onde, para cada
86
n N, xn
que, portanto, pode
representa a imagem de
por um certa bijeo de
N em I 0 .
Vamos representar cada elemento de
I0
pela sua represento
decimal dada acima, sem innitos noves consecutivos:
x0 = 0, x00 x01 x02 . . .

x1 = 0, x10 x11 x12 . . .
x2 = 0, x20 x21 x22 . . .
.
.
.
xk = 0, xk0 xk1 xk2 . . .

.
.
.
x I , diferente de todos os elementos de I 0 atravs da

seguinte representao decimal: 0, a0 a1 a2 . . ., onde, para cada n N, o dgito decimal an dessa
representao diferente de 9, de 0 e do dgito decimal xnn da representao de xn . Pela bijeo
estabelecida acima, a representao decimal 0, a0 a1 a2 a3 . . . corresponde a um nico nmero real
0
de I que diferente de todos os elementos de I , como queramos. Este argumento se deve a
Vamos construir um nmero real
Cantor e se chama mtodo diagonal de Cantor, por conta da disposio de matriz innita em
que foram coloados os elementos de
I0
acima.
Teorema 5.5.3.
O conjunto dos nmeros reais no enumervel.
Demonstrao. Pelo Lema 5.5.2, o subconjunto

5.5.1,
de
R no enumervel, logo, pela Proposio
no pode ser numervel.

O importante Teorema de Schroder-Bernstein pode ser encontrado com mais detalhes em
[9] e diz que:
Teorema 5.5.4 (Schroder-Bernstein).

B
g : B A,
ento
AeB
Se
so conjuntos e existem sobrejees
so equipotentes, isto , existe uma bijeo entre esses conjuntos.
Pode-se obter a mesma concluso se considerarmos

brejetoras.
f : A
funes injetoras em vez de so-
Este resultado bastante importante e ser usado na prova da proposio que
segue.
Proposio 5.5.5.
Os conjuntos
P(N)
so equipotentes.
Demonstrao. Vamos mostrar que existem duas funes injetoras
P(N) R.
Como
enumervel, temos que existe uma bijeo
P(Q) e P(N) tambm

g = : R P(N)
: R P(Q) e f :
entre N e Q, isto , eles
so equipotentes e, assim, os conjuntos
so, isto , existe uma bijeo
: P(Q) P(N).
injetividades de f e g ,
ser, portanto, injetora.
A funo
conclumos, pelo Teorema de Schroder-Bernstein, que
P(N)
Das
so
e f e mostrar que so injetora.

Denimos : R P(Q) como segue: cada a R, (a) = {x Q | x < a}. Para mostrar
que injetora, sejam a e b reais distintos, digamos a < b, sem perda de generalidade. Pelo
5.3.26, existe a < r < b com r racional. Como r < b, ento r (b) e, ainda, como a < r ,
temos que r
/ (a), logo (a) 6= (b). Conclumos assim que injetora.
Para denirmos f : P(N) R, seja A P(N) e consideremos a funo XA : N {0, 1},
equipotentes. Precisamos, ento, apenas denir
dada por
87
(
XA (n) =
1,
0,
se
n A,
n N \ A.
se
f (A) como sendo o nmero real cuja representao

decimal ser 0, XA (0)XA (1)XA (2)XA (3) . . .. Para mostrar que f injetora, seja A 6= B , isto
, existe n0 A tal que n0
/ B (ou n0 B tal que n0
/ A). Dessa forma XA (n0 ) = 1 e
XB (n0 ) = 0, da, podemos ver que
Com o auxlio dessa funo, denimos
f (A) = 0, XA (0)XA (1) . . . XA (n0 ) . . . = 0, XA (0)XA (1) . . . 1 . . .

e
f (B) = 0, XB (0)XB (1) . . . XB (n0 ) . . . = 0, XB (0)XB (1) . . . 0 . . .

o que signica que
f (A) 6= f (B).
Logo,
injetora.
88
Captulo 6
Nmeros Complexos
Os nmeros complexos so ensinados no Ensino Mdio como expresses do tipo
a, b R
a unidade imaginria, com a propriedade de que
i = 1.
a + bi, onde
Dessa forma, pode-se
manipular tais expresses como expresses algbricas reais, sob a condio de que
i2 = 1.
que faremos agora justicar a origem desta unidade imaginria com rigor matemtico.
6.1
Construo dos complexos
Relembremos, por um momento, como lidvamos com nmeros complexos no ensino bsico:
Dois nmeros,
a + bi
c + di,
so iguais apenas quando
igualdade entre os pares coordenados
(a, b)
(c, d).
a=c
b = d,
o que nos lembra a
Temos tambm, que,
(a + bi) + (c + di) = (a + c) + (b + d)i

e que,
(a + bi) (c + di) = (ac bd) + (ad + bc)i.

Admitindo um nmero complexo como um par ordenado, podemos denir formalmente as
operaes de adio e multiplicao como segue.
Denio 6.1.1.
R R = R2 .
Consideremos o conjunto
Se
(a, b), (c, d) R2 ,
denimos a
adio e a multiplicao da seguinte forma, respectivamente:
(a, b) + (c, d) = (a + c, b + d)
R2 ,
por C,
(a, b) (c, d) = (ac bd, ad + bc).
O conjunto
munido dessas operaes, ser chamado conjunto dos nmeros complexos e
denotado
onde cada par ordenado chamado de nmero complexo.
Teorema 6.1.2.
As operaes em
tm as seguintes propriedades: a adio e a multiplica-
o so comutativas, associativas e tm elemento neutro:

multiplicao. Alm disso, dado
(a, b) 6= (0, 0),
seu inverso existe,
(a, b) C,
(a, b)1 ,
que
(a, b), (c, d), (e, f ) C.

89
(1, 0) para a
(a, b) e, se
para a adio e
seu simtrico existe,
o distributiva em relao adio.

Demonstrao. Sejam
(0, 0)
b
a
, 2
2
2
a + b a + b2
(a, b),

que
. Finalmente, a multiplica-
1. Comutatividade da adio:
(a, b) + (c, d) = (a + c, b + d) = (c + a, d + b) = (c, d) + (a, b);

2. Associatividade da adio:
(a, b) + ((c, d) + (e, f )) = (a, b) + ((c + e, d + f )) = (a + (c + e), b + (d + f ))

= ((a + c) + e, (b + d) + f ) = ((a + c, b + d)) + (e, f )
= ((a, b) + (c, d)) + (e, f );
3. Elemento Neutro da adio:
(0, 0) C.
(a, b) + (0, 0) = (a + 0, b + 0) = (a, b);

4. Comutatividade da multiplicao:
(a, b) (c, d) = (ac bd, ad + bc) = (ca db, cb + da) = (c, d) (a, b);
5. Associatividade da multiplicao:
(a, b) ((c, d) (e, f )) = (a, b) ((ce df, cf + de))

= (a(ce df ) b(cf + de), a(cf + de) + b(ce df ))
= (ace adf bcf bde, acf + ade + bce bdf )
= ((ac bd)e (ad + bc)f, (ac bd)f + (ad + bc)e)
= (ac bd, ad + bc) (e, f )
= ((a, b)(c, d)) (e, f ).
6. Elemento Neutro da multiplicao
(1, 0) C:
(a, b) (1, 0) = (a 1 b 0, a 0 + b 1) = (a, b);

7. Simtrico de
(a, b): (a, b) C.

(a, b) + (a, b) = (a + (a), b + (b)) = (0, 0).
O simtrico de
(a, b)
ser denotado por

8. Inverso de
(a, b) 6= (0, 0):

(a, b)
O inverso de
a
b
, 2
2
2
a + b a + b2
a
b
, 2
2
2
a + b a + b2
(a, b) 6= (0, 0)
(a, b);

=

C.
a2
b2
ab
ab
+
, 2
+ 2
2
2
2
2
2
a +b
a +b a +b
a + b2
ser denotado por
90
(a, b)1 ;

= (1, 0).
9. Distributividade da multiplicao em relao a adio:
(a, b) ((c, d) + (e, f )) = (a, b) (c + e, d + f )

= (a(c + e) b(d + f ), a(d + f ) + b(c + e))
= (ac + ae bd bf, ad + af + bc + be)
= (ac bd + ae bf, ad + bc + af + be)
= (ac bd, ad + bc) + (ae bf, af + be)
= (a, b) (c, d) + (a, b) (e, f ).

Assim como zemos em todos os conjuntos anteriores, vamos imergir
em
atravs de
uma funo injetora que preserva as operaes de adio de multiplicao, mostrando que existe
(a, b)
em
Teorema 6.1.3.
Seja
C. Observemos inicialmente
(a, b) = (a, 0) + (b, 0)(0, 1).
k : R C,
dada por
as operaes de adio e multiplicao, isto

Demonstrao. Provemos que
signica,
x = y,
logo
que um nmero complexo arbitrrio
k(x) = (x, 0). Temos que, k injetora e preserva

, k(x + y) = k(x) + k(y) e k(xy) = k(x)k(y).
injetora. De fato, se
k(x) = k(y),
ento,
(x, 0) = (y, 0),
que
injetora. Temos ainda que,
k(x + y) = (x + y, 0) = (x, 0) + (y, 0) = k(x) + k(y)

e
k(xy) = (xy, 0) = (x, 0) (y, 0) = k(x)k(y).

k(R) uma cpia algbrica de R em C, o que nos permite identicar R com
k(R) e considerar R C. Admitindo esta identicao e adotando o smbolo i para o nmero
complexo (0, 1), a expresso mensionada acima, (a, b) = (a, 0) + (b, 0)(0, 1), pode ser escrita
como a + bi, como ensinada no Ensino Mdio.
Desta forma,
i2 = (0, 1)2 = (1, 0), que pode ser identicado por 1. Temos que, os
nmeros complexos escritos da forma a + bi, com b 6= 0, chamam-se nmeros imaginrios, e,
se alm disso, a = 0, obtemos os imaginrios puros. Tal denominao provm do fato que
Notemos que
os complexos demoraram a ser aceitos como nmeros, dessa forma, o termo imaginrios tem
sentido contraposto a reais.
Teorema 6.1.4. C no enumervel.

Demonstrao. Vimos que
R C.
Pela Proposio 5.5.1, se
deveria ser, o que contradiz o que j mostramos. Portanto
fosse enumervel,
tambm
no enumervel.

91
6.2
no ordenvel
Vistas as propriedades aritmticas de

que as de
Q,
(Teorema 6.1.2), verica-se que so as mesmas
sendo assim, podemos dizer que
elementos, tanto de
quanto de
um corpo.
mantm uma relao de ordem, o que no ocorre em
isto , intuitivamente falando, no temos como dizer se

exemplo. Dessa forma, como
Entretanto, vimos que os
3i,
maior ou menor do que
C,
por
so dotados de uma relao de ordem compatvel com as
suas operaes, eles so ambos ordenados.

Vamos provar a seguir que
dotar
C um corpo no ordenvel, isto , mostraremos que impossvel
de uma relao de ordem compatvel com as suas operaes aritmticas. No entanto,
possui uma propriedade algbrica que
no tm, o Teorema Fundamental da lgebra,
cuja demonstrao foi a tese de doutorado de Johann Carl Friedrich Gauss (1777 -1855). Tal
teorema arma que todo polinmio no constante com coecientes complexos admite uma raiz
em
(argumentos elementares da prova deste teorema podem ser encontrados em [8]).
Teorema 6.2.1. C no um corpo ordenvel.

C um corpo, se C fosse ordenado, teramos que x2 0 para todo x C
2
(pela Proposio 4.3.18), entretanto, como i C e sabendo que i = 1 < 0, encontramos uma
contradio, o que mostra que C no um corpo ordenvel.

Demonstrao. Como
Podemos notar que

No entanto,
no um corpo, pois seus nicos elementos inversveis so
em
1.
diz-se um domnio de integridade bem ordenado,
no possui nem a propriedade do elemento simtrico. Diante de todas estas cons-
trues, o grco abaixo representa as imerses prprias de

de
possui todas as outras propriedades de corpo, alm de uma relao que satisfaz
o Princpio da Boa Ordem, sendo assim,

enquanto
em
Z,
de
em
Q,
de
em
C.
(2,0)
2/1
(2/1)*
(2,0)
(0,2)
-2/1
2/5
(-2/1)*
(2/5)*
(-2,0)
(2/5,0)
( 2 ,0)
Figura 6.1: Diagrama de Imerses Prprias
Aps todas estas contrues, podemos nos perguntar se os conjuntos numricos param por
a, isto , se existem conjuntos nos quais
R R
C pode ser imerso propriamente.
Na verdade, fazendo
como foi feito na contruo dos complexos, podemos obter o anel dos quatrnios de
92
Hamilton, que perde a estrutura de corpo, pois a comutativa da multiplicao deixa de ser
vlida. Esta estrutura foi desenvolvida no sculo XIX pelo irlands William Rowan Hamilton.
pode ser imerso propriamente no anel dos quatrnios.

Os quatrnios, podem ainda ser imersos nos octnios (O), estes contrudos sobre
R4 R4 ,
no qual a multiplicao no mais associativa. Esse processo de imerso em conjuntos maiores

pode prosseguir innitamente atravs da construo de Cayley-Dickson. Porm, o Teorema de
Frobenius, provado por Ferdinand Georg Frobenius (1848-1917), em 1877, caracteriza a lgebra
de diviso associativa de dimenso nita sobre os nmeros reais. De acordo com o teorema,
cada tal lgebra isomorfa a um dos seguintes:
(nmeros reais),
(nmeros complexos),
(Quatrnios).
Estas lgebras tm dimenses 1, 2 e 4, respectivamente.
Esse teorema est intimamente
relacionado com o teorema de Hurwitz (Adolf Hurwitz (1859-1919)) , que arma que as nicas
lgebras de diviso normalizadas ao longo os nmeros reais so
infomaes, pode-se consultar [10].
93
R, C, H,
O.
Para mais
Bibliograa
a
[1] VILA, G. G.; Anlise Matemtica para Licenciatura. 1 Edio. Edgar Blucher, So Paulo,
2001.
[2] DOMINGUES, H. H.; Fundamentos da Aritmtica, Atual, 1991.
[3] FERREIRA, J. A.; Construo dos Nmeros, 2
[4] FIGUEIREDO, D. G.; Anlise I,
2a
Edio. SBM, 2011.
Edio. Livros Tcnicos e Centcos Editora, Rio de
Janeiro, 1996.
[5] FRALEIGH, J. B.; A First Course in Abstract Algebra, Pearson, 2002.
[6] FRANCO, P. E SOUZAl L. J.; Nmeros Negativos: Uma trajetria Histrica. Sociedade
Brasileira de Histria da Matemtica, 2011.
[7] GONCALVES, A.; Introduo lgebra. Projeto Euclides, IMPA, Rio de Janeiro, 2005.
[8] LIMA, E. L. et al.; A Matemtica no Ensino Mdio, vol. 3. 2
Edio. SBM, Rio de Janeiro,
1999.
[9] STOLL, R. R.; Set Theory and Logic. Dover Publications, Inc., New York, 1979.
[10] RAY E. A.; Scalar Algebras and Quaternions: an Approach Based on the Algebra and
topology of nite-dimensional Real Linear Spaces, part 1. April 23, 2009.
[11] RUSSELL, B.; A srie dos nmeros naturais - Introduo losoa matemtica. Traduo
de Augusto J. Franco de Oliveira. 1
edio (provisria), Janeiro, 2006.
94

A Construção Dos Numeros

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

A Construção Dos Numeros

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade Federal de So Carlos

Centro de Cincias Exatas e de Tecnologia

A construo dos nmeros

Gabriela Maria Machado

Trabalho de Concluso do Curso

Karina Schiabel Silva

So Carlos, 13 de Maro de 2014.

A construo dos nmeros

Gabriela Maria Machado

Trabalho de Concluso do Curso

Karina Schiabel Silva

Universidade Federal de So Carlos

So Carlos, 13 de Maro de 2014.

Gabriela Maria Machado

Luiz Hartmann (orientador)

Aos meus amados amigos, pela partilha de toda e qualquer emoo.

todos os professores, pela contribuio minha formao.

Multiplicao dos Nmeros Naturais

Adio de nmeros inteiros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Multiplicao dos inteiros

Conjuntos enumerveis e a Hiptese do Contnuo

Construo dos nmeros racionais . . . . . . . . . . . . . . . . . . . . . . . . . .

Representao decimal dos nmeros reais . . . . . . . . . . . . . . . . . . . . . .

Construo dos complexos

e chamamos de Naturais. O que zemos, foi formalizar e

demonstrar rigorosamente o que j sabamos intuitivamente desde o Ensino Bsico, seguindo a

Dedekind demonstrou que esta relao de equivalncia, e que o conjunto

Q e mais uma propriedade que Q no possui, a chamada completude

para representar os conjuntos dos nmeros natu-

rais, inteiros, racionais, reais e complexos, respectivamente.

qualquer, o conjunto das partes de

o conjunto cujos elementos so todos os subconjuntos de

P(A) = {, {a}, {b}, A};

P(A) = {, {}, {{1}}, A}.

Denimos o par ordenado

a = c e b = d. Dessa forma, claro que (a, b) = (c, d).

assim, dois casos:

um conjunto qualquer. Denimos o produto cartesiano de

todos os pares ordenados compostos por elementos de

Seguem alguns exemplos:

A A = {(a, a), (b, b), (a, b), (b, a)}

possilidades para o primeiro elemento do par ordenado e

Dados dois conjuntos

Denimos o produto cartesiano de

elementos, pois, tem-se

A seguir temos alguns exemplos:

um conjunto qualquer. Suponhamos que exista

denio de par ordenado,

A A A. A imagem ((x, y))

contradio, pois, por hiptese,

no vazio, uma operao em

Levando em conta o nosso conceito intuitivo de conjuntos numricos e de suas operaes

Uma relao binria

qualquer subconjunto do produto

est relacionado com

(a, b) R aRb. Uma relao

chamada apenas de relao. No exemplo 1.1.11,

Seja dado um conjunto

sobre ele. Diz-se que

relao de equivalncia se possuir as seguintes propriedades:

do exemplo 1.1.11 no reexiva, pois,

satisfaz as trs propriedades, ela no uma relao de equivalncia.

Esta relao de divisibilidade em

1. Vale a reexiva: para todo

e chamamos de Naturais. O que zemos, foi formalizar e

Denimos o par ordenado

um conjunto qualquer. Denimos o produto cartesiano de

Denimos o produto cartesiano de

denio de par ordenado,

do exemplo 1.1.11 no reexiva, pois,

1. Vale a reexiva: para todo

1. Vale a reexiva: seja

Denio 1.1.22. Seja R uma relao de equivalncia num conjunto A.

denida como segue:

1. Reexiva: Claramente, para todo

isso signica que

1. No vale a reexiva: seja

teramos uma relao de equivalncia pois no valeria a reexiva

uma partio nita de

como unio nita de uma famlia de subconjuntos de