Construção dos números reais

A Construo dos Nmeros Reais e suas Extenses
IVAN AGUILAR
&
MARINA SEQUEIROS DIAS
Universidade Federal Fluminense
4o Colquio da Regio Centro-Oeste

Novembro de 2015
Sumrio
1 Introduo 1
1.1 Noes bsicas sobre conjuntos . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2 Conjuntos numricos . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.3 Operaes entre conjuntos . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.4 Famlias ou colees . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.5 Produto cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Relaes de equivalncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5 Corpos ordenados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5.1 Corpos ordenados so infinitos . . . . . . . . . . . . . . . . . . . . 14
1.5.2 Intervalos de um corpo K . . . . . . . . . . . . . . . . . . . . . . . 14
1.5.3 Valor absoluto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6 Supremo e nfimo de um conjunto . . . . . . . . . . . . . . . . . . . . . . 15
1.6.1 Subconjuntos limitados de um corpo . . . . . . . . . . . . . . . . . 15
1.6.2 Supremo e nfimo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.7 Corpos arquimedianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.8 Corpo ordenado e completo . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.9 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2 Os Nmeros Naturais 21
2.1 O conceito de nmero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2 Definio axiomtica dos Naturais . . . . . . . . . . . . . . . . . . . . . . 22
2.2.1 Axiomas de Peano . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.2.2 Princpio de Induo . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.3 Operaes de adio e multiplicao em N . . . . . . . . . . . . . . . . . 24
2.3.1 A Adio em N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3.2 A multiplicao em N . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.4 Relao de ordem em N . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.5 Conjuntos finitos e infinitos . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.6 Conjuntos enumerveis e no-enumerveis . . . . . . . . . . . . . . . . . 29
2.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3 Os Nmeros Inteiros 33
3.1 Definio axiomtica dos inteiros . . . . . . . . . . . . . . . . . . . . . . . 33
3.2 Construo dos Nmeros Inteiros . . . . . . . . . . . . . . . . . . . . . . . 35
iii
3.3 Operaes em (N N)/ . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.3.1 Adio e multiplicao em (N N)/ . . . . . . . . . . . . . . . 35
3.3.2 A substrao em Z = (N N)/ . . . . . . . . . . . . . . . . . . . 40
3.4 Relao de ordem em Z = (N N)/ . . . . . . . . . . . . . . . . . . . . 40
3.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4 Os Nmeros Racionais 43
4.1 Os Nmeros Racionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.1.1 Q como estrutura algbrica . . . . . . . . . . . . . . . . . . . . . . 43
4.1.2 Z como subconjunto de Q . . . . . . . . . . . . . . . . . . . . . . 44
4.1.3 Q corpo ordenado . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.2 Construo dos Nmeros Racionais . . . . . . . . . . . . . . . . . . . . . 45
4.3 Operaes em (Z Z )/ . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.3.1 Adio e multiplicao (Z Z )/ . . . . . . . . . . . . . . . . . 46
4.3.2 A substrao e diviso em Q = (Z Z )/ . . . . . . . . . . . . 50
4.4 Q = (Z Z )/ como corpo ordenado . . . . . . . . . . . . . . . . . . . 51
4.4.1 Propriedades da relao de ordem . . . . . . . . . . . . . . . . . . 52
4.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5 Os Nmeros Irracionais 53
5.1 Nmeros comensurveis e incomensurveis . . . . . . . . . . . . . . . . 53
5.2 Existncia de nmeros no racionais . . . . . . . . . . . . . . . . . . . . . 55
5.3 Nmeros algbricos e nmeros transcendentes . . . . . . . . . . . . . . . 55
5.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
6 Os Nmeros Reais e sua Construo 57

6.1 Definio axiomtica do conjunto dos nmeros reais . . . . . . . . . . . . 57
6.2 A construo de Cantor (sequncias de Cauchy) . . . . . . . . . . . . . . 59
6.3 O mtodo de Dedekind (cortes de Dedekind) . . . . . . . . . . . . . . . . 66
6.4 O mtodo das expanses decimais . . . . . . . . . . . . . . . . . . . . . . 75
6.5 R um corpo ordenado e completo . . . . . . . . . . . . . . . . . . . . . . 86
6.6 A unicidade de R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
6.7 R no-enumervel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
6.8 A densidade dos racionais e irracionais em R . . . . . . . . . . . . . . . . 92
6.9 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
7 Extenses dos Nmeros Reais 95

7.1 Extenses multidimensionais . . . . . . . . . . . . . . . . . . . . . . . . . 95
7.1.1 Os Nmeros Complexos . . . . . . . . . . . . . . . . . . . . . . . . 95
7.1.2 Quaternions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
7.2 Extenses unidimensionais . . . . . . . . . . . . . . . . . . . . . . . . . . 98
7.2.1 Os Nmeros Hiper-reais . . . . . . . . . . . . . . . . . . . . . . . . 98
Referncias Bibliogrficas 103

Captulo 1
Introduo
1.1 Noes bsicas sobre conjuntos

A atual Matemtica, como conhecida em pleno sculo XXI, tem praticamente
todos os seus conceitos formalizados na linguagem dos conjuntos. A noo intuitiva
de conjunto to antiga quanto a noo de nmero. Mesmo sendo uma noo antiga,
foi apenas no sculo XIX que foi amplamente estudada e usada na formalizao de
diversos conceitos matemticos por Cantor, Frege, Russell, etc. Existe a chamada Teoria
de Conjuntos que trata seu estudo de modo rigoroso. Para os nossos propsitos ser
suficiente uma abordagem ingnua de conjuntos, no estilo de Halmos [13].
1.1.1 Conjuntos
O noo primitiva de conjunto um conceito indefinido. Intuitivamente podemos
dizer que um conjunto uma coleo de objetos. Note que ao dizer que uma coleo,
precisaramos definir o que uma coleo, e assim sucessivamente iramos utilizando
apenas sinnimos, sem t-la definido concretamente. Mesmo assim, intuitivamente,
conseguimos conceber a ideia de um conjunto. Outro conceito primitivo, so os objetos
que formam um conjunto, esses objetos so chamados elementos do conjunto.
Os conjuntos, costumam ser indicados por letras maisculas: A, B, C, etc. Os
elementos, em geral, so indicados por letras minsculas: a, b, c, etc.
O principal conceito primitivo entre um elemento x e um conjunto A o de
pertinncia.
Se x pertence a A (ou x um elemento de A, ou x est contido em A), denotamos
x A.
Caso contrrio, dizemos que x no pertence a A, o que denotamos por x 6 A.
Um conjunto A bem definido se sempre possvel determinar se um elemento

qualquer x, pertence ou no pertence a A.
Existem varias formas de representar ou descrever um conjunto.

Por exemplo, para representar o conjunto formada pelas vogais a, e, i, o, u
escrevemos
A = { a, e, i, o, u}.
1
2 Captulo 1: Introduo
O conjunto B dos mpares positivos
B = {1, 3, 5, 7, . . .}.
Nem sempre possvel descrever um conjunto A colocando um a um cada

elemento. Se conhecermos alguma propriedade P comum aos elementos de A.
Podemos definir A como o conjunto dos elementos x tal que goza (ou tem) a
propriedade P. Denota-se
A = { x tal que x tem a propriedade P}
Usualmente a frase "tal que" substituda pelos smbolos "|", "/", ":" ou ";". Se a
frase "x tem a propriedade P" substituda por P( x ) ento, A pode ser escrito como
{ x | P( x )} ou { x / P( x )} ou { x : P( x )} ou { x; P( x )}.
Quando a propriedade P refere-se a um conjunto U, ento o conjunto A escreve-se
{ x U | P( x )} ou { x U / P( x )} ou { x U : P( x )} ou { x U; P( x )}
e l-se A o conjunto dos x pertencentes a U tais que tm a propriedade P.
Exemplo 1.1 (Conjunto vazio e conjunto unitrio). O conjunto vazio o conjunto sem
elementos e representado pelo smbolo ou { }. Um conjunto que possua apenas
um nico elemento x e denotado por { x } chamado conjunto unitrio. Exemplos de
conjuntos unitrios so {{ }} ou {}.
Sejam A e B conjuntos. Diz-se que A subconjunto de B, se todo elemento de A,

tambm um elemento de B. Tambm costuma-se dizer: A est includo em B; A est
contido em B; A parte de B; B inclui A ou B contm A. Escrevemos tal situao como
AB ou B A.
Dizemos que A no subconjunto de B, quando existe x A tal que x 6 B. Tal

situao denota-se A 6 B.
Proposio 1.1. Para todo conjunto A, A.
Demonstrao. Se existisse A tal que 6 A, deveria existir x tal que x 6 A.

O que absurdo.
Um conjunto A igual a B, se, e somente se, A B e B A. Esse fato denotado

por A = B.
Se no verdade que A = B, dizemos que A no igual a B e denota-se: A 6= B. Isto
, quando A 6 ou B 6 A. Um conjunto que no igual a chamado no-vazio.
Se A B e A 6= B dizemos que A subconjunto prprio de B. s vezes, tal situao
denota-se por A B.
Definio 1.1. Dado um conjunto A, o conjunto potncia de A o conjunto de todos os

subconjuntos de A. Denota-se: P ( A) ou 2 A . Em particular, sempre temos P ( A) e
A P ( A ).
1.1: Noes bsicas sobre conjuntos 3
1.1.2 Conjuntos numricos

Os exemplos mais importantes de conjuntos so aqueles formados por nmeros.
Historicamente, esses conjuntos surgiram por razes prticas ou de necessidade. Tais
conjuntos podem ser definidos axiomaticamente. Isto , como conjuntos gozando de
certas propriedades (axiomas). Uma outra abordagem constru-los a partir de algum
outro com estrutura "mais simples". Os exemplos de conjuntos numricos que seguem,
so bem conhecidos e podero ser utilizados em diversos exemplos ao longo do texto,
mesmo, antes de t-las construdo formalmente.
Conjunto dos Nmeros Naturais. N = {1, 2, 3, 4, 5, . . .}
Aparecem como uma abstrao do processo de contagem (nmero cardinal) ou

ordenamento (nmero ordinal). Diversos autores preferem incluir o zero entre os
naturais. Isso depender do gosto do autor, praticidade ou circunstncia. Em nosso
estudo, o zero no ser considerado natural. Aparecendo apenas ao construirmos Z.
Para uma opinio a respeito, recomendamos a leitura de [21].
Conjunto dos Nmeros Inteiros. Z = {. . . 3, 2, 1, 0, 1, 2, 3, 4, 5, . . .}
Constitudo pelos naturais; os simtricos dos naturais (negativos) e o zero. O

smbolo Z vem do alemo Zahlen, que significa: nmero. Esse conjunto faz que tenham
sentido equaes do tipo x + 2 = 1, que no tm soluo no conjunto dos naturais.
Conjunto dos Nmeros Racionais. Q = { a/b ; a Z, b Z, b 6= 0}
Constitudo, alm dos inteiros, por nmeros que representam partes ou fraes.
O conjunto dos racionais faz que equaes do tipo 2x = 1 possuam soluo. Tais
equaes no o tm solues em Z. O smbolo Q provm da palavra quociente.
Conjunto dos Nmeros Reais R = { a ; a = lim xn , onde xn Q}

n
R formado pelos limites de todas as sequncias convergentes de nmeros

racionais. O conjunto dos nmeros reais faz que equaes do tipo x2 = 2 tenham
soluo. Tais equaes no possuem soluo em Q. O conjunto dos reais serve
para representar a ideia do contnuo (continuum), por exemplo podem representar
comprimentos de segmentos de reta. Um nmeros real que no racional chamado
irracional. O conjunto dos irracionais denotado por R Q. Assim, R = Q (R Q).
Conjunto dos Nmeros Complexos C = { a + ib ; a, b R, i2 = 1}
Os complexos fazem que equaes do tipo x2 + 1 = 0 tenham soluo.
Temos as seguintes incluses prprias: N Z Q R C.

1.1.3 Operaes entre conjuntos
Definio 1.2. A reunio ou unio dos conjuntos A e B o conjunto A B formado pelos

elementos de A junto aos elementos de B. Desse modo, podemos escrever
A B = { x; x A ou x B}.
Definio 1.3. A interseo dos conjuntos A e B conjunto A B formado pelos
elementos em comum de A e B. Desse modo, podemos escrever
A B = { x; x A e x B}.
Proposio 1.2 (Propriedades da reunio e interseo de conjuntos). Sejam A, B, C, D
conjuntos
1) A = A, 1) A = A,
2) A A = A, 2) A A = A,
3) A B = B A, 3) A B = B A,
4) ( A B) C = A ( B C ), 4) ( A B) C = A ( B C ),
5) A B = A B A, 5) A B = A A B,
6) A B, C D A C B D 6) A B, C D A C B D
7) A ( B C ) = ( A B) ( A C ) 7) A ( B C ) = ( A B) ( A C )
Demonstrao. Exerccio.
Definio 1.4 (Diferena de conjuntos). A diferena entre os conjuntos A e B o conjunto

A B formado pelos elementos de A que no esto em B. Ou seja,
A B = { x; x A e x 6 B}.
Outra notao para a diferena A \ B. Dizemos que A e B so disjuntos quando
A B = .
Se existe um conjunto U que contm todos os conjuntos A U com os quais

trabalhamos, ento a diferena U A chamada o complemento de A ou complementar
de A e escreve-se
Ac = U A
Desse modo, para x U,
x Ac x 6 A,
Tambm, imediato verificar que para todo A, B U,

A B = A Bc
1.1: Noes bsicas sobre conjuntos 5
Proposio 1.3 (Propriedades do complementar de um conjunto). Se A, B U ento

(C1) ( Ac )c = A,
(C2) A B Bc Ac ,
(C3) A = Ac = U,
(C4) ( A B)c ( Ac Bc ),
(C5) ( A B)c Ac Bc ).
As propriedades (C3) e (C4) so conhecidas como identidades de De Morgan.
1.1.4 Famlias ou colees

Quando queremos trabalhar com conjuntos cujos elementos so conjuntos,
frequentemente usamos as palavras famlia ou coleo como sinnimo de conjunto.
Definio
[
1.5. Seja F uma famlia de conjuntos. Definimos a reunio de F , denotado
por A, como sendo o conjunto de elementos que pertencem pelo menos a algum
AF \
conjunto de F . A interseo de F , denotado por A conjunto de elementos que
AF
pertencem a cada um dos conjuntos de F . A famlia ou coleo F dita disjunta se a
interseo de dois conjuntos quaisquer de F vazia.
Quando F de forma { A1 , A2 , . . . An } ou { A1 , A2 , A3 , . . .} a reunio e interseo
de F escreve-se, respectivamente
n
[ n
\
[
\
Ai , Ai ou Ai , Ai .
i =1 i =1 i =1 i =1
Tambm so vlidas a identidades de De Morgan. Se os elementos F de F so tal

que F U ento
" #c " #c
Fc Fc .
[ \ \ [
F = e F =
F F F F F F F F
1.1.5 Produto cartesiano

Sejam a e b dois elementos, introduzimos um novo objeto (como conceito no
definido) que chamamos par ordenado e denotamos por
( a, b)
onde a o primeira coordenada e b a segunda coordenada.
Diremos que dois pares ordenados ( a, b) e (c, d) so iguais se, e somente se, suas
primeiras coordenadas so iguais e suas segundas coordenadas tambm o so. Isto
( a, b) = (c, d) a = c e b = d.
Definio 1.6. O produto cartesiano dos conjuntos A e B conjunto A B dos pares

ordenados tal que a primeira coordenada est em A e a segunda em B. Assim,
A B = {( a, b); a A e b B}
Definimos, A = e A = .
Para o caso A A tambm podemos escrever A2 . O conjunto dos pares ( a, a) A2
chamado diagonal de A2 .
1.2 Relaes de equivalncia

Dizemos que um subconjunto R de A2 define uma relao de equivalncia em A se
a) ( a, a) R, para todo a A,
b) ( a, b) R (b, a) R,
c) ( a, b) R e (b, c) R ( a, c) R,
Em lugar de tratar as relaes de equivalncia como subconjuntos do produto

cartesiano A2 as redefinimos como sendo uma relaes binrias em A (isto , como uma
relao entre dois elementos de A). Diremos que a est relacionado com b se ( a, b) R.
Desse modo as propriedades acima so reescritas como segue.
Definio 1.7. A relao binria sobre A, uma relao de equivalncia sobre A se
a) a a, a A, (reflexividade)
b) a b b a, (simetria)
c) a b e b c a c (transitividade)
As relaes de equivalncia so de extrema importncia. Elas permitem classificar

ou agrupar elementos de um conjunto A em subconjuntos contendo elementos
equivalentes ou relacionados entre eles.
Definio 1.8. Se A um conjunto e uma relao de equivalncia em A, ento a classe

de equivalncia de a A o conjunto
[ a] = { x A; x a}.
Outras notaes para [ a] so: a, Ca ou A a .
Exemplo 1.2. No conjunto dos inteiros Z definimos a relao entre dois elementos
a, b Z como
a b a b par.
Como a a = 0 par, temos a a. Se a b ento a b par. Como ( a b) = b a
par, logo b a. Finalmente, se a b e b c, ento a b e b c so pares.
Como a c = ( a c) + (c b) par, obtemos a c. Portanto, uma relao
de equivalncia.
1.2: Relaes de equivalncia 7
Note que
[0] = {. . . , 4, 2, 0, 2, 4, . . .} e [1] = {. . . , 5, 3, 1, 1, 3, 5, . . .}.
Desse modo, em Z a relao de equivalncia determina exatamente duas classes de

equivalncia: o conjunto dos pares e dos mpares.
Exemplo 1.3. Seja T o conjunto dos tringulos do plano e a relao de semelhana

entre tringulos (isto , tringulos com ngulos correspondentes iguais). Verifica-se
que uma relao de equivalncia.
Exemplo 1.4. Seja R2 o conjunto formado pelos pontos da forma ( x, y). Dois pontos so
relacionados se eles so equidistantes da origem. imediato concluir que tal relao
de equivalncia. As classes de equivalncia so, alm da origem, circunferncias com
centro na origem.
[(0, 0)] = {(0, 0)} e [(r, 0)] = {( x, y); x2 + y2 = r2 }, (r > 0).
Nesses trs exemplos, as classes de equivalncia decompem os conjuntos Z, T e

R2 em subconjuntos disjuntos. Essa propriedade a principal caraterstica das relaes
de equivalncia.
Definio 1.9. Uma famlia P de subconjuntos de X uma partio de X se
1.
/P
[
2. A=X
AP
3. Se A, B P e A 6= B ento A B =
Exemplo 1.5. Seja X = { a, b, c} ento
{{ a}, {b}, {c}}, {{ a, b}, {c}} e { X }

so exemplos de parties de X. Por outro lado,
{{ a, b}, {b}, {c}}, {{ a}, {b}} e { X, }

no podem ser parties de X.
Exemplo 1.6. Todo conjunto no vazio A admite as parties triviais:
P1 = {{ a}; a A} e P2 = { A}.
Proposio 1.4 (Parties e relaes de equivalncia). Para cada relao de equivalncia

em um conjunto X, o conjunto das classes de equivalncia uma partio de X. Reciprocamente,
cada partio P de X induz a relao de equivalncia , tal que a b se, e somente se a, b A
para algum A P.
Definio 1.10. O conjunto das classes de equivalncia de uma relao de equivalncia

em A chamado conjunto quociente de A respeito a e denotado por A/ .
Exemplo 1.7. No exemplo 1.2, em Z definida a relao de equivalncia: a b

a b par. O conjunto quociente

Z/ = {[0], [1]} = {. . . , 4, 2, 0, 2, 4, . . .}, {. . . , 3, 1, 1, 3, . . .} .
Exemplo 1.8. No exemplo 1.6, as parties triviais de A
P1 = {{ a}; a A} e P2 = { A},
induzem, respectivamente, as relaes R1 e R2 dadas por
aR1 b a = b e aR2 b a, b A.
Portanto, os conjuntos quocientes respectivos, so
A/R1 = {{ a}; a A} e A/R2 = { A}.
1.3 Funes
Definio 1.11 (Funo). Dados dois conjuntos A e B, uma funo f : A B de A em
B uma relao que a cada elemento x de A lhe faz corresponder um nico elemento
f ( x ) de B. Costuma-se escrever
f :AB
x 7 f ( x )
O conjunto A chamado domnio de f , B o contradomnio de f e f ( x ) o valor que

f assume em cada x A. Desse modo, para definir uma funo, so necessrios:
um domnio A, um contradomnio B e uma regra x 7 f ( x ). Quando A e B esto
subentendidos, costume denotar essa funo simplesmente por f .
Duas funes f : A B e g : M N so iguais, se e somente se, A = M, B = N e

f ( x ) = g( x ) para todo x A. Denotamos por f = g.
1.3: Funes 9
Definio 1.12 (Imagem e imagem inversa de um conjunto). Seja X A, o conjunto
f ( X ) = { f ( x ); x A }
a imagem de X por f .
Se Y B, o conjunto
f 1 (Y ) = { x A; f ( x ) Y }
a imagem inversa de Y por f .
Proposio 1.5 (Propriedades da imagem e imagem inversa). Seja f : A B uma

funo. Se X, Y A e V, W B ento,
(a) f ( X Y ) = f ( X ) f (Y ),
(b) f ( X Y ) f ( X ) f (Y ),
(c) X Y f ( X ) f (Y ),
(d) f () = ,
(e) f 1 (V W ) = f 1 (V ) f 1 (W ),
(f) f 1 (V W ) = f 1 (V ) f 1 (W ),
(g) f 1 (V c ) = [ f 1 (V )]c ,
(h) f 1 ( B) = A,
(i) f 1 () = .
Demonstrao. Exerccio. Veja o libro de Elon Lima [20].
Definio 1.13. Dizemos que uma funo f : A B injetiva quando dados quaisquer
x, y A, f ( x ) = f (y) x = y; sobrejetiva quando f ( A) = B e bijetiva se for injetiva
e sobrejetiva.
Exemplo 1.9. Seja f : A B, com B contendo mais de um elemento. Fixado um

c0 B, dado por f ( x ) = c0 . Assim definida, f no sobrejetiva nem injetiva. Exemplos
clssicos de funes injetivas so as incluses i : A B, i ( x ) = x, para todo x A,
onde A B. As projees, 1 : A B A, 1 ( x, y) = x e 2 : A B A, 2 ( x, y) = y
so os exemplos cannicos de funes sobrejetivas. A funo bijetiva mais simples a
funo identidade id A : A A, id A ( x ) = x, para todo x A.
Definio 1.14 (Composio de funes). Sejam f : A B e g : C D duas funes

tal que f ( A) C ento, a composio g f : A D de f com g definida por
[ g f ]( x ) = g( f ( x )), para todo x A.
Definio 1.15 (Inversa de uma funo). Dizemos que uma funo f : A B tem uma
inversa se existe g : B A tal que
g f = Id A e f g = Id B .
Quando existe a inversa de f denotamos ela por g = f 1 . Nesse caso, temos
f 1 f = Id A e f f 1 = Id B .
Se f : A B bijetiva significa que para cada b de B existe um nico a de A tal que
f ( a) = b. Ou seja, para cada b B existe um nico a A que denotaremos por g(b).
Isso define uma funo g : B A, b 7 a = g(b), onde a = g(b) f ( a) = b. Ou seja,
g f = Id A e f g = Id B . Portanto, mostramos a seguinte proposio:
Proposio 1.6. Uma funo f : A B possui inversa se, e somente se, bijetiva.
1.4 Corpos
Definio 1.16. Uma operao binria sobre um conjunto A uma regra que a cada par
( a, b) A2 faz corresponder um nico a b A. Ou seja, uma funo : A2 A.
Definio 1.17. Um corpo (K, +, ) um conjunto K 6= junto a duas operaes
binarias: + e , chamadas respectivamente adio e multiplicao, satisfazendo nove
axiomas,
Axiomas da adio Axiomas da multiplicao
(A1) Para todo x, y, z K, (M1) Para todo x, y, z K,
( x + y ) + z = x + ( y + z ), ( x y ) z = x ( y z ),
(A2) Para todo x, y K, (M2) Para todo x, y K,
x + y = y + z, x y = y z,
(A3) Existe 0 K tal que (M3) Existe 1 K, 1 6= 0 tal que
x + 0 = x, x K, x 1 = x, x K,
(A4) Para todo x K, existe x K, (M4) Para todo x 6= 0 em K, existe x 1 K,
x + ( x ) = 0. x x 1 = 1.
Axioma da distributividade
(D1) Para todo x, y, z K tem-se x (y + z) = x y + x z.
Observaes.
Os axiomas acima costumam ter nomes prprios: (A1) e (M1) associatividade;
(A2) e (M2) comutatividade; em (A3) o elemento neutro 0 chamado zero; em
(M3) o elemento neutro 1 ou identidade multiplicativa chamada um; (A4) e
(M4) garantem, respectivamente, a existncia do inverso aditivo (ou simtrico) e
o inverso multiplicativo.
1.4: Corpos 11
Se x, y K, ento x + y e x y so chamados, respectivamente, soma e produto

de x e y. Muitas vezes, em lugar de x y, escrevemos simplesmente xy.
Por (M3) todo corpo possui pelo menos dois elementos distintos, a saber 0 e 1.
A diferena entre x e y definida e denotada por x y := x + (y). A operao

( x, y) 7 x y chamada substrao.
O quociente entre x e y, onde y 6= 0, definimos e denotamos por x/y := xy1 . A
operao ( x, y) 7 x/y chamada diviso.
O uso dos smbolos conhecidos + e , para as duas operaes binrias do corpo K,

e o fato de chamarmos elas de: adio e multiplicao; apenas por comodidade.
Poderamos ter usado quaisquer outros smbolos; por exemplo: e . A mesma
observao vale para os smbolos conhecidos 0 e 1.
Exemplo 1.10. O conjunto Z2 = {0, 1} com as operaes + e dadas por
+ 0 1 0 1
0 0 1 0 0 0
1 1 0 1 0 1
um corpo.
Exemplo 1.11. O conjunto Q dos racionais com as operaes de adio e multiplicao
usuais um corpo.
a c ad + bc
+ =
b d bd
a c ac
=
b d bd

Exemplo 1.12. O conjunto Q[ 2] = { a + b 2; a, b Q} com as operaes

( a + b 2) + ( c + d 2) = ( a + c ) + ( b + d ) 2

( a + b 2) (c + d 2) = ( ac + 2bd) + ( ad + bc) 2
um corpo. Os elementos neutros para cada operao so

0 = 0 + 0 2 e 1 = 1 + 0 2.

b 2 z = a + (b) 2.
O simtrico de z = a +
O inverso de z = a + b 2 6= 0 :
1 a (b)
z 1 = = 2 + 2.
a+b 2 a 2b2 a 2b2
Exemplo 1.13 (Conjunto das funes racionais Q(t)). Seja Q[t] o conjunto das funes
polinomiais com coeficientes racionais. Definimos o conjunto das funes racionais

p(t)
Q( t ) = f ; f ( t ) = , p, q Q[t], q 6= 0
q(t)
Com as operaes
p(t) r (t) p ( t ) s ( t ) + q ( t )r ( t )
+ = ,
q(t) s(t) q(t)s(t)
p(t) r (t) p(t)q(t)

= ,
q(t) s(t) q(t)s(t)
onde 0 Q e 1 Q so os elementos neutros; f o simtrico de f Q(t),

dado por ( f )(t) = f (t). O inverso multiplicativo f 1 de f 6= 0 definido por
( f 1 )(t) = 1/ f (t). Desse modo, Q(t) um corpo.
Seguem alguns resultados clssicos de corpos
Proposio 1.7. Seja K um corpo e x, y, z K
(a) Os elementos neutros 0 e 1 so nicos.
(b) Os elementos: simtrico e inverso, so nicos. Isto , para cada x K, x nico, e cada
x 6= 0, x 1 nico.
(c) x 0 = 0, para todo x K.
(d) x + z = y + z x = y e
para z 6= 0, x z = y z x = y. (leis de corte)
(e) x y = 0 x = 0 ou y = 0.
(f) ( x ) y = x (y) = ( x y) e ( x ) (y) = x y. (regras dos sinais)
1.5 Corpos ordenados

Definio 1.18. Um corpo ordenado um corpo K, com as operaes + e , del tal forma
que existe um subconjunto P K com as propriedades seguintes:
P1) x, y P x + y P e x y P.
P2) x K ocorre apenas uma das seguintes alternativas:
ou xP ou x=0 ou x P.
O conjunto P chamado o conjunto dos elementos positivos de K.

Se P = { x; x P}, decorre dos axiomas
K = P {0} P (dois a dois disjuntos).
O conjunto P chamado o conjunto dos elementos negativos de K.

1.5: Corpos ordenados 13
Observaes.
Um corpo ordenado, isto , um corpo (K, +) e um conjunto de positivos P K
denotado por: (K, +, , P). Quando no houver confuso, um corpo ordenado
denotaremos simplesmente por K.
Para todo elemento a 6= 0 de um corpo ordenado temos a2 P.
Como 1 = 12 P, segue que num corpo ordenado o elemento 1 sempre
positivo. Em particular, como 1 P, em corpos ordenados, a K, a2 6= 1.
Exemplo 1.14. O corpo Z2 no ordenado. Se fosse ordenado, existiria P tal que 1 P
e assim 1 + 1 P. Mas 1 + 1 = 0 6 P. Tambm o conjunto dos nmeros complexos C
no pode ser ordenado, pois existe i C tal que i2 = 1.
Exemplo 1.15. O conjunto dos racionais Q um corpo ordenado. O conjunto dos
positivos dado por P = {r Q; r > 0}.
Exemplo 1.16. O conjunto das funes racionais Q(t) um corpo ordenado. O
conjunto dos positivos P formado pelos elementos p(t)/q(t) Q(t), distintos de 0,
tal que os coeficientes dos termos de maior grau de p e q, tm o mesmo sinal. Verifica-
se, sem dificuldade, as propriedades (P1) e (P2). Portanto, Q(t) um corpo ordenado.
Definio 1.19. Em um corpo ordenado K, definimos as relaes
a b b < a, (ou a b P)
a b b < a, ou a = b,
a b b > a, ou a = b.
Essas relaes so lidas,
a b : a maior do que b,
a b : a menor ou igual do que b,
a b : a maior ou igual do que b.
Proposio 1.8. A relao de ordem < tem as seguintes propriedades:
(O1) Transitividade. x < y e y < z x < z.
(O2) Tricotomia. Se x, y K, apenas uma das seguinte alternativas ocorre
ou x<y ou x=y ou x>y
(O3) Monotonicidade da adio z K, x < y x + z < y + z.
(O4) Monotonicidade da multiplicao.
z > 0, x < y xz < yz, e z < 0, x < y xz > yz.

Fazendo as mudanas adequadas, resultados anlogos podem ser enunciados para
as outras trs relaes: , e >.
1.5.1 Corpos ordenados so infinitos

Uma consequncia muito importante da definio de corpo ordenado que eles
so necessariamente infinitos e contm de modo natural (a menos de isomorfismo) o
conjunto dos nmeros naturais N.
Seja K um corpo ordenado e P seu conjunto de nmeros positivos. Sabemos que
1 P. Como 1 0 = 1 P, por definio, podemos escrever
1>0
Usando a monotonicidade da adio obtemos
0 < 1 < 1+1 < 1+1+1 < 1+1+1+1 <
Note que
N = {1, 1 + 1, 1 + 1 + 1, 1 + 1 + 1 + 1, . . .},
e um conjunto infinito (verifique isso!). Como N K, ento o corpo ordenado K
necessariamente infinito. No difcil ver que a aplicao : N N dada por
(n) = 1 + + 1 (n vezes) uma bijeo. Pode-se provar ainda que as operaes de
N so preservadas por . Isto , (n + m) = (n) + (m) e (nm) = (n) (m) (nesse
caso, dizemos que um isomorfismo ou homomorfismo bijetivo). Isso mostra que
todo corpo ordenado contm o subconjunto (N) = N , que identificado com N.
1.5.2 Intervalos de um corpo K

Em corpo ordenado K, onde a, b K e a < b, definem-se os seguintes conjuntos
chamados intervalos (de extremos a e b)
[ a, b] = { x K; a x b} ( intervalo fechado)
[ a, b) = { x K; a x < b} ( intervalo fechado esquerda)
( a, b] = { x K; a < x b} ( intervalo fechado direita)
( a, b) = { x K; a < x < b} ( intervalo aberto)
Os quatro intervalos, de extremos a e b, so limitados (veja a definio 1.21). Temos

mais cinco possibilidades:
(, b] = { x K; x b} ( interv. ilimitado fechado direita)

(, b) = { x K; x < b} ( interv. ilimitado aberto direita)
[ a, +) = { x K; a x} ( interv. ilimitado fechado esquerda)
( a, +) = { x K; a < x} ( interv. ilimitado aberto esquerda)
(, +) = K
Se a = b, temos [ a, b) = ( a, b] = ( a, b) = e [ a, b] = { a}. Neste ltimo caso, dizemos

que [ a, a] um intervalo degenerado.
x +y
Todo intervalo com extremos a < b (ou ilimitado) infinito (usando x < 2 < y).
1.6: Supremo e nfimo de um conjunto 15
1.5.3 Valor absoluto

Definio 1.20. Em um corpo ordenado K, definimos o valor absoluto de x K como
(
x, se x 0
|x| =
x, se x < 0
Da definio, | x | = x 0 ou | x | = x > 0. Portanto, | x | 0 para todo x K.
Note que, | x | = x (se x 0) ou | x | = x > x (se x < 0). Ou seja, | x | = max{ x, x }.
Proposio 1.9. Se K um corpo ordenado e x, a K.
a x a | x | a.
Resultado anlogo vale para <.
Corolrio 1.1. Se a, x, K
x ( a , a + ) a < x < a+ | x a| < .
Proposio 1.10 (Propriedades do valor absoluto). Seja K um corpo ordenado. Se x, y, z
K ento
(i) | x + y| | x | + |y|; (desigualdade triangular)
(ii) | x y| = | x | |y|;

(iii) | x | |y| | x | |y| | x y|;
(iv) | x z| | x y| + |y z|.
1.6 Supremo e nfimo de um conjunto

1.6.1 Subconjuntos limitados de um corpo
Definio 1.21. Dizemos que um subconjunto X de um corpo ordenado K limitado
superiormente se existe b K tal que x b para todo x X. O elemento b K cota
superior de X. Analogamente, X limitado inferiormente se existe a K tal que a x. O
elemento a dito, uma cota inferior de X. Diz-se que X limitado se limitado inferior
e superiormente. Cotas superiores ou inferiores no so necessariamente nicas.
Exemplo 1.17. O conjunto dos naturais N como subconjunto do corpo ordenado Q
limitado inferiormente e no limitado superiormente. Qualquer subconjunto finito
de um corpo limitado. Os intervalos com extremos a, b K tambm so limitados.
Exemplo 1.18 (N como subconjunto Q(t) limitado). No exemplo anterior, o
subconjunto dos naturais, como subconjunto do corpo dos racionais, no limitado
superiormente. Entretanto, o conjunto dos naturais N como subconjunto do corpo das
funes racionais Q(t) limitado. Uma cota inferior 0 e uma cota superior t (veja o
exemplo 1.23).
1.6.2 Supremo e nfimo

Definio 1.22 (Supremo). Seja K um corpo ordenado e X K limitado superiormente.
Dizemos que um elemento K supremo de X (denotado por = sup X) se a
menor das cotas superiores.
Ou seja, supremo de X se:
(S1) x , x X
(S2) Se c K tal que x c, x X, ento c.

A condio (S2) pode ser reescrita como:
Se c < ento c no cota superior de X. Isto , se c < ento x K tal que c < x.
Analogamente, definimos
Definio 1.23 (nfimo). Seja K um corpo ordenado e X K limitado inferiormente.
Dizemos que um elemento K chamado nfimo de X (denotado por = inf X) se
a maior das cotas inferiores.
Assim, nfimo de X se
(I1) x, x X
(I2) Se c K tal que c x, x X, ento c .

A condio (I2) pode ser reescrita como:
Se < c ento c no cota inferior de X. Isto , se < c ento x K tal que x < c.
Exemplo 1.19. Seja F = { x1 , x2 , . . . , xn } subconjunto de um corpo ordenado K. Neste
caso, o nfimo e supremo de F , respectivamente, o menor e maior elemento de F,
inf F = min F e sup F = max F.
Em particular, inf F F e sup F F.
Exemplo 1.20. Seja X = {1/n; n N} subconjunto do corpo dos racionais Q, ento
inf X = 0 e sup F = 1.
O elemento 0 cota inferior de X, pois 0 1/n, n N. Resta verificar que 0 a
maior das cotas inferiores. Para isto, usamos o fato de N ser ilimitado superiormente
em Q (veja o exemplo 1.22). Seja c > 0, ento existe n N tal que n > 1/c. Logo,
0 < 1/n < c. Isto , existe 1/n X maior do que c. Assim, inf X = 0. Observe que
inf X
/ X. O outro caso, sup X = 1, de verificao imediata.
Nos exemplos acima o nfimo e supremo existem, no sentido de o nfimo e o

supremo serem elementos do corpo ordenado. Pode acontecer de eles no existirem.
Exemplo 1.21 (No existncia de supremo). Seja A = { x Q; x > 0 e x2 < 2}
A limitado superiormente. Afirmamos que, x A, x 2. De fato, se existisse
algum y A tal que y > 2 ento y2 > 4. Nesse caso, y
/ A, o que absurdo.
Afirmamos que
1.7: Corpos arquimedianos 17
no existe o supremo de A (em Q).

De fato, suponha que existe c = sup A em Q. Por tricotomia temos uma das seguintes
possibilidades:
ou c2 < 2 ou c2 > 2 ou c2 = 2.
2 c2

1
Suponha que c2 < 2. Seja d Q o positivo dado por d = min , 1 .
2 2c + 1
Em particular,
2 c2 1 2 c2 d
d e d . De onde, d(2c + 1) < 2 c2 e d2 < d.
2(2c + 1) 2 2 2
Portanto, d2 < d e d(2c + 1) < 2 c2 .
Seja y = c + d. Mostraremos que y A. De fato,
y2 = c2 + 2cd + d2 < c2 + 2cd + d = c2 + d(2c + 1) < c2 + (2 c2 ) = 2
Assim, existe y A tal que y = c + d > c = sup A. Tal contradio nos diz que no
existe um supremo c Q de A tal que c2 < 2.
c2 2
Suponha que c2 > 2. Seja d = um racional positivo. Logo c2 2cd = 2
2c
Se = c d, mostraremos que uma cota superior de A. De fato,
2 = c2 2cd + d2 > c2 2cd = 2. Ou seja, 2 > 2.
Afirmamos que x, x A. Caso contrrio, existiria y A tal que y > . Logo

y2 > 2 > 2. Ou seja y / A. O que absurdo.
Desse modo, uma cota superior A, menor do que o supremo de A. Pois,
= c d < c. Tal contradio, implica que no pode existir supremo de A, c Q, tal
que c2 > 2.
O terceiro caso, c2 = 2, tambm impossvel. Existe o seguinte resultado conhecido:
no existe r Q tal que r2 = 2 (veja o Lema 5.1).
Conclumos, portanto, que no existe o supremo de A em Q.
1.7 Corpos arquimedianos

Na seguinte definio, N denota o conjunto clssico dos naturais.
Definio 1.24. Um corpo ordenado K arquimediano se, para todo cada x K existe
n N tal que
n vezes
z }| {
x < 1+1++1
Observao. Como todo corpo ordenado contm um subconjunto isomorfo a N, sem
perda de generalidade, denotaremos tal subconjunto de K por N. Assim, teramos
n = 1 + 1 + + 1 (n vezes). Com isso, podemos dizer que: um corpo ordenado K
arquimediano, se, e somente se, o conjunto dos naturais N K ilimitado superiormente.
Proposio 1.11 (Propriedade arquimediana). As seguintes propriedades num corpo

ordenado arquimediano K so equivalentes:
(i) N K ilimitado superiormente;
(ii) dados a, b K, com a > 0, existe n N tal que n a > b;
1
(iii) para cada a > 0 de K, existe n N tal que 0 < < a.
n
Demonstrao.
(i)(ii) Sendo a > 0, por (i), existe n N tal que n > b/a. Ou seja, n a > b.
1 1
(ii)(iii) Em (ii) fazemos b = 1, obtemos n a > 1, isto , < a. Logo, 0 < < a.
n n
1
(iii)(i) Para todo a 0 existe 1 N tal que a < 1. Se a > 0 ento > 0. Por (iii) existe
a
1 1
n N tal que < . Portanto, n > a. Isto , N ilimitado superiormente em K.
n a

Exemplo 1.22. O conjunto dos nmeros racionais Q arquimediano, pois o conjunto

dos naturais N Q ilimitado superiormente.
Exemplo 1.23 (conjunto no arquimediano). O corpo ordenado das funes racionais

Q(t) no arquimediano. Com efeito, o conjunto dos naturais em Q(t) limitado
superiormente. Para todo n N, existe f Q(t) dado por f (t) = t tal que n < f .
Lembrando que n < f se, e somente se, f n P (veja o exemplo 1.16). Note que o
coeficiente de maior grau de t n 1.
1.8 Corpo ordenado e completo

No Exemplo 1.21 vimos que o corpo ordenado Q contm um subconjunto A
limitado superiormente, porm, no existe sup A no corpo Q. Se pretendemos
trabalhar com corpos ordenados, de tal forma que todos seus conjuntos limitados
superiormente possuam supremo no corpo, precisamos definir um corpo ordenado
especial com essa propriedade.
Definio 1.25. Um corpo ordenado K chamado corpo ordenado completo, se todo

subconjunto no-vazio de K limitado superiormente possui supremo em K.
Exemplo 1.24. Com essa definio e o Exemplo 1.21, conclumos que o corpo ordenado
Q no completo.
Proposio 1.12. Todo corpo ordenado completo e arquimediano.

1.9: Exerccios 19
Demonstrao. Seja K um corpo ordenado completo. Suponha que K no

arquimediano, ento o conjunto N K limitado superiormente. Afirmamos que
N no possui supremo em K. De fato, suponha que existe = sup N. Logo, n + 1
para todo n N (pois n + 1 N) o que implica que n 1 para todo n N. Isto
, 1 cota superior de N. Ou seja, existe uma cota superior de N menor do que o
supremo de N, o que absurdo.
Assim, num corpo no-arquimediano K o conjunto N K, que limitado
superiormente, no possui supremo em K. Portanto, K no completo. Essa
contradio demonstra a proposio.
Ainda no demos um exemplo concreto de um corpo ordenado e completo. Apenas

estamos mostrando algumas consequncias ou propriedades que esse tipo de conjunto
deveria ter. Normalmente, a existncia do conjunto dos nmeros reais R aceito como
axioma. Em particular, aceita-se que R tem a propriedade do supremo. Tambm
conhecido como Axioma do supremo. Desse modo, a rigor, no podemos afirmar
que realmente exista um corpo ordenado completo. Os prximos captulos, sero
dedicados justamente a demonstrar que esse tipo de conjunto, de fato, existe. Ser
um longo caminho (pois antes devemos passar pelos, naturais, inteiros e racionais).
Demonstraremos ainda que (a menos de isomorfismo) esse conjunto (o conjunto dos
reais) nico.
1.9 Exerccios
1. Demonstre as propriedades de reunio e interseo da Proposio 1.2.
2. Demonstre as propriedades do complementar da Proposio 1.3.
3. Demonstre a Proposio 1.4 sobre parties e relaes de equivalncia.
4. Seja R uma relao em um conjunto M, tal que
(i) Se aRb, ento bRa.
(ii) Se aRb e bRc, ento aRc.
(iii) Para todo a M, existe b M tal que aRb.
Prove que R uma relao de equivalncia.
5. Demonstre a Proposio 1.5, sobre a imagem e imagem inversa de uma funo.
6. Demonstre a Proposio 1.7 sobre propriedades dos corpos.
x1 x xn
7. Se = 2 = ... = num corpo K, prove que, dados a1 , . . . , an K tais que
y1 y2 yn
a x + . . . an xn x
a1 y1 + . . . an yn 6= 0, tem-se 1 1 = 1.
a1 y1 + . . . a n y n y1
8. Sejam K, L corpos. Uma funo f : K L chama-se um homomorfismo quando
se tem f ( x + y) = f ( x ) + f (y) e f ( x.y) = f ( x ). f (y), quaisquer que sejam
x, y K.
(a) Dado um homomorfismo f : K L, prove que f (0) = 0.

(b) Prove tambm que,
ou f ( x ) = 0 para todo x K, ou ento f (1) = 1 e f injetiva.
9. Num corpo ordenado K, se a K e a 6= 0, ento a2 > 0.
10. Seja K um corpo ordenado com identidade multiplicativa u. Mostre que o

conjunto
{u < u + u < u + u + u < u + u + u + u < }
infinito e , portanto, K infinito.
11. Num corpo ordenado K, prove que: a2 + b2 = 0 a = b = 0.
12. Todo corpo ordenado contm um subconjunto isomorfo ao conjunto dos naturais.
13. Sejam X um conjunto qualquer e K um corpo. Indiquemos com F ( X; K ) o

conjunto de todas as funes f : X K. Definamos em F ( X; K ) as operaes
de adio e de multiplicao de modo natural: dadas f , g : X K, as funes
f + g : X K e f g : X K so dadas por ( f + g)( x ) = f ( x ) + g( x ) e
( f g)( x ) = f ( x ) g( x ). Verifique quais axiomas de corpo so vlidos e quais no
so vlidos no conjunto F ( X; K ), relativamente a essas operaes.
14. Se n N e x < 1 num corpo ordenado K, prove que (1 x )n 1 nx.
15. Demonstre as propriedades de ordem da Proposio 1.8.
16. Demostre as propriedades do valor absoluto da Proposies 1.9 e 1.10.
17. Prove por induo que, dados x1 , . . . , xn num corpo ordenado K, tem-se
| x1 + + x n | | x1 | + + | x n | e | x1 x2 x n | = | x1 | | x2 | | x n |.
18. Mostre que todo intervalo com extremos a < b (ou ilimitado) infinito.
Captulo 2
Os Nmeros Naturais
2.1 O conceito de nmero
Os algarismos 1, 2, 3, 4, 5, 6, 7, 8, 9, 0 so, atualmente, de uso to amplo e

comum, que, conhec-los e saber us-los aparenta ser uma aptido inata dos humanos.
Entretanto, historicamente, sabemos que o conceito de nmero uma abstrao da
mente humana. Tiveram que passar muitos milnios at os primeiros humanos
perceberem que h "algo comum" num conjunto de: sete pessoas; de sete dias; de sete
rvores; sete meses; etc. No caso, a ideia ou conceito abstrato desse "algo comum" o
que representamos pelo smbolo: 7. Nas palavras de Georges Ifrah no seu livro: Os
nmeros [15], cuja leitura recomendamos,
". . . No entanto, o fato certo: houve um tempo em que o ser humano no sabia contar. . . "
Houve um tempo em que o nmero era apenas sentido. Ainda existem tribos que s
tm dois nomes prprios para nmeros (um, dois e . . . muitos). Outros para se referir
ao trs ou quatro, usam algo como: dois-um e dois-dois. Para um nmero maior a
esses, usam termos como: muitos. Para eles, o nmero no concebido como algo
abstrato, para eles, sentido e percebido, como se fosse um cheiro, uma cor ou um
som. Nos humanos, existe uma aptido natural que a percepo ou sensao numrica,
(por exemplo, algo ser menor ou maior) que no pode ser confundida com a capacidade
abstrata de contar, a qual constitui uma faculdade bem recente da humanidade.
Embora o conjunto dos naturais, N = {1, 2, 3, . . .}, intuitivamente, parea ser
bem simples de conceb-lo, faz-se necessrio formalizar sua definio, de tal forma
que a partir dele seja possvel construir praticamente quase toda a matemtica que
conhecemos.
Para tal formalizao, diversos matemticos se debruaram. Destaca-se a realizada
pelo italiano Giuseppe Peano em 1889 em Arithmetices principia, nova methodo exposita
(uma traduo pode ser achada em [24]) e tambm o trabalho de Dedekind [8].
21
22 Captulo 2: Os Nmeros Naturais
2.2 Definio axiomtica dos Naturais

O conjunto dos nmeros naturais N e todas suas propriedades podem ser
deduzidos a partir de alguns postulados, conhecidos como Axiomas de Peano. Para
esta seo podem ser consultados os livros de Halmos [13] e E. Lima [19], [20].
2.2.1 Axiomas de Peano

Assumimos o conjunto dos naturais, N, como um objeto no definido, onde seus
elementos so chamados nmeros naturais, gozando dos seguintes axiomas:
(P1) 1 um nmero natural
(P2) Se n um natural, ento seu sucessor s(n) tambm um natural.
(P3) O natural 1, no sucessor de nenhum outro natural.
(P4) Se dois naturais m e n tm o mesmo sucessor, isto , s(m) = s(n), ento m = n.
(P5) (Princpio de Induo) Seja X N, tal que
1X e
se n X ento o sucessor s(n) X.
Ento X = N.
No trabalho original de Peano de 1889 [24] foram considerados, alm dos cinco
axiomas, outros quatro sobre a relao de igualdade. Trs, indicando que a igualdade
"=" uma relao de equivalncia ( x = x; x = y y = x; x = y e y = z x = z). E
uma quarta, afirmando que, se x N e x = y ento y N. Deixar de coloc-los na lista
acima no atrapalha em nada na definio de N. Nos livros de Elon Lima [19] e [20] ao
invs dos cinco axiomas acima, so apresentados trs axiomas, a qual coincide com a
proposta de Dedekind [8]. De qualquer forma esses axiomas, seja na forma de Peano
ou a de Dedekind, so equivalentes.
Observaes. Seguem algumas observaes importantes sobre os Axiomas de Peano.
No momento de definir o conjunto dos naturais pelos axiomas de Peano, fomos

logo utilizando a notao N. O que pode nos induzir a pensar que estamos
trabalhando com o conjunto {1, 2, 3, . . .} (que costumamos denotar por N) e que
os axiomas apenas descrevem N. No esse o caso. Neste momento deveramos
esquecer que se trata do conhecido {1, 2, 3, . . .}. Devemos ter em conta que
apenas estamos tomando emprestado o smbolo N por convenincia.
O axioma (P1) diz que N 6= . Assim, a nica certeza que temos sobre N, que
ele deve conter pelo menos um elemento, que denotamos por 1. Poderamos ter
usado qualquer outro smbolo. O resto dos nmeros, deve ser induzido a partir
dos axiomas (ou regras do jogo).
2.2: Definio axiomtica dos Naturais 23
(P2) define uma funo s : N N tal que a cada n N lhe associa s(n) N
chamado sucessor de n. Observe que nada foi dito sobre como opera a funo s.
O axioma (P4) afirma que s injetiva. Assim, sabemos que cada elemento tem
apenas um
O axioma (P3) diz que s no sobrejetiva (note que s(N) 6= N).
Os quatro primeiros axiomas implicam que
X = {1, s(1), s(s(1)), s(s(s(1))), . . .} N
X infinito e, portanto, N tambm infinito. (prove isto!)

Sabemos que X (acima definido) est contido em N. A princpio, o conjunto de
naturais N poderia conter elementos que no esto em X. Mas, o axioma (P5)
nos garante que na verdade, X = N. Como isso, agora sabemos, como so os
elementos de N. Alm do 1, qualquer outro natural sempre sucessor de algum
natural. Veja o Teorema 2.1
Ser que existe algum outro conjunto distinto de N gozando dos axiomas de
Peano? A resposta : qualquer outro conjunto gozando dos Axiomas de Peano
isomorfo a N. No demonstraremos isso aqui. Provas disso podem ser achadas
na literatura, veja [25]. Portanto, podemos assumir que N nico.
2.2.2 Princpio de Induo

O Princpio de Induo algumas vezes enunciado como segue,
Suponha que P alguma propriedade ou predicado sobre naturais, tal que

P (1) verdadeiro
se P (n) ser verdadeiro, implica que P (s(n)) tambm verdadeiro.
Ento, P (n) verdadeiro para todo n N.
Qualquer demonstrao, usando esse princpio chamada: demonstrao por

induo. Quando for definida a operao soma em N o s(n) ser trocado por n + 1.
Teorema 2.1. Se n N ento, n = 1 ou m N tal que n = s(m).

Demonstrao. Seja
A = { n N; n = 1 ou m N, n = s(m)} = {n N; n=1 ou n um sucessor}.
Por definio de A, 1 A. Suponha que n um sucessor, isto , n = s(m) para algum

n N. Como s(n) = s(s(m)), segue que s(n) sucessor de s(m). Ou seja, se n A
ento s(n) A. Pelo princpio de induo, A = N.
Corolrio 2.1. Se n N e n 6= 1 ento, existe um nico m N tal que n = s(m).

Demonstrao. Se n N e n 6= 1, o teorema 2.1 implica que existe m N tal que
n = s(m). Para a unicidade de m, suponha que existe m0 N tal que n = s(m0 ). Pelo
axioma (P4), s injetiva, portanto, m = m0 .
O corolrio acima, permite definir o antecessor ou predecessor de um natural n 6= 1

como sendo o nico natural m tal que n = s(m).
2.3 Operaes de adio e multiplicao em N

Antes de definirmos as operaes para N explicamos o que entendemos por iterao.
Dada uma funo f : X X suponha que a cada n N lhe corresponde uma nica
funo f n : X X, tal que
f1 = f e f s(n) = f f n .
A funo f n chamada a n-sima iterada de f .
A n-sima iterada da funo s : N N ficaria
s1 = s e ss(n) = s sn . (1)
2.3.1 A Adio em N
Definio 2.1 (Adio em N). Seja s : N N a funo dada pelo axiomas de Peano.
Dados m, n N, sua soma m + n N definida por
m + n := sn (m)
A definio diz que somar m com n tomar o natural m e iter-la n vezes. Da
definio de soma e (1) temos,
m + 1 = s1 ( m ) = s ( m ).
Essa igualdade nos indica que a notao do sucessor de m, s(m), pode ser substituda
pela notao m + 1. Ainda da definio 2.1 e (1) temos
m + s(n) = ss(n) (m) = (s sn )(m) = s(sn (m)) = s(m + n).
Desse modo, obtemos duas importantes igualdades que utilizaremos diversas vezes,
m + 1 = s ( m ), (2)
m + s ( n ) = s ( m + n ). (3)
O Teorema 2.1 diz que qualquer natural ou 1 ou o sucessor s(n) de algum n N.
Desse modo, as equaes (2) e (3), na verdade, so as regras de como devemos somar
um nmero m com qualquer outro natural arbitrrio. Muitos autores definem a soma
de dois naturais pelas equaes (2) e (3).
A igualdade (3), usando (2), equivalente a escrever
m + ( n + 1) = ( m + n ) + 1 (4)
Essa equao no permitir demonstrar que a adio associativa.
2.3: Operaes de adio e multiplicao em N 25
Proposio 2.1 (Associatividade). Para todo m, n, p N,
m + (n + p) = (m + n) + p.
Demonstrao. Seja, X = { p N; m, n N, m + (n + p) = (m + n) + p }.
Demonstramos por induo em p.
Por (4), 1 X.
Suponha que p X, provaremos que s( p) X.

Usando a hiptese m + (n + p) = (m + n) + p e (3),
m + (n + s( p)) = m + s(n + p) = s(m + (n + p)) = s((m + n) + p) = (m + n) + s( p).
Assim, s( p) X. Segue, do princpio de induo, que X = N. Ou seja,

m + (n + p) = (m + n) + p, para todo m, n, p N.
Para demonstrar que a adio goza da propriedade da comutatividade mostramos

um lema.
Lema 2.1. Para todo m N, m + 1 = 1 + m.
Demonstrao. Seja Y = {m N; m + 1 = 1 + m}. De 1 + 1 = 1 + 1, temos 1 Y.

Suponha que m Y. Ou seja, m + 1 = 1 + m. Usando (3), s(m) + 1 = s(m + 1) =
s(1 + m) = 1 + s(m). Assim, s(m) Y. Pelo princpio de induo, Y = N.
Proposio 2.2 (Comutatividade). Para todo m, n N,
m + n = n + m.
Demonstrao. Seja,
X = { n N; m N, m + n = n + m } .
Demonstraremos por induo em n.
Pelo Lema 2.1, m + 1 = 1 + m. Assim, 1 X.
Suponha que n X, provaremos que s(n) X.

Usando (3), a hiptese de induo m + n = n + m, (2), o Lema 2.1 e a
associatividade,
m + s(n) = s(m + n) = s(n + m) = n + s(m)

= n + ( m + 1) = n + (1 + m ) = ( n + 1) + m
= s(n) + m.
Assim, s(n) X. Segue, do princpio de induo, que X = N.

Ou seja, m + n = n + m, para todo m, n N.
Proposio 2.3 (Lei do corte da adio). Para m, n N,
m+n = m+p = n = p.
Demonstrao. Seja,
X = { m N; m + n = m + p n = p}
para quaisquer n, p N. Demonstraremos por induo em m.
1 X. De fato, da injetividade de s e comutatividade,
1 + n = 1 + p n + 1 = p + 1 s(n) = s( p) n = p.
Suponha que m X, provaremos que s(m) X.

Usando a comutatividade, (3), a injetividade de s e a hiptese de induo,
s(m) + n = s(m) + p n + s(m) = p + s(m)

s(n + m) = s( p + m)
n+m = p+m
m+n = m+p
n = p.
O que mostra que s(m) X.
Pelo princpio de induo, X = N. A proposio est provada.
Proposio 2.4 (Tricotomia). Para m, n N, apenas uma e somente uma alternativa valida:
(i) ou m = n;
(ii) ou existe p N tal que m = n + p;
(iii) ou existe q N tal que n = m+q
2.3.2 A multiplicao em N
Intuitivamente, o produto m n somar m vezes o mesmo nmero n.
Definio 2.2 (Multiplicao em N). O produto de dois nmeros definido por
m 1 = m, (5)
m s(n) = m n + m (6)
2.3: Operaes de adio e multiplicao em N 27
Essas duas equaes, so as regras para multiplicar um natural m com qualquer

outro natural que, pelo Teorema 2.1, ou 1 ou um sucessor s(n) de algum n N.
Proposio 2.5 (Distributividade). Para todo m, n, p N, m (n + p) = m n + m p.
Demonstrao. Seja X = { p N; m, n N, m ( n + p ) = m n + m p }.
1 X. De fato, de (5) e (6) obtemos m (n + 1) = m n + m 1.
Suponha que p X. Provaremos que s( p) X.

Usando a hiptese de induo m (n + p) = m n + m p, a associatividade e
comutatividade da adio, e (6), temos
(m + n) s( p) = (m + n) p + (m + n)
= (m p + n p) + (m + n)
= m p + (n p + m) + n
= m p + (m + n p) + n
= (m p + m) + (n p + n)
= m s ( p ) + n s ( p ).
Assim, s( p) X.
Segue do princpio de induo que X = N. O que prova a proposio.
Proposio 2.6 (Associatividade). Para todo m, n, p N, m (n p) = (m n) p.
Demonstrao. Seja X = { p N; m, n N, m ( n p ) = ( m n ) p }.
1 X. De fato, usando (5) temos m (n 1) = m n = (m n) 1.

Usando (6), a hiptese de induo m (n p) = (m n) p e a distributividade,
m (n s( p)) = m (n p + n)
= m (n p) + m n
= (m n) p + m n
= ( m n ) s ( p ).
Assim, s( p) X.
Segue do princpio de induo que X = N. O que prova a proposio.
Proposio 2.7 (Lei de corte do produto). Para m, n, p N, m p = n p m = n.
Demonstrao. Seja X = { p N; m, n N, m p = n p m = n }.
1 X. De fato, por (5) temos m 1) = n 1 m = n.


Usando (6), a hiptese de induo m (n p) = (m n) p e a lei de corte da adio,
m s( p) = n s( p) m p + m = n +n
mp+m = mp+n
m = n.
Assim, s( p) X.
Pelo princpio de induo, X = N. A proposio est provada.
2.4 Relao de ordem em N

Definio 2.3. Sejam m, n N, dizemos que m menor do que n, o que denotamos por
m < n,
se, e somente se, existe p N tal que n = m + p.
Proposio 2.8 (Propriedades da relao de ordem). Sejam m, n, p N. A relao < tem

as seguintes propriedades
(1) Transitividade. m < n e n < p m < p.
(2) Tricotomia. Dados m, n N, uma e apenas uma das seguintes alternativas valida
ou m = n ou m < n ou n < m.
(3) Monotonicidade da adio. m < n m + p < n + p, para todo p N.
(4) Monotonicidade da multiplicao. m < n m p < n p, para todo p N.
Demonstrao.
(1) Existem r1 , r2 N tal que m + r1 = n e n + r2 = p. Assim, existe (r1 + r2 ) N tal

que m + (r1 + r2 ) = (m + r1 ) + r2 = n + r2 = p. Portanto, m < p.
(2) Segue imediatamente da Proposio 2.4.
(3) Existe q N tal que m + q = n,

(m + p) + q = (m + q) + p = n + p. Ou seja, m + p < n + p.
(4) Existe q N tal que m + q = n,

m p + q p = (m + q) p = n p. Portanto, m p < n p.

2.5: Conjuntos finitos e infinitos 29
2.5 Conjuntos finitos e infinitos
Definio 2.4. Para cada n N definimos o conjunto In como

In = {1, 2, . . . , n}
Definio 2.5 (conjunto finito). Dizemos que um conjunto X finito quando for vazio
ou, para algum n N, existir uma bijeo
: In X,
Se X = dizemos que X tem zero elementos. Se existir uma bijeo com In dizemos
que X tem n elementos.
Um conjunto X que no finito chamado infinito.
Enunciamos alguns resultados sobre conjuntos finitos (sem demonstrao).
Proposio 2.9. Se X finito e Y X ento Y finito
Proposio 2.10. Se X e Y finito, ento X Y finito.
Proposio 2.11. Se X e Y so finitos, ento X Y finito.
2.6 Conjuntos enumerveis e no-enumerveis

Definio 2.6. Dizemos que um conjunto X enumervel se for finito ou ento existir
uma bijeo : N X.
Quando o conjunto enumervel X no finito, dizemos que um conjunto infinito
enumervel. Um conjunto X que no for enumervel dito no-enumervel.
Exemplo 2.1. A bijeo f : N P, f (n) = 2n, mostra que o conjunto P dos nmeros
naturais pares infinito enumervel. Analogamente, g : N I, g(n) = 2n 1
define uma bijeo de N sobre o conjunto I dos nmeros mpares, o qual , portanto,
enumervel.
Exemplo 2.2. O conjunto Z dos nmeros inteiros enumervel, pois a funo h : Z
N definida por h(n) = 2n, quando n positivo e h(n) = 2n + 1 quando n negativo
ou zero, um bijeo.
Proposio 2.12. Todo subconjunto X N enumervel.
Demonstrao. Se X finito nada h para demonstrar. Caso contrrio,
enumeramos os elementos de X pondo x1 = menor elemento de X, e supondo
definidos x1 < x2 < . . . < xn , escrevemos An = X { x1 , . . . , xn }. Observando
que An 6= , pois X infinito, definimos xn+1 = menor elemento de An . Ento
X = { x1 , x2 . . . , xn , . . .}. Com efeito, se existisse algum elemento x X diferente de
todos os xn , teramos x An para todo n N, logo x seria um nmero natural maior
do que todos os elementos do conjunto infinito { x1 , x2 . . . , xn , . . .}, ou seja, o conjunto
{ x1 , x2 . . . , xn , . . .}, seria limitado e, portanto, finito. Contradio.
Corolrio 2.2. Seja f : X Y injetiva. Se Y enumervel ento X enumervel.
Com efeito, basta considerar o caso em que existe uma bijeo : Y N. Ento
f : X N uma bijeo de X sobre um subconjunto de N, o qual enumervel.
Corolrio 2.3. Seja f : X Y sobrejetiva. Se X enumervel ento Y enumervel.
Com efeito, para cada y Y podemos escolher um x = g(y) X tal que f ( x ) = y.

Isto define uma aplicao g : Y X tal que f ( g(y)) = y para todo y Y. Segue-se da
que g injetiva. Pelo corolrio 2.2, Y enumervel.
Corolrio 2.4. O produto cartesiano de dois conjuntos enumerveis um conjunto

enumervel.
Com efeito, se X e Y so enumerveis ento existem sobrejees f : N X e

g : N Y, logo : N N X Y, dada por (m, n) = ( f (m), g(n)) sobrejetiva.
Portanto, basta provar que N N enumervel. Para isto, consideremos a aplicao
: N N N, dada por (m, n) = 2m 3n . Pela unicidade da decomposio de um
nmero em fatores primos, injetiva. Logo, N N enumervel.
Corolrio 2.5. A reunio de uma famlia enumervel de conjuntos enumerveis enumervel.
Com efeito, dados X1 , X2 , . . . , Xn , . . . enumerveis, existem sobrejees f 1 : N

X1 , f 2 : N X2 , . . . , f n : N Xn , . . . Tomando X = n=1 Xn , definimos a sobrejeo
f : N N X pondo f (m, n) = f n (m).
Pelos resultados anteriores, podemos mostrar que Q = {m/n; m, n Z, n 6= 0}
enumervel. Escrevendo Z = Z {0}, podemos definir uma funo sobrejetiva
f : Z Z Q pondo f (m, n) = m/n.
Proposio 2.13. Todo conjunto infinito X contm um subconjunto infinito enumervel.
Demonstrao. Basta definir uma funo injetiva f : N X. Para isso, escolhemos

para cada subconjunto no vazio A X, um elemento x A A. Em seguida, definimos
f por induo. Pomos f (1) = x X e, supondo j definidos f (1), f (2), . . . , f (n),
escrevemos An = X { f (1), f (2), . . . , f (n)}. Como X infinito, An no vazio.
Definimos ento f (n + 1) = x An . Isto completa a definio indutiva da funo f : N
X. Afirmamos que f injetiva. Com efeito, dados m 6= n em N tem-se, digamos m < n.
Ento f (m) { f (1), . . . , f (n 1)} enquanto que f (n) X { f (1), . . . , f (n 1)}.
Logo, f (m) 6= f (n). A imagem f (N) , portanto, um subconjunto infinito enumervel
de X.
2.7 Exerccios
1. Demonstre que se um conjunto P goza das propriedades dadas pelos Axiomas
de Peano, ento, P infinito enumervel.
2. O princpio da Boa Ordenao diz que todo subconjunto no-vazio de N possui

elemento mnimo. Demonstre que N, com a relao , verifica o Princpio da Boa
Ordenao.
2.7: Exerccios 31
3. Dados os nmeros naturais a, b prove que existe um nmero natural m tal que
m a > b.
4. Usando o princpio de induo, demonstre a propriedade de tricotomia

enunciada na Proposio 2.4.
5. Use induo para demonstrar os seguintes fatos:
(a) ( a 1)(1 + a + . . . + an ) = an+1 1, seja quais forem a, n N;

(b) n 4 n! > 2n
Captulo 3
Os Nmeros Inteiros
3.1 Definio axiomtica dos inteiros

Antes de procedermos com a construo do conjunto dos inteiros, a definiremos
axiomaticamente. Desse modo, saberemos quais as propriedades que devemos atingir
ao constru-lo.
Definio 3.1. O conjunto dos nmeros inteiros, denotado por Z, um conjunto onde
so definidas duas operaes binrias; a adio + : Z Z Z, ( x, y) 7 x + y e a
multiplicao : Z Z Z, ( x, y) 7 x y, as quais gozam dos seguintes axiomas.
Sejam x, y, z Z,
(1) Associatividade. ( x + y) + z = x + (y + z) e ( x y ) z = x ( y z ).
(2) Comutatividade. x + y = y + x e x y = y x.
(3) Existncia do elemento neutro.

Existe 0 Z tal que x + 0 = x para todo x Z.
Existe 1 Z (1 6= 0) tal que x 1 = x para todo x Z.
(4) Existncia do simtrico. Para cada x Z, existe x Z tal que x + ( x ) = 0.
(5) Distributividade. x (y + z) = x y + x z.
(6) Z no tem divisores de zero. x y = 0 x = 0 ou y = 0.
Um conjunto D junto a duas operaes binrias gozando dos seis axiomas acima
chamado domnio de Integridade.
Todo corpo um domnio de integridade.
O seguinte resultado afirma que todo domnio de integridade admite uma extenso
chamada corpo de fraes.
Proposio 3.1. Se D um domnio de integridade ento, existe um corpo K, D K , tal que

os elementos de K podem ser escritos da forma a/b, onde a, b D.
33
34 Captulo 3: Os Nmeros Inteiros
Ordem em Z
Muitas propriedades em Z se originam do fato de escrevermos elas na ordem usual
. . . 3, 2, 1, 0, 1, 2, 3, . . .
Tal ordem pode ser expresso pela relao a < b, que se l: a menor do que b.
Significando que, a est esquerda de b. A relao a < b equivalente a dizer que
b a um inteiro positivo (ou natural). Toda propriedade da relao a < b pode ser
derivada da existncia de um conjunto de inteiros positivos (neste caso N) gozando
das seguintes propriedades (ou axiomas)
(1) (Fechadura) se x, y so positivos ento x + y e x y so positivos.
(2) (Tricotomia) para cada a Z vale uma e somente uma das seguintes alternativas:
ou a positivo, ou a = 0, ou a positivo.
Desse modo, a ; e .

Dizemos que:
a maior do que b, denotado por a > b, se e somente se b < a;
a maior ou igual do que b, denotado por a b, se e somente se a > b ou a = b;
a menor ou igual do que b, denotado por a b, se e somente se a < b ou a = b.
Seguem algumas propriedades decorrentes da ordem em Z. Ae demonstrao

imediata e so baseadas na ordem definida em N.
Proposio 3.2 (Propriedades da ordem em Z). Sejam a, b, c Z ento valem,
(1) Para todo a Z {0}, a2 > 0 (portanto, 1 > 0)
(2) Transitividade. Se a 0 ento ac < bc.

Se a bc.
(5) Tricotomia. Para quaisquer a, b Z vale apenas uma e somente uma das relaes
ou a b.
3.2: Construo dos Nmeros Inteiros 35
3.2 Construo dos Nmeros Inteiros

Proposio 3.3. A relao em N N definida por
( a, b) (c, d) a+d = b+c
uma relao de equivalncia.
Demonstrao.
Reflexividade. Para todo ( a, b) N N, ( a, b) ( a, b) a + b = b + a.
Simetria. Se ( a, b), (c, d) N N,
( a, b) (c, d) a + d = b + c c + b = d + a (c, d) ( a, b).
Transitividade. Se ( a, b), (c, d), (e, f ) N N tal que ( a, b) (c, d) e (c, d) (e, f )
Portanto,
a + d = b + c e c + f = d + e a + d + c + f = b + c + d + e.
Cancelando c e d, obtemos a + f = b + e. Isto , ( a, b) (e, f ).
A relao de equivalncia induz uma partio em N N. Assim, temos o

conjunto quociente
(N N)/ = {[( a, b)]; ( a, b) N N}
No conjunto (N N)/ definiremos uma adio e uma multiplicao.
3.3 Operaes em (N N)/

3.3.1 Adio e multiplicao em (N N)/
Proposio 3.4 (Adio). Em (N N)/, a operao + definida por
[( a, b)] + [(c, d)] := [( a + c, b + d)]
bem definida.
Demonstrao. Sejam [( a, b)] = [( a0 , b0 )] e [(c, d)] = [(c0 , d0 )]. Precisamos mostrar

que [( a + c, b + d)] = [( a0 + c0 , b0 + d0 )]. De fato, ( a, b) ( a0 , b0 ) e (c, d) (c0 , d0 )
implicam a + b0 = b + a0 e c + d0 = d + c0 . Somando e associando adequadamente
temos ( a + c) + (b0 + d0 ) = (b + d) + ( a0 + c0 ). Ou seja, ( a + c, b + d) ( a0 + c0 , b0 + d0 ).
Portanto, [( a + c, b + d)] = [( a0 + c0 , b0 + d0 )].
Note que, sem perda de generalidade, estamos usando o mesmo smbolo + para a
adio em (N N )/ e para adio em N. Faremos o mesmo para a multiplicao.
Proposio 3.5 (Multiplicao). Em (N N)/, a operao definida por

[( a, b)] [(c, d)] := [( ac + bd, ad + bc)]
bem definida.
Demonstrao. Sejam [( a, b)] = [( a0 , b0 )] e [(c, d)] = [(c0 , d0 )]. Assim, ( a, b) ( a0 , b0 )
e (c, d) (c0 , d0 ) implicam
a + b0 = b + a0 e c + d0 = d + c0 . (1)
Precisamos mostrar que
[( ac + bd, ad + bc)] = [( a0 c0 + b0 d0 , a0 d0 + b0 c0 )],
que equivalente a mostrar
ac + bd + a0 d0 + b0 c0 = a0 c0 + b0 d0 + ad + bc. (2)
A verificao de (2), usando as identidades (1), segue de
ac + bd + a0 d0 + b0 c0 + b0 c = ( a + b0 )c + bd + a0 d0 + b0 c0
= ( a0 + b)c + bd + a0 d0 + b0 c0
= a0 c + bc + bd + b0 c0 + a0 d0
= a0 (c + d0 ) + bc + bd + b0 c0
= a0 (c0 + d) + bc + bd + b0 c0
= a0 c0 + a0 d + bc + bd + b0 c0
= a0 c0 + ( a0 + b)d + bc + b0 c0
= a0 c0 + ( a + b0 )d + bc + b0 c0
= a0 c0 + ad + b0 d + bc + b0 c0
= a0 c0 + ad + b0 (d + c0 ) + bc
= a0 c0 + ad + b0 (d0 + c) + bc
= a0 c0 + ad + b0 d0 + b0 c + bc
= a0 c0 + b0 d0 + ad + bc + b0 c.

As duas proposies anteriores mostram que + e so operaes binrias.
Observao. Como pretendemos construir o conjunto dos inteiros, justificaremos,
grosso modo, como cada classe de equivalncia (i.e., cada elemento de (N N)/ )
se identifica com um elemento de Z, onde Z o conjunto definido axiomaticamente na
Definio 3.1.
Sejam a, b, c, d N e seja Z o conjunto da Definio 3.1. Como N Z ento
a, b, c, d Z. Sejam [( a, b)], [(c, d)] (N N)/ tal que [( a, b)] = [(c, d)].
Considerando a, b, c, d Z ento
[( a, b)] = [(c, d)] a + d = b + c a b = a d.
Assim, cada classe [( a, b)] (N N)/ pode ser identificada com a diferena a b Z.
Aproveitamos essa identificao para definir o conjunto dos nmeros inteiros como
sendo o conjunto (N N)/.
3.3: Operaes em (N N)/ 37
Figura 3.1: Obteno de Z = (N N)/
Definio 3.2. O conjunto dos nmeros inteiros, denotado por Z, definido como sendo
o conjunto das classes de equivalncia [( a, b)] dos elementos ( a, b) de N N respeito
relao de equivalncia . Ou seja,
Z = (N N)/ .
A adio + e multiplicao em Z so definidas, respectivamente, por
[( a, b)] + [(c, d)] = [( a + c, b + d)] e [( a, b)] [(c, d)] = [( ac + bd, ad + bc)].
Teorema 3.1 (Propriedades da adio +). A adio + em Z = (N N)/ tem as seguintes

propriedades:
(1) associativa;
(2) comutativa;
(3) 0 := [(1, 1)] o elemento neutro e
(4) existe simtrico. Para cada x = [( a, b)] Z existe x := [(b, a)] tal que x + ( x ) = 0.
Demonstrao.
(1) Sejam x = [( a, b)], y = [(c, d)] e z = [(e, f )]

( x + y) + z = [( a, b)] + [(c, d)] + [(e, f )]
= [( a + c, b + d)] + [(e, f )]

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

= a + ( c + e ), b + ( d + f )
= [( a, b)] + [(c + e, d + f )]

= [( a, b)] + [(c + e, d + f )]

= [( a, b)] + [(c, d)] + [(e, f )]
= x + ( y + z ).
(2) Sejam x = [( a, b)] e y = [(c, d)]

x+y = [( a, b)] + [(c, d)]
= [( a + c, b + d)]
= [(c + a, d + b)]
= [(c, d)] + [( a, b)]
= y + x.
(3) Se x = [( a, b)] Z, existe 0 = [(1, 1)] tal que x + 0 = x. Como ( a + 1, b + 1) ( a, b),

x+0 = [( a, b)] + [(1, 1)]
= [( a + 1, b + 1)]
= [( a, b)]
= x.
(4) Dado x = [( a, b)] Z seja x = [(b, a)].

Observando que para todo n N, (n, n) (1, 1), temos
x + ( x ) = [( a, b)] + [(b, a)]
= [( a + b, b + a)]
= [( a + b, a + b)]
= [(1, 1)]
= 0.

Teorema 3.2 (Propriedades da multiplicao). A multiplicao em Z = (N N)/
tem as seguintes propriedades:
(1) associativa;
(2) comutativa;
(3) 1 := [(2, 1)] elemento neutro e
(4) distributiva sobre a adio.
Demonstrao.
(1) Sejam x = [( a, b)], y =
[(c, d)] e z = [(e, f )].
( x y) z = [( 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 + ad f + bc f , ac f + bd f + ade + bce)]
= [( ace + ad f + bc f + bde, ac f + ade + bce + bd f )]

= a(ce + d f ) + b(c f + de), a(c f + de) + b(ce + d f )
= [( a, b)] [(ce + d f , c f + de )]

= [( a, b)] [(c, d)] [(e, f )]
= x ( y z ).
3.3: Operaes em (N N)/ 39
(2) Sejam x = [( a, b)] e y = [(c, d)]
xy = [( a, b)] [(c, d)]

= [( ac + bd, ad + bc)]
= [( ac + bd, bc + ad)]
= [(ca + db, cb + da )]
= [(c, d)] [( a, b)]
= y x.

(3) Se x = [( a, b)] Z e 1 = [(2, 1)]. Usando a + ( a + b), b + ( a + b) ( a, b),
x 1 = [( a, b)] [(2, 1)]

= [( a 2 + b 1, a 1 + b 2)]
= [(2a + b, a + 2b)]

= a + ( a + b ), b + ( a + b )
= [( a, b)]
= x.
(4) x = [( a, b)], y = [(c, d)] e z = [(e, f )]

x (y + 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 + b f , ad + a f + bc + be)]

= ( ac + bd) + ( ae + b f ), ( ad + bc) + ( a f + be)
= [( ac + bd, ad + bc)] + [( ae + b f , a f + be)]
= [( a, b)] [(c, d)] + [( a, b)] [(e, f )]
= x y + x z.
Teorema 3.3 (Z no possui divisores de zero). Para x = [( a, b)] e y = [(c, d)]
[( a, b)] [(c, d)] = 0 = [( a, b)] = 0 ou [(c, d)] = 0.

Demonstrao. Suponha que [( a, b)] [(c, d)] = 0 e [(c, d)] 6= 0.
Ou equivalentemente,
[( a, b)] [(c, d)] = [(1, 1)] e [(c, d)] 6= [(1, 1)].
Por um lado,
[( a, b)] [(c, d)] = [(1, 1)] [( ac + bd, ad + bc)] = [(1, 1)]

ac + bd + 1 = ad + bc + 1
ac + bd = ad + bc. (3)
Por outro lado, [(c, d)] 6= 0 implica que c 6= d.

Por tricotomia em N temos duas possibilidades
c >N d ou c <N d,
onde <N denota a ordem definida em N.

Suponha c >N d.
Existe p N tal que c = d + p. Usando o valor de c em (3)
ac + bd = ad + bc a(d + p) + bd = ad + b(d + p)
ad + ap + bd = ad + bd + bp
ap = bp
a = b.
Portanto, [( a, b)] = 0.
Para o caso, c <N d de modo anlogo, existe p N tal que d = p + c e substituindo
o valor de d em (3) obtemos b = a, ou seja [( a, b)] = 0. .
Os resultados dos Teoremas 3.1, 3.2 e 3.3 mostram as propriedades que caracterizam
o conjunto dos inteiros Z. Ou seja, Z = (N N)/ um domnio de integridade.
3.3.2 A substrao em Z = (N N)/

Definio 3.3. Sejam x = [( a, b)] e y = [(c, d)] elementos de Z. A operao substrao,
, definida por
x y := x + (y).
Desse modo
[( a, b)] [(c, d)] = [( a, b)] + ([(d, c)]) = [( a + d, b + c)].
Em N, a substrao no bem definida (ou seja, no operao binria). Em Z a

substrao uma operao binria.
3.4 Relao de ordem em Z = (N N)/

Definio 3.4. Dizemos que x = [( a, b)] menor do que y = [(c, d)], o que denotamos
por x < y se, e somente se, a + d <N b + c. Ou seja,
x<y a + d <N b + c,
onde <N a relao de ordem definida em N.
A relao < est bem definida. Isto , no depende da escolha dos representantes
das classes de equivalncia.
De fato, [( a, b)] = [( a0 , b0 )] e [(c, d)] = [(c0 , d0 )] equivalente a
a + b0 = b + a0 e c + d0 = d + c0 (4)
3.5: Exerccios 41
Usando (4)
[( a, b)] < [(c, d)] a + d <N b + c
p N tal que ( a + d) + p = b + c
( a0 + b0 + c0 + d0 ) + a + d + p = ( a0 + b0 + c0 + d0 ) + b + c
( a0 + d0 ) + p + [ a + b0 ] + {c + d0 } = (b0 + c0 ) + [ a0 + b] + {c + d0 }
( a0 + d0 ) + p = b0 + c0
a 0 + d 0 <N b 0 + c 0
[( a0 , b0 )] < [(c0 , d0 )].
As propriedades da Proposio 3.2, sobre a ordem < dos inteiros inicialmente
definidos axiomaticamente, tambm so vlidas para o conjunto Z = (N N)/ .
A demonstrao decorre da boa definio da relao de ordem < definida em Z =
(N N)/. Note que a forma como foi definida a relao de ordem em Z = (N N)/
exatamente a mesma da da relao de ordem da Proposio 3.2, pois dependem
exclusivamente da relao <N definida em N.
3.5 Exerccios
1. Um conjunto que goze das propriedades da definio 3.1 chamado domnio de
integridade. Quais dos seguintes conjuntos so domnios de integridade?
(a) Os inteiros pares;
(b) Os inteiros mpares;

(c) Os nmeros da forma a + b 2, onde a, b Z.
(d) Os inteiros positivos.
2. Demonstre as propriedades de ordem em Z enunciadas na Proposio 3.2.
3. Seja a Z, prove que, se b Z tal que a b a + 1 ento b = a ou b = a + 1.
4. Prove que no existe inteiro entre 0 e 1.
5. Um elemento a Z diz-se inversvel se existe um outro elemento a0 Z tal que
aa0 = 1. Mostrar que os nicos elementos inversveis de Z so 1 e 1.
6. Provar que todo conjunto no-vazio de inteiros limitado superiormente contm
um elemento mximo.
7. Provar que, se um conjunto de inteiros tem elemento mnimo, ento este nico.
Fazer o mesmo, em relao ao mximo.
8. Se a Z, a potncia de an definida por: a1 = a, an+1 = an a. Prove por induo
que as leis seguintes para expoentes positivos valem em Z.
(i) ( am )n = amn , (ii) ( ab)n = an bn , (iii) 1n = 1.

9. Prove que Z enumervel.
Captulo 4
Os Nmeros Racionais
Antes de procedermos com a construo formal do conjunto dos nmeros racionais

Q a partir do conjunto dos inteiros Z. O apresentaremos como usual, ou seja, como
um conjunto junto a duas operaes binrias gozando axiomas que fazem dele um
corpo.
4.1 Os Nmeros Racionais

Um nmero racional um nmero que pode ser expresso como o quociente ou frao
a/b de dois nmeros inteiros a e b, com b 6= 0. O conjunto de todos os racionais
denotado por na o
Q= ; a Z, b Z, b 6= 0 .
b
Notao devida a Guiseppe Peano em 1895, do italiano quoziente. O termo racional
provm do fato de a/b representar a razo ou proporo entre dois inteiros a e b.
4.1.1 Q como estrutura algbrica

Em Q so definidas duas operaes binrias
Adio
a c
Sejam , Q ento a adio, +, lhes associa o elemento
b d
a c ad + bc
+ = Q.
b d bd
Multiplicao
a c
Sejam , Q ento a multiplicao, , lhes associa o elemento
b d
a c ac
= Q.
b d bd
a c
Diremos que = ad = bc.
b d
43
44 Captulo 4: Os Nmeros Racionais
(Q, +) um corpo
Proposio 4.1. O conjunto dos racionais Q com as duas operaes de adio e multiplicao,
acima definidas, um corpo.
Demonstrao. Exerccio. Use a definio 1.17 da seo 1.5.
A Proposio 4.1 nos diz que as duas operaes em Q gozam das seguintes
propriedades.
1. Associatividade. Para todo x, y, z Q valem
( x + y) + z = x + (y + z) e ( xy)z = x (yz)
2. Comutatividade. Para todo x, y Q
x+y = y+x e xy = yx
0 1
3. Existncia de elementos neutros. Existem 0 = Q e 1 = Q tais que
1 1
a
x+0 = x e x 1 = x, x = Q.
b
4. Existncia dos inversos.

a a
Para todo x = Q, existe x = Q tal que x + ( x ) = 0.
b b
a b
Para todo x = Q, x 6= 0, existe x 1 = Q tal que x x 1 = 1.
b a
5. Distributividade. Para todo x, y, z Q
x (y + z) = xy + xz
4.1.2 Z como subconjunto de Q

n
Cada inteiro n pode ser identificado com o racional . De fato, pelo algoritmo da
1
n
diviso n = n = n 1. Portanto, de modo natural, os elementos de Z fazem
1
parte de Q.
4.1.3 Q corpo ordenado

Para a definio de corpo ordenado, veja a seo 1.5. Definimos um conjunto de
positivos P Q como na o
P= Q; ab >Z 0
b
4.2: Construo dos Nmeros Racionais 45
Observao. A relao >Z a relao de ordem "maior do que" definida no conjunto

dos inteiros Z.
na o
Proposio 4.2. O conjunto Q junto ao conjunto P = Q; ab >Z 0 um corpo
b
ordenado.
a c
Demonstrao. Se , P ento ab >Z 0 e cd >Z 0. Com isso, a adio e
b d
multiplicao fechada em P. De fato,
a c ad + bc
+ = P ( ad + bc)bd = abd2 + cdb2 >Z 0 e
b d bd
a c ac
= P acbd >Z 0.
b d bd
a
Se Q ento ab Z, segue da tricotomia em Z que
b
ou ab >Z 0 ou ab = 0 ou ab <Z 0.
Portanto,
a a a
ou P ou = 0 ou P.
b b b
Desse modo, Q um corpo ordenado.
4.2 Construo dos Nmeros Racionais

A construo dos nmeros racionais realizada a partir do domnio de integridade
dos inteiros (Z, +, ). O conjunto dos inteiros diferentes de zero, denotamos por
Z = Z \ {0 } .
Proposio 4.3. A relao em Z Z definida por
( a, b) (c, d) ad = bc
uma relao de equivalncia.
Demonstrao. Para todo ( a, b) Z Z ( a, b) ( a, b) ab = ba de onde segue
que reflexiva. Para a simetria, se ( a, b), (c, d) Z Z temos
( a, b) (c, d) ad = bc cb = da (c, d) ( a, b).
Finalmente, sejam ( a, b), (c, d), (e, f ) Z Z tal que ( a, b) (c, d) e (c, d) (e, f ).
Assim, ad = bc e c f = de. Com isso
ad = bc ad f = bc f ( a f )d = b(c f ) ( a f )d = b(de) ( a f )d = (be)d.
Como d 6= 0 e a lei do corte sendo vlida em Z ento, ( a f )d = (be)d implica a f = be.
Ou seja, ( a, b) (e, f ). O que mostra a transitividade.
A relao de equivalncia induz uma partio em Z Z . Assim, obtemos o
conjunto quociente
(Z Z )/ = {[( a, b)]; ( a, b) Z Z }
4.3 Operaes em (Z Z )/
4.3.1 Adio e multiplicao (Z Z )/
Proposio 4.4 (Adio). Em (Z Z )/, a operao dada por
[( a, b)] + [(c, d)] := [( ad + bc, bd)]
bem definida.
Demonstrao. Sejam [( a, b)] = [( a0 , b0 )] e [(c, d)] = [(c0 , d0 )]. Mostraremos que
[( a, b)] + [(c, d)] = [( a0 , b0 )] + [(c0 , d0 )].
De fato, ( a, b) ( a0 , b0 ) e (c, d) (c0 , d0 ) implicam
ab0 = ba0 e cd0 = dc0 . (1)
Multiplicando os termos dd0 e bb0 em (1)
( ab0 )(dd0 ) = (ba0 )(dd0 ) e (cd0 )(bb0 ) = (dc0 )(bb0 ). (2)
Usando (2) temos
( ad + bc)(b0 d0 ) = adb0 d0 + bcb0 d0
= ( ab0 )(dd0 ) + (cd0 )(bb0 )
= (ba0 )(dd0 ) + (dc0 )(bb0 )
= bda0 d0 + bdb0 c0
= (bd)( a0 d0 + b0 c0 ).
Como ( ad + bc)(b0 d0 ) = (bd)( a0 d0 + b0 c0 ) ( ad + bc, bd) ( a0 d0 + b0 c0 , b0 d0 ). Logo,
[( ad + bc, bd)] = [( a0 d0 + b0 c0 , b0 d0 )]. Ou seja, [( a, b)] + [(c, d)] = [( a0 , b0 )] + [(c0 , d0 )].
Proposio 4.5. Em (Z Z )/, a operao dada por

[( a, b)] [(c, d)] := [( ac, bd)]
bem definida.
Demonstrao. Se [( a, b)] = [( a0 , b0 )] e [(c, d)] = [(c0 , d0 )], ento ( a, b) ( a0 , b0 ) e
(c, d) (c0 , d0 ) o que implica
ab0 = ba0 e cd0 = dc0 . (3)
Usando (3) obtemos ( ab0 )(cd0 ) = (ba0 )(dc0 ).
Desse modo,
[( a, b)] [(c, d)] = [( a0 , b0 )] [(c0 , d0 )] [( ac, bd)] = [( a0 c0 , b0 d0 )]
( ac)(b0 d0 ) = (bd)( a0 c0 )
( ab0 )(cd0 ) = (ba0 )(dc0 ).
Portanto, o produto independe dos representantes das classes de equivalncia.
4.3: Operaes em (Z Z )/ 47
Observao. Como estamos construindo o conjunto dos racionais, grosso modo,

justificaremos como cada elemento de (Z Z )/ se identifica com um elemento de
Q (onde Q o conjunto definido na Seo 4.1.1).
Sejam m, a Z; n, b Z e seja Q o conjunto definido na Seo 4.1.1. Como Z Q
(veja a subseo 4.1.2) ento m, n, a, b Q. Sejam [(m, n)], [( a, b)] (Z Z )/ tal
que [(m, n)] = [( a, b)].
Considerando m, n, a, b Q ento
m a
[(m, n)] = [( a, b)] mb = na = .
n b
Cada elemento [(m, n)] de (Z Z )/ pode ser identificado com o quociente m/n Q.
Note que a classe [(m, n)] o conjunto soluo da equao
x m
= onde ( x, y) Z Z .
y n
Assim, as classes de equivalncia [(m, n)] so retas de Z Z . Cada classe [(m, n)]
representa o racional m/n. Aproveitamos tal identificao para definir o conjunto dos
nmeros racionais como sendo o conjunto (Z Z )/.
Figura 4.1: Obteno de Q = (Z Z )/
Definio 4.1. O conjunto dos nmeros racionais, denotado por Q, definido como sendo
o conjunto das classes de equivalncia [( a, b)] dos elementos ( a, b) de Z Z respeito
relao de equivalncia. Ou seja,
Q = (Z Z )/ .
A adio + e multiplicao em Q definido, respectivamente, por
[( a, b)] + [(c, d)] = [( ad + bc, bd)] e [( a, b)] (c, d)] = [( ac, bd)].
Teorema 4.1 (Propriedades da adio em Q = (Z Z )/ ). A adio + em Z tem as

seguintes propriedades:
(1) Associativa.
(2) Comutativa.
(3) Existncia do elemento neutro da adio 0 := [(0, 1)].
(4) Existncia do inverso aditivo. Para cada x = [( a, b)] Z existe x := [(b, a)] tal que
x + ( x ) = 0. O elemento x o inverso aditivo de x.
Demonstrao.
(1) Sejam x = [( a, b)], y = [(c, d)] e z = [(e, f )].

( x + y) + z = [( a, b)] + [(c, d)] + [(e, f )]
= [( ad + bc, bd)] + [(e, f )]

= ( ad + bc) f + (bd)e , (bd) f

= ad f + bc f + bde , bd f

= a(d f ) + b(c f + de) , b(d f )
= [( a, b)] + [(c f + de, d f )]

= [( a, b)] + [(c, d)] + [(e, f )]
= x + ( y + z ).
(2) Sejam x = [( a, b)] e y = [(c, d)]
x+y = [( a, b)] + [(c, d)]

= [( ad + bc, bd)]
= [(cb + da, db)]
= [(c, d)] + [( a, b)]
= y + x.
(3) Existe 0 := [(0, 1)] tal que x + 0 = x, para todo x = [( a, b)] Q. De fato,
x + 0 = [( a, b)] + [(0, 1)] = [( a 1 + b 0, b 1)] = [( a, b)] = x.
(4) Dado x = [( a, b)] Q seja x := [( a, b)].

Considerando que [(0, n)] = 0, para todo n Z
x + ( x ) = [( a, b)] + [( a, b)] = [( ab + b( a), bb)] = [(0, bb)] = 0.

4.3: Operaes em (Z Z )/ 49
Teorema 4.2 (Propriedades da multiplicao em Q = (Z Z )/ ). A multiplicao

em Q tem as seguintes propriedades:
(1) associativa;
(2) comutativa;
(3) 1 := [(1, 1)] elemento neutro da multiplicao;
(4) existe o inverso multiplicativo. Isto ,

para cada x = [( a, b)] Q \ {0}, existe x 1 = [(b, a)] Q tal que x x 1 = 1,
(5) distributiva sobre a adio.

Demonstrao.
(1) Sejam x = [( a, b)], y = [(c, d)] e z = [(e, f )].

( x y) z = [( a, b)] [(c, d)] [(e, f )]
= [( ac, bd)] [(e, f )]

= ( ac)e, (bd) f

= a(ce), b(d f )
= [( a, b)] [(ce, d f )]

= [( a, b)] [(c, d)] [(e, f )]
= x ( y z ).
(2) Sejam x = [( a, b)] e y = [(c, d)]
xy = [( a, b)] [(c, d)]

= [( ac, bd)]
= [(ca, db)]
= [(c, d)] [( a, b)]
= y x.
(3) Se x = [( a, b)] Q e 1 = [(1, 1)].
x1 = [( a, b)] [(1, 1)]

= [( a 1, b 1)]
= [( a, b)]
= x.
(4) Se x = [( a, b)] Q \ {0}, se x 1 = [(b, a)] (x 1 Q, pois a 6= 0)
x x 1 = [( a, b)] [(b, a)] = [( ab, ba)] = [( ab, ab)] = [(1, 1)] = 1.
Note que ab 6= 0 e ( ab, ab) (1, 1).

(5) Sejam x = [( a, b)], y = [(c, d)] e z = [(e, f )]. Como b 6= 0, 1 = [(b, b)], segue

x (y + z) = [( a, b)] [(c, d)] + [(e, f )]
= [( a, b)] [(c f + de, d f )]

= a(c f + de), b(d f )
= [( ac f + ade + bd f , bd f )]
= [( ac f + ade + bd f , bd f )] 1
= [( ac f + ade + bd f , bd f )] [(b, b)]

= ( ac f + ade + bd f )b, (bd f )b

= ac f b + adeb + bd f b, bd f b

= ( ac)(b f ) + (bd)( ae), (bd)(b f )
= [( ac, bd)] + [( ae, b f )]
= [( a, b)] [(c, d)] + [( a, b)] [(e, f )]
= x y + x z.
Proposio 4.6. O conjunto Q = (Z Z )/ junto s duas operaes, + e um corpo.
Demonstrao. A prova segue dos teoremas 4.1 e 4.2
Definio 4.2. A estrutura algbrica Q = (Z Z )/ junto s operaes de adio e

multiplicao definidas chamada corpo dos nmeros racionais.
4.3.2 A substrao e diviso em Q = (Z Z )/

Definio 4.3. Sejam x = [( a, b)] e y = [(c, d)] elementos de Q. A operao substrao,
, definida por
x y := x + (y).
O elemento x y Q chamado a di f erena e de x e y. Desse modo
[( a, b)] [(c, d)] = [( a, b)] + ([(d, c)]) = [( a + d, b + c)].
Definio 4.4. Sejam x = [( a, b)] e y = [(c, d)] 6= 0 elementos de Q. A diviso, de x e y

definida por
x/y := x y1 .
Desse modo
[( a, b)]/[(c, d)] = [( a, b)] ([(d, c)]) = [( ad, bc)].
O elemento x/y Q chamado o quociente de x e y.
Em Q a substrao diviso so operaes binrias. Em Z, a diviso no binria.

4.4: Q = (Z Z )/ como corpo ordenado 51
4.4 Q = (Z Z )/ como corpo ordenado

Precisamos definir, em Q, um conjunto de positivos P de tal forma que os axiomas
de ordem sejam satisfeitos. Isto , a adio e multiplicao seja fechada em P e seja
vlida a tricotomia. Veja a seo 1.5, definio 1.18. O smbolo >Z a relao de ordem:
maior do que, no conjunto dos inteiros Z.
Proposio 4.7 (Q ordenado). Seja P = {[( a, b)] Q; ab >Z 0}. O conjunto P faz de Q
um corpo ordenado.
Demonstrao. Sejam x = [( a, b)] e y = [(c, d)] elementos de P. Assim,
ab >Z 0 e cd >Z 0 (4)
Usando (4), d 6= 0 (e assim d2 >Z 0) e as propriedades da ordem em Z verifica-se
x + y = [( ad + bc, bd)] P ( ad + bc)bd = ( ab + cd)d2 >Z 0,
x y = [( ac, bd)] P ( ac)(bd) = ( ab)(cd) >Z 0

Portanto, a adio e multiplicao so fechadas em P. Resta mostrar a tricotomia.
Seja [( a, b)] Q. Ento ab Z. Da tricotomia em Z
ou ab >Z 0 ou ab = 0 ou ab <Z 0.
Como b 6= 0 ento
ou ab >Z 0 ou a = 0 ou ( a)b = ab >Z 0.
Assim,
ou [( a, b)] P ou [( a, b)] = [(0, b)] = 0 ou [( a, b)] P.
Ou seja
ou [( a, b)] P ou [( a, b)] = 0 ou [( a, b)] P.

Portanto, Q corpo ordenado. Isso permite definir em Q a relao de ordem >

como segue
Definio 4.5. Dados x, y Q, dizemos que x maior do que y se, e somente, x y P,
e denotamos por x > y.
Como x > 0 se, e somente se x 0 = x P. Nesse caso, sendo que P chamado o
conjunto de positivos, diremos que x positivo, quando x > 0.
Dizemos que
i) x menor do que y, denotado por x < y se, e somente se, y > x
ii) x maior ou igual do que y, denotado por x y se, e somente se, x > y ou x = y, e
iii) x menor ou igual do que y, denotado por x y se, e somente se, x < y ou x = y.
4.4.1 Propriedades da relao de ordem

Como Q = (Z Z )/ um corpo ordenado. Ento automaticamente so vlidas
todas as propriedades de ordem da Proposio 1.8. Essas propriedades dependem
apenas da existncia de conjunto de positivos P de positivos no corpo.
Por exemplo, a relao de ordem y
(c) Monotonicidade da adio x < y x + z < y + z, z Q.

(d) Monotonicidade da multiplicao.
x < y e z > 0 xz < yz.
x < y e z < 0 xz > yz.
4.5 Exerccios
1. Demonstre que o conjunto Q da Proposio 4.1 um corpo.
2. Seja Q. Prove que existe um nico n Z tal que n n + 1.
3. Mostrar com um exemplo que nem todo conjunto no-vazio de nmeros
racionais limitado superiormente tem mximo.
4. Prove que, num corpo ordenado K, as seguintes afirmaes so equivalentes: (i)
K arquimediano; (ii) Z ilimitado superior e inferiormente; (iii) Q ilimitado
superior e inferiormente.

5. Sejam
a, b racionais positivos. Prove que a + b racional se,e somente se, a

e b forem ambos racionais. (Sugesto: multiplique por a b.)
6. Prove que no existe nmero racional cujo quadrado seja 12.
7. Mostre que em Q valem
(i) 0 < 1/a a > 0,
(ii) a/b < c/d abd2 < b2 cd0,
(iii) 0 < a 1/a > 1/b,
(v) a21 + a22 + + a2n 0.
8. Mostre que Q um conjunto enumervel.
Captulo 5
Os Nmeros Irracionais
5.1 Nmeros comensurveis e incomensurveis

Os antigos gregos, intuitivamente, acreditavam que dados dois objetos quaisquer,
de comprimentos a e b, sempre existia alguma unidade u, suficientemente pequena, de
tal forma que ambos objetos pudessem ser medidos de modo "exato"com essa unidade
u. Ou seja,
a e b, u tal que a = m u e b = n u, onde m, n N.
Desse modo, usando a medida u, um objeto mediria m vezes u e o outro n vezes

u. Os objetos (nmeros) a e b so ditos comensurveis. Para os antigos gregos, dois
comprimentos quaisquer eram sempre comensurveis. Em outras palavras, tudo se
podia comparar ou medir utilizando nmeros inteiros.
Dizer que dois nmeros a e b so sempre comensurveis implica que o quociente

de dois nmeros a e b quaisquer sempre racional.
a mu m
= = ,
b nu n
a
sendo m, n N, ento Q.
b
Seria grande a surpresa desses gregos ao descobrirem que pudessem existir
nmeros no comensurveis ou incomensurveis. Acredita-se que foi Hpaso de
Metaponto, membro da escola pitagrica, quem demonstrara (provavelmente por
mtodos geomtricos) que a hipotenusa de um tringulo retngulo issceles e um dos
seus catetos no eram comensurveis. Ou, equivalentemente, que a diagonal d de um
quadrado e um dos seus lados l so incomensurveis.
53
54 Captulo 5: Os Nmeros Irracionais
Sem perda de generalidade, suponha l = 1. Pelo teorema de Pitgoras
d2 = 12 + 12 = 2.
d
Se d e l = 1 fossem comensurveis ento teramos que = d racional.
l
Portanto, deveramos admitir que,
d Q tal que d2 = 2
Mostraremos que tal concluso absurda.
Lema 5.1. No existe racional d tal que d2 = 2.
m
Demonstrao. Suponha que existe d Q tal que d2 = 2. Ou seja, d = , onde m
n
e n so primos relativos (isto , m e n no tm fatores em comum). Logo,
m 2
=2 m2 = 2n2 .
n
Significa que m2 par. Logo, necessariamente m par (se m fosse mpar, o produto
m m = m2 seria mpar). Sendo m par, existe k Z tal que m = 2k.
Assim, m2 = 4k2 e, portanto, n2 = 2k2 . O que implica que n2 par. Desse modo,
necessariamente, n par. Isto , existe r Z tal que n = 2r. Isso mostra que m e n no
podem ser primos relativos, pois tm como fator comum o 2. Tal contradio prova o
lema.
Portanto, deve-se concluir que existem nmeros incomensurveis. Note que a diagonal
d pode ser "levada"at a reta onde encontra o cateto do quadrado (rotando /4 no
sentido horrio). Ou seja, o comprimento d corresponde a um ponto da reta, portanto,
existe. Mas, quem era esse nmero d? Antes dessa descoberta, achavam que todo
ponto da reta poderia ser representado por um racional.
Conta a lenda que essa descoberta teria levado a uma crise da matemtica
pitagrica. Na poca, a escola pitagrica tratava os nmeros como entidades msticas
(nmeros: amigveis; primos; perfeitos; deficientes; abundantes; etc).
5.2: Existncia de nmeros no racionais 55
5.2 Existncia de nmeros no racionais

O Lema 5.1 mostra que deve existir nmero d no racional cujo quadrado 2.
Mostra tambm que o conjunto dos racionais um conjunto incompleto, no sentido
de que existe nmero (pelo menos o d) que no racional.
O nmero d, tal que d2 = 2, chamado raiz quadrada de 2 e denotado por 2.
Definio 5.1. Um nmero que no racional chamado irracional.
No prximo captulo ser construdo o conjunto dos nmeros reais, denotado por R.
Definio 5.2. O conjunto dos nmeros irracionais o conjunto formado pelos nmeros
reais que no so racionais. Denotamos
R \ Q = { a R; a
/ Q}
Pode parecer estranho termos definido os irracionais como sendo elementos do
conjunto dos reais R, conjunto que ainda no foi construdo nem definido. No h
problema com isso; se fossemos definir um irracional como sendo um nmero que no
racional, no estaramos sendo muito claros. Por exemplo, a unidade imaginria
i irracional? Sabemos que i no pertence aos reais, e que todo racional real,
ento lgico concluir que o nmero i no racional. Ento isso significa que i
irracional? Para resolver esse dilema, devemos lembrar que, os gregos, mesmo que
ainda no soubessem quem eram os reais, quando se referiam aos irracionais estavam
se referindo a pontos de reta.
Infinitude dos irracionais

Note que para cada n N, o nmero n 2 irracional. De fato, se r = n 2 fosse
1
racional, teramos que concluir que 2 = r Q. O que absurdo. Portanto,
n
necessariamente: n 2 R \ Q, n N . Se S = {n 2, n N} temos S R \ Q. A
aplicao : N S, dada por (n) = n 2 uma bijeo. Portanto, S infinito.
Os mesmos argumentos da demonstrao do Lema 5.1 servem para mostrar
mostrar que
Proposio 5.1. Para todo primo p, no existe d Q tal que d2 = p.

Isto mostra que nmeros da forma p, onde p primo, so irracionais (este seria
um outro modo de verificar a existncia de infinitos irracionais).
Os exemplos de nmeros irracionais, mostrados at agora, fazem parte de um tipo
especial de irracionais chamados nmeros algbricos.
5.3 Nmeros algbricos e nmeros transcendentes

Definio 5.3. Um nmero chamado algbrico se for raiz de algum polinmio com
coeficientes inteiros. Ou seja, raiz de um polinmio da forma
a n x n + a n 1 x n 1 + + a 1 x + a 0 ,
onde ai Z, i {0, 1, . . . , n} e an 6= 0.
56 Captulo 5: Os Nmeros Irracionais
Exemplo 5.1. Todo nmero racional = p/q algbrico, pois raiz de qx p.

Exemplo 5.2. Os nmeros irracionais = p, onde p primo, so algbricos. De fato,
so razes de x2 p.
Definio 5.4. Um nmero que no algbrico chamado transcendente.
Os nmeros transcendentes mais conhecidos e famosos so:
= C/D, onde C o permetro de uma circunferncia de dimetro D,
= 3, 1415926535897932 . . .
1 1 1 1
e= + + +
0! 1! 2! 3!
e = 2.71828182846 . . .
Recomendamos a leitura do livro de Eli Maor: e : a histria de um nmero [22], dedicado

integramente a esse importante nmero e o livro de Beckman: A History of [6]
dedicado a outro nmero famoso: .
Pelo Exemplo 5.1, todo racional algbrico, equivalente a dizer que se um nmero
no for algbrico ento ele no racional. Ou seja,
todo nmero real transcendental irracional.
Para um estudo mais detalhado sobre nmeros transcendentes recomendamos o

livro de Marques [23].
Um texto excelente que se dedica de forma exclusiva aos irracionais o livro de
Havil: The Irrationals [14].
5.4 Exerccios
1. Mostre que qualquer intervalo de R contm algum irracional.
2. Mostre que um nmero real da forma 0, 1010010001000010000010 . . . irracional.

3. Se p primo, mostre que p irracional. (Proposio 5.1).

4. Se m, a N, prove que n a irracional ou ento inteiro.
5. Mostre que log10 2 e log10 3 so irracionais.
6. Sejam a racional diferente de zero, e x irracional. Prove que a + x e ax so

irracionais. D um exemplo de dois nmeros irracionais x, y tais que x + y e
x y so racionais.
Captulo 6
Os Nmeros Reais e sua Construo
Vrios matemticos do sculo XIX apresentaram construes dos nmeros reais,

entre eles: Karl Weierstrass, Charles Mray, Richard Dedekind e Georg Cantor. Neste
captulo, estudamos os mtodos de Cantor, de Dedekind e as expanses decimais.
6.1 Definio axiomtica do conjunto dos nmeros reais

O conjunto dos nmeros reais e suas propriedades so apresentados ao aluno desde
muito cedo em diversas disciplinas de matemtica. Ele associado, geometricamente,
reta. Com o advento da geometria analtica e o uso de coordenadas, os nmeros reais
podem ser vistos como pontos da reta.
Existem vrios caminhos para abordar o estudo dos Nmeros Reais. Temos os
sintticos e os rigorosos (rduos). Ambas abordagens tm vantagens e desvantagens.
Os caminhos curtos tem a vantagem da praticidade, pois suficiente defini-los como
um conjunto que satisfaz certos axiomas de tal forma que seja um corpo ordenado e
completo e pronto. Ou ento, simplesmente afirmar algo como: o conjunto dos nmeros
reais o conjunto formado pelos nmeros decimais, se a parte decimal do nmero
for peridica, ento um racional; se a parte decimal no for peridica, ento um
irracional. Em geral, desse ltimo modo que os estudantes tm seu primeiro contato
com os nmeros reais. J num nvel universitrio, por exemplo, quando o aluno
comea o estudo do Clculo Diferencial e Integral, os reais costumam ser definidos
axiomaticamente. Desse modo, no precisamos nos preocupar em demonstrar sua
existncia. Alis, esse o caminho recomendado para qualquer estudante.
Entretanto, vlido sim se questionar sobre a existncia desse tal conjunto definido
apenas axiomaticamente. Como demonstrar que esse conjunto existe? E se ele existe,
57
58 Captulo 6: Os Nmeros Reais e sua Construo
nico? Existem outros corpos ordenados e completos? Nas prximas sees deste
captulo sero respondidas essas questes.
Para iniciar o estudo dos nmeros reais, primeiramente adotaremos a forma
sinttica. Isto , apresentaremos os nmeros reais como um conjunto gozando de certas
propriedades ou axiomas. Feito isso, teremos claro quais so as propriedades que
devemos procurar, quando de fato estivermos construindo o conjunto dos nmeros
reais.
Axioma Fundamental. Existe um corpo ordenado e completo, denotado por R, chamado o

corpo dos nmeros reais.
Os elementos de R so chamados nmeros reais.

O Axioma Fundamental nos diz que em R existem duas operaes binrias + :
R R R; : R R R e um conjunto de positivos P, com os seguintes treze
axiomas
A. Axiomas de Corpo. Para x, y, z R temos
(A.1) x + y = y + x.
(A.2) ( x + y) + z = x + (y + z).
(A.3) 0 R tal que x + 0 = x, x R.
(A.4) x R, y R tal que x + y = 0.
(A.5) xy = yx.
(A.6) ( xy)z = x (yz).
(A.7) 1 R tal que 1 6= 0 e x 1 = x, x R.
(A.8) x R {0}, y R tal que xy = 1.
(A.9) x (y + z) = xy + xz.
B. Axiomas de Ordem. Existe um conjunto P R tal que
(B.1) x, y P x + y P.
(B.2) x, y P xy P.
(B.3) x R ou x P ou x = 0 ou x P.
C. Axioma de Completitude. Todo subconjunto no vazio de R, limitado superiormente,

possui supremo.
A partir desses axiomas possvel derivar todas as propriedades conhecidas de R.

Veja a seo 1.4 do captulo 1.
6.2: A construo de Cantor (sequncias de Cauchy) 59
6.2 A construo de Cantor (sequncias de Cauchy)

Suponha que os nmeros racionais e suas propriedades so conhecidos. No mtodo
de Cantor, cada nmero real definido como uma classe de equivalncia de sequncias
de Cauchy de nmeros racionais. Assim, primeiramente definiremos sequncia de
nmeros racionais, sequncia de Cauchy e seguiremos a construo dos nmeros reais
por sequncias de Cauchy, conforme feita em Kemp(2014) [17].
Definio 6.1. Uma sequncia de nmeros racionais (ou uma sequncia racional) uma
funo x : N Q. Para cada n N o valor x (n) R representamos por xn e
chamamos termo de ordem n da sequncia x.
A sequncia x tambm representamos por ( x1 , x2 , . . . , xn , . . .) ou ( xn )nN ou ( xn ).
Definio 6.2. Seja ( xn ) uma sequncia de nmeros racionais. Ela se chama uma
sequncia de Cauchy se, dado arbitrariamente um nmero racional > 0, pode-se obter
n0 N tal que m, n > n0 implicam | xm xn | < .
Definio 6.3. Uma sequncia ( xn ) de nmeros racionais dita ser convergente em

Q se existe L Q tal que, para todo > 0, existe n0 N com a propriedade,
| xn L| < , n > n0 .
O nmero L definido acima, se existir, ser chamado de limite da sequncia ( xn ).

Neste caso, diremos que a sequncia ( xn ) converge para L e indicaremos por xn L.
Exemplo 6.1. A sequncia de nmeros racionais ( xn ) definida por xn = 1/n converge

para zero. De fato, dado > 0 em Q, tome n0 inteiro com n0 > 1 , (isto possvel pela
propriedade arquimediana de Q). Ento, para n > n0 , temos que:

1
0 = 1 < 1 < .

n n n0
Definio 6.4. Seja ( xn ) uma sequncia de nmeros racionais. Dizemos que ( xn ) tende
a 0 se, dado arbitrariamente > 0, existe n0 N tal que n > n0 implica | xn | < .
Simbolicamente, denotamos xn 0.
Para que ( xn ) seja uma sequncia de Cauchy, preciso que seus termos xm , xn , para
valores suficientemente grandes dos ndices m, n se aproximem arbitrariamente uns
dos outros. Ou seja, se impe uma condio sobre os termos da prpria sequncia.
Uma sequncia de Cauchy tambm chamada sequncia fundamental.
Note que existem tantas sequncias de Cauchy quantos so os nmeros racionais,

pois, qualquer que seja o nmero racional r, a sequncia constante (rn ) = (r, r, r, . . .)
de Cauchy. Dentre as sequncias de Cauchy, algumas so convergentes: como as
sequncias constantes; uma como (1/2, 2/3, 3/4, . . .) e uma infinidade de outras mais.
Mas h tambm uma infinidade de sequncias de Cauchy que no convergem, como a
sequncia das aproximaes decimais de ,
(rn ) = (3, 3.1, 3.14, 3.141, 3.1415, 3.14159, . . .), (1)

ou a sequncia xn = (1 + 1/n)n , que converge a e = 2.718281 . . . , ou ainda, a

sequncia (yn ) = (1, 1.4, 1.41, 1.414, 1.4142, . . .), que aproxima
2 por falta.
Essas sequncias no convergem em Q pois , e ou 2 no so racionais. Na
construo dos nmeros reais, a ideia de Cantor definir os reais como o conjunto
de todas as sequncias de aproximaes racionais e definir operaes algbricas e
ordenao linear para essas sequncias.
Vejamos alguns resultados envolvendo sequncias de Cauchy de nmeros
racionais.
Teorema 6.1. Se ( xn ) uma sequncia convergente de nmeros racionais (i.e., xn r, para

algum nmero racional r) ento ( xn ) uma sequncia de Cauchy.
Demonstrao. Temos que xn r. Dado > 0, existe n0 N tal que n > n0

| xn r | < /2. Ento, se m, n > n0 , temos

| xn xm | = |( xn r ) + ( xm r )| | xn r | + | xm r | < + = .
2 2
Portanto, ( xn ) uma sequncia de Cauchy.
Intuitivamente: se para valores grandes de n, os termos ( xn ) se aproximam de r,

ento eles devem necessariamente aproximar-se uns dos outros. natural pensar que
se os termos esto mais prximos uns dos outros ento eles devem estar prximos
de algum nmero. Esta intuio motivou Cauchy a usar sequncias para definir
os nmeros reais. Embora a sequncia 3, 3.1, 3.14, 3.141, 3.1415, 3.14159, . . . seja
de Cauchy ela no converge para um nmero racional; portanto, deve haver algum
nmero irracional para o qual ela convirja. Desse modo, completaremos os racionais
adicionando esse nmero.
O teorema seguinte nos mostra que mesmo que uma sequncia de Cauchy no
convirja, ela no pode se tornar arbitrariamente grande.
Teorema 6.2. Se ( xn ) uma sequncia de Cauchy, ento ela limitada; isto , existe algum
M > 0 tal que | xn | M para todo n.
Demonstrao. Seja ( xn ) uma sequncia de Cauchy. Tomando = 1, obtemos

n0 N tal que m, n n0 | xm xn | < 1. Em particular, n n0 | xn0 xn | < 1,
ou seja, n n0 xn ( xn0 1, xn0 + 1). Sejam o menor e o maior elemento do
conjunto X = { x1 , x2 , . . . , xn0 1, xn0 + 1}. Ento xn [, ] para cada n N, logo ( xn )
limitada.
Deve-se observar que diferentes sequncias definem o mesmo nmero irracional.

Por exemplo, a sequncia racional

22 333 355 103993
(qn ) = 3, , , , ,... ,
7 106 1 33102

tambm aproxima . A sequncia das aproximaes decimais por excesso de 2,
define 2. Para lidar com esse problema, uma relao de equivalncia imposta no
conjunto das sequncias. Ou seja, todas as sequncias que tm o mesmo limite devem
pertencer a mesma classe. Em seguida, uma estrutura de corpo construda.
Definiremos uma relao de equivalncia no conjunto das sequncias de Cauchy.

Para a definio e propriedades das relaes de equivalncia veja a seo 1.2
Definio 6.5. Sejam as sequncias de Cauchy de nmeros racionais x = ( xn ) e

y = (yn ). No conjunto das sequncias de Cauchy racionais, definimos a relao
como
x y ( xn yn ) 0.
Teorema 6.3. A relao definida no conjunto das de sequncias de Cauchy de nmeros

racionais uma relao de equivalncia.
Demonstrao. Vamos provar que esta relao reflexiva, simtrica e transitiva.
(a) Reflexiva: xn xn = 0, e a sequncia cujos termos so 0 claramente converge

para 0. Logo, x x.
(b) Simtrica: Suponha x y, ento xn yn 0. Mas yn xn = ( xn yn ), e,

|yn xn | = | xn yn |, logo, yn xn 0, isto , y x.
(c) Transitiva: Suponha que x y e y z. Isto significa que xn yn 0 e
yn zn 0. Dado > 0, existe n1 N tal que | xn yn | < /2 para todo
n > n1 . Tambm existe n2 N tal que |yn zn | < /2 para todo n > n2 . Seja
n0 = max{n1 , n2 }, ento para todo n > n0 , temos

| xn zn | = |( xn yn ) + (yn zn )| | xn yn | + |yn zn | < + = .
2 2
Portanto, xn zn 0, isto , x z.
Definio 6.6. O conjunto dos nmeros reais R o conjunto das classes de equivalncia
[( xn )] das sequncias de Cauchy de nmeros racionais. Isto , cada classe de
equivalncia um nmero real.
Note que o conjunto dos nmeros racionais Q esto contidos em R como sequncias
constantes. Isto , um nmero racional qualquer r, est representado em R como a
classe de equivalncia [r ] da sequncia constante (r, r, r, . . .).
Considere a classe qual pertencem as sequncias que aproximam . fcil
perceber que nenhuma sequncia rn = r, com r racional, pode pertencer a essa classe,
seno r rn teria de tender a zero, o que impossvel. Essas classes que no contm
sequncias do tipo rn = r so precisamente aquelas que correspondero aos nmeros
irracionais a serem criados.
preciso determinar a estrutura algbrica de R. Para isso, definiremos na classe
de equivalncias as operaes de adio e multiplicao, e suas inversas, a subtrao
e a diviso; quem o elemento neutro 0 e o 1 e, determinar quando uma classe de
equivalncia menor do que outra. Ou seja, definir uma relao de ordem.
Definio 6.7 (adio e multiplicao). Sejam s, t R. Ento existem sequncias de

Cauchy ( xn ), (yn ) de nmeros racionais com s = [( xn )] e t = [(yn )].
(a) s + t a classe de equivalncia da sequncia ( xn + yn ).
(b) s t a classe de equivalncia da sequncia ( xn yn ).
Precisamos verificar que as operaes de adio e multiplicao no conjunto

de classes de equivalncia est bem definida. Isto feito no teorema a seguir, o
qual mostra que sequncias equivalentes adicionadas a sequncias equivalentes so
equivalentes e sequncias equivalentes multiplicadas por sequncias equivalentes so
equivalentes.
Teorema 6.4. Se ( xn ) e ( xn0 ) so sequncias de Cauchy equivalentes, da mesma forma que (yn )
e (y0n ), ento ( xn ) + (yn ) e ( xn0 ) + (y0n ) so equivalentes, do mesmo modo que, ( xn ) (yn ) e
( xn0 ) (y0n ) so equivalentes.
Demonstrao. Temos [( xn )] = [( xn0 )] e [(yn )] = [(y0n )]. Assim, xn xn0 0 e
yn y0n 0. Ento ( xn + yn ) ( xn0 + y0n ) = ( xn xn0 ) + (yn y0n ). fcil perceber que
( xn yn ) + ( xn0 y0n ) 0 e, portanto, [( xn + yn )] = [( xn0 + y0n )].
Queremos mostrar que [( xn )(yn )] = [( xn0 )(y0n )], isto , xn yn xn0 y0n 0.
Assim,
xn yn xn0 y0n = xn yn + (yn xn0 yn xn0 ) xn0 y0n

= ( xn yn yn xn0 ) + (yn xn0 xn0 y0n )
= yn ( xn xn0 ) + xn0 (yn y0n ).
Portanto, | xn yn xn0 y0n | |yn | | xn xn0 | + | xn0 | |yn y0n |. Pelo teorema 6.2, existem
M, L tais que |yn | M e | xn0 | L, para todo n. Tomando R (por exemplo, R = M + L)
maior do que M e L, temos:
| xn yn xn0 y0n | |yn | | xn xn0 | + | xn0 | |yn y0n | R (| xn xn0 | + |yn y0n |).
Como xn xn0 0 e yn y0n 0, ento xn yn xn0 y0n 0.
Portanto, as duas operaes, + e , esto bem definidas. preciso mostrar que R,

equipado com essas operaes, um corpo.
Lema 6.1. Se ( xn ) uma sequncia de Cauchy que no tende a 0, ento existe um n0 N tal
que para n > n0 , xn 6= 0.
Teorema 6.5. Dado qualquer nmero real s 6= 0, existe um nmero real t tal que s t = 1.
Demonstrao. Temos s 6= 0, isto significa que s no est na classe de equivalncia

de (0, 0, 0, . . .). Em outras palavras, s = [( xn )] onde xn 0 no converge para 0.
Devemos mostrar que existe um nmero real t = [(yn )] tal que s t = [( xn yn )]
a mesma classe de equivalncia de [(1, 1, 1, . . .)]. Isto decorre do fato de que nmeros
racionais no nulos possuem inversos multiplicativos. Como xn 0 no converge
para 0, pelo lema anterior, existe n0 tal que xn 6= 0, para n > n0 . Defina uma
sequncia (yn ) de nmeros racionais onde yn = 0, para n n0 e yn = 1/xn , para

n > n0 ; (yn ) = (0, 0, . . . , 0, 1/xn0 +1 , 1/xn0 +2 , . . .). Ento xn yn igual a xn 0 = 0
para n n0 e igual a xn yn = xn 1/xn = 1 para n > n0 . Observando a sequncia
(1, 1, 1, . . .), temos que (1, 1, 1, . . .) ( xn yn ) a sequncia a qual 1 0 = 1 para
n n0 e igual a 1 1 = 0, para n > n0 . Desde que esta sequncia a partir de n0+1
igual a 0, ela converge para 0 e ento [( xn yn )] = [(1, 1, 1, . . .)] = 1 R. Isto mostra
que t = [(yn )] o inverso multiplicativo de s = [( xn )].
Teorema 6.6. R um corpo.
A demonstrao fica como exerccio. Basta mostrar a definio e propriedades de

um corpo para o conjunto das classes de equivalncia das sequncias de Cauchy de
nmeros racionais. Aps mostrar que (R, +, .) um corpo, o prximo passo consiste
em mostrar que R um corpo ordenado, isto , que existe uma relao de ordem <
em R que respeita as operaes de corpo. Definiremos o conceito de uma sequncia
positiva e de classes de equivalncia de sequncias positivas.
Definio 6.8. Uma sequncia de Cauchy de nmeros racionais ( xn ) chamada positiva

se existem inteiros positivos M e n0 tais que, se n > n0 ento xn > 1/M. Se s R,
dizemos que s positivo se uma das sequncias em s positiva. Dados dois nmeros
reais s, t, dizemos que s > t se s t positiva.
A boa definio dessas relaes de ordem definidas garantida pelo prximo

teorema.
Teorema 6.7. Se uma sequncia de Cauchy na classe de equivalncia de s no final tem apenas
termos positivos, ento qualquer outra sequncia de Cauchy na mesma classe de equivalncia
no final tem apenas termos positivos.
Fica a cargo o leitor, verificar que todos os axiomas de ordem valem para R.
Mostraremos apenas uma propriedade e as demonstraes das demais so similares.
Teorema 6.8. R um corpo ordenado.
Teorema 6.9. Considere s, t nmeros reais tais que s > t, e seja r R. Ento s + r > t + r.
Demonstrao. Seja s = [( xn )], t = [(yn )], e r = [(zn )]. Como s > t, isto , s t > 0,
ento existe um n0 tal que, para n > n0 , xn yn > 0. Assim, xn > yn para n > n0 .
Adicionando zn a ambos os lados desta desigualdade (pois isto pode ser feito para
nmeros racionais), obtemos xn + zn > yn + zn para n > n0 , ou ( xn + zn ) (yn + zn ) >
0 para n > n0 . Note tambm que ( xn + zn ) (yn + zn ) = xn yn no converge para
zero, pois, por hiptese, s t > 0. Portanto, pela definio de nmero real positivo,
s + r = [( xn + zn )] > [(yn + zn )] = t + r.
Vamos provar que R um corpo arquimediano. Em seguida, mostraremos que R

possui a propriedade da menor cota superior, caracterstica que o distingue de Q.
Teorema 6.10. R tem a propriedade arquimediana. Isto , existe m, n0 N tal que mxn > yn
para todo n > n0 .
Demonstrao. Sejam s, t nmeros reais. Vamos obter um nmero natural m tal que
m.s > t. Neste contexto, m = [(m, m, m, . . .)]. Considere ainda s = [( xn )] e t = [(yn )].
Vamos provar que existe m tal que
[(m, m, m, . . .)].[( x1 , x2 , x3 , x4 , . . .)] = [(mx1 , mx2 , mx3 , mx4 , . . .)] > [(y1 , y2 , y3 , y4 , . . .)].
Para mostrar que [(mxn )] > [(yn )], ou [(mxn yn )] positiva, basta mostrar que existe
um n0 tal que mxn yn > 0 para todo n > n0 , e que mxn yn 9 0.
Suponha, por absurdo, que para todo m e n0 , existe um n > n0 tal que mxn yn .
Como (yn ) uma sequncia de Cauchy, limitada, isto , existe um nmero racional M
tal que yn M para todo n. Pela propriedade arquimediana para nmeros racionais,
dado qualquer nmero racional pequeno > 0 existe um m tal que M/m < /2.
Fixemos tal m. Ento, se mxn yn , temos xn yn /m M/m < /2.
Como ( xn ) uma sequncia de Cauchy, existe n0 tal que para n, k > n0 , | xn xk | <
/2. Por hiptese, assumimos que para n > n0 temos mxn yn , o que significa que
xn < /2. Mas, para todo k > n0 , temos xk xn < /2, assim, xk < xn + /2 <
/2 + /2 = . Portanto, xk < para todo k > n0 . Isto prova que xk 0, o que
contradiz o fato de que [( xn )] = s > 0.
Portanto, existe de fato algum m N tal que mxn yn > 0 para todo n
suficientemente grande. Para concluir, devemos mostrar que mxn yn 9 0. Na
verdade, possvel que mxn yn 0 (por exemplo, se ( xn ) = (1, 1, 1, . . .) e (yn ) =
(m, m, m, . . .)). Neste caso, basta simplesmente tomar um valor grande para m. Isto ,
seja m um nmero natural qualquer obtido como descrito anteriormente, de modo que
mxn yn > 0 para todo n suficientemente grande. Se verdade que mxn yn 9 0,
ento a demonstrao est completa. Por outro lado, se mxn yn 0, ento toma-
se o inteiro m + 1. Desde que s = [( xn )] > 0, temos xn > 0 para n grande, ento
(m + 1) xn yn = mxn yn + xn > xn > 0 para todo n grande, ento m + 1 funciona to
bem quanto m; e, desde que mxn yn 0, temos (m + 1) xn yn = (mxn yn ) + xn 9
0 desde que s = [( xn )] > 0 (ento xn 9 0).

A seguir, mostramos que Q denso em R.
Teorema 6.11. Dado qualquer nmero real r, e qualquer nmero racional (pequeno) > 0,
existe um nmero racional q tal que |r q| < .
Demonstrao. O nmero real r representado por uma sequncia de Cauchy
( x1 , x2 , x3 , . . .). Como esta sequncia de Cauchy, dado , existe n0 tal que, para
todo m, n > n0 , | xm xn | < . Tome algum l > n0 fixo, podemos tomar o nmero
racional q dado por q = [( xl , xl , xl , . . .)]. Ento temos r q = [( xn xl ) n =1 ] , e

q r = [( xl xn )n=1 ]. Desde que l > n0 , para n > n0 , temos xn xl < e xl xn < ,
o que significa que r q < e q r < ; portanto, |r q| < .

Antes de mostrar que R completo, precisamos mostrar alguns resultados que nos
auxiliaro nessa demonstrao.
Sejam S R um subconjunto no vazio e M uma cota superior para S. Vamos
construir duas sequncias de nmeros reais (un ) e (ln ). Como S no vazio, existe
algum elemento s0 S. Usaremos induo para obter os elementos das sequncias
( u n ) e ( l n ).
Seja u0 = M e l0 = s0 ;
Suponha que j definimos un e ln . Considere o nmero mn = (un + ln )/2, a mdia

entre un e ln .
Se mn uma cota superior para S, defina un+1 = mn e ln+1 = ln ;
Se mn no uma cota superior para S, defina un+1 = un e ln+1 = mn ;
Como s0 < M, fcil provar por induo que (un ) uma sequncia no-crescente
(un+1 un )e (ln ) uma sequncia no-decrescente (ln+1 ln ).
Lema 6.2. (un ) e (ln ) como definidos anteriormente so sequncias de Cauchy de nmeros
reais.
Demonstrao. Note que ln M para todo n. Como (ln ) no-decrescente, temos

que (ln ) de Cauchy. Para (un ), temos un s0 , para todo n, e ento un s0 . Como
(un ) no-crescente, (un ) no-decrescente, e, como j vimos, (un ) de Cauchy.
Logo, fcil verificar que (un ) de Cauchy.
Lema 6.3. Existe um nmero real u tal que un u.
Demonstrao. Fixe um termo un na sequncia (un ). Pelo teorema 6.11, existe um

nmero racional qn tal que |un qn | < 1/n. Considere a sequncia (q1 , q2 , q3 , . . .) de
nmeros racionais. Mostraremos que esta sequncia de Cauchy. Fixe > 0. Pela
propriedade arquimediana, escolha N tal que 1/N < /3. Como (un ) de Cauchy,
existe n, m > M; |un um | < /3. Ento, contanto que n, m > max{ N, M}, temos:
|qn qm | = |(qn un ) + (un um ) + (um qm )| |qn un | + |un um | + |um
qm | < 3 + 3 + 3 = .
Portanto, (qn ) uma sequncia de Cauchy de nmeros racionais, logo, representa
um nmero real u = [(qn )]. Devemos mostrar que un u 0, mas isto
praticamente construdo na definio de u. Para ser preciso, considere qen um nmero
real [(qn , qn , qn , . . .)], vemos que qen u 0. Mas, un qen < 1/n por construo. Logo,
se qen u e un qen 0, ento un u.
Temos que (un ) uma sequncia no-crescente de cotas superiores para S, tende
a um nmero real u, o qual a menor cota superior para o conjunto S, conforme
demonstrado no lema seguinte.
Lema 6.4. ln u.
Demonstrao. Note que no primeiro caso acima, temos
u n + ln un ln
u n +1 l n +1 = m n l n = ln = .
2 2
No segundo caso, temos:
u n + ln un ln
u n +1 l n +1 = u n m n = u n = .
2 2
2
1
Isto significa que u1 l1 = s), e ento u2 l2 = 21 (u1 l1 ) = 12 ( M s),
2 (M
e, pode-se provar por induo que, un ln = 2n ( M s). Desde que M > s temos
M s > 0, e desde que 2n < 1/n, pela propriedade arquimediana para R, temos que
para qualquer > 0, 2n ( M s) < para todo n suficientemente grande. Portanto,
un ln < 2n ( M s) < e, ento un ln 0. Logo, desde que un u, temos
tambm ln u.

Teorema 6.12. R tem a propriedade da menor cota superior.
Demonstrao. Primeiramente, devemos mostrar que u uma cota superior.

Suponha, por absurdo, que u no cota superior. Assim, u < s, para algum s S.
Ento s u > 0 e, desde que un u e no-crescente, deve haver um n tal que
un u < , o que significa que un < u + = u + (s u) = s. Mas, un uma cota
superior para S. Contradio. Portanto, u cota superior para S.
Sabemos tambm que, para cada n, ln no uma cota superior, significando que
para cada n, existe um sn S tal que ln sn . Pelo lema 6.4, temos que ln u, e, como
a sequncia (ln ) no-decrescente, isto significa que para cada > 0, existe um n0 tal
que, para n > n0 , ln > u . Portanto, para n > n0 , sn ln > u . Em particular,
para cada > 0, existe um s S tal que s > u . Isto significa que nenhum nmero
menor do que u pode ser uma cota superior para S. Portanto, u a menor cota superior
para S, isto , sup s existe.
Portanto, o conjunto R, cujos elementos so classes de equivalncia de sequncias

racionais de Cauchy um corpo ordenado e completo.
6.3 O mtodo de Dedekind (cortes de Dedekind)

Richard Dedekind (1831-1916) na metade do sculo XIX, ao preparar suas aulas
de Clculo Diferencial e tentar demonstrar que toda sequncia montona limitada
convergente, percebeu a necessidade de uma fundamentao adequada de nmero
real. Ele foi buscar inspirao para sua construo dos nmeros reais na teoria de
propores de Eudoxo. Para entender essa construo, vamos considerar conhecidos
os nmeros racionais e seguir os passos dados no livro de Rudin (1971) [28]. Neste
mtodo, os elementos de R so certos subconjuntos de Q, chamados cortes.
Cortes de Dedekind
Definio 6.9. Diz-se que um conjunto de nmeros racionais um corte se:
(i) 6= e 6= Q;
(ii) Seja q Q. Se p e q < p ento q .
(iii) Se p ento p < r, para algum r .

6.3: O mtodo de Dedekind (cortes de Dedekind) 67
A primeira afirmao implica que contm pelo menos um racional, mas no

todos. A segunda afirma que todo nmero racional do conjunto menor do que todo
nmero racional que no pertence ao conjunto. A ltima implica que, em , no existe
racional mximo.
Notao: As letras p, q, r, . . . denotam nmeros racionais e , , , . . . denotam
cortes.
Exemplo 6.2. Qualquer nmero racional r determina um corte em que o conjunto
de todos os nmeros racionais menores do que r.
claro que satisfaz os itens (i ) e (ii ) da definio 6.9. Para provar o item (iii ),
basta observar que qualquer que seja p , tem-se
p+r
p< < r,
2
e, portanto, ( p + r )/2 .
Note que r 6 . Este corte dado pelo exemplo 6.2 chamado corte racional. Para
indicar que um corte o corte racional relacionado a r escreveremos = r .
Teorema 6.13. Se p e q 6 , ento p < q.
Demonstrao. Suponha que p e q p, conclui-se de (ii ) que q .
Contradio. Logo, p < q.
Os elementos de so, s vezes, chamados nmeros inferiores de e os nmeros

racionais que no esto em so chamados nmeros superiores de . No exemplo 6.2,
r o nmero superior mnimo de .
Uma vez entendido o conceito de corte, preciso definir ordem, isto , o que
significa um corte ser menor do que outro; definir adio e multiplicao de cortes
e demonstrar as propriedades para essas operaes com base nas propriedades j
estabelecidas para os racionais.
Definio 6.10. Sejam , cortes. Escrevemos = se de p resulta p e
de q resulta q , isto , se os dois conjuntos so idnticos. Caso contrrio,
escrevemos 6= .
Observao. A igualdade nem sempre identidade. Por exemplo, dados dois
racionais p = a/b e q = c/d, onde a, b, c, d Z, p = q significa ad = bc e no
necessariamente a = c e b = d.
Definio 6.11. Sejam , cortes. Escrevemos < ( ou > ) para significar que
subconjunto prprio de , isto , existe um racional p tal que p e p 6 .
Observao.
1. significa = ou < .
2. significa .
3. Se > 0 , dizemos que positivo; se 0 , dizemos que no negativo.

Analogamente, se < 0 , negativo, e se 0 , no positivo.
Teorema 6.14. Sejam , cortes. Ento = ou < ou < .

Demonstrao. Pelas definies 6.10, 6.11, se = ento nenhuma das outras duas
relaes vlida. Vamos mostrar que < e < se excluem mutuamente. Para
isso, suponha que ambas as relaes sejam vlidas. Como < , existe um racional p
tal que p e p 6 . Como < , existe um racional q tal que q e q 6 . Pelo
teorema 6.13,de p e q 6 resulta p < q, enquanto que, q e p 6 resulta q < p.
Contradio, pois no pode ser p < q e q < p. Assim, provamos que, no mximo,
uma das trs relaes vlida. Suponhamos que 6= . Ento, ou existe um nmero
racional p em mas no em e, neste caso, < ou existe um racional q em , mas
no em , e, neste caso, < .
Teorema 6.15. Sejam , , cortes. Se < e < , ento < .

Demonstrao. Como < , existe um racional p tal que p e p 6 . Como
< , existe um racional q tal que q e q 6 . Mas, se p e q 6 ento p < q.
Como p 6 , ento q 6 . Logo, q e q 6 , o que significa que < .
Portanto, o conjunto de cortes um conjunto ordenado. Vamos definir a adio

nesse conjunto.
Teorema 6.16. Sejam , cortes. Seja o conjunto de todos os racionais r tais que r = p + q,
com p e q . Ento um corte.
Demonstrao. Precisamos provar que cumpre as trs condies da definio 6.9.
(i) claro que no vazio. Consideremos s 6 , t 6 , onde s, t Q. Temos que
s > p, para todo p e t > q, para todo q . Assim, s + t > p + q e s + t 6 .
Logo, no contm todos os racionais.
(ii) Suponhamos r , s < r, sendo s racional. Logo, r = p + q, com p e q .

Como s < r, temos que s q < p, assim, s q e s = (s q) + q + .
(iii) Suponhamos r . Logo, r = p + q, com p e q . Existe um racional s > p

tal que s . Portanto, s + q > r e r no o maior racional em .

Definio 6.12. Se , so cortes, ento
= + = {r + s; r e s }
um corte e chama-se soma de e .

Vejamos algumas propriedades da operao de adio no conjunto dos cortes.
Teorema 6.17. Sejam , , cortes. Ento,
(i) + = + ;
(ii) ( + ) + = + ( + );
(iii) + 0 = ;
Demonstrao.
(i) + o conjunto de todos os racionais da forma p + q, onde p e q . Na

definio de + , consideramos q + p, em vez de p + q. Pela comutatividade da
adio de racionais, p + q = q + p. Portanto, + = + .
(ii) resultado da propriedade associativa da adio de nmeros racionais.
(iii) Seja r + 0 . Logo, r = p + q com p e q 0 ( isto , q < 0). Assim,

p + q < p, de modo que, p + q e r . Portanto, + 0 .
A seguir, suponhamos r e tomemos s com s > r. Ento, r s 0 , e
r = s + (r s) + 0 . Portanto, + 0 . Assim, + 0 = .
Teorema 6.18. Seja um corte e r > 0 um racional dado. Existem racionais p, q tais que
p , q 6 , q no o nmero superior mnimo de e q p = r.
Demonstrao. Consideremos um racional s . Para n = 0, 1, 2, . . . seja sn =

s + nr. Ento existe um nico inteiro m tal que sm e sm+1 6 . Se sm+1 no for o
nmero superior mnimo de , consideremos p = sm , q = sm+1 .
Se sm+1 for o nmero superior mnimo de , consideremos
p = sm + 2r , q = sm+1 + 2r .
Teorema 6.19. Seja um corte. Existe um nico corte tal que + = 0 .
Demonstrao. Primeiramente, provaremos a unicidade. Se + 1 = + 2 = 0 ,

temos das propriedades da adio de cortes que, 2 = 0 + 2 = ( + 1 ) + 2 =
( + 2 ) + 1 = 0 + 1 = 1 .
Para provar a existncia do corte, seja o conjunto de todos os racionais p tais
que p um nmero superior de , mas no o nmero superior mnimo. Temos que
verificar que este conjunto satisfaz as trs condies da definio 6.9. A primeira
condio bvia. Vamos provar a segunda condio. Se p e q p, de modo que q um nmero superior de , mas no o
mnimo. Portanto, q . Por fim, se p , p um nmero superior de , mas no
p+q
o mnimo, de modo que existe um racional q tal que q p tal que r , o que prova a terceira condio.
Assim, mostramos que um corte, precisamos verificar se + = 0 .
Suponhamos p + . Logo, p = q + r, com q e r . Portanto,
r 6 , r > q, q + r < 0 e p 0 .
Suponhamos p 0 . Portanto, p < 0. Podemos determinar racionais q , r 6
(e tal que r no seja o nmero superior mnimo de ), de modo que r q = p. Como
r , temos p = q r = q + (r ) + , o que completa a demonstrao.

Observao. Designamos por o corte do teorema 6.19.

Teorema 6.20. Sejam , , cortes.
(i) Se + = + ento = .
(ii) Se < ento + < + . Em particular, (para = 0 ) temos + > 0 , se

> 0 e > 0 .
Demonstrao.
(i) Pelo teorema 6.17, = 0 + = () + ( + ) = () + ( + ) = 0 + =
(ii) bvio que + + ; se + = + , pelo item anterior, = .
Teorema 6.21. Sejam , cortes. Existe um nico corte tal que + = .

Demonstrao. Se 1 6= 2 ento + 1 6= + 2 . Assim, existe no mximo um
nas condies enunciadas.
Seja = + (), ento + = + [ + ()] = + [() + ] = [ + ()] +
= 0 + = .
Observao.
1. Em vez de + () escrevemos ;
2. Pode-se verificar pelos resultados apresentados que o conjunto dos cortes um

grupo comutativo em relao adio.
Vamos definir a multiplicao no conjunto dos cortes e mostrar que se obtm um
corpo. Nessa operao temos que considerar os diferentes casos correspondentes aos
sinais dos fatores em questo.
Teorema 6.22. Sejam , cortes tais que 0 , 0 . Seja o conjunto de todos os
racionais r tais que r = pq, em que p , q , p 0, q 0. Ento um corte.
Definio 6.13. Chamamos o corte do teorema 6.22 de produto de e e
representamos por .
Definio 6.14. Sejam , cortes. Definimos
[() ] se < 0 , 0 ,

= [( )] se 0 , < 0 ,
()( ) se < 0 , < 0 .

Teorema 6.23. Quaisquer que sejam os cortes , , temos:
(i) = ;
(ii) () = ( );
(iii) ( + ) = + ;
(iv) 0 = 0 ;
(v) = 0 somente se = 0 ou = 0 ;
(vi) 1 = ;
(vii) Se 0 < < e > 0 , ento < .
Demonstrao. So anlogas as demonstradas para a adio, exceto quando se faz

necessrio considerar vrios casos, correspondentes aos sinais dos fatores em questo.
Como exemplo, vamos provar o item (iii ). Para isso, preciso considerar diferentes
casos. Suponha > 0 , < 0 , + > 0 . Ento = ( + ) + ( ). Como
a lei distributiva vale para os racionais, temos que = ( + ) + ( ). Mas,
( ) = (). Portanto, + = ( + ). Os outros casos so anlogos.

Definio 6.15. A cada corte associamos um corte ||, que chamamos o valor absoluto
de , definido por:
, se 0 ,

|| =
, se < 0 .
claro que || 0 para todo e || = 0 somente se = 0 .

Teorema 6.24. Se 6= 0 , para cada corte existe um nico corte (que designamos por
/) tal que = .
Teorema 6.25. Quaisquer que sejam os racionais p e q, temos:
(i) p + q = ( p + q)
(ii) p q = ( pq)
(iii) p < q se, e somente se, p < q.
Demonstrao.
(i) Se r p + q , temos r = s + t, com s < p, t < q, de modo que r < p + q.
Portanto, r ( p + q) . Se r ( p + q) , ento r < p + q. Sejam h = p + q r, s =
p 2h , t = q 2h . Logo, s p , t q e r = p + q h = ( p 2h ) + (q 2h ) = s + t,
de modo que r p + q , o que prova (i ).
(ii) anloga ao item (i ).
(iii) Se p < q, ento p q , mas p 6 p , de modo que p < q . Se p < q , existe um

racional r tal que r q , r 6 p . Portanto, p r < q, de modo que p < q.

Teorema 6.26. Se , so cortes e < , existe um corte racional r tal que < r < .
Demonstrao. Se < , existe um nmero racional p tal que p e p 6 .

Escolhemos r > p de modo que r . Como r e r 6 r , temos r < . Como p r
e p 6 , temos < r .
Teorema 6.27. Qualquer que seja o corte , p se, e somente se, p < .
Demonstrao. Qualquer que seja o racional p, p 6 p . Portanto, p < , pois p .

Reciprocamente, se p < , existe um racional q tal que q e q 6 p . Assim, q p,
donde conclumos que p , pois q .
Os nmeros reais como cortes de Dedekind
Consideramos certos conjuntos racionais, chamados cortes, definimos uma relao

de ordem, duas operaes - adio e multiplicao, definimos as propriedades dessas
operaes e demonstramos que a aritmtica dos cortes satisfaz as mesmas leis da
aritmtica dos racionais. Assim, mostramos que o conjunto dos cortes um corpo
ordenado.
Mostramos ainda que a substituio dos nmeros racionais r pelos cortes racionais
r correspondentes preserva somas, produtos e ordens. Desse modo, podemos dizer
que o corpo ordenado de todos os nmeros racionais isomorfo ao corpo ordenado de
todos os cortes racionais, o que permite identificar o corte racional r com o nmero
racional r. Isto , do ponto de vista das operaes de adio, multiplicao e da
relao de ordem, no h por que distinguir Q do conjunto de cortes determinados
por racionais, bem como, no h razo para distinguir o nmero 5 e o corte que
ele determina, j que os dois tm o mesmo comportamento do ponto de vista das
operaes e da relao de ordem. Essa identificao foi feita por Dedekind e usada
na construo dos nmeros reais.
Definio 6.16. Os cortes sero chamados nmeros reais. Cortes racionais sero
identificados com nmeros racionais e chamados de nmeros racionais. Todos os demais
cortes sero chamados nmeros irracionais.
Consideramos, assim, os racionais como subconjunto do conjunto dos nmeros

reais. O teorema 6.26 mostra que entre dois reais quaisquer existe um nmero racional
e o teorema 6.13 mostra que cada nmero real o conjunto de todos os racionais p
tais que p < .
Teorema 6.28 (Dedekind). Sejam A e B conjuntos de nmeros reais tais que:
(a) todo nmero real est em A ou em B;
(b) nenhum nmero real est simultaneamente em A e em B;
(c) nem A nem B vazio;
(d) se A e B, temos < .

Ento, existe um e somente um, nmero real , tal que para todo A, e ,
para todo B.
Demonstrao. (Unicidade) Suponhamos que existam dois nmeros 1 e 2 , para

os quais a concluso vlida e que 1 < 2 . Pelo teorema 6.26, existe 3 tal que
1 < 3 < 2 . De 3 < 2 resulta 3 A, enquanto que 1 < 3 resulta 3 B, o
que contradiz (b). No pode, pois, existir mais de um nmero com as propriedades
desejadas.
(Existncia) Seja o conjunto de todos os racionais p tais que p para algum
A. Temos que verificar se satisfaz as condies da definio 6.9.
(i) Como A 6= , 6= . Se B e q 6 ento q 6 qualquer que seja A (pois

< ); portanto q 6 .
(ii) Se p e q < p, ento p , para algum A e, por conseguinte, q ; logo

q .
(iii) Se p , ento p , para algum A; logo, existe q > p tal que q ; logo
q .
Assim, um nmero real.

claro que qualquer que seja A. Se existisse algum B tal que < ,
haveria um racional p que satisfaria as condies p e p 6 ; mas, se p , ento
p para algum A, do que resulta ser < , em contradio com (d). Assim,
qualquer que seja B, o que completa a demonstrao.
Corolrio 6.1. Nas condies do teorema 6.28, ou existe, em A, um nmero mximo, ou, em
B, um nmero mnimo.
Com efeito, se A ento o maior nmero de A. Se B ento o

menor nmero de B. Pelo item (i ) do teorema 6.28, um desses dois casos deve ocorrer,
enquanto, pelo item (ii ), eles no podem ocorrer simultaneamente.
a existncia de a parte importante do teorema, que mostra que as lacunas
encontradas no conjunto Q esto agora preenchidas.
Definio 6.17. Seja E um conjunto de nmeros reais. Se existe um nmero y tal que
x y para todo x E, dizemos que E limitado superiormente e y uma cota superior
de E.
Analogamente, definem-se cotas inferiores. Se E limitado superior e

inferiormente, dizemos que E limitado.
Definio 6.18. Seja E limitado superiormente. Suponhamos que y tenha as seguintes

propriedades:
(a) y uma cota superior de E;
(b) se x < y, ento x no uma cota superior de E.
Nestas condies, y chamado o supremo de E e escreveremos y = sup E.

Analogamente, define-se o nfimo de qualquer conjunto E limitado inferiormente.

Tanto o conjunto Q quanto R so corpos ordenados, mas apenas R satisfaz o
teorema a seguir, o que permite caracterizar R como corpo ordenado completo.
Teorema 6.29. Seja E um conjunto no vazio de nmeros reais, limitado superiormente.

Existe, ento, o sup E.
Demonstrao. Seja A o seguinte conjunto de nmeros reais: A se, e somente

se, existe x E tal que < x. Seja B o conjunto de todos os nmeros reais que no
esto em A. claro que nenhum elemento de A cota superior de E, e todo elemento
de B cota superior de E. Para provar a existncia do sup, basta, portanto, provar que
B possui um mnimo.
Vamos verificar que A e B satisfazem as hipteses do teorema 6.28. Evidentemente,
( a) e (b) so vlidas. Como E no vazio, existe y tal que x y qualquer que seja
x E; portanto, y B e a condio (c) vlida. Se A, existe x E tal que < x.
Se B, x . Assim, < para todo A, B e a condio (d) vlida.
Portanto, pelo corolrio do teorema 6.28, ou A possui mximo, ou B possui mnimo.
Vamos provar que a primeira alternativa no pode ocorrer.
Se A, existe x E tal que < x. Consideremos 0 tal que < 0 < x. Sendo
< x, 0 A, de modo que no o maior nmero em A.
0
O resultado do teorema 6.29 a criao dos nmeros irracionais.

Os cortes de Dedekind so definidos como um par de classes A e B de racionais,
tais que: A e B so conjuntos no vazios cuja unio o conjunto Q dos nmeros
racionais; todo nmero menor que algum elemento de A pertence a A, e todo nmero
maior que algum nmero de B pertence a B. Dedekind postulou, de um modo geral,
que todo corte possui um elemento de separao (supremo da classe A e nfimo da
classe B). Isto equivale a dizer que A tem supremo ou B tem nfimo. E o efeito
desse postulado a criao dos nmeros irracionais. importante observar que no
necessrio trabalhar com as duas classes de cada corte, podemos trabalhar somente
com as classes da esquerda ou somente com as classes da direita, pois umas ou
outras bastam para caracterizar os nmeros que elas definem. Se usamos as classes
da esquerda, postulamos a existncia de supremo em cada classe; se usamos as da
direita, postulamos que cada classe possui nfimo. A construo dos nmeros reais
fica completa com a identificao de Q com o conjunto dos cortes determinados por
nmeros racionais juntamente com a afirmao de que todo corte possui um elemento
de separao.
Em resumo, o que Dedekind essencialmente fez foi definir um nmero real
como um corte no conjunto de nmeros racionais. Este procedimento nos permite
construir o conjunto dos nmeros reais R a partir do conjunto dos nmeros racionais
Q.
Pode-se pensar em considerar o conjunto de todos os cortes de nmeros reais e
repetir a postulao de que todo corte deve ter um elemento separador, para tentar
ampliar o conjunto dos nmeros reais. Entretanto, isso no possvel pois todos
esses cortes possuem elemento separador, diferente do que acontecia com os cortes
de nmeros racionais. Por esse motivo, diz-se que o conjunto dos nmeros reais um
corpo completo, justamente porque todo corte tem elemento separador, ou seja, todo
conjunto no vazio e limitado superiormente possui supremo. Mostraremos ainda
6.4: O mtodo das expanses decimais 75
que quaisquer dois corpos ordenados com a propriedade da menor cota superior so
isomorfos, ou seja, na seo 6.6 provaremos um teorema que afirma que qualquer
corpo ordenado completo necessariamente isomorfo ao corpo dos nmeros reais.
Como o conjunto dos nmeros reais nico, muitos autores admitem a existncia de
um corpo ordenado completo, que chamado o corpo dos nmeros reais.
6.4 O mtodo das expanses decimais

Stevin, em 1585, foi responsvel pela fundamentao da notao decimal. Apesar
de no ter produzido uma construo rigorosa dos nmeros reais, ele afirmou que
no existe na natureza nada significativamente diferente entre nmeros racionais e
irracionais. Essa construo interessante devido a nfase dada s expanses decimais
no ensino de Matemtica. Nesta seo, ser definida formalmente a expanso decimal,
segundo trabalho de Aragona (2010) [2].
Vamos mostrar que os nmeros reais podem ser aproximados, com erro
arbitrariamente pequeno, por nmeros racionais do tipo p.10m , com p Z e m N.
Para isso, primeiramente, definiremos os reais usando um conceito intuitivo, isto , um
nmero real (racional ou irracional, que por simplicidade suporemos no negativo)
ser dado por uma expresso decimal.
Considere x > 0 real. Seja n0 o maior inteiro tal que n0 x e 0 ni 9, i N.
Ento
n1 n n n
x = n0 + + 22 + 33 + . . . + kk + . . .
10 10 10 10
Como a construo de Q bastante simples, o caso x Q no ser consideradopor
enquanto, de modo que consideraremos o caso em que x no racional (como 2).
Neste caso, x 6 Q, assim, sempre teremos
n1 n n nm
x 6 = n0 + + 22 + 33 . . . + m
10 10 10 10
mas cada expresso finita
n1 n n nm
x m : = n0 + + 22 + 33 . . . + m
10 10 10 10
ser uma aproximao de x e esta aproximao ser melhor quanto maior for o
nmero m de somandos. Logo, podemos considerar sequncias de nmeros racionais
que aproximam um dado nmero real. Por exemplo, considere a sequncia de nmeros
racionais:
4
x1 = 1, 4 = 1 + 10
4 1

x2 = 1, 41 = 1 + 10 + 102

4
x3 = 1, 414 = 1 + 10 + 1012 + 4
103
4

x4 = 1, 414 = 1 + 10 + 1012 + 4
103
+ 1024
..

.

A sequncia de nmeros racionais anterior aproxima-se de 2.
J vimos que se pode aproximar nmeros reais por sequncias de racionais e, estas
sequncias so as sequncias de Cauchy. Uma sequncia de Cauchy de nmeros
racionais arbitrria pode aproximar um nmero irracional, como por exemplo 2,
ou um nmero racional, como 1/3 (que aproximado pela sequncia de Cauchy
0, 3; 0, 33; 0, 333; . . .). Como j sabemos definir os nmeros racionais, no necessrio
usar sequncias de Cauchy em Q para isso, pois todo r Q aproximado pela
sequncia de Cauchy em Q constante: x0 := r, x1 := r, x2 := r, . . . , xm := r, . . . , ou
seja, recairamos no caso trivial. O interesse est, portanto, em definir os irracionais. J
estudamos a construo dos reais por sequncias de Cauchy, veremos que ela nos leva
de forma rpida e natural representao decimal dos nmeros reais, que foi a forma
em que estes nmeros foram conhecidos durante muito tempo antes de ter sua teoria
devidamente estruturada pelos trabalhos de Dedekind, Cantor e outros. Alm disso, a
representao decimal a forma tradicional de apresentar os nmeros reais no ensino
mdio.
O objetivo a aproximao dos nmeros reais por decimais e a representao
resultante de nmeros reais por desenvolvimentos decimais ilimitados. O resultado
a seguir nos mostra uma aproximao dos reais por nmeros racionais.
Proposio 6.1. Quaisquer que sejam R e m N, existe um nico pm Z tal que
pm .10m < ( pm + 1).10m .
Demonstrao. Pela propriedade arquimediana de R, existe m N tal que

m.10m > ||, ou seja, m.10m < < m.10m , donde resulta que o conjunto
X := {q Z; q.10m } no vazio pois m X e, alm disto, X majorado
por m. Em consequncia, X admite um mximo pm que evidentemente satisfaz a
desigualdade que queremos demonstrar, o que prova a afirmao relativa existncia.
Se existisse um outro p0m Z tal que p0m .10m < ( p0m + 1).10m teramos as
desigualdades estritas p0m .10m < ( pm + 1).10m e pm .10m < ( p0m + 1).10m que
implicam p0m < pm + 1 e pm < p0m + 1, ou seja, p0m pm e pm p0m , donde pm = p0m , o
que prova a unicidade.
Definio 6.19. Seja Z arbitrrio. Para cada m N, o nmero m := pm 10m

determinado pela proposio 6.1 chamado valor decimal aproximado por falta de
ordem m de .
Exemplo 6.3. Se = 0, 333 . . . , ento as sequncias ( pm ) e ( m ) so ( pm )mN =

(0, 3, 33, 333, . . .) e ( m ) = (0; 0, 3; 0, 33; . . .)
A proposio 6.1 associa a cada R duas sequncias, ( pm ) e ( m ) em Z e Q

respectivamente. O resultado seguinte mostra a estrutura da sequncia ( pm ).
Proposio 6.2. Sejam R arbitrrio e ( pm )mN a sequncia em Z determinada por na

proposio 6.1. Ento pm o nmero de dezenas de pm+1 , para cada m N (em outros termos,
( pm ) o quociente da diviso inteira de ( pm+1 ) por 10).
Demonstrao. Substituindo m por m + 1 na desigualdade da proposio 6.1

obtemos:
pm+1 .10m1 < ( pm+1 + 1)10m1

o que junto com a desigualdade da proposio 6.1 implica as desigualdades estritas
pm .10m < ( pm+1 + 1)10m1 e pm+1 .10m1 < ( pm + 1)10m

donde resultam as desigualdades seguintes:
10pm pm+1 < 10( pm + 1)
ou seja,
p m +1
pm < pm + 1.
10

Fixado R arbitrrio, sejam ( pm )mN e ( m )mN as sequncias determinadas por
a partir da proposio 6.1 e da definio 6.19. Para cada m N, vamos indicar com
m+1 o resto da diviso inteira de pm+1 por 10. Como pm o quociente da diviso
inteira de pm+1 por 10, claro que a definio acima de m+1 equivale a seguinte
definio:
m+1 := pm+1 10pm m N e portanto 0 m+1 9). (2)

Multiplicando (2) por 10m1 obtemos
m+1 = m + m+1 10m1 (m N).

A expresso (2) define uma sequncia de nmeros inteiros (m+1 )mN =
(1 , 2 , 3 , . . .) tal que 0 6 j 9 para cada j N (pois j o resto de uma diviso
inteira por 10). A seguir, definimos, com as notaes da proposio 6.1: 0 := p0 , isto
, p0 p0 + 1. O inteiro 0 junto com a sequncia (m+1 )mN acima determinam
uma nova sequncia (m )mN = (0 , 1 , 2 , . . .).
As consideraes precedentes mostram que a cada R podemos associar o
smbolo:
0 , 1 2 3 . . . m . . . (3)
onde m Z para cada m N e 0 m 9 para cada m N . O smbolo (3)
chamado desenvolvimento decimal ilimitado de . O resultado seguinte mostra a
relao existente entre as sequncias ( m ) e (m ) :
Proposio 6.3. Sejam R, ( pm )mN a sequncia definida pelas desigualdades pm .10m
< ( pm + 1).10m , ( m )mN a sequncia dos valores decimais aproximados por falta de
(isto , m = pm .10m m N)) e (m )mN a sequncia definida por m+1 :=
pm+1 10pm m N e 0 := p0 . Ento, para cada m N vale a igualdade
m
m = 10k .k (4)
k =0
Demonstrao. Exerccio. Basta usar induo em m.

A proposio 6.3 mostra que m fica determinado pela sequncia (0 , 1 , . . . , m ), o
que sugere usar o smbolo 0 , 1 2 . . . m para denotar m .
Definio 6.20. Dados m N e uma sequncia (i )0im em Z tal que 0 i 9 para

cada i = 1, 2, . . . , m, definimos
m
0 , 1 2 . . . m : = 10k .k (5)
k =0
Observao. Considere a notao anterior.
1. A desigualdade em 6.1 pode ser definida como:
0 , 1 2 . . . m < 0 , 1 2 . . . m + 10m .
2. m N, o nmero decimal m+1 = pm+1 .10m1 se deduz do nmero decimal

m = pm .10m , somando a este m+1 .10m1 .
3. Fixados R e r N arbitrrios, se r = 0 , 1 2 . . . r denota o valor

decimal aproximado por falta de ordem r de ordem , ento fcil ver que o
desenvolvimento decimal ilimitado de r : 0 , 1 2 . . . r 000 . . . 0 . . .
4. Considere o nmero decimal = 0 , 1 2 . . . m , onde vamos supor m N (

no caso m = 0, a sequncia (i )1i0 vazia e definimos 0 , 1 2 . . . m := 0 ).
Comecemos examinando 0 N . fcil ver que podemos expressar 0 de modo
nico, como soma de mltiplos naturais de potncias no negativas de 10 com
coeficientes j tais que 0 j 9 para cada ndice j; em outros termos, existe
uma nica sequncia ( j )0 jn em N tal que 0 j 9 para cada j = 0, 1, . . . , n
e
n
0 = 10k nk .
k =0
Assim, podemos denotar 0 1 . . . n := 0 e usar o smbolo
0 1 . . . n , 1 2 . . . m (6)
para denotar o decimal = 0 , 1 2 . . . m , que tambm pode ser representado

do seguinte modo:
n m
10k nk + 10l l .
k =0 l =1
Em particular, se m 1 e 1 = . . . = m = 0, obtemos
0 1 . . . n , 00 . . . 0 = 0 1 . . . n = 0 .
Se 0 = 0, escrevemos 0, 1 2 . . . m e podemos convencionar que neste caso a

sequncia ( j )0 jn tem apenas um elemento 0 = 0. Desta forma, podemos usar
a notao (6) sempre que 0 N. Precisamos considerar o caso 0 Z (0
1) ento, como 0 < 0, 1 2 . . . m < 1, claro que := 0 , 1 2 . . . m =
0 + 0, 1 2 . . . m < 0 que implica 0 < = 0 0, 1 2 . . . m = |0 |
0, 1 2 . . . m = 00 , 10 20 . . . 0m , onde |00 | = |0 | 1 0 e 0 0j 9 para
cada j = 1, 2, . . . , m ( a existncia dessa sequncia (0j )0tjm fica como exerccio).

Como 00 N, pelo que precede existe uma nica sequncia ( 0j )0 jn em Z tal
que 0 0j 9 para cada j = 1, 2, . . . , n de modo que:
= 00 , 10 20 . . . 0m = 00 01 . . . 0n , 10 20 . . . 0m
donde
= 0 , 1 2 . . . m = 00 01 . . . 0n , 10 20 . . . 0m
Resumindo, todo decimal do tipo = 0 , 1 2 . . . m admite uma representao

nica por um smbolo do tipo (6) se 0 N e por um smbolo do tipo
00 01 . . . 0n , 10 20 . . . 0m se 0 Z , onde (i ) e ( j ) so sequncias de inteiros
entre 0 e 9.
Definio 6.21. Chama-se desenvolvimento decimal ilimitado a qualquer smbolo do

tipo
0, 1 . . . m . . . (7)
determinado por uma sequncia ( m )mN em Z tal que 0 m 9 para cada m N
e, neste caso, para cada m N , m chamado msima casa decimal de (7).
O desenvolvimento decimal de (7) dito prprio se contm uma infinidade de

casas decimais m diferentes de 9. Indicamos com o smbolo D o conjunto de todos
os desenvolvimentos decimais ilimitados prprios.
A expresso nmero decimal frequentemente utilizada para indicar um
desenvolvimento decimal ilimitado (prprio ou no). J vimos que possvel associar
a cada R o seu desenvolvimento decimal ilimitado, o qual nico e dado por:
J ( ) = 0 , 1 2 . . . m . . .
Assim, fica definida uma aplicao
J : R J ( ) = 0 , 1 2 . . . m . . . D0 ,
onde D0 denota o conjunto de todos os desenvolvimentos decimais ilimitados.
Teorema 6.30. A aplicao
J : R J ( ) = 0 , 1 2 . . . m . . . D
bijetora e, para cada R, a sequncia ( Jm ())mN definida por J0 () := 0 e ( Jm ()) :=

0 , 1 2 . . . m para cada m N , uma sequncia de Cauchy em Q que representa .
Demonstrao. A demonstrao ser omitida e pode ser encontrada em Aragona

(2010) [2].
A bijeo J := R D sugere naturalmente no fazer distino entre e o seu

desenvolvimento decimal ilimitado J () = 0 , 1 2 . . . m . . . D, isto ,
= J ( ) = 0 , 1 2 . . . m . . . D R
o que implica na identificao R = D.

A identificao R = D mostra que possvel definir diretamente os nmeros reais
usando os desenvolvimentos decimais ilimitados prprios sem passar pelas sequncias
de Cauchy. A teoria assim construda to rigorosa quanto as outras e permite definir
muito facilmente a relao de ordem em R que a ordem lexicogrfica, pois fcil ver
que
x0 , x1 x2 . . . x m . . . < y0 , y1 y2 . . . y m . . .
se para o menor m N tal que xm 6= ym se verifica xm < ym . Entretanto, esta forma de
construir a teoria dos nmeros reais apresenta algumas dificuldades tcnicas no estudo
da estrutura algbrica de R.
Vamos explicar o significado de igualdades do tipo seguinte: 1 = 0, 99 . . . 9 . . . ou
2, 13 = 2, 1299 . . . 9 . . . . Suponhamos que = 0 , 1 . . . m . . . D0 CD o que significa
que existe v N tal que m = 9 para m > v, onde podemos evidentemente supor que
v o menor nmero natural que tem esta propriedade, isto ,
v = 0 ou v < 9 se v 1.
Definimos o smbolo
:= 0 , 1 . . . v1 0v 00 . . . 0 . . .
por 0v := v + 1 (observe que se v = 0 ento = 00 , 00 . . . 0 . . .). claro que D
e portanto, o teorema 6.30 assegura que existe um nico R tal que J ( ) = .
Queremos mostrar que um desenvolvimento ilimitado legtimo de .
De fato, m > v, consideremos os nmeros decimais:
mv
v m
j 10 j + 9 10l
z }| {
m := 0 , 1 . . . v 99 . . . 9 =
j =0 l = v +1
mv
v 1
m 0
j 10 j + 0v .10v .
z }| {
:= 0 , 1 . . . v1 v 00 . . . 0 =
j =0
Ento como 0v v = 1, pode-se mostrar (exerccio) que v m = 10m

o que implica
| m | | m | + | m m | = | m | + 10m m > v.
Pode-se mostrar que limn m = e ento, a desigualdade anterior acarretar
que limm m = ( e, portanto, ( m )mN uma sequncia de Cauchy).
Convencionamos identificar com (exemplos: 1 = 0, 99 . . . 9 . . . ; 2, 13 =
2, 1299 . . . 9 . . . ; 0, 3126 = 0, 312600 . . . 0 . . . = 3, 12599 . . . 9 . . .).
Define-se nmero decimal como qualquer elemento de D0 (lembrar que D0 % D).
Podemos usar a bijeo J : R D para obter a estrutura de corpo totalmente
ordenado de D a partir de R por meio das seguintes definies de adio, multiplicao
e ordem em D.

J () + J ( ) := J ( + ) , R
J ().J ( ) := J () , R
J () < J ( ) se e s se < , , R

que evidentemente definem uma estrutura de corpo totalmente ordenado sobre

D tal que J isomorfismo estritamente crescente de R sobre D. O nmero decimal
J () D chamado a representao decimal de R.
Existem dois tipos de desenvolvimentos decimais ilimitados prprios, um deles
caracterizando os racionais e o outro os irracionais. Na escola, aprendemos a distinguir
os racionais dos irracionais a partir de suas representaes decimais. Os racionais so
aqueles nmeros decimais que, a partir de uma certa casa decimal, so peridicos como
2, 32541 |{z}
258 |{z}
258 |{z}
258 ou, em particular, os estacionrios como 1, 1500 . . . 0 . . . . Estes
nmeros decimais so chamados dzimas peridicas. J os irracionais so apresentados

como aqueles nmeros decimais sem nenhum tipo de periodicidade. Antes de
demonstrar esses fatos precisamos definir os conceitos de diviso aproximada.
Definio 6.22. Dados a, b N com a < b, chamamos de diviso aproximada de a por

b de ordem v N quando obtemos dois nmeros inteiros q e r que satisfazem
a.10v = bq + r e 0 r < b. (8)
Se dividirmos a igualdade (8) por b.10v :

a v
r r
= q.10 + 10v ( e 0 < 1). (9)
b b b
O nmero decimal q.10v ser chamado de resultado de ordem v da diviso
aproximada de a por b.
De (9), resulta 0 br < 1 e ba q.10v = ba q.10v = br 10v < 10v , que

mostra que, mesmo no caso r > 0 pode-se tornar q.10v to prximo quanto se queira
do racional a/b desde que se tome v N suficientemente grande.
Proposio 6.4. Se v = 0, a hiptese 0 < a < b e (8) mostram que q = 0 e r = a e

portanto o desenvolvimento decimal ilimitado de q J (q) = 0, 00 . . . 0 . . . Se v 1 ento o
desenvolvimento decimal ilimitado de q.10v da forma:
J (q.10v ) = 0, 1 2 . . . v 00 . . . 0 . . . , () onde 0 j 9 para cada j = 1, 2, . . . , v.
Demonstrao. Fixado v N arbitrrio, temos: a.10v < b ou a.10v b.

No primeiro caso, por (8), resulta q = 0 e r = a.10v < b, o que prova () com
1 = 2 = . . . = v = 0. Se a.10v b ento claro que 0 < q < 10v . Em consequncia,
q admite um desenvolvimento em potncias de 10 do tipo seguinte:
v
qv = a1 .10v1 + a2 .10v2 + . . . + v = 10v j . j , com 0 j 9 e portanto:
j =1
qv .10v = 1
10 + 2
102
+...+ v
10v = 0, 1 2 . . . v = 0, 1 2 . . . v 00 . . . 0 . . .
Consideremos a, b N com a b. Ao fazermos a diviso inteira de a por

b obteremos um quociente Q e um resto R, caracterizados pelas duas condies:
a = b.Q + R e 0 < R < b, onde o caso R = 0 foi excludo, pois neste caso a diviso
aproximada simplesmente a diviso exata. Em consequncia,
a R R
= Q + e 0 < < 1. (10)
b b b
Fazendo a diviso aproximada de R por b de ordem v N, obtemos a igualdade:
R r r
= q.10v + 10v (0 < 1)
b b b
Substituindo em (10) temos
a r r
= ( Q + q.10v ) + 10v e 0 < < 1. (11)
b b b
Assim, quando a, b N com a b, chamaremos de diviso aproximada de a
por b de ordem v o processo descrito anterior e definimos o resultado de ordem v
da diviso aproximada de a por b como sendo o nmero racional Q + q.10v cujo
desenvolvimento decimal ilimitado do tipo
Q, 1 2 . . . v 00 . . . 0 . . .
Por fim, se a Z (ainda suporemos b N ) ento a0 := a N e definimos
diviso aproximada de a por b de ordem v N como o processo que consiste em fazer
a diviso aproximada de a0 por b de ordem v obtendo uma igualdade do tipo (9) ou
(11) (dependendo de que 0 a0 < b ou a0 b.
Chamaremos resultado de ordem v da diviso aproximada de a por b, o nmero
decimal ( Q + q.10v ), isto , o oposto do resultado de ordem v da diviso
aproximada de a0 = a por b.
Por fim, dados a Z e b N , chamaremos resultado da diviso prolongada
de a por b ao smbolo 0 , 1 2 . . . m . . . D0 onde (m )mN a sequncia definida
assim: para cada v N, o nmero decimal 0 , 1 2 . . . v = 0 , 1 2 . . . v 00 . . . 0 . . . o
resultado de ordem v da diviso aproximada de a por b.
O lema seguinte formaliza alguns resultado j conhecidos desde o ensino primrio
e, como a demonstrao longa, ser omitida.
Lema 6.5.
(a) Se t Z ento J (t) = t, 00 . . . 0 . . .
(b) J (10m ) = 0, 00 . . 01} 00 . . . 0 . . .

| .{z
m
(c) Se R e J () = 0 , 1 2 . . . m . . . , ento
= 0 + J 1 (0, 1 2 . . . m . . .) e
J () = 0 , 00 . . . 0 . . . + 0, 1 2 . . . m . . .
Demonstrao. Exerccio. Para detalhes, consulte Aragona(2010)[2].
Vejamos a notao adotada e em seguida definiremos dzima peridica.

Sejam 0 N, 0 , 1 2 . . . m . . . D e ( j )0 jn a sequncia determinada por 0 de
modo que
n
0 = 0 1 . . . n : = 10k nk
k =0
onde j Z e 0 j 9 para cada j = 0, 1, . . . , n. Definimos
0 1 . . . n , 1 2 . . . m . . . : = 0 , 1 2 . . . m . . .
donde resulta em particular 0 1 . . . n , 00 . . . 0 . . . = 0 , 00 . . . 0 . . .
Logo, podemos escrever
0 1 . . . n , 1 2 . . . m . . . := 0 1 . . . n , 00 . . . 0 . . . + 0, 1 2 . . . m .
Definio 6.23. Sejam R e J () D seu desenvolvimento decimal ilimitado. Diz-

se que J () = 0 , 1 2 . . . uma dzima peridica se existem v0 N e t0 N tais que
m = m+t0 m > v 0
So chamados ndice divisrio e tamanho da dzima J (), respectivamente, os
seguintes nmeros:
v := min{v0 N; t0 N tal que vale m = m+t0 m > v0 }

t := min{t0 N ; m = m+t0 m > v}
Pelas definies de t e v temos: m = m+t m > v.

Chama-se perodo da dzima J () ao nmero inteiro
t
:= 10t v+ .
=1
Vamos verificar que = pv+t 10t pv .

Temos
v+t v+t
pv+t = 10v+t v+t = 10v+t 10k k = 10v+tk k
k =0 k =0
e
v v
t t t
10 pv = 10 (10 v ) = 10 t+v
10 k
k = 10v+tk k ,
k =0 k =0
donde
v+t v
pv+t 10t pv = 10v+tk k 10v+tk k
k =0 k =0
v+t t
= 10 v+tk
k = 10t v+ = .
k = v +1 =1
Esquematicamente,
t
0 , 1 2 . . . v v+1 . . . v+t v+t+1 . . . v+2t v+2t+1 . . . e = 10t v+
=1
| {z }| {z } | {z }
representado por
= v +1 . . . v + t .
Proposio 6.5. Se a N e b N ento o resultado de ordem v N da diviso aproximada

de a por b coincide com a aproximao decimal por falta de ordem v do racional a/b. Em
consequncia, o desenvolvimento decimal ilimitado prprio de a/b coincide com o resultado
da diviso prolongada de a por b.
Demonstrao. As definies de diviso aproximada e de resultado de uma diviso

aproximada mostram que podemos nos limitar a considerar o caso 0 < a b se reduz a este e o caso a = b bvio). A igualdade em (9) implica
a
q 10v
b
r r
10v 0; e

pois b 0 e, portanto, b
a
< (q + 1)10v
b
pois br < 1 e portanto r
.10v < 10v . Donde resulta que q Z satisfaz as

b
desigualdades q 10v a
b < (q + 1)10v .
Proposio 6.6. Dados R so equivalentes as condies:
(a) Q.
(b) O desenvolvimento decimal ilimitado prprio de peridico a partir de alguma casa

decimal (em outras palavras, J ( ) uma dzima peridica).
Demonstrao. ( a) (b) Vamos supor que = a/b com b N ; assim como em

( a), basta considerar o caso 0 < a < b. Temos que a10v = b.qv + rv e 0 rv < b(v N).
Para os valores v = 0, 1, 2, . . . , b teremos b + 1 restos r0 , r1 , r2 , . . . , rb que so os b + 1
inteiros que pertencem ao conjunto {0, 1, 2, . . . , b 1} logo claro que aparece pelo
menos um resto repetido, isto , existem v, v0 N com 0 v, v0 b e v 6= v0 com
rv = rv0 e, neste momento aparece a periodicidade da diviso prolongada de a por
b que, pela proposio anterior, coincide com o desenvolvimento decimal ilimitado
prprio de a/b.
(b) ( a) O desenvolvimento decimal ilimitado J ( ) de dado por
z }| {z }| { z }| {
0 , 1 2 . . . v v+1 . . . v+t v+t+1 . . . v+2t . . . v+1+lt . . . v+(l +1)t . . .
Esse desenvolvimento , por hiptese, peridico de perodo = v+1 . . . v+t =

= v+1+lt . . . v+(l +1)t = . Para simplificar, vamos usar a identificao R = D, o
que permite escrever = J ( ), isto ,
= 0 , 1 2 . . . v v+1 . . . v+t . . . v+1+lt . . . v+(l +1)t . . .
Vamos supor 0 0 (e portanto, = 0 se eliminarmos o caso trivial 0 = 1 =

= v = v+1 = = v+t = 0). Vimos que existe uma nica sequncia ( j )0 jn
em Z verificando 0 j 9 sempre que 0 j n tal que 0 = 0 1 . . . n e ento,
pode ser escrito assim:
= 0 1 . . . n , 1 2 . . . v v+1 . . . v+t . . . v+1+lt . . . v+(l +1)t . . .
Assim,
10v = 0 1 . . . n 1 2 . . . v , v+1 . . . v+t . . .
10v+t = 0 1 . . . n 1 2 . . . v v+1 . . . v+t , v+t+1 . . . v+2t . . .
As potncias 10v e 10v+t foram escolhidas de modo que, aps a vrgula, em

cada uma das igualdades anteriores aparecesse o perodo completo repetido
indefinidamente. Como j mostrado, podemos escrever:
10v = 0 1 . . . n 1 2 . . . v , 00 . . . 0 . . . + 0, v+1 . . . v+t . . .
10v+t = 0 1 . . . n 1 2 . . . v v+1 . . . v+t , 00 . . . 0 . . . + 0, v+t+1 . . . v+2t . . .
o que implica
(10v+t 10v ) = 0 1 . . . n 1 2 . . . v v+1 . . . v+t , 00 . . . 0 . . .

0 1 . . . n 1 2 . . . v , 00 . . . 0 . . .
e ento (10v+t 10v ) = r s onde
r : = 0 1 . . . n 1 2 . . . v v +1 . . . v + t
n v t
= 10n+v+tk k + 10v+tl l + 10t j v+ j
k =0 l =1 j =1
e
n v
s : = 0 1 . . . n 1 2 . . . v = 10n+vk k + 10vi i .
k =0 i =1
rs
Portanto, r s Q, donde = Q.
1) 10v (10t
O caso 0 Z deixado como exerccio.

rs
Observao. A expresso obtida na prova acima, chamada a frao
1)10v (10t
geratriz da dzima peridica 0 , 1 2 . . . v v+1 . . . v+t v+t+1 . . .
6.5 R um corpo ordenado e completo

Assim como o conjunto dos racionais Q, o conjunto dos nmeros reais R um corpo
ordenado. Entretanto, R tem a propriedade da completude, que o difere do conjunto
Q.
Como R completo, podemos demonstrar a existncia de razes n-simas de
nmeros reais positivos.
Teorema 6.31. Para cada x > 0, real, e cada n > 0, inteiro, existe um nico nmero real
n
y > 0 tal que y = x. Este nmero y designado por n x ou por x1/n .
Demonstrao. claro que no pode existir mais de um y nas condies acima,
pois de 0 < y1 < y2 resulta y1n < y2n .
Seja E o conjunto de todos os reais positivos t tais que tn < x.
Se t = x/(1 + x ), ento 0 < t < 1; portanto, tn t < x, de modo que E no vazio.
Seja t0 = 1 + x. Se t > t0 , ento tn t > x, de modo que t 6 E e t0 uma cota
superior de E.
Seja y = sup E. Suponhamos yn < x. Consideremos h tal que 0 < h < 1
x yn n
e h < n n
. Seja (m ) o coeficiente de zm no desenvolvimento do binmio
(1 + y ) y
(1 + z)n , temos:

n n n n 1 n n 2 2 n n
(y + h) = y + y h+ y h +...+ h
1 2 n

n n n 1 n n 2 n
y +h y + y +...+
1 2 n
n n n
= y + h[(1 + y) y ]
< yn + ( x yn ) = x.
Logo, y + h E, contradizendo o fato de y ser cota superior de E.
Suponhamos yn > x. Consideremos k tal que 0 < k < 1, k < y, e, ainda,
yn x
k< .
(1 + y ) n y n
Ento, para t y k, temos:

n n n n n 1 n n 2 2 n n
t (y k) = y y k+ y k . . . + (1) kn
1 2 n

n n n 1 n n 2 n n n 1
= y k y y k + . . . (1) k
1 2 n

n n n 1 n n 2 n
y k y + y +...+
1 2 n
= yn k [(1 + y)n yn ] > yn (yn x ) = x.
Assim, y k uma cota superior de E, contradizendo o fato de y = sup E.

Portanto, yn = x.

6.6: A unicidade de R 87
6.6 A unicidade de R
Nesta seo mostraremos que no existem outros corpos ordenados completos
alm de R. Ou seja, mostraremos que quaisquer dois corpos ordenados completos so
isomorfos. Para isso, definiremos isomorfismo e seguiremos o roteiro feito por Spivak
em [34].
Definio 6.24. Se F1 e F2 so dois corpos, um isomorfismo de F1 em F2 uma funo f

de F1 em F2 com as seguintes propriedades:
(a) Se x 6= y, ento f ( x ) 6= f (y).
(b) Se z F2 , ento z = f ( x ) para algum x F1 .
(c) Se x, y F1 , ento
f ( x y ) = f ( x )+ f ( y ),
f ( x y ) = f ( x ) f ( y );
Se F1 e F2 so corpos ordenados, com relaes de ordem e < respectivamente,

tambm preciso satisfazer:
(d) Se x y, ento f ( x )< f (y).
Os corpos F1 e F2 so chamados isomorfos se existe um isomorfismo entre eles.

Corpos isomorfos podem ser considerados como essencialmente o mesmo, isto ,
qualquer propriedade de um, vale automaticamente para o outro.
Dado um corpo ordenado F, vamos verificar se F isomorfo a R. Seja F um corpo,
com as operaes + e ., e elementos positivos P; escrevemos a<b para significar que
b a P.
Teorema 6.32. Se F um corpo ordenado completo, ento F isomorfo a R.
Demonstrao. Vamos construir uma funo f de R em F e mostrar que existe um

isomorfismo entre R e F.
Inicialmente, definimos f nos inteiros como segue:
f (0) = 0
| {z
f (n) = 1+ +1} para n > 0,
n vezes
f (n) = (1+ +1) para n < 0,
| {z }
|n| vezes
fcil verificar que:
f ( m + n ) = f ( m )+ f ( n ); f ( m n ) = f ( m ) f ( n ),
para todos os inteiros m, n e conveniente denotar f (n) por n. Definimos f nos

nmeros racionais por:
f (m/n) = m/n = m n1
Note que, como f um corpo ordenado, 1+ +1 6= 0 se n > 0. Esta definio faz

sentido porque se m/n = k/l, ento ml = nk, da m l = k n, ou seja, m n1 = k l1 .
fcil verificar que:
f (r1 + r2 ) = f (r1 )+ f (r2 )

f (r1 r2 ) = f (r1 ) f (r2 )
para todos os racionais r1 e r2 , e que f (r1 ) < f (r2 ) se r1 < r2 .

A definio de f ( x ) para x arbitrrio baseada na ideia familiar de que qualquer
nmero real determinado pelos nmeros racionais menores do que ele. Para
qualquer x R, seja A x o subconjunto de F consistindo de todos f (r ), para todos
os nmeros racionais r < x. O conjunto A x certamente no vazio, e limitado
superiormente, pois se r0 um nmero racional com r0 > x, ento f (r0 ) > f (r ), para
todo f (r ) em A x . Como F um corpo ordenado completo, o conjunto A x tem uma
menor cota superior; definimos f ( x ) como sup A x .
Temos assim f ( x ) definida de dois modos diferentes, primeiro para x racional e
depois para x arbitrrio. necessrio mostrar que estas duas definies coincidem
para x racional. Em outras palavras, se x um nmero racional, queremos mostrar
que sup A x = f ( x ), onde f ( x ) denota m/n, para x = m/n. Isto no automtico, mas
depende da completude de F.
Como F completo, os elementos 1+ | {z +1}, para nmeros naturais n formam
n vezes
um conjunto no limitado superiormente. As consequncias deste fato para R tm
equivalncia em F : em particular, se a e b so elementos de F com a<b, ento existe um
nmero racional r tal que a< f (r )<b.
Tendo feito esta observao, voltemos a demonstrao de que as duas definies
de f ( x ) coincidem para x racional. Se y um nmero racional com y < x, ento
j vimos que f (y)< f ( x ). Portanto, todo elemento de A x < f ( x ). Consequentemente,
sup A x f ( x ).
Por outro lado, suponha que temos sup A x < f ( x ). Ento existiria um nmero
racional r tal que sup A x < f (r ) < f ( x ). Mas a condio f (r ) < f ( x ) significa
que r < x, o que implica que f (r ) est no conjunto A x ; isto contradiz a condio
sup A x < f (r ). Logo, sup A x = f ( x ).
Temos portanto uma funo bem definida f de R em F. A fim de mostrar que f
um isomorfismo, devemos verificar as condies ( a) (d) da definio. Comearemos
com a condio (d).
Se x e y so nmeros reais com x < y, ento claramente A x est contido em Ay .
Portanto,
f ( x ) = sup A x sup Ay = f (y)
Para rejeitar a possibilidade de igualdade, note que existem nmeros racionais r e s
com x < r < s < y. Ns sabemos que f (r ) < f (s). Da, segue que
f ( x ) f (r ) < f ( s ) f ( y ).
o que prova (d).
A condio ( a) segue imediatamente da (d) : Se x 6= y, ento tanto x < y ou y < x;
no primeiro caso f ( x ) < f (y), e no segundo caso f (y) < f ( x ); em qualquer dos casos
f ( x ) 6 = f ( y ).
6.7: R no-enumervel 89
Para provar (b), seja a um elemento de F, e seja B o conjunto de todos os nmeros

racionais r com f (r ) < a. O conjunto B no vazio, e limitado superiormente, porque
existe um nmero racional s com f (s) > a, de modo que f (s) > f (r ) para r em B, o
que implica que s > r. Seja x a menor cota superior de B; afirmamos que f ( x ) = a.
Para provar isto, suficiente eliminar as alternativas f ( x ) < a e a < f ( x ). No primeiro
caso, existiria um nmero racional r com f ( x ) < f (r ) < a. Mas, isto significaria que
x < r e que r estaria em B, o que contradiz o fato de que x = sup B. No segundo caso,
existiria um nmero racional r com a < f (r ) < f ( x ). Isto implicaria que r < x. Como
x = sup B, teramos r < s para algum s em B. Portanto, f (r ) < f (s) < a, contradio.
Portanto, f ( x ) = a, provando (b).
Para mostrar (c), sejam x e y nmeros reais e suponha que f ( x + y) 6= f ( x )+ f (y).
Ento, f ( x + y) < f ( x )+ f (y) ou f ( x )+ f (y) < f ( x + y). No primeiro caso, existiria um
nmero racional r tal que f ( x + y) < f (r ) < f ( x )+ f (y). Isto significaria que x + y < r.
Portanto, r poderia ser escrito como a soma de dois nmeros racionais r = r1 + r2 , onde
x < r1 e y < r2 . Ento, usando os fatos verificados sobre f para nmeros racionais,
seguiria que f (r ) = f (r1 + r2 ) = f (r1 )+ f (r2 ) > f ( x )+ f (y). Contradio. O outro caso
anlogo a este.
Finalmente, se x e y so nmeros reais positivos, o mesmo raciocnio mostra que
f ( x.y) = f ( x ). f (y); o caso geral uma simples consequncia.

6.7 R no-enumervel
Segundo Georg Cantor, dois conjuntos so equivalentes, ou tm a mesma

cardinalidade, quando possvel estabelecer uma correspondncia que leve elementos
distintos de um conjunto em elementos distintos do outro, todos os elementos de um
e do outro conjunto sendo objeto dessa correspondncia. Em outras palavras, dois
conjuntos so equivalentes, ou tm a mesma cardinalidade, quando existe uma bijeo
entre eles.
Com relao a conjuntos finitos, a equivalncia entre dois conjuntos implica em
possurem o mesmo nmero de elementos, ou seja, a mesma cardinalidade. E
quando se consideram conjuntos infinitos? Pode-se afirmar que todos tm a mesma
cardinalidade? Georg Cantor respondeu a esta questo e mostrou que o conjunto dos
nmeros reais tem cardinalidade diferente dos nmeros naturais.
Cantor passou a chamar de enumervel a todo conjunto que tem a mesma
cardinalidade dos nmeros naturais. Mostraremos que o conjunto dos nmeros reais
no-enumervel. Para isso, definiremos inicialmente o conceito de enumerabilidade
e provaremos alguns resultados importantes, como por exemplo, que todo conjunto
infinito contm um subconjunto infinito enumervel. Este resultado significa que o
enumervel o menor dos infinitos.
O conjunto dos nmeros racionais enumervel, entretanto o conjunto dos
nmeros reais no enumervel. Para provar isso, utilizaremos o mtodo
desenvolvido por Cantor, chamado mtodo da diagonal.
Estudaremos o intervalo (0, 1), que tem a mesma cardinalidade que a reta toda, pois
existe uma bijeo y = tg(x /2) do intervalo (0, 1) na reta toda (, ).
Usaremos a representao decimal e mostraremos que nenhuma funo f : N

(0, 1) sobrejetiva. Na seo 6.4 mostramos que dado x > 0 real e, n0 o maior inteiro tal
que n0 x, a representao decimal de x n0 , n1 n2 n3 . . . , onde cada dgito ni igual
a 0, 1, 2, 3, 4, 5, 6, 7, 8, 9. Logo, todo nmero real decimal x com 0 < x < 1 tem uma
representao decimal na forma x = 0, n1 n2 n3 . . . . Deve-se notar que certos nmeros
reais tm duas representaes nesta forma, por exemplo, o nmero racional 1/10 tem
as representaes: 0, 1000 e 0, 0999 . Assim, poderia-se decidir em favor de uma
dessas representaes, mas isso no ser necessrio.
Suponha que exista uma enumerao x1 , x2 , x3 , . . . de todos os nmeros reais
satisfazendo 0 < x < 1 dada por:
x1 = 0, y11 y12 y13 . . .

x2 = 0, y21 y22 y23 . . .
x3 = 0, y31 y32 y33 . . .
..
.
onde os yij so algarismos de 0 a 9. Escrevemos f (1) = x1 , f (2) = x2 , f (3) = x3 , . . . .

Considere o nmero y = 0, y1 y2 y3 . . . com y1 diferente de 0, y11 e 9; y2 diferente de
0, y22 e 9; y3 diferente de 0, y33 e 9, etc. fcil verificar que 0 < y < 1. Desse modo, o
nmero y no nenhum dos nmeros com duas representaes decimais, desde que
yn 6= 0, 9. Ao mesmo tempo, y 6= xn para todo n (desde que o nsimo dgito da
representao decimal de y e xn diferente). Portanto, qualquer coleo enumervel
de nmeros reais no intervalo (0, 1) omitir pelo menos um nmero real pertencente
a este intervalo. Desse modo, f no sobrejetiva e este intervalo no enumervel.
Como (0, 1) R temos que R no-enumervel.
Daremos uma outra demonstrao de que o conjunto dos nmeros reais no
enumervel. Para isso, precisamos provar o teorema dos intervalos encaixados, dado
a seguir. Esta demonstrao a mais prxima da demonstrao original da no
enumerabilidade de R feita por Cantor.
Teorema 6.33. Dada uma sequncia decrescente I1 I2 . . . In . . . de intervalos

limitados e fechados In = [ a, b], ento existe pelo menos um nmero real c tal que c In para
todo n N.
Demonstrao. As incluses In In+1 significam que
a1 a2 . . . an . . . bn . . . b2 b1 .
Seja A o conjunto dos an , isto , A = { a1 , a2 , . . . , an , . . .}, e B o conjunto dos bn , isto ,

B = {b1 , b2 , . . . , bn , . . .}. O conjunto A limitado superiormente (cada bn uma cota
superior de A) e o conjunto B limitado inferiormente (cada an uma cota inferior de
B). Sejam a = sup A e b = inf B. Temos que a bn , para cada n. Assim, a cota inferior
de B e, portanto, a b. Podemos ento escrever:
a1 a2 . . . an . . . a b . . . bn . . . b2 b1 .
Conclumos que a e b (podendo ser a = b) pertencem a todos os In , donde [ a, b] In

para cada n. Logo, [ a, b]
n=1 In . Com efeito, sendo x < a = sup A, existe algum
6.7: R no-enumervel 91
an A tal que x < an , ou seja, x 6 In . Do mesmo modo, y > b y > bm para algum
m, donde ym 6 Im . Conclumos ento que In = [ a, b].

Observao.
1. A condio de que os intervalos In sejam fechados essencial no teorema 6.33.

Por exemplo, os intervalos In = (0, 1/n) so encaixados e limitados, mas no so
fechados. fcil verificar que sua interseo vazia.
2. A condio de que os intervalos In sejam limitados tambm essencial no

teorema 6.33. Por exemplo, In = [0, +) uma famlia de intervalos fechados e
encaixados, porm no limitados e sua interseo vazia.
Proposio 6.7. O conjunto R dos nmeros reais no enumervel.
Demonstrao. Mostraremos que nenhuma funo f : N R pode ser sobrejetiva.

Para isto, supondo f dada, construiremos uma sequncia decrescente I1 I2 . . .
In . . . de intervalos limitados e fechados tais que f (n) 6 In . Ento se c um nmero
real pertencente a todos os In , nenhum dos valores f (n) pode ser igual a c, logo f
no sobrejetiva. Para obter os intervalos, comeamos tomando I1 = [ a1 , b1 ] tal que
f (1) < a1 e, supondo obtidos I1 I2 . . . In tais que f ( j) 6 Ij , olhamos para
In = [ an , bn ]. Se f (n + 1) 6 In , podemos simplesmente tomar In+1 = In . Se, porm,
f (n + 1) In , pelo menos um dos extremos, digamos an , diferente de f (n + 1),
isto , an < f (n + 1). Neste caso, tomamos In+1 = [ an+1 , bn+1 ], com an+1 = an e
bn+1 = ( an + f (n + 1))/2.
Corolrio 6.2. Todo intervalo no-degenerado de nmeros reais no-enumervel.
Com efeito, f : (0, 1) ( a, b) definida por f ( x ) = (b a) x + a uma bijeo do

intervalo aberto (0, 1) no intervalo aberto arbitrrio ( a, b), assim, se provarmos que
(0, 1) no enumervel, resultar que nenhum intervalo no-degenerado pode ser
enumervel. Ora, se (0, 1) fosse enumervel (0, 1] tambm seria e, consequentemente,
para cada n Z, o intervalo (n, n + 1] seria enumervel (pois x x + n uma
bijeo de (0, 1] sobre (n, n + 1]). Mas R = nZ (n, n + 1] seria enumervel, por ser
uma reunio enumervel dos conjuntos (n, n + 1].
Corolrio 6.3. O conjunto dos nmeros irracionais no enumervel.
Com efeito, temos R = Q (R Q). Sabemos que o conjunto Q dos nmeros

racionais enumervel. Se R Q tambm o fosse, R seria enumervel, como reunio
de dois conjuntos enumerveis.
Os irracionais R Q constituem um conjunto no-enumervel, logo, formam a
maioria dos reais.
6.8 A densidade dos racionais e irracionais em R

Definio 6.25. Um conjunto X R chama-se denso em R quando todo intervalo
aberto ( a, b) contm algum ponto de X.
Exemplo 6.4. X = R Z denso em R. Com efeito, todo intervalo ( a, b) um conjunto

infinito, enquanto existe no mximo um nmero finito de inteiros n tais que a < n < b.
Logo, qualquer intervalo ( a, b) contm elementos de X.
Teorema 6.34. O conjunto Q dos nmeros racionais e o conjunto R Q dos nmeros

irracionais so ambos densos em R.
Demonstrao. Seja ( a, b) um intervalo aberto qualquer em R. Devemos mostrar

que existem um racional e um nmero irracional em ( a, b). Como b a > 0, existe um
nmero natural p tal que 0 < 1p < b a. Os nmeros da forma mp , m Z, decompem
a reta R em intervalos de comprimento 1p . Como 1p menor do que o comprimento
b a do intervalo ( a, b), algum dos nmeros mp deve cair dentro de ( a, b). Esta a ideia
n o
m
intuitiva da demonstrao. Seja A = m Z; p b . Como R arquimediano, A
um conjunto no-vazio de nmeros inteiros, limitado inferiormente por b p. Seja
m0 A o menor elemento de A. Ento b mp0 mas, como m0 1 < m0 , tem-se
m0 1 m0 1
p < b. Afirmamos que a < p < b. Com efeito, se no fosse assim, teramos
m0 1 m0 m0 m0 1
p a<b p . Isso acarretaria b a p p = 1p , uma contradio. Logo, o
nmero racional m0p1 pertence ao intervalo ( a, b). Para obter um nmero irracional no

intervalo ( a, b), tomamos p N tal que 1p < ba , ou seja, p2 < b a. Os nmeros da
2
m 2
forma p , onde m Z, so (salvo m = 0) irracionais e dividem a reta R em intervalos

de comprimento p2 . Como p2 menor do que o comprimento b a do intervalo ( a, b),

conclui-se que algum m p 2 deve pertencer a ( a, b). A demonstrao formal se faz como

m0 2
no caso anterior: se m0 for o menor inteiro tal que b p ento o nmero irracional

( m0 1) 2
p pertence ao intervalo ( a, b).
A proposio anterior pode ser reformulada assim: todo intervalo no-degenerado

I contm nmeros racionais e irracionais.
6.9 Exerccios
1. Seja ( xn ) uma sequncia convergindo para um limite racional b; [( x )] a classe de
equivalncia contendo ( xn ); (yn ) outra sequncia na classe de equivalncia [( x )].
Prove que (yn ) converge para b.
2. Considere o conjunto dos nmeros reais como sendo o conjunto das classes de
equivalncia das sequncias de Cauchy de nmeros racionais.
(a) Prove que R um corpo, isto , verifique todos os axiomas de corpo.

6.9: Exerccios 93
(b) Prove que os reais satisfazem a lei da tricotomia.
3. Prove que o conjunto {r/r > 0, r2 > 2} um corte.
4. Prove que a unio de um nmero finito de cortes um corte.
5. Considere a condio (iii ) da definio 6.9, de cortes de Dedekind. Quais seriam

as dificuldades encontradas no desenvolvimento da teoria dos nmeros reais se
esta condio fosse omitida?
6. Considere os reais de Dedekind.
(a) Prove que a adio em R satisfaz as leis da comutatividade, associatividade,

identidade da adio e inversa aditiva.
(b) Prove que os reais de Dedekind satisfazem a lei da tricotomia.
(c) Prove que a multiplicao em R satisfaz as leis da comutatividade,
associatividade, identidade, inversa e lei da distributividade (apenas para
cortes no-negativos ).
7. A propriedade do supremo (teorema 6.29) foi deduzida do teorema de Dedekind

(teorema 6.28). Mas, estes dois teoremas so equivalentes. Para demonstrar
esta afirmao, admita a propriedade do supremo como postulado, alm das
propriedades usuais dos nmeros reais, e demonstre o teorema de Dedekind sem
considerar cortes no conjunto dos nmeros racionais.
8. Observe que a propriedade do supremo tem como consequncia a propriedade

dos intervalos encaixados, que diz: se In = [ an , bn ] uma famlia de intervalos
fechados tais que I1 I2 . . . In . . . e o comprimento | In | = bn an tende
a zero, ento existe um e um s nmero c pertencendo a todos os intervalos In .
Prove que essa ltima propriedade implica a propriedade do supremo, ficando
assim provado que a propriedade do supremo equivale propriedade dos
intervalos encaixados.
9. Prove que se postularmos que toda sequncia no decrescente e limitada

convergente conseguiremos provar a propriedade dos intervalos encaixados,
portanto, tambm a propriedade do supremo, estabelecendo assim que essa
propriedade equivalente a afirmar que toda sequncia no decrescente e
limitada converge.
10. Observe que a propriedade do supremo tem como consequncia que toda
sequncia de Cauchy converge. Prove a recproca dessa proposio, isto ,
prove que se toda sequncia de Cauchy converge, ento vale a propriedade
do supremo, ficando assim provado que essa propriedade equivalente a toda
sequncia de Cauchy ser convergente.
Captulo 7
Extenses dos Nmeros Reais
7.1 Extenses multidimensionais

7.1.1 Os Nmeros Complexos
Os nmeros complexos so a extenso mais antiga e conhecida dos nmeros reais.
Inicialmente surgiram como uma necessidade para dar sentido a equaes do tipo
x2 + 1 = 0.
Tal equao no tem soluo no mundo dos reais. Se existisse uma soluo real, nos
levaria a ter que aceitar a existncia de um real cujo quadrado negativo ( x R;
x2 = 1 < 0). O que absurdo, pois, em todo corpo ordenado (como R) o quadrado
de um nmero nunca negativo. De qualquer, se "imaginarmos"que existisse um tal i
tal que i2 = 1, teramos
x2 + 1 = x2 i2 = ( x i )( x + i ),
de onde, x = i e x = i seriam justamente solues (no reais, imaginrias?) de

x2 + 1 = 0.
Se os nmeros reais representam um modelo algbrico de uma linha reta
(unidimensional), onde estariam localizados o i e i?
Fica evidente que os nmeros reais precisam ser estendidos a um conjunto de tal
forma que contenham os nmeros i e i.
Tal extenso existe e chamada de conjunto dos nmeros complexos, e denotado
por C. Eles formam uma estrutura algbrica (corpo). Atualmente, possuem uma
teoria bem elaborada e com muitas aplicaes importantes em diversas reas. Os
complexos foram vistos com desconfiana pelos matemticos por muitos anos, sendo
usados somente com relutncia, pois aparentavam no ter qualquer base na realidade.
Interpretando os complexos como pontos do plano (C = R2 ) podemos dizer que se
trata de uma extenso bidimensional dos reais.
Um nmero complexo z um nmero da forma
z = a + bi
onde a, b R e i chamado de unidade imaginria tal que i2 = 1. O real a chamado

parte real de z e b a parte imaginria de z. O conjunto formado por nmeros complexos
95
96 Captulo 7: Extenses dos Nmeros Reais
denotado por C. Portanto,
C = { a + bi; a, b R, i2 = 1}
A soma e produto de dois complexos definido por
( a + bi ) + (c + di ) = ( a + c) + (b + d)i. (1)
( a + bi )(c + di ) = ( ac bd) + (bc + ad)i. (2)
onde i2 = 1. Essas operaes fazem de C um corpo. Os elementos neutros dessas

operaes so 0 = 0 + 0 i e 1 = 0 + 1 i. O inverso aditivo de z = a + bi z = a bi
a b
e o inverso multiplicativo de z = a + bi 6= 0 z1 = 2 i.
a + b2 a2 + b2
Com esta abordagem, fica evidente que R C, pois todo real a pode ser escrito da
forma a + 0 i.
Uma das caractersticas importantes dos complexos que cada z = a + bi pode ser
vista como um ponto ( a, b) do plano R2 .
Nmeros complexos vistos como o pontos de plano R2

Definimos o conjunto dos nmeros complexos, C como sendo o plano R2 munido
de duas operaes definidas como
( a, b) + (c, d) = ( a + c, b + d) (3)
( a, b) (c, d) = ( ac bd, bc + ad). (4)
Fica como exerccio verificar os nove axiomas (de corpo), que nos permitem afirmar
que C = (R2 , +, ), de fato, um corpo.
Quando nos referimos ao conjunto dos reais como sendo unidimensional e o dos
complexos bidimensional, estamos nos referindo dimenso deles visto como espaos
vetoriais1 sobre o corpo R.
Foi visto que C um corpo que no pode ser ordenado, pois existe i C tal que
i2 < 0. Entretanto, diferente de R, um conjunto algebricamente fechado. Em C, todo
polinmio tem raiz (Teorema Fundamental da lgebra).
Complexos como matrizes

Uma outra forma de representar um nmero complexo a + bi como matrizes
quadradas de ordem dois.
a b
b a
A soma e produto dado pelas operaes usuais de matrizes.

a b c d a+c b+d
+ =
b a d c (b + d) a + c
1
assumiremos que o leitor conhece os axiomas que caracterizam um espao vetorial V sobre um
corpo K de dimenso finita, onde a dimenso de V definida como o nmero de elementos de uma base
de V
7.1: Extenses multidimensionais 97

a b c d ac bd ad + bc
=
b a d c (bc + ad) bd + ac

0 1
A unidade imaginria i identificada com
1 0
Note que
a b a 0 0 1
z= = +b
b a 0 a 1 0

a 0 0 1
Se usssemos a notao a = e i= , escreveramos simplesmente
0 a 1 0
z = a + bi.
7.1.2 Quaternions
Tanto R como C so espaos vetoriais sobre o corpo R.
A base cannica de R {1}, todo real combinao linear de 1 (a = a 1). Assim,
dim R = 1. O tabela do produto dos elementos da base de R se reduz a
1
1 1
A base cannica de C {1, i } todo complexo z combinao linear de 1 e i
(z = a + bi). Portanto, dim C = 2. A tabela do produto dos elementos da base
1 i
1 1 i
i i 1
A tabela mostra a regra bsica que utilizada para lidar com a quantidade imaginria
i (i2 = 1).
De modo anlogo, existe um espao vetorial H cujo corpo R com a base cannica
dada pelo conjunto {1, i, j, k } e a regra para multiplicar os elementos da base
1 i j k
1 1 i j k
i i 1 k j
j j k 1 i
k k j i 1
Do mesmo modo que em C foi suficiente colocar a regra i2 = 1. Em H a tabela
poderia ser resumida como
i2 = j2 = k2 = ijk = 1
Assim pode-se escrever
H = { a + bi + cj + dk ; a, b, c, d R, i2 = j2 = k2 = ijk = 1 }
H chamado conjunto dos quatrnios. Foram descobertos por Hamilton em 1835. Eles
so uma extenso natural dos complexos. Os pontos de H da forma a + bi + 0 j + 0 k =
a + bi so identificados com os complexos. Assim C H. Esse tipo de extenses pode
realizadas teoricamente ad infinitum, seguindo um processo chamado construccin de
Cayley-Dickson. Sempre duplicando a dimenso. O prximo conhecido por Octnios.
7.2 Extenses unidimensionais

7.2.1 Os Nmeros Hiper-reais
Antes de falarmos dos hiper-reais preciso lembrar uma consequncia importante
de um corpo ordenado e completo. Na Proposio 1.12 foi mostrado que:
Todo corpo ordenado e completo necessariamente arquimediano.
Portanto, R arquimediano. Ou seja, em R o subconjunto dos naturais N um
conjunto ilimitado superiormente. Ser arquimediano tem a seguinte consequncia
importante.
Seja a R, a 0 tal que e > 0, a < e ento a = 0.
A prova disso, bem simples. Como a 0. Suponha que a 6= 0, logo a > 0. Sendo R
1
arquimediano, existe n N tal que 0 < < a. O que contraria a hiptese, pois existe
n
e = 1/n tal que 0 < e < a. Desse modo, s resta concluir que a = 0.
Esse resultado, permitiu escrever
Se uma quantidade no-negativa fosse to pequena que ele menor do que qualquer
outra dada, ento ele certamente no poderia ser outra coisa seno zero. Para aqueles
que perguntam o que uma quantidade infinitamente pequena em matemtica, ns
respondemos que ele realmente zero. Portanto, no h tantos mistrios escondidos nesse
conceito como geralmente eles acreditam. Esses supostos mistrios tornaram o clculo do
infinitamente pequeno bastante duvidoso para muitas pessoas. Essas dvidas que possam
permanecer as eliminaremos completamente, nas pginas seguintes, onde vamos explicar
este clculo.
Leonhard Euler
Infinitesimais
Um infinitsimo ou infinitesimal definido como uma quantidade infinitamente
pequena. Nesse sentido no mundo dos reais e nas palavras de Euler, s pode ser o
zero. Entretanto, os infinitesimais desempenharam um papel essencial no surgimento
e desenvolvimento do clculo diferencial e integral. As marcas disso ainda nos
acompanham na notao usada por Leibniz no clculo de derivadas e integrais.
Por exemplo, a notao para a derivada.
dy y
= lim
dx x 0 x
As quantidades dy e dx chamadas diferenciais so exemplos de infinitesimais. O que

exatamente dy e dx? Ser que y dy e x dx? Bom, sabemos que se dy e dx
fossem reais, certamente dy = 0 e dx = 0.
7.2: Extenses unidimensionais 99
Tambm na notao de clculo de integrais. Por exemplo no clculo de reas.

Z b n
A=
a
f ( x )dx = lim
| P|0
f (xi )x,
i =1
onde P = { x0 < xi < < xn } uma partio de [ a, b], | P| = max | xi xi1 | e

1 i n
xi ( xi1 , xi ). Se | P| 0 ento n e x 0.
R
Sabemos que o smbolo nada mais do que um "S"esticado, representando uma
soma ou somatrio, cujo funo juntar ou "integrar"reas infinitesimais de retngulos,
digamos de altura f ( x ) e base dx cujas reas infinitesimais seriam justamente f ( x )dx.
Rb
No mundo real dx = 0 logo f ( x )dx = 0. Assim A = a f ( x )dx = 0? Bom um jeito de
lidar com isso, era afirmar que esses infinitesimais eram menores do que qualquer
positivo, mas que no eram nulos. Seriam uma espcie de indivisveis mesmo que
no soubessem explicar o que seria de fato. Algo bem similar ao uso de nmeros
imaginrios que no se sabiam o que eram, porm que funcionavam na hora dos
clculos.
Por exemplo se o objetivo era calcular a derivada de f ( x ) = x2 , ento Leibniz
explicava assim seu mtodo: tomamos um infinitsimo dx, calculamos o incremento
(ou diferencial) d f = f ( x + dx ) f ( x ), dividimos entre a quantidade (no nula) dx.
Resultando
df ( x + dx )2 x2 2xdx + (dx )2
= = = 2x + dx.
dx dx dx
Agora, como dx infinitesimal e, portanto, insignificante, a podemos eliminar. Assim,
df
= 2x + dx = 2x.
dx
Note que h algo estranho, inicialmente supe-se que dx 6= 0 e aps fazermos as contas
como se fosse nmeros reais a eliminamos como se dx = 0. Entretanto, mesmo assim,
o resultado correto. Era isso o que se chamava de Clculo Infinitesimal.
Esse tipo de raciocnio foi duramente criticado na poca. Levando a diversas
discusses filosficas.
Posteriormente, pelo uso da teoria de limites, esses infinitesimais foram trocados
pelo uso de quantidades arbitrariamente pequenas, no nulas, porm no infinitamente
pequenas. Euler, Cauchy e outros, reformularam a teoria de derivadas e integrais. Com

isso nos livrvamos de ter que usar os estranhos infinitesimais. Mas, agora teramos
que lidar com psilons e deltas: e, , que estudantes que tm um primeiro contato com
Clculo Diferencial e Integral adoram.
Graas aos limites, os infinitesimais haviam sido banidos da matemtica. Mas, eles
voltaram. Graas ao trabalhos de Abraham Robinson [27]. Se o uso deles funcionava
mesmo que no fossem reais, ento devia existir um conjunto que fosse uma extenso
do reais. Foi esse o trabalho de Robinson com sua Anlise No-Standard. Conseguiu
mostrar que possvel estender, de forma rigorosa, o conjunto dos reais num conjunto
que contivesse, alm dos reais, os infinitesimais e tambm as quantidades "infinitamente
grandes"que chamaremos nmeros infinitos. Um nmero infinito um nmero tal
que > n, n N). A inversa 1/ um infinitesimal. Essa extenso dos nmeros
reais chamamos conjunto dos Nmeros Hiper-reais e denota-se por R. Recomendamos a
leitura do artigo A revanche dos infinitesimais de Michle Artigue [4].
Por exemplo, como os Hiper-reais contm nmeros tal que > n, n N.
Ento, isso mostra que em R o conjunto dos naturais N limitado. Assim, R
no arquimediano, consequentemente, pela Proposio 1.12 no pode ser completo.
Embora possua o subconjunto completo R.
Para aplicar os nmeros hiper-reais, faz-se uso do princpio de transferncia2 a qual
quando aplicado a problemas de Anlise chamada de Anlise No-Standard.
Uma aplicao imediata da Anlise No-Standard no clculo de derivadas e
integrais sem ter que usar quantificadores, ou seja, nada de limites ou es e s. Assim,
para calcular a derivada de f em x,
f ( x + dx ) f ( x )

0
f ( x ) = st
dx
onde dx um infinitesimal, st() denota a funo "parte standard". No caso, a parte

standard de um elemento finito a de R o nico real que se encontra infinitamente
prximo de a. A funo st() age como se fosse uma funo que "arredonda"um
elemento finito de R o transformando num real. Em outras palavras exatamente
o que Leibniz fazia. Para calcular a derivada de f ( x ) = x2 ,
f ( x + dx ) f ( x ) ( x + dx )2 x2

0
f ( x ) = st = st = st(2x + dx ) = 2x.
dx dx
O hiper-real 2x + dx est infinitamente prximo de 2x.
2O princpio de transferncia afirma que qualquer sentena exprimvel em uma determinada

linguagem formal que verdadeira nos nmeros reais tambm verdadeira nos nmeros hiper-reais.
7.2: Extenses unidimensionais 101
Representao dos hiper-reais
A reta dos hiper-reais sendo mostrados em 3 nveis de escala. Na primeira linha

optamos por marcar apenas os nmeros infinitos. Por exemplo os naturais devem estar
esquerda de . Na segunda linha, aps aumentar numa escala infinita. Conseguimos
visualizar, por exemplo, os reais que se encontram infinitamente prximos de zero.
Mas nessa segunda linha ainda no possvel visualizar os infinitesimais. Novamente,
aumentando numa escala infinita, finalmente podemos v-los.
Existem vrias abordagens para construir os hiper-reais. Os mais simples e
intuitivos so aqueles que aps definirmos o que se entende por nmero infinitesimal
e nmero infinito, formamos um novo conjunto, simplesmente acrescentando os reais
e definindo uma aritmtica nessa extenso dos reais. Bastante intuitivo e prtico, mas
perde rigorosidade matemtica. No lado oposto, se encontram construes via lgica
matemtica, rigorosas mas requerem ferramentas abstratas da Lgica, tornando-as
nada intuitivas. De qualquer forma, mais uma vez, como acontecera com a construo
da estrutura algbrica, o corpo dos complexos C, que deu sentido aos imaginrios e
complexos, que at antes de aparecer C muitos relutavam em aceitar. Agora temos
o conjunto dos hiper-reais, R, como a casa natural onde podem morar vontade, os
outrora "sem teto"infinitesimais e infinitos. E nessa casa, mesmo no sendo completa,
ainda foram acolhidos os reais.
Referncias Bibliogrficas
[1] ACAMPO, N. A natural construction for the real numbers. Arxiv preprint 2003.
Disponvel em http://arxiv.org/abs/math/0301015
[2] ARAGONA, J. Nmeros Reais. 1. ed. Livraria da Fsica, Instituto de Matemtica e

Estatstica- USP, So Paulo, 2010.
[3] ARTHAN, R. D. The Eudoxus Real Numbers. Arxiv preprint 2004. Disponvel em
http://arxiv.org/abs/math/0405454
[4] ARTIGUE, M. A revanche dos infinitesimais.

Disponivel em http://blog.kleinproject.org/?p=2669&lang=pt-br
[5] VILA, G. Introduo Anlise Matemtica. 2ed. Blucher,So Paulo, 2011.
[6] BECKMAN, P. A History of . St. Martins Press. 1971
[7] BRIDGES, D. S. A constructive look at the real number line. in Real Numbers,
Generalizations of the Reals, and Theories of Continua. Synthese Library, v 242, p.
29-92 1994.
[8] DEDEKIND, R. Stetigkeit und irrationale zahlen, braunschweig: Vieweg, 1872.

R. Dedekind, Gesarnrnelte mathematische Werke, eds. R. Fricke, E. Noether and O. Ore,
Braunschweig: Vieweg, 1932:1?2, 1930.
[9] EHRLICH, P. (editor) Real Numbers, Generalizations of the Reals, and theories of
continua. Synthese Library Volume 242, 1994.
[10] EVES, H. Introduo Histria da Matemtica. Editora Unicamp, Unicamp - SP, 2004.
[11] FIGUEIREDO, D. G. Nmeros Irracionais e Transcendentes. SBM, Rio de Janeiro,

2011.
[12] FLANNERY, D. The Square Root of 2: A dialogue concerning a number and a sequence.
Springer, 2006.
[13] HALMOS, P. R. Naive Set Theory. Undergraduate Texts in Mathematics, Springer,

1974.
[14] HAVIL, J. The Irrationals. Princeton University Press., New Jersey, 2012.
[15] IFRAH, G. Os Nmeros: a histria de uma grande inveno. Editora Globo, So Paulo,
1985.
103
104 Referncias Bibliogrficas
[16] KATZ, K. U.; KATZ, M. G. Stevin Numbers and Reality. Foundations of Science
Volume 17, Issue 2, p. 109123, 2012.
[17] KEMP, T. Cauchys Construction of R . Lecture Notes. Department of Mathematics.

University of California, San Diego, 2014.
Disponvel em www.math.ucsd.edu/~tkemp/140A/Construction.of.R.pdf

[18] KLAZAR, M. Real numbers as infinite decimals and irrationality of 2. Arxiv
preprint 2009. Disponvel em http://arxiv.org/abs/0910.58704
LANDAU, E. Foundations of Analysis: The Arithmetic of whole, rational, irrational,
and complex numbers. A.M.S Chelsea Publishing, 3rd ed, 1966.
[19] LIMA, E. L. Curso de Anlise Vol. 1 Projeto Euclides, IMPA, Rio de Janeiro, 2012.
[20] LIMA, E. L. Anlise Real, volume 1. Coleo Matemtica Universitria, Rio de

Janeiro, IMPA, 2012.
[21] LIMA, E. L. Meu Professor de Matemtica e outras histrias. Coleo Professor de

Matemtica, Rio de Janeiro, SBM, 2011.
[22] MAOR, E. e : a histria de um nmero. Editora Record, Rio de Janeiro, 2003.
[23] MARQUES, D. Teoria dos Nmeros Transcendentes. Textos Universitrios, SBM, Rio
de Janeiro, 2013.
[24] PEANO, G. Arithmetices principia, nova methodo exposita. 1889. Traduo em:
Jean van Heijenoort, ed.. From Frege to Godel: A Source Book in Mathematical Logic,
18791931. 3rd ed. Cambridge, Harvard University Press, 1967.
[25] PARSONS, C. The Uniqueness of the Natural Numbers. The Jerusalem Philosophical
Quarterly 39, pp. 13-44,1990.
[26] PUGH, C. Real Mathematical Analysis. Undergraduate Texts in Mathematics,

Springer, 2002.
[27] ROBINSON, A. Introduction to model theory and to the metamathematics of algebra,

Amsterdam, North-Holland, 1963.
[28] RUDIN, W. Princpios de Anlise Matemtica . Ao Livro Tcnico S.A. e Editora

Universidade de Braslia, Rio de Janeiro, 1971.
[29] RUDIN, W. Principles of Mathematical Analysis. 3. ed. McGraw-Hill Book Co., New
York, 1976.
[30] STILLWELL, J. The Real Numbers, An Introduction to Set theory and Analysis.
Undergraduate Texts in Mathematics, Springer, 2013.
[31] STREET, R. An efficient construction of the real numbers. Gazette of the Australian
Math. Soc. v.12, p. 57-58, 1985.
[32] STREET, R. Updated on the efficient reals. Preprint 2003.

Disponvel em www.maths.mq.edu.au/~street/reals.pdf
Referncias Bibliogrficas 105
[33] STRICHARTZ, R. S. The Way of Analysis. Jones & Bartlett Learning, 2000.
[34] SPIVAK, M. Calculus . Publish or Perish, Inc., Houston, 1994.
[35] WEISS, I. The Real Numbers - A survey of constructions. Arxiv preprint 2015.
Disponvel em http://arxiv.org/abs/1506.03467

Construção dos números reais

Caricato da

Informazioni sul documento

Descrizione originale:

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Construção dos números reais

Caricato da

Copyright:

Formati disponibili

A Construo dos Nmeros Reais e suas Extenses

4o Colquio da Regio Centro-Oeste

6 Os Nmeros Reais e sua Construo 57

7 Extenses dos Nmeros Reais 95

Referncias Bibliogrficas 103

1.1 Noes bsicas sobre conjuntos

Um conjunto A bem definido se sempre possvel determinar se um elemento

Existem varias formas de representar ou descrever um conjunto.

O conjunto B dos mpares positivos

Nem sempre possvel descrever um conjunto A colocando um a um cada

A = { x tal que x tem a propriedade P}

Sejam A e B conjuntos. Diz-se que A subconjunto de B, se todo elemento de A,

Dizemos que A no subconjunto de B, quando existe x A tal que x 6 B. Tal

Proposio 1.1. Para todo conjunto A, A.

Demonstrao. Se existisse A tal que 6 A, deveria existir x tal que x 6 A.

Um conjunto A igual a B, se, e somente se, A B e B A. Esse fato denotado

Definio 1.1. Dado um conjunto A, o conjunto potncia de A o conjunto de todos os

1.1.2 Conjuntos numricos

Conjunto dos Nmeros Naturais. N = {1, 2, 3, 4, 5, . . .}

Aparecem como uma abstrao do processo de contagem (nmero cardinal) ou

Conjunto dos Nmeros Inteiros. Z = {. . . 3, 2, 1, 0, 1, 2, 3, 4, 5, . . .}

Constitudo pelos naturais; os simtricos dos naturais (negativos) e o zero. O

Conjunto dos Nmeros Racionais. Q = { a/b ; a Z, b Z, b 6= 0}

Conjunto dos Nmeros Reais R = { a ; a = lim xn , onde xn Q}

R formado pelos limites de todas as sequncias convergentes de nmeros

Conjunto dos Nmeros Complexos C = { a + ib ; a, b R, i2 = 1}

Os complexos fazem que equaes do tipo x2 + 1 = 0 tenham soluo.

Temos as seguintes incluses prprias: N Z Q R C.

1.1.3 Operaes entre conjuntos

Definio 1.2. A reunio ou unio dos conjuntos A e B o conjunto A B formado pelos

Definio 1.4 (Diferena de conjuntos). A diferena entre os conjuntos A e B o conjunto

Se existe um conjunto U que contm todos os conjuntos A U com os quais

Tambm, imediato verificar que para todo A, B U,

Proposio 1.3 (Propriedades do complementar de um conjunto). Se A, B U ento

1.1.4 Famlias ou colees

Tambm so vlidas a identidades de De Morgan. Se os elementos F de F so tal

1.1.5 Produto cartesiano

Definio 1.6. O produto cartesiano dos conjuntos A e B conjunto A B dos pares

1.2 Relaes de equivalncia

Em lugar de tratar as relaes de equivalncia como subconjuntos do produto

Definio 1.7. A relao binria sobre A, uma relao de equivalncia sobre A se

As relaes de equivalncia so de extrema importncia. Elas permitem classificar

Definio 1.8. Se A um conjunto e uma relao de equivalncia em A, ento a classe

Outras notaes para [ a] so: a, Ca ou A a .

[0] = {. . . , 4, 2, 0, 2, 4, . . .} e [1] = {. . . , 5, 3, 1, 1, 3, 5, . . .}.

Desse modo, em Z a relao de equivalncia determina exatamente duas classes de

Exemplo 1.3. Seja T o conjunto dos tringulos do plano e a relao de semelhana

[(0, 0)] = {(0, 0)} e [(r, 0)] = {( x, y); x2 + y2 = r2 }, (r > 0).

Nesses trs exemplos, as classes de equivalncia decompem os conjuntos Z, T e

Definio 1.9. Uma famlia P de subconjuntos de X uma partio de X se

Exemplo 1.5. Seja X = { a, b, c} ento

{{ a}, {b}, {c}}, {{ a, b}, {c}} e { X }

{{ a, b}, {b}, {c}}, {{ a}, {b}} e { X, }

Exemplo 1.6. Todo conjunto no vazio A admite as parties triviais:

Proposio 1.4 (Parties e relaes de equivalncia). Para cada relao de equivalncia

Definio 1.10. O conjunto das classes de equivalncia de uma relao de equivalncia

Exemplo 1.7. No exemplo 1.2, em Z definida a relao de equivalncia: a b

Exemplo 1.8. No exemplo 1.6, as parties triviais de A

induzem, respectivamente, as relaes R1 e R2 dadas por

Portanto, os conjuntos quocientes respectivos, so

A/R1 = {{ a}; a A} e A/R2 = { A}.

O conjunto A chamado domnio de f , B o contradomnio de f e f ( x ) o valor que