Você está na página 1de 95

FUNDAMENTOS DE MATEM

ATICA
Prof. Newton Lus Santos (UFPI)
10 de fevereiro de 2006
2
0.1 Introducao
Desde a pre-historia da humanidade, o ser humano tem lidado em seus mais diversos
momentos evolutivos com problemas de mensuracao (aritmetica e geometrica). Em parte,
o desenvolvimento de boas tecnicas de mensuracao permitiram ao ser humano ter um
maior controle sobre o n umero de membros de seus clas e sobre suas criacoes - quando
passaram a criar animais cercados, para abate. Alem disso, a presenca de bons sistemas
de mensuracao permitiu ao ser humano construir habitacoes com muito maior conforto e
seguranca que as cavernas poderiam oferecer. Mais ainda, permitiu a criacao de cidades
com alto grau de organizacao.
De um ponto de vista historico, os sistemas de numera cao surgiram na seguinte
ordem (com pequenas mudancas em funcao da civilizacao): N umeros naturais e adicao e
diferencas (positivas) de n umeros naturais; n umeros racionais positivos, algumas classes
de n umeros reais nao racionais e positivos, n umeros inteiros negativos, n umeros racionais
e n umeros reais negativos.
Neste texto de Fundamentos da Matematica, nao seguiremos esta linha historica,
mas buscaremos desenvolver nossa sistematica de estudo sob um ponto de vista constru-
tivo. Procuraremos com um mnimo de axiomas basicos construir as estruturas numericas
dos n umeros naturais, inteiros, racionais e reais.
Captulo 1
Elementos de Teoria dos
Conjuntos
DEFINIC

OES B

ASICAS
AXIOMA DE FORMAC

AO DE PARES
ETC
3
4 CAP

ITULO 1. ELEMENTOS DE TEORIA DOS CONJUNTOS


Captulo 2
O Conjunto dos N umeros Naturais
2.1 Introducao
Em 1889, Giuseppe Peano, em seu trabalho Arithmetices Principia Nova Methodo Ex-
posita(A Natureza e Signicado dos N umeros) lancou as bases de um tratamento ax-
iomatico dos n umeros naturais.
O trabalho de Peano esta para a Aritmetica assim como o trabalho de Euclides esta para
a Geometria. A diferenca, em favor do trabalho de Peano e que a introducao axiomatica
a teoria dos n umeros naturais e mais simples que a introducao axiomatica a geometria.
O que desenvolvemos a seguir e, na verdade, uma reformula cao do trabalho de Peano, bem
adequada aos nossos objetivos, que sao uma introducao ao estudo dos n umeros naturais e
sua estrutura algebrica e uma exposicao de um modelo de uma teoria axiomatica.
2.2 Os Axiomas de Peano para o Conjunto N
2.2.1 Axiomas de Peano
O conjunto N dos n umeros naturais e um conjunto satisfazendo os seguintes axiomas:
(P1) Zero (0) e um n umero natural, i.e., 0 N.
(P2) Para cada n umero natural n, existe um unico n umero natural n

, denominado de
sucessor de n.
5
6 CAP

ITULO 2. O CONJUNTO DOS N

UMEROS NATURAIS
(P3) Zero nao e sucessor de nenhum n umero natural, i.e., para cada n umero natural n,
tem-se n

= 0.
(P4) Se m e n sao n umeros naturais e m

= n

entao m = n, ou seja, se m = n entao


m

= n

(P5) (Axioma da Inducao Finita) Se S e um subconjunto de N tal que


0 S , (2.1)
k N, k S = k

S (2.2)
entao S = N
Os axiomas (P2), (P3) e (P4) dizem-nos que existe uma funcao
: N N
dada por (n) = n

(a aplicacao sucessor) tal que


(n) = 0 , n N (2.3)
e
(P4) e injetora, por (P4).
Axioma (P5) nos diz que um conjunto S N que contenha o n umero natural 0 e que
tambem contenha o sucessor de cada um de seus elementos, coincide com o conjunto N.
Observa cao 2.1 O signicado informal do axioma (P5) e que todo n umero natural pode
ser obtido a partir de 0 por meio de repetidas aplicacoes da operac ao de tomar o sucessor.
Assim, por exemplo, 1 e o sucessor de 0, 2 e o sucessor de 1, donde vem que 2 e o sucessor
do sucessor de 0, etc. Para se entender melhor o axioma da inducao e util examinar o
exemplo, no qual N = {1, 2, 3, . . .} mas a funcao sucessora, s : N N, e modicada, pondo-
se s(n) = n + 2. Entao, se comecarmos com 1 e a este n umero aplicarmos repetidamente
a operacao de tomar o sucessor(nesta nova acepcao) obteremos s(1) = 3, s(3) = 5,
s(5) = 7, etc., e nunca chegaremos a qualquer n umero par. Portanto o diagrama
0
s
2
s
4 . . . 1
s
3
s
5 . . .
2.2. OS AXIOMAS DE PEANO PARA O CONJUNTO N 7
exibe uma funcao injetiva s : N N para a qual nao e verdade que todo n umero natural
natural n pode ser obtido a partir de 0, mediante repetidas aplicacoes da operacao de passar
de k para s(k)
Dentro de um ponto de vista estritamente matematico podemos reformular o axioma da
inducao do seguinte modo: Um subconjunto X N chama-se indutivo quando (X) X,
ou seja, quando n X = (n) X, ou ainda, quando o sucessor de qualquer
elemento de X tambem pertence a X. Dito isto, o axioma da inducao arma que o unico
subcobnjunto indutivo de N que contem o n umero 0 e o proprio N
O papel fundamental do Axioma da Inducao Finita na teoria dds n umeros naturais e, mais
geralmente, em toda a Matematica, resulta do fato de que ele pode ser visto como um
metodo de demonstracao, chamado o Metodo da Inducao Matematica, ou Princpio da
Inducao Finita, ou Princpio da Inducao, conforme explicaremos agora. Tal metodo apre-
senta uma tecnica de se demonstrar propriedades (constatar a veracidade de propriedades)
que possam ser indexadas por n umeros naturais, isto e, que dependam de n umeros nat-
urais; dito de outra maneira, trata-se de um Teorema sobre teoremas. De posse de tal
resultado poderemos testar o valor de verdade de armacoes gerais, que dependam de
n umeros naturais.
Teorema 2.2.1 (Primeiro Princpio da Inducao Finita)) Suponhamos que a cada
n umero natural n, corresponde uma asserc ao (armacao) P(n) (que pode ser, dependendo
de n, verdadeira ou falsa) e que:
(a) P(0) e verdadeira;
(b) se k N e P(k) e verdadeira, entao P(k

) e verdadeira
Entao P(n) e verdadeira para todo n N.
Antes de passarmos `a demonstracao do Teorema, algumas observa coes:
Observacao 2.2 Nas demonstracoes por inducao, a hipotese de que a propriedade P e
valida para o n umero natural n (da qual deve decorrer que P vale tambem para (n))
chama-se hipotese de induc ao.
8 CAP

ITULO 2. O CONJUNTO DOS N

UMEROS NATURAIS
Observa cao 2.3 O Princpio da Inducao nao e utilizado somente como metodo de demon-
stracao. Ele serve tambem para denir funcoes f : N Y que tem como domnio o
conjunto N dos n umeros naturais.
Para se denir uma funcao f : X Y exige-se, em geral que seja dada uma regra bem
determinada, a qual possa mostre como se deve associar a cada elemento x X um unico
elemento y = f(x) Y .
Entretanto, no caso particular em que o domnio da funcao e o conjunto N dos n umeros
naturais, a m de denir uma funcao f : N Y nao e necessario dizer, de uma so vez,
qual e a receita que da o valor f(n) para todo n N. Basta que se tenha conhecimento
dos seguintes dados:
1. o valor f(0);
2. uma regra que permita calcular f((n)) quando se conhece f(n).
Estes dois dados permitem que se conheca f(n) para todo n umero natural n. (Diz-se
entao que a funcao f foi denida por recorrencia. Veja os exerccios que seguem a esta
observacao!) Com efeito, se chamarmos de X ao conjunto dos n umeros naturais n para
os quais se pode determinar f(n), o dado (1) acima diz que 0 X e o dado (2) assegura
que n X implica que (n) X. Logo pelo axioma da inducao, tem-se X = N.
Uma funcao f : N Y cujo domnio e o conjunto dos n umeros naturais chama-se
sequencia ou sucessao de elementos de Y . A notacao usada para uma tal sequencia
e (y
1
, y
2
, . . . , y
n
, . . .), onde se usa y
n
em vez de f(n) para indicar o valor da funcao f no
n umero n. O elemento y
n
e denominado n-esimo termo da sequencia.
Exerccios
1. Dena, por recorrencia, uma funcao f : N N estipulando que f(1) = 3 e f(n+1) =
5f(n) + 1. De uma formula explcita para f(n).
2. De uma formula explcita para a funcao f : N N sabendo que f(1) = 1, f(2) = 5
e f(n + 2) = 3f(n + 1) + 2f(n).
2.2. OS AXIOMAS DE PEANO PARA O CONJUNTO N 9
Vamos agora demonstrar o Primeiro Princpio de Inducao Finita.
Prova Considere o conjunto
S = {n N

P(n) e verdadeira }
Como, por hipotese, (a) P(0) e verdadeira, temos que 0 S.
Agora, dado k N, se k S entao P(k) e verdadeira e, por (b), P(k

) tambem e
verdadeira, logo k

S.
Assim, 0 S e, k S k

S, logo, pelo axioma da inducao nita, temos S = N e


portanto P(n) e verdadeira para todo n umero natural n.
Corolario 2.2.1 Para todo a N, a = a

Prova Seja P(n) a assercao n = n

.
Pelo axioma (P3), n

= 0, n N. Logo 0

= 0, e portanto P(0) e verdadeira.


Seja k um n umero natural tal que P(k) e verdadeira. Entao k = k

. Pelo axioma (P4),


k

= (k

, isto e, P(k

) e tambem verdadeira.
Logo, pelo primeiro princpio de inducao, P(n) e verdadeira para todo n natural.
Exemplo 2.1 Mostre que para todo a N, a = 0, existe um unico elemento b N tal que
a = b

(isto e, mostre que todo n umero natural nao nulo e sucessor de algum natural).
Um n umero natural, b, como no exerccio anterior, e denominado antecessor de a. Assim
estamos armando que todo n umero natural nao nulo possui antecessor.
Veremos agora alguns exemplos de falsos argumentos por inducao nita. Os exemplos
foram extrados de um pequeno texto do Prof. Elon L. Lima ([?]) disponvel na Internet
e da excelente monograa de I. S. Sominskii, El metodo de la induccion matematicade
onde extraimos varios dos exemplos utilizados no presente texto. Vamos assumir para
os exemplos seguintes e para a secao de exerccios, ao m do captulo, o conhecimento e
validade da aritmetica usual dos n umeros racionais e dos n umeros reais
10 CAP

ITULO 2. O CONJUNTO DOS N

UMEROS NATURAIS
Pequena lista de falsos exemplos
(a) Para cada n N ponhamos
a
n
=
1
1.2
+
1
2.3
+
1
3.4
+. . . +
1
n.(n + 1)
Um calculo simples mostra que valem as seguintes igualdades:
a
1
=
1
1.2
=
1
2
a
2
=
1
1.2
+
1
2.3
=
2
3
a
3
=
1
1.2
+
1
2.3
+
1
3.4
=
3
4
a
4
=
1
1.2
+
1
2.3
+
1
3.4
+
1
4.5
=
4
5
Com base nos exemplos acima podemos concluir que para todo n N deve valer a formula
a
n
=
n
n + 1
Correto? Calma! Nao se precipite! Apesar da formula proposta ser verdadeira (ex-
erccio!), nao e suciente ter alguns exemplos em que a formula valha para que a mesma
tenha validade universal.

E necessario um argumento mais preciso para garantir a validade
da expressao obtida para a
n
, para todo n. O conhecimento do comportamento de uma
determinada regra, indexada nos n umeros naturais (neste caso, as expressoes de a
n
apre-
sentadas, quando n = 1, 2, 3 e 4) em casos particulares, no entanto, nos ajuda a intuir uma
regra geral para o descrever o comportamento geral da regra. Agora, para demonstrar a
validade da regra geral precisamos de argumentos adequados, por exemplo, um princpio
de inducao nita.
O exemplo seguinte, analisado por Leonhard Euler, e bastante signicativo e nos mostra
que devemos ser cuidadosos ao considerar propriedades aparentemente validas, para todo
n N
(b) Considere o trinomio p(n) = n
2
+ n + 41. Observe que p(0) = 41 e um n umero
primo. Interessante nao? Vejamos p(1) = 43 tambem primo. Coincidencia? Prossigamos
2.2. OS AXIOMAS DE PEANO PARA O CONJUNTO N 11
p(2) = 47, p(3) = 53, p(4) = 61, p(5) = 71, p(6) = 83, p(7) = 97, p(8) = 113 sao todos
primos. Sentimo-nos tentados a enunciar a regra: Para todo n umero natural n, p(n) e um
n umero primo. De fato esta proposicao e valida para todo n < 40, contudo p(40) = 41
2
que nao e primo!
(c) Consideremos agora a proposicao P(n): Nao existem n umeros naturais grandes.
Provemo-la: primeiramente observamos que 0 nao e um n umero natural grande, logo P(0)
e valida.
Seja agora dado k N e suponhamos que k nao seja um n umero natural grande, i.e.
P(k) e valido. Ora, somar uma unidade a um n umero natural que nao e grande nao o
tornara subitamente grande. Assim P(k+1) e verdadeira. Logo pelo Primeiro Princpio de
Inducao, nenhum n umero natural e grande. (?!?) Contudo sabemos que existem n umeros
naturais tao grandes quanto queiramos (10
10
10
e razoavelmente grande). De onde surgiu
tal contradicao? Os conceitos pequeno e grande nao estao denidos e, portanto, nao e
claro se 1.000.000.000.000 e grande ou pequeno!
(d) Consideremos agora o seguinte teorema e correspondente demonstracao
Teorema: Para cada n umero natural n, tem-se 2
n
> 2n + 1
Prova: Suponhamos que dado k N tenhamos 2
k
> 2k +1. Entao multiplicando-se cada
membro desta desigualdade por 2 obtemos
2.2
k
> 2.(2k + 1) = 2k + 2k + 1 + 1 > 2k + 2 + 1 = 2(k + 1) + 1
logo 2
k+1
> 2(k + 1) + 1, e consequentemente, pelo primeiro princpio da inducao nita,
conclumos o resultado armado. cqd.
Agora, um calculo direto nos mostra que 2
0
= 2.0 + 1, 2
1
< 2.1 + 1, 2
2
< 2.2 + 1
em contradicao com o que foi demonstrado. Veja que nao foi levado em consideracao o
primeiro passo da inducao, isto e a vericacao de que o passo zero se verica! Nesta mesma
linha de raciocnio encotra-se a demonstracao do seguinte teorema
Teorema: Todo n umero natural n, e igual ao seu sucessor n + 1.
Prova: Supondo que k = k + 1 vamos mostrar que k + 1 = k + 2.
De fato, tomando-se o sucessor de ambos os membros da igualdade k = k + 1 obtemos o
armado e o teorema esta demonstrado, pelo primeiro princpio de inducao nita.
12 CAP

ITULO 2. O CONJUNTO DOS N

UMEROS NATURAIS
Corolario N = {0}.
Assim, para fazer um uso valido do primeiro princpio de inducao nita, devem
ser vericadas as duas condicoes: a base da inducao, que ira garantir o incio do processo
indutivo, e a passagem da k-esima etapa para a (k + 1)-esima etapa que ira garantir o
processo de generalizacao a partir da base. Ambas as etapas devem ser vericadas e uma
nao implica a outra!
2.3 O Problema da existencia de n umeros naturais
Ao apresentar os axiomas de Peano para a construcao dos n umeros naturais, apesar de
nos ser plausvel a existencia de um tal conjunto - e estaramos em uma situacao bastante
difcil, se toda a nossa discussao fosse um imenso vazio: anal, tudo o que se construiu
historicamente, sem um formalismo, para a solucao de problemas bastante praticos, como
contagem de membros de clas , resoluc ao de problemas de contagem, etc. tornar-se-ia um
grande vazio. Desta forma e humanamente plausvel que exista efetivamente um conjunto
de n umeros naturais. Contudo, desde que zemos a opcao de uma construcao formal
dos fundamentos da Matematica, no que concerne `a construcao formal das principais
estruturas numericas, a partir de conceitos formais, e nao puramente intuitivos - o que
nao probe que se utilize a intui cao para formular hipoteses e conjecturas -, devemos
justicar a existencia de um conjunto de n umeros naturais.
Vamos, indutivamente, construir cada n umero natural, fazendo uso dos axiomas basicos
que apresentamos no captulo zero, acerca de elementos de logica e teoria dos conjuntos.
Nossa partcula inicial, o n umero Zero e justicado usando o axioma da existencia, de
modo que o atomo, conjunto vazio, e associado ao n umero zero.
Usamos da o axioma dos pares para, dado , obtermos, formando pares, o par {, }. Por
extensionalidade, {, } = {}, visto que {, } se, e somente se, {}, e x {, },
y {} se, e somente se, x = .
E o n umero dois? {, {}} e justicado com o axioma que permite a criacao de pares, a
partir da construcao de um e da partcula zero. Cada n umero natural foi, sucessivamente,
construdo porque temos um atomo, podemos fazer pares e identicar conjuntos. Isto e,
O n umero zero, 0, e identicado com o conjunto vazio;
2.3. O PROBLEMA DA EXIST

ENCIA DE N

UMEROS NATURAIS 13
O n umero um, 1, e identicado com o conjunto {}. Da, 1 = {0} e 0 1;
O n umero dois, 2, e identicado com o conjunto {, {}}. Da, 2 = {0, 1} e 0 2,
1 2;
Uma vez construdo o n umero n, o n umero n + 1 e o conjunto {0, 1, . . . , n}.
O leitor devera notar que nao usamos em nossa construcao de um n umero natural, mas,
devido `a nitude de cada conjunto, a operacao equivalente de formacao de pares.
Denicao 2.3.1 (Conceito de sucessor) Seja x um conjunto. O sucessor de x, Suc(x),
e caracterizado pelas seguintes propriedades
1. x Suc(x);
2. Se y x, entao y Suc(x)
O conjunto acima e um conjunto hereditario. Em particular estamos falando dos conjuntos
hereditarios nitos.
Ora, nossa questao basica devera ser: temos bases consistentes para fazermos as con-
strucoes de um n umero natural como acima? Vamos a essa questao.
Lembre-se de que se n e um n umero natural, seu sucessor esta bem denido e e denotado
Suc(n) e que denotamos o conjunto vazio por .
Existe x tal que x e para todo elemento y x, tem-se Suc(y) x ou simbolicamente
x( x y x(Suc(y) x)) (2.4)
Conforme mencionamos anteriormente, de maneira ingenua pensamos nos n umeros nat-
urais como o ambiente natural para todas as possveis contagens ou listagens. Isto e, o
cojunto dos n umeros naturais e a uniao de de todos os conjunto nitos. Todavia, quando
tentamos representar tal ideia matematica nos deparamos com um problema fundamental:
N = {0, 1, 2, 3, . . .} =
_
nN
{0, 1, 2, . . . , n}
Tal formula e passvel de crticas, uma vez que zemos a denicao de N em funcao de
N e gostaramos de denir nossos objetos a partir de certos conceitos primitivos, bem
14 CAP

ITULO 2. O CONJUNTO DOS N

UMEROS NATURAIS
formulados (e que nao recorressem a si mesmos para se caracterizar). A ideia de conjunto
de todos os conjuntos, que alguns de nos conhecemos de nossos cursos basicos. Existe
um certo conceito de um chamado conjunto universo, que seria o conjunto de todos os
conjuntos, a uniao de todos esses conjuntos. Ora a existencia
Temos agora um problema mais basico, menos transcendente que o Platonico con-
junto universo, mas de natureza um pouco mais pratica: O que e o conjunto dos n umeros
(todos eles!) naturais?
2.4 Operac oes em N
Antes de denirmos uma operacao no conjunto dos n umeros naturais, vamos denir o
conceito de operacao em um conjunto.
Denicao 2.4.1 Uma operacao binaria - ou simplesmente, uma operacao - em conjunto
X e uma funcao
: X X X
(x, y) x y
O nome binaria deve-se ao fato de que a operacao age sempre sobre pares. Existem
tambem operacoes que dependem de um unico fator (operacoes unarias) assim como de
um n umero maior de fatores (por exemplo, o produto vetorial do espaco euclidiano tri-
dimensional dene uma operacao binaria, mas quando buscamos estende-lo para os espacos
euclidianos de dimensao maior, precisamos de um n umero maior de fatores para termos
um bem denido produto vetorial)
Vamos citar a seguir algumas boas propriedades que sempre devemos buscar saber se uma
dada operacao satisfaz. A vericacao de algumas de tais propriedades permite que se
possa extrair da operacao varias boas conclusoes.
Diremos que uma operacao binaria, e associativa se dados a, b, c X tivermos
(a b) c = a (b c)
2.4. OPERAC

OES EM N 15
Diremos que uma operacao binaria, e comutativa se dados a, b X tivermos
a b = b a
Diremos que um elemento e X e um elemento neutro para a operacao binaria,
, se a e = e a = a para todo a X
Se possui elemento neutro, e, e a X, diremos que b X e um inverso para a
(relativo `a operacao ), se a b = b a = e.
Quando o conjunto X esta munido de duas operacoes binarias, digamos
: X X X e # : X X X
diremos que a operacao e distributiva `a esquerda em relacao `a operacao # (ou seja,
a operacao e compatvelcom a operacao #) se a seguinte identidade se verica
x (y#z) = (x y)#(x z) (2.5)
diremos que a operacao e distributiva `a direita em relacao `a operacao # se
(x#y) z = (x z)#(y z) (2.6)
e diremos que a operacao e distributiva em relacao `a operacao # se as identidades
(2.5) e (2.6) se vericarem.
2.4.1 A Operacao de Adicao em N
Denicao 2.4.2 Chama-se adicao em N a uma operacao binaria em N, i.e., a uma
aplicacao
: N N N
onde a imagem do par (m, n) N N e denotada por m+n e e chamada de soma de m
e n, satisfazendo:
(A1) n N , n + 0 = n (isto e, (n, 0) = n)
16 CAP

ITULO 2. O CONJUNTO DOS N

UMEROS NATURAIS
(A2) m, n N , m+n

= (m+n)

(i.e., (m, n

) = (m, n)

)
Teorema 2.4.1 Existe uma, e apenas uma operacao + em N satisfazendo A1 e A2
Prova (1) (Existencia de uma adicao em N)
Fixemos m N e para cada n N, denamos uma aplicacao f
m
: N N do seguinte
modo:
(A1

) f
m
(0) = m
(A2

) n N, f
m
(n

) = (f
m
(n))

Seja S = {n N

podemos denir f
m
(n)}
Por ( A1

), 0 S e por (A2

), se k S, i.e., se podemos denir f


m
(k), entao podemos
denir f
m
(k

) (pois f
m
(k

) = (f
m
(k))

)
Agora veriquemos que f
m
e bem-denida, isto e, e de fato uma funcao, ou seja, se
n
1
= n
2
entao f
m
(n
1
) = f
m
(n
2
). (Em outras palavras, vericaremos que para um dado
n N, nao podemos chegar a valores diferentes de f
m
(n) se f
m
satisfaz A1

e A

2
).
Seja S

= {n N

se n
1
= n e n
2
= n entao f
m
(n
1
) = f
m
(n
2
)}
0 S

pois se n
1
= 0 e n
2
= 0 entao f
m
(n
1
) = f
m
(0) = m por (A1

), bem como
f
m
(n
2
) = f
m
(0) = m, logo f
m
(n
1
) = f
m
(n
2
).
Se k S

(k N) entao sendo n
1
= k

e n
2
= k

temos, por (A2

) que f
m
(n
1
) = f
m
(k

) =
(f
m
(k))

e tambem f
m
(n
2
) = f
m
(k

) = (f
m
(k))

.
Agora f
m
(k) e denido de maneira unica pois k S

, logo f
m
(k

) tambem o e, e portanto
f
m
(n
1
) = f
m
(n
2
). Provamos entao que k S

.
Pelo axioma da inducao nita, S

= N e portanto f
m
e bem-denida para cada m N.
Agora, denamos : NN N por (m, n) = f
m
(n). Por (A1

) e (A2

) temos imediata-
mente que satisfaz (A1) e (A2), o que prova a existencia de uma adicao em N.
(2) (Unicidade da Adicao N)
2.4. OPERAC

OES EM N 17
Suponha : N N N e uma outraoperacao em N, satisfazendo (A1) e (A2) (i.e.,
(m, 0) = m e (m, n

) = ((m, n))

). Fixe m N e considere
S
m
= {n N

(m, n) = (m, n)}


onde e a adicao construda na parte (1).
Deixamos como exerccio mostrar, pelo axioma da inducao nita, que S
m
= N e que,
portanto, = .
Teorema 2.4.2 A operacao binaria + em N satisfaz as seguintes propriedades:
(i) (Existencia de um elemento neutro da adicao) Para todo n N,tem-se que n + 0 =
0 +n = n;
(ii) Para todo n N, tem-se n

= n + 1, onde 1 = 0

;
(iii) Para todo par m, n N, vale que m+n

= m

+n;
(iv) (Propriedade comutativa da adicao) Dados m, n N, n +m = m+n;
(v) (Propriedade associativa da adicao) Dados m, n, p N, tem-se (m + n) + p = m +
(n +p).
Prova Provaremos apenas (iv), deixando as provas das demais propriedades como ex-
erccio. Para a prova de (iv), admitiremos (i) e (iii).
Fixe m N e, para cada n N, considere a armacao P(n): m+n = n +m
P(0) e verdadeira pois, por (i), m+ 0 = 0 +m (= m)
Suponhamos que k N e P(k) e verdadeira, isto e, m+k = k +m. Entao
m+k

A1
= (m+k)

P(k)
= (k +m)

A1
= k +m

propr. (iii)
= k

+m
logo, P(k

) e tambem verdadeira.
Pelo primeiro princpio da inducao nita, temos que m+n = n +m para cada n N.
Logo, quaisquer que sejam m, n N temos m+n = n +m.
18 CAP

ITULO 2. O CONJUNTO DOS N

UMEROS NATURAIS
Nota 2.1 Ilustrando como a denicao de adicao por recorrencia determina m + n para
m, n N, denote 0

= 1, 1

= 2, 2

= 3, etc. e entao teremos como exemplo,


3 + 4 = 4 + 3 = 4 + 2

= (4 + 2)

= (4 + 1

= ((4 + 1)

= ((4 + 0

= ((4

= (5

= 6

= 7 (!)
Exerccio 2.1 Prove as seguintes propriedades da adicao em N:
(i) Para todo para m, n N, tem-se m+n = 0 m = n = 0
(ii) (Lei do cancelamento da adicao) Dados n umeros naturais: p, m, n N, tem-se m+p =
n+p m = n (Atencao: nada de usar a aritmetica familiar dos n umeros inteiros!)
2.4.2 Multiplicacao em N
Denicao 2.4.3 Chama-se multiplicacao em N a uma operacao binaria em N,
: N N N
onde denotamos (m, n) = m.n (ou mn), chamado de produto de m e n, satisfazendo:
(M1) n N, n.0 = 0 (isto e, (n, 0) = 0)
(M2) m, n N , m.n

= m.n +m (i.e., (m, n

) = ((m, n), n) )
Teorema 2.4.3 Existe uma unica operacao . em N satisfazendo M1 e M2
Teorema 2.4.4 (i) n N, n.0 = 0.n = 0;
(ii) (Propriedades distributivas da multiplicacao em relacao a adicao). m, n, p N,
temos
2.4. OPERAC

OES EM N 19
(ii-a) p.(m+n) = p.m+p.n,
(ii-b) (m+n).p = m.p +n.p ;
(iii) (existencia de um elemento neutro para a multiplicacao) n N , n.1 = 1.n = n
(onde lembramos que 1 = 0

);
(iv) (Propriedade comutativa da multiplicacao) m, n N , m.n = n.m;
(v) m, n N , m.n = 0 m = 0 ou n = 0;
(vi) (Propriedade associativa da multiplicacao) m, n, p N , (m.n).p = m.(n.p).
Prova Provaremos (i) e (ii)-(a) deixando as demais como exerccio.
Para mostrar (i), notemos que por (M1) ja temos n.0 = 0, resta-nos, portanto, apenas
provar que 0.n = 0. Para cada n N, seja a assercao P(n): 0.n = 0.
P(0) e verdadeira por (M1). Suponhamos agora que P(k) seja verdadeira, decorre de (M2)
que 0.k

= 0.k + 0 = 0, onde a ultima igualdade decorre do fato que estamos assumindo


P(k) ser verdadeira e 0 ser elemento neutro da adicao (teorema 3.3-(i)). Logo P(k

)
tambem e verdadeira e pelo primeiro princpio de inducao nita segue que P(n) e verdade
para todo n N e esta demonstrado (i)
Provemos agora (ii)-(a): dados dois naturais q e m, considere, para cada n N, a assercao
P(n) denida por:
P(n) : q.(m+n) = q.m+q.n
P(0) e verdadeira: q.(m+ 0)
(A1)
= q.m
(A1)
= q.m+ 0
(i)
= q.m+q.0
Se P(k) e verdadeira, isto e, se q.(m+k) = q.m+q.k, entao temos:
q.(m+k

)
(A2)
= q.(m+k)

(M2)
= q.(m+k) +q
P(k) e V.
=
= (q.m+q.k) +p
assoc. da adicao
= q.m+ (q.k +q)
(M2)
= q.m+q.k

logo, P(k

) e tambem verdadeira.
Portanto, pelo primeiro princpio de inducao nita P(n) e valida para todo n N. Logo
q, m N, n N, q.(m+n) = q.m+q.n.
20 CAP

ITULO 2. O CONJUNTO DOS N

UMEROS NATURAIS
Denicao 2.4.4 (Potenciacao em N) Dados a, n N dene-se a n-esima potencia de
a (ou potencia de base a e expoente n) ao n umero natural a
n
(le-se a elevado a n) denido
por
(i) a
0
= 1 e (ii) a
n

= a
n
.a

E um exerccio elementar mostrar que, por (i) e (ii) a


n
se dene (dado a) de forma unica
para todo a N.
Teorema 2.4.5 a, b, m, n N, temos
(i) a
n
.a
m
= a
m+n
;
(ii) (a
n
)
m
= a
n.m
(iii) (a.b)
n
= a
n
.b
n
Prova Exerccio
2.5 Ordem em N
Denicao 2.5.1 Dados m, n N, dizemos que m e menor que n, e denotamos m < n,
se existe u N, u = 0, tal que m+u = n.
Denicao 2.5.2 Dados m, n N, dizemos que m e maior que n, e denotamos m > n,
se n < m.
Notacao 2.1 Dados m, n N, denotamos m n (respectivamente m n) se m < n
(resp. m > n) ou m = n
2.5. ORDEM EM N 21
Proposicao 2.5.1 m, n N, m n u N tal que m+u = n.
Prova Exerccio
Proposicao 2.5.2 m, n N, m < n m

n.
Prova
(): Se m < n, entao existe u N, u = 0 com m+u = n. Por (2.4), existe v N tal que
u = v

. Logo m + v

= n e entao, pelo teorema (3.3), m

+ v = n. Da, pela proposicao


acima m

n
(): Se m

n, entao, pela proposicao acima, existe u N com m

+ u = n. Se u = 0,
temos m

< n. Se u = 0, m

= n.
Teorema 2.5.1 a, b, c N,
(i) Se a < b e b < c, entao a < c;
(ii) (Lei da Tricotomia) Ou a < b, ou a = b, ou a > b;
(iii) Se a < b, entao a +c < b +c;
(iv) Se a +c < b +c, entao a < b;
(v) Se a < b e c = 0, entao ac < bc;
(vi) Se ac < bc e c = 0, entao a < b;
(vii) Se ac = bc e c = 0, entao a = b.
Prova
(i) Se a < b e b < c, entao existem u, v N, u = 0, v = 0 com a +u = b e b +v = c.
Logo a + (u +v) = (a +u) +v = b +v = c implicando que a < c pois u +v = 0.
22 CAP

ITULO 2. O CONJUNTO DOS N

UMEROS NATURAIS
(ii) Mostraremos primeiramente que duas das assercoes: a < b, a = b e a > b nao podem
ocorrer simultaneamente.
Se a < b e a = b, temos b < b, o que e impossvel pois se b < b, entao b +u = b para algum
u N, u = 0, mas b +u = b implica b +u = b + 0, donde segue que u = 0.
Analogamente, nao podemos ter a > b e a = b.
Finalmente, se a < b e a > b, entao a < b e b < a e, por (i) a < a, o que, como vimos, e
impossvel.
Para completar a prova de (ii) mostraremos, por inducao sobre n, que vale a propriedade
P(n): Para todo m N, m < n, ou m = n, ou m > n
P(0) e verdadeira pois, m N, se m = 0 entao 0 + m = m implica 0 < m, ou ainda,
m > 0.
Seja dado k N e suponhamos P(k) verdadeira, isto e, m N, tem-se m k ou m > k.
Dado m N, se m k, temos m + u = k para algum u N. Da m + u

= (m + u)

=
k

m < k

(pois u

= 0). Se m > k, entao pela proposicao (5.5), m k

. Assim,
m N, m < k

ou m k

e portanto P(k

) e verdadeira e a nossa prova por inducao


esta completa.
(As provas dos demais resultados sao deixadas como exerccio)
Teorema 2.5.2 (Princpio da Boa-Ordem em N, ou Princpio do menor n umero
natural) Todo subconjunto nao vazio de N possui um menor (ou um primeiro) elemento.
Isto e, se A N e A = , entao existe a
0
N tal que a
0
a, a A
Prova Considere o conjunto S = {n N

n a, a A}
Claramente 0 S.
Agora, notemos que se a A entao a

/ S (visto que a

> a.
Como S nao contem a

para cada a A (e A = ), temos S = N.


Agora, 0 S e S = N implicam que k N tal que k S e k

/ S (pois, pelo axioma da


inducao nita, se (i) 0 S e (ii) k S implica k

S, entao S = N).
Como k

/ S, existe a
0
A tal que k

> a
0
e entao k a
0
. Como tambem k a
0
, vem
que k = a
0
, o que conclui esta demonstracao.
2.5. ORDEM EM N 23
Exerccio 2.2 Um subconjunto, S N, nao vazio de n umeros naturais, e limitado supe-
riormente se existe um n umero natural K tal que para todo x S, tem-se x K. Mostre
que S possui um maior elemento, isto e, mostre que existe s
0
S tal que x s
0
para todo
x S.
Teorema 2.5.3 (Primeiro Princpio da Inducao Finita Revisto) Seja n
0
um n umero
natural e suponhamos que a cada n umero natural n, n > n
0
, corresponde uma assercao
P(n) (que pode ser, dependendo de n, verdadeira ou falsa), e que:
(a) P(n
0
) e verdadeira;
(b) k N, se P(k) e verdadeira entao P(k + 1) e verdadeira.
Entao P(n) e verdadeira para todo n N, com n > n
0
.
Prova Considere a assercao: Q(n): P(n
0
+ n) e verdadeira, para n 0, e aplique o
teorema (2.2), lembrando que k

= k + 1.
Teorema 2.5.4 (Segundo Princpio da Inducao Finita) Seja n
0
N e suponhamos
que a cada n umero natural n, n n
0
, corresponde uma assercao P(n) tal que
(a) P(n
0
) e verdadeira;
(b) k N, se P(n) e verdadeira para n
0
n < k, entao P(k) e verdadeira.
Entao, P(n) e verdadeira, n N, n n
0
.
Prova Considere o conjunto
A = {n N

n n
0
e P(n) e falsa }
Mostraremos, usando o princpio da boa-ordem em N, que (a) e (b) implicam A = e
portanto P(n) e verdadeira para cada n n
0
.
Suponhamos que A = . Pelo princpio da boa-ordem em N, existe um primeiro elemento
n
1
A. Entao n
1
> n
0
pois P(n
0
) e verdadeira (por (a)). Alem disso, se n
0
n < n
1
24 CAP

ITULO 2. O CONJUNTO DOS N

UMEROS NATURAIS
entao P(n) e verdadeira (pois n
1
e o menor elemento em A). Mas isto, por (b), acarreta
P(n
1
) verdadeira e temos uma contradicao.
Logo A = .
Teorema 2.5.5 n N, nao existe m N com n < m < n

.
Prova Exerccio
2.5.1 Exemplos de aplicacoes dos princpios de inducao nita
Exemplo 2.2 Para cada n N, n 0, 3
2n
1 e divisvel por 8, isto e, 3
2n
1 = 8m,
para algum m N.
Prova Se n = 0, 3
2n
1 = 3
0
1 = 0 = 8.0.
Suponhamos que 3
2k
1 = 8m para algum m N.
Entao 3
2(k+1)
1 = 3
2k+2
1 = 3
2k
.3
2
1 = (1 +8m).9 1 = 9 +9.8m1 = 8 +8.9m =
8.(1 + 9M) = 8m

.
Logo, 3
2n
1 e divisvel por n, n N.
Exemplo 2.3 (Teorema do Algortimo da Divisao Euclidiana em N) Dados n, d
N, com d = 0, existem q, r N satisfazendo
n = q.d +r e 0 r < d.
Prova Fixe d N, d = 0.
Se n = 0, basta tomar q = r = 0.
Seja k N e suponhamos que existem q, r N, com
k = q.d +r e 0 r < d.
entao k + 1 = (q.d +r) + 1 = q.d + (r + 1).
Agora, r < d implica r + 1 = r

d.
Se r + 1 < d, tomamos r

= r + 1 e teremos
k + 1 = q.d +r

com 0 r

< d.
2.5. ORDEM EM N 25
Se r + 1 = d, teremos
k + 1 = q.d +d = (q + 1).d
tomando q

= q + 1 e r

= 0, vem k + 1 = q

.d +r

com 0 r

< d.
Observacao 2.4 O Teorema do Algortimo da Divisao Euclidiana em N e a armacao,
em teoria, de que a divisao de um n umero natural n por por um divisor d, produzindo quo-
ciente q e um resto r, este menor que o divisor, conforme aprendemos na escola elementar
(primeiro grau) e sempre possvel.
Exerccio 2.3 Mostre que o quociente q e o resto r da divisao euclidiana de n por d
(d = 0) sao unicos, isto e, se n = q.d + r e n = q

.d + r

com 0 r < d e 0 r

< d,
entao q = q

e r = r

. (Sugestao: comece supondo que q = q

, de onde q < q

ou q > q

.
Mostre que q < q

r d)
Como uma aplicacao temos o
Teorema 2.5.6 (Representacao dos n umeros naturais no sistema decimal) Para todo
n umero natural n com n 1, existem n umeros naturais a
0
, . . . , a
s
{0, 1, . . . , 9}, com
s 0 e a
s
= 0 tal que
n =
s

i=0
10
i
.a
i
= a
0
+. . . +a
s
.10
s
Prova (pelo segundo princpio da inducao nita)
Se n = 1, temos n = a
0
= 1 (s = 0)
Seja k 1 e suponhamos que para todo n umero natural n com 1 n < k, vale a
propriedade enunciada.
Mostraremos que entao o mesmo vale para k:
Pelo algortimo da divisao em N, existem q, r N com
k = q.10 +r e 0 r < 10
agora e facil ver que q < k (porque ?).
Se q = 0, temos k = a
0
onde a
0
= r {0, . . . , 9}.
26 CAP

ITULO 2. O CONJUNTO DOS N

UMEROS NATURAIS
Se q > 0 (entao q 1), como 1 q < k, pela hipotese de inducao,
q = b
t
.10
t
+. . . +b
0
para certos b
0
, . . . , b
t
{0, . . . , 9}
Logo, k = q.10 + r = b
t
.10
t+1
+ . . . + b
0
.10
1
+ r, com b
t
, . . . , b
0
, r {0, . . . , 9}, e a nossa
prova por inducao esta completa.
Exerccio 2.4 Mostre que os naturais a
0
, . . . , a
s
na representac ao decimal de n sao de-
terminados de maneira unica (Sugestao: Faca-o por inducao sobre n, usando o segundo
princpio de inducao nita, mostrando primeiramente que se n = a
0
+ . . . + a
s
.10
s
=
b
0
+. . . +b
t
.10
t
com a
0
, . . . , a
s
, b
0
, . . . , b
t
{0, . . . , 9}, a
s
= 0 e b
t
= 0 entao s = t e a
s
= b
t
Os exerccios resolvidos a seguir, bem como a lista que segue, apresentam varias
classes de problemas, dos mais triviais aos mais elaborados. Estaremos supondo tacita-
mente que o leitor possui familiaridade com a aritmetica usual do conjunto dos n umeros
reais, bem como conhecimentos da estrutura de certas funcoes elementares, como poli-
nomiais, exponencial e trigonometricas. Varios dos problemas estao relacionados com
aplicacoes `a teoria dos n umeros, `as series de potencias e series de Fourier que surgem de
maneira natural em problemas de equacoes diferenciais parciais e da fsica matematica.
Exerccios Resolvidos
Existe uma bem conhecida estoria (lenda?) que nos conta que o grande matematico Carl
Friederich Gauss, em 17... contando apenas com 7 anos, foi desaado - juntamente com
seus colegas da classe em que estudava - a calcular a soma dos 100 primeiros n umeros
naturais (talvez esperasse por alguns minutos de sossego, o professor do jovem Gauss).
Imediatamente, todas as criancas se puseram a efetuar as somas 1+2 = 3, 3+3 = 6, 3+4 =
10, etc., exceto Gauss que se manteve por alguns instantes absorto em seus pensamentos.
Todavia, antes que o professor pudesse chamar a atencao do inativo menino, este tomou
da pena e fez alguns poucos calculos em seu caderno, logo fornecendo o resultado ao
professor: 5050. Quando entao inferido sobre como efetuara este calculo tao rapidamente,
Gauss explicou: veja: 100 + 1 = 101, 99 + 2 = 101, 98 + 3 = 101, etc, 1 + 100 = 101,
2.5. ORDEM EM N 27
assim somando de 1 a 100 duas vezes de maneira inteligente vemos que
1 + 2 +. . . + 100 = x
100 + 99 +. . . + 1 = x
101 + 101 +. . . + 101 = 2x
ou seja 100 101 = 2x de onde vem o resultado obtido!
Este simples, mas brilhante argumento permite que possamos ter uma expectativa do valor
da soma dos n primeiros n umeros naturais, nao nulos: 2(1 + 2 +. . . +n) = n(n + 1) ou
1 + 2 +. . . +n =
n(n + 1)
2
Contudo para provar que este resultado e valido para qualquer n umero natural n pre-
cisamos usar inducao nita sobre n
Exerccios Propostos
Questao 1. Determine a soma dos n primeiros n umeros naturais. Prove a validade da
formula obtida via inducao nita.
Questao 2. Determine a soma dos n primeiros n umeros naturais impares. Prove a
validade da formula obtida via inducao nita.
Questao 3. Determine a soma dos n primeiros n umeros naturais pares. Prove a validade
da formula obtida via inducao nita.
Questao 4. Prove que a soma dos n primeiros quadrados de n umeros naturais e dada
por
n(n + 1)(2n + 1)
2
Questao 5. Prove que a soma dos quadrados dos n primeiros n umeros naturais impares
e dado por
1
2
+ 3
2
+. . . + (2n 1)
2
=
n(2n 1)(2n + 1)
3
28 CAP

ITULO 2. O CONJUNTO DOS N

UMEROS NATURAIS
Questao 6. Prove que a soma alternada dos quadrados dos n primeiros n umeros naturais
e dado por
1
2
2
2
+ 3
2
4
2
+. . . + (1)
n1
n
2
= (1)
n1
n(n + 1)
2
Questao 7. Mostre que a soma dos cubos dos n primeiros n umeros naturais e dada por
1
3
+ 2
3
+. . . +n
3
=
_
n(n + 1)
2
_
2
Questao 8. Mostre que para cada n umero real x = 1, vale a formula da soma dos
n-primeiros termos da progressao geometrica:
1 +x +x
2
+. . . +x
n
=
x
n+1
1
x 1
(o que dizer se tivermos x = 1?)
Questao 9. Prove a validade da seguinte identidade:
1.2 + 2.3 + 3.4 +. . . +n(n + 1) =
n(n + 1)(n + 2)
3
Questao 10. Prove a identidade:
1.2.3 + 2.3.4 + 3.4.5 +. . . +n(n + 1)(n + 2) =
n(n + 1)(n + 2)(n + 3)
4
Questao 11. Mostre que:
1
1.3
+
1
3.5
+
1
5.7
+. . . +
1
(2n 1).(2n + 1)
=
n
2n + 1
Questao 12. Mostre que:
1
2
1.3
+
2
2
3.5
+
3
2
5.7
+. . . +
n
2
(2n 1).(2n + 1)
=
n(n + 1)
2(2n + 1)
2.5. ORDEM EM N 29
Questao 13. Mostre que:
1
1.4
+
1
4.7
+
1
7.10
+. . . +
1
(3n 2).(3n + 1)
=
n
3n + 1
Questao 14. Mostre que:
1
1.5
+
1
5.9
+
1
9.13
+. . . +
1
(4n 3).(4n + 1)
=
n
4n + 1
Questao 15. Mostre que:
1
a.(a + 1)
+
1
(a + 1).(a + 2)
+
1
(a + 2).(a + 4)
+. . . +
1
(a +n 1).(a +n)
=
n
a(a +n)
Questao 16. Se u
n
e uma sequencia de n umeros naturais vericando as condicoes u
0
= 2,
u
1
= 3 e para cada n N vale a relacao:
u
n+1
= 3u
n
2u
n1
obtenha uma formula geral para u
n
(isto e, que independa das expressoes de u
k
para
k < n) (dica: u
n
= 2
n
+ 1)
Questao 17. Se n! denota o produto dos n primeiros n umeros naturais nao nulos (i.e.,
n! = 1.2. . . . .n que denominamos fatorial de n). Encontre uma expressao geral para a
soma
s
n
= 1.1! + 2.2! + 3.3! +. . . +n.n!
(dica: s
n
= (n + 1)! 1)
Questao 18. Prove que para todo n N e todo x = 1, 1 vale a identidade
1
1 +x
+
2
1 +x
2
+
4
1 +x
4
+
8
1 +x
8
+
2
n
1 +x
2
n
=
1
x 1
+
2
n+1
1 x
2
n+1
Questao 19. Dados os n umeros e , com = e + = 1 sejam
+ = m, = a, v
2
= m
a
m1
,
v
3
= m
a
m
a
m1
, v
4
= m
a
m
a
m
a
m1
, etc.,
30 CAP

ITULO 2. O CONJUNTO DOS N

UMEROS NATURAIS
ou seja, para todo k > 1,
v
k+1
= m
a
v
k
Mostre que
v
n
=
(
n+1

n+1
) (
n

n
)
(
n

n
) (
n1

n1
)
Questao 20. Provar as seguintes identidades trigonometricas:
1. cos cos 2cos 4. . . cos 2
n
=
sin2
n+1

2
n+1
sin
2. sinx + sin2x +. . . sinnx =
sin
(n + 1)x
2
sin
x
2
sin
x
2
3.
1
2
+ cos x + cos 2x +. . . cos nx =
sin
(2n + 1)x
2
2 sin
x
2
4. sinx + 2 sin2x +. . . nsinnx =
(n + 1) sinnx nsin(n + 1)x
4 sin
2
x
2
5. cos x + 2 cos 2x +. . . ncos nx =
(n + 1) cos nx ncos(n + 1)x 1
4 sin
2
x
2
Questao 21. Determine o menor k
0
N tal que 2
k
> 2k + 1 para todo k k
0
. Mostre
que, de fato tem-se 2
k
> 2k + 1 para todo k k
0
.
Questao 22.Determine o menor k
0
N tal que 2
k
> k
2
para todo k k
0
. Mostre que,
de fato tem-se 2
k
> k
2
para todo k k
0
.
Questao 23. [DESAFIO!!] Mostre que dado n N, xado, existe k
0
= k
0
(n) N tal
que 2
k
> k
n
para todo k k
0
.
2.5. ORDEM EM N 31
Questao 24. Prove a desigualdade de Bernouli: dado a R, a > 1 e a = 0, entao para
todo n N tem-se
(1 +a)
n
> 1 +na
Questao 25. Prove que a media geometrica de um n umero nito de n umeros positivos
nao e maior que sua media aritmetica. Isto e dados a
1
, . . . a
n
n umeros reais positivos entao
n

a
1
. . . . .a
n

a
1
+. . . +a
n
n
Questao 26. Mostre que para todo n umero natural n > 1 tem-se
4
n
n + 1
<
(2n)!
(n!)
2
Questao 27. Mostre que dados a, b R, com a = b e a +b > 0, entao para todo n umero
natural n > 1 tem-se
(a +b)
n
< 2
n1
(a
n
+b
n
)
Questao 28. Para todo x R, x > 0 e para todo n umero natural nao nulo, n, tem-se
x
n
+x
n2
+. . . +
1
x
n2
+
1
x
n
n + 1
Questao 29. Prove que um conjunto de n retas distintas em um plano e que se cortam
em um ponto comum dividem o plano em 2n partes.
Questao 30.Prove que n retas em um plano dividem-no em regioes que podem ser col-
oridas de branco e preto de tal modo que duas regioes vizinhas quaisquer (isto e, regioes
cuja fronteira e um segmento retilneo comum) possuem cores distintas.
Questao 31. Demonstre que n planos passando por um ponto comum, sem que tres
quaisquer deles se intersectem em uma mesma reta dividem o espaco em a
n
= n(n1) +2
partes.
32 CAP

ITULO 2. O CONJUNTO DOS N

UMEROS NATURAIS
Questao . Prove por inducao que
_
n + 1
n
_
n
< n, para todo n 3
(sugestao: observe que (n + 2)/(n + 1) < (n + 1)/n e eleve ambos os membros desta
desigualdade `a potencia n + 1) Conclua da que a sequencia e decrescente a partir do
terceiro termo.
Questao . Para todo n N ponha
x
n
=
_
(n = 1)
2
n(n + 2)
_
n
e prove, por inducao, que se tem
x
n
<
n + 2
n + 1
conclua, a partir da, que a sequencia de termo geral
_
n+1
n
_
n
e crescente.
Captulo 3
O Conjunto Z dos N umeros
Inteiros
3.1 Introducao
Neste captulo introduzimos o conjunto dos n umeros inteiros utilizando a ja assentada
estrutura algebrica do conjunto N. Intuitivamente, a ideia de como isto e feito e a seguinte.
Em N, a diferenca m n de dois n umeros naturais so faz sentido se m n. Nesse caso,
m = n + u para algum u N e entao podemos denir m n = u. O conjunto Z, sera
o conjunto de todas as diferencas m nonde m, n sao n umeros naturais quaisquer. A
cada par de n umeros naturais (m, n) associamos um objeto denotado por (m, n) que e a
diferenca entre m e n, sendo que (m, n) = (r, s) quando e somente quando m+s = n+r
(isto inspirado no fato que desejamos estabelecer, que e mn = r s m+s = n +r).
Se m > n, essa diferenca e um inteiro positivo e se m < n ela e um inteiro negativo.
Tambem deniremos uma multiplica cao e uma adicao em Z, bem como uma ordem, e
veremos que uma parte de Z (os inteiros nao negativos) se identica com o conjunto N. A
estrutura algebrica de Z tem seu estudo iniciado neste captulo e enriquecido nos captulos
posteriores.
3.2 Relacoes de equivalencia
Este conceito, que e parte integrante de todo curso de algebra moderna, e nada tem a ver
com n umeros naturais nem com inteiros, sera abordado aqui por ser uma ferramenta na
33
34 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
construcao do conjunto Z a partir do conjunto N.
Par ordenado Se a e b sao elementos de um conjunto, adotaremos como um conceito
primitivo o conceito de par ordenado de primeiro elemento a e segundo elemento b, deno-
tado por (a, b). Nao e necessario que se tenha a = b e axiomatizaremos que
(Igualdade de pares ordenados) Sendo a, b, c, d A, A um conjunto qualquer,
(a, b) = (c, d) se, e somente se a = c e b = d.
Denicao 3.2.1 (Produto cartesiano de dois conjuntos) Sendo A e B dois conjun-
tos nao vazios, o produto cartesiano de A e B, denotado por A B (le-se A cartesiano
B) e o conjunto
AB := {(a, b)

a A, b B}
se A = ou B = , denimos AB = .
Exemplo 3.1 Se A = {1, 2} e B = {2, 3, 4}, entao
AB = {(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4)}
Denicao 3.2.2 (Relacao entre dois conjuntos) Dados dois conjuntos A e B, chama-
se relacao entre A e B (ou de A em B) a todo subconjunto R de AB.
Exemplo 3.2 Se A = {1, 2} e B = {2, 3, 4}, sao exemplos de relacoes entre A e B os
seguintes conjuntos:
R = {(1, 2), (1, 3), (1, 4)}
S = {(2, 2)}
T = neste caso nenhum ponto de A relaciona-se com pontos de B
U = AB ou seja, cada ponto de A esta relacionado com cada ponto de B
Notacao 3.1 Se R e uma relac ao entre A e B e se (x, y) R tambem podemos escrever
xRy e dizer que x esta relacionado com (ou associado a) y pela relacao R. Ja a Rb
denota que (a, b) / R. No exemplo acima temos 1R2, 2 R2, 2S2, 2 T3, em verdade
(x, y) AB tem-se x Ty e, de modo semelhante, (x, y) AB, tem-se xUy
3.2. RELAC

OES DE EQUIVAL

ENCIA 35
Denicao 3.2.3 (Domnio, imagem e relacao inversa de uma relacao R) Sendo R
uma relacao de A em B, denem-se:
(i) o domnio de R como sendo o seguinte subconjunto de A
D(R) = {a A

existe b B com (a, b) R}


(ii) o conjunto-imagem (ou a imagem) de R como sendo o subconjunto de B:
Im(R) = {b B

existe a A com (a, b) R}


(iii) a relacao inversa de R como sendo a relacao de A em B dada por
R
1
= {(b, a) B A

(a, b) R}
Exemplo 3.3 Considerando as relacoes R, S, T e U do exemplo 2.6, temos:
D(R) = {1} , Im(R) = B e R
1
= {(2, 1), (3, 1), (4, 1)}
D(S) = Im(S) = {2} e S
1
= S
D(T) = Im(T) = e T
1
= T
D(U) = A , Im(U) = B e U
1
= B A
Denicao 3.2.4 Sendo A um conjunto qualquer, uma relacao em A e uma relacao de A
em A
Denicao 3.2.5 (Relacao de equivalencia num conjunto) Seja A um conjunto e seja
R uma relacao em A.
(a) Dizemos que R e uma relacao reexiva se: (x, x) R para cada x A.
(b) Dizemos que R e uma relacao simetrica se: (x, y) A A, (x, y) R implica que
(y, x) R.
(c) Dizemos que R e uma relacao transitiva se: x, y, z A, (x, y) R e (y, z) R
implica (x, z) R.
36 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
(d) Dizemos que R e uma relacao de equivalencia se R e reexiva, simetrica e transitiva,
ou seja, x, y, z A, tem-se xRx, xRy yRx e, xRy e yRz xRz.
Exemplos
(a) A relacao de igualdade: Se A e um conjunto qualquer, seja R a relacao em A dada
por: xRy x = y, x, y A. Entao R e uma relacao de equivalencia em A. Como
conjunto de pares, R = {(x, x)

x A}.
(b) Seja A = R, o conjunto dos n umeros reais e seja a relac ao de equivalencia em A
(muitas relacoes de equivalencia sao denotadas pelo smbolo ):
x, y R, x y x y e um n umero inteiro
Entao temos:
(i) x R, x x = 0 Z x x (portanto e reexiva)
(iii) x, y R, se x y, entao x y Z y x = (x y) Z, logo y x ( e
simetrica)
(iii) x, y, z R, x y e y z xy Z e y z Z (xy) +(y z) = xz Z,
consequentemente x z ( e transitiva)
Por (i), (ii), (iii), e uma relacao de equivalencia em R
(c) Seja A = N e seja R a relacao em N, i.e., a, b N, aRb a b.
Entao temos
(i) R e reexiva: Para todo a N, tem-se a a, logo aRa
(ii) R nao e simetrica: Dados a, b N, se aRb nao decorre que bRa .
Na verdade, temos aRb e bRa se, e somente se a = b. Portanto R nao e uma relacao de
equivalencia (embora tambem seja transitiva) em N.
(d) Seja A um conjunto qualquer e f : A A uma funcao tal que, f f = id
A
, ou
seja, para todo x A, temos f(f(x)) = x. Dena uma relacao R em A por: a, b A,
aRb a = b ou f(a) = b. Mostre que a relacao e uma relacao de equivalencia
3.2. RELAC

OES DE EQUIVAL

ENCIA 37
(e) Consideremos o conjunto de todas as retas de um plano R
2
, isto e,
L = {X R
2

Xe uma reta em R
2
}
e seja R a relacao em L denida por
XRY se, e somente se, X = Y ou X Y =
a relacao R e simplesmente a relacao de paralelismo da Geometria Planae nao e difcil
ver que R e uma relacao de equivalencia sobre o conjunto L (demonstre este fato).
(f ) A relacao de perpendicularismo em L (isto e, duas retas X e Y em L estao rela-
cionadas, X Y se, e somente se, sao perpendiculares: X Y )e apenas simetrica:
note que uma dada reta X L nao pode ser perpendicular a si mesma (logo, nao vale a
propridade reexiva) e se temos X e Y L, duas retas perpendiculares X Y entao,
naturalmente, Y X, mas novamente nao e valido que X X, ou seja, tambem nao
vale a propriedade transitiva.
Sejam A um conjunto e R uma relacao de equivalencia em A
Denicao 3.2.6 (Classes de equivalencia de uma relacao de equivalencia) Se a
A, a classe de equivalencia de a modulo R (ou com respeito a relacao R) e o subconjunto
de A:
[a]
R
= {x A

xRa} = {x A

(x, a) R}
Denotamos, se isto nao nos trouxer confusao,
[a]
R
= [a] = a
Proposicao 3.2.1 Seja R = uma relacao de equivalencia em A, e sejam a, b A. As
seguintes armacoes sao equivalentes (isto e, uma delas vale se, e somente se, cada uma
das demais tambem vale):
(i) a b; (ii) a b; (iii) b a; (iv) a = b
38 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
Prova Mostraremos que (i) (ii), (ii) (iii), (iii) (iv) e (iv) (i).
(i) (ii): a b (a, b) R a [b]
R
= b
(ii) (iii): a b (a, b) R
R e sim.
= (b, a) R b a.
(iii) (iv): por hipotese, b a, o que e equivalente a dizer que (b, a) R e tambem que
(a, b) R, logo,
x A, x a
(a,b)R
(x, b) R x b, a = b
(iv) (i): Por hipotese, a = b. Da, como a a, temos a a a a =
a=b
a b
def
a b.

Teorema 3.2.1 Seja R = uma relac ao de equivalencia em A. Entao


(i) a A, tem-se a = ;
(ii) a, b A, tem-se ou a = b, ou a b = .
(iii) A e a reuni ao das classes de equivalencia da relacao R.
As armacoes do teorema acima podem ser re-escritas como
(i) Toda a classe de equivalencia de um elemento de A e nao vazia;
(ii) Duas classes de equivalencia ou sao iguais ou sao disjuntas;
(iii) Todo elemento de A esta em alguma classe de equivalencia da relacao R.
Prova
(i) (facil): a A, a a a a a =
(ii) (tao facil quanto (i)): a A, a a. Logo {a} a, de onde segue que
A =
_
aA
{a}
_
aA
a A
(iii) Suponhamos a, b A com a b = . Mostraremos que entao a = b.
3.2. RELAC

OES DE EQUIVAL

ENCIA 39
Como a b = , existe x A tal que x a e x b, logo x a e x b imlicam, por
transitividade, que a b e, portanto, a = b.
Denicao 3.2.7 (O conjunto quociente de uma relacao de equivalencia) Seja A
um conjunto e R uma relacao de equivalencia em A. Chama-se conjunto quociente de A
pela relacao R ao conjunto das classes de equivalencia da relacao R, denotado
A/R = {[a]
R

a R}
(note que A/R e um conjunto de subconjuntos de A).
Exemplos
(a) Seja A = {1, 2, 3, 4, 5, 6} e seja a relacao de equivalencia em A onde 1 2, 2 3 e
4 5. Entao temos
= {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5), (6, 6), (1, 2),
(2, 1), (2, 3), (3, 2), (1, 3), (3, 1), (4, 5), (5, 4)}
e neste caso, 1 = 2 = 3 = 4 = 5 = 6 = 1 e entao
A/ = {1, 4, 6} = {{1, 2, 3}, {4, 5}, {6}}
(b) No exemplo 3.2, (e), consideramos o conjunto L de todas as retas do plano, e dissemos
que a relacao de paralelismo denia uma relacao de equivalencia em L. Vale notar que a
classe de equivalencia X determinada por uma reta X L, e o conjunto de todas as retas
contidas em R
2
e que sao paralelas a reta X. Dizemos neste caso que X e a direcao da
reta X e o conjunto quociente L/R e o conjunto das direcoes do plano R
2
. Notemos que
duas retas A e B possuem mesma direcao se, e somente se, A = B, ou seja, se, e somente
se, A//B. Como uma classe de equivalencia X ca determinada por qualquer um de seus
representantes e como dada qualquer reta X L sempre existe uma (e somente uma) reta
X
0
em L que e paralela a X e que passa pela origem (0, 0) R
2
(um dos axiomas da
Geometria Plana) podemos identicar X X
0
.
40 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
(c) No exemplo 2.12, (b) vericamos que a relacao:
x, y R, x y x y e um n umero inteiro
e uma relacao de equivalencia. Nao e difcil ver que as classes de equivalencia de sao
dadas por [a] = {a + m

m Z}. Alem disso, como qualquer n umero real x R, pode


ser escrito de forma unica, como uma parte inteira mais um n umero entre 0 e 1, isto e,
x = m+r, onde m Z e 0 r < 1, resulta que dado qualquer n umero real x, existira um, e
somente um n umero 0 r < 1 tal que [x] = [r]. Assim, como r e unico, podemos identicar
[x] com r e como 0 1, segue que [0] = [1]. Uma representacao geometrica para o conjunto
quociente R/ e a do intervalo unitario [0, 1] com seus extremos identicados. Com um
pouco de boa vontade, o leitor pode enxergar tal conjunto como uma circunferencia (em
verdade, todo geometra entende tal conjunto desta maneira!).
(d) Observacao: todo o colecionador possui um conhecimento intuitivo de classes de
equivalencia e conjuntos quocientes, ao agrupar objetos que possuem estrutura ou pro-
priedade comum. Por exemplo: um colecionador de selos agrupando selos por nacionali-
dade considera a seguinte relacao :
selo A selo B selo A tem a mesma nacionalidade que o selo B
Pergunta-se: a relacao acima e uma relacao de equivalencia? Se for determine o conjunto
quociente
{selos do colecionador}/
3.3 Construcao do conjunto Z dos n umeros inteiros
Consideremos o conjunto N dos n umeros naturais e seja A = NN o produto cartesiano de
N por si mesmo. A e o conjunto de todos os pares ordenados (a, b) onde a e b sao n umeros
naturais. Ja sabemos que sobre N estao denidas operacoes de adicao e de multiplicacao
satisfazendo as condicoes (A1), (A2) da denicao de adicao e (M1), (M2) da denicao de
multiplica cao. Deniremos uma relacao R = sobre o conjunto A = N N do seguinte
modo
3.3. CONSTRUC

AO DO CONJUNTO Z DOS N

UMEROS INTEIROS 41
Denicao 3.3.1 Se (a, b) e (c, d) sao dois elementos quaisquer de A, entao colocaremos
(a, b) (c, d)
se, e somente se
a +d = b +c
por exemplo, temos (a, a) (b, b) quaisquer que sejam a, b N, ou ainda, (0, 0) (a, a),
qualquer que seja a N
Teorema 3.3.1 A relacao R = introduzida na denicao 3.1, acima e uma relacao de
equivalencia sobre A
Prova Precisamos vericar que R = satisfaz as condicoes de uma relacao de equivalencia,
ou seja, precisamos vericar que e reexiva, simetrica e transitiva:
e reexiva: com efeito, para todo elemento (a, b) A temos que (a, b) (a, b) pois
a +b = b +a (a adicao em N e comutativa!)
e simetrica: sejam (a, b) e (c, d) dois elementos quaisquer de A e suponhamos que
(a, b) (c, d), ou seja, que a + d = b + c; por comutatividade da adicao em N, temos
d +a = c +b ou ainda, c +b = d +a, consequentemente (c, d) (a, b)
e transitiva: sejam (a, b), (c, d) e (e, f) tres elementos quaisquer de A e suponhamos
que (a, b) (c, d) e (c, d) (e, f), logo
a +d = b +c e c +f = d +e (3.1)
entao, usando as propriedades ja provadas da adicao em N, temos
(a +f) +d
assoc.
= a + (f +d)
comut.
= a + (d +f)
assoc.
= (a +d) +f (3.2)
3.1
= (b +c) +f
assoc.
= b + (c +f)
3.1
= b + (d +e)
comut.
= b + (e +d)
assoc.
= (b +e) +d (3.3)
portanto, pela lei de cancelamento na adicao, em N, segue que a + f = b + e donde vem
que (a, b) (e, f)
42 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
Assim, a relacao e uma relacao de equivalencia em A
Se (a, b) e um elemento qualquer de A indicaremos por (a, b) a classe de equivalencia de
(a, b) modulo R = determinada por (a, b), isto e (a, b) = {(x, y) A

(x, y) (a, b)}


Denicao 3.3.2 (Conjunto dos N umeros Inteiros) Indicaremos por Z ao conjunto
quociente de A pela relacao de equivalencia , quer dizer Z = A/ = N N/ . Z sera
chamado de conjunto dos n umeros inteiros.
Recorde que duas classes de equivalencia sao iguais (a, b) = (c, d) se, e somente se, (a, b)
(c, d) e veja que o conjunto Z de todas as classes de equivalencia modulo , forma uma
particao de A = N N.
3.4 Adicao em Z
Podemos denir tambem uma adicao em Z da forma seguinte
Denicao 3.4.1 (Adicao em Z) Chama-se adicao em Z a uma operacao binaria em Z,
i.e., a uma aplicacao
: Z Z Z
onde a imagem de um par ((a, b), (c, d)) em Z Z e dada por
((a, b), (c, d)) = (a, b) + (c, d))
def.
= (a +c, b +d)
e chamada de soma de (a, b) e (c, d)
A razao para esta denicao e simples, se tivermos em mente que ao falarmos em uma
classe (a, b) Z, na verdade estamos pensando no n umero inteiro denido por a b
(recorrendo ao nosso conhecimento intuitivo da aritmetica dos n umeros inteiros), segue
entao que a soma de dois n umeros inteiros, (a, b) e (c, d) pode ser pensada como a soma
(ab)+(cd) = (a+c)(b+d), ou seja, por isto denimos (a, b)+(c, d) = (a +c, b +d).
3.4. ADIC

AO EM Z 43
Precisamos agora vericar que a soma acima denida esta bem-denida, quer dizer, pre-
cisamos mostrar que a soma de (a, b) e (c, d) nao depende dos representantes (a, b) e (c, d)
das classes de equivalencia (a, b) e (c, d), ou seja devemos mostrar que se (a, b) = (a

, b

) e
(c, d) = (c

, d

), entao
(a +c, b +d) = (a

+c

, b

+d

)
De fato, se (a, b) = (a

, b

) e (c, d) = (c

, d

), entao (a, b) (a

, b

) e (c, d) (c

, d

), logo
a +b

= b +a

e c +d

= d +c

(3.4)
de onde vem que
(a +c) + (b

+d

)
assoc.
= ((a +c) +b

) +d

assoc.
= (a + (c +b

)) +d

comut.
=
= (a + (b

+c)) +d

assoc.
= ((a +b

) +c) +d

3.4
= ((b +a

) +c) +d

assoc.
=
= (b +a

) + (c +d

)
3.4
= (b +a

) + (d +c

)
assoc.
= b + (a

+ (d +c

)
assoc
=
= b + ((a

+d) +c

)
comut.
= b + ((d +a

) +c

)
assoc.
= b + (d + (a

+c

))
assoc.
= (b +d) + (a

+c

)
logo (a+c) +(b

+d

) = (b +d) +(a

+c

), ou seja (a+c, b +d) (a

+c

, b

, d

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

+c

, b

+d

)
com isto, acabamos de mostrar a seguinte
Proposicao 3.4.1 (Boa-denicao da adicao em Z) A operacao de adicao em Z esta
bem-denida.
Observe que, por exemplo, que dados a, b, c N, temos que (a, a) (0, 0) ou, equivalen-
temente, (a, a) = (0, 0) e temos
(a, a) + (b, c) = (0, 0) + (b, c) = (0 +b, 0 +c) = (b, c) = (b + 0, c + 0) = (b, c) + (0, 0)
ou seja, o n umero inteiro (a, a) = (0, 0) faz o papel de elemento neutro para a adicao em
Z.
44 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
Teorema 3.4.1 (Propriedades da adicao em Z) A operacao de adic ao em Z satisfaz
as seguintes propriedades
(I1) Associativa: dados (a, b), (c, d) e (e, f) Z, vale que
((a, b) + (c, d)) + (e, f) = (a, b) + ((c, d) + (c, d))
(I2) Comutativa: dados (a, b) e (c, d) Z, entao
(a, b) + (c, d) = (c, d) + (a, b)
(I3) Existencia de elemento neutro da adicao: o elemento (a, a) = (0, 0) satisfaz a
seguinte propriedade:
(0, 0) + (c, d) = (c, d) = (c, d) + (0, 0)
(I4) Existencia de elemento oposto, ou inverso, ou simetrico da adicao: dado (a, b) Z,
o elemento (b, a) Z satisfaz a propriedade
(a, b) = (b, a) = (0, 0) = (b, a) + (a, b)
dizemos, neste caso que (b, a) e o elemento oposto (ou inverso, ou simetrico) de
(a, b).

E usual denotarmos o elemento (b, a) por (a, b)
Prova Exerccio.
Notemos que tanto o elemento neutro (0, 0) como o oposto da adicao sao unicos.
De fato, se (0

, 0

) e um outro elemento neutro para a adicao em Z, entao


(0, 0)
(0

, 0

) e el. neutro
= (0, 0) + (0

, 0

)
(0, 0) e el. neutro
= (0, 0)
A demonstracao de que o inverso de um n umero inteiro e unico, e semelhante e ca como
exerccio.
Observa cao 3.1 Dado (a, b) Z, note que podemos re-escrever um tal n umero como
(a, b) = (a, 0) + (0, b) = (a, 0) + ((b, 0))
3.5. MULTIPLICAC

AO EM Z 45
Observacao 3.2 As propriedades acima (Teorema 4.3) denem aquilo que podemos chamar
de um Grupo Abeliano, em outras palavras:
Denicao 3.4.2 Um grupo (G, ) e um conjunto, G, munido de uma operacao binaria,
: GG G, satisfazendo as seguintes propriedades:
(G1) Associativa: (a b) c = a (b c) a, b, c B
(G2) Elemento neutro: existe um elemento e G satisfazendo a e = e a = a a G
(G3) Elemento inverso: para todo a G existe um elemento b G tal que ab = ba = e;
denotamos um tal elemento b, usualmente por a
1
.
Quando estiver clara qual e a operacao considerada no grupo (G, ), diremos apenas que G
e um grupo. Se, alem das propriedades (G1), (G2) e (G3), a operacao tambem vericar
a propriedade comutativa: a b = b a quaisquer que sejam a, b G, diremos que G e um
grupo comutativo, ou grupo abeliano (devido a um matematico chamado Abel).
Ou seja o conjunto dos n umero inteiros, com a operacao de adicao e um grupo abeliano
(voltaremos a estudar grupos abelianos em um captulo posterior).
3.5 Multiplicacao em Z
Podemos tambem introduzir um produto em Z, que vem generalizar o produto em Z.
Para ganharmos intui cao am de decidir qual seria uma boa denicao para o produto de
dois n umeros inteiros, observemos que dados (a, b), (c, d) Z, pensando nestes n umeros
como as diferencasa b e c d apelando mais uma vez para o nosso conhecimento da
aritmetica de Z, vemos que
(a b)(c d) = ac ad bc +bd = (ac +bd) (ad +bc)
desta maneira, uma forma conveniente de denirmos a multiplica cao em Z e:
46 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
Denicao 3.5.1 (Multiplicacao em Z) Chama-se multiplicacao em Z a uma operacao
binaria em Z,
: Z Z Z
onde denotamos ((a, b), (c, d)) = (a, b).(c, d) (ou (a, b)(c, d)), chamado de produto de (a, b)
e (c, d), e denido por
(a, b).(c, d) = (ac +bd, ad +bc)
Agora devemos vericar que a multiplica cao dada esta bem-denida (((3, 5) = (0, 2),
((7, 4) = (3, 0) segue que (3, 5).(7, 4) = ((41, 47) = (0, 6) = (0, 2).(3, 0))
Proposicao 3.5.1 (Boa-denicao da multiplica cao)
Denamos 1

= (1, 0). O teorema seguinte nos mostra algumas propriedades que a multi-
plicacao dos n umeros inteiros satisfaz:
Teorema 3.5.1
x Z , x.1

= 1

.x = x (3.5)
x, y Z , xy = yx (3.6)
x, y, z Z , (x.y).z = x.(y.z) (3.7)
x, y, z Z , x.(y +z) = xy +xz e (x +y).z = xz +yz (3.8)
Prova exerccio
Teorema 3.5.2 (Regras de sinal) forallx, y, z Z,
x.(y) = (x).y = (xy) (3.9)
(x).(y) = x.y (3.10)
x.(y z) = xy xz (3.11)
x +y = 0 x = y (3.12)
3.6. ORDEM EM Z 47
Prova exerccio
3.6 Ordem em Z
Am de denirmos uma ordem em Z, apelamos para o nosso conhecimento do que e a
relacao de ordem em N e a estendemos para Z. Uma maneira intuitiva de denirmos uma
ordem em Z e a seguinte: se (a, b)=a b e (c, d)=c d sao dois n umeros inteiros,
entao a b < c d e equivalente a dizer que a +d < c +b. De maneira precisa:
Denicao 3.6.1 Dados x = (a, b), y = (c, d) em Z, dizemos que x e menor que y, e
denotamos x < y, se a +d < b +c, onde esta ultima relacao <e aquela denida em N.
Proposicao 3.6.1 (Boa-denicao da ordem) A relacao <em Z e bem-denida, isto
e, se (a, b) = (a

, b

) e (c, d) = (c

, d

) Z e a +d < b +c, entao a

+d

< b

+c

.
Prova
Sendo (a, b) = (a

, b

) e (c, d) = (c

, d

) temos a + b

= b + a

e c + d

= d + c

. Logo,
(a +b

) + (d +c

) = (b +a

) + (c +d

) ou seja (reagrupando os termos convenientemente)


(a +d) + (b

+c

) = (b +c) + (a

+d

) (3.13)
Sendo a + d < b + c (em N), temos que existe u N, u = 0, tal que a + d + u = b + c.
Somando u a ambos os termos da igualdade 3.13 e reagrupando convenientemente os
termos da igualdade, obtemos
(a +d +u) + (b

+c

) = (b +c) + (a

+d

+u)
consequentemente
(b +c) + (b

+c

) = (b +c) + (a

+d

+u)
de onde segue que b

+c

= a

+d

+u ou ainda a

+d

< b

+c

.
48 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
Denicao 3.6.2 Dados x, y Z, dizemos que x e maior que y, e escrevemos x > y, se
y < x
Observa cao 3.3 Se x = (a, b) e y = (c, d) Z, teremos x > y y < x (c, d) <
(a, b) c +b < d +a a +d > b +c, ou seja (a, b) > (c, d) a +d > b +c
Notacao 3.2 Se x, y Z, denotamos x y (respectivamente x y) se x < y ou x = y
(respectivamente x > y ou x = y)
Denicao 3.6.3 Dizemos que x Z e um inteiro positivo se x > 0, e que x e um inteiro
negativo se x < 0
Observa cao 3.4 Sendo x = (a, b) Z um inteiro positivo, e facil ver que:
(i) x > 0 a > b e (ii) x < 0 a < b
Proposicao 3.6.2 Seja x Z. Entao
x > 0 existe n N, n = 0, com x = (n, 0) (3.14)
x < 0 existe n N, n = 0, com x = (0, n) (3.15)
Prova
(3.14) Sendo x = (a, b) > 0, temos a > b. Logo existe n N, n = 0, tal que a = b + n.
Entao x = (a, b) = (b +n, b) = (n, 0).
Por outro lado, se x = (n, 0), com n = 0 entao n > 0 implica, por (6.7) que x > 0
(3.15) A demonstracao deste item e semelhante a de (i) e e deixada como exerccio.
3.6. ORDEM EM Z 49
Nota 3.1 O natural n da proposicao 6.8 e unico. De fato, se n
1
, n
2
N e (n
1
, 0) = (n
2
, 0)
entao n
1
+ 0 = 0 +n
2
n
1
= n
2
. Analogamente, (0, n
1
) = (0, n
2
) n
1
= n
2
.
Teorema 3.6.1 (Propriedades da ordem em Z) (i) x, y, z Z, se x < y e y < z,
entao x < z
(ii) (Lei da tricotomia) x, y Z, ocorre uma e apenas uma das seguintes assercoes: ou
x < y, ou x = y, ou x > y
(iii) x, y, z Z, se x < y entao x +z < y +z
(iv) x, y Z, se x > 0 e y > 0 entao xy > 0
Prova Provaremos apenas (i) e (ii) deixando as demais como exerccio.
(i) Sejam x = (a, b), y = (c, d), z = (e, f) Z. Se x < y e y < z segue que a +d < b +c e
c +f < d +e. Logo, somando as duas ultimas desigualdades teremos:
(a+d)+(c+f) < (b+c)+(d+e) (d+c)+(a+f) < (d+c)+(b+e) a+f < b+e x < z
(ii) por fazer
Teorema 3.6.2 x, y, z Z,
(i) x < y x y < 0 y x > 0
(ii) x +z < y +z x < y
(iii) (Regras de sinais)
x > 0, y < 0 xy < 0 (3.16)
x < 0, y > 0 xy < 0 (3.17)
x < 0, y < 0 xy > 0 (3.18)
(3.19)
50 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
(iv)
Se x < y e z > 0 entao xz < yz (3.20)
Se x < y e z < 0 entao xz > yz (3.21)
(v)
Se xz < yz e z > 0 x < y (3.22)
Se xz < yz e z < 0 x > y (3.23)
(vi) xy = 0 x = 0 ou y = 0
3.7 Um Micro-Curso de Aritmetica dos Inteiros
3.7.1 Princpio da Boa Ordem em Z
Conjuntos limitados
Denicao 3.7.1 (i) (conjunto minorado) Dado X Z um subconjunto de n umeros in-
teiros. Dizemos que X e um conjunto minorado, ou limitado inferiormente
se existe a Z tal que para todo x X tem-se que a x. A um tal elemento a
denominamos minorante, ou cota inferior para X.
(ii) (mnimo de um conjunto) Dado X Z um conjunto nao vazio de n umeros inteiros.
Dizemos que um elemento x
0
X e um mnimo para X se x
0
x, para todo x X
(iii) (conjunto majorado) Dado Y Z um subconjunto de n umeros inteiros. Dizemos que
Y e um conjunto majorado, ou limitado superiormente se existe b Z tal que
para todo y Y tem-se que b y. A um tal elemento b denominamos majorante,
ou cota superior para Y .
(iv) (maximo de um conjunto) Dado Y Z um conjunto nao vazio de n umeros inteiros.
Dizemos que um elemento y
0
Y e um maximo para Y se y
0
y, para todo y Z
3.7. UM MICRO-CURSO DE ARITM

ETICA DOS INTEIROS 51


(v) (conjunto limitado) Dizemos que um subconjunto W Z de n umeros inteiros e limi-
tado se for minorado e majorado.
exemplos de conjuntos minorados, majorados e limitados
Algumas observacoes elementares:
1. cotas inferiores para conjuntos minorados e cotas superiores para conjuntos majorados
nao sao unicas: de fato de X e um conjunto minorado e a e uma cota inferior para X,
entao a = a 1 e tambem cota inferior para X; da mesma forma, se Y e um conjunto
majorado e b e uma cota superior para Y , entao

b = b +1 e tambem cota superior para Y ;
2. o maximo de um subconjunto majorado de n umeros inteiros, quando existe, e unico:
com efeito, dado Y Z um conjunto majorado e b
0
, b
1
Z elementos maximos para Y
entao b
0
y para todo y Y , em particular b
0
b
1
. Analogamente, b
1
y, para todo
y Y , e, por conseguinte b
1
b
0
. Logo b
0
= b
1
. Mesma observa cao vale para o elemento
mnimo de um conjunto minorado
3. Conjuntos minorados nao sao necessariamente majorados (ex. X = {x Z : x
2009}) e conjuntos majorados nao sao necessariamente minorados.
4. O conjunto vazio e um conjunto limitado que nao possui elemento maximo nem mnimo.
Teorema 3.7.1 (Princpio do Menor Inteiro) Todo subconjunto minorado e nao vazio
de n umeros inteiros possui mnimo
Teorema 3.7.2 (Princpio do Maior Inteiro) Todo subconjunto majorado e nao vazio
de n umeros inteiros possui maximo
Como a demonstracao de ambos os teoremas e semelhante, faremos apenas uma delas e a
outra ca como um exerccio (uma forma muito elementar de provar um dos princpios a
partir do outro consiste na observacao de que X e um conjunto minorado se, e somente
se, o conjunto dos opostos Y = X = {x|x X} e um conjunto majorado).
Prova do Princpio do Menor Inteiro:
Se X e um conjunto minorado, seja N Z uma cota inferior para X, quer dizer
N x, para todo x X. Entao temos que x N 0, isto e x N Z
+
. Consideremos
52 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
o conjunto (nao vazio):

X := {x N|x X} Z
+
Ora Z
+
esta em correspondencia biunvoca com o conjunto dos n umeros naturais, N. Se
: N Z
+
e tal correspondencia, que ja consideramos anteriormente, entao podemos
denir o subconjunto nao vazio (ja que X = ) de n umeros naturais

X := {
1
(u)|u

X} N
Como em N vale o Princpio da Boa-Ordem segue que existe x
0
X tal que x
0
x,
para todo x

X. Da denicao de

X, segue que existe y
0
, y

X tais que x
0
=
1
(y
0
)
e x =
1
(y) Consequentemente, como preserva ordem e
1
(y
0
)
1
(y), segue que
y
0
= (
1
(y
0
)) (
1
(y)) = y. Finalmente, temos que y
0
= s
0
N e y = t N para
certos s
0
, t X, quer dizer, s
0
N t N. Logo, conclumos que s
0
t, para todo
t X. O teorema esta demonstrado.
Como consequencia podemos provar os correpondentes Princpios de Inducao Finita, validos
em N. Precisamente, dado a Z, denimos os intervalos I
+
a
:= {x Z|x a},
I

a
:= {x Z|x a}
Como aplicacoes interessantes destes princpio podemos reobter os princpios de
inducao nita em Z em duas versoes: uma crescente e outra decrescente:
3.7.2 Valor Absoluto ou Modulo
Denicao 3.7.2 Dado n Z, dene-se o valor absoluto (ou modulo) de x como sendo o
n umero inteiro, denotado por |x|, denido por :
|x| =
_
_
_
x se x > 0
0 if x = 0
x if x < 0
Deixamos ao leitor, como exerccio, as provas das seguintes propriedades do valor absoluto:
Proposicao 3.7.1 x, y Z,
(i) |x| 0 e |x| = 0 x = 0
3.7. UM MICRO-CURSO DE ARITM

ETICA DOS INTEIROS 53


(ii) | x| = |x|
(iii) |x.y| = |x|.|y|
(iv) |x y| |x| +|y|
(v) |x| y y x y
3.7.3 M ultiplos e Divisores
Denicao 3.7.3 Dados a, b Z, dizemos que
a divide b, ou que
a e divisor de b, ou que
a e fator de b, ou que
b e m ultiplo de a
se existe c Z, tal que b = a.c.
Notacao 3.3 Dados a, b Z, denotamos
a|b , se a divide b
Exemplo 3.4 1. 2|(6) pois 6 = 2.(3).
2. a Z, a|a, 1|a, e a|0, pois, respectivamente a = a.1, a = 1.a e 0 = a.0.
3. 0|0 pois 0 = 0.c qualquer que seja c Z.
4. 0|a a = 0. De fato: 0|a a = 0.c para algum c Z, logo 0|a a = 0
Proposicao 3.7.2 a, b, c Z valem
54 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
(i) a|a
(ii) a|b e b|a a = b
(iii) a|b e b|c implica que a|c
(iv) a|b e a|c entao a|(m.b +n.c), m, n Z
(v) a|b e a|(b c) implica que a|c
Prova
(i) a = a.1 a|a
(ii) a|b e b|a implicam que b = a.c e a = b.d para certos inteiros c e d. Assim, a = b.d =
(a.c).d = a.(c.d). Temos duas situacoes a analisar
(ii-1) Se a = 0, entao b = a.c b = 0. Logo a = b
(ii-2) Se a = 0, entao a = a.(c.d) c.d = 1 de onde vem que c = d = 1 (prove esta
ultima armacao como exerccio). Da, a = b.d = b.(1) a = b.
Reciprocamente, a = b b = a, e entao a = b.(1) e b = a.(1) de onde segue que
b|a e a|b.
(iii) a|b e b|c existem d, e Z, tais que b = a.d e c = b.e c = b.e = (a.d).e = a.(d.e)
a|c.
(iv) a|b e a|c existem inteiros d e e tais que b = a.d e c = a.e. Logo, dados m, n Z,
observamos que
m.b +n.c = m.(a.d) +n.(a.e) = a.(m.d +n.e) a|(m.b +n.c)
(v) Se a|b e a|(b c), a propriedade (iv) que acabamos de demonstrar nos mostra que
a|[b (b c)], e portanto a| c a|c.
3.7.4 Algortmo da Divisao Euclidiana
Primeiramente, relembraremos o seguinte
3.7. UM MICRO-CURSO DE ARITM

ETICA DOS INTEIROS 55


Teorema 3.7.3 (Algortmo da Divisao em N) Dados n, d N, com d = 0, existem
q, r N satisfazendo
n = q.d +r e 0 r < d
(No proximo teorema, estabeleceremos que os inteiros q (quociente) e r (resto) sao unicos).
Prova (por inducao sobre n)
Fixado d N, d = 0. Se n = 0, temos
0 = d.0 + 0
Tomamos entao q = 0 e r = 0.
Seja k N e suponhamos que existem q, r N, com
k = q.d +r e 0 r < d.
entao k + 1 = (q.d +r) + 1 = q.d + (r + 1).
Como, 0 r < d, temos 0 < r + 1 d.
Se r + 1 < d, tomamos q

= q, r

= r + 1 e teremos
k + 1 = q

.d +r

com 0 r

< d.
Se r + 1 = d, teremos
k + 1 = q.d +d = (q + 1).d
Neste caso, tomamos q

= q + 1, r

= 0, e teremos
k + 1 = q

.d +r

com 0 r

< d.
e a nossa prova por inducao esta completa.
Teorema 3.7.4 (Algortmo da Divisao em Z) Dados n, d Z, d = 0, existem q,
r Z satisfazendo
n = d.q +r e 0 r < |d|
Alem disso, os inteiros q e r nas condicoes acima sao unicos.
56 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
Exemplo 3.5 Antes de procedermos a demontracao do teorema 4.2, ilustraremos com
exemplos bem simples o seu enunciado.
Na divisao euclidiana de 23 por 10 temos
Dividindo 23 por 10 seramos tentados a fazer

E claro que 23 = 10.(2) + (3) mas se quizermos o resto r nas condices do teorema
4.2., o quociente e o resto aqui obtidos sao inadequados. O correto seria
no sentido de que
23 = 10.(3) + 7 e 0 7 < |10|
Os exemplos acima sugerem as adaptacoes que devem ser feitas para estabelecermos o
algortmo da divisao em Z a partir do algortmo da divisao em N.
Prova do Teorema 3.7.4
(I) Existencia de q e r (sera dividida em 3 casos)
(1
o
caso) Se n 0 e d > 0 basta aplicarmos o algortmo da divisao em N e obtemos os
desejados q e r.
(2
o
caso) Se n < 0 e d > 0:
Pelo algortmo da divisao em N, existem q e r N, tais que
|n| = d.q +r , e 0 r < d (3.24)
Mas como |n| = n, (3.24) pode re-escrito como
n = d.q +r , ou ainda n = d.q r
Temos duas situacoes a analisar: (a) se r = 0, e (b) se r > 0
(a) Se for r = 0, teremos
n = d.(q) = d.(q) + 0 = d.q

+r

com 0 r

< |d|
onde q

= q e r

= 0
(b) Se for r > 0, teremos
n = d.q r = d.q d +d r = d.(q 1) + (d r) = d.q

+r

3.7. UM MICRO-CURSO DE ARITM

ETICA DOS INTEIROS 57


sendo q

= q 1 e r

= dr. Veja que 0 < r < d implica que d < r < 0, e somando d
nos tres membros da desigualdade: d d < d r < d, de onde conclumos que 0 < r

< d
(3
o
caso) Se n e qualquer e d < 0:
Pelos casos (1
o
) e (2
o
), como |d| > 0, existem q, r Z tais que
n = |d|.q +r , com 0 r < |d|
D, como |d| = d, vem que
n = d.(q) +r , com 0 r < |d|
Fica assim provada a existencia dos n umeros q e r. Resta mostrar que r e q sao unicos
(II) Unicidade de q e r
Sejam n, d Z, com d = 0, e suponhamos que
n = d.q
1
+r
1
= n = d.q
2
+r
2
com 0 r
1
< |d| e 0 r
2
< |d|
Entao
d.(q
1
q
2
) = r
2
r
1
|d|.|q
1
q
2
| = |r
2
r
1
|
Como |r
2
r
1
| < |d|, temos que
|d|.|q
1
q
2
| < |d| |q
1
q
2
| < 1 q
1
= q
2
e entao r
2
r
1
= d(q
1
q
2
) = 0, implicando que r
1
= r
2
.

Vamos apresentar uma segunda demonstracao para o algoritmo da divisao euclidi-


ana, mais direta, mas menos intuitiva, fazendo uso do princpio da boa ordem em Z:
Dados n, d Z, com d = 0, ponha
S := {n dx : x Z} Z
e observe que

S = S Z
+
= , pois, se pusermos (d) = sinal de d, isto e (d)d = |d|
entao para x
0
= (d)|n| observamos que
n dx
0
= n d((d)|n|) = n +|d||n| = |n|((n) +|d|) 0 pois |d| 1
58 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
Assim, como

S Z
+
e um conjunto minorado, ja que 0 e uma cota inferior, entao pelo
princpio do menor inteiro,

S possui elemento mnimo, isto e existe q Z tal que r = ndq
e o elemento mnimo de

S. Armamos que r < |d|. Com efeito, se fosse r |d| entao
existiria s 0 tal que r = |d| +s e da |d| +s = ndq implicaria que s = nd(q +(d)).
Como 0 s < r contradiz o fato de r ser mnimo do conjunto

S. Consequentemente
0 r < |d|
3.7.5 Maximo Divisor Comum
Dado a Z um n umero inteiro qualquer, denotemos por Div(a) ao conjunto de todos os
n umeros inteiros divisores de a, isto e:
Div(a) = {b Z : b|a}
Veja que Div(0) = Z e, se a = 0, a condicao b|a implica que |b| |a|, posto que b|a
signica que existe c Z tal que a = bc, e portanto tem-se |b| 1 e |c| 1 implicando
que
|a| = |b|.|c| = |b| +|b|(|c| 1) |b|
ja que |c| 1 0. Assim Div(a) e um conjunto nito, para todo a = 0 (doravante
assumiremos sempre esta condicao) e nao vazio posto que {1, 1, a, a} Div(a). De
fato, temos sempre que dados r, s Z, com r s, pondo [r, s] = {x Z : r x s} entao
para todo a = 0 temos que Div(a) [a, a] {0}. No particular caso em que |a| = 1 e
Div(a) = {1, 1, a, a} temos a seguinte
Denicao 3.7.4 Dizemos que um n umero inteiro a = 1 e um n umero primo se
#(Div(a)) = 4, i.e., se os unicos divisores de a sao 1 e a
Exemplos:
1. o n umero 2 e primo trivialmente pois Div(2) = {2, 1, 1, 2} = [2, 2] {0}
2. o n umero 3 e primo: como {3, 1, 1, 3} [3, 3] {2, 0, 2} basta mostrar que
2 / Div(3). Com efeito, se fosse 2|3 entao existiria n Z
+
tal que 2n = 3 e como
devemos ter n 1, entao n = 1 +n, com n 0 segue-se que
2(1 +n) = 3 = 2 + 1 2n = 1
3.7. UM MICRO-CURSO DE ARITM

ETICA DOS INTEIROS 59


em contradicao com o fato de que dados x, y Z entao xy = 1 x = y = 1.
Denotemos agora Div(a, b) := Div(a) Div(b) entao este e um conjunto nito formados
por todos os n umeros inteiros que dividem a e b simultaneamente. Chamaremos de maior
divisor comum de a e b, e denotaremos tal elemento por mdc(a, b), ao maior elemento
de Div(a, b) isto e
mdc(a, b) = max Div(a, b)
Da mesma forma que podemos considerar o conjunto dos divisores de um dado inteiro, a,
tambem podemos considerar o conjunto de seus m ultiplos,
Mult(a) = {b Z : existe c Z satisfazendo ca = b}
isto e Mult(a) = {ma : m Z}. Para dois n umeros inteiros quaisquer a, b o conjuntos dos
m ultiplos comuns de a e b e o conjunto
Mult(a, b) = Mult(a) Mult(b) = {c Z : c e m ultiplo de a e de b}
Note que se a ou b se anulam, entao Mult(a, b) = {0}. No caso em que ambos a e
b sao nao nulos temos, nao somente que Mult(a, b) = , ja que 0 Mult(a, b), mas
tambem Mult(a, b) possui inntos termos pois, para todo m Z temos mab Z. Em
particular, o conjunto dos m ultiplos inteiros de a e b positivos possui um menor elemento,
que denominaremos mnimo m ultiplo comum e denotaremos por mmc(a, b). Assim
mmc(a, b) = min(Mult(a, b) Z

+
)
As operacoes mdc e o mmc sobre pares de n umeros inteiros guardam uma interessante
relacao entre si que descrevemos a seguir:
Teorema 3.7.5 Seja : Z Z Z a operacao de multiplicacao em Z. Entao
mdc.mmc =
ou seja, para todo par a, b Z tem-se mdc(a, b).mmc(a, b) = (a, b) = a.b
a ser desenvolvido
60 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
3.7.6 Congruencia Modulo m em Z
Denicao 3.7.5 Dados n umeros inteiros a, b e m, dizemos que a e congruente (ou
congruo) a b modulo m, e denotamos
a b (mod m) ou a
m
b
se m divide a b
Dados a, b e m Z tem-se
a b (mod m) m|(a b) a b = q.m para algum q Z
o que, por sua vez e equivalente a a = b +q.m para algum q Z
Proposicao 3.7.3 Dado m um inteiro, relacao
m
denida em Z (chamada relacao de
congruencia modulo m), e uma relacao de equivalencia, isto e
Reexiva: a Z, a
m
a
Simetrica: a, b Z a
m
b b
m
a
Transitiva: a, b, c Z a
m
b e b
m
c a
m
c
Prova Sejam dados a, b, c Z,
m|0 m|(a a) a
m
a (3.25)
a
m
b m|(a b) m| (a b) m|(b a) b
m
a (3.26)
(iii) Se a
m
b e b
m
a isto implica que m|(a b) e m|(b c), e portanto m divide a soma
m|[(a b) + (b c)], ou seja m|(a c). Consequentemente a
m
c
Vejamos agora, algumas propriedades da congruencia modulo m
3.7. UM MICRO-CURSO DE ARITM

ETICA DOS INTEIROS 61


Proposicao 3.7.4 Seja m um n umero inteiro xado. Dados a, b, c, d Z e n N,
tem-se
(i) Se a
m
b entao a +c
m
b +c
(ii) Se a
m
b e c
m
d entao a +c
m
b +d
(ii) Se a
m
b entao a.c
m
b.c
(iii) Se a
m
b e c
m
d entao a.c
m
b.d
(iv) Se a
m
b entao a
n
m
b
n
Prova
a
m
b m|(a b) m|[(a +c) (b +c)] a +c
m
b +c (3.27)
(ii) se temos a
m
b e c
m
d segue que m|(a b) e m|(c d), logo m divide a soma
m|[(a b) + (c d)] m|[(a +c) (b +d)]
consequentemente, a +c
m
b +d
a
m
b m|(a b) m|(a b).c m|(a.c b.c) a.c
m
b.c (3.28)

Observacao 3.5 (Congruencias sem importancia) Nem todas as congruencias trazem


informacao de algum interesse. Vejamos algumas congruencias sem import ancia:
(i) Se m = 0,
a
0
b 0|(a b) a b = 0 a = b
Assim, a relacao
0
e a relacao de igualdade em Z
62 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
(ii) Se m = 1,
a
1
b 1|(a b) a b = 1.(a b) a e b sao inteiros quaisquer
Logo, a, b Z, a
1
1
Em vista de (i) e (ii), as congruencias modulo 0 e modulo 1 sao casos desinteres-
santes de congruencia.
(iii) Dado m Z, e dados a, b Z, observamos que
a
m
b m|(a b) m|(a b) a
m
b
Portanto, as congruencias modulo m e modulo m sao a mesma relacao de con-
gruencia.
Em virtude do observado acima em (i), (ii) e (iii), doravante so estudaremos a relacao
m

para m 2
Proposicao 3.7.5 Sejam a, b, m Z, m 2. Entao
(i) Se r e o resto da divisao Euclideana de a por m, entao a
m
r
(ii) Se a
m
s e 0 s < m entao s e o resto da divisao Euclideana de a por m.
(iii) a
m
b a e b possuem o mesmo resto quando divididos por m.
Prova
(i) Por hipotese, a = m.q +r para um certo quociente q, sendo 0 r < m. Logo,
a r = m.q m|(a r) a
m
r (mod m)
(ii) Por hipotese, a
m
s, com 0 s < m. Logo,
m|(a s) a s = m.q para algum q Z
a = m.q +s para algum q Z , sendo 0 s < m
3.7. UM MICRO-CURSO DE ARITM

ETICA DOS INTEIROS 63


Pela unicidade do quociente e do resto no algortmo da divisao Euclideana, conclumos
que s e o resto da divisao Euclideana de a por m.
(iii) Sejam r
1
e r
2
os restos das divisoes Euclideanas de a e b, respectivamente, por m.
Por (i) temos que a
m
r
1
e b
m
r
2
. Logo, se r
1
= r
2
, por transitividade temos que a
m
b.
Reciprocamente, se a
m
b entao a
m
r
2
(pois b
m
r
2
). Como 0 r
2
< m, por (ii) r
2
e o
resto da divisao Euclideana de a por m, logo r
2
= r
1
.
Como exemplos de aplicacoes aritmeticas da congruencia modulo m (determinacoes de
restos de divisoes Euclideanas ).
Exemplo 1. Determinar o resto da divisao Euclideana de 236
638
por 7
64 CAP

ITULO 3. O CONJUNTO Z DOS N

UMEROS INTEIROS
Captulo 4
N

UMEROS RACIONAIS
Podemos construir o conjunto dos n umeros racionais como o conjunto das solucoes da
equacao
x.a = b (4.1)
com a Z

, b Z, ou, equivalentemente, como o conjunto dos quocientes de n umeros


inteiros.
Evidentemente, o problema (4.1) somente possuira solucao em Z se a | b e esta solucao
sera unica se a = 0. Alem disso, se for a = 0, entao, necessariamente deve-se ter b = 0 e,
neste caso, todo n umero inteiro x resolve tal equacao de maneira trivial (vamos eliminar a
possibilidade de tais trivialidades). Entao, uma pergunta que podemos fazer-nos e: pode-
se ampliar o anel dos n umeros inteiros a um novo conjunto numerico que estenda de forma
natural as estruturas (adicao, multiplicacao e ordem) usuais dos n umeros inteiros?
Consideremos o problema (4.1) sob um outro foco: se x Z e a ( unica) solucao
das equacoes
(I) ax = b, com a = 0 e (II) cx = d, com c = 0
entao qual e a relacao guardada pelos coecientes a, b, c, d destas equacoes?
Basta multiplicar a equacao (I) por c e (II) por a e comparar para obter:
cb = c(ax) = a(cx) = ad
65
66 CAP

ITULO 4. N

UMEROS RACIONAIS
Denimos entao em Z Z

a relacao dada por (a, b) = (c, d) se, e somente se


ad = bc.
Proposicao 4.0.6 A relacao e uma relacao de equivalencia em Z Z

.
Prova: Com efeito
(i) e reexiva: (a, b) (a, b) para todo (a, b) Z Z

, pois ab = ba
(ii) e simetrica: se (a, b) (c, d), entao ad = bc e portanto cb = ba, donde segue que
(c, d) (a, b)
(iii) e transitiva: se (a, b) (c, d) e (c, d) (e, f) entao
(i) ad = bc e (ii) cf = de
da
(af)d = (ad)f
(i)
= (bc)f = b(cf)
(ii)
= b(de) = (be)d
logo, (af)d = (be)d donde vem que af = be pois d = 0. Assim, (a, b) (e, f).
Logo, a relacao e uma relacao de equivalencia.
Como e uma relacao de equivalencia, podemos considerar as classes de equivalencia
denidas por esta relacao. Dado (a, b) Z Z

, chamaremos a classe (a, b) de n umero


racional de numerador a e denominador b. Ao conjunto desta classes de equivalencia,
denominaremos conjunto dos n umeros racionais e denota-lo-emos por Q, precisamente:
Q = {(a, b) : (a, b) Z Z
+
}
Denotaremos, de modo mais apropriado, mais adiante cada classe (a, b) Q por
a
b
(a, b) (c, d) ad = cb
Veriquemos que a relacao dene, efetivamente, uma relacao de equivalencia.
Como reexividade e simetria sao triviais, basta-nos provar que goza a propriedade
67
transitiva. De fato, sejam (a, b), (c, d), (e, f) Z Z

, tais que (a, b) (c, d) e (c, d)


(e, f), entao segue-se que
(i) ad = bc e (ii) cf = de
da
(af)d = (ad)f
(i)
= (bc)f = b(cf)
(ii)
= b(de) = (be)d
logo, (af)d = (be)d donde vem que af = be pois d = 0. Assim, (a, b) (e, f) e a relacao
e uma relacao de equivalencia. Denimos o conjunto dos n umeros racionais, Q, como sendo
o conjunto quociente Z Z

/ . Cada classe de equivalencia deste conjunto quociente e


da forma:
q = (a, b) = {(c, d) Z Z

: ad = bc}
e chamaremos cada tal classe, q = (a, b), de n umero racional ou de fracao (ou razao)
de numerador a e denominador b. Vejamos alguns exemplos:
Exemplos
1. (0, 1) = {(a, b) Z Z

: (0, 1) (a, b) ou seja 0.b = a.1} ou seja:


(0, 1) = {(0, b)|b Z
+
} = (0, s) qualquer que seja s Z
2. (1, 1) = {(c, d) Z Z

: d = c}, isto e
(1, 1) = {(a, a) : a Z

}
3. (2, 1) = {(c, d) Z Z

: 2d = 1.c = c}, assim


(2, 1) = {(2d, d) : d Z

}
4. Mais geralmente, dado m Z, (m, 1) = {(c, d) Z Z

: md = c} isto e
(m, 1) = {(md, d) : d Z

}
68 CAP

ITULO 4. N

UMEROS RACIONAIS
Alem disso, observe que (m, 1) (n, 1) se, e somente se m.1 = 1.n, i.e., m = n ou seja,
cada classe (m, 1) pode ser representada de maneira unica pelo par (m, 1).
5. Dado m Z

, (1, m) = {(c, d) Z Z

: d = mc} isto e
(1, m) = {(c, mc) : c Z

}
Alem disso, tambem vale que (1, m) (1, n) se, e somente se 1.n = m.1, i.e., m = n ou
seja, cada classe (1, m) pode ser representada de maneira unica pelo par (1, m).
6. Dados (a, b) Q, com a = 0. Se m Z

entao (ma, mb) (a, b). Alem disto, vale


tambem a recproca, quer dizer se (a, b) (c, d) e a = 0, entao existe m Z tal que
c = ma e d = mb.
Observa cao 4.1 Na representacao de um n umero racional q = (a, b), podemos sempre
assumir que o denominador e um n umero inteiro positivo, pois decorre diretamente da
denicao que
(a, b) = (ca, cb), qualquer que seja c = 0
logo, para c = 1, temos (a, b) = (a, b). Assumiremos, de agora em diante, a menos
de ressalva em contr ario, que o denominador b > 0

E claro que para que possamos reconhecer este conjunto com o conjunto dos n umeros
racionais ao qual estamos acostumados, e suas propriedades usuais, precisaremos de algum
trabalho e algumas identica coes.
4.1 Operac oes em Q
Lembremo-nos que a adicao e a multiplica cao de n umeros racionais, como estamos acos-
tumados, seguem as regras:
a
b
+
c
d
=
ad +bc
bd
e
a
b
.
c
d
=
ac
bd

E baseado entao em nosso conhecimento previo que denimos as operacoes de adicao e


multiplica cao como segue:
4.1. OPERAC

OES EM Q 69
Denicao 4.1.1 A operacao de adic ao em Q e uma operacao binaria
+ : QQ Q
denida (em termos de representantes) como segue:
(a, b) + (c, d) := (ad +cb, bd) (4.2)
Em que Q denimos uma operacao de multiplicacao como sendo a operacao binaria
. : QQ Q
denida (em termos de representantes) por:
(a, b).(c, d) := (ac, bd) (4.3)
Precisamos mostrar que estas denicoes independem dos particulares representantes es-
colhidos:
Proposicao 4.1.1 As operacoes de adicao e de multiplicacao denidas em (4.2) e (4.3),
respectivamente, nao dependem das particulares escolhas dos representantes de classe es-
colhidos, isto e, se (a

, b

) (a, b) e (c

, d

) (c, d) entao (ad + cb, bd) (a

+ c

, b

)
e (ac, bd) (a

, b

).
Prova:
Provemos inicialmente que a adicao esta bem denida em Q. Para este m, sejam dados
(a

, b

), (a, b), (c

, d

), (c, d) Z Z

e suponha que
(a

, b

) (a, b), (c

, d

) (c, d)
quer dizer
(i) a

b = b

a e (ii) c

d = d

c
assim
(ad +cb)b

= adb

+cbb

= (ab

)(dd

) + (cd

)(bb

) =
(i)e(ii)
= (a

b)(dd

) + (c

d)(bb

) = (a

+c

)bd
70 CAP

ITULO 4. N

UMEROS RACIONAIS
ou seja (ad + cb, bd) (a

+ c

, b

) provando que a adicao como denida em (4.2)


independe dos particulares representantes (a, b) e (c, d) utilizados para denir (a, b)+(c, d).
A demonstracao de que a multiplica cao independe do particular representante e bastante
direta e e deixada como exerccio.
As operacoes de adicao e de multiplicac ao emQ vericam as seguintes propriedades usuais:
Proposicao 4.1.2 (Propriedades da Adicao e da Multiplicacao) Em Q valem as
seguintes propriedades
A1. (Associatividade da adicao) (r +s) +t = r + (s +t), para todos r, s, t Q
A2. (Comutatividade da adicao) r +s = s +r
A3. (Existencia de elemento neutro para a adic ao) O elemento (0, 1) que, doravante
denotaremos simplesmente por 0 verica a condicao: q + 0 = 0 +q = q qualquer que seja
q Q.
A4. (Existencia de elemento oposto para a adicao) Dado r = (a, b) Q tem-se que o
elemento s = (a, b) e tal que r +s = s +r = 0. Chamamos s de elemento oposto a r e o
denotaremos por r
M1. (Associatividade da multiplicac ao) (r.s).t = r.(s.t), para todos r, s, t Q
M2. (Comutatividade da multiplicacao) r.s = s.r
M3. (Existencia de elemento neutro para a adic ao) O elemento (1, 1) que, de agora em
diante denotaremos simplesmente por 1 verica a condicao: q.1 = 1.q = q qualquer que
seja q Q.
M4. (Existencia de elemento oposto para a adicao) Dado r = (a, b) = 0 em Q tem-se que
o elemento s = (b, a) e tal que r.s = s.r = 1. Chamamos s de elemento inverso a r e o
denotaremos por r
1
, ou,
1
r
MA (Distributividade da multiplicacao em relacao `a adic ao)
r.(s +t) = (r.s) + (r.t) e (s +t).r = (s.r) + (t.r)
4.2. ORDEM EM Q 71
para todos r, s, t Q
Prova: A demonstracao desta proposicao e elementar e e deixada como um exerccio
As propriedades apresentadas na proposicao acima nos dizem que o conjunto dos
n umeros racionais munido das operacoes de adicao e de multiplicacao, (Q, +, .) e um corpo.
Algumas observacoes bastante triviais que decorrem desta Proposicao sao as seguintes:
a. Dado r = (a, b) Q, tem-se que r = (a, b) = (1).r
b. Dado r = (a, b) Q, tem-se que 0.r = (0, b) = 0
c. Dado (a, b) Q entao (a, b) = (a, 1).(1, b).
4.2 Ordem em Q
Para podermos denir ordem emQ precisamos inicialmente do conceito de n umero racional
positivo:
Denicao 4.2.1 Dado o n umero racional q = (a, b) dizemos que q e num n umero racional
positivo se, para o representante, (a, b) de q, tivermos ab > 0 em Z.
Segue-se diretamente que esta denicao e independente do particular representante (a, b)
de q, escolhido. Com efeito, se ( a,

b) e outro representante de q, entao a

b = ab. Como
ab > 0, por hipotese, logo a, b = 0 e, por denicao de igualdade em Q temos a

b = b a, Ora

b = 0 implica que a = 0. Assim,


(a

b)( ab) > 0 = (ab)( a

b) > 0 = a

b > 0
ja que ab > 0. Assim a

b > 0 e, portanto, a condicao q > 0 independe dos particulares


represntantes da classe de q
Agora estamos em condicoes de denir o que entendemos por q
1
< q
2
Denicao 4.2.2 Dados os n umeros racionais q
1
= (a, b), q
2
= (c, d) dizemos que q
1
e
menor que q
2
se q
2
q
1
> 0
72 CAP

ITULO 4. N

UMEROS RACIONAIS
Observemos que, sob a hipotese de que os denominadores de q
1
= (a, b) e q
2
= (c, d) sao
positivos, b, d > 0, podemos reescrever a condicao q
1
< q
2
. Veja:
q
2
q
1
= (c, d) (a, b) = (cb ad, db) > 0 donde (cb ad)bd > 0
ou, mais simplesmente, cb > ad (voce deve vericar diretamente que esta condicao inde-
pende da escolha dos representantes escolhidos).
Teorema 4.2.1 (Propriedades da ordem em Q) (i) Dados r, s, t Q, se r < s e
s < t, entao r < t
(ii) (Lei da tricotomia) Dados r, s Q, ocorre uma e apenas uma das seguintes asserc oes:
ou r < s, ou r = s, ou r > s
(iii) Dados r, s, t Q, se r < s entao r +t < s +t
(iv) Para todo par r, s Q, se r > 0 e s > 0 entao rs > 0
Teorema 4.2.2 Dados r, s, t Q, entao valem as seguintes propriedades:
(i) r < s r s < 0 s r > 0
(ii) r +t < s +t r < s
(iii) (Regras de sinais)
r > 0, s < 0 rs < 0
r < 0, s > 0 rs < 0
r < 0, s < 0 rs > 0
(iv)
Se r < s e t > 0 entao rt < st
Se r < s e t < 0 entao rt > st
4.3. MERGULHO DE Z EM Q 73
(v)
Se rt < st e t > 0 r < s
Se rt < st e t < 0 r > s
(vi) Se rs = 0 entao tem-se que r = 0 ou s = 0
Exerccio 4.1 .
1. Dados a, b Q, mostre que valem as propriedades:
(i) |a
1
| = |a|
1
;
(ii)

a
b

=
|a|
|b|
;
2. Dados a, b Q,
(i) Se 0 < a < b entao
1
a
>
1
b
> 0;
(ii) Se a < b < 0 entao 0 >
1
a
>
1
b
;
(iii) Se a < 0 < b entao
1
a
< 0 <
1
b
.
3. Mostre que dados a, b Q, com a < b entao existe c Q tal que a < c < b.
4. Mostre que Q e um corpo arquimediano, isto e, dados a, b Q tais que 0 < a < b
sempre se pode obter N N tal que Na > b. Verique tambem que esta condicao e
equivalente `a seguinte:
(Condicao Arquimediana ) Dado r Q, r > 0, existe N N tal que 0 <
1
N
< r
4.3 Mergulho de Z em Q
Vamos agora justicar por que podemos realizar as operacoes usuais de Z no conjunto dos
O conjunto dos n umeros inteiros esta naturalmente mergulhado no conjunto dos n umeros
racionais.
Primeiramente observamos que n umeros racionais da forma
a
1
, possuem propriedades
interessantes. Seja
Z

=
_
a
1
: a Z
_
74 CAP

ITULO 4. N

UMEROS RACIONAIS
entao observamos que Z

e fechadopara as operacoes de adicao e de multiplicacao, isto


e, dados
a
1
,
b
1
Z

entao:
a
1
+
b
1
=
a +b
1
Z

e
a
1
.
b
1
=
ab
1
Z

As mesmas propriedades operacionais validas para o conjunto dos n umeros inteiros


tambem vale para a tripla (Q, +, .). Alem disso denindo a funcao
f : Z Z

por f(a) =
a
1
notamos que
i f e injetiva: se f(a) = f(b) entao
a
1
=
b
1
, implicando que a.1 = 1.b, ou a = b.
ii f e sobrejetiva: dado
a
1
temos f(a) =
a
1
.
alem disso f preserva as operacoes de adicao e de multiplicacao (quer dizer f leva a soma
de elmentos de Z na soma das correspondentes imagens, em Z

e o produto de elementos
de Z no produto das correspondentes imagens, em Z

). Precisamente:
f(a +b) =
a +b
1
=
a
1
+
b
1
= f(a) +f(b)
e, de modo semelhante:
f(ab) =
ab
1
=
a
1
.
b
1
= f(a).f(b)
Assim Z

esta em correspondencia biunvoca com os elementos de Z e esta correspondencia


preserva a adicao e a multiplicacao (no sentido acima descrito).
A correspondencia tambem preserva a ordem, quer dizer, se a, b Z e a < b entao
a b < 0 e da denicao de ordem em Q temos que f(a) < f(b) pois
a
1

b
1
=
a b
1
< 0
Desta forma temos Z

e uma copia elde Z.


4.4. SEQU

ENCIAS E LIMITES DE N

UMEROS RACIONAIS 75
4.4 Sequencias e limites de n umeros racionais
Seja (Q, +, ., ) o corpo ordenado dos n umeros racionais. Se chama sucessao (sequencia)
em Q a toda aplicacao
x : N Q
Se x e uma sucessao em Q e x(n) = x
n
, para todo n N, x sera representada por
(x
n
)
nN

E claro que podemos construir sequencias com entradas aleatorias, o que consiste
tambem em uma classe bastante interessante de sequencias. Contudo, no nosso caso,
estamos interessados em considerar sequencias que possuam um comportamento bastante
controlado, no sentido denido a seguir.
Denicao 4.4.1 (Sucessoes limitadas) Dizemos que uma sucessao de n umeros racionais
(x
n
)
n
e limitada se existe um n umero racional positivo M tal que
|x
n
| < M para todo ndice n N
Assim, dizer que uma sequencia (x
n
)
n
nao e limitada signica dizer que dado arbitraria-
mente M > 0 sempre existe algum n umero natural n
1
tal que |x
n
1
| > M
Exemplo 4.1 1. Se x
n
=
1
n
, para todo n N

entao a sequencia (x
n
)
n
e limitada pois
(para M = 2) tem-se que |x
n
| < 2 qualquer que seja n N
2. Dado r Q, sejam as sequencias (a
n
)
n
e (b
n
) cujo termo geral e dado por a
n
= r
n
((a
n
)
n
e uma progress ao geometrica, PG) e b
n
= 1+r +. . . +r
n
(a soma dos termos
de uma PG). Entao a sequencia (a
n
)
n
e limitada se, e somente se |r| 1 e (b
n
) e
limitada se, e somente se |r| < 1, ou se r = 1 pois, como |a
n
| = |r
n
| = |r|
n
entao
(i) se |r| 1, entao |r|
2
|r| 1 e, indutivamente, para qualquer n N temos
0 |r|
n+1
|r|
n
. . . |r|
2
|r| 1, logo (a
n
)
n
e limitada
e, se |r| < 1, entao 1 |r| > 0 e, da expressao para a soma dos n+1 primeiros
termos de uma PG, vemos que
|b
n
| = |1+r+. . .+r
n
| 1+|r|+. . .+|r|
n
=
1 |r|
n+1
1 |r|
=
1
1 |r|

|r|
n+1
1 |r|

1
1 |r|
quer dizer |b
n
|
1
1 |r|
e a sequencia (b
n
)
n
e limitada
76 CAP

ITULO 4. N

UMEROS RACIONAIS
(ii) se |r| > 1 entao podemos escrever |r| = 1 + d para algum d > 0. Consequente-
mente, pela desigualdade de Bernoulli, tem-se
|a
n
| = |r|
n
= (1 +d)
n
1 +nd
e tem-se |a
n
| > M se n >
M 1
d
(iii) se r = 1, entao
b
n
= 1 +r +. . . +r
n
=
_
1, se n par
0, se n impar
implica que (b
n
)
n
e limitada. Enquanto que se r = 1 entao b
n
= n implica que
(b
n
)
n
nao pode ser limitada.
3. A sequencia (x
n
)
n
denida por x
n
=
5 + 8n
2 + 3n
e limitada pois, dividindo-se numerador
e denominador por n obtem-se
x
n
=
l
5
n
+ 8
2
n
+ 3
portanto para todo n > 10 observamos que
5
n
<
1
2
e, por conseguinte
5
n
+ 8 < 9, e
como
2
n
> 0 segue que
2
n
+ 3 > 3, donde
1
2/n + 3
<
1
3
. Assim conclumos que
|x
n
| = x
n
=
5
n
+ 8
2
n
+ 1
<
9
3
= 3
logo |x
n
| < max{|x
1
|, . . . , |x
10
|, 3}, e portanto (x
n
)
n
e limitada.
Denicao 4.4.2 (Sucessoes convergentes) Dizemos que uma sucessao de n umeros racionais
(x
n
)
n
e convergente e tem limite, o n umero racional b Q se dado qualquer n umero
racional positivo xado, r > 0, sempre se pode determinar um n umero natural (umndice)
n
0
N, tal que
|x
n
b| < r, para todo natural n > n
0
(4.4)
4.4. SEQU

ENCIAS E LIMITES DE N

UMEROS RACIONAIS 77
O n umero n
0
usualmente depende de r, isto e n
0
= n
0
(r). A condicao (4.4) pode ser
reescrita como
b r < x
n
< b +r
Quando b e limite da sequencia (x
n
), representamos este dado por lim
n
x
n
= b.
A primeira pergunta que podemos fazer e: qual a relacao entre sequencias limitadas e
sequencias convergentes?
Proposicao 4.4.1 Toda sequencia convergente e limitada.
A reciproca nao e valida conforme mostra o exemplo da sequencia
((1)
n
)
n
= (1, 1, 1, 1, 1, 1, . . . , 1, 1, 1, . . .)
que nao e convergente (porque?)
Proposicao 4.4.2 (Unicidade do Limite) Uma sequencia convergente de n umeros racionais
nao pode possuir dois limites distintos.
Prova: Seja (x
n
)
n
e uma sequencia convergente de n umeros racionais, e a Q, seu limite.
Entao dado b Q, b = a, tomando-se r =
|a b|
2
, entao da convergencia de (x
n
)
n
obtem-se
um n umero natural n
0
tal que, para todo n n
0
vale que |x
n
a| < r, consequentemente:
|b a| |b x
n
| +|(x
n
a)| < |x
n
b| +r = |x
n
b| +
|a b|
2
logo
|x
n
b| >
|a b|
2
, para todo n n
0
implicando que b nao pode ser limite da sequencia (x
n
)
n
.
Exemplo 4.2 Seja dado r Q, entao para as sequencias (a
n
)
n
e (b
n
) ja consideradas no
exemplo 4.1, denidas por a
n
= r
n
e b
n
= 1 +r +. . . +r
n
temos
1. a sequencia (a
n
)
n
e convergente se, e somente se 1 < r 1. No caso em que r = 1,
temos a
n
= 1 para todo n N logo (a
n
)
n
converge para 1, pois |a
n
1| = 0 <
qualquer que seja Q
+
. No caso em que |r| < 1, dado Q
+
, escolhendo-se
n
0

ln
ln|r|
, entao para todo n n
0
teremos |r
n
0| < . Isto e lim
n
a
n
= 0. Se
|r| > 1 a sequencia nao pode convergir porque nao e limitada. O que dizer do caso
r = 1?
78 CAP

ITULO 4. N

UMEROS RACIONAIS
2. A sequencia (b
n
)
n
e convergente se, e somente se |r| < 1. Se |r| < 1 usamos a
expressao da soma dos termos de uma PG para representar b
n
=
1 r
n+1
1 r
. Armo
que lim
n
b
n
=
1
1 r
. De fato, dado Q
+
, teremos

b
n

1
1 r

1 r
n+1
1 r

1
1 r

=
|r|
n+1
1 r
<
se n n
0
>
ln((1 r))
ln(|r|)
(am de obter esta estimativa para n
0
, resolva a ultima
desigualdade e lembre-se que |r| < 1 implica que ln|r| < 0). Estude os casos r = 1
e |r| > 1.
3. Como uma consequencia do exemplo acima, vemos que
1 =
9
10
+
9
10
2
+
9
10
3
+. . . +
9
10
n
+. . . = lim
n
_
9
10
+
9
10
2
+
9
10
3
+. . . +
9
10
n
_
4.5 Representacao Decimal em Q, ou, por que 1 = 0, 999...
Dado
a
b
Q
+
, vamos construir sua representa cao decimal. Vamos assumir no desenvolvi-
mento que segue, que a, b > 0:
Se x =
a
b
Z

, isto e, x pode ser representado de modo que b = 1, nada a fazer,


pomos x = a (identicaremos, para nao sobrecarregar a notacao, o n umero racional
a
1
com o inteiro a). Caso contrario, dividimos a por b, aplicando o algortmo da divisao
Euclidiana e obtendo inteiros c, r
1
tais que
a = bc +r
1
com 0 < r
1
< b
Assim:
x =
bc +r
1
b
= c +
r
1
b
= c +
1
10
10r
1
b
Aplicamos novamente o ADE ao par 10r
1
e b, obtendo inteiros q
1
, r
2
tais que
10r
1
= bq
1
+r
2
com 0 r
2
< b
ou seja
x = c +
1
10
_
bq
1
+r
2
b
_
= c +
1
10
q
1
+
1
10
_
r
2
b
_
(4.5)
4.5. REPRESENTAC

AO DECIMAL EM Q, OU, POR QUE 1 = 0, 999... 79
Se for r
2
= 0 entao temos
x = c +
1
10
q
2
, que representamos por x = (c, q
1
)
10
, ou x = c, q
1
Observe que, como 0 < r
1
< b, entao 0 < 10r
1
< 10b e portanto
0 <
10r
1
b
= q
1
+
r
2
b
< 10
o que implica que 0 q
1
9 ou seja q
1
{0, 1, . . . , 9}. Alem disso, tambem temos que
0
r
2
b
< 1.
Se for r
2
> 0 entao de (4.5) temos que
x = c +
1
10
q
1
+
1
10
2
_
10r
2
b
_
(4.6)
Aplicando novamente o ADE ao par 10r
2
, b, obtemos inteiros q
2
e r
3
satisfazendo
10r
2
= bq
2
+r
3
com 0 r
3
< b
de modo que
x = c +
1
10
q
1
+
1
10
2
_
bq
2
+r
3
b
_
= c +
1
10
q
1
+
1
10
2
q
2
+
1
10
2
_
r
3
b
_
(4.7)
Se ocorrer r
3
= 0 entao
x = c +
1
10
q
1
+
1
10
2
q
2
que representamos por x = (c, q
1
q
2
)
10
, ou x = c, q
1
q
2
Como anteriormente, de 0 < r
2
< b, segue que 0 < 10r
2
< 10b e por conseguinte
0 <
10r
2
b
= q
2
+
r
3
b
< 10
implicando que 0 q
2
9 ou seja q
2
{0, 1, . . . , 9}. Alem disso, tambem temos que
0
r
3
b
< 1.
Prosseguimos este processo ate obtermos o primeiro resto nulo, r
k+1
= 0 proveni-
nente da representacao obtida por divisoes sucessivas:
x = c +
1
10
q
1
+
1
10
2
q
2
+. . . +
1
10
k
q
k
+
1
10
k
_
r
k+1
b
_
(4.8)
80 CAP

ITULO 4. N

UMEROS RACIONAIS
Nete caso, temos a representacao
x = c +
1
10
q
1
+
1
10
2
q
2
+. . . +
1
10
k
q
k
, que representamos por x = c, q
1
q
2
. . . q
k
(4.9)
com q
1
, . . . , q
k
{1, . . . , 9} Contudo, pode ocorrer que os restos r
k
nunca se anulem. Isto
efetivamente ocorrera se r
k
nao se anular para os ndices k = 1, 2, . . . , b (Princpio das
Gavetasou Princpio da Casa dos Pombos: se n objetos devem ser guardados em um
n umero m < n de caixas, entao alguma caixa devera conter mais de um objeto. Prove!).
Sejam k + 1, m, com 1 k + 1 < m, os primeiros ndices para os quais ocorre repeticao
(neste caso, m b + 1. Por que?), entao vale a seguinte representa cao
x = c +
1
10
q
1
+
1
10
2
q
2
+. . . +
1
10
k
q
k
+
1
10
k+1
q
k+1
+. . . +
1
10
m
q
m
+
1
10
m+1
q
k+1
+. . . +
1
10
m+(nk)
q
m
+. . . +
1
10
m+(p1)(mk)+1
q
k+1
+. . .
+ . . . +
1
10
m+p(mk)
q
m
+
1
10
N
q
k+j
+
1
10
N
_
r
N+1
b
_
, para algum j = 1, . . . , mk
que representamos por:
x = c, q
1
q
2
. . . q
k
q
k+1
. . . q
m
q
k+1
. . . q
m
. . . q
k+1
. . . q
m
. . . q
N
+
1
10
N
_
r
N+1
b
_
(4.10)
e observe que 0 <
r
N+1
b
< 1 implicando que 0 <
1
10
N
_
r
N+1
b
_
<
1
10
N
. Assim
|xc, q
1
q
2
. . . q
k
q
k+1
. . . q
m
q
k+1
. . . q
m
. . . q
k+1
. . . q
m
. . . q
N
| =
1
10
N
_
r
N+1
b
_
<
1
10
N
(4.11)
isto implica que dado r > 0 sempre se pode encontrar um n umero natural n
0
tal que,
para todo N n
0
tem-se
1
10
N
< r (basta observar que esta ultima desigualdade pode ser
escrita como 10
N
>
1
r
e, portanto, apelando para nosso conhecimento previo da estrutura
dos n umeros reais e de funcoes elementares em R temos que N > log
10
(1/r)). Assim, se
escolhemos n
0
N tal que n
0
> log
10
(1/r), entao, para todo N > n
0
teremos que
|x c, q
1
q
2
. . . q
k
q
k+1
. . . q
m
q
k+1
. . . q
m
. . . q
k+1
. . . q
m
. . . q
N
| < r
isto quer dizer que
lim
N
c, q
1
q
2
. . . q
k
q
k+1
. . . q
m
q
k+1
. . . q
m
. . . q
k+1
. . . q
m
. . . q
N
= x
4.5. REPRESENTAC

AO DECIMAL EM Q, OU, POR QUE 1 = 0, 999... 81
o que representamos por
x = c, q
1
q
2
. . . q
k
q
k+1
. . . q
m
e dizemos que x e uma dzima periodica de perodo mk
Exemplo 4.3 1 = 0, 9
Pois pondo
b
n
= 0, 9 . . . 9 =
9
10
+
9
10
2
+
9
10
3
+. . . +
9
10
n
=
9
10
_
1 +
1
10
+
1
10
2
+
1
10
3
+. . . +
1
10
n1
_
dene o termo geral de uma sequencia convergente (r =
1
10
< 1). Logo seu limite sera
lim
n
b
n
=
9
10
_
1
1 r
_
=
9
10
_
1
1 1/10
_
= 1
e este o sentido da representac ao: 1 = 0, 999 . . . 9 . . .
Devemos agora nos perguntar sobre o problema reciproco: dado um n umero racional,
x, representado no sistema decimal como:
(I) x = c, a
1
. . . a
k
ou (II) x = c, a
1
. . . a
k
b
1
. . . b
m
(I) se a representacao for nita e (II) se nao for. Qual e a representacao de x na forma
r
s
?
No caso (I) vemos que
x = c +
1
10
a
1
+. . . +
1
10
k
a
k
=
c10
k
+a
1
10
k1
+. . . a
k
10
k
=
(ca
1
...a
k
)
10
10
k
No caso (II), temos:
x = c, a
1
. . . a
k
b
1
. . . b
m
= c, a
1
. . . a
k
+ 0, 0 . . . 0b
1
. . . b
m
e como c, a
1
. . . a
k
=
(ca
1
...a
k
)
10
10
k
e
0, 0 . . . 0b
1
. . . b
m
=
b
1
. . . b
m
10
k+m
+
b
1
. . . b
m
10
k+2m
+. . . +
b
1
. . . b
m
10
k+pm
+. . .
=
b
1
. . . b
m
10
k+m
_
1 +
1
10
m
+
1
10
2m
+. . . +
1
10
pm
+. . .
_
=
1
10
k
_
b
1
. . . b
m
10
m
1
_
82 CAP

ITULO 4. N

UMEROS RACIONAIS
Logo
x =
1
10
k
_
(ca
1
...a
k
)
10
+
_
b
1
. . . b
m
10
m
1
__
A representacao decimal (periodica) de n umeros racionais nos ensinaum processo
de construcao de n umeros nao racionais: tome uma moeda (nao viciada. Tambem devere-
mos assumir que quem va joga-la, faca-o de modo honesto, quer dizer, de forma aleatoria
sem forcar o resultado a ser forcadamente apenas caras ou apenas coroas!!!) e jogue! se
cair coroa, atribua o valor 0, se for cara, o valor 1 e associe o n umero decimal denido por
x
n
= c
0
, c
1
c
2
c
3
. . . c
n
, onde c
i
e o resultado da i-esima jogada
A sequencia (x
n
)
n
apesar de possuir termos de ordem alta arbitrariamente proximos, quer
dizer, dados n, m N, com n < m vale que (POR QUE?)
|x
m
x
n
| = 0, 0 . . . 0c
n+1
. . . c
m
<
1
10
n+1
Nao pode convergir para um n umero racional (a probabilidade de que exista um limite
racional, se as jogadas sao feitas de forma honestamente aleatorias e 0. PORQU

E?)
Existem outros n umeros que surgem de maneira natural em problemas de men-
suracao asociados a grandezas racionais e que nao sao n umeros racionais.
(a) A medida da diagonal de um quadrado de lado de medida um, nao e um n umero
racional;
(b) A medida da diagonal de um cubo de lado de medida um, nao e um n umero racional;
(c) O permetro de uma circunferencia de raio unitario, nao e um n umero racional.
Exerccio 4.2 .
1. Verique a convergencia da sequencia (a
n
)
n
se
1. a
n
=
n 1
n + 1
4.5. REPRESENTAC

AO DECIMAL EM Q, OU, POR QUE 1 = 0, 999... 83
2. a
n
=
1
(n + 1)
2
3. a
n
=
n
2n + 5
+
n 1
n
2
+ 1
4. a
n
=
1
n
+
2
n
2
+
3
n
3
+
4
n
4
2. Verique que a sequencia (b
n
)
n
e limitada, mas nao convergente, se
1. b
n
= (1)
n
n 1
n + 1
2. b
n
= (1)
n
3. b
n
= 1 + (1)
n
3. De exemplos de sequencias (x
n
)
n
, (y
n
)
n
, (u
n
)
n
, (w
n
)
n
de n umeros racionais, nao con-
vergentes tais que (x
n
+y
n
)
n
e (u
n
w
n
)
n
sejam convergentes.
84 CAP

ITULO 4. N

UMEROS RACIONAIS
Captulo 5
N

UMEROS REAIS
5.1 INTRODUC

AO
O estudo do conjunto dos n umeros reais, exige uma abordagem completamente difer-
ente daquela que viemos utilizando ate o presente momento no estudo dos conjuntos dos
n umeros naturais, inteiros e racionais. Nossas construcoes deixarao de ter uma funda-
menta cao essencialmente aritmetica a se tornarao analticas por excelencia: o cerne da
estrutura dos n umeros reais consiste no fato de que cada n umero real e um limite de
n umeros racionais e reciprocamente, sequencias de Cauchy de n umeros racionais se acu-
mulam (de fato, convergem) sobre entidades que denominaremos n umeros reais.
5.2 Construcao de R
Nesta secao apresentaremos uma das possveis construcoes para o conjunto dos n umeros
reais, a partir dos n umeros racionais, mais precisamente, a partir de sequencias de n umeros
racionais que, apesar de nao necessariamente convergirem para um n umero racional, pos-
suem seus termos de ordem alta arbitrariamente proximos.
Denicao 5.2.1 (Sequencias de Cauchy) Uma sucess ao, (x
n
)
n
em Q e dita ser de
Cauchy se para todo r Q
+
existe um n
0
N tal que para todo par m, n N com
m, n n
0
se verica |x
m
x
n
| < r.
85
86 CAP

ITULO 5. N

UMEROS REAIS
Tendo denido uma classe interessante de sucessoes (sequencias de Cauchy) e natural
colecionar todas tais sequencias. Denotaremos por C
Q
ao conjunto de todas as sucessoes
de Cauchy de n umeros racionais, i.e.
C
Q
= {(x
n
)
n
; x
n
Q e (x
n
)
n
e de Cauchy}
Uma classe importante de sequencias de Cauchy e dada na seguinte proposicao:
Proposicao 5.2.1 Toda sequencia convergente e sequencia de Cauchy
Prova Seja (x
n
)
n
e uma sequencia convergente em Q, tendo por limite o n umero racional
b, e seja dado r > 0. Entao podemos determinar um ndice n
0
tal que sempre que n n
0
tem-se |x
n
b| <
r
2
. Assim, para este n
0
vale que dados m, n n
0
temos
|x
n
x
m
| = |(x
n
b) + (b x
m
)| |x
n
b| +|x
m
b| <
r
2
+
r
2
= r

A recproca desta proposicao e fundamental para a construcao dos n umeros reais,


isto e:
PERGUNTA IMORTANTE:

E verdade que toda sequencia de Cauchy de n umeros
racionais e convergente?
A resposta a esta pergunta e negativa (como ja tivemos indcios... probabilsticos...
no captulo anterior) e o seguinte exemplo classico fornece um contra-exemplo `a pergunta
acima posta:
Exemplo 5.1 A sequencia (y
n
)
n
de n umeros racionais, denida por
y
n
= 1 +
1
1!
+
1
2!
+. . . +
1
n!
e uma sequencia de Cauchy que nao converge em Q. PROVE ISTO!
Proposicao 5.2.2 (Propriedades operacionais de sequencias de Cauchy)
5.2. CONSTRUC

AO DE R 87
(a) Toda sucess ao de Cauchy, (x
n
) e limitada (isto e, existe a Q
+
tal que |x
n
| a para
todo n N)
(b) Se (x
n
)
n
, (y
n
)
n
sao sequencias de Cauchy de n umeros racionais entao (x
n
)
n
, (x
n
+
y
n
)
n
e (x
n
.y
n
)
n
sao sequencias de Cauchy.
Prova
(a) Se (x
n
) e sucessao de Cauchy entao (xando-se r = 1, por exemplo) tem-se que existe
n
0
N, tal que para todo m, n n
0
tem-se |x
m
x
n
| < 1. Em particular pondo-se n = n
0
segue que
||x
m
| |x
n
0
|| |x
m
x
n
0
| < 1
implicando que
1 |x
n
0
| < |x
m
| < 1 +|x
n
0
|, para todo m n
0
Assim, tomando-se a = max{|x
1
|, . . . , |x
n
0
1
|, 1 + |x
n
0
|} tem-se que |x
n
| a para todo
n N.
(b)

E imediato que se (x
n
)
n
e de Cauchy entao (x
n
)
n
tambem o e (|x
n
x
m
| = |(x
n
)
(x
m
)|).
Para provar que soma de sequencias de Cauchy e sequencia de Cauchy, dadas (x
n
), (y
n
)
C
Q
e dado Q
+
tome n
1
, n
2
N tal que para todo m, n n
1
e todo k, l n
2
, tenha-se
que |x
n
x
m
| < r/2 e |y
k
y
l
| < r/2. Escolha n
0
= max{n
1
, n
2
} para obter que m, n n
0
se tenha
|(x
m
+y
m
) (x
n
+y
n
)| = |(x
m
x
n
) +(y
m
y
n
)| |x
m
x
n
| +|y
m
y
n
| < r/2 +r/2 = r
ou seja (x
n
+x
n
)
n
C
Q
.
Para provar que se (x
n
), (y
n
) C
Q
entao a sequencia produto (x
n
y
n
) C
Q
tome a, b Q
+
tais que x
n
< a e y
n
< b para todo n N e para r Q
+
dado, escolha n
1
, n
2
N tais que
para todo m, n N e todo k, l N tenha-se |x
n
x
m
| < r/2b e |y
k
y
l
| < r/2a (tais naturais
n
1
, n
2
existem pois (x
n
) e (y
n
) sao sucessoes de Cauchy. Tome agora n
0
= max{n
1
, n
2
},
88 CAP

ITULO 5. N

UMEROS REAIS
entao para todo par m, n n
0
vale que
|x
n
y
n
x
m
y
m
| = |x
n
y
n
x
m
y
n
+x
m
y
n
x
m
y
m
|
= |(x
n
x
m
)y
n
+x
m
(y
n
y
m
)|
|(x
n
x
m
)||y
n
| +|x
m
||(y
n
y
m
)|
|(x
n
x
m
)|b +a|(y
n
y
m
)|

r
2b
b +a
r
2a
= r.
Exerccio 5.1 Mostre que dado a Q com a > 1, entao para toda (x
n
)
n
C
Q
tem-se
que a sequencia (y
n
)
n
denida por y
n
=
x
n
a
n
e convergente (se preferir, considere apenas o
caso em que a = 2)
Denicao[Sucessao Nula] Uma sucessao (x
n
)
n
em Q se chama sucessao nula, se para todo
r Q
+
existe n
0
N tal que para todo n N com n n
0
verica-se que |x
n
| r.
Proposicao 5.2.3 (Propriedades operacionais das sucessoes nulas) Sucessoes nu-
las satisfazem `as seguintes propriedades:
1. Toda sucessao nula e uma sucess ao de Cauchy (o recproco nao e verdadeiro)
2. Se (x
n
) e uma sucessao de Cauchy nao nula e x
n
= 0 para todo n N, entao (x
1
n
)
e uma sucessao de Cauchy
3. Se (x
n
) e (y
n
) sao sucessoes nulas de n umeros racionais, entao (x
n
), (x
n
+y
n
) sao
sucessoes nulas
4. Se (x
n
) e uma sucessao limitada e (y
n
) e uma sucessao nula, (x
n
y
n
) e uma sucessao
nula.
Prova Vamos provar (2) e (4) cando os demais itens como exerccio.
Prova de (2): Se (x
n
) e nao nula, existe r
1
Q
+
tal que para todo natural n
1
, sempre se
pode encontrar n n
1
vericando |x
n
| > r
1
. Para este r
1
, como (x
n
)
n
e de Cauchy, existe
n
2
N tal que para todo par k, l N, k, l n
2
vale que |x
k
x
l
| < r
1
/2 implicando que:
||x
k
| |x
l
|| |x
k
x
l
| <
r
1
2
ou |x
l
|
r
1
2
|x
k
| |x
l
| +
r
1
2
5.2. CONSTRUC

AO DE R 89
Em particular tomando-se l = n, temos |x
l
| > r
1
/2 e consequentemente:
r
1
2
= r
1

r
1
2
< |x
k
| < r
1
+
r
1
2
portanto, para todo n n
2
temos que |x
n
| r
1
/2, ou
1
|x
n
|
<
2
r
1
Finalmente, dado Q
+
, usando mais uma vez o fato de que (x
n
) e de Cauchy, obtemos
n
0
N, com n
0
n
2
tal que para todo par m, n n
0
verica-se que
|x
m
x
n
| <
r
2
1
2
donde vem que:
|
1
x
n

1
x
m
| = |
x
m
x
n
x
m
x
n
| =
|x
m
x
n
|
|x
m
||x
n
|
<
r
2
1
2
1
|x
n
||x
m
|
<
r
2
1
2
.
2
r
1
.
2
r
1
=
Logo (1/x
n
)
n
e de Cauchy.
Prova de (4): Como (x
n
)
n
e limitada (nao necessariamente de Cauchy) existe M Q
+
tal que |x
n
| < M para todo n N. E como (y
n
)
n
e sucessao nula, dado r > 0 e possvel
obter n
0
N tal que para todo n n
0
tem-se que |y
n
| < r/M. Disto, segue-se que
|x
n
y
n
| = |x
n
||y
n
| M|y
n
| < M
r
M
= r, n n
0
.
Seja C
Q
o conjunto das sucessoes de Cauchy de n umeros racionais. Entao a relacao binaria
denida por
(x
n
) (y
n
), se (x
n
y
n
)
n
e sucessao nula
e uma relacao de equivalencia em C
Q
.
prova
e reexiva: Dada (x
n
)
n
C
Q
tem-se que (x
n
x
n
)
n
e sequecia nula (alguma d uvida?);
e simetrica: Se (x
n
) (y
n
) entao (x
n
y
n
) nula e tambem ((x
n
) (y
n
))
n
=
(y
n
x
n
)
n
nula consequentemente (y
n
) (x
n
);
e transitiva: Se (x
n
) (y
n
) e (y
n
) (z
n
) entao (x
n
y
n
)
n
e (y
n
z
n
)
n
sao nulas.
Como a sequencia da soma de duas sequencias nulas tambem e sequencia nula segue que
((x
n
y
n
) + (y
n
z
n
))
n
= (x
n
z
n
)
n
e sequencia nula
90 CAP

ITULO 5. N

UMEROS REAIS
logo (x
n
) (z
n
).
Denotaremos por R ao conjunto quociente C
Q
/ e o denominaremos conjunto dos
n umeros reais. Cada classe de equivalencia = [(x
n
)
n
] sera denominada n umero real.
Em C
Q
podemos denir a lei de composicao interna, denotada por +:
(x
n
)
n
+ (y
n
)
n
=(x
n
+y
n
)
n
(observe que (x
n
+y
n
)
n
C
Q
)
Na notacao acima, notamos que (y
n
) [(x
n
)] se, e so se, (y
n
)
n
= (x
n
)
n
+(z
n
)
n
, onde (z
n
)
n
e nula.
Propriedade de +:
1. (C
Q
, +) e um grupo abeliano;
2. Se (x
n
) (x

n
) e (y
n
) (y

n
) entao vale que
(x
n
+y
n
)
n
(x

n
+y

n
)
n
Em C
Q
tambem podemos denir a lei de composicao interna, denotada por .:
(x
n
)
n
.(y
n
)
n
=(x
n
.y
n
)
n
(novamente, observe que (x
n
.y
n
)
n
C
Q
)
Propriedades de (C
Q
, +, .):
1. (C
Q
, +) e um anel comutativo com elemento unidade;
2. Se (x
n
)
n
C
Q
e uma sucessao nao nula com x
n
= 0, n N, entao (x
n
)
n
tem um
inverso em (C
Q
, +, .);
3. Se (x
n
) (x

n
) e (y
n
) (y

n
) entao vale que
(x
n
+y
n
)
n
(x

n
+y

n
)
n
5.2. CONSTRUC

AO DE R 91
Seja + (respectivamente, .) a lei de composicao interna em R denida por
+ = (resp., . = )
onde e a classe de equivalencia da sucessao (x
n
+ y
n
)
n
(resp., (x
n
.y
n
)
n
) se (x
n
)
n
,
(y
n
)
n
(observe que + e . estao bem denidos). Nestas condicoes tem-se que o terno
(R, +, .) e um corpo.
Uma sucessao de n umeros racionais e dita ser positiva se existem a Q
+
e n
0
N tais
que para todo n N com n n
0
tem-se x
n
a.
Propriedade: Se (x
n
)
n
, (y
n
)
n
C
Q
sao sucessoes positivas entao (x
n
+ y
n
)
n
e (x
n
y
n
)
n
tambem o sao.
Seja < a relacao binaria em C
Q
denida por (x
n
)
n
< (y
n
)
n
se (y
n
x
n
)
n
e uma sucessao
positiva.
Propriedades
1. < e uma relacao transitiva em C
Q
;
2. Se (x
n
), (y
n
), (z
n
) C
Q
e (x
n
) < (y
n
) entao se verica que
(x
n
) + (z
n
) < (y
n
) + (z
n
)
3. Se (x
n
), (y
n
), (z
n
) C
Q
, (x
n
) < (y
n
) e (z
n
) e uma sucessao positiva, entao se verica
que
(x
n
).(z
n
) < (y
n
).(z
n
)
4. Se (x
n
), (y
n
) C
Q
sao tais que (x
n
) e positiva e (y
n
) e nula entao se verica que
(x
n
+y
n
) e positiva
5. Se (x
n
) C
Q
e uma sucessao nao nula entao, ou (x
n
) e positiva, ou (x
n
) o e.
Seja < a relacao binaria em R denida por < se
(x
n
)
n
< (y
n
)
n
onde (x
n
)
n
, (y
n
)
n
(observe que < esta bem denida!). Nestas condicoes tem-se
que (R, +, ., <) e um corpo ordenado e arquimediano, isto e:
92 CAP

ITULO 5. N

UMEROS REAIS
Denicao 5.2.2 (Corpo Ordenado) Seja (K, +, .) um corpo e uma relacao binaria
sobre K. Diremos que (K, +, ., ) e um corpo ordenado se as seguintes propriedades
sao vericadas:
1. a a para todo a K;
2. Se a, b K, e a b, b a entao a = b;
3. Dados a, b, c K, se a b e b c, entao a c;
4. Para todo a, b K entao, ou a b, ou b a;
5. Para todo a, b K, com a b e para todo c K, se tem que a +c b +c
6. Para todo a, b K, com a b e para todo c K, com 0 c se tem que ac bc
Denicao 5.2.3 (Condicao Arquimediana) Um corpo ordenado (K, +, ., ) se chama
arquimediano se para todo , K com 0 < < , entao existe n N tal que
n <
(verique que, de fato (R, +, ., <) e arquimediano)
Em R existe uma copia isomorfade Q, isto e, denindo a aplicacao
: Q R
r
onde e a classe da sucessao (x
n
)
n
, x
n
= r, para todo n N. Entao tem-se que e um
homomorsmo injetivo de corpos, i.e.
(a +b) = (a) +(b), (ab) = (a)(b)
e e injetivo como funcao, ou ainda
ker() = {c Q; (c) = 0} = {0}
onde 0 e a classe das sequencias nulas
5.2. CONSTRUC

AO DE R 93
Denicao 5.2.4 (Supremo &

Inmo) Em um corpo ordenado K, seja X K um sub-
conjunto:
1. Dizemos que um elemento a K e uma cota superior para X se x a para todo
x X;
2. Dizemos que um elemento b K e uma cota inferior para X se b x para todo
x X;
3. Se X possui cota superior dizemos que X e limitado superiormente, se X possui cota
inferior, dizemos que X e limitado inferiormente e se X possui cotas inferiores e
superiores, dizemos que X e limitado;
4. Se X = , e um conjunto limitado superiormente, entao a menor de suas cotas
superiores e denominada supremo de X e denotada por supX;
5. Se X = , e um conjunto limitado inferiormente, entao a maior de suas cotas
inferiores e denominada nmo de X e denotada por inf X;
Observa cao em Q nao e verdade que todo subconjunto nao vazio e limitado superiormente
possua supremo, por exemplo nao possui supremo em Q o seguinte conjunto:
[0,

2] Q
Diferentemente do que ocorre no corpo dos racionais, em R temos o
Teorema 5.2.1 (R e completo) Todo subconjunto nao vazio e limitado superiormente
de n umeros reais possui supremo.
Prova Seja X R um subconjunto nao vazio de n umeros reais, e U uma cota superior para
X. Substituindo por um valor maior, se necessario, podemos assumir que U e racional.
Como S e nao vazio, existe um n umero racional L Q tal que L < s para algum s em S.
Agora dena uma sequencia de racionais (u
n
) e (l
n
) como segue:
1. Ponha u
0
= U e l
0
= L. Para cada n considere o n umero:
94 CAP

ITULO 5. N

UMEROS REAIS
m
n
= (u
n
+l
n
)/2
Se m
n
e uma cota superior para X dena:
u
n+1
= m
n
e l
n+1
= l
n
Caso contrario ponha:
l
n+1
= m
n
e u
n+1
= u
n
Esta construcao dene duas sequencias de Cauchy de racionais, e desta forma temos
n umeros reais l = (l
n
) and u = (u
n
). Prove por inducao em n que:
u
n
e um limitante superior para X para todo n
e:
l
n
nunca e limitante superior para X para todo n
Assim u e um limitante superior para X. Para ver que e o menor limitante superior,
observe que o limite de (u
n
l
n
) e 0, e portanto l = u. Agora suponha que b < u = l.
Como (l
n
) e monotona crescente segue que b < l
n
para algum n. Mas l
n
nao e um limitante
superior para X assim tambem nao o sera b. Logo u e o menor limitante superior para X.

5.2. CONSTRUC

AO DE R 95
5.2.1 M

ODULO
Denicao 5.2.5 Dado um n umero real seu modulo e o n umero real denotado por || e
denido por || = max{, }.
Proposicao 5.2.4 O modulo de um n umero real verica as seguintes propriedades
1. Se x 0 (resp. x 0), tem-se que |x| = x (resp. |x| = x);
2. A condic ao |x| = 0 equivale a x = 0;
3. A condic ao |x| < y (resp |x| y) equivale a y < x < y (resp. y x y);
4. |x +y| |x| +|y|;
5. ||x| |y|| |x y|;
6. |xy| = |x||y|
Prove!!!