Anda di halaman 1dari 102

Universidade Federal de So Carlos

Centro de Cincias Exatas e de Tecnologia


Departamento de Matemtica

A construo dos nmeros

Autora:

Gabriela Maria Machado

Orientador:
Disciplina:
Curso:

Luiz Hartmann

Trabalho de Concluso do Curso

Licenciatura em Matemtica

Professores Responsveis:

Karina Schiabel Silva


Sadao Massago
Vera Lcia Carbone

So Carlos, 13 de Maro de 2014.

A construo dos nmeros

Autora:

Gabriela Maria Machado

Orientador:
Disciplina:
Curso:

Luiz Hartmann

Trabalho de Concluso do Curso

Licenciatura em Matemtica

Professores Responsveis:

Karina Schiabel Silva


Sadao Massago
Vera Lcia Carbone

Instituio:

Universidade Federal de So Carlos


Centro de Cincias Exatas e de Tecnologia
Departamento de Matemtica

So Carlos, 13 de Maro de 2014.

Gabriela Maria Machado


(aluna)

Luiz Hartmann (orientador)

vida e ao amor.

Agradecimentos
Agradeo,

minha famlia (minha me Maria Jos, meu pai Geraldo, meus irmos, Cristina, Ricardo
e Arenildo e meu alhado Arthur), pela devoo e suporte desde sempre.

XDani, por toda dedicao, companheirismo, pacincia e estmulo que tornaram possvel
esta realizao.

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

todos os professores, pela contribuio minha formao.

Em especial, ao Professor Hartmann, pela conana, oportunidade de aprendizado e excelente forma de ndar meu curso e Professora Liane, que muito contribuiu e ajudou durante
todo o trabalho.

Contedo
1 Consideraes Iniciais
1.1

Relaes de Equivalncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2 Nmeros Naturais

15

2.1

Axiomas de Peano

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2

Adio de elementos de

2.3

Multiplicao dos Nmeros Naturais

2.4

Relao de ordem em

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15
17

. . . . . . . . . . . . . . . . . . . . . . . .

21

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

24

3 Nmeros Inteiros

30
NN

3.1

Relao de Equivalncia em

. . . . . . . . . . . . . . . . . . . . . . . . .

30

3.2

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

31

3.3

Multiplicao dos inteiros

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

34

3.4

Relao de Ordem em

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

38

3.5

Conjuntos enumerveis e a Hiptese do Contnuo

. . . . . . . . . . . . . . . . .

4 Nmeros Racionais

47

50

4.1

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

50

4.2

Operaes em

51

4.3

Relao de Ordem em

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5 Nmeros Reais

55

64

5.1

Cortes de Dedekind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.2

Relao de ordem em

5.3

Operaes em

64

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

68

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

69

5.4

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

84

5.5

no enumervel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

86

6 Nmeros Complexos
6.1

Construo dos complexos

6.2

89
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

89

no ordenvel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

92

Resumo
Apresentamos a construo dos conjuntos numricos, com o enfoque voltado para o ensino
e formao de um educador com todo o rigor matemco necessrio. Foram desenvolvidas as
construes dos nmeros inteiros, dos racionais, dos reais e dos complexos a partir do conjunto
dos nmeros naturais, este introduzido atravs dos axiomas de Peano.

Introduo
A noo de nmero e suas generalizaes esto intimamente ligadas histria da humanidade. E a prpria vida est impregnada de matemtica. Grande parte das comparaes que
o homem formula, assim como gestos e atitudes cotidianas, aludem conscientemente ou no
a juzos aritmticos e propriedades geomtricas. Sem esquecer que a cincia, a indstria e o
comrcio nos colocam em permanente contato com o amplo mundo da matemtica.
Em todas as pocas da evoluo humana, mesmo nas mais atrasadas, encontra-se no homem
o sentido do nmero. Esta faculdade lhe permite reconhecer que algo muda em uma pequena
coleo (por exemplo, seus lhos, ou suas ovelhas) quando, sem seu conhecimento direto, um
objeto tenha sido retirado ou acrescentado.
O primeiro estudo esquemtico dos nmeros como abstrao comumente atribudo aos
lsofos gregos Pitgoras e Arquimedes. Entretanto, estudos independentes tambm ocorreram
por volta do mesmo perodo na ndia, China, e Mesoamrica.
Os nmeros naturais e as fraes tm sua origem das atividades de contagem e medida, o
que talvez tenha levado os membros da escola pitagrica a postularem que na natureza tudo
nmero devido acreditarem que tudo podia ser contado, logo atribudo um nmero, e que a
qualquer medida tambm se poderia atribuir um nmero ou uma razo entre nmeros.
Iniciamos o trabalho fazendo uma abordagem ao conceito de relao de equivalncia, dado
que foi bastante usado no decorrer dos estudos. Para isto, introduzimos os conceitos de partes
de um conjunto, denio de par ordenado, produto cartesiano, denio de operao, assim
como conceito de relao.
Fizemos a formalizao no conjunto dos naturais atravs dos Axiomas de Peano, considerando o zero como um nmero natural. Assumimos que existe um conjunto satisfazendo tais
axiomas e fomalizamos todas as propriedade, demonstrando-as atravs dos Axiomas.
isto, denotamos este conjunto por

Aps

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

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


construo consistente que foi desenvolvida no sculo XIX por Giuseppe Peano.
Richard Dedekind (1831-1916) estabeleceu uma relao de equivalncia entre pares ordenados de nmeros naturais e fez referncia da subtrao como inversa da adio:
logo

a + d = b + d.

a b = c d,

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

das classes de equivalncia o conjunto dos nmeros inteiros. Na construo dos inteiros que
zemos neste trabalho, utilizamos esta construo, de forma que, denimos um inteiro como
uma classe de equivalncia e o conjunto dos nmeros inteiros como o conjunto dessas classes de
equivalncia.
A construo dos racionais feita a partir do mesmo raciocnio que os inteiros, utilizando o

conceito de relao de equivalncia, mas esta construo se da de forma mais rpida do que a
dos inteiros, por ter muitas consequncias diretas deste.
A construo dos nmeros reais feita neste trabalho foi baseada na construo feita por
Dedekind, atravs dos chamados Corte de Dedekind, que considera o conjunto de todos os
cortes, denindo a adio e a multiplicao nele e, em seguida, mostrando que ele possui as
propriedades aritmticas de

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

dos reais.
Por m, mas no menos importante, a construo dos nmeros complexos, que foram denidos como pares ordenados de nmeros reais e, a partir disto, foram provadas todas as propriedades aritmticas, mostrando que o conjunto dos nmeros comeplexos possui uma estrutura
de corpo, assim como os reais e racionais, mas possuindo uma grande diferena dos anteriores,
pois no possui uma relao de ordem.
Estas construes provm de estudos de matemticos do sculo XIX e incio do sculo XX
que foram em busca dos fundamentos da matemtica acumulados at a poca, principalmente
a partir de clculo diferencial e integral de Newton e Leibniz, no sculo XVII.

Captulo 1

Consideraes Iniciais
No decorrer deste trabalho lidaremos diretamente com o conceito de relao de equivalncia,
por isso faremos uma abordagem tratando desta questo. Trabalharemos com conceitos prvios
e com a noo intuitiva de conjuntos durante todo o trabalho e, em particular neste captulo,
trabalharemos intuitivamente com os conjunto numricos e as propriedades bsicas de suas
operaes, lembrando que estudaremos o conceito rigoroso desses conjuntos numricos nos
captulos seguintes.
Utilizaremos, usualmente,

N, Z, Q, R

para representar os conjuntos dos nmeros natu-

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

1.1

Relaes de Equivalncia

Denio 1.1.1.
potncia de

A,

Dado um conjunto

denotado por

P(A),

qualquer, o conjunto das partes de

A,

ou conjunto

o conjunto cujos elementos so todos os subconjuntos de

A.
Seguem alguns exemplos:

Exemplo 1.1.2.
1. Se

A = {a, b},

2. Se

A = {1, 2, 3},

ento

3. Se

A = ,

P(A) = {},

4. Se

A = P({1}),

ento

ento

Denio 1.1.3.

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

ento

P(A) = {, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, A};
pois o

A = {, {1}},

A um conjunto
como sendo o conjunto {{a}, {a, b}}.
Observao: (a, b) P(A).
Seja

o nico subconjunto de

logo,

A;

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

no vazio com

a, b A.

Denimos o par ordenado

(a, b)

Desde o Ensino Fundamental consideramos um par ordenado como um par de objetos onde a
ordem tem importncia. A denio acima formaliza matematicamente esta ideia intuitiva. O
teorema seguinte mostra que um par ordenado exatamente o que idealizamos intuitivamente.

Teorema 1.1.4.

Seja

um conjunto onde

a, b, c, d A.
6

Temos que:

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

b=d

Demonstrao.

()
()

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


(a, b) = (c, d), isto , {{a}, {a, b}} = {{c}, {c, d}}. Temos

Suponhamos
Seja, agora,

assim, dois casos:

a = b.
(a, b) = (a, a) = {{a}, {a, a}} = {{a}, {a}} = {{a}}. Dessa forma,
{{a}} = {{c}, {c, d}}, ou seja, {c} = {a} e {c, d} = {a}. Assim, c = a e d = a.
Como a = b, obtemos a = c = b = d.
Nesta situao

a 6= b.
{{a}, {a, b}} = {{c}, {c, d}}. Se {a, b} = {c}, ento, a = b = c, contradizendo a hiptese a 6= b. Logo, {a, b} = {c, d}, o que acarreta c 6= d. Disso, conclumos
que {a} no pode ser igual a {c, d}, logo, {a} = {c}, ou seja, a = c. J conclumos que
{a, b} = {c, d}, a 6= b, c 6= d, de onde segue que b = d.
Por hiptese

Denio 1.1.5.

Seja

um conjunto qualquer. Denimos o produto cartesiano de

A A, como o conjunto de
A A = {(x, y) | x, y A}.

denotado por

A,

isto ,

por

A,

todos os pares ordenados compostos por elementos de

Seguem alguns exemplos:

Exemplo 1.1.6.
1. Se

A = {a, b}

2. Se

A = ,

3. Se

A = {a1 , a2 , a3 , . . . , an },

ento

ento

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

AA=
tem

elementos,

AA

possilidades para o primeiro elemento do par ordenado e

Denio 1.1.7.

Dados dois conjuntos

Denimos o produto cartesiano de

por

A e B,
B como

se

x A

sendo o

n2

possui

elementos, pois, tem-se

para o segundo.

y B , ento x, y A B .
conjunto A B = {(x, y) | x A e
e

y B}.
(x, y) = {{x}, {x, y}} P(A B),
{x}, {x, y} P(A B)
Observao:

pois, como

x, y A B ,

obviamente,

A seguir temos alguns exemplos:

Exemplo 1.1.8.
A = {x} e B = {y}. Temos que A B = {(x, y)} = {{x}, {x, y}} e B A =
{(y, x)} = {{y}, {y, x}}. Para que A B = B A, precisaramos que {x} = {y}
ou {x} = {x, y}, ou seja, x = y . Como x e y so quaisquer, no podemos dizer que
A B = B A.

1. Seja

2. Sejam

A=

um conjunto qualquer. Suponhamos que exista

x A e y B , o que uma
existe (x, y) pertencente a A B .

denio de par ordenado,

A = .

Portanto, no

Denio 1.1.9.

Dado um conjunto

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


denotada por x y .

Por

contradio, pois, por hiptese,

no vazio, uma operao em

(x, y)

de um par ordenado

(x, y) A B .

uma funo

pela funo

usualmente

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


aritmticas, podemos ver que, das quatro operaes, apenas a soma e o produto so de fato
operaes, no sentido da denio acima, no conjunto dos nmeros naturais.

Denio 1.1.10.
cartesiano

A A,

Uma relao binria

isto ,

num conjunto

qualquer subconjunto do produto

R A A.

Exemplo 1.1.11. Se A = {a, b, c}, ento R = {(a, a), (b, a), (c, b), (c, a)} uma relao binria,
dado que um subconjunto de

A A = {(a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c, b), (c, c)}.
No contexto deste trabalho, diremos que
uma relao binria em

e se

(a, b) R,

est relacionado com

(escreve-se

(a, b) R aRb. Uma relao


temos bRa, mas no aRb.

isto ,

chamada apenas de relao. No exemplo 1.1.11,

Denio 1.1.12.

Seja dado um conjunto

e uma relao

aRb)

se

binria ser

sobre ele. Diz-se que

uma

relao de equivalncia se possuir as seguintes propriedades:


1. Reexiva:

aRa,

2. Simtrica: se

a, b A,

3. Transitiva: para
A relao
que

bRa,

para todo
e

a A;

aRb,

a, b, c A,

se

ento

aRb

bRa;

bRc,

ento

aRc.

(b, b)
/ R, nem simtrica, dado
ela transitiva (basta ver que cRb, bRa e cRa). Como no

do exemplo 1.1.11 no reexiva, pois,

mas no

aRb.

Entretanto,

bA

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

Exemplo 1.1.13.

Seja

A = {1, 2, 3} R = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 1)}

uma relao de

equivalcia, pois:
1. Vale a reexiva:

1, 2, 3 A, 1R1, 2R2

2. Vale a simtrica:

1, 2 A, 1R2

3. Vale a transitiva:

1, 2 A, 1R2, 2R1

3R3;

2R1;
e

1R1.

No exemplo seguinte ser usada uma noo intuitiva de conjuntos numricos e suas propriedades aritmticas bsicas, mas apenas a ttulo de esclarecimento do conceito de relao de
equivalncia. A construo dos conjuntos no depender deste exemplo.

Exemplo 1.1.14.
b = ac.

Seja

Escrevemos

a|b

a, b Z
para

a 6= 0.
simbolizar que a
com

Diremos que
divide

b.

divide

se existir

c Z,

tal que

Esta relao de divisibilidade em

no

uma relao de equivalncia, pois, apesar de ser reexiva e transitiva, ela no simtrica:

1. Vale a reexiva: para todo

a Z, a = ac

c = 1 Z,

com

portanto

aRa.

a, b Z e a divide b, temos que, b = ac1 para algum c1 Z. Se


b dividisse a, teramos a = bc2 para algum c2 Z e assim, a = ac1 c2 a = ac c =
c1 c2 = 1, o que signica que c1 = c2 = 1, ou c1 = c2 = 1, o que leva a concluso que s
vale a simtrica quando a = b ou a = b, portanto, no vale a simtrica para quaisquer
a, b Z onde a divide b.

2. No vale a simtrica: Se

a, b, c Z, a
d = ac1 c2 d = ac,

3. Vale a transitiva: Se

c1 , c2 Z,

logo

Exemplo 1.1.15.

Seja

de equivalncia em

A.

b e b divide d, temos b = ac1


c = c1 c2 Z, logo, a divide d.

divide
com

um conjunto. Temos que

A A = {(x, y) | x, y A}

x A,

claramente

(x, x) A A,

x, y A e xRy ,
(y, x) A A, logo, yRx.

2. Vale a simtrica: sejam

x, y, z A, xRy
x, z A, (x, z) A A, ou seja, xRz .

yRz ,

portanto,

xRx,

(x, y) A A.

ou seja,

3. Vale a transitiva: sejam

x A,

ou seja,

Como

1. Reexiva: seja

x A.

x, y A,

(x, y), (y, z) A A,

como

Esta relao se

A), e se denota por = . Logo (x, x) R para todo


x = x, x A. Mostremos que esta relao, de fato,

A.
aA

qualquer. Claramente

(a, a) R,

ou seja,

a = a.

a, b A e (a, b) R, temos que existe x A tal que (a, b) = (x, x), de


que a = b. Como (x, x) = (a, b) R e a = b, ento (x, x) = (b, a) R;

2. Simtrica: se
conclumos

a, b, c A, (a, b) R e (b, c) R, procedendo


a = b e b = c, portanto, a = c. Logo, (a, c) R.

3. Transitiva: se
obtemos que

Exemplo 1.1.17.

(ou identidade de

que escrevemos usalmente como

de equivalncia em

com

uma relao

para todo

Exemplo 1.1.16. R = {(x, x) | x A} uma relao de equivalncia em A.


chama igualdade em

d = bc2

De fato,

1. Vale a reexiva: seja

imediato que

Qualquer relao de equivalncia em

onde

como no item anterior,

est compreendida entre os dois

= R A A. De fato, seja A um conjunto e R uma


relao de equivalncia qualquer sobre A. Obviamente R A A, por denio de relao.
Temos que = = {(x, x) | x A}. Tomemenos (x, x) = para um x pertencente a A
qualquer. Claramente, (x, x) R (pela propriedade reexiva, que nos garante que, para todo x
em A, xRx). Logo, = R. Dessa forma = R A A, como queramos.
exemplos anteriores, ou seja,

Denio 1.1.18.

Sejam

arbitrariamente. O conjunto

a = {x A | xRa}

aA

um elemento xado

chama-se classe de equivalncia de

pela

o conjunto constitudo dos elementos de

que se relacionam com

a.

Exemplo 1.1.19.

As classes de equivalncia dadas pela relao

do exemplo 1.1.13 so

1=

{1, 2}, 2 = {2, 1}

3 = {3}

relao

R.

Ou seja,

uma relao de equivalncia em

Observe, neste exemplo, que

1 = 2,

isso se deve ao fato de que

mostra isso de forma generalizada.

1R2.

O seguinte teorema

Teorema 1.1.20.
quaisquer de

A,

Seja

uma relao de equivalncia em um conjunto

a, b

elementos

ento:

1.

a a;

2.

a = b aRb;

3.

a 6= b a b =

Demonstrao.
1.

a = {x A | xRa}.
reexiva), logo a a;

2.

a = b, onde a = {x A | xRa} e b = {y A | yRb}. Seja a a, de


onde segue que, a b (pois por hiptese a = b). Logo, pela denio de b, aRb;
() Suponhamos agora aRb. Devemos mostrar que a = b, ou seja, a b e b a. Pois
()

Como

aRa

uma relao de equivalncia,

(pela propriedade

Suponhamos

bem:

3.

Seja

a a.

Seja

b b.

bRa

e portanto

Como, por hiptese,

aRb,

temos que

aRb e como R
b a. Logo b a.

Por hiptese,

a b,

logo,

a b;

uma relao de equivalncia, temos que

() Seja a 6= b, com a = {x A | xRa} e b = {y A | yRb}. Suponhamos que exista


c a b, ou seja, c a e c b. Sendo assim, cRa e cRb, que nos garante que aRb.
Assim, pelo item 2 deste teorema, conclumos que a = b, o que contradiz a nossa hiptese.
Portanto, no existe c qualquer na interseco de a e b.
() Seja a b = . Suponhamos a = b, que signica, pelo item 2 deste teorema, que
aRb, ou seja, a b. Claramente a a, sendo assim, a est em a e em b, o que contradiz
a hiptese de que a b = . Portanto, a 6= b.


O teorema anterior nos fornece propriedades muito importantes. Ele nos fornece a ideia de
que todo elemento de uma classe de equivalncia
ou seja,

x,

pode ser representado por

para todo

tem a mesma classe de equivalncia que

x a.

a,

Ele nos garante tambm que duas

classes de equivalncia distintas so disjuntas.


Da mesma forma que j zemos anteriormente nesta sesso, o seguinte exemplo faz referncia
aos nmeros inteiros, mas ele serve apenas para clarear a ideia de classe de equivalncia e no
inuenciar nas construes seguintes.

Exemplo 1.1.21.
e

por

se esta

aRb quando o resto das divises de a


2 forem iguais. Por exemplo, (5, 21) R, (6, 14) R, mas (5, 8) 6= R. Vamos vericar
relao de equivalncia em Z:
Sejam

x Z.
x Z;

1. Reexiva: seja
para todo

2. Simtrica: sejam
logo

A=Z

a relao dada por:

A diviso

x, y Z

xRy ,

por

tem resto

ou seja,

yRx;
10

e obviamente

divididos por

t = t,

portanto,

xRx,

tm o mesmo resto

s,

x, y, z Z, xRy e yRz . Dessa forma, x e y divididos por 2 possuem


o mesmo resto t, assim como y e z divididos por 2 possuem o mesmo resto s. Como y
dividido por 2 possui o resto t e tambm o resto s, conclumos que r = s e, portanto, o
resto da diviso de x e z por 2 o mesmo, ou seja, xRz .

3. Transitiva: sejam

Usando esta relao de equivalncia, temos os seguintes exemplos:

1 = {. . . , 3, 1, 1, 3, . . .} = 3 = 7 = 5
2 = {. . . , 4, 2, 0, 2, 4, . . .} = 0 = 4 = 2
Sabemos ainda que todo nmero inteiro classicado como mpar ou par, onde o par pode ser
escrito da forma

a = 2n

e o mpar da forma

a = 2n + 1.

Sendo assim, quando dividimos um

2, obetemos a = 2n+0, ou seja, o resto da diviso 0. J quando dividimos um


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

nmero par por

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


das classes de equivalncia em
quociente de

por

R.

Assim,

A pela relao R
A/R = {a | a A}

denotado por

A/R

O conjunto constitudo

e denominado conjunto

Veja os exemplos que seguem:

Exemplo 1.1.23.
1. Se

2. Se

A = {1, 2, 3},

a relao do exemplo anterior, ento

A/R = {0, 1}

temos que,

A A = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3)}.
1 = {x A | xR1} = {1, 2, 3}, 2 =
{y A | yR2} = {1, 2, 3} e 3 = {z A | zR3} = {1, 2, 3}, assim 1 = 2 = 3. Como
A/AA = {a | a A}, ento A/AA = {1, 2, 3}, ou apenas A/AA = {1} = {2} = {3}

Dessa forma, temos as classes de equivalncia

R = {(x, x) | x A}.
Se A = {1, 2, 3}, ento R = {(1, 1), (2, 2), (3, 3)} e, portanto, 1 = {x A | xR1} = {1},
2 = {y A | yR2} = {2} e 3 = {z A | zR3} = {3}, logo A/R = {a | a A} = {1, 2, 3}.

3. Consideremos a relao de equivalncia denotada por

Exemplo 1.1.24.
divises de

Seja

por

uma relao em

logo,

isto ,

denida como segue:

xy

quando os restos das

forem iguais. Esta uma relao de equivalncia. Com efeito,

1. Reexiva: Claramente, para todo


2. Simtrica: Sejam

Z,

= ,

x, y Z

x Z, x x;

x y,

ou seja, o resto das divises de

y x;
11

por

o mesmo,

x, y, z Z, x y e y z , temos que, o resto das divises de x e y por 3


o mesmo, digamos t, e o resto das divises de y e z por 3 o mesmo, digamos s. Sendo
assim, o resto da diviso de y por 3 dado por s e por t, logo s = t. Portanto, o resto
das divises de x e z por 3 o mesmo, o que siginica que x z , como queramos.

3. Transitiva: Se

x Z por 3, sempre 0, 1, ou 2, portanto, as classes de equivalncia so 0 = {. . . , 6, 3, 0, 3, 6, . . .}, 1 = {. . . , 7, 4, 1, 1, 4, 7, . . .} e 2 =


{. . . , 8, 5, 2, 2, 5, 8, . . .}. Sendo assim, temos que o conjunto quociente Z/ = {0, 1, 2}.
O resto da diviso de um nmero

Exemplo 1.1.25.
quando

Seja

for me de

y.

o conjunto de todas as pessoas e

xA

qualquer,

x, y A

2. No vale a simtrica: sejam

isso signica que

dada por:

xRy

x;

y.

ou seja,

me de

Dessa forma,

no

x;

Exemplo 1.1.26.
quando

no pode ser me de

xRy ,

x, y, z A, xRy
de z e no me.

3. No vale a transitiva: sejam

z,

a relao em

Esta relao no de equivalncia. De fato,

1. No vale a reexiva: seja

me de

Seja

for irmo de

A
y,

av

yRz .

Assim,

o conjunto de todas as pessoas e

ou quando

me de

a relao em

me de

xRy
x e y

dada por:

forem a mesma pessoa (diremos aqui que

so irmos quando so lhos biolgicos dos mesmos pais). Esta uma relao de equivalncia,
pois:
1. Vale a reexiva: se

x A, xRx

2. Vale a simtrica: sejam

x,

logo,

pois,

x, y A

xRy ,

so a mesma pessoa;

ou seja,

y,

irmo de

portanto

irmo de

yRx;

3. Vale a transitiva: sejam

x, y, z A, xRy

yRz .

Como

irmo de

claramente os trs possuem os mesmo pais biolgicos, portanto,

irmo de

irmo de

z,

z,

ou seja,

xRz .
Observe que, se a relao fosse denida apenas como

xRy

teramos uma relao de equivalncia pois no valeria a reexiva

Exemplo 1.1.27.

Seja

um conjunto e

A = A1 A2 A3 . . . An

irmo de

y,

no

uma partio nita de

A,

A que so
dois a dois disjuntos e no vazios. Para x e y A, denimos a seguinte relao: xRy quando
x e y pertencem ao mesmo elemento da partio, isto , xRy existe i {1, . . . , n} tal que
x, y Ai . Esta uma relao de equivalncia. De fato,
isto , uma decomposio de

1. Reexiva: se

x A,

2. Simtrica: se

x, y A

x for
(xRx).

quando

como unio nita de uma famlia de subconjuntos de

claramente
e

xRy ,

x Ai

e assim,

temos que

xRx;

x, y Ai ,

portanto,

yRx;

x, y, z A, xRy e yRz . Dessa forma, x, y Ai e y, z Aj com


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

3. Transitiva: sejam

12

Observe que se os conjuntos no fossem disjuntos dois a dois, ou seja,


ter

na interseco de

Ai

Aj

Ai Aj 6= ,

poderamos

e assim no nos valeria a transitiva e, portanto, esta relao

no seria de equivalncia.

Exemplo 1.1.28.
equivalcia em

A.

Seja

A = {1, 2, 3}.

J vimos que

A A,

assim como

so relaes de

Vimos tambm que quaisquer outras relaes de equivalncia neste conjunto

esto entre essas duas. Seguem estas relaes:

R1 = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 1)};
R2 = {(1, 1), (2, 2), (3, 3), (1, 3), (3, 1)};
R3 = {(1, 1), (2, 2), (3, 3), (2, 3), (3, 2)}.

Exemplo 1.1.29.
2

xRy x = y

A = {x Z | 5 x 10} e R a relao
verifcar que R uma relao de equivalncia:

Sejam

. Vamos

1. Reexiva: se

x A,

2. Simtrica: se

x, y A

xRy ,

yRz ,

portanto,

x2 = y 2 ,

temos que

x, y, z A, xRy

3. Transitiva: se

x 2 = x2 ,

claramente

ento ,

sobre

denida por:

xRx;

portanto

x2 = y 2

y 2 = x2 ,

yRx;

x2 = z 2

e assim

uma relao denida por:

xSy

y2 = z2,

ou seja,

logo,

xRz .

Exemplo 1.1.30.
existe

kN

A como
x = y2 + k.

Seja
2

tal que

1. Reexiva: seja

x A.

2. Simtrica: sejam
que

x y

no exemplo anterior e

Veriquemos agora a relao

Existe

x, y A

k = 0 N,

xSy ,

tal que que

ou seja, existe

S:

x2 = x 2 + k ,

k1 N

tal que

portanto

xSx;

x2 = y 2 + k 1 .

Disso temos

. Consideremos dois casos:

Seja

x2 = y 2 .

Neste caso, existe

Seja

x2 > y 2 .

Neste caso, impossvel que exista

se isto acontecesse, teramos

k2 = 0 N

y x

tal que

k2 N

x2 = y 2 .

um exemplo que mostra que essa relao no simtrica, pois


dio da relao, ou seja, existe

kN

tal que

yRx.

y 2 = x2 + k2 ,
2
2
de que x > y

pois,

Como a propriedade deve

x, y A, temos que a simtrica no vlida.


2

ou seja,

tal que

, que contradiz a hiptese

Sendo assim, temos que a simtrica s vale quando


valer pra quaisquer

y 2 = x2 + k2 ,

O par ordenado

(5, 4)

(5) = (4) + k ,

porm,

(5, 4)

satisfaz a con-

(4, 5)

no a

satisfaz.

k1 , k2 N, tais que x2 = y 2 + k1
2
2
2
2
e y = z + k2 . Subtituindo a segunda na primeira, obtemos x = z + k2 + k1 . Como
k1 , k2 N, claramente k1 + k2 = k N, assim, x2 = z 2 + k , logo xSz .

3. Transitiva: se

x, y, z A, xSy

ySz ,

temos que existem

Com isso conclumos que apenas a simtrica no vlida, o que suciente para que a relao

no seja de equivalncia.

k Z no lugar
de k N, teramos que a relao seria de equivalncia. Com efeito, seja x, y A e xSy , ou seja,
2
2
2
2
2
2
existe k1 Z tal que x = y + k1 , e assim, y = x k1 y = x + k2 com k2 = k1 Z.
Logo, yRx, como queramos.
Observemos que se a relao do exemplo anterior nos desse a condio com

13

Exemplo 1.1.31.
existe

kZ

A ainda como no exemplo 1.1.29 e T denida como segue: xT y


x y 3k = 0. Vamos vericar se T uma relao de equivalncia.

Seja

tal que

1. Reexiva: seja

x A.

Claramente

x x 3k = 0

com

k = 0 Z,

ou seja,

xT x;

x, y A e xT y , ou seja, existe k1 Z, tal que x y 3k1 = 0, o que


implica que x + y + 3k1 = 0 e disso obtemos y x + 3k1 = 0, que pode ser escrito como
y x 3k2 = 0 com k1 = k2 Z e, portanto, yT x;

2. Simtrica: sejam

x, y, z A, xT y e yT z , temos que existem k1 , k2 Z tais que xy3k1 = 0


e y z 3k2 = 0. Isolando o y na segunda equao e substituindo na primeira obtemos
x (z + 3k2 ) 3k1 = 0 e assim, x z 3(k2 + k1 ) = 0, que signica x z 3k = 0, com
k = k1 + k2 Z, ou seja, xRz .

3. Transitiva: se

Portanto, a relao

de equivalncia em

A.

14

Captulo 2

Nmeros Naturais
Desde os primrdios existe a necessidade de contagem e so exatamente os nmeros naturais
que esto envolvidos com esta ideia de quantidade, que considerada bsica nos dias atuais.
Os nmeros naturais tiveram suas origens nas palavras utilizadas para a contagem de objetos,
comeando com o nmero um.
O primeiro grande avano na abstrao foi o uso de numerais para representar os nmeros.
Isto permitiu o desenvolvimento de sistemas para o armazenamento de grandes nmeros. Um
avano muito posterior na abstrao foi o desenvolvimento da ideia do zero com um nmero com
seu prprio numeral. Um dgito zero tem sido utilizado como notao de posio desde cerca de
700 a.C. pelos babilnicos, porm ele nunca foi utilizado como elemento nal. Os Olmecas e a
civilizao maia utilizaram o zero com um nmero separado desde o sculo I AC, aparentemente
desenvolvido independentemente, porm seu uso no se difundiu na Mesoamrica. O conceito
da forma que ele utilizado atualmente se originou com o matemtico indiano Brahmagupta
em 628. Hoje temos este conceito de zero formalizado, poratanto, nossa construo foi feita
incluindo o zero como um nmero natural, porm, outros matemticos, preferem seguir a
tradio antiga e excluir o zero dos nmeros naturais.
Formalizaremos este conceito utilizando uma axiomtica, mtodo que, apesar de ser considerado uma construo, na verdade, apenas assume a existncia do conjunto dos naturais,
satisfazendo axiomas que caracterizam rigorosamente a ideia intuitiva.

Em outras palavras,

assumiremos a existncia do conjunto e mostraremos que ele obedece a tais axiomas.


Esta axiomatizao foi dada por Giuseppe Peano, no nal do sculo XIX, e se apresenta
aqui de forma adaptada a simbologia matemtica atual.

2.1

Axiomas de Peano

Durante a formao de um matemtico, muito se ouve falar sobre o Princpio da Induo


Finita, que , na verdade, um conceito menos intuitivo e imediato do que a ideia de que o
conjunto dos Naturais comea no

e prossegue de um em um.

A seja um subconjunto dos nmeros naturais, contendo o 3 e a propriedade


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

15

Os Axiomas de Peano apresentam a formalizao rigorosa destas ideias intuitivas, utilizando


conceitos j conhecidos ou admitidos aqui, como segue:

Axioma 2.1.1

(AXIOMAS DE PEANO)

Existe um conjunto

e uma funo

s : A A

vericando:
1.

injetora;

2. Existe um elemento em
na imagem de

s,

isto ,

3. Se um subconjunto
(a)

A, que denotaremos
0
/ Im(s).

de

por

0,

e chamaremos de zero, que no est

satiszer os subitens abaixo, ento

X = A:

0 X;

(b) Se

k X,

A funo
sucessor de

x.

ento

s(k) X .

Os axiomas anteriores

expressam, ainda, o fato de que


Temos garantido que tal

0
/ Im(s)

x A, ento s(x) chamado


nos dizem que cada x de A possui sucessor diferente e
sucessor de nenhum elemento de A.

chamada funo sucessor, de modo que, se

no

diferente de vazio, pelo segundo axioma de Peano.

Como

s(0) Im(s), conclumos que 0 6= s(0), e, portanto, A possui pelo menos dois
elementos: 0 e s(0). Da mesma forma, podemos observar que s(s(0)) diferente de 0, pois
0
/ Im(s), e diferente s(0), pois s injetora, ou seja, s(0) 6= 0 s(s(0)) 6= s(0). Assim,
A possui pelo menos trs elementos: 0, s(0) e s(s(0)). Prosseguindo desta forma, conclumos
que s(s(s(0))) tambm est em A e diferente de 0 (pois 0
/ Im(s)), diferente de s(0) (0 6=
s(s(0)) s(0) 6= s(s(s(0))), pois s injetora) e diferente de s(s(0)) (s(0) 6= s(s(0)) s(s(0)) 6=
s(s(s(0))), pois s injetora). Agora temos que A possui pelo menos quatro elementos: 0, s(0),
s(s(0)) e s(s(s(0))).
e

Tomando estes sucessores de forma repetida, vemos que cada elemento novo diferente dos
anteriores mencionados. Isto ser provado rigorosamente neste captulo. Prosseguindo assim,
consideramos

como um conjunto innito, que vamos denir formalmente a seguir.

Denio 2.1.2. Dado um conjunto X , dizemos que ele innito se existir uma funo injetora
f : A X .

Um conjunto dito nito quando no innito.

Em outras palavras, podemos dizer que


bijeo com

A, ou ainda, dizendo que este Y

innito quando possui um subconjunto

equipotente a

A.

em

Uma outra denio de conjunto

innito, equivalente a esta, que existe devido a Georg Ferdinand Ludwig Philipp Cantor (18451918)(ele rompeu com o paradigma grego de que o todo sempre maior do que qualquer uma
das suas partes prprias), a seguinte: um conjunto diz-se innito quando existir uma bijeo

entre ele e um subconjunto prprio dele.


O terceiro axioma de Peano conhecido como Princpio de Induo Finita e ele utilizado
na demonstrao de propriedades que dizem respeito aos nmeros naturais. Veremos muitos
exemplos no decorrer deste captulo.
J o segundo axioma de Peano fala que

0
/ Im(s).

Im(s).
16

O teorema a seguir nos diz quem

Teorema 2.1.3.

Se

s : A A

1.

s(n) 6= n,

2.

Im(s) = A \ {0},
elemento de A.

para todo

n A,

isto ,

a funo sucessor, ento, tem-se:


ou seja, nenhum nmero de
o nico elemento de

sucessor de si mesmo;

que no sucessor de nenhum outro

Demonstrao.
1. Consideremos um subconjunto

de

A,

constitudo dos

B = {n A | s(n) 6= n}. Vamos, atravs


B = A, isto , s(n) 6= n, para todo n A
(a) Pelo axioma 2 de Peano, temos que

nA

tais que

s(n) 6= n,

isto

do princpio de induo nita, mostrar que

0
/ Im(s),

sendo assim,

0 6= s(0),

e, portanto,

0 B;
k A, ou seja, k 6= s(k). Como,
s(k) 6= s(s(k)) e, portanto, s(k) B .

(b) Seja

Assim, pelo princpio de induo nita,

(b) Seja
Logo,

k B.

B = A.

injetora, obtemos que

B = A.

2. Novamente usaremos induo nita. Seja


(a) Claramente,

pelo axioma 1,

BA

dado por

B = {0} Im(s):

0 B;
Com isso

Como

s(k) Im(s) B ,

0
/ Im(s),

da,

conclumos que

s(k) B .

Im(s) = A \ {0}.


Todo elemento de

2.2

A\{0} sucessor de um nico elemento de A, que se chama seu antecessor.

Adio de elementos de

Vamos, agora, formalizar a operao que chamaremos de adio e representaremos por

(+),

que , na verdade, a operao que j conhecemos do ensino bsico.

Denio 2.2.1.

Dado

m A,

denimos recursivamente:

m + 0 = m,
m + s(n) = s(m + n).

m, se p = 0, m + p = m
m + p = m + s(n) = s(m + n).
Isto , xado

e se

p 6= 0, p = s(n)

Esta denio nos fornece o seguinte:

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


ou ainda,

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


17

para algum

n A,

da

e assim por diante. Esta a idia intuitiva que iremos formalizar a seguir utilizando o Princpio

m, n A.

da Induo, que mostra que

m+n

est denido para todos

Proposio 2.2.2.

m+n

est denida para todo par

A soma

Demonstrao. De fato, vamos denir o conjunto


cada
1.

mA

xado arbitrariamente.

m+0

est denido, portanto,

2. Seja
logo

k Sm , isto
s(k) Sm .

m+k

est denida para todo

operao em

de

A.

Sm = {n A | m + n

est denida}, para

0 Sm .

est denido. Temos que

m + s(k) = s(m + k)

est denido,

m arbitrrio, Sm = A para todo m A. Sendo assim,


par (m, n) de A A, o que signica que a adio , de fato, uma

Sm = A .

Logo, pelo axioma 3,

m+n

m, n

Como

A.


Introduziremos agora a notao para os nmeros naturais que conhecida desde o ensino
bsico.

Denio 2.2.3.

Indica-se por

e l-se um o elemento de

que sucessor de

0,

ou seja,

1 = s(0).

Proposio 2.2.4.

Para todo

m A,

tem-se

s(m) = m + 1

s(m) = 1 + m.

Portanto

m + 1 = 1 + m.
Demonstrao. Provemos as duas igualdades:

Temos que

Consideremos agora o conjunto


que

m + 1 = m + s(0) = s(m + 0) = s(m),

ou seja,

m + 1 = s(m);

B = {m A | s(m) = 1 + m}

e provemos por induo

B = A:

1. Claramente

1 + 0 = 1 = s(0),

sendo assim,

s(0) = 1 + 0

e portanto,

0 B.

m B , isto , s(m) = 1 + m. Da s(1 + m) = s(s(m)) e como s(1 + m) =


1 + s(m), obtemos que s(s(m)) = 1 + s(m) e, portanto, s(m) B .

2. Seja, agora,

Sendo assim,

B = A.


J temos as notaes

s(1) = 2

1 = s(0).

(dois),

e assim sucessivamente.
Dessa forma,

s(2) = 3

Vamos denir, agora, a continuao:


(trs),

s(3) = 4

(quatro),

s(4) = 5

(cinco)

Esta a notao indo-arbica de base dez para os elementos de

contm o seguinte conjunto:

{0, s(0), s(s(0)), s(s(s(0))), . . .} = {0, 1, 2, 3, . . .}.


18

A.

O teorema seguinte mostra que os axiomas de Peano formalizam a ideia intuitiva do conjunto
dos nmeros naturais, isto ,

no contm elementos alm desses.

Teorema 2.2.5. A = {0, 1, 2, 3, . . .}


Demonstrao. Seja

N = {0, 1, 2, 3, . . .}

subconjunto de

A.

Veriquemos por induo que

N = A:
1. Por construo

0 N;

2. Novamente por construo,


seja, se
Logo,

n N,

ento

N contm
s(n) N.

o sucessor de qualquer elemento contido nele, ou

N = A.


Denio 2.2.6.

Chamaremos este conjunto

remos, a partir daqui, por

de Conjunto do Nmeros Naturais e denota-

N.

Utilizando a notao anterior, temos as seguintes adies em


1.

1 + 1 = s(1) = 2;

2.

2 + 1 = s(2) = 3;

3.

3 + 1 = s(3) = 4;

4.

3 + 2 = 3 + s(1) = s(3 + 1) = s(4) = 5;

5.

0 + 2 = 0 + s(1) = s(0 + 1) = s(1 + 0) = s(1) = 2.

Denio 2.2.7.

N:

f : X X e IdX a funo identidade no conjunto X . Sendo assim,


n
n1
denimos f = IdX e, para n 1, f = f (f
). Chamamos a funo f n de n-sima iterada
de f , ou ainda, dizemos que f foi iterada n vezes.
Seja

Proposio 2.2.8.
isto , somar

n so naturais quaisquer, ento


somar 1 a m iteradamente n vezes.

Se

vale a igualdade

m + n = sn (m),

Sm = {n N | m+n = sn (m)} para um m natural xado arbitrariamente.


induo que Sm = N

Demonstrao. Seja
Provemos por
1.

s0 (m) = m = m + 0,

portando

0 Sm ;

k Sm , ou seja, m + k = sk (m). Temos ainda que m + s(k) = s(m + k), da, pela
k
k
k
k+1
hiptese, m + s(k) = s(s (m)) = s s (m). Por denio, s s (m) = s
(m) = ss(k) (m),
s(k)
e assim, m + s(k) = s
(m), logo, s(k) Sm .

2. Seja

Como

foi xado arbitrariamente, temos

Sm = N

para todo

m N.


Exemplo 2.2.9.

Segue um exemplo do que acabou de ser demonstrado:

5 + 3 = s3 (5) = s(s2 (5)) = s(s(s(5))) = s(s(6)) = s(7) = 8


19

Vamos enunciar e demonstrar agora uma proposio que ser fundamental para a prova do
prximo teorema.

Proposio 2.2.10. Para todo m N, temos que m+0 = m = 0+m, isto , m um elemento
neutro da adio em

N.

m+0 = m.
A0 = {m N | 0 + m = m}.

Demonstrao. Por denio


o conjunto

1. Por denio

0 + 0 = 0,

portanto

Provemos agora que

De fato, consideremos

0 A0 ;

k A0 , isto , 0 + k = k
s(0 + k) = s(k), ou seja, s(k) A0 .

2. Suponhamos

Logo, por induo, conclumos que

0+m = m.

e provemos que

s(k) A0 .

Com efeito,

0 + s(k) =

A0 = N.


O seguinte teorema mostra as propriedades da adio que so admitidas intuitivamente


desde a escola.

Teorema 2.2.11.

Se

m, n

so nmeros naturais arbitrrios, temos que as seguintes ar-

maes so verdadeiras:
1. Propriedade associativa da adio:

m + (n + p) = (m + n) + p.

2. Propriedade comutativa da adio:

n + m = m + n.

3. Lei do cancelamento da adio:

m + p = n + p m = n.

Demonstrao.
1. Para esta prova, consideremos o conjunto
com

A(m,n) = {p N | m + (n + p) = (m + n) + p}

naturais xados arbitrariamente. Vamos aplicar induo sobre este conjunto.

(a) Temos que

m + (n + 0) = m + n = (m + n) + 0,

(b) Suponhamos que

k A(m,n) ,

isto ,

logo,

0 A(m,n) ;

m + (n + k) = (m + n) + k .

Agora, provemos que

s(k) A(m,n) . De fato,


(m + n) + s(k) = s((m + n) + k), e por hiptese,
(m + n) + s(k) = s(m + (n + k)), da,
(m + n) + s(k) = m + s(n + k), o que signica,
(m + n) + s(k) = m + (n + s(k)), logo, s(k) A(m,n) .
2. Para esta prova, consideremos o conjunto
arbitrariamente e provemos que

An = {m N | n + m = m + n},

com

xado

N = An .

(a) Temos, pela proposio 2.2.10, que

n + 0 = 0 + n,

k An , ou seja, n + k = k + n,
n + s(k) = s(n + k) = s(k + n) = (k + n) + 1,

(b) Suponhamos que

portanto,

e provemos que

da, pelo primeiro item deste teorema,

n + s(k) = k + (n + 1), e pela proposio 2.2.4 obtemos


n + s(k) = k + (1 + n) = (k + 1) + n e assim,
n + s(k) = s(k) + n, o que signica que s(k) An .
20

0 An ;
s(k) An .

De fato,

Conclumos assim, por induo, que


3. Consideremos o conjunto
que

An = N.

A(m,n) = {p N | m + p = n + p m = n}.

Provemos agora

A(m,n) = N.

(a) Temos que

0 A(m,n) ,

(b) Suponhamos

pois

k A(m,n) ,

m + 0 = n + 0 m = n,

isto ,

pela proposio 2.2.10;

m + k = n + k m = n.

Temos que

m + s(k) = n + s(k) s(m + k) = s(n + k)


(m + k) + 1 = (n + k) + 1
m + (1 + k) = n + (1 + k)

pelos itens anteriores

(m + 1) + k = (n + 1) + k
s(m) + k = s(n) + k
s(m) = s(n)

por hiptese

m+1=n+1m=n
Logo,

m + s(k) = n + s(k) m = n,

Desta forma, conclumos que

ou seja,

s(k) A(m,n) .

A(m,n) = N.


O teorema anterior deixa bem claro a importncia da Induo Finita nas demonstraes. A
seguinte proposio um complemento da proposio 2.2.10.

Proposio 2.2.12.
todo

m N.

Ento

Suponhamos que exista

u = 0.

Demonstrao. Temos

Assim,

uN

tal que

m+u=m

(ou

u + m = m),

para

o nico elemento neutro para a operao de adio.

0=0+u=u

para

como na hiptese.


2.3

Multiplicao dos Nmeros Naturais

Assim como foi denida a adio, deniremos agora a operao que chamaremos de multiplicao:

Denio 2.3.1.

Dado

m A,

denimos recursivamente:

m 0 = 0,
m (n + 1) = m n + m.

m, se p = 0, m p = 0
m p = m (n + 1) = m n + m.

Ou seja, xado

Para designar

m n,

e se

p 6= 0, p = n + 1,

usaremos a notao de justaposio

mn.

para algum

n N,

da

Ser enunciado e provado, a

seguir, um teorema com as propriedades da multiplicao, mas antes disso, enunciaremos duas
proposies que sero teis para a demonstrao de tal teorema.

Proposio 2.3.2.

Para todo

m N,

temos que

21

0 m = 0.

Demonstrao. Consideremos o conjunto


mostrar que
1.

S = {m N | 0 m = 0}

e utilizemos induo para

S = N:

00=0

por denio, portanto,

0 N;

k est em S , ou seja, 0 k = 0 e provemos que s(k) S . De fato,


0 s(k) = 0(k + 1) = 0k + 0, por denio, e ainda, 0k + 0 = 0k = 0, por hiptese de
induo. Logo, 0 s(k) = 0, ou seja, s(k) S

2. Suponhamos que

Dessa forma, conclumos que

S = N.


Proposio 2.3.3.

m, n N

Sejam

tais que

m + n = 0.

Ento

m = n = 0.

n 6= 0, isto , n = s(n1 ) = n1 + 1, para algum n1 N. Sabemos


que 0 = m + n = m + (n1 + 1) = (m + n1 ) + 1 = s(m + n1 ), o que um absurdo pois 0 no
sucessor de nenhum elemento de N. Logo, n = 0, sendo assim, m+n = 0 m+0 = 0 m = 0,
Demonstrao. Suponhamos

como queramos.

Teorema 2.3.4.
1.

mn N,

Sejam

m, n, p N,

ento so vlidos os itens abaixo:

isto , a multiplicao uma operao em

1 n = n 1 = n;

2. Existe um elemento neutro multiplicativo:

m(n + p) = mn + mp

3. Distributividade:
4. Associatividade:
5.

(m + n)p = mp + np;

m(np) = (mn)p;

mn = 0 m = 0

6. Comutatividade:

N;

ou

n = 0;

mn = nm

Demonstrao.
1. Consideremos o conjunto

Sm = {n N | mn

est denido} para

mN

xado arbitra-

riamente.
(a)

m0=0

est denido, logo,

0 Sm ;

k N e provemos que s(k) N. De fato, ms(k) = m(k +1) = mk +m.


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

(b) Suponhamos

Sendo assim, por induo


para qualquer

Sm = N .

Como

foi xado arbitrariamente, a igualdade vale

m N.

n1 = n(0+1), e por denio n(0+1) = n0+n = n, logo, n1 = n. Agora, para


mostrar que 1 n = n para todo n N, consideremos o conjunto S = {n N | 1 n = n},
e mostremos que N = S .

2. Temos que

22

1 0 = 0,

(a) Temos que

(b) Suponhamos que

por denio, logo,

k S,

1 k = k . Sabemos que 1 (k + 1) = 1 k + 1,
1 (k + 1) = k + 1. Portanto, k + 1 S .

ou seja,

por hiptese de induo,

da,

S = N.

Sendo assim, por induo

m, n naturais xados
N | m(n + p) = mn + mp}.

3. Sejam

(a) De fato,

0 S;

arbitrariamente e usemos induo sobre

p.

Seja

Am,n = {p

0 Am,n pois m(n+0) = mn e mn+m0 = mn, ou seja, m(n+0) = mn+m0;

k Am,n , isto , m(n+k) = mn+mk , ento (k +1) Am,n .


Com efeito, m(n + (k + 1)) = m((n + k) + 1) = m(n + k) + m = (mn + mk) + m =
mn + (mk + m) = mn + (m(k + 1)). Todas estas igualdades se justicam com base
em propriedades estabelecidas anteriormente. Sendo assim, (k + 1) Am,n .

(b) Mostremos agora que, se

Assim, conclumos, por induo, que

Am,n = N.

m, n N xados
= {p N | m(np) = (mn)p}:

4. Novamente, consideremos

p.

Seja

(a)

Sm,n

m(n 0) = m 0 = 0

(mn) 0 = 0,

arbitrariamente e apliquemos induo sobre

m(n 0) = (mn) 0.

logo,

Assim,

0 Sm,n ;

k Sm,n , isto , m(nk) = (mn)k . Consideremos as seguintes


igualdades: m(n(k + 1)) = m(nk + n) = m(nk) + mn = (mn)k + mn = (mn)(k + 1).
Dessa forma, k + 1 Sm,n

(b) Suponhamos que

Logo,

Sm,n = N.

mn = 0. Suponhamos n 6= 0. Ento n = n1 + 1 para algum n1 em N. Assim,


mn = 0 m(n1 + 1) = 0 mn1 + m = 0, da, pela proposio 2.3.3, mn1 = m = 0. Da
mesma forma, supondo m 6= 0, conclumos que n = 0. Como queramos.

5. Seja

Sm = {n N | mn = nm},
Sm = N:

6. Suponhanhamos
Mostremos que

m0 = 0

(a) Por denio,

para um

e, pela proposio 2.3.2,

m N

0 m = 0,

xados arbitrariamente.

logo,

m 0 = 0 m,

isto ,

0 Sm ;
k Sm ,

mk = km. Temos que m(k + 1) = mk + m = km + m,


por hiptese de induo, e ainda, km + m = (k + 1)m. Sendo assim, m(k + 1) =
(k + 1)m, que signica k + 1 Sm .

(b) Suponhamos

Logo, por induo,

ou seja,

Sm = N.

Como

arbitrrio, a igualdade vale para todo

em

N.


Novamente pudemos perceber o quo importante a existncia do terceiro Axioma de Peano.


Completaremos agora esta parte, mostrando que o elemento neutro, visto no segundo item do
teorema anterior, nico.

Proposio 2.3.5.

Se

pN

Demonstrao. Para um tal

tal que

np = n

p, 1 = 1p = p,

(ou

pn = n),

para todo

n N,

ento

p = 1.

como queramos.


23

2.4

Relao de ordem em

A ideia intuitiva que trazemos desde a escola, de que

menor que

1,

que menor que

e assim sucessivamente, vem da relao de ordem que existe nos naturais, que nos permite

comparar os nmeros deste conjunto, formalizando a ideia intuitiva.

Denio 2.4.1.
quaisquer de

A.

Seja

uma relao binria em um conjunto no vazio

Dizemos que

uma relao de ordem em

x, y, z

elementos

quando satisfaz as seguintes

condies:
1. Reexividade:

xRx;

2. Antissimetria: se
3. Transitividade: se
Dizemos ainda que tal

xRy

yRx,

xRy

x = y;

ento

yRz ,

ento

xRz .

A, diferente de vazio e munido de uma relao R, chamado de conjunto

ordenado.
Vamos denir agora uma relao de ordem em

atravs da operao adio, o que o torna

um conjunto ordenado.

Denio 2.4.2.

Dados

m, n N,

dizemos que

mRn

se existir

pN

tal que

n=m+p

Exemplo 2.4.3.
1. Temos que

pois

7 = 2 + 5;

dado que

4 = 4 + 0.

Proposio 2.4.4.

A relao

2.

4R4,

2R7,

da denio 2.4.2 acima uma relao de ordem em

Demonstrao. De fato, vejamos que valem as propriedades reexiva, antissimtrica e transitiva:


1. Reexiva: dado

m N,

claramente

m = m + p,

para

p = 0 N,

logo,

mRm;

m, n N, mRn e nRm, isto , existem p, q N, tais que n = m + p


e m = n + q . Substituindo a primeira igualdade na segunda, obtemos, m = (m + p) + q
m = m + (p + q), o que signica que p + q = 0, assim, pela proposio 2.3.3, p = q = 0,
logo, m = n;

2. Antissimtrica: sejam

3. Transitiva: Sejam

l, m, n N, lRm

mRn,

ou seja, existem

p, q N

m = l+p
n = (l + p) + q , ou

tais que

n = m + q . Substituindo a primeira igualdade na segunda, obtemos,


ainda, n = l + (p + q). Temos que p + q = r N, portando, podemos reescrever
equao como segue: n = l + r . Sendo assim, conclumos que, lRn.
e

Logo, a relao

de ordem em

N,

a ltima

como queramos.

Denio 2.4.5.
que

Sejam

menor ou igual

signicar

m, n N e R a relao da denio 2.4.2 acima. Se mRn, diremos


a n e passaremos a escrever m n no lugar de R, ou seja, m n

mRn.
24

(A, +) um grupo abeliano e uma relao de ordem em A que satisfaz a b


b = a + c para algum c A. Denotamos por A = A \ {0}, B+ = {x B | x 0} e
B = {x B | x 0}.
Seja

Seguem algumas variaes desta notao:

mn

Se

pode ser escrito como

m n,

m<n

m 6= n,

mas

escrevemos

pode ser escrito como

Proposio 2.4.6.

n m.

Para todo

Leremos

m<n

n>m

maior ou igual a

e dizemos que

e leremos

n N , 0 < n.

menor que

maior que

Em particular,

m;
n;

m.

0 < 1.

p N tal que n = 0 + p (p 6= 0, pois, 0 n, mas


n 6= 0). De fato, como n 6= 0, dado que n N , podemos dizer que, n = s(n1 ) = s(n1 ) + 0 =
0 + s(n1 ), para algum n1 N. Sendo assim, encontramos, n = 0 + p, com p = s(n1 ) N , como
queramos. Temos ainda que 1 = 0 + 1, portanto, 0 < 1.


Demonstrao. Devemos mostrar que existe

Proposio 2.4.7.

Para todo

n N, s(n) > n.

Demonstrao. Novamente, devemos mostrar que

s(n) = n + 1,

claramente

1 6= 0,

logo,

s(n) = n + p,

com

p 6= 0.

De fato, temos que

s(n) > n.


Proposio 2.4.8 (Lei da Tricotomia dos Naturais). Para quaisquer m, n N temos que uma,
e somente uma, das relaes seguintes ocorre:
1.

m < n;

2.

m = n;

3.

m > n.

Demonstrao. Vamos mostrar primeiro que duas delas no podem ocorrer simultanemante e
depois mostrar que obrigatoriamente uma delas deve ocorrer.

Claramente, 1 e 2, no podem ocorrer simultanemante, pois, teramos

p N e m = n, da, subtituindo a
m = m + p e disso, p = 0, o que uma

n = m+p

com

segunda igualdade na primeira, obteramos que,


contradio, pois,

p N .

Da mesma forma, 2 e 3

no podem ocorrer juntas. Suponhamos agora que 1 e 3 ocorram ao mesmo tempo, isto

n = m + p e m = n + q , com p, q N . Substituindo a primeira igualdade na segunda,


obtemos, m = (m + p) + q ou ainda, m = m + (p + q), que nos remete a 0 = p + q . Pela

proposio 2.3.3, conclumos que p = q = 0, o que uma contradio, pois p, q N .

Mostremos esta parte por induo. Seja


com

M = {x N | x = m

ou

x>m

ou

x < m}

sendo um natural qualquer.

1. Temos que

0 M,

pois

0=m

ou

0 6= m.
25

Se

0 6= m,

pela proposio 2.4.6,

0 < m.

2. Suponhamos agora que

k M,

k=m

isto ,

ou

k>m

ou

k < m.

Analisemos os

trs casos:
(a)

k = m k + 1 = m + 1 k + 1 > m k + 1 M;

(b)

k > m k = m + p para p N k + 1 = (m + p) + 1 k + 1 = m + (p + 1)
k + 1 > m k + 1 M;

(c)

k < m m = k + p para p N . Como p 6= 0, temos que p = p1 + 1 com p1 N.


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

Sendo assim, conlumos que, se


Logo, por induo,

k M,

ento

k + 1 M.

N = M.


A Proposio 2.4.8 anterior nos fornece o fato de que dois naturais so sempre comparveis pela relao de ordem acima denida. Chamamos uma relao de ordem que obedece a
tricotomia de relao de ordem total. Veja a seguir uma relao de ordem que no obedece a
tricotomia. Neste caso diremos que uma relao de ordem parcial.

Exemplo 2.4.9.

Sejam

um conjunto e

P(X),

Esta uma relao de ordem em,


De fato, seja

a relao de incluso entre os elementos de

mas s de ordem total quando

um conjunto qualquer.

P(X).

vazio ou unitrio.

Vamos vericar primeiramente que esta uma

relao de ordem:
1. Reexiva: seja

um elemento qualquer de

2. Antissimtrica: sejam

elementos de

P(X).

Como

Y =Y,

P(X), Y Z

claramente,

Z Y.

Y Y;

Disso j temos que

Y = Z;
3. Transitiva: sejam

Y, Z

elementos de

P(X), Y Z

Z W.

Obviamente,

Y W.

Conclumos, assim, que esta uma relao de ordem. Precisamos agora vericar se de ordem
total.

X diferente de vazio e no unitrio, por exemplo, X = {a, b}. Com


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

diferente de vazio e no unitrio.

X = e assim, P(X) = {}. Esta uma relao de ordem total, pois


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

ou seja, satisfaz a tricotomia. Vericamos, assim, que a relao de incluso de ordem em


todo caso, mas relao de ordem total apenas quando

Teorema 2.4.10.
1.

Sejam

a, b, c N.

vazio ou unitrio.

Valem os seguintes itens:

a b a + c b + c;
26

2.

a b ac bc

com

c 6= 0;

Demonstrao.
1.

() a b existe p N
b + c a + c.

tal que

b = a + p.

Da,

b + c = (a + p) + c = (a + c) + p,

() a + c b + c b + c = (a + c) + p para algum p N.
b + c = (a + p) + c b = a + p, logo a b.
2.

Da temos,

logo

b + c = (a + c) + p

() a b b = a + q para algum q N. Suponhamos que bc < ac, ou seja,


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

para q N . Substituindo esta igualdade na anterior, obtemos, bc = (b + q)c + p bc =


bc + qc + p 0 = qc + p 0 = qc = p, da, pelo item 5 do teorema 2.3.4, obtemos que
q = 0 ou c = 0. Como c 6= 0, nos resta que, q = 0, o que uma contradio, pois q N .
Portanto, pela tricotomia, a b.


Note que o teorema anterior vlido com

< no lugar de e a demostrao segue da mesma

forma.

Teorema 2.4.11
que

ac = bc,

ento

(Lei do cancelamento da multiplicao)

Sejam

a, b, c N,

a 6= b.
ac < bc,

tais

a < b ou b < a. Se a < b,


a hiptese de que ac = bc, da mesma
Logo, a = b.


Pela tricotomia devemos ter

pelo teorema anterior, temos,

contradizendo

b < a bc < ac,

Teorema 2.4.12.

c 6= 0,

a = b.

Demonstrao. Suponhamos que

forma,

com

tambm contradiz a hiptese.

Sejam

a, b N.

Temos que

a<b

se, e somente se,

a + 1 b.

Demonstrao.

() a < b b = a + p, com p N , assim, podemos escrever p = s(p1 ) = p1 + 1,


Temos: b = a + p b = a + (p1 + 1) b = (a + 1) + p1 b a + 1.

com

() a + 1 b b = (a + 1) + p, p N b = a + (p + 1) b = a + s(p).
s(p) N , logo, b > a, como queramos.

Obviamente

p1 N .


Conclumos da relao de ordem em

que, se

a N,

0 < 1 < 2 < 3 < . . .. Notemos, ainda,


para todo a N, pois a < r < a + 1 implicaria, pelo
ou seja, a + 1 < a + 1, o que no pode acontecer.
Dessa forma

27

s(a) = a + 1.
existem naturais entre a e s(a),
anterior, que a + 1 r < a + 1,

ento,

que no
teorema

a < s(a),

pois

O prximo teorema aborda um conceito intuitivamente claro desde o Ensino Fundamental:


todo subconjunto no vazio de nmeros naturais possui um menor elemento. Mas antes dele
introduziremos o conceito de menor elemento.

Denio 2.4.13.
de

se

ax

Dado um conjunto ordenado

para todo

Proposio 2.4.14.

Se

A,

dizemos que

um conjunto ordenado que admite um menor elemento, ento este

a1

a2

menores elementos de

a2 A e ainda, como a1 x,
a2 x, x A, logo a2 a1 .

temos que

a1 A

um menor elemento

x A.

menor elemento nico e chamado de elemento mnimo de


Demonstrao. Sejam

aA

A.

Como

e denotado por

a2

minA.

um menor elemento de

A,

x A, temos que a1 a2 . Da mesma forma,


Se a1 a2 e a2 a1 , pela antissimetria a1 = a2 ,

como queramos.


De modo anlogo ao que foi feito no teorema anterior,

maxA o maior elemento ou elemento

mximo de um conjunto ordenado.

Teorema 2.4.15 (Princpio da Boa Ordem).

Todo subconjunto no vazio de nmeros naturais

possui um menor elemento.

N e consideremos o conjunto M = {n N | n
x, x S}. Claro que 0 M . Como S 6= , tomemos s S . Ento s + 1
/ M , pois s + 1
no menor ou igual a s. Assim, M 6= N. Como 0 M e N 6= M , deve existir k M tal que
k+1
/ M , caso contrrio, pelo princpio de induo, M = N.
Armamos que este k o menor elemento de S , isto , k = minS .
Como k M , ento k x, x S . S falta mostrar que k S . Suponhamos que k
/ S.
Ento k < x, x S . Pelo teorema anterior teramos k + 1 x, x S , o que signicaria que
k + 1 M , contradizendo a escolha de k .
Logo k S , como queramos.

Demonstrao. Seja

um tal subconjunto de

Vimos que o Princpio de Induo implica no Princpio da Boa Ordem. Estes dois princpios
so equivalentes. Neste caso assumimos o Princpio de Induo e provamos o da Boa Ordem, mas
poderamos ter assumido o da Boa Ordem e demonstrado o outro como teorema, conseguindo
os mesmo resultados.

Proposio 2.4.16.

Seja

1.

a X;

2.

n X n + 1 X.

Ento, temos que

um subconjunto de

satisfazendo os dois itens abaixo:

{a, a + 1, a + 2, . . .} X .

Demonstrao. Queremos mostrar que se


que

Y = {m N | a + m X} = N.

mN

ento

Consideremos

ele:

28

a + m X,

ou seja, queremos mostrar

dessa forma e apliquemos induo sobre

1.

0Y

pois

a+0=aX

por denio de

X;

k Y e provemos que k + 1 Y . Se k Y , ento a + k X , da, por


X , (a + k) + 1 X , ou ainda, a + (k + 1) X , o que signica que k + 1 Y .

2. Suponhamos agora
denio de
Logo

N=Y.


Proposio 2.4.17.
sk (0),

para todo

proposio anterior,

1 X,

s : N N

a funo sucessor. Para cada

n 1,

tem-se

sn (0) 6=

k < n.

Demonstrao. Seja

1.

Seja

pois

X = {n N | sn (0) 6= sk (0), k < n}.

que X = N :

Vamos mostrar, usando a

s1 (0) = s(0) = 1 6= 0 = s0 (0);

sn (0) 6= sk (0), para todo k < n. Apliquemos s a ambos os lados


n+1
dessa desigualdade, isto , s
(0) 6= sk+1 (0), para todo k < n. Podemos dizer que
sn+1 (0) 6= sl (0) para todo l de 1 at n. Temos ainda que, sn+1 (0) 6= 0 = s0 (0), da
sn+1 (0) 6= s1 (0), para todo l < n + 1, o que diz que n + 1 X , como queramos.

2. Seja

n X,

isto ,

Sendo assim, por induo

X = N .


29

Captulo 3

Nmeros Inteiros
Por conta do rigor matemtico, no adequado seguir a ideia de nmero inteiro que
introduzida na escola.

Faremos aqui uma construo rigorosa com todas as demonstraes

precisas deste conjunto numrico, atravs das noes bsicas de Teoria dos Conjuntos e de
relaes de equivalncia.

3.1

Relao de Equivalncia em

NN

Deniremos aqui, um nmero inteiro como uma classe de equivalncia dada por uma relao
de equivalncia no conjunto

N N.

Dessa forma, o conjunto

dos inteiros ser o conjunto

destas classes de equivalncia. Em seguida, iremos denir duas operaes em

possui uma cpia algbrica de

N.

Deniremos a operao subtrao em

e mostrar que

e nalizaremos a

sua construo.
Comecemos ento denindo esta relao em

Denio 3.1.1.
quando

NN

e provando que de equivalncia:

(a, b), (c, d) N N. Dizemos


a + d = b + c. Denotaremos por (a, b) (c, d).

Teorema 3.1.2.

Sejam

que

(a, b)

est relacionado com

(c, d)

A relao descrita acima de equivalncia.

Demonstrao.

(a, b) N N,

1. Reexiva: Se

ento

a + b = b + a,

por herana da comutativa em

N,

logo,

(a, b) (a, b).


2. Simtrica: Se
que signica,

(a, b), (c, d) NN e (a, b) (c, d), ento, a+d = b+c, e disso, c+b = d+a,
(c, d) (a, b).

(a, b), (c, d), (e, f ) N N, (a, b) (c, d) e (c, d) (e, f ), temos que,
a + d = b + c e c + f = d + e. Assim temos a + d + e = b + c + e e a + c + f = a + d + e,

3. Transitiva:

Se

da,

b + c + e = a + c + f b + e = a + f a + f = b + e.
Logo,

(a, b) (e, f ).

30

Pensando de forma intuitiva, por um momento, considerando a subtrao de inteiros, notamos que

a+d = b+c

equivalente a

a b = c d,

isto , dois pares ordenados so

equivalentes, segundo a denio acima, quando a diferena entre suas coordenadas, na mesma
ordem, coincidem.
Esta foi a forma encontrada pelos matemticos do sculo
do conjunto

XIX

para iniciar a construo

sem mencionar a subtrao, mas trazendo a sua essncia, tendo como ponto de

partida os naturais e suas operaes.


Denotaremos por

(a, b)

a classe de equivalncia do par ordenado

(a, b)

pela relao

isto

(a, b) = {(x, y) N N | (x, y) (a, b)}.

Exemplo 3.1.3.
1.

(3, 2) = {(2, 1), (3, 2), (4, 3), (5, 4), . . .};

2.

(1, 7) = {(0, 6), (1, 7), (2, 8), (3, 9), . . .};

3.

(5, 4) = {(2, 1), (3, 2), (4, 3), (5, 4), . . .}.

Podemos ver que

(3, 2) = (5, 4).

Denio 3.1.4.

O conjunto quociente

(a, b) ser denota por Z e


{(a, b) | (a, b) N N}.
3.2

N N/

constitudo pelas classes de equivalncia

chamado de conjunto dos nmeros inteiros. Assim,

Z = N N/ =

Adio de nmeros inteiros

Deniremos agora a operao

(+)

em

que denominaremos por adio. Voltando nossa

(a b) e (c, d) expressa (c d), a matemtica elementar nos d (a b) + (c d) = (a + c) (b + d). Esta ltima expresso se traduz
em (a + c, b + d). Esta a motivao para a denio formal de (a, b) + (c, d), que daremos a

intuio, se

(a, b)

expressa, em essncia, a diferena

seguir.

Denio 3.2.1.

Sejam

(a, b), (c, d) Z.

A soma

(a, b) + (c, d)

dada por

(a + c, b + d).

Vamos mostrar a seguir que esta operao de adio est bem denida.

Teorema 3.2.2.

Se

(a, b) = (a0 , b0 )

(c, d) = (c0 , d0 ),

ento,

(a, b) + (c, d) = (a0 , b0 ) + (c0 , d0 ),

isto , a adio de nmeros inteiros est bem denida.


Demonstrao. Como

(a, b) = (a0 , b0 ),

temos que,

(a, b) (a0 , b0 ),

ou seja,

a + b 0 = b + a0

(3.1)

c + d 0 = d + c0

(3.2)

Da mesma forma,

31

(a, b) + (c, d) = (a + c, b + d) e (a0 , b0 ) + (c0 , d0 ) = (a0 + c0 , b0 + d0 ).


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

Temos, por denio, que


Devemos mostrar que

dos membros de (3.1) e (3.2), na ordem dada, obtemos,

(a + b0 ) + (c + d0 ) = (b + a0 ) + (d + c0 ) (a + c) + (b0 + d0 ) = (b + d) + (a0 + c0 ).
Portanto,

(a + c, b + d) = (a0 + c0 , b0 + d0 ),

como queramos.

Teorema 3.2.3.

A adio em

comutativa, associativa e tem

(0, 0)

como elemento neutro.

Demonstrao.
1. Comutativa:

(a, b) e (c, d) em Z, temos (a, b) + (c, d) =


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

Devemos mostrar que, dados

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

De fato,

2. Associativa: Queremos mostrar que, dados

(a, b), (c, d) e (e, f ) em Z, temos (a, b)+((c, d)+

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


(a, b) + ((c, d) + (e, f )) = (a, b) + ((c + e, d + f ))
= (a + (c + e), b + (d + f ))
= ((a + c) + e, (b + d) + f )
= (a + c, b + d) + (e, f )
= ((a, b) + (c, d)) + (e, f )
3. Elemento Neutro: Dado

(a, b)

(0, 0)

em

Z.

(a, b) + (0, 0) = (a + 0, b + 0) = (0 + a, 0 + b)
= (0, 0) + (a, b) = (a, b)


Teorema 3.2.4 (Cancelamento da Adio).


Demonstrao. Seja

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

Dados

, , Z

= (e, f ).

+ = + ,

ento

= .

Assim,

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


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


Teorema 3.2.5.
(c, d) Z

tal que

(a, b) Z,
(b, a).

Vale a propriedade do elemento oposto: dado

(a, b) + (c, d) = (0, 0).

Este

(c, d)
32

o elemento

existe um nico

Demonstrao. Provaremos inicialmente a existncia deste elemento oposto e, em seguida, a


sua unicidade.
Seja

(a, b) Z.

Tomemos

(c, d) = (b, a) Z

e assim,

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


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

Sendo assim, existe um elemento

(a, b) + (c, d) = (0, 0).


forma, (c, d), (c0 , d0 ) Z, isto

tal que,

Suponhamos que existam dois elementos distintos desta

(c, d) 6= (c0 , d0 ) c + d0 6= d + c0 .
Como ambos so opostos a

(a, b),

(3.3)

temos:

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


a+c=b+d

(3.4)

(a, b) + (c0 , d0 ) = (0, 0) (a + c0 , b + d0 ) = (0, 0)


a + c0 = b + d0

(3.5)

Somando o primeiro membro de (3.4) ao segundo de (3.5) e o primeiro de (3.5) com o segundo
de (3.4) obtemos:

a + c + b + d 0 = b + d + a + c0 c + d 0 = d + c0 ,
o que contradiz (3.3). Portanto,

(c, d) = (c0 , d0 ),

com queramos.

Denio 3.2.6.
(ou oposto de

Dessa forma,

Dado

Z,

Z, tal que, + = (0, 0) chama-se simtrico de


). Sua unicidade permite que o denotemos por .

o nico

ou inverso aditivo de

+ () = (0, 0)

e, como visto,

= (b, a).

A existncia e unicidade de

oposto de um nmero inteiro permite que denamos uma terceira operao em

Z,

denominada

subtrao.

Denio 3.2.7.
forma: se

A subtrao em

, Z,

ento

Assim, a subtrao

Proposio 3.2.8.

Z, denotada
= + ().

Para

a soma de

, , Z ,

por

(),

a operao denida da seguinte

com o oposto de

vale:

33

1.

() = ;

2.

+ = ;

3.

() = + ;

4.

= ( + );

5.

( + ) = ;

Demonstrao.
1. Seja

= (a, b),

ento,

= (b, a),

e assim,

() = (b, a) = (a, b) = .

2. Seja

= (a, b)

= (c, d).

Claramente,

= (b, a).

Temos:

+ = (b, a) + (c, d) = (b + c, a + d)
= (c + b, d + a) = (c, d) + (b, a)
= .
3. Seja

= (a, b)

= (c, d),

e assim,

= (b, a)

= (d, c).

() = (a, b) (d, c)
= (a, b) + (c, d) = + .
4. Se

= (a, b)

= (c, d),

teremos,

= (b, a)

= (d, c),

e assim:

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


= (b + d, a + c) = (a + c, b + d)
= ((a, b) + (c, d)) = ( + ).
5. Se

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

= (e, f ),

ento,

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

= (f, e)

assim:

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


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

3.3

Multiplicao dos inteiros

Z, a qual denotaremos por () e chamaremos de


(a, b) nos expressa (a b), (c, d) expressa (c d) e

Deniremos a seguir outra operao em


produto.

Pensando intuitivamente, se

34

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

Denio 3.3.1.

Dados

(a, b)

(c, d)

em

temos a motivao para a seguinte denio.

Z,

denimos o produto

(a, b) (c, d)

como sendo

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

Teorema 3.3.2.
(c0 , d0 ), ento,

A multiplicao em

Z est
0
0
(a, b) (c, d) = (a , b ) (c0 , d0 ).

Demonstrao. Seja

(a, b) = (a0 , b0 ),

isto ,

bem denida, isto , se

a + b 0 = b + a0 ,

(a, b) = (a0 , b0 )

(c, d) =

que nos fornece:

ca + cb0 = cb + ca0

(3.6)

da + b0 d = bd + a0 d.

(3.7)

Somando as equaes (3.6) e (3.7) obtemos

ac + bd + a0 d + b0 c = ad + bc + a0 c + b0 d
(ac + bd, ad + bc) = (a0 c + b0 d, a0 d + b0 c)
(a, b) (c, d) = (a0 , b0 ) (c, d).
Do mesmo modo,

(c, d) = (c0 , d0 ) c + d0 = d + c0 ,

(3.8)

de onde obtemos:

a0 c + a0 d 0 = a0 d + a0 c 0

(3.9)

b0 c + b0 d 0 = b0 d + b0 c 0 .

(3.10)

Novamente somando as equaes (3.9) e (3.10) obtemos

a0 c + b0 d + a0 d0 + b0 c0 = a0 d + b0 c + a0 c0 + b0 d0
(a0 c + b0 d, a0 d + b0 c) = (a0 c0 + b0 d0 , a0 d0 + b0 c0 )
(a0 , b0 ) (c, d) = (a0 , b0 ) (c0 , d0 ).

(3.11)

Dessa maneira, observando (3.8) e (3.11), obtemos que

(a, b) (c, d) = (a0 , b0 ) (c0 , d0 ),


como queramos.

Teorema 3.3.3.

A multiplicao em

comutativa, associativa, tem

(1, 0)

como neutro mul-

tiplicativo e distributiva em relao a adio. Alm disso, vale a propriedade do cancelamento


multiplicativo, isto , se

, , Z,

com

6= (0, 0)

Demonstrao.

35

= ,

ento

= .

1. Comutativa: Sejam

= (a, b)

= (c, d)

em

Temos,

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

(3.12)

= (c, d) (a, b) = (ca + db, cb + da).

(3.13)

Podemos ver que (3.12) igual a (3.13), isto ,


signica

Z.

(ac + bd, ad + bc) = (ca + db, cb + da), que

= .

2. Associativa: Sejam

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

() = (a, b) ((c, d) (e, f )) = (a, b) (ce + df, cf + de)


= (a(ce + df ) + b(cf + de), a(cf + de) + b(ce + df ))
= (ace + adf + bcf + bde, acf + ade + bce + bdf ).

(3.14)

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


= ((ac + bd)e + (ad + bc)f, (ac + bd)f + (ad + bc)e)
= (ace + bde + adf + bcf, acf + bdf + ade + bce).
Podemos ver que (3.14) igual a (3.15), logo,
3. Elemento Neutro: Sejam

= (a, b)

(3.15)

() = () .

= (1, 0) Z.

= (a, b) (1, 0)
= (a 1 + b 0, a 0 + b 1)
= (a, b) = .
4. Distributiva: Sejam

(3.16)

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

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


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

(0, 0)

tais que

= ,

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

isto ,

(ae + bf, af + be) = (ce + df, cf + de)


que equivale a

ae + bf + cf + de = af + be + ce + df
36

com

(e, f ) 6=

e disso,

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


(e, f ) 6= (0, 0), temos que e + 0 6= f + 0 e 6= f . Suponhamos e > f (ou
f > e), ou seja, e = f + p, com p N . Com isso, desenvolvendo os dois membros de
Como

cada igualdade teremos:

(f + p)(a + d) + f (b + c) = (f + p)(b + c) + f (a + d)
f a + f d + pa + pd + f b + f c = f b + f c + pb + pc + f a + f d
pa + pd = pb + pc p(a + d) = p(b + c)
a + d = b + c (a, b) = (c, d) = .


Proposio 3.3.4.

Se

Demonstrao. Seja

= (a, b)

, Z

= (0, 0),

ento,

= (0, 0)

ou

= (0, 0).

= (c, d).

= (0, 0) (a, b) (c, d) = (0, 0)


(ac + bd, ad + bc) = (0, 0)
ac + bd + 0 = ad + bc + 0
ac + bd = ad + bc.
Suponhamos

pN

(a, b) 6= (0, 0),

isto

a 6= b.

Dessa forma

a>b

(ou

(3.17)

b > a),

e assim,

a = b + p,

com

. Substituindo esta igualdade em (3.17) obtemos:

(b + p)c + bd = (b + p)d + bc bc + pc + bd = bd + pd + bc
pc = pd.
p N , podemos usar a lei do cancelamento, e concluir que c = d, o que signica que
(c, d) = (0, 0). Analogamente, se supormos que (c, d) 6= (0, 0), concluiremos que (a, b) = (0, 0).

Como

Proposio 3.3.5.

Se

, Z,

1.

() = = ();

2.

()() = .

temos:

Demonstrao.
1. Seja

= (a, b)

= (c, d)

e assim,

= (b, a)

= (d, c).

Dessa forma,

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

(3.18)

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

(3.19)

() = (a, b) (d, c)
= (ad + bc, ac + db)
Claramente, (3.18), (3.19) e (3.20) so iguais, isto ,

2. Consideremos os mesmos

(3.20)

() = = ().

do item anterior:

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


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


Proposio 3.3.6.

, , Z, vlida a
, ( ) = .

Dados

relao a subtrao, isto

propriedade distributiva da multiplicao em

Demonstrao.

( ) = ( + ())
= + ().
Assim, pelo item 1 da Proposio 3.3.5,

( ) = ,

como queramos.

3.4

Relao de Ordem em

Faamos, como em

Denio 3.4.1.

N, uma comparao dos elementos de Z atravs de uma relao de ordem.


quando

a+d

A relao denida anteriormente est bem denida, isto , se

(a, b) =

Dados os inteiros

(a, b)

(c, d),

escrevemos

(a, b) (c, d),

b + c.

Proposio 3.4.2.

(a0 , b0 ), (c, d) = (c0 , d0 )

(a, b) (c, d),

ento,

(a0 , b0 ) (c0 , d0 ).

Demonstrao.

(a, b) = (a0 , b0 ) a + b0 = b + a0 .

(3.21)

(c, d) = (c0 , d0 ) c + d0 = d + c0 .

(3.22)

38

(a, b) (c, d) a + d b + c
a + b0 + d b + b0 + c
a + b0 + d + d0 b + b0 + c + d0 .

(3.23)

Subtituindo (3.21) e (3.22) em (3.23), obtemos

b + a0 + d + d0 b + b0 + d + c0 a0 + d0 b0 + c0
(a0 , b0 ) (c0 , d0 ).


Teorema 3.4.3. A relao denida acima uma relao de ordem em Z, ou seja, reexiva,
antissimtrica e transitiva.
Demonstrao.
1. Reexiva: Seja

= (a, b) Z.

2. Antissimtrica: Sejam

Claramente,

, Z,

(a, b) (a, b),

pois,

(a, b) = (a, b).

Consideremos

= (a, b)

= (c, d)

assim,


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


(c, d) (a, b)
c + b d + a.
Pela tricotomia dos naturais, obtemos que,

a + d = b + c,

isto ,

(a, b) = (c, d).

, , Z, e , com = (a, b), = (c, d) e = (e, f ).


Destas desigualdades obtemos a + d b + c
e
c + f d + e. Sendo assim, existem
p, q N tais que,

3. Transitiva: Sejam

a+d+p=b+c
e

c + f + q = d + e.
Somando os primeiros e segundos membros das duas igualdades, na ordem dada, obtemos

a+d+p+c+f +q = b+c+d+e
a+f +p+q = b+e
Como

p + q N,

conclumos que,

a + f b + e,
39

ou seja,

(a, b) (e, f ),

como queramos.

Teorema 3.4.4.

A relao

1.

+ + ;

2.

compatvel com as operaes em

Z,

isto ,

(0, 0) ;

3. Apenas uma das situaes seguintes ocorre:

= (0, 0)

ou

< (0, 0)

ou

> (0, 0).

Demonstrao.
1. Tomemos

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

= (e, f )

em

Z.

Assim,

(a, b) (c, d) a + d b + c
a+e+d+f b+f +c+e
(a + e, b + f ) (c + e, d + f )
(a, b) + (e, f ) (c, d) + (e, f )
+ + .
Como queramos.
2. Sejam
Sendo

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


assim, existem p, q N, tais que, b + c = a + d + p
e
e = f + q . Temos que,
b + c = a + d + p be + ce = ae + de + pe,

(3.24)

b + c = a + d + p bf + cf = af + df + pf

(3.25)

e = f + q pe = pf + pq.

(3.26)

Somando o segundo membro da igualdade (3.24) com o primeiro da igualdade (3.25) e o


primeiro membro de (3.24) com o segundo de (3.25), obtemos,

ae + de + pe + bf + cf = be + ce + af + df + pf.
Substituindo (3.26) nesta ltima igualdade, obtemos

ae + de + pf + pq + bf + cf = be + ce + af + df + pf
ae + de + bf + cf + pq = be + ce + af + df
ae + de + bf + cf be + ce + af + df
(ae + bf, af + be) (ce + df, cf + de)
(a, b) (e, f ) (c, d) (e, f )
.
40

3. Suponhamos

> (0, 0)

< (0, 0)

simultaneamente, com

= (a, b).

(a, b) > (0, 0) a > b


e

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


o que um absurdo pela tricotomia dos naturais. Suponhamos agora
(ou

> (0, 0))

= (0, 0) e < (0, 0)

simultaneamente.

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


e

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


O seguinte teorema mostra que
isto , a relao

no s ordenado, como tambm, totalmente ordenado,

de ordem total em

Z.

Teorema 3.4.5

(Tricotomia dos Inteiros)

seguintes ocorre:

ou

<

Demonstrao. Suponhamos

ou

<

Para

, , Z,

uma e apenas uma das situaes

< .

<

simultaneamente:

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


< (c, d) < (a, b) c + b < d + a,
absurdo pela tricotomia dos naturais.

Da mesma forma, suponhamos

<

(ou

< )

simultaneamente:

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


= (a, b) = (c, d) a + d = b + c
Absurdo pela tricotomia dos naturais.

Alm disto, novamente pela tricotomia dos naturais,

necessariamente uma das seguintes ocorre:

a + d < b + c,

b + c < a + d,

a + d = b + c.

Isto signica que uma das seguintes deve ocorrer

(a, b) < (c, d),

(c, d) < (a, b),

(a, b) = (c, d).




Teorema 3.4.6.

Para

Demonstrao. Sejam

, Z,

< (0, 0),

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

temos que

= (e, f ).

Temos que,

(e, f ) < (0, 0) e < f (0, 0) < (f, e).


41

Da, como

pelo item 2 do Teorema 3.4.4

(a, b) (f, e) (c, d) (f, e) (af + be, ae + bf ) (cf + de, ce + df )


af + be + ce + df ae + bf + cf + de
(ce + df, cf + de) (ae + bf, af + be)
(c, d) (e, f ) (a, b) (c, d)
.


Denio 3.4.7.

Dado

(a, b) Z,

1.

(a, b)

positivo quando

2.

(a, b)

no negativo quando

3.

(a, b)

negativo quando

4.

(a, b)

no positivo quando

dizemos que:

(a, b) > (0, 0);


(a, b) (0, 0);

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


(a, b) (0, 0);

(a, b) > (0, 0) ento a > b, e assim, existe m N tal que b + m = a, que

equivale (a, b) = (m, 0). Analogamente, se (a, b) < (0, 0), existe m N , tal que a + m = b e

dessa forma, (a, b) = (0, m). Dessa forma, temos que Z = {(0, m) | m N }{(0, 0)}{(m, 0) |
m N }, onde esta unio disjunta. Alm disso,
Observemos que se

Z = {(0, m) | m N },
Z+ = {(m, 0) | m N },
Observemos que
em

Z,

Z+

est em bijeo com

Z = {(0, m) | m N } {(0, 0)}


Z+ = {(m, 0) | m N } {(0, 0)}
N,

o que mostra que

Z+

uma cpia algbrica de

como o seguinte teorema traduz.

Teorema 3.4.8.

f : N Z

Seja

dada por

f (m) = (m, 0).

Ento

injetora e valem as

seguintes propriedades:
1.

f (m + n) = f (m) + f (n);

2.

f (mn) = f (m)f (n);

3. Se

m n,

ento

f (m) f (n);

Demonstrao. Provemos inicialmente que

injetora. De fato,

f (m) = f (n) (m, 0) = (n, 0) m + 0 = 0 + n m = n.


Provemos agora os trs itens. Sejam

m, n N.

1.

f (m + n) = (m + n, 0) = (m, 0) + (n, 0) = f (m) + f (n);

2.

f (mn, 0) = (mn, 0) = (m, 0) (n, 0) = f (m)f (n);

3. Se

m n,

temos que,

(m, 0) (n, 0),

ou seja,

42

f (m) f (n).


O teorema acima nos garante que

um homomorsmo injetor, ou seja, um monomorsmo.

f (N) = Z+ , tem a mesma estrutura algbrica que N. Por exemplo,


2 + 3 = 5, corresponde, via f , a (2, 0) + (3, 0) = (5, 0). Do mesmo modo, 2.3 = 6, corresponde,
via f , a (2, 0) (3, 0) = (6, 0). A relao 2 3 se preserva, via f , como (2, 0) (3, 0),
conrmando a ideia de que a ordem em Z uma extenso da ordem em N. Dizemos que N
um subconjunto de Z.
A funo f descrita acima, chama-se imerso de N em Z, o que mostra, pela Denio 2.1.2,
que Z innito, dado que f injetora.
Notemos que, se m N, o simtrico de (m, 0) (0, m), logo, se identicarmos (m, 0) com
m atravs de f , obtemos m = (m, 0) = (0, m). Dessa forma, identicando N com Z+ , via
f , obtemos o que ser denido a seguir.
Dessa forma, o conjunto

Denio 3.4.9.

Denimos o conjunto dos inteiros como

Z = {m | m N } {0} N = {. . . , m, . . . , 2, 1, 0, 1, 2, . . . , m, . . .}.
Usaremos, a partir de agora, esta identicao e, ento, consideraremos
conjunto de

Z.

como um sub-

Assim podemos obter

a b = (a, 0) (b, 0) = (a, 0) + ((b, 0)) = (a, 0) + (0, b) = (a, b)


conforme nossas motivaes intuitivas feitas anteriormente. Dessa forma, sendo

qualquer, podemos identicar

por

(1) x,

pois, sendo

um inteiro

x = (a, b),

(1) x = (0, 1) (a, b) = (b, a) = (a, b) = x

Teorema 3.4.10.

Se

x, y Z

temos:

1. Se

x>0

y > 0,

ento

xy > 0;

2. Se

x<0

y < 0,

ento

xy > 0;

3. Se

x<0

y > 0,

ento

xy < 0.

Demonstrao.

x e y so elementos positivos de Z, podemos identica-los por x = (x, 0) e y = (y, 0).


Dessa forma, xy = (x, 0) (y, 0) = (xy, 0). Sabemos que (xy, 0) > (0, 0), portanto, xy > 0.

1. Como

2. Pelo Teorema 3.4.6,

x < 0 x > 0

y < 0 y > 0,

sendo assim,

x = (x, 0) x = (x, 0) = (0, x)


e

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


Temos:

xy = (0, x) (0, y)
= ((x)(y), 0)
Sabemos que

((x)(y), 0) > (0, 0),

portanto,

43

xy > 0.

(3.27)

3. Pelo Teorema 3.4.6,

x < 0 x > 0,

sendo assim,

x = (x, 0) x = (x, 0) = (0, x).


Temos:

xy = (0, x) (y, 0)
= (0, (x)y).
(0, (x)y) < (0, 0),

Sabemos que,

portanto,

(3.28)

xy < 0.


Denio 3.4.11.
ormente se existe
Dizemos que

Seja

um subconjunto no vazio de

tal que

Exemplo 3.4.12.
1

x X.
existir Z

para todo

limitado superiormente se

chamado cota superior de

mesma forma,

x,

Z.

Dizemos que

Tal

limitado inferi-

chama-se cota inferior de

tal que

para todo

x X.

X.
Tal

X.

Claramente

0x

para todo

x N Z,

logo,

cota inferior de

N.

Da

e qualquer inteiro negativo tambm o .

Teorema 3.4.13. N no admite cota superior em Z.


Demonstrao. Devemos mostrar que, para todo

Z,

existe

x N,

tal que

< x.

Seja

Z:

Se

< 0,

basta tomar qualquer

Se

= 0,

basta tomar

Se

> 0,

xN

x = 1 N,

da,

que j obtemos

< x;

< x;

N, portanto, s() N. Sabemos que < s(), isto


para todo > 0 em Z, existe x = + 1 N, tal que < x.

ento,

Sendo assim,

< + 1.

Teorema 3.4.14 (Princpio da Boa Ordem).


Ento

Seja

XZ

no vazio e limitado inferiormente.

possui elemento mnimo.

uma cota inferior de X , isto , x para todo x X . Consideremos


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

Demonstrao. Seja
0

Corolrio 3.4.15.

Seja

xZ

tal que

0 < x 1.
44

Ento

x = 1.

A = {y Z | 0 < y 1}. Temos que A 6= , dado que 1 A, e A


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

Demonstrao. Seja

Corolrio 3.4.16.

Sejam

n, x Z

tais que

n < x n + 1.

Ento

x = n + 1.

A = {x Z | n < x n + 1, n Z}. Temos que A 6= (pois n + 1 A),


e A limitado inferiormente por n. Pelo Princpio da Boa Ordem, A possui elemento mnimo,
digamos, m. Como m A, temos que n < m n + 1, de onde segue que 0 < m n 1. Como
m, n Z, m n Z, assim, pelo Corolrio 3.4.15, m n = 1, ou seja, m = n + 1.


Demonstrao. Seja

Vamos agora denir o conceito de mdulo ou valor absoluto de um nmero inteiro.

Denio 3.4.17.
por

|x|,

Seja

x Z.

Denimos o valor absoluto de

(ou mdulo de

x),

denotado

como sendo:

(
|x| =

x,
x,

se
se

x 0,
x < 0.

Exemplo 3.4.18.
1.

| 3| = |3| = 3;

2.

|0| = 0.

Proposio 3.4.19.

Para todo

1.

|x| 0;

2.

|x| = 0 x = 0.

x Z,

temos que:

Demonstrao.
1. Provemos que

Se

x < 0,
|x| > 0;

Se

x > 0,

Se

x = 0,

|x| 0,

por denio,
por denio,

temos que

Assim, para todo


2.

()

Seja

para todo

x Z,

x Z.

|x| = x,

logo,

|x| = x,

|x| > 0;

e ainda, pelo Teorema 3.4.6,

x > 0.

Portanto,

|x| = x = 0.
temos

|x| 0.

|x| = 0.

Se

x > 0,

Se

x < 0, ento |x| = x = 0, isto , x = 0.

ento

|x| = x = 0.

Contradio pela tricotomia;

45

Novamente, contradio pela tricotomia.

Portanto,

x = 0,

como queramos.

()

x = 0.

Logo,

Seja

|x| = x = 0.


Proposio 3.4.20.

Para todo

x, y Z,

temos que

|xy| = |x||y|.

Demonstrao. Consideremos em casos.

Se

x < 0 e y < 0, pelo Teorema 3.4.10, xy > 0, e assim, |xy| = xy . Temos que,
x < 0 |x| = x e y < 0 |y| = y , sendo assim, pelo item 2 da Proposio 3.3.5,
|x||y| = (x)(y) = xy . Logo, |xy| = |x||y|.

Se

x = 0 e y qualquer (ou y = 0 e x
|x| = 0 , claramente, |x||y| = 0 |y| = 0.

x > 0 e y > 0, temos, pelo Teorema 3.4.10, xy > 0, e assim, por denio de mdulo,
|xy| = xy . Pela mesma denio, |x| = x e |y| = y , logo, |x||y| = xy . Portanto,
|x||y| = |xy|.
Se

y > 0 (ou x > 0 e y < 0), pelo Teorema 3.4.10, xy < 0, isto , |xy| = xy .
Temos que,
x < 0 |x| = x e y > 0 |y| = y , sendo assim, |x||y| = (x)(y) =
xy . Logo, |xy| = |x||y|.
x<0

Se

Dessa forma, conclumos que,

|xy| = |x||y|,

xy = 0,
|xy| = |x||y|.

qualquer), temos
Portanto,

para todos

logo,

|xy| = 0.

Como

x, y Z.


Proposio 3.4.21.

Para

n N ,

tem-se:

|x| = n x = n
Demonstrao.

()

Seja

Se

x > 0, |x| = x.

Se

x < 0, |x| = x.

()

Seja

Se

Se

x=n

x = n,
|x| = n.

ou

x = n.

|x| = n.

Sendo assim,
Logo,

x = n.

x = n,

isto ,

x = n.

x = n.

ento,

x = n,

ou

|x| = |n|.

Como

n N ,

obviamente,

n > 0,

logo,

|n| = n,

|x| = | n|. Como n > 0, pelo Teorema 3.4.6, n < 0,


mdulo, | n| = (n) = n. Logo, |x| = n.

ento

por denio de

ou seja,

sendo assim,

Denio 3.4.22.

Um elemento

Proposio 3.4.23.

xZ

diz-se inversvel se existe

Os nicos elementos inversveis de

46

so

yZ
e

1.

tal que

xy = 1.

x Z inversvel e y Z, tal que, xy = 1. Sendo assim, |xy| = |x||y| = 1.


Como |x| 0, |y| 0 e |x||y| = 1, segue que |x| > 0 e |y| > 0, que signica, |x| 1 e |y| 1.
Multiplicando esta ltima desigualdade por |x|, em ambos os membros, obtemos, |x||y| |x|.
Sendo assim, 1 = |x||y| |x| 1, o que nos garante |x| = 1. Da, pela Proposio 3.4.21, x = 1
ou x = 1, como queramos.


Demonstrao. Seja

3.5

Conjuntos enumerveis e a Hiptese do Contnuo

f : N Z,
vai de N em Z,

f (m) = (m, 0), injetora. Outro exemplo


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

Vimos que a funo


de funo injetora que

(m + 1, 0).

Vejamos a seguir, uma

uma outra demonstrao de que

Exemplo 3.5.1.

dada por

innito.

: Z N
(

A funo

(n) =

denida como segue:

2n 1,
2n,

n > 0,
n 0.

se
se

Esta funo bijetora, como veremos adiante.

Denio 3.5.2.
que

Seja

um conjunto qualquer. Se existe uma bijeo entre

enumervel. Dizemos ainda que qualquer bijeo de

chama-se uma enumerao para

1, o
A).

segundo a imagem do

2,

A,

e assim por diante (a imagem do

Exemplo 3.5.3.

dizemos

a imagem do

enumervel e a inversa da bijeo

uma

Z.
Sendo

a funo do Exemplo 3.5.1, a enumerao

1 : N Z

n+1

, se n for mpar,
1
2
(n) =
n

, se n for par.
2
Dessa forma temos:

2.

N,

o zero-simo elemento de

por:

1.

em um conjunto enumervel

segundo a qual o primeiro elemento de

Dessa forma, o Exemplo 3.5.1 nos diz que


enumerao para

8
= 4, isto ,
2
4
1 (3) = = 2, ou seja, o
2

1 (8) =

Podemos ver que

o oitavo elemento de

terceiro elemento de

1 : Z Z,

Z
Z

4.
2.

e ainda,

1 ((n)) = 1 (2n 1) =

(2n 1) + 1
2n
=
=n
2
2

ou

1 ((n)) = 1 (2n) =
47

(2n)
2n
=
= n.
2
2

dada

1 : N N, e ainda,


n+1
n+1
1
( (n)) =
=2
1=n+11=n
2
2

Do mesmo modo,

ou

( (n)) =
Como

1 = Id

1 = Id,

n
2


= 2

ca claro que

n
= n.
2

inversvel, e portanto, bijetora.

Os estudos de Cantor, alm de terem rompido com o paradigma grego de que  o todo

sempre maior do que qualquer uma das suas partes prprias , ainda generalizaram para
conjuntos innitos o fato conhecido para conjuntos nitos de que o nmero de elementos de
um conjunto sempre menor do que o nmero de elementos das partes desse conjunto. Vamos
denotar o nmero de elementos de um conjunto nito

por

(X)

Proposio 3.5.4.

Se

Demonstrao. Seja

A = {n N|(X) = n (P(X)) = 2n }.

1.

0 A, pois,
20 = 1.

se

(X) = n,

(X) = 0,

ento

(P(X)) = 2n

temos que

X = ,

sendo assim,

P(X) = {},

isto ,

(P(X)) =

n A e provemos que n + 1 A, isto , temos (X) = n (P(X)) =


(X) = n + 1, por hiptese, (P(X)) = 2n+1 , como queramos.

2. Suponhamos que

. Se temos

Desta forma, por induo,

A = N.

Portanto, se

(X) = n,

ento

(P(X)) = 2n ,

para todo

n N.

Cantor generalizou para conjuntos innitos a ideia contida na proposio anterior, como
demonstraremos no ltimo teorema deste captulo. Intuitivamente, o tipo de innito de
estritamente maior do que o tipo de innito de

X.

Expressamos este fato dizendo que a

P(X) maior do que a cardinalidade de X .


(P(X)) < (P(P(X))).

cardinalidade de
obtemos

P(X)

Continuando com esse raciocnio,

Tomando partes de conjuntos das partes sucessivamente, chegamos aos conjuntos innitos
de Cantor.

Ele tornou estas questes rigorosas matematicamente atravs da sua aritmtica

transnita. Consideremos agora a cadeia crescente de cardinalidades

(N) < (P(N)) < (P(P(N))) < . . .


Esta cadeia comea com a cardinalidade de

N.

A Denio 2.1.2, nos diz que um conjunto

innito quando existe uma funo injetora que vai de

em

com menor cardinalidade, que permite esta injeo o prprio


de

N
e

X . Claramente, o conjunto
N, sendo assim, a cardinalidade

pode ser considerada a menor innita.

Mostraremos adiante que

X
X,

P(N)

(R) > (N),

alm disso, veremos que

(R) = (P(N)),

ou seja,

so equipotentes. Esta desigualdade um caso particular do que vimos no pargrafo

anterior. A suposio de que no h cardinalidades intermedirias entre a de


trata-se da Hiptese do Contnuo.

48

e a de

P(N),

Chama-se Hiptese Generalizada do Contnuo a suposio de que no h cardinalidades


intermedirias entre duas consecutivas da cadeia acima. O matemtico austraco naturalizado
americano Kurt Godel (1906-1978) provou que a Hiptese Generalizada do Contnuo no
contraditria com outros axiomas da Teoria dos Conjuntos, ou seja, no obtemos contradies
extras na matemtica ao adicionar a Hiptese Generalizada do Contnuo aos demais axiomas
da Teoria dos Conjuntos.
Dessa forma, assumindo a Hiptese do Contnuo, conclumos que entre
cardinalidades distintas das desses dois conjuntos, ou seja, qualquer
equipotente a

N,

ou equipotente a

R e N no so obtidas
subconjunto de R, ou

R.

Demonstraremos agora a generalizao feita por Cantor.

Teorema 3.5.5.

Seja

um conjunto no vazio qualquer. Nenhuma funo

f : X P(X)

pode ser sobrejetora.

x X , f (x) um subconjunto de X . Seja A = {x X|x


/ f (x)}.
Vamos mostrar que A
/ Im(f ). Suponhamos que A Im(f ), isto , que existe a X tal que
f (a) = A. Dessa forma, ou a A ou a X \ A. Se a A, pela denio de A, devemos
ter a
/ f (a). Mas f (a) = A, logo, contradio. Se a X \ A, devemos ter a f (a), o que
tambm contradio, pois f (a) = A. Portanto, A
/ Im(f ), isto , a Im(f ) diferente do seu
contradomnio, ou seja, f no pode ser sobrejetora.


Demonstrao. Para cada

49

Captulo 4

Nmeros Racionais
No contexto do Ensino Bsico, um nmero racional apresentado como a razo entre dois
inteiros, onde razo signica diviso. Aqui deniremos razo e diviso a partir do conjunto dos
inteiros e suas propriedades j demonstradas. Utilizaremos o conceito de relao de equivalncia
a partir dos inteiros, do mesmo modo que o utilizamos para denir um nmero inteiro a partir
dos naturais.

4.1

Construo dos nmeros racionais

Consideremos o conjunto

Denio 4.1.1.
Teorema 4.1.2.

Sejam

Z Z = {(a, b) | a Z

aZ

A relao

b Z .

A relao

b Z }.

dada por

(a, b) (c, d)

quando

ad = bc

denida acima de equivalncia.

Demonstrao.
1. Reexiva: Temos que, se

aZ

a, c Z, b, d Z

2. Simtrica: Se

e
e

b Z , ab = ba,
(a, b) (c, d),

portanto

ento,

(a, b) (a, b).

ad = bc,

ou ainda,

cb = da,

isto ,

(c, d) (a, b).


3. Se

a, c, e Z, b, d, f Z , (a, b) (c, d)

(c, d) (e, f ),

temos:

ad = bc adf = bcf
cf = de bcf = bde
Dessa forma,

adf = bde,

como

d 6= 0, af = be,

que signica,

(a, b) (e, f ).


Consideremos, por um momento, nossas noes intuitivas de nmeros racionais. Temos que,

a
c
= ,
b
d
(a, b) (c, d),
ad = bc

ou seja, se as divises de

por

Exemplo 4.1.3.
1.

(3, 6) (1, 2) (6, 12);


50

por

coincidem, podemos dizer que

2.

(35, 5) (7, 1) (14, 2).

Denio 4.1.4.
do par

(a, b)

(a, b) Z Z ,

Dado

pela relao

denotamos por

acima. Assim,

a
(a
b

sobre

b)

a classe de equivalncia

a
= {(x, y) Z Z | (x, y) (a, b)}
b
3
= {(x, y) Z Z | (x, y) (3, 6)} = {(x, y) Z Z | 6x = 3y}.
6
3
3
3
Com isso, (1, 2) , (6, 12)
e (1, 3)
/ .
6
6
6
Teorema 4.1.6 (Propriedade Fundamental das Fraes). Se (a, b) e (c, d) so elementos
a
c
Z Z , ento = se, e somente se, ad = bc.
b
d

Exemplo 4.1.5.

de

Demonstrao. Pelo item 2 do Teorema 1.1.20, temos:

a
c
= (a, b) (c, d) ad = bc,
b
d
como queramos.

Denio 4.1.7.

Denotamos por

conjunto quociente de

Z Z

Q,

e denominamos por conjunto dos nmeros racionais, o

pela relao de equivalncia

Q = (Z Z )/ =
4.2

Operaes em

Denio 4.2.1. Sejam

a
b

na
b

|aZ

isto ,

bZ

Q
e

c
d

nmeros racionais, isto , elementos de

Q.

Denimos operaes

chamadas de adio e de multiplicao, respectivamente, por:

Denotaremos

Exemplo 4.2.2.
1.

2.

2
3
2
3

a c

b d

por

ad + bc
a c
+ =
b d
bd
ac
.
bd

a c
ac
= .
b d
bd

4
26+34
24
4
=
=
= ;
6
36
18
3
4
24
8
4
=
=
= .
6
36
18
9
+

Teorema 4.2.3.
0

As operaes em

a c
a
c
+ = 0 + 0
b d
b
d
Demonstrao. Por

esto bem denidas, isto , se

a c
a c
= 0 0.
b d
b d
0
0
0
0
hiptese, ab = ba e cd = dc .

a
a0
= 0
b
b

c
c0
= 0,
d
d

ento,

Temos:

a
c0
a0 d 0 + b 0 c 0
+
=
.
b0 d0
b0 d0
0 0
0 0
0 0
Queremos provar que as duas somas so iguais, ou seja, que (ad + bc)b d = (a d + b c )bd, isto
0 0
0 0
0 0
0 0
0
0
0
0
0
0
0
0
, adb d + bcb d = a d bd + b c bd, ou ainda, (ab )(dd ) + (cd )(bb ) = (a b)(dd ) + (bb )(c d), o que
0
0
0
0
fato, pois, ab = ba e cd = dc . Temos tambm:
a c
ad + bc
+ =
b d
bd

51

a c
ac
=
b d
bd
Da mesma forma, queremos provar que

(dc0 )(a0 b),

a0 c 0
a0 c 0

=
.
b0 d 0
b0 d 0

a0 c 0
ac
= 0 0,
bd
bd

isto ,

acb0 d0 = bda0 c0 ,

ou,

(ab0 )(cd0 ) =

que verdadeiro, pela hiptese acima.

Teorema 4.2.4.

O conjunto

propriedades algbricas de

Q,

onde o elemento neutro aditivo

Alm disso, dado um racional


no nulo de

munido das operaes acima, adio e multiplicao, tem as

a
0
6= ,
b
1

existe

possui inverso multiplicativo.

Demonstrao. Sejam

r, s, t Q

com

r=

c
d

em

a
c
, s =
b
d

tal que

t=

1
0
e o neutro multiplicativo .
1
1
a c
1
= , isto , todo elemento
b d
1

e
:
f

1. Comutativa da Adio:

a c
ad + bc
+ =
b d
bd
bc + da
c a
=
= +
db
d b
= s + r.

r+s =

2. Associativa da Adio:

c e
ad + bc e
+ =
+
b d
f
bd
f
(adf + bcf ) + bde
adf + (bcf + bde)
=
=
bdf
bdf


a cf + de
a
c
e
=
+
= +
+
b
df
b
d f
= r + (s + t).

(r + s) + t =

a

3. Elemento Neutro da Adio:

r+

a 0
a1+0b
a
0
=
+ =
= = r.
1
b 1
b1
b

4. Elemento simtrico (ou oposto):


Existe

r0

tal que

r + r0 =

0
.
1

Seja

r + r0 =

r0 =

a
,
b

a a
ab + (ab)
0
0
+
=
=
= .
b
b
bb
bb
1

5. Comutativa da Multiplicao:

rs =

ac
ac
ca
ca
=
=
=
= sr.
bd
bd
db
db
52

6. Associativa da Multiplicao:

 a c  e  ac  e
ace
=
=
bd f
bd f
bdf
 
 
a ce
a ce
=
= r(st).
=
b df
b df

(rs)t =

7. Elemento Neutro da Multiplicao:

1
a1
a1
a
=
=
= = r.
1
b1
b1
b

8. Elemento Inverso:
Se

r 6=

0
,
1

existe

r00

tal que

rr00 =

1
.
1

Seja

r00 =

b
:
a

ab
ab
ab
ab
=
=
=
ba
ba
ab
ab
11
=
pelo item anterior
11
1
.
=
1

rr00 =

9. Distributiva da Multiplicao em relao a Adio:





a c
e
a cf + de
a(cf + de)
r(s + t) =
+
=
=
b d f
b
df
b(df )
f ac + dae
b f ac + dae
b(f ac + dae)
acf + ade
=
=
=
=
bdf
dbf
b
dbf
b(dbf )
bf ac + bdae
ac ae
ac ae
=
=
+
=
+
= rs + rt.
bdbf
bd bf
bd bf


Proposio 4.2.5

(Cancelamento Aditivo e Multiplicativo)

Sejam

r, s, t Q.

Ento, valem

os itens abaixo:
1.

s + r = t + r s = t;

2. Para

r 6=

0
, sr = tr s = t.
1

Demonstrao.
1. Sejam

s=

a
c
, t =
b
d

r=

e
:
f

a e
c
e
af + be
cf + de
+ = +
=
b f
d f
bf
df
(af + be)(df ) = (cf + de)(bf ) af df + bedf = cf bf + debf

s+r =t+r

f (af d + bed) = f (cf b + deb) af d + bed = cf b + deb


a
c
af d = cf b ad = cb = s = t.
b
d
53

2. Sejam

s=

c
a
, t =
b
d

r=

e
0
6= :
f
1

ae
ce
ae
ce
=

=
(ae)(df ) = (ce)(bf )
bf
df
bf
df
a
c
ad = cb = s = t.
b
d

sr = tr

Proposio 4.2.6.

Os elementos

simtrico e inverso de

r,

0
,
1

dessa forma,

u00 r = r00 r,

so nicos e denotam-se por

seja tambm um simtrico de

u00

r1 ,

chamados de

Q,

r.

Assim,

denotada por

u0 + r =

0
1

u0 = r 0 .

1
1
u00 r = e r00 r = , dessa
1
1
0
00
00
u = r (r 6= para possuir inverso).
1


seja tambm um inverso de

A subtrao em

r, s Q,

da, pelo item 1 da Proposio 4.2.5,

da, pelo item 2 da Proposio 4.2.5,

Denio 4.2.7.
forma: se

u0

u0 + r = r0 + r,

Suponhamos agora que


forma,

r00

respectivamente.

Demonstrao. Suponhamos que

r0 + r =

r0

r.

(),

Assim,

a operao denida da seguinte

ento:

s r = s + (r).
Assim, a subtrao

Proposio 4.2.8.

Se

sr

nada mais do que a soma de

r, s Q,

1.

(r)s = rs = r(s);

2.

(r)(s) = rs.

com o simtrico de

r.

ento:

Demonstrao.
1.

 a c
ac
(r)s =
=
= rs
b d
bd

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

 a  c 

b d
 a c
a
c
=
=
pelo item anterior
b
d
b d


ac
ac
ac
=
=
=
pelo item 2
bd
bd
bd
ac
=
= rs.
bd

(r)(s) =

da Proposio 3.3.5


54

Proposio 4.2.9.

Vale a distributiva da multiplicao em relao subtrao:

r(s t) =

rs rt.
Demonstrao. Sejam

r=

a
c
, s =
b
d

t=

e
:
f






a c
e
a c
e
r(s t) =

=
+
b d f
b d
f




ac a
e
ac
ae
=
+

=
+
bd b
f
bd
bf
ac ae

= rs rt.
=
bd bf


Proposio 4.2.10.

Para

Demonstrao. Para

(a, b) Z Z ,

(a, b) Z Z ,

temos que:

a
a
a
a
=
= = .
b
b
b
b

herdando as propriedades dos inteiros temos:

(a)(b) = ab = (a)(b) = (a)(b),


que nos d respectivamente:

a
a
a
a
=
= = .
b
b
b
b

a
Q, ento b pode ser tomado positivo.
b
ordem em Q a seguir.

Segundo esta Proposio 4.2.10, se


utilizado para denir a relao de

4.3

Relao de Ordem em

Denio 4.3.1.
ad bc

Sejam

e dizemos que

Os smbolos
ordem em

, >

a
b
e

a
b

c
d

nmero racionais com

menor ou igual a

<,

Este fato ser

b, d > 0.

a
c

b
d

Escrevemos

c
d

quando

denem-se de forma anloga que que zemos para a relao de

N.

Teorema 4.3.2.

A relao

est bem denida e uma relao de ordem em

Q.

Demonstrao. Vamos mostrar inicialmente que a relao est bem denida.


a0
a
c
a
Seja
= 0 , isto , ab0 = a0 b. Temos que

ad bc, e, como b0
b
b
b
d
ab0 d bcb0 , da, pela igualdade acima, a0 bd bcb0 , de onde conclumos que a0 d
0

a
c

.
b0
d

Do mesmo modo, como

> 0,

obtemos

ou seja,

cb ,

c
c0
= 0 cd0 = dc0 ,
d
d

a0
a0
c
c0
0
0
0
0
0 0
0
0
0 0
0 0
0 0

a
d

cb

a
dd

cb
d

a
dd

c
db

a
d

c
b

.
b0
d
b0
d0
Logo, como

a
c
a0
c
0
b
d
b
d

a0
c
a0
c0
0 0,
b0
d
b
d

Provemos, agora, que esta uma relao de ordem:

55

conclumos que

a
c
a0
c0
0 0.
b
d
b
d

a
a
a
a
a
Q, claramente, = , isto , ;
b
b
b
b
b
a c
a
c c
a
Simtrica: se ,
Q, e , temos que ad bc e cb ad, da, pela tricotomia
b d
b
d d
b
a
c
dos inteiros, obtemos, ad = bc, isto
= ;
b
d
a c e
a
c c
e
Transitiva: se
, , Q, e , temos ad bc e cf ed. Multiplicando
b d f
b
d d
f
f na primeira e b na segunda desigualdade (podemos fazer isto, pois, b, d > 0), obtemos
adf bcf e bcf bed, da, pela transitividade dos inteiros, obtemos, adf bed, ou ainda,
a
e
af be (d > 0), que signica, .
b
f

1. Reexiva: se

2.

3.

Proposio 4.3.3.
1.

Se

r, s, t Q,

so vlidos os itens seguintes:

r s r + t s + t;

2. Se

rs

3. Se

rs

0
,
1
0
t ,
1
t

Demonstrao. Sejam

ento

rt st;

ento

rt st.

r=

a
b

s=

c
d

t=

e
:
f

1.

c
a

da bc daf bcf
b
d
daf + dbe bcf + dbe

pois

f >0

por propriedade dos inteiros

d(af + be) b(cf + de) df (af + be) bf (cf + de)


af + be
cf + de
a e
c
e

+ + .
bf
df
b f
d f
2. Como

t=

e
f

0
,
1

temos

e
0
e 0.
f
1

Assim:

a
c

ad cb
b
d
aedf cebf pois e 0
ae
ce
ae
ce

.
bf
df
bf
df
3. Como

t=

e
f

0
,
1

temos

e
0
e 0.
f
1

f >0

Assim:

a
c

ad cb adf cbf pois f > 0


b
d
aedf cebf pois e 0
ae
ce
ae
ce

.
bf
df
bf
df

56

Como em

Z,

temos aqui:

Q =
Q

na
b

na
b

| (a, b)

Z+

Teorema 4.3.4 (Tricotomia em Q).

Z+

Q+ =

Q =
o

Dados

na
b

 
0

1
r, s Q,

na
b

o
| (a, b) Z+ Z+ ,

| (a, b)
e

Q=

Z+

 
0

,
1

 
0

Q+ .
1

uma, e apenas uma, das situaes seguin-

r < s, ou s < r.
c
a
Demonstrao. Seja r =
e s =
com b, d > 0. Pela tricotomia em Z, ou ad = bc, caso em
b
d
que ocorre r = s, ou ad < bc, caso em que ocorre r < s, ou bc < ad, caso em que ocorre s < r .
tes ocorre: ou

r = s,

Z+

| (a, b)
na

Q+ =

o
| (a, b) Z Z+ ,

ou

Alm disso, s uma delas pode ocorrer.


Vamos ver agora a funo imerso de

em

Q,

a mesma que falamos, de

em

Z,

na

contruo dos inteiros.

Teorema 4.3.5.

A funo

i : Z Q,

denida por

preserva as operaes e a relao de ordem de


1.

i(m + n) = i(m) + i(n);

2.

i(mn) = i(m)i(n);

3. Se

m n,

ento

1.

2.

3.

m 1 = n 1,

em

n
1

injetora.

no seguinte sentido:

ou ainda,

m = n,

logo,

injetora. Se

i(m) = i(n),

i(m) = i(n) m = n,

temos que

portanto,

m
n
= ,
1
1

injetora.

1m+m1
m n
m+n
=
=
+ = i(m) + i(n);
1
11
1
1
mn
mn
mn
=
=
= i(m)i(n);
i(mn) =
1
11
1 1
m
n
mnm1n1
i(m) i(n).
1
1

i(m + n) =

i(Z) =
N em Z,

Novamente temos um homomorsmo injetor, de modo que, o conjunto


uma cpia algbrica de

de

innito.

Alm disso, ela

i(m) i(n).

Demonstrao. Provemos inicialmente que


isto ,

i(n) =

em

mostra que

em

Q.

Como existe uma cpia algbrica de

nn
1


o
|nZ

essa imerso

Faremos agora uma srie de demonstraes para conseguirmos chegar ao teorema que garante
que

enumervel. Antes de enunciar a prxima proposio, devemos lembrar que:

X \ (nN An ) = nN (X \ An )

(4.1)

X \ (nN An ) = nN (X \ An ).

(4.2)

57

Estes resultados esto demonstrados em [9].

Lema 4.3.6.

Todo subconjunto innito de

Demonstrao. Seja

enumervel.

um subconjunto innito de

N.

Pelo Princpio da Boa Ordem,

possui

Y0 = X \ {x0 } no vazio.
Seja agora x1 o menor elemento de Y0 . Como X innito, o conjunto Y1 = X \ {x0 , x1 }
no vazio. Obtidos x0 , x1 , x2 , . . . , xn (n N) dessa forma acima, obtemos xn+1 como sendo o
menor elemento de Yn = X \ {x0 , x1 , x2 , . . . , xn }. A existncia do menor elemento xn+1 se deve
novamente ao Princpio da Boa Ordem, dado que Yn no vazio para todo natural n (pois X
menor elemento, digamos

x0 .

Como

innito, o conjunto

innito).
Temos de (4.3) que

X \ (nN An ) = nN (X \ An ) = nN Yn ,

onde, neste caso,

An =

{x0 , x1 , x2 , . . . , xn }.
Se existisse x X \ (nN An ), esse x tambm seria elemento de nN Yn e, como tal, deveria
ser maior do que x0 , por estar em Y0 , deveria ser maior do que x1 por estar em Y1 e, assim
sucessivamente, x deveria ser maior do que xn para todo n N. Dessa forma, o conjunto
innito nN An = {x0 , x1 , x2 , . . . , xn , . . .} estaria contido no conjunto nito {1, 2, 3, . . . , x}, o
que um absurdo. Portanto, no existe x X \ (nN An ), isto , X \ (nN An ) = , ou ainda,
X = nN An = {x0 } {x0 , x1 } {x0 , x1 , x2 } . . . = {x0 , x1 , x2 , . . . , xn , . . .}, o que signica que
X enumervel.

Enunciaremos um resultado bastante interessante que pode ser demonstrado com as propriedades de

Z,

prova esta que pode ser encontrada em [7], ele chamado Teorema Fundamental

da Aritmtica: todo nmero natural maior que

pode ser expresso como produto de nmeros

primos. Alm disso, essa fatorao nica, a menos da ordem dos fatores.

Lema 4.3.7.

Todo nmero racional positivo

como uma frao irredutvel, isto , na forma


possuem fatores primos em comum.

b, onde k o
a
km
a
m
produto de todos os fatores primos comuns a a e a b. Sendo assim,
=
, da,
= ,
b
kn 0
b
n
m
m
onde m e n so primos entre si, portanto,
uma frao irredutvel. Seja
uma frao
n
n0
m
irredutvel igual a
:
n
Demonstrao. Seja

km

a
(a, b > 0), pode ser escrito, de modo nico,
b
m
, onde m e n so primos entre si, ou seja, no
n

uma decomposio de

kn

uma decomposio de

m0
m
=
m0 n = mn0 .
0
n
n
Pela unicidade da decomposio em fatores primos,
vice-versa e

si, assim como

deve conter os fatores primos de

n),

logo,

m =m

m0

deve conter os fatores primos de

e vice-versa ((pois

so primos entre

n = n.


Proposio 4.3.8. Q+

enumervel.

58

Demonstrao. Consideremos os nmeros racionais escritos na forma irredutvel,


 0  como no lema
m
m
m

m
n
anterior. Seja f : Q+ N dada por f
= 2m 3n . Se f
=f
, ento, 2 3 =
0
n
n
n
0

2m 3n ,

da, pelo Teorema Fundamental da Aritmtica e pela a unicidade da representao

0
0
m
de fraes na forma irredutvel, dada pela proposio acima, 2
= 2m e 3n = 3n , ou seja,
0
m
m
m = m0 e n = n0 , que nos garante que,
= 0 . Logo, f injetora e tem como imagem
n
n

um subconjunto innito de

N,

que , pelo Lema 4.3.6, enumervel. Da segue o que queramos

provar.

Proposio 4.3.9.

A unio de dois conjuntos enumerveis enumervel. Alm disso, a unio

de uma famlia nita de conjuntos enumerveis enumervel.


Demonstrao. Sejam

dois conjuntos enumerveis.

Claramente, ou

AB =

ou

A B 6= .
A B = :
existe f1 : A N

Suponhamos primeiro que

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

A B = , f est bem denida e, como Np Ni = N, A B enumervel.


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

bijetora. Como

enumervel, como queramos.

Proposio 4.3.10. A unio de um conjunto nito com um conjunto enumervel enumervel.


X um conjunto enumervel, isto , existe g : N X , bijetora. Seja
tambm Y = {y1 , y2 , . . . , yn } com n N um conjunto nito qualquer. Temos que, ou X Y =
ou X Y 6= .
Suponhamos primeiro que X Y = :
Assim, podemos ter f : N X Y dada como segue:

Demonstrao. Seja

59

(
f (k) =
Esta funo est bem denida, pois

yk
g(k n)

se
se

X Y =

1 k n,
(n + 1) k.

e, claramente, bijetora, portanto,

X Y

enumervel.

X Y 6= :
C = X \ Y , um conjunto

Seja agora,
Seja

X Y = C Y . Temos Y C = por construo,


acima, C Y enumervel, logo, X Y tmabm .


tal que

portanto, pelo que j foi demonstrado

Teorema 4.3.11. Q enumervel.


Demonstrao. Se escrevermos
clumos diretamente que

Q {0} Q+ ,

como

pelas Proposies 4.3.9 e 4.3.10 con-

enumervel.


O conjunto dos nmeros racionais est munido das duas operaes, adio e multiplicao,
estudadas no decorrer deste captulo, alm da subtrao e diviso, que so denidas a partir

() e :, respectivamente. A subtrao j foi denida


r, s Q, r s = r + (s). J a diviso, dada da seguinte forma:

das duas primeira e simbolizadas por


anteriormente como: se

Denio 4.3.12.

Sejam

r, s Q

com

s 6= 0.

Dizemos que

dividido por

dado por

r : s = r s1 .
Olhando a denio exatada de operao, podemos ver que, a diviso no uma operao
em

Q,

dado que o seu domnio

Proposio 4.3.13.

Se

Q Q

a, b Z,

com

Demonstrao. Pela Denio 4.3.12,

Dessa forma, identicando


acima se escreve

a
a:b= .
b

Proposio 4.3.14.
Demonstrao.

Se

e no

b 6= 0,

Q Q.

ento

a b
a
: = .
1 1
b

a b
a 1
a1
a
: = =
= .
1 1
1 b
1b
b

Z com sua cpia algbrica i(Z) em Q,

a c
, Q,
b d

com

c
0
6= ,
d
1

ento


a igualdade da proposio

a c
ad
: =
.
b d
bc

a c
a d
ad
: = =
.
b d
b c
bc

a
b
usual, nos textos elementares de matemtica, adotar-se a notao c para
d
dendo a notao da proposio anterior.

Proposio 4.3.15.

Admitindo a identicao de

valem:
1. Se

rs = 0,

ento

s=0

ou

r = 0;
60

com

i(Z),

para

r, s

a c
: ,
b d

exten-

racionais arbitrrios,

2. Se

r>0

s > 0,

ento

rs > 0;

3. Se

r>0

s < 0,

ento

rs < 0;

4. Se

r<0

s < 0,

ento

rs > 0;

5. Se

r > 0,

ento

r1 > 0;

6. Se

r < s,

ento

r < (r + s) 21 < s;

Demonstrao. Sejam

1. Suponhamos

r=

c
6= 0,
d

a
b

s=

ou seja,

c
.
d

c 6= 0:

ac
ac
=
= 0 ac = 0 a = 0,
bd
bd
portanto,

a
= 0.
b

Da mesma forma, supondo

queramos;
2.

3.

4.

5.

a
>0a>0
b
a
>0a>0
b
a
<0a<0
b
a
> 0 a > 0.
b

6. Se

r < s,

isto ,

c
> 0 c > 0,
d
c
< 0 c < 0,
d
c
< 0 c < 0,
d

Temos que

temos que,

b > 0,

2r < r + s

a
6= 0,
b

conclumos que

sendo assim,

ac > 0,

logo

sendo assim,

ac < 0,

logo

sendo assim,

ac > 0,

logo

por conveno, sendo assim,

r + s < 2s,

da,

como

ac
> 0;
bd
ac
< 0;
bd
ac
> 0;
bd
b
> 0,
a

2r < r + s < 2s

a
a c
c
a
c c
1 a
2 < + <2 <2
+
< ,
b
b d
d
b
b d
d
e

c
= 0,
d

isto ,

r1 > 0;

e assim,

r < 21 (r + s) < s.


Teorema 4.3.16. Q no bem ordenado.


Demonstrao. Devemos provar que existem subconjuntos de

Q non vazios, limitadosoinferiora


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

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




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

61

Acabamos de ver que

no um conjunto bem ordenado como

de todas as propriedades aritmticas de

Z,

porm, ele possui, alm

Z, a propriedade de que todo elemento no nulo possui

inverso.

Denio 4.3.17.

Sejam

(K, +, )

um conjunto munido de duas operaes. Dizemos que

um corpo, se:
1.

so associativas;

2.

possuem elementos neutros distintos;

3.

possui elemento simtrico e

elemento inverso, para todo elemento distinto do neutro

da adio;
4.

5.

so comutativas;

distributiva em relao a

+.

E ainda, se este corpo tiver uma relao de ordem compatvel com suas operaes, ele
chamado de corpo ordenado.
Um exemplo de tal corpo ordenado

Q.

Vejamos a seguir uma propriedade de corpos

ordenados em geral.

Proposio 4.3.18.
por

Seja

e a relao de ordem denotada por

Demonstrao. Se
2

x > 0,

logo, para

+
x K.

um corpo ordenado, cujo elemento neutro de

x < 0, temos que x2 > 0,


2
todo x K , x 0.

Ento
se

0x

x = 0,

para todo

ento

x2 = 0

e, se

representado

x > 0,

temos que

Teorema 4.3.19. Q no possui elemento mximo e nem mnimo.


Demonstrao. Suponhamos que exista um elemento mximo em

a
m

b
n

m
mx = , isto ,
n
m
m+n
<
, o que
n
n

digamos,

m
m+n
+1 =
Q, alm disso,
n
n
contradiz a maximalidade de mx , portanto Q no possui um elemento mximo.
mesma forma, obtemos que Q no possui um elemento mnimo.
para todo

a
Q.
b

Q,

Claramente,

Procedendo da


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

J vimos que um conjunto


tal que

xb

para todo

partir disso a seguinte denio:

Denio 4.3.20. Seja X Q limitado superiormente e no vazio.


X quando a menor das cotas
de X . Em outras palavras, b o

Um nmero

X , isto , quando
X quando cumpre as

se o supremo do conjunto

superiores de

a cota superior mnima

supremo de

seguintes condies:

x X,

tem-se

tal que

xc

1. Para todo
2. Se

cQ

x b;
para todo

xX

ento

62

b c;

b Q, chama-

b = sup X

Escrevemos

para indicar que

o supremo do conjunto

X.

O nmo de um

conjunto dado analogamente, sendo a maior das cotas inferiores (cota inferior mxima de
e, escreve-se

a = inf X ,

quando

o nmo do conjunto

Temos que, se existe o supremo

de

X,

X)

X.

ento este supremo nico. De fato, suponhamos

b2 . Dessa forma, x b1 para todo x X e, se c Q tal que


x c para todo x X , ento b1 c. Analogamente x b2 para todo x X e, se c Q tal
que x c para todo x X , ento b2 c. Da, como b1 , b2 Q, ento b1 b2 e b2 b1 , logo
b1 = b2 .
b1

que existam dois supremos

Denio 4.3.21.
a, b K ,

existe

Seja

nN

um corpo ordenado.

tal que

Dizemos que

arquimediano se, dados

n a > b;

Teorema 4.3.22.
1. O conjunto

NQ

no limitado superiormente;


2. O nmo do conjunto
3.

X=

1
| n N
n


igual a

0;

um corpo arquimediano.

Demonstrao.

a
n para todo n N. Como, por conveno,
b
a

b > 0, temos que


, a, b N . Dessa forma, b 1 e, assim, a
.
b
a
a

Se a >
, como a N , encontramos uma contradio com o fato de que
um limitante
b
b
superior de N em Q.
a
a

Se a =
, ento a + 1 > a =
e, como a N a + 1 N, encontramos uma
b
b
a
contradio com o fato de que
um limitante superior de N em Q. Logo, N no
b
limitado superiormente em Q;
a
Q
b
a, b Z+ , isto

1. Suponhamos que exista

2. Claramente,
inferior de

X.

tal que

uma cota inferior de


Dado

c > 0,

X.

existe, pelo item 1, um nmero natural

como queramos;
3. Dados

a, b Q,

usamos 1 para obter

c > 0 cota
1
1
< c,
n > , da,
c
n

Basta ento provar que nenhum

nN

tal que

n>

b
.
a

Ento,

n a > b.


As trs propriedade acima so equivalentes. Vale ressaltar que estas propriedades so vlidas
desta mesma forma, no s para

Q,

mas tambm para todo corpo ordenado.

63

Captulo 5

Nmeros Reais
Os nmeros reais foram construdos de duas formas diferentes, a partir dos racionais. Uma
delas foi por Classes de Equivalncia de Sequncia de Cauchy e foi dada por Cantor. A outra
foi atravs dos Cortes de Dedekind. Faremos aqui, esta ltima, que foi apresentada por Julius
Wilhelm Richard Dedekind, inspirado na Teoria das Propores de Eudoxo.
Quando se fala deste conjunto no contexto escolar, diz-se que nem todos os pontos da reta
correspodem a nmeros racionais, sendo que a esses pontos correspondem a nmeros chamados
irracionais. Geralmente isto introduzido exemplicando a diagonal do quadrado de lado

1.

Neste mesmo contexto, admite-se que a representao decimal dos nmeros racionais
sempre peridica e toda representao decimal peridica representa um nmero racional. Sendo
assim, deni-se nmero irracional como sendo aqueles que possuem representao decimal no
peridica. Dessa forma, chama-se conjunto dos nmeros reais aquele constitudo pelos racionais
e irracionais.
Estas so formas nas quais os nmeros reais so abordados na matemtica escolar, entretanto, faremos aqui uma construo rigorosa deste conjunto a partir dos nmeros racionais com
suas propriedades, assim como foi feito nos conjuntos anteriores.
Vamos, inicialmente, denir a noo de corte de Dedekind, considerar o conjunto de todos os
cortes, denir a adio e multiplicao nele e, em seguida, mostrar que ele possui as propriedades
aritmticas de

e mais uma propriedade que

no possui.

cortes de conjunto dos nmeros reais, que ser denotador por

5.1

Chamaremos este conjunto de

R.

Cortes de Dedekind

Denio 5.1.1. Um conjunto de nmeros racionais diz-se um corte se satiszer as seguintes


condies:
1.

6=

2. Se

6= Q;

3. Em

s < r (s

s ;

no existe elemento mximo.

Exemplo 5.1.2.
1.

racional) ento

A 6= ,

pois


O conjunto

0A

A=

A 6= Q,

3
xQ|x<
5

pois

1Q


um corte:

1
/ A;

64

2. Seja

rA

s < r,

s<r<

assim,

3
,
5

3. Suponhamos que exista uma mximo em

r A.

3
m< ,
5

Sabemos que

B 6= ,

2. Seja
Logo,

1B

pois

rB

O conjunto

digamos

m.

s A;

m.

Logo,

r m para todo
3 1 3
m+
2 < ,o
5
5

Sendo assim,


m<

no possui mximo.

B 6= Q,

s < r.

B=

3
xQ|x>
5

pois

Tomemos

0Q

r=1


no um corte:

0
/ B;

s = 0,

assim,

s < r,

entretanto,

C 6= ,

2. Seja

O conjunto

0C

pois,

rC

3. Temos que

s < r,

3
5



3
C= xQ|x
5

C 6= Q

assim,

pois

1Q

s<r

para todo

3
,
5

x C.

no um corte:

1
/ C;

logo

s<

3
,
5

isto ,

s C;

Sendo assim, podemos ver que

m=

deste conjunto, por denio de mximo.


Portanto,

D 6= ,

2. Seja
Logo,

3
,
5

o mximo

no um corte.

Exemplo 5.1.5.
1.

s
/ B.

no um corte.

Exemplo 5.1.4.
1.

isto ,

um corte.

Exemplo 5.1.3.
1.

A,

3
,
5

portanto, pela Proposio 4.3.15,

que contradiz a maximalidade de


Portanto,

s<

logo

O conjunto

pois,

0D

3 < r <

8
5



8
D = x Q | 3 < x <
5

D 6= Q

s < r.

pois

2Q

Tomemos

no um corte:

2
/ D;

s = 4

r = 0.

Assim,

s < r,

entretanto,

no um corte.

Exemplo 5.1.6. E = Q \ {0} no um corte.


1.

E 6= ,

2. Seja

pois,

rE

Sendo assim,

1E
s < r.

F 6= ,

2. Seja
Portanto,

pois,

rF
F

E 6= Q

pois

Tomemos

0Q

s=0

0
/ E;

r = 1.

Assim,

s < r,

entretanto,

s
/ E.

s < r,

entretanto,

s
/ F.

no um corte.

Exemplo 5.1.7. F =
1.

3
1, 4,
5

1F
s < r.

F 6= Q

pois

Tomemos

0Q

s=0

0
/ F;

r = 1.

no um corte.

65

Assim,

s
/ D.

Proposio 5.1.8.

Sejam

um corte e

r Q.

Ento,

cota superior de

se, e somente

r Q \ .

se,

Demonstrao.

()

Se

uma cota superior de

pelo item 3 da denio de corte,

r Q \ .
() Seja r Q \

ento

x r,

x , entretanto,
portanto r no est em ,

para todo

no possui elemento mximo,

isto ,

s .

r ,
.

item 2 da denio de corte,


,

uma cota superior de

r s,

Temos que, ou

ou

r < s.

Se o segundo caso ocorre, pelo

o que uma contradio com a hiptese, logo,

r s,

isto

Proposio 5.1.9.

rQ

Se

= {x Q | x < r}

ento

um corte e

a menor cota

superior de

Demonstrao.
1.

6= ,

2. Sejam

x=r1

pois

t < s.

Assim,

6= Q

t < s < r,

logo

r
/ ;

t < r,

ou seja,

t ;

x s para todo x . Como s , ento s < r,


da, s < (s + r)2
< r. Como (s + r)21 Q e (s + r)21 < r, ento (s + r)21 ,
o que contradiz a maximalidade de s, portanto, no possui um elemento mximo.

3. Suponhamos que exista

rQ

pois

tal que

s < r, o que implica que s , assim s


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

Seja

sQ

uma cota superior de

Suponhamos que

Denio 5.1.10.

Os cortes do tipo da proposio anterior so chamados cortes racionais e

se representam por

r .

Proposio 5.1.11.

Todo corte que possui cota superior mnima racional.

r, isto , x r para todo x .


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

Demonstrao. Seja

um corte com cota superior mnima

Faremos a seguir um exemplo importante para concluir a prxima demonstrao.

Exemplo 5.1.12.
que o nmero

A equao

x2 = 2

no tem soluo em

b Z

De fato, s precisamos mostrar

o qual soluo desta equao no um nmero racional. Suponhamos por

absurdo que seja.


Se tal

Q.

racional ento ele tem forma

a
b

com

a Z, b Z

ao quadrado ambos os membros da equao

66

obtemos

isto ,

x=

a
, a Z,
b

m.d.c : (a, b) = 1. Elevando


a2
2 = 2 , ou seja, a2 = 2b2 . Isto
b

e ainda podemos admitir, sem perda de generalidade, que

a
x= ,
b

b 6= 0,

implica que

a2

par, da, podemos armar que

tambm par (quadrado de um nmero par

um nmero par e o quadrado de um numero mpar um nmero mpar). Vamos indicar a

a = 2m.
2
2
2
2
2
2
2
Agora, a = 2b (2m) = 2b 2m = b . Isto signca que b par, novamente,
podemos armar que b tambm par. Conclumos que a par e b par, logo, o m.d.c(a, b) = 2,
o que uma contradio, uma vez que o m.d.c(a, b) = 1. Portanto, x
/ Q.
por

Teorema 5.1.13.

= {x Q | x 0} {x Q | x2 < 2}.

Seja

Ento

um corte que no

racional.
Demonstrao.
1.

6=

2. Sejam

pois

6= Q

pois

2Q

2
/ .

s Q, s < r.

Se

s0

ento

Se

s>0

s ;

s < r,

ento

s2 < r2 < 2,

isto ,

s ;

r possvel encontrar um racional s tal que r < s.


r , logo r2 < 2.

3. Para cada
que

Se

r 0,

Se

r > 0 e r2 < 2, tomemos h Q, 0 < h < 1 e h <

pois

ento

s=1

r < s;

arquimediano). Seja

De fato, suponhamos

s = r + h,

logo

2 r2
(existe h nessas condies,
2r + 1
s Q, s > r .

s2 = r2 + h2 + 2rh = r2 + (h + 2r)h. Como 0 < h < 1 , s2 < r2 + (1 + 2r)h,


2 r2 2
2
2
como h <
, s < r + (2 r ) = 2. Portanto, s e r < s.
2r + 1

Temos
da,

Sendo assim,
Disto temos que

no possui um elemento mximo.

um corte.

no possui cota superior mnima. Os racionais que no pertencem


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

q = p 2p
Portanto,

q<p

q 2 > 2,

p2 2
2p


+

p2 2
2p

2


=2+

p2 2
2p

2
> 2.

como queramos.

Teorema 5.1.14.

Seja

um corte. Se

67

q
/ ,

ento

p < q.

Demonstrao. Uma vez que

so nmeros racionais e a relao de ordem usual em

uma ordem total podemos armar que


Se

p = q,

ou

p<q

p > q.
Se p

ou

q , o que contradiz a hiptese.


corte que q , mas isto contradiz, novamente,

ento

da denio de
resta que

p=q

q<p

segue da condio 2

nossa hiptese. Portanto, nos

q > p.


Desta forma, os elementos de um corte


riores de
de

sero, daqui por diante, chamados nmeros infe-

enquanto que os racionais que no esto em

sero chamados nmeros superiores

.
Denotaremos, a partir daqui, por

5.2

Relao de ordem em

Inicialmente, deniremos em

Denio 5.2.1.
quando

\ 6= .

Sejam

o conjunto de todos os cortes.

uma relao de ordem.

, C .

Dizemos que

Em outras palavras,

<

menor do que

se existe um racional

<
p
/ .

e escrevemos

tal que

Exemplo 5.2.2.
1.

 
4
5 >
,
5

2.

1 > 0

3.

(1) < 0 ,

4. Se

pois

pois

 
4
1 5 \
;
5

1
1 \ 0 ;
2
1

pois 0 \ (1) ;
2

= {x Q+ | x2 < 2} Q ,

Denio 5.2.3.
corte negativo. Se

ento

< 2 ,

pois

18
2 \ .
10

C e > 0 , chama-se corte positivo. Se < 0 , chamado


0 , no negativo e se 0 , ele chama-se corte no positivo.
Se

Proposio 5.2.4.

Para

1.

<

2.

, C ,

de

valem as equivalncias:

6= ;

Demonstrao.
1.

() < existe p tal que p


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

2.

() < ou = . Se < , pelo item anterior .


obviamente .
() implica, pelo item anterior, que < , ou seja, .
68

Se

= ,

Teorema 5.2.5

(Tricotomia)

, C ,

Sejam

ento uma e somente uma das possibilidades

a seguir ocorre:

=
Demonstrao. Se

= ,

<

ou

< .

ou

temos por denio de igualdade de conjuntos que,

da pelo

. Se < , obteramos uma contradio, pois, pelo item 1


desta mesma proposio teramos, 6= . Portanto, a igualdade = , exclui as outras duas
possibilidades. Temos ainda que, < ou < excluem = , pelo item 1 da Proposio
5.2.4. Veriquemos agora que as posibilidades < e < se excluem mutuamente. Para
isto, suponhamos que < e < ocorrem ao mesmo tempo.
(
< e 6= ,
< e 6= .
item 2 da Proposio 5.2.4,

Dessa forma temos

6= ,

o que um absurdo, por denio de igualdade de

conjunto.
Devemos mostrar ainda que uma das trs deve ocorrer. Temos que

no h o que provar. Se

e, no segundo caso,

< ,

6= ,

ento

\ 6=

\ 6= .

ou

ou

No primeiro

6= . Se
caso, <

por denio.

Teorema 5.2.6.

A relao

uma relao de ordem em

C.

Demonstrao.
1. Reexiva: Seja

C.

2. Antissimtrica: Sejam
3. Transitiva: Sejam

Obviamente

= ,

, C ,

, , C ,
(

portanto,

Pela tricotomia,

,
.

Temos que a incluso de conjuntos transitiva, portanto,

da

= ;

implicam que

.


5.3

Operaes em

Iniciaremos esta seo enunciando um teorema fundamental para a denio da operao


de soma nos cortes.

Teorema 5.3.1.

Sejam

, C .

Se

Demonstrao. Devemos mostrar que

= {r + s | r

s },

ento

C.

C , isto , provar que satisfaz as trs considies para

ser um corte:

69

6= e 6= , claramente 6= . Sejam t Q \ e u Q \ . Sendo assim, t > r


para todo r e u > s para todo s , da, t + u > r + s, para todo r e para todo
s . Sendo assim, t + u
/ , logo 6= Q.

1. Como

r e s Q com s < r. Como r , temos que r = p + q com p e q , da,


s < p + q . Sendo assim, podemos tomar q 0 < q (como corte, q 0 ) tal que s = p + q 0 ,
portanto, s .

2. Sejam

3. Devemos mostrar que

r < s. De fato, temos que r = p + q com p


p < p0 , o racional s = p0 + q e maior do que r.

tal que
que

r , existe s
q . Como existe p0 tal

no possui elemento mximo, isto , para todo


e

Denio 5.3.2.

Denotamos por

e chamamos soma de

o corte

do teorema

anterior, isto ,

+ = {r + s | r

Teorema 5.3.3.

A adio em

s }.

comutativa, associativa e tem

como elemento neutro.

Demonstrao.

, C . Devemos mostrar que + = + . De fato, tomemos


r + s + tal que r e s . J vimos que a comutativa vlida em Q, portanto,
r+s = s+r. Sabemos que s+r + com s e r , sendo assim, r+s +. Da,
+ + . Da mesma forma podemos concluir que + + , logo, + = + .

1. Comutativa: sejam

, , C . Devemos mostrar que + ( + ) = ( + ) + . De fato,


tomemos r + (s + t) + ( + ) tal que r , s e t . J vimos que a associativa
vlida em Q, portanto, r + (s + t) = (r + s) + t. Sabemos que (r + s) + t ( + ) + com
r , s e t , sendo assim, r+(s+t) (+)+ . Da, +( +) (+)+ . Da
mesma forma, podemos concluir que, (+)+ +(+), logo, +(+) = (+)+ .

2. Associativa: sejam

+ 0 = . Seja r = p + q + 0

com p e q 0 , isto , q < 0. Assim, r < p, portanto, r . Logo, + 0 .


Tomemos agora r e s , tal que r < s. Podemos expressar r como r = s + (r s),

onde r s < 0 e, portanto, (r s) 0 . Logo, r + 0 e assim, + 0 , de onde

segue que, = + 0 .

3. Elemento Neutro da Adio: devemos mostrar que

Lema 5.3.4.
q
/ , q

Sejam

r Q+ .

Ento existem nmeros racionais

no cota superior mnima de

A N,
A 6= ,

Seja

s arbitrrio em e consideremos
A = {n N | sn }. Temos que:

por denio de
pois

tais que

p ,

q p = r.

Demonstrao. Tomemos

n = 0, 1, 2, . . ..

A;

0 A;
70

a sequncia

sn = s + nr

para

nito, por consequncia das condies 2 e 3 para

Portanto podemos armar que o conjunto

ser corte.

assume um mximo

m.

Isto acarreta que

sm

sm+1
/ .
Se s + (m + 1)r no for cota superior mnima de , devemos tomar p = s + mr
s + (m + 1)r, da, q p = r. Se s + (m + 1)r for cota superior mnima de , devemos
r
r
p = s + mr + e q = s + (m + 1)r + , da, q p = r.
2
2

Teorema 5.3.5.

Dado

um corte, existe um nico corte

casos dos inteiros e racionais, tal

denota-se por

tal que

q =

tomar

Como nos

e se chama simtrico (ou oposto) de

Demonstrao. Provemos inicialmente a unicidade. Suponhamos que


0

+ = 0 .

+ = + = 0 :

= + 0 = + ( + ) = ( + ) + = 0 + = .
Provemos agora a existncia e um corte
tomar um

que satisfaa

+ = 0 .

O primeiro passo

e mostrar que corte. Seja

= {p Q | p
/
1.

(a) Para mostrar que

no cota superior mnima de

}.

consideremos dois casos:

no possui cota superior mnima:

Como

um corte, ento

basta tomar

6= ,

p = q Q

6= Q e potanto, existe q Q tal que q


/ .
p = q
/ . Logo p e portanto 6= .

possui cota superior mnima

Assim,

m:

m cota superior mnima de , m


/ (se m , m seria mximo de , o
que contradiz a denio de corte) e com isso, m + 1
/ . Seja p = m 1 Q
e p = m + 1
/ e, alm disso, p = m + 1 6= m. Portanto p e 6= .
Como

(b) Para mostrar que

6= Q,

consideremos novamente dois casos:

no possui cota superior mnima:

corte, ento 6= e portanto existe r (da r Q). Tomemos


p = r Q e, portanto, p = r . Logo p
/ e p Q, isto , 6= Q.
Como

possui cota superior mnima

Como

m:

cota superior mnima de

seria uma cota superior de

m). Seja p = m + 1 Q
6= Q.

ento

m1

(caso contraio,

m, contradizendo a minimalidade de
p = m 1 . Portanto, p
/ e p Q, isto ,

menor do que

p e q Q tal que q < p. Queremos mostrar que q . Como p ,


p
/ e p no cota superior mnima de . Como q < p, ento

2. seja

temos que

p < q
da,

q
/

(visto que

p
/ ).

Temos tambm que

(pois caso contrrio, sabendo que

m1

p
/ ,
71

(5.1)

no cota superior mnima de

ou seja, uma cota superior de

teramos

q p, contradizendo (5.1)).
de , conclumos que q .
3. Seja

p ,

queremos mostrar que existe

tal que

p < q.

no cota superior mnima

Dividiremos em dois casos.

no possui cota superior mnima:

Como

q Q, q
/

Como

de

p
/
(isto ,

no possui cota superior mnima, ento existe uma cota superior


q
/ ), tal que q < p. Assim, q e p < q , logo no possui

mximo.

m:
m + p
Seja r =
Q. Como p , temos que p
/ , ou seja, uma cota superior
2
de , mas no cota superior mnima de , portanto, m < p, da, p < m. Sendo
possui cota superior mnima

assim,

r=

m + p
m p
p p
=
+ > + = p.
2
2
2
2 2

Por outro lado,

mp
m p
m m
=
>
+
= m,
2
2
2
2
2
portanto, r 6= m. Como r > m, ento r
/ . Finalmente, como r Q, r
/
e r no cota superior mnima de , temos que r e p < r , logo, no possui
r =

mximo.
Para nalizar, basta mostra que

+ = 0 .

Para isso, mostremos que

+ 0

0 + .

q + r + com q e r (r Q, r
/ e r no cota superior
). Como q e r
/ , ento, q < r, da, q + r < 0, isto , q + r 0 .

Seja
de

mnima

p 0 p Q e p < 0 (p > 0). Sejam r e r0


/ (r0 no sendo cota superior
0
0
mnima de ), tais que r r = p (Lema 5.3.4). Segue que p = r + (r ), com r e
r0 , ou seja, p + .
Portanto,

+ = 0 ,

como queramos.

Denio 5.3.6.

Denimos a subtrao em

Proposio 5.3.7.

Se

C,

ento

por

= + (),

para todo

, C .

= ().

Demonstrao. J vimos que oposto de

portanto,

+ () = = + = 0 .
Por outro lado, sabemos que o oposto de

()

(),

logo

() + (()) = + (()) = 0 .
Sabemos tambm que o oposto de um corte nico, sendo assim,

= ().


72

Teorema 5.3.8
que

(Compatibilidade da relao de ordem com a adio)

Sejam

, , C

tais

+ + .

Ento

. Seja t + , isto , t = r + s com r e s . Como


r , e t = r + s + , ou seja, + + . Portanto, + + .


Demonstrao.

ento

Teorema 5.3.9.
Q | q = rs,

e cortes tais que 0 , 0 . Seja = {p Q | p < 0} {q


r , s , r 0, s 0}. Ento um corte.

Sejam

onde

Demonstrao.
1.

p = 1 ,

portanto

=
6 . Temos ainda que,
(
6= Q p0 Q tal que p0
/ ,
6= Q q0 Q tal que q0
/ .

p0 q0 Q. Mostremos que p0 q0
/ . Suponhamos que p0 q0 , isto , existem
p , q , p 0 e q 0 tal que p0 q0 = pq . No podemos ter p0 p (pois teramos
p0 ), nem q0 q (pois teramos q0 ). Assim, p < p0 e q < q0 , da, pq < p0 q0 , o que
uma contradio com p0 q0 = pq . Portanto, p0 q0
/ e, assim, 6= Q.
Logo,

2. Sejam

s 0 e,
e q 0.

s < r. Devemos mostrar que s . De fato, se s < 0, s . Suponhamos


portanto r > 0. Como r , existem p e q , tais que r = pq , com p 0
e

s
(s 0, p > 0 t 0). Se q t,
p
teramos pq pt, isto , r s, o que um absurdo, pois, s < r . Logo, devemos ter t < q
e, como q , ento t . Assim, como s = pt, p , t , p > 0 e t 0, ento s .
Como

r > 0,

segue que

p>0

q > 0.

Seja

t=

r e mostremos que existe s tal que r < s. De fato, se r < 0, basta tomar
r
s = < 0, da s > r. Suponhamos r 0. Neste caso, r signica que r = pq , com
2
p , q , p 0 e q 0. Existem t e u tais que p < t e q < u (pois e no
possuem mximo). Logo, r = pq < tu. Tomando s = tu, temos s (pois s = tu com
t , u , t > 0 e u > 0) e s > r . Portanto, no tem mximo.

3. Seja

Denio 5.3.10.

Denotamos por

e chamamos produto de

o corte

do teorema

anterior, isto ,

= {p Q | p < 0} {q Q | q = rs,

onde

r , s , r 0, s 0}.

Para denir produto de cortes que contm fatores negativos, comeamos com noo de valor
absoluto de um corte.

Denio 5.3.11.
,

A cada corte

associamos um corte

||

denido por

(
|| =

se
se

73

0 ,
< 0 .

que chamamos valor absoluto de

Proposio 5.3.12.

Se

< 0 ,

ento

< 0

> 0 .
q 0

q
/ , e podemos

admitir, sem perda de generalidade que q no cota superior mnima de . Como q 0 , ento
q < 0. Tomemos r = q , que nos fornece r > 0. Nesta condies, vemos que r (por
denio de corte oposto, pois r = q , q
/ e q no cota superior mnima de ) e r > 0,

isto , r
/ 0 , o que nos garante que > 0 .

Demonstrao. Sabemos que

Proposio 5.3.13.

Para qualquer

1.

|| 0 ;

2.

|| = 0 = 0 .

se, e somente se, existe

C,

tal que

tem-se:

Demonstrao.
1. Se

0 ,

ento

|| = 0 ,

Se

< 0 ,

ento

|| =

2.

()

Seja

da,

|| 0 .

e ainda,

> 0

(pela Proposio 5.3.12), assim,

|| > 0 .

|| = 0 .

Se

> 0

Se

< 0 ,

ento

|| = > 0 ,

contradio, pois, por hiptese,

pela Proposio 5.3.12,

> 0

e, por denio,

|| = 0 .
|| = > 0 ,

novamente

contradio.
Logo, pela tricotomia,

()

Seja

= 0 .

= 0 .

= 0 || = = 0 .

Podemos agora completar a denio de multiplicao.

Denio 5.3.14.

Teorema 5.3.15.

, cortes. Denimos:

(||||) se < 0
=
(||||) se 0

|||| se < 0

Sejam

Sejam

, , C .

1. Comutativa:

= ;

2. Associativa:

() = ();

3. Elemento Neutro

Valem:

1 : 1 = .

Demonstrao. Suponhamos que

, , 0 .
74

e
e
e

0 ,
< 0 ,
< 0 .

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


Ento r = pq , p , q , p 0 e q 0. Portanto r = pq = qp, q , p , q 0 e
p 0, isto , r . Logo . Desse modo, analogamente r r , isto
, , o que nos garante que = .

1. Seja

2. Esta propriedade tem demonstrao anloga a anterior, se dando imediatamente pela


associativa dos racionais, isto ,

() = {p Q | p < 0} {q Q | q = (rs)t, r , s , t , r 0, s 0, t 0} =
{p Q | p < 0} {q Q | q = r(st), r , s , t , r 0, s 0, t 0} = ()
3. Seja

r 1

temos que

r < 0. Se = 0 , r < 0, ento r 0 = , portanto r . Se > 0 ,


existe p tal que p
/ 0 , da p 0. Dessa forma, r < 0 p, logo r .
e

r 0 e r 1 , assim, r = pq com p , q 1 , p 0 e q 0.

Como q 1 , temos que, q < 1, da pq < p 1, isto , r = pq < p. Como p , r = pq < p

e corte, ento r , logo, 1 .


Suponhamos agora

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


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

ento r 1 . Portanto 1 . Logo = 1


Por outro lado, seja

< 0 , < 0 e < 0 ) so consequncias da

parte j demonstrada, por exemplo, a comutativa, quando < 0 e 0 : = (||||) =


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

Os outros casos (

Teorema 5.3.16.

e existe

q
/

< 0

Seja
tal

0 , 0

C com > 0 . O
1
que q < p } corte.

conjunto

= {p Q | p 0

ou

p1
/

Demonstrao.
1.

0 , portanto 6= . Seja p tal que p > 0 (este p existe pois, como > 0 existe
q Q, q e q
/ 0 , isto , q 0. Devemos provar agora que p1
/ . De fato, se
1
1 1
p , ento teramos que (p ) = p
/ , isto , p
/ , o que contradio, pois
1
p . Logo, p
/ , ou seja, 6= Q;

2. Seja

q Q com q < p. Devemos mostrar que q . Se q 0, ento q , pela

denio de . Suponhamos ento q > 0. Assim, temos 0 < q < p. Da, como p, q Q+
1
e q < p, pelas propriedades dos racionais, p
< q 1 . Como p1
/ , segue que q 1
/ .
1
1
1
1
1
Assim, p

/ , q
/ , p < q , o que signica que q no cota superior mnima
de , logo q .

3. Seja

p .

Mostraremos que existe

tal que

p < q.

p > 0. Como p e p > 0, ento p1


/ e
r + p1
1
. Assim temos r < s < p . Tomando
Tomemos s =
2

Sem perda de generalidade, vamos supor


existe

r
/

tal que

r < p1 .

75

q = s1 temos q = s1 > p > 0, portanto, q > 0. De fato, q 1 = s


/
r
/ ), q 1 = s > r e r
/ , logo q , isto , no possui mximo.

(pois

s>r

Denio 5.3.17.

Seja

anterior denotado por


de

como

1 = ||1 .

Teorema 5.3.18.
de

um corte tal que 6= 0 . Se > 0 , ento o corte do teorema


1 e chamado de inverso de . Se < 0 , ento denimos o inverso

Seja

um corte tal que

6= 0 .

Ento

1 = 1 .

Alm disso, o inverso

nico.

Demonstrao. Consideremos dois casos,

> 0

< 0 .

> 0 :
r 1 . Se r 0, ento r 1 . Suponhamos r > 0. Como r 1 existem
s , p 1 tal que r = sp, s 0, p 0. Como r > 0, devemos ter s > 0 e p > 0.
1
Como p
e p > 0, existe q
/ tal que q < p1 . Como s e q
/ , ento s < q .
1
1
1
1
De q < p , temos p < q
, da, sp < sq
. Portanto, como s < q , temos que sq
< 1, e
1

assim, r = sp < sq
< 1, da r 1 .
Seja

r 1 , isto , r < 1. Se r < 0, ento r 1 , por denio de


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

1 n
e t = s (r )

/ . Seja p tal que p1 < p ( no possui mximo). Tomemos


q = t1 p1 p1 , isto , q 1 = tpp1
1 . Assim, podemos ter

Reciprocamente, seja

1
1
1
1
p1 < p p1 p1
1 < pp1 1 < pp1 t < tpp1 t < q .

t
/ , q 1
/

Assim, como

q 1

no a menor cota superior de

Temos ainda,

q = t1 p1 p1 pq = pt1 p1 p1 pq = t1 p1
n 1
n1
pq = s r1
s r1
pq = s1 rn srn+1 pq = r.
p
r 1 .

Desta forma,
Portanto

e, como

Assim, conclumos que, se

q 1
/

> 0 ,

e existe

ento

t
/

tal que

t < q 1 ,

ento,

q 1 .

1 = 1 .

< 0 :
1 = ||1 . Sabemos que ||1 > 0 (pelo item 1 da
1
Proposio 5.3.13), e disso, ||
< 0 (pela Proposio 5.3.12), isto , 1 < 0 . Da,
1
por denio de produto,
= |||1 | = ||| ||1 | = | = ||||1 = 1 .

Se

< 0 ,

por denio,

76

Provemos agora a unicidade de


e

21 = 1 .

1 .

Suponhamos que existam

11

21 ,

tais que

11 = 1

Assim,



11 = 11 1 = 11 21 = 11 21 = 1 21 = 21 .


Teorema 5.3.19

(Distributividade)

Se

, , C ,

ento

Demonstrao. Demonstraremos apenas o caso em que


Mostremos inicialmente que

( + ) + .

( + ) = {q Q | q < 0} {p Q | p = rs

( + ) = + .

> 0 , > 0

> 0 .

De fato,

onde

r , s ( + ), r 0, s 0} .

x ( + ), ento, ou x 0 ou x = rs com r , s ( + ), r 0 e s 0.
x
x x

Se x 0 , ento
0 e + = x, que signica que x + .
2
2 2
Se x = rs com r , s ( + ), r 0 e s 0, ento s = q + p onde q , p , q 0
e p 0. Portanto, x = rs = r(q + p) = rq + rp, logo x + . Assim, conclumos que
( + ) + .
Mostremos agora que + ( + ). Com efeito,

Dessa forma, se

+ = {t Q | t = ps + pq
Seja

u + ,

isto ,

u = ps + pq ,

com

onde

ps , pq } .

ps , pq .

ps ps < 0

ou

com

p0

s 0;

pq pq < 0

ou

com

p0

q 0.

Desta forma, temos quatro casos:


1. Suponhamos

ps < 0

pq < 0.

Claramente,

u ( + )

pois

u = ps + pq < 0;

ps < 0 e p e q com p 0 e q 0. Como ps < 0 e p 0, ento


s < 0, da, se s > q , ento s + q < 0 e, portanto, u = ps + pq = p(s + q) < 0. Se s q ,
ento s + q 0 e, como p 0, temos u = p(s + q) ( + ), pois p e s + q +
com p 0 e s + q 0;

2. Suponhamos

p e s com p 0 e s 0 e pq < 0, podemos obter, analogamente ao caso


que u = ps + pq ( + );

3. Supondo
anterior

p , s e q , com p 0, s 0 e q 0. Dessa forma,


u = ps + pq = p(s + q), onde p e s + q + , com p 0 e s + q 0, logo
u ( + ).

4. Suponhamos que

Provamos, ento, que existe a dupla incluso entre

( + ),

( + ).

Teorema 5.3.20.

Para

, C ,

temos

() = () = ()
77

isto ,

+ =


()() = .

Demonstrao. De fato, temos,

() + = ( + ) = 0 = 0 .
Isso signica que

() = (),

(5.2)

pois, como j foi provado, o oposto de um corte nico.

Temos tambm,

() + = ( + ) = 0 = 0 .
Do mesmo modo,

(5.3)

() = ().

Temos ainda,

()() = (())

por

(5.2)

= (())

por

(5.3)

pela Proposio

5.3.7.


Teorema 5.3.21

, ento,

(Compatibilidade da relao de ordem com a multiplicao)

Se

0 = + () + (), portanto,
+ () 0 . Alm disso, como 0 , temos ( + ()) 0 , por denio de produdo

de cortes. Da, + () 0 e, novamente pelo Teorema 5.3.8, , isto , .



Demonstrao. Como

Proposio 5.3.22.

Seja

Demonstrao. Temos,
portanto,

0 = 0 ,

pelo Teorema 5.3.8,

um corte qualquer, ento

0 = 0 .

0 = (0 +0 ) = 0 +0 , da, 0 0 = 0 +0 0 ,

como queramos.

Proposio 5.3.23.

=0

Sejam

cortes. Nesta condio,

= 0

se e somente se

= 0

ou

= 0
= 0 .

Demonstrao. Se
Seja, agora,

ou

= 0 ,

temos que

Suponhamos

6= 0

= 0 ,

pelo resultado anterior.

, isto , existe

C,

tal que

= 1 .

Dessa

forma,

= 1 = () = () = 0 = 0 .
Reciprocamente, se supormos que

6= 0 ,

concluiremos que

= 0 .


Temos, ento,

munido de duas operaes e uma relao de ordem, de forma que

um corpo ordenado.
de frao

Em particular, dene-se tambm a diviso em

e em

Q.
78

e adota-se a notao

como nos racionais. Vejamos a seguir, uma aplicao injetora de

como foi feito em

em

C,

assim

Teorema 5.3.24.

A aplicao

j : Q C ,

dada por

j(r) = r

injetora e preserva adio,

multiplicao e ordem, isto , os seguintes itens so vlidos:

p + q = (p + q) ;

1.

j(p) + j(q) = j(p + q),

2.

j(p)j(q) = j(pq),

3.

j(p) < j(q)

se e somente se

p < q,

ou ainda,

4.

j(p) = j(q)

se e somente se

p = q,

ou seja,

ou seja,

isto ,

p q = (pq) ;
p < q

p = q

se, e somente se

se, e somente se,

p < q;

p = q.

Demonstrao.

t p + q , isto , t = r + s com r p e s q ,

forma, t = r + s < p + q , ou seja, t = r + s (p + q) .

1. Seja

ou ainda,

r<p

s < q.

Dessa

h
h
u (p + q) , isto , u < p + q . Sejam h = p + q u, s = p e t = q .
2
2

forma, s < p e t < q , ou seja, s p e t q . Logo u = s + t p + q .

Seja, agora,
Dessa

2. Provaremos apenas para o caso

p > 0

q > 0,

os outros casos podem ser provados de

forma anloga.

r p q , ento, ou r < 0 ou r = st,

ou r = st < pq e assim, r (pq) .

Se

com

p>s0

q > t 0,

de modo que, ou

r<0

r (pq) , ento podemos armar que ou r < 0 ou 0 r < pq . Se r < 0, claramente


r p q , pela denio de corte positivos. Se 0 r < pq ento existem p1 Q e q1 Q

tais que 0 < p1 < p, 0 < q1 < q e, ainda, r < p1 q1 < pq . evidente que p1 p , q1 q ,
p1 q1 p q e assim, r p q .
Seja

3. Se

p < q,

ento

p q.

Como

p
/ p ,

conclumos que

p < q , existe um racional r


p r < q , ou seja, p < q .

Analogamente, se

r p.
4. Se

Logo

p = q,

obviamente

Suponhamos

q
/ q,

segue

p < q .

tal que

r q

r
/ p ,

isto ,

r<q

p = q .

p = q . Como p
/ p , segue que p
/ q , logo p q . Por outro
que q
/ p , ento p q . Com isso, pela tricotomia, p = q .

lado, como


Mais uma vez obtivemos uma cpia algbrica de um conjunto em outro, isto , um homo-

j(Q) uma cpia de Q em C , sendo j(Q) precisamente o conjunto


Teorema 5.1.13 mostra que existem cortes no racionais em C . Assim,

morsmo injetor. Desta vez,


dos cortes racionais. O

C \ j(Q) 6= .
Notemos ainda que o corpo ordenado dos nmeros racionais isomorfo (bijetor, preserva

a soma, o produto e a ordem) ao corpo ordenado de todos os cortes racionais (C ) o que nos
permite identicar o corte racional

como o nmero racional

r.

Naturalmente

no , de

modo algum, o mesmo nmero racional, mas as propriedades que interessam (aritmticas e
ordem) so as mesmas nos dois corpos ordenados.

Proposio 5.3.25.

Se

C,

temos que

r
79

se, e somente se,

r < .

r ,

Demonstrao. Se
tal que

s
/ r .

r
/ r , ento r < . Reciprocamente,
s r e s , logo, r .

como

Temos ento,

se

r < ,

existe

s ,


Teorema 5.3.26.

Se

, C

< ,

ento existe um corte racional

tal que

< r < .

< , podemos armar que existe um nmero racional s , tal


que s
/ . Uma vez que s , segue da defnio de corte que existe um racional r tal que
s < r e ainda r , o que implica r < , pelo resultado anterior.

Segue do item 3 do Teorema 5.3.24 que, s < r , portanto, s < r (como s


/ , pela

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



Demonstrao. Do fato que

Denio 5.3.27.

O conjunto

dos nmeros reais e denotado por

dos cortes ser, a partir de agora, denominado de conjunto

R.

Os cortes racionais sero identicados, via injeo

j,

com

os nmeros racionais. Todo corte que no for racional ser denominado nmero irracional.

j(Q)

A identicao

com

nos permite escrever

Q R.

O conjunto

R\Q

representa o

conjunto dos nmeros irracionais.


A seguir vamos enunciar e demonstrar a principal propriedade que difere o conjunto dos
nmeros racionais do conjunto dos nmeros reais. Essa propriedade conhecida como Teorema
de Dedekind.

Teorema 5.3.28
1.

R = A B;

2.

A B = ;

3.

A 6=

4. se

Sejam

ento

< .

(Dedekind)

subconjuntos de

tais que:

B 6= ;

B,

Nestas condies, existe um, e apenas um, nmero real


e para todo

tal que

para todo

B.

Demonstrao. Provemos inicialmente a unicidade:

1 < 2 (ou 2 < 1 , sem


perda de generalidade) nas condies do enunciado. Consideremos 3 tal que 1 < 3 < 2 ,
que existe, como foi provado no Teorema 5.3.26. Temos que 2 , para todo B , dessa
forma, se 3 B , teramos 2 3 , o que no pode acontecer, pois 1 < 3 < 2 , portanto,
como R = A B , temos que 3 A. Analogamente, de 1 < 3 , obtemos 3 B . Resulta
ento 3 A B , uma contradio. Portanto no podemos ter 1 e 2 distintos nas condies
Suponhamos que existam dois nmeros distintos

2 ,

com

do enunciado.
Provemos agora a existncia:
Seja

= {r Q | r ,

1. Como

A 6= ,

6= .
, para

obviamente

um racional. Como
resulta

para algum

A}.

Devemos mostrar que

um corte.

6= Q, tomemos B . Seja s
A, ento, s
/ , para todo A, de onde

Para mostra que


todo

s
/ ;
80

2. Seja

onde segue

3. Temos que
Dessa forma,
de

s < r. Temos
que s ;

sabemos que

que

para algum

para algum

e, como

um nmero real e temos que

para todo

e, como

um corte, existe

para todo

s < r,

s>r

A,

ento

em

s ,

de

s ;

logo

pois, pela denio

A.

B . Suponhamos que exista B com


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

Falta mostrar apenas que

Exemplo 5.3.29.

para todo

Consideremos os seguintes subconjuntos de



A = x Q+ | x2 < 2 Q

Q:



B = x Q + | x2 > 2 .

A e B satisfazem as hipteses do teorema anterior, com Q em lugar de R,


mas que no existe r Q satisfazendo s r para todo s A e r t para todo t B . Notemos
que, este exemplo nos diz, informalmente, que em R no h lacunas, mas em Q, h. Por esta
razo, dizemos que R possui a propriedade da completude ou que R completo.
Podemos ver que

Corolrio 5.3.30.
em

B,

Nas condies do Teorema 5.3.28, ou existe em

um nmero mximo, ou,

um nmero mnimo.

Demonstrao. Seja
ou

est em

est em A
A, ento ele

como no teorema anterior. Ento, pela primeira hiptese,

e, em apenas um desses conjuntos, pela segunda hiptese. Se

A.

elemento mximo de

B,

Se

B.

ento, ele elemento mnimo de


Observemos que, se o conjunto
em

R,

do Teorema 5.3.28 no contiver

no sentido da denio de corte em

que em

ento ele um corte

apresentada. A diferena entre ambas a situaes

no se tem necessariamente, como no Teorema 5.3.28 para os nmeros reais, um

elemento como

ocorrem em

ento cortes em

R,

Essas lacunas que geram os cortes irracionais.

Como tais lacunas no

no geram elementos novos.

Antes de apresentar o prximo resultado, devemos retomar o conceito de supremo. As denies de supremo e nmo, dadas para o conjunto dos racionais, so equivalentes no conjunto

dos reais. Por exemplo, se


superior de

A,

digamos

s,

um subconjunto de

que seja mnima,

R, limitado superiormente, e existe um cota


ento, s diz-se supremo de A. O nmo dado

analogamente.

Teorema 5.3.31.

Se

XR

um conjunto no vazio e limitado superiormente, ento existe

sup X .
Demonstrao. Sejam

A = { R | < x,

para algum

x X}

B = R \ A,

conjunto constitudo precisamente pelos nmeros reais que no so cotas superiores de


o conjunto constitudo pelas cotas superiores de
Vamos vericar que

X.

satisfazem as condies do Teorema 5.3.28.

81

Ao
X eB

isto ,

As duas primerias condies so obviamente vlidas.

X 6= ,

x X , e assim, qualquer < x


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

Veriquemos a terceira. Temos que, como

existe

Essa propriedade vlida para

R no se verica em Q, isto , no verdade que todo subconjunto de nmeros racionais no vazio e limitado superiormente em Q sempre admita supremo
2
em Q. Por exemplo, o conjunto A = {x Q+ | x < 2} no possui supremo racional, mas tem
supremo, se considerado como subconjunto de R.
O resultado seguinte mostra que R, assim como Q, um corpo arquimediano.

Teorema 5.3.32.

O conjunto

dos naturais ilimitado em

R.

N R fosse limitado superiormente, existiria = sup N, pelo Teorema


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

Demonstrao. Se

superior mnima.


Vamos, a seguir, denir potncia de base real e expoente inteiro.

Denio 5.3.33.

Seja

a R

n N

Denimos a potncia

an ,

recursivamente, como

sendo:

(
an =
Finalmente, se

a 6= 0,

1,
aa ,
n1

se

denimos:

an = a1

Proposio 5.3.34.
1.

(ab)n = an bn ;

2.

an am = an+m ;

3.

(an )m = amn .

n = 0,
n > 1.

se

Se

so reais e

n, m

n

inteiros positivos, ento so vlidos:

82

Demonstrao. Faremos a prova apenas do primeiro item, dado que as outras se do do mesmo
modo. Provemos por induo nita:
Se

n = 0,

por denio

(ab)0 = 1

a0 b0 = 1 1 = 1,

Suponhamos, agora, que a igualdade seja vlida para


para

(ab)0 = a0 b0 .
n = k e provemos

logo

que verdadeira

n = k + 1.
(ab)k = ak bk .
(ab)k+1 = (ab)(ab)k+11 = (ab)(ab)k ,

Hiptese de Induo:
Por denio,

da, por hiptese de induo,

(ab)k+1 = (ab)ak bk .

(5.4)

ak+1 bk+1 = aak+11 bbk+11 = aak bbk = (ab)ak bk .

(5.5)

Novamente por denio,

Assim, por (5.4) e (5.5), conclumos que

(ab)k+1 = ak+1 bk+1 .

Logo, por induo a igualdade

vlida.


m, n Z, e a prova simples, basta notarmos
n
n em N, da, am = an = (a1 ) e, assim, voltamos

Estas propriedades so vlidas, ainda, para


que, se

m < 0,

ento

m = n

para algum

aos itens do teorema anterior. Vale ressaltar que, para expontes negativos, a base deve ser no
nula.

Teorema 5.3.35. Seja a um real positivo e n > 0 natural.


que soluo da equao

Existe um nico nmero real positivo

x = a.

Demonstrao. A prova deste teorema depende fundamentalmente da completude de

R.

Ela

est feita com bastante rigor em [3] e no ser feita aqui.

Denio 5.3.36. Dado um nmero real positivo a, o nico nmero real positivo que soluo
xn = a, estabelecido pelo teorema anterior, chama-se raiz n-sima de a e denotado
1
ou por a n . A raiz n-sima de a permite
se dena expoente racional do seguinte
 1 que
m
m
m
n
n
se m e n so inteiros positivos, a
= a
e, como para expoentes inteiros, a n =

da equao
por

n
a,

modo:
m

(a1 ) n .

Proposio 5.3.37.

Se

so reais positivos,

temos que:
1

1.

(ab) n = a n b n ;

2.

ar as = ar+s ;

3.

(ar )s = ars ;

4.

(ab)r = ar br .
83

inteiro positivo e

r, s

racionais positivos,

Demonstrao. Novamente provaremos o primeiro item, os seguintes decorrem do mesmo modo,


atravs de manipulaes algbricas com o uso das propriedades j demonstradas.
Sejam

n N .
1
reais: = a n

reais positivos e

existem as seguintes solues

Se temos
e

=b

1
n.

n = a

n = b,

ento, por denio,

Dessa forma,

ab = n n = ()n ,
assim, por denio,

= (ab) n ,

da,

a n b n = = (ab) n ,

como queramos.


Mostramos anteriormente que qualquer subconjunto de

limitado superiormente possui

supremo, o seguinte teorema mostra um resultado anlogo se tratando de nmo.

Teorema 5.3.38. Todo subconjunto no vazio de nmeros reais, limitado inferiormente, possui
nmo.

X R limitado inferiormente e consideremos o conjunto X = {x


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

queramos.


5.4

Representao decimal dos nmeros reais

Sendo conhecida a representao dos inteiros na base dez, faremos o estudo da representao
decimal dos nmeros reais. Para isto, demonstraremos um resultado a respeito da representao
decimal dos nmeros reais no negativos menores do que

1,

a partir do qual a representao

decimal dos demais nmeros reais ser automtica, com auxlio de um resultado anterior.

Proposio 5.4.1.

Dado um nmero real no negativo

que menor ou igual a

Alm disso

existe um nmero natural mximo

0 n0 < 1.

A = {n N | n }. Devemos
mostrar que A possui um elemento mximo. De fato, seja B = {p N | p > }. Claramente
B N e, ainda, B 6= , pois, como vimos no Teorema 5.3.32, N ilimitado em R. Com isso,
pelo Princpio da Boa Ordem, B possui um elemento mnimo, digamos p0 . Dessa forma, p0 p
para todo p B . Sendo assim, < p0 p para todo p B . Desse modo, p0 1
/ B , isto ,
p0 1 , logo, p0 1 A.
Armamos que p0 1 o mximo de A, ou seja, p0 1 n para todo n A. Com efeito,
suponhamos p0 1 < n para algum n A, da, p0 1 < n , ou ainda, p0 n , o que
uma contradio, pois p0 > .
Demonstrao. Seja dado

R+ .

Consideremos o conjuntos

84

Tendo que

n0

A,

o mximo de

claramente

n0 < n0 + 1,

donde

0 n0 < 1.


Teorema 5.4.2

(Representao decimal dos nmeros reais)

1. A cada nmero real


de dgitos

(nk )kN ,

(a)

0 nk 9,

(b)

(nk )kN

no negativo e menor do que

para todo

k N ;

k N , Sk

como a soma

S = {Sk | k N }.

2. Reciprocamente, a cada sequncia de dgitos

1,

corresponde uma nica sequncia

9;
n1
n2
nk
+ 2 +... + k,
10 10
10

no possui innitos dgitos consecutivos iguais a

do conjunto

Sk

1,

satisfazendo :

(c) denindo, para cada

nindo

(nk )kN ,

ser supremo

satisfazendo 1a e 1b acima, e de-

, no negativo e menor
S = {Sk | k N }.

como em 1c, corresponde um nico nmero real

que o supremo do conjunto limitado superiormente

do que

Demonstrao. A demonstrao deste resultado um tanto trabalhosa, mas decorre de resultados j demonstrados aqui e est feita em [3].

Denio 5.4.3.
1. Dado um nmero real
pondentes a

com

0 < 1,

seja

(nk )kN

a sequncia de dgitos corres-

sem innitos noves consecutivos, construda na primeira parte do teorema

se
l > k,

acima. A representao decimal de

nk 6= 0 e nl = 0, para todo
convenciona-se representar
0, n1 n2 n3 n4 . . . nk , que ser dita representao decimal nita de .

Se

0, n1 n2 n3 n4 . . ..
0, n1 n2 n3 n4 . . . por

dene como sendo a expresso

1, seja n0 o maior natural que menor ou igual a , dado na Proposio 5.4.1.


Seja 0, n1 n2 n3 n4 . . . nk . . . a represento decimal de n0 denida em 1. Denimos a
representao decimal de como sendo a expresso n0 , n1 n2 n3 n4 . . . nk . . ..

2. Se

3. Se

< 0,

denimos sua representao decimal como sendo

decimal de

r,

onde

a representao

J sabemos que as representaes decimais no consideram, ento, expresses com innitos


noves consecutivos, entretanto, podemos atribuir a elas um signicado similar ao das expresses

0, 9999 . . .. Estendendo o que vimos


para representaes sem innitos noves sucessivos, o nmero real a ela associado deve ser o
9
9
9

supremo do conjunto S = {Sk | k N }, onde Sk =


+ 2 + . . . + k , . . ., que converge
10 10
10
para 1 (fato que est bem demonstrado em [4]).
Por outro lado, a representao decimal de 1 , pela denio acima, 1, 00000 . . ., que convencionamos representar pelo prprio 1. Dessa forma, considerando expresses com innitos
sem innitos noves consecutivos. Consideremos a expresso

noves consecutivos como representaes decimais, tem-se como resultado que elas representam
tambm nmeros reais com representao decimal nita e, reciprocamente, qualquer representao decimal nita, diferente do

0, tem uma representao decimal innita com innitos noves

consecutivos nos termos acima.

85

Exemplo 5.4.4.

2, 79999 . . . tambm representa o nmero 2, 8. De


fato, neste caso, n0 = 2 e o nmero real n0 deve ser o supremo do conjunto S = {Sk | k
7
9
9
9
9
N }, onde Sk = + 2 +. . .+ k , . . .. Analogamente ao que foi visto acima, 2 +. . .+ k , . . .
10 10
10
10
10
converge para 0, 1, da, Sk converge para 0, 8, ou seja, a representao deste , segundo a
denio anterior 2, 8. Do mesmo modo, a representao decimal com innitos noves de
0, 47 representada por 0, 469999 . . ..
A representao decimal

Deste modo, estamos apontando para o fato de que representaes decimais nitas ou peri-

= 0, a1 a2 . . . an

dicas correspondem a nmeros racionais. De fato, seja


representao decimal nita. Multiplicando por

10

em ambos os lados da igualdade obtemos,

10n = a1 a2 . . . an =
o que nos garante que

um nmero real com

a1 a2 . . . an
,
10n

um nmero racional.

= 0, a1 a2 . . . an a1 a2 . . . an . . . um nmero real com representao


n
decimal peridica (n 1). Multiplicando por 10 em ambos os lados desta igualdade obtemos
10n = a1 a2 . . . an , a1 a2 . . . an . . . a1 a2 . . . an . . .. Subtraindo os lados destas duas igualdades, na
Do mesmo modo, seja

ordem dada, obtemos

10n = a1 a2 . . . an (10n 1) = a1 a2 . . . an =
o que nos garante que

a1 a2 . . . an
,
10n 1

um racional.

Reciprocamete, pode-se provar que todo nmero racional possui representao decimal nita
ou peridica ([3] uma referncia para uma demonstrao rigorosa deste fato).

5.5

no enumervel

A representao decimal dos nmeros reais feita acima, permite que mostremos que

no

enumervel. Mas, antes disso, precisamos de dois resultados.

Proposio 5.5.1.

Todo subconjunto innito de um conjunto enumervel enumervel.

X um conjunto enumervel e Y um subconjunto innito de X . Como X


enumervel, existe f : X N bijetora. Dessa forma, tomemos f |Y : Y N, com isso,
f (Y ) N, da, pelo Lema 4.3.6, f (Y ) enumervel, isto , existe g : f (Y ) N bijetora.
Sabendo que g e f |Y so bijetoras, obtemos que g f |Y : Y N bijetora, portanto Y

Demonstrao. Seja

enumervel, como queramos.

Lema 5.5.2.

O intervalo

I = ]0, 1[

no enumervel.

Demonstrao. Devemos mostrar que, qualquer que seja a enumerao estabelecida para elementos de

I,

sempre existir um elemento de

qualquer subconjunto enumervel de

no considerado na dada enumerao, isto ,

diferente de

I,

de onde obteremos que

no pode ser

enumervel.
De fato, seja

I0

um conjunto enumervel constitudo de elementos de

ser escrito na forma

I = {x0 , x1 , x2 , . . .},

onde, para cada

86

n N, xn

que, portanto, pode

representa a imagem de

por um certa bijeo de

N em I 0 .

Vamos representar cada elemento de

I0

pela sua represento

decimal dada acima, sem innitos noves consecutivos:

x0 = 0, x00 x01 x02 . . .


x1 = 0, x10 x11 x12 . . .
x2 = 0, x20 x21 x22 . . .
.
.
.

xk = 0, xk0 xk1 xk2 . . .


.
.
.

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


seguinte representao decimal: 0, a0 a1 a2 . . ., onde, para cada n N, o dgito decimal an dessa
representao diferente de 9, de 0 e do dgito decimal xnn da representao de xn . Pela bijeo
estabelecida acima, a representao decimal 0, a0 a1 a2 a3 . . . corresponde a um nico nmero real
0
de I que diferente de todos os elementos de I , como queramos. Este argumento se deve a
Vamos construir um nmero real

Cantor e se chama mtodo diagonal de Cantor, por conta da disposio de matriz innita em
que foram coloados os elementos de

I0

acima.

Teorema 5.5.3.

O conjunto dos nmeros reais no enumervel.

Demonstrao. Pelo Lema 5.5.2, o subconjunto


5.5.1,

de

R no enumervel, logo, pela Proposio

no pode ser numervel.


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

Teorema 5.5.4 (Schroder-Bernstein).


B

g : B A,

ento

AeB

Se

so conjuntos e existem sobrejees

so equipotentes, isto , existe uma bijeo entre esses conjuntos.

Pode-se obter a mesma concluso se considerarmos


brejetoras.

f : A

funes injetoras em vez de so-

Este resultado bastante importante e ser usado na prova da proposio que

segue.

Proposio 5.5.5.

Os conjuntos

P(N)

so equipotentes.

Demonstrao. Vamos mostrar que existem duas funes injetoras

P(N) R.

Como

enumervel, temos que existe uma bijeo

P(Q) e P(N) tambm


g = : R P(N)

: R P(Q) e f :
entre N e Q, isto , eles

so equipotentes e, assim, os conjuntos

so, isto , existe uma bijeo

: P(Q) P(N).
injetividades de f e g ,

ser, portanto, injetora.

A funo

conclumos, pelo Teorema de Schroder-Bernstein, que

P(N)

Das
so

e f e mostrar que so injetora.


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

dada por

87

(
XA (n) =

1,
0,

se

n A,
n N \ A.

se

f (A) como sendo o nmero real cuja representao


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

f (A) = 0, XA (0)XA (1) . . . XA (n0 ) . . . = 0, XA (0)XA (1) . . . 1 . . .


e

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


o que signica que

f (A) 6= f (B).

Logo,

injetora.

88

Captulo 6

Nmeros Complexos
Os nmeros complexos so ensinados no Ensino Mdio como expresses do tipo

a, b R

a unidade imaginria, com a propriedade de que

i = 1.

a + bi, onde

Dessa forma, pode-se

manipular tais expresses como expresses algbricas reais, sob a condio de que

i2 = 1.

que faremos agora justicar a origem desta unidade imaginria com rigor matemtico.

6.1

Construo dos complexos

Relembremos, por um momento, como lidvamos com nmeros complexos no ensino bsico:
Dois nmeros,

a + bi

c + di,

so iguais apenas quando

igualdade entre os pares coordenados

(a, b)

(c, d).

a=c

b = d,

o que nos lembra a

Temos tambm, que,

(a + bi) + (c + di) = (a + c) + (b + d)i


e que,

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


Admitindo um nmero complexo como um par ordenado, podemos denir formalmente as
operaes de adio e multiplicao como segue.

Denio 6.1.1.

R R = R2 .

Consideremos o conjunto

Se

(a, b), (c, d) R2 ,

denimos a

adio e a multiplicao da seguinte forma, respectivamente:

(a, b) + (c, d) = (a + c, b + d)
R2 ,
por C,

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

O conjunto

munido dessas operaes, ser chamado conjunto dos nmeros complexos e

denotado

onde cada par ordenado chamado de nmero complexo.

Teorema 6.1.2.

As operaes em

tm as seguintes propriedades: a adio e a multiplica-

o so comutativas, associativas e tm elemento neutro:


multiplicao. Alm disso, dado

(a, b) 6= (0, 0),

seu inverso existe,

(a, b) C,
(a, b)1 ,

que

(a, b), (c, d), (e, f ) C.


89

(1, 0) para a
(a, b) e, se

para a adio e

seu simtrico existe,

o distributiva em relao adio.


Demonstrao. Sejam

(0, 0)

b
a
, 2
2
2
a + b a + b2

(a, b),


que

. Finalmente, a multiplica-

1. Comutatividade da adio:

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


2. Associatividade da adio:

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


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

(0, 0) C.

(a, b) + (0, 0) = (a + 0, b + 0) = (a, b);


4. Comutatividade da multiplicao:

(a, b) (c, d) = (ac bd, ad + bc) = (ca db, cb + da) = (c, d) (a, b);
5. Associatividade da multiplicao:

(a, b) ((c, d) (e, f )) = (a, b) ((ce df, cf + de))


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

(1, 0) C:

(a, b) (1, 0) = (a 1 b 0, a 0 + b 1) = (a, b);


7. Simtrico de

(a, b): (a, b) C.


(a, b) + (a, b) = (a + (a), b + (b)) = (0, 0).

O simtrico de

(a, b)

ser denotado por


8. Inverso de

(a, b) 6= (0, 0):




(a, b)
O inverso de

a
b
, 2
2
2
a + b a + b2

a
b
, 2
2
2
a + b a + b2

(a, b) 6= (0, 0)

(a, b);


=


C.

a2
b2
ab
ab
+
, 2
+ 2
2
2
2
2
2
a +b
a +b a +b
a + b2

ser denotado por

90

(a, b)1 ;


= (1, 0).

9. Distributividade da multiplicao em relao a adio:

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


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

Assim como zemos em todos os conjuntos anteriores, vamos imergir

em

atravs de

uma funo injetora que preserva as operaes de adio de multiplicao, mostrando que existe
uma cpia algbrica de

(a, b)

em

pode ser escrito como

Teorema 6.1.3.

Seja

C. Observemos inicialmente
(a, b) = (a, 0) + (b, 0)(0, 1).

k : R C,

dada por

as operaes de adio e multiplicao, isto


Demonstrao. Provemos que
signica,

x = y,

logo

que um nmero complexo arbitrrio

k(x) = (x, 0). Temos que, k injetora e preserva


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

injetora. De fato, se

k(x) = k(y),

ento,

(x, 0) = (y, 0),

que

injetora. Temos ainda que,

k(x + y) = (x + y, 0) = (x, 0) + (y, 0) = k(x) + k(y)


e

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



k(R) uma cpia algbrica de R em C, o que nos permite identicar R com
k(R) e considerar R C. Admitindo esta identicao e adotando o smbolo i para o nmero
complexo (0, 1), a expresso mensionada acima, (a, b) = (a, 0) + (b, 0)(0, 1), pode ser escrita
como a + bi, como ensinada no Ensino Mdio.
Desta forma,

i2 = (0, 1)2 = (1, 0), que pode ser identicado por 1. Temos que, os
nmeros complexos escritos da forma a + bi, com b 6= 0, chamam-se nmeros imaginrios, e,
se alm disso, a = 0, obtemos os imaginrios puros. Tal denominao provm do fato que
Notemos que

os complexos demoraram a ser aceitos como nmeros, dessa forma, o termo imaginrios tem
sentido contraposto a reais.

Teorema 6.1.4. C no enumervel.


Demonstrao. Vimos que

R C.

Pela Proposio 5.5.1, se

deveria ser, o que contradiz o que j mostramos. Portanto

fosse enumervel,

tambm

no enumervel.


91

6.2

no ordenvel

Vistas as propriedades aritmticas de


que as de

Q,

(Teorema 6.1.2), verica-se que so as mesmas

sendo assim, podemos dizer que

elementos, tanto de

quanto de

um corpo.

mantm uma relao de ordem, o que no ocorre em

isto , intuitivamente falando, no temos como dizer se


exemplo. Dessa forma, como

Entretanto, vimos que os

3i,

maior ou menor do que

C,

por

so dotados de uma relao de ordem compatvel com as

suas operaes, eles so ambos ordenados.


Vamos provar a seguir que
dotar

C um corpo no ordenvel, isto , mostraremos que impossvel

de uma relao de ordem compatvel com as suas operaes aritmticas. No entanto,

possui uma propriedade algbrica que

no tm, o Teorema Fundamental da lgebra,

cuja demonstrao foi a tese de doutorado de Johann Carl Friedrich Gauss (1777 -1855). Tal
teorema arma que todo polinmio no constante com coecientes complexos admite uma raiz

em

(argumentos elementares da prova deste teorema podem ser encontrados em [8]).

Teorema 6.2.1. C no um corpo ordenvel.


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

Demonstrao. Como

Podemos notar que


No entanto,

no um corpo, pois seus nicos elementos inversveis so

em

1.

diz-se um domnio de integridade bem ordenado,

no possui nem a propriedade do elemento simtrico. Diante de todas estas cons-

trues, o grco abaixo representa as imerses prprias de


de

possui todas as outras propriedades de corpo, alm de uma relao que satisfaz

o Princpio da Boa Ordem, sendo assim,


enquanto

em

Z,

de

em

Q,

de

em

C.

(2,0)

2/1

(2/1)*

(2,0)

(0,2)

-2/1

2/5

(-2/1)*

(2/5)*

(-2,0)

(2/5,0)

( 2 ,0)

Figura 6.1: Diagrama de Imerses Prprias

Aps todas estas contrues, podemos nos perguntar se os conjuntos numricos param por
a, isto , se existem conjuntos nos quais

R R

C pode ser imerso propriamente.

Na verdade, fazendo

como foi feito na contruo dos complexos, podemos obter o anel dos quatrnios de

92

Hamilton, que perde a estrutura de corpo, pois a comutativa da multiplicao deixa de ser
vlida. Esta estrutura foi desenvolvida no sculo XIX pelo irlands William Rowan Hamilton.

pode ser imerso propriamente no anel dos quatrnios.


Os quatrnios, podem ainda ser imersos nos octnios (O), estes contrudos sobre

R4 R4 ,

no qual a multiplicao no mais associativa. Esse processo de imerso em conjuntos maiores


pode prosseguir innitamente atravs da construo de Cayley-Dickson. Porm, o Teorema de
Frobenius, provado por Ferdinand Georg Frobenius (1848-1917), em 1877, caracteriza a lgebra
de diviso associativa de dimenso nita sobre os nmeros reais. De acordo com o teorema,
cada tal lgebra isomorfa a um dos seguintes:

(nmeros reais),

(nmeros complexos),

(Quatrnios).
Estas lgebras tm dimenses 1, 2 e 4, respectivamente.

Esse teorema est intimamente

relacionado com o teorema de Hurwitz (Adolf Hurwitz (1859-1919)) , que arma que as nicas
lgebras de diviso normalizadas ao longo os nmeros reais so
infomaes, pode-se consultar [10].

93

R, C, H,

O.

Para mais

Bibliograa
a

[1] VILA, G. G.; Anlise Matemtica para Licenciatura. 1 Edio. Edgar Blucher, So Paulo,
2001.
[2] DOMINGUES, H. H.; Fundamentos da Aritmtica, Atual, 1991.
[3] FERREIRA, J. A.; Construo dos Nmeros, 2
[4] FIGUEIREDO, D. G.; Anlise I,

2a

Edio. SBM, 2011.

Edio. Livros Tcnicos e Centcos Editora, Rio de

Janeiro, 1996.
[5] FRALEIGH, J. B.; A First Course in Abstract Algebra, Pearson, 2002.
[6] FRANCO, P. E SOUZAl L. J.; Nmeros Negativos: Uma trajetria Histrica. Sociedade
Brasileira de Histria da Matemtica, 2011.
[7] GONCALVES, A.; Introduo lgebra. Projeto Euclides, IMPA, Rio de Janeiro, 2005.
[8] LIMA, E. L. et al.; A Matemtica no Ensino Mdio, vol. 3. 2

Edio. SBM, Rio de Janeiro,

1999.
[9] STOLL, R. R.; Set Theory and Logic. Dover Publications, Inc., New York, 1979.
[10] RAY E. A.; Scalar Algebras and Quaternions: an Approach Based on the Algebra and
topology of nite-dimensional Real Linear Spaces, part 1. April 23, 2009.
[11] RUSSELL, B.; A srie dos nmeros naturais - Introduo losoa matemtica. Traduo
de Augusto J. Franco de Oliveira. 1

edio (provisria), Janeiro, 2006.

94