Números Reais

DEPARTAMENTO DE MATEMTICA E ENGENHARIAS
Construes dos
Nmeros Reais
Paula Cristina Reis Lopes
Orientador:
Professor Doutor Jos Francisco da Silva C. Rodrigues
Dissertao para a obteno do grau de Mestre em Matemtica

Especializao em Matemtica para o Ensino
Funchal Madeira
Junho de 2006
ii
Resumo
Neste trabalho estudamos vrias construes do sistema dos nmeros reais. Antes
porm, comeamos por abordar a evoluo do conceito de nmero, destacando trs
diferentes aspectos da evoluo do conceito de nmero real.
Relacionado com este tema, dedicamos dois captulos, deste trabalho, apresentao
das teorias que consideramos assumir maior importncia, nomeadamente: a construo
do sistema dos nmeros reais por cortes na recta ou seces no conjunto dos nmeros
racionais, avanada por Dedekind, e a construo do nmero real como classe de
equivalncia de sucesses fundamentais de nmeros racionais, ideia protagonizada por
Cantor.
Posteriormente, e de uma forma mais sintetizada do que nas anteriores, apresentamos
outras construes, onde procuramos clarificar a ideia fundamental subjacente ao conceito
de nmero real. Finalmente utilizamos o mtodo axiomtico com o intuito de mostrar
a unicidade do sistema dos nmeros reais, isto , concluir finalmente que existe um corpo
completo e ordenado, e apenas um a menos de um isomorfismo, do conjunto dos nmeros
reais.
Palavras Chave
Nmeros Reais; Construo dos Nmeros Irracionais; Aritmetizao da Anlise;
Axiomatizao dos Reais; Didctica dos Nmeros Reais; Histria dos Nmeros Reais.
iii
Abstract
In this work we study some constructions of the system of the real numbers. First,
we describe an approach to the evolution of the number concept, detaching three dierent
fields of the construction of the concept of real number.
Related with this subject, we dedicate two chapters, of this work, to the presentation
of the theories that we consider to be more important, namely: the construction of the
system of the real numbers with cuts in the line or sections in the set of the rational
numbers, due to Dedekind, and the construction of the real number as an equivalence
class of fundamental sequences of rational numbers, idea carried out by Cantor.
Later, and in a more condensate form, we present other constructions, where we try
to clarify the underlying basic idea of the concept of real number. Finally we describe
the axiomatic method and we show the uniqueness of the system of the real numbers,
that is, we conclude finally that there exists one complete and ordered field and, up to
isomorphism, only one, the set of the real numbers.
Key Words
Real Numbers; Construction of Irrational Numbers; Arithmetization of Analysis;
Axiomatization of Reals; Didactic of Real Numbers; History of Real Numbers.
Agradecimentos
Ao meu orientador, Professor Doutor Jos Francisco da Silva Costa Rodrigues, pelas
criteriosas sugestes e pistas, que foram fontes primrias, fundamentais na minha investigao.
Universidade da Madeira, nomeadamente ao Departamento de Matemtica e
Engenharias, pelas condies de trabalho que me proporcionou e pelo apoio logstico
prestado.
minha amiga, Dr.a Snia Correia Martins, pela ajuda, pelo empenho, pelo nimo
que me transmitiu, pela amizade que perdura, um obrigado especial.
Aos colegas de Departamento de Matemtica e Engenharias, em especial ao Dr. Jorge
Nlio Ferreira e ao Dr. Maurcio Reis por me tirarem de apuros informticos com simpatia
e disponibilidade.
minha famlia, em especial, minha me, Ana Azevedo, ao Duarte Azevedo e ao meu
marido, Hugo Pereira por tudo o que fizeram para que eu pudesse realizar um sonho, pela
pacincia demonstrada, pelo apoio, tendo sempre palavras de amizade, nimo e incentivo.
A todos os meus alunos pela compreenso e incentivo nos momentos em que o cansao
era evidente.
Finalmente agradeo a todos os meus amigos, que apesar de no lhes ter dado a devida
ateno, continuaram presentes e com palavras amigas.
vii
viii
ndice
1 Introduo
1.1 Das Quantidades aos Nmeros . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Aritmetizao da Anlise . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 Axiomatizao dos Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

2 Construo dos nmeros reais utilizando a Noo de Corte ou Seco
21
2.1 Analogia entre os nmeros racionais e os pontos de uma linha recta . . . . 22

2.2 Continuidade de uma linha recta . . . . . . . . . . . . . . . . . . . . . . . 24
2.3 Construo dos Nmeros Irracionais . . . . . . . . . . . . . . . . . . . . . . 26
2.4 Continuidade do Domnio dos Nmeros Reais . . . . . . . . . . . . . . . . 31
2.5 Operaes com Nmeros Reais . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.6 Nmeros Reais como Corpo Ordenado Completo . . . . . . . . . . . . . . . 47
3 Construo dos Nmeros Reais utilizando Classes de Equivalncia
51
3.1 Cantor e as Sucesses de Cauchy . . . . . . . . . . . . . . . . . . . . . . . 51

3.2 Nmero Real como Limite de uma Sucesso de Cauchy . . . . . . . . . . . 53
3.3 Ordenao do Conjunto dos Nmeros Reais . . . . . . . . . . . . . . . . . 56
3.4 Nmeros Reais como Grupo Abeliano Aditivo . . . . . . . . . . . . . . . . 60
3.5 Nmeros Reais como Corpo Ordenado Comutativo . . . . . . . . . . . . . 64
3.6 Nmeros Reais como extenso dos Nmeros Racionais . . . . . . . . . . . 71
3.7 Completude do Conjunto dos Nmeros Reais . . . . . . . . . . . . . . . . . 73
4 Outras Construes do Conjunto dos Nmeros Reais
85
4.1 Construo dos nmeros reais utilizando uma alternativa aos Cortes de
Dedekind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
ix
x
4.2 Construo dos nmeros reais utilizando a Noo de Quantidade . . . . . . 93
4.2.1
Sistema de Quantidades Positivas . . . . . . . . . . . . . . . . . . . 94
4.2.2
Aplicaes Lineares e Automorfismos . . . . . . . . . . . . . . . . . 96
4.2.3
O Corpo dos Nmeros Reais . . . . . . . . . . . . . . . . . . . . . . 104
4.3 Construo dos nmeros reais como Classes de Equivalncia de Declives . . 108
4.3.1
Declives e definio de Nmero Real . . . . . . . . . . . . . . . . . 108
4.3.2
Aritmtica dos Nmeros Reais . . . . . . . . . . . . . . . . . . . . . 109
Declives Bem Ajustados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112

4.3.3
Axiomtica do Sistema dos Nmeros Reais . . . . . . . . . . . . . . 116
4.4 Construo dos Nmeros Reais como Sucesses de Intervalos Encaixados . 121
4.4.1
Nmero Real como Equivalncia de Sucesses . . . . . . . . . . . . 125
4.4.2
Aritmtica do Sistema dos Nmeros Reais . . . . . . . . . . . . . . 127
4.4.3
Ordenao do Sistema dos Nmeros Reais . . . . . . . . . . . . . . 131
5 Axiomatizao dos Nmeros
135
Captulo 1
Introduo
1.1
Das Quantidades aos Nmeros
Ao longo de toda a histria da Matemtica o problema da relao entre o descontnuo

da Aritmtica e o contnuo Geomtrico (a passagem dos nmeros naturais, 1, 2, 3, ... , aos
pontos, que na linha recta se sucedem, sem lacunas e sem saltos) esteve sempre presente,
sendo este um dos aspectos essenciais da filosofia de Pitgoras (cerca de 580 - 500 a.C.)
para compreender o mundo real a partir dos nmeros naturais.
Podemos, como do conhecimento geral, afirmar que esta ideia de Pitgoras fracassou
devido inviabilidade do pressuposto da comensurabilidade de todas as grandezas, isto ,
da possibilidade de se exprimirem as suas relaes por meio de uma razo de inteiros, conduzindo ao absurdo de um mesmo nmero natural ser par e mpar (para que a hipotenusa
do tringulo rectngulo issceles se possa medir com um dos seus lados mediante um
nmero racional) (Veja-se, por exemplo, [35], pp. 34 - 35).
Movidos pela necessidade de estruturar uma lgebra das grandezas os Gregos desenvolveram a Teoria das Propores ([2], p. 204) atribuda a Eudxio (408 - 355 a.C.).
Se, por exemplo, no plano, G e G0 representam duas reas e U a rea limitada por um
quadrado, diz-se que a razo G/U das duas grandezas G e U igual razo G0 /U das
grandezas G0 e U:
1
Introduo
G/U = G0 /U se quaisquer que sejam os nmeros inteiros positivos m e n,

m U < n G implica m U < n G0
m U > n G implica m U > n G0
m U = n G implica m U = n G0
onde m U , por exemplo, significa uma rea constituda por m reas iguais a U.
Por outro lado, diz-se que G/U > G0 /U se se encontrarem dois nmeros m e n tais
que n G > m U e m U > n G0 .
G/U e G0 /U exprimem-se por ratios g e g 0 e as convenes de Eudxio equivalem a
considerar g e g 0 como iguais sempre que dem lugar mesma repartio dos nmeros
racionais em duas classes: a dos que so maiores que g (ou g0 ) e a dos que so menores
que g (ou g 0 ).
Como veremos mais frente, esta caracterizao dos nmeros semelhante elaborada
posteriormente por Dedekind (1831 - 1916) onde est igualmente subjacente o conceito
de ordenao ([9], p. 12).
A Teoria de Eudxio remonta ao sculo IV antes de Cristo e foram precisas algumas
centenas de anos para que o programa de Pitgoras, de aritmetizao do contnuo, fosse
efectivamente cumprido.
Quando os Gregos consideravam, como grandeza a medir, o permetro de uma circunferncia, suponham intuitivamente que esse comprimento existia e que estava para
o dimetro tal como a rea do crculo estava para o quadrado do raio, no entanto, a
identificao desse nmero com o irracional no estava ao alcance dos conhecimentos
matemticos da poca.
Nos primeiros passos da elaborao da ideia fundamental da Anlise: a passagem ao
limite, ainda significativo o papel da intuio geomtrica. A ideia de que a circunferncia
est compreendida entre duas sucesses de polgonos, uns inscritos outros circunscritos,
serviu para chegarmos a valores aproximados, do que a intuio indicava ser o comprimento da circunferncia. No entanto, a afirmao de que este comprimento existe e se
exprime por um nmero, o que s pode decorrer das condies de monotonia das referidas
sucesses para a existncia de um limite comum.
Esta ideia implcita na condio suficiente de convergncia, enunciada por Cauchy
(1789 - 1857) no sculo XIX, no pde ser rigorosamente estabelecida antes das construes
Das Quantidades aos Nmeros
lgicas dos nmeros reais feitas por Georg Cantor (1845 - 1918), Charles Mray (1835 1911) e Richard Dedekind.
Se a Teoria das Propores e o Mtodo de Exausto ([3], pp. 128 - 131) eram suficientes
para a resoluo de problemas mtricos na geometria antiga, a insuficincia da escala
numrica grega manifesta-se com a resoluo das equaes algbricas no sculo XVI e
com a Geometria Analtica, no sculo XVII.
Os nmeros conhecidos at ento, (os racionais e os irracionais obtidos por construes
geomtricas) encarados como infinidade apenas numervel, no chegam para cobrir o
contnuo dos pontos do eixo dos xx. Assim, a intuio sugere que o nmero real o
resultado da medida de qualquer segmento orientado, marcado a partir de uma origem de
coordenadas.
Assim sendo, a intuio do que possa ser a recta euclideana, est na base da anlise
da varivel real e dos seus desenvolvimentos nos sculos XVIII e XIX.
A necessidade de uma definio formal de nmero real levou vrios matemticos a publicarem as suas teorias quase simultaneamente, embora elaboradas em pocas diferentes
e tendo sido igualmente diferentes as razes que os moveram a empreender semelhante
tarefa.
Durante a segunda metade do sculo XIX um crescente nmero de artigos e livros
foram publicados, dedicados a um nico assunto: a definio precisa de nmero real e a
investigao de funes reais baseada nessa definio.
Podemos destacar trs campos distintos de construo da definio de nmero real.
Hankel (1839 - 1873) e Frege (1848 - 1925) defenderam a ideia tradicional de que a
Anlise deveria ser fundada na noo de quantidade contnua.
Dedekind, Weierstrass (1815 - 1897) e Cantor defenderam que a noo de quantidade
deveria ser substituda por uma rigorosa construo aritmtica dos nmeros reais, isto ,
uma construo baseada na noo de nmeros naturais ou racionais, que assumiu-se ser
menos problemtica do que a noo de quantidade contnua.
Heine (1821 - 1881), Thomae (1840 - 1921) e Hilbert (1862 - 1943) defenderam que os
conceitos fundamentais da Anlise poderiam, e deveriam, ser construdos simplesmente de
uma maneira formal, desprezando, tanto quanto possvel, os assuntos de ordem filosfica.
Hankel estudou com Riemann (1826 - 1866) bem como com Weierstrass e Kronecker
Introduo
(1823 - 1891). Em 1867 publicou o livro Theorie der Complexen Zahlensysteme, insbesondere der gemeinen imaginren Zahlen und der Hamiltonschen Quaternionen onde tratou
um dos assuntos que caracterizou o fim da cincia da quantidade.
Para Hankel o nmero no um objecto, uma substncia que existe "fora" do sujeito
e do objecto que lhe deu origem, um princpio independente, tal como foi visto pelos
Pitagricos.
Hankel introduziu uma distino no que diz respeito ao conceito de nmero. Nmeros
cuja noo est completamente determinada, mas que no so susceptveis de serem construdos intuitivamente devem ser denominados de nmeros puramente intelectuais ou
puramente formais, em contraste com os nmeros cuja representao pode ser encontrada
em quantidades reais (no sentido filosfico da palavra) e suas combinaes.
De uma maneira formal, Hankel tomou os sistemas numricos como sistemas de smbolos e operaes (uma operao era vista como uma combinao de smbolos que produzia
outro smbolo do mesmo sistema). Exigiu tambm que todos os smbolos de um determinado sistema pudessem ser obtidos de outros smbolos bsicos (as "unidades") por
repetidas aplicaes de operaes, definindo assim o sistema, e o sistema como um todo
deveria ser fechado para estas operaes.
Hankel deu uma definio recursiva de adio e de multiplicao e provou as leis
associativa, comutativa e distributiva. Posteriormente, introduziu a subtraco e diviso
juntamente com novos smbolos para os nmeros negativos e para as fraces. De seguida,
estendeu as leis aritmticas, de forma a produzir os nmeros racionais.
Nesta altura, questionou-se sobre o facto de este sistema de nmeros estar ou no
completo. A ideia por detrs desta questo que podem existir outras operaes, para
alm das referidas, tal como a extraco de uma raiz quadrada de nmeros positivos, para
as quais o sistema dos nmeros reais seja necessrio.
Hankel estava convencido de que a problemtica dos nmeros irracionais no poderia
estar formalmente resolvida, uma vez que, era impossvel definir, de uma vez por todas,
todas as operaes que podemos eventualmente admitir no domnio dos nmeros reais.
A razo principal para Hankel acreditar que uma abordagem formal dos nmeros reais
possua limitaes essenciais, foi a sua viso fundamentalmente construtivista do sistema
dos nmeros formais. Apesar disso, ele no o colocou desta forma.
Aritmetizao da Anlise
Numa ltima anlise, Hankel sups que qualquer sistema deste tipo deveria ser gerado a partir de um conjunto finito de smbolos bsicos por uma sequncia contvel de
aplicaes de operaes definidas.
A noo de quantidade, por outro lado, foi levada para um domnio que englobava
outro tipo de infinidade, nomeadamente o contnuo intuitivo. Hankel defendeu que, apenas
utilizando a nossa intuio, era possvel compreender o conceito de nmero real.
Apesar de continuar preso ideia tradicional de quantidades contnuas faltou-lhe uma
noo formal da completude no domnio do nmero, tal como a proposta por Hilbert mais
tarde.
1.2
Apesar de Hankel continuar a acreditar que era necessrio fundamentar a anlise

na doutrina da quantidade, o seu professor Weierstrass j havia desistido deste ponto de
vista.
Nas suas conferncias em Berlim, Weierstrass esboou uma noo de nmeros reais
numa base puramente aritmtica, isto , comeando no domnio dos nmeros racionais
e utilizando argumentos acerca de certos conjuntos infinitos de racionais. Nos anos
seguintes, voltou muitas vezes a este tpico elaborando cada vez mais as suas ideias.
Weierstrass encarou os nmeros como agregados de certos elementos (veja-se [44] cit. in [13], p. 295). Os inteiros positivos referem-se a agregados de coisas idnticas
em pensamento, isto , unidades de uma mesma espcie. Os nmeros racionais positivos
foram concebidos como agregados cujos elementos so unidades bsicas (denotadas por
1) e partes exactas dessas unidades.
Arbitrariamente, quantidades numricas eram entendidas similarmente como agregados infinitos possuindo o mesmo tipo de elementos. Mais precisamente, uma quantidade
numrica era representada por qualquer membro de uma classe de equivalncia destes
agregados, respeitante a uma relao de equivalncia de igualdade cuja definio requeria
algum cuidado.
Weierstrass considerou dois tipos de transformaes de quantidades numricas que no
as alterava essencialmente:
Introduo
(i) Quaisquer n elementos da forma
1
n
podem ser substitudos pela unidade
principal.
(ii) Qualquer elemento pode ser substitudo pelas suas partes exactas, isto ,
1 por n n1 ;
1
a
por b
1
,
ab
etc.
Uma quantidade numrica a0 denomina-se por parte de a se a0 consiste numa quantidade finita de elementos de a e pode ser transformada numa quantidade a00 por uma
sequncia finita de transformaes (i) e (ii) tal que todos os elementos de a00 ocorrem em
a o mesmo nmero de vezes que em a00 e, alm disso, a contm outros elementos ou um
nmero maior dos mesmos elementos.
Weierstrass definiu duas quantidades numricas a e b iguais se [e s se] toda a parte
de a pode ser obtida por transformao numa parte de b e vice-versa. Se as partes de a
podem ser transformadas em partes de b mas no vice-versa, b denominado maior do
que a. ([13], p. 296, ou, [10], p. 80)
Assim, Weierstrass pde caracterizar quantidades numricas finitas pela seguinte condio:
"Dizemos que um nmero a uma quantidade finita, se existe um nmero b
maior do que a, sendo b composto por um nmero finito de elementos." ([10],
p. 81)
As operaes de adio e multiplicao explicadas para nmeros inteiros positivos por
bvias manipulaes das suas unidades, estavam agora definidas, analogamente, para os
nmeros finitos arbitrrios. Com o intuito de definir os nmeros negativos, Weierstrass
introduziu a noo de agregados opostos e a conveno de que agregados iguais e opostos
anulam-se um ao outro.
Estas descries das definies de Weierstrass mostram que os seus agregados podiam
ser vistos, com alguma cautela, como somas (possivelmente infinitas) dos seus elementos.
No entanto, as suas definies evitaram este tipo de expresso, talvez para permanecerem
prximas da viso tradicional dos nmeros como agregados de unidades.
Claro que Weierstrass usou livremente a linguagem das somas ao longo das suas conferncias. Estas definies consistiram na fundamentao do assunto principal dos seus
cursos e permitiram-lhe apresentar provas e teoremas acerca de limites de sucesses de
nmeros e funes.
A abordagem de Weierstrass reduz o conceito de quantidade (real e consequentemente

tambm complexa) ao conceito de nmero. Weierstrass continuou a utilizar a noo de
quantidade, mas expresses como quantidade aritmtica ou quantidade numrica tornam
claro que na sua mente existia uma separao lgica entre os seus conceitos e aqueles que
so mais intuitivos, em contrapartida, na Geometria ou Fsica.
Em 1871, Cantor iniciou um programa de aritmetizao semelhante aos de Mray e
Weierstrass.
Heine sugeriu certas simplificaes que levaram ao chamado desenvolvimento de HeineCantor, publicado em 1972 por Heine no seu artigo Die Elemente der Functionenlehre.
Heine e Cantor foram colegas em Halle e ambos fortemente influenciados pela escola
de anlise de Berlim e trocaram ideias acerca da construo de nmeros reais com base
em conjuntos infinitos de racionais.
A posio de Heine foi mais filosoficamente pronunciada que a de Cantor.
Cantor sustentou que a cada sucesso fundamental [sucesso de Cauchy] corresponde
um nmero real.
A condio de Cauchy como condio suficiente de convergncia de sucesses numricas ou, em linguagem da Topologia - ao contrrio do que sucede com os nmeros racionais,
os nmeros reais constituem um espao mtrico completo. A construo dos nmeros reais
feita por Cantor tem por objectivo imediato garantir essa suficincia. Isto , parte-se de
sucesses de nmeros racionais que satisfaam a condio de Cauchy, consideram-se equivalentes aquelas que por diferena de termos da mesma ordem conduzem a uma sucesso
de limite zero, e um nmero real ser ento qualquer classe de sucesses equivalentes.
A abordagem de Cantor foi similar de Heine mas colocou mais nfase na possibilidade
de interagir no mtodo de formao das sucesses de Cauchy.
Cantor denominou um nmero dado por uma sucesso de Cauchy de racionais de
quantidade numrica de primeira espcie, adicionando uma reflexo entre quantidades
numricas e os pontos de uma linha recta. Reconheceu igualmente que era necessrio um
princpio que servisse de elo de ligao entre estes dois conceitos. Para tal, estabeleceu
que
"toda a quantidade numrica corresponde a um ponto definido numa recta,
cuja coordenada [respeitante a um segmento de recta unitrio] igual a esta
Introduo
quantidade numrica" (veja-se [7], p. 97 - cit. in [13], p. 306).

Alm da definio de nmero real, o ingrediente tcnico crucial da investigao de
Cantor foi a noo de ponto limite, que hoje denominado de ponto de acumulao.
O conjunto derivado, P 0 de um conjunto de pontos P , foi definido como o conjunto de
todos os pontos de acumulao de P .
Cantor provou que o conjunto dos nmeros reais no numervel e comunicou-o numa
carta a Dedekind. Este resultado mostrou que se a sua construo (ou a de Dedekind, ou
a de Weierstrass) dos nmeros reais fosse tomada como verdadeiramente garantida, ento
existia pelo menos dois tipos de conjuntos infinitos: os conjuntos do tipo do conjunto dos
nmeros naturais e os conjuntos do tipo do contnuo.
Cantor formulou ento a noo de que existiam dois tipos de infinito se e s se fosse
impossvel efectuar uma correspondncia um a um entre os dois conjuntos.
Em 1883 Cantor sumariou as suas investigaes num documento onde introduziu as
noes de ordinais transfinitos e cardinais transfinitos ([5], p. 594).
A construo da Teoria dos Conjuntos Transfinitos ([5], pp. 597 - 609) de Cantor pode
ser colocada como representando o final da cincia da quantidade devido clarificao
do conceito de contnuo, propondo-o de uma forma puramente aritmtica. Alm disso,
Cantor forneceu uma precisa descrio da sua cardinalidade.
O trabalho de Weierstrass sobre aritmetizao da anlise no foi publicado, no entanto,
estas ideias foram dadas a conhecer pelos seus discpulos, em particular por Heine, que
havia frequentado os seus cursos.
Heine no seu artigo, Die Elemente der Functionenlehre, fez referncia a muitos teoremas sobre funes provados por Weierstrass, que formavam a Anlise Weierstrassiana.
Heine observou que, nesses teoremas, ainda se levantavam dvidas em algumas passagens,
devido " sua no completamente rgida definio de nmeros irracionais". Nesta definio
"ideias da Geometria, nomeadamente sobre a criao de uma linha por movimento, ocasionaram muitas vezes influncias confusas" (veja-se [20], p. 172 - cit. in [13], p. 299).
Numa tentativa de resolver o mistrio dos nmeros irracionais, de uma vez por todas,
Heine efectuou uma abordagem formal, que era ainda mais radical do que a apresentada
por Hankel, para os nmeros racionais:
"Para a definio tomarei a viso puramente formal, denominando certos sm-
bolos tangveis de nmeros, tais que no poder existir dvida acerca da sua
existncia. Estes smbolos necessitam estar equipados de um sistema que nos
permita definir as operaes [uma aritmtica]". (veja-se [20], p. 173 - cit. in
[13], p. 299)
A ideia matemtica bsica por detrs da viso de Heine, tomada de Cantor, foi considerar sucesses de nmeros racionais satisfazendo o que hoje denominado de Critrio
de Convergncia de Cauchy ([38], p. 75).
A construo de Heine mostrou, mais uma vez, a tentativa de separar o conceito de
nmero real das ideias intuitivas sobre quantidade e, mais uma vez, assistiu-se introduo
de conjuntos infinitos de racionais na sua definio.
A nfase filosfica de Heine era contudo distinta da de Weierstrass. Ele procurou evitar
problemas filosficos de uma forma surpreendentemente ingnua, encarando os nmeros
como smbolos tangveis sem estar consciente do quanto a sua ideia era vaga.
Frege criticou o trabalho de Heine questionando se deveramos considerar as sucesses
infinitas, e se ainda seriam um smbolo tangvel. Questionou, igualmente, se um nmero
irracional seria uma sucesso desse gnero ou uma classe de equivalncia de uma dessas
sucesses.
Alguns anos antes, uma ideia similar construo dos nmeros reais de Cantor e
Heine, foi apresentada por Charles Mray, professor na Universidade de Dijon.
Se formos fiis cronologia dos acontecimentos, afirmamos que foi Mray o primeiro
matemtico a publicar uma teoria dos nmeros irracionais, no ano de 1869, no artigo
intitulado Remarques sur la nature des quantits dfinies par la condition de servir de
limites des variables donnes ([29], pp. 280 - 289).
Segundo Mray, as definies existentes de nmeros irracionais eram insatisfatrias,
consequentemente, sentiu necessidade de criar uma teoria de nmeros irracionais.
Mray pretendeu com a sua obra edificar a Anlise, fundamento de todas as matemticas, sobre bases slidas, excluindo qualquer emprstimo que a Geometria pudesse fornecer
a algumas demonstraes.
Considerou os raciocnios empregues na anlise das funes pouco claros e rigorosos,
ao contrrio do que sucedia na lgebra e na Geometria ([30], XI).
Mray defendeu, em todas as suas obras, que a possibilidade das funes poderem ser
10
Introduo
desenvolvidas em Sries de Taylor, constitua um princpio simples sobre o qual a teoria

das funes deveria ser edificada. esta, de facto, a ideia base da anlise de Mray e o
instrumento unificador de toda a sua teoria.
Introduzido por Joseph-Louis Lagrange (1736 - 1813) nos finais do sculo XVIII, na
perspectiva de algebrizao da Anlise, o desenvolvimento de funes em Sries de Taylor
foi pela primeira vez abordado por Mray em 1868, no seu artigo Remarques nouvelles
sur les points fondamentaux du calcul infinitsimal et sur la thorie de dveloppement des
fonctions en sries ([28], pp. 133 - 138).
Se considerarmos o limite como sendo a noo de base da Anlise, compreendemos a
necessidade sentida por Mray em definir correctamente os nmeros irracionais, pois os
teoremas sobre limites de sucesses deixavam de ter sentido quando estas no tendessem
para nmeros racionais.
Foi por no concordar com as definies de nmero incomensurvel, que tinha disposio, que sentiu a necessidade de elaborar uma teoria de nmeros irracionais. O seu
descontentamento manifesta-se em relao a definies que recorrem ao conceito de limite,
uma vez que exigiam priori a existncia de um nmero incomensurvel.
O princpio de que uma sucesso crescente majorada (respectivamente decrescente
minorada) tende para um limite e o princpio de que toda a sucesso de Cauchy tende para
um limite, constituem, segundo Mray, a base essencial de todas as partes da matemtica,
onde intervm a noo de limite de uma sucesso.
Mray afirma, na sua obra de 1869, que na poca as proposies supra citadas eram
tomadas como axiomas apenas para escapar introduo da noo de nmero incomensurvel ([29], p. 280).
Assim, tendo em conta a natureza dos limites de sucesses de nmeros racionais que
no admitem por limite nenhum racional, Mray formula o seu conceito de nmero irracional e custa dessa definio que, no final das suas obras, apresenta o que considera
serem provas perfeitamente correctas de to importantes resultados.
Com efeito, Mray considerou sucesses de nmeros racionais satisfazendo o critrio
de convergncia de Cauchy. No caso em que uma sucesso no convergia para um nmero
racional, Mray definiu limite fictcio. Estes limites eram denotados por smbolos arbitrrios.
11
Mray discutiu, igualmente, a necessria relao de equivalncia entre sucesses diferindo

unicamente numa sucesso convergente para zero.
O conjunto constitudo pelos limites racionais e pelos limites fictcios foi considerado
o domnio das quantidades reais.
No ano de 1872 Mray voltou a apresentar a sua teoria dos nmeros irracionais, na
obra Nouveau Prcis dAnalyse Infinitsimale.
Mais tarde, pareceu-lhe que a publicao no clarificava suficientemente a teoria apresentada, talvez por este tema no ter constitudo o papel principal de tal obra, e ento decidiu fazer um estudo mais aprofundado e em 1887 publicou o artigo Sur le sens
quil convient dattacher lexpression nombre incommensurable et sur le critrium de
lexistence dune limite pour une quantit variable de nature donne ([31], pp. 342 - 360).
Podemos encontrar uma exposio final da sua teoria no volume 1 da obra, Leons
nouvelles sur lanalyse infinitsimale et ses apllications gomtriques, [32], publicada em
1894.
Foram vrios os factores que contribuiram para que no fosse dada a devida importncia obra de Mray. Podemos salientar o facto de que na poca em que Mray publica
a sua obra no existir, em Frana, uma notria apreciao problemtica da definio
de nmero irracional. Alm disso, Mray foi o nico matemtico do sculo XIX de nacionalidade francesa a se dedicar aritmetizao da Anlise e como no se tratava de
um matemtico de renome, a teoria por si desenvolvida no assumiu as repercusses que
ansiava.
Por Mray ver a prioridade do seu feito ser atribuda a outros matemticos, escreveu
no prefcio da sua obra de 1894, que:
"A teoria dos nmeros incomensurveis (...) foi atribuda ao Sr. Heine pela sua
inveno, aos Sr. Lipschitz, de Bois-Reymond, G. Cantor pelas suas primeiras
aplicaes mas trs anos antes eu tinha exposto a mesma teoria na sua totalidade, depois de a ter comunicado ao Congresso, na Revue des Socits
Savantes." ([32], XXIII)
Contudo, Cantor e Heine pareceram ter formado as suas ideias independentemente do
trabalho de Mray, facto este que no surpreendente num perodo que ocorreu logo aps
a Guerra Franco-Prussiana.
12
Introduo
Um tratamento distinto do mesmo problema, e um dos mais conhecidos nos nossos

dias, foi o prestado por Dedekind na forma do seu famoso ensaio Stetigkeit und Irrationale
Zahlen, publicado em 1872, representando o ponto alto das suas pesquisas, iniciadas
em Zurique em 1858 quando, ensinando Clculo Diferencial, pela primeira vez tomou
conscincia da necessidade de uma discusso cientfica acerca do conceito de continuidade
e foi levado a reconsiderar todo o problema da definio de nmero real.
Notemos que Dedekind, tal como Weierstrass, usou conjuntos infinitos de nmeros
racionais na sua construo de nmeros reais.
Dedekind insistiu na viso de que os objectos matemticos, aos quais chamamos
nmeros reais, so inveno do homem. Acreditava que isto era igualmente verdade para
os nmeros naturais e racionais, bem como para novos conceitos como a Teoria Algbrica
Numrica.
Assim, Dedekind foi um dos proponentes da viso criacionista dos conceitos matemticos. Esta viso mostra o quanto ele tinha abandonado a metafsica tradicional, fazendo
um corte consciencioso com as ideias anteriores.
Alm de propor uma construo aritmtica dos nmeros reais, acrescentou a questo
do que esta construo deveria fazer com a ideia geomtrica dos pontos numa linha recta,
isto , com a noo intuitiva de quantidade contnua.
Estava suficientemente claro que toda a razo entre segmentos de recta definia um
corte (Schnitt) de nmeros racionais, mas e inversamente? Ser que todo o corte define
uma razo possvel entre segmentos de recta ou, se fixarmos um segmento unitrio, todo
o corte corresponde a um bem definido ponto numa linha?
A resposta a este impasse foi a criao do seguinte postulado:
"Se todos os pontos numa linha recta caem em duas classes de tal forma
que todo o ponto da primeira classe est esquerda de todo o ponto da segunda, ento existe um e um s ponto que produz esta decomposio de todos
os pontos em duas classes, esta diviso da linha recta em duas partes". ([9],
p. 11)
Na base da ordenao natural dos cortes, pode ser introduzida uma ordenao dos
nmeros reais. Atendendo a esta ordenao, o conjunto dos nmeros reais satisfaz a
denominada condio de corte, descrita pelo seguinte Teorema:
13
Se o conjunto R de todos os nmeros reais decomposto em dois subconjuntos A1 e A2 tais que para todo o 1 A1 e 2 A2 se tem 1 < 2 ,
ento existe um nico nmero R que produz este corte, isto , tal que
A1 = { R : < } e A2 = R\A1 ou A2 = { R : > } e A1 = R\A2 .
O facto de que esta propriedade vlida para os nmeros reais foi, para Dedekind,
a garantia para a estreita analogia entre esta criao matemtica e a noo intuitiva de
quantidade contnua.
Ao conscienciosamente separar os conceitos de nmero real e quantidade contnua,
Dedekind tomou uma deciso diferente da tomada por Hankel. Enquanto Hankel viu a
continuidade do domnio dos nmeros reais como uma razo para confiar na doutrina tradicional da quantidade, Dedekind revolucionou a verso desta propriedade de continuidade,
transformando-a num elo de ligao entre a Geometria e a Aritmtica dos nmeros reais.
At mesmo Weierstrass passou por cima deste ponto de uma forma engenhosa mas
pouco clara. Contudo, a escolha de Dedekind dos cortes como o aspecto caracterstico do
contnuo foi, mais tarde, muito criticada.
Rodolf Lipschitz (1832 - 1903) e Heinrich Weber (1842 - 1913) foram os primeiros a
apontar crticas teoria dos nmeros irracionais de Dedekind, atravs de correspondncias
que trocaram com o matemtico.
Segundo Lipschitz, a teoria de Dedekind no possua carcter inovador pois no diferia
da que havia sido elaborada pelos gregos nos Elementos, livro V, a partir da definio 5
([14], p. 114), acerca das grandezas incomensurveis ([39], p. 116).
Sobre este assunto foram trocadas vrias cartas entre os dois matemticos, cada qual
defendendo o seu ponto de vista (veja-se, [39]).
Esta discusso foi iniciada por Lipschitz em 1876, mas na actualidade vrios autores,
como por exemplo, Jean Louis Gardies (1925 - 2004), [16], Howard Stein (1911 - 1980),
[41], e Leo Corry, [8], continuam a debruar-se sobre esta controvrsia.
Mas, em todo o caso, todas estas exposies parecem ir de encontro ideia defendida
pelo prprio Dedekind:
"(...) os princpios euclideanos por si s, sem a juno do princpio da continuidade que no est contido neles, so incapazes de fundamentar uma teoria
14
Introduo
completa dos nmeros reais como razes entre grandezas (...)."1

Na construo de Dedekind do conceito de nmero irracional, a noo de corte assume
um papel fundamental, no entanto, as expresses utilizadas pelo matemtico para referirse criao desse nmero so pouco claras, gerando at alguma contradio.
"Sempre que um corte (A1 , A2 ) no seja produzido por nenhum nmero racional,
criamos um novo nmero, um nmero irracional , que consideramos completamente definido por este corte (A1 , A2 ); diremos que o nmero corresponde
a este corte, ou que produz este corte." ([9], p. 15)
Nesta definio parece claro, tal como para Weber, que o nmero irracional no nada
mais do que o prprio corte, mas Dedekind em carta a Weber2 defende que um nmero
irracional no um corte, antes algo que corresponde ao corte. Afirma que o poder
criativo que atribui mente humana justificvel pela semelhana de todos os nmeros.
Justifica que existindo igualmente cortes produzidos por nmeros racionais, no teria
sentido, nesse caso, afirmar que um nmero racional seria idntico ao corte que produz.
Da mesma forma, no podemos dizer que um nmero irracional um corte.
Dedekind estabeleceu uma correspondncia entre cortes e nmeros irracionais e com
ela no pretendeu identificar as duas entidades mas sim assegurar que ambas verificam as
mesmas propriedades.
Contudo, as palavras de Dedekind justificam o facto de no sabermos a entidade com
a qual identificar um nmero irracional.
Note-se que Dedekind j havia feito algo do gnero quando comparou os nmeros
racionais com os pontos de uma linha recta.
Dedekind reconheceu que o facto de um nmero real ser definido por um corte acarreta
algumas desvantagens, quando pretendeu verificar quais as propriedades dos nmeros
racionais que seriam vlidas no conjunto dos nmeros reais. Solucionou esta questo,
enunciando o seguinte teorema:
"Se o nmero o resultado de uma operao entre os nmeros , , , ... e
pertence ao intervalo L, ento podemos considerar intervalos A, B, C, ..., aos
1
2
Carta de 10 de Junho de 1876 - cit. in [39], p. 121.

Veja-se Carta de 24 de Janeiro de 1888 - cit. in [15], p. 835.
Axiomatizao dos Reais
15
quais pertenam , , , ... de modo que, substituindo os nmeros , , , ...

por nmeros arbitrrios de A, B, C, ..., o resultado da operao aplicada a estes
novos nmeros sempre um nmero do intervalo L."([9], p. 23)
Perante tamanha generalidade deste resultado Dedekind reconheceu ser necessrio
introduzir novos conceitos por forma a simplificar o seu enunciado e sobre as noes
de grandeza varivel, funo e valores limites que afirma deverem ser definidas as mais
simples operaes aritmticas.
Pierre Dugac (1926 - 2000) considerou notvel este teorema para a poca pelo facto
de envolver leis de composio (veja-se [11], p. 46).
Segundo Dugac ([11], pp. 60 - 62) a teoria dos nmeros irracionais elaborada por
Dedekind teve uma grande aceitao por parte da comunidade matemtica, inclusivamente, foram vrios os matemticos que consideraram esta teoria mais simples do que as
de Weierstrass e de Cantor, publicadas no mesmo ano de 1872.
A popularidade, reconhecimento ou simplesmente o interesse pela obra de Dedekind,
justificaram o facto do seu livro Stetigkeit und Irrationale Zahlen ter sido traduzido para
ingls em 1901, russo em 1908, polaco em 1914, italiano em 1926 e at para japons ([11],
p. 62).
A forma como Dedekind respondeu pergunta orientadora da sua obra: Qual a essncia da continuidade? levou-o construo do seu conceito de nmero irracional e
permitiu que as suas ideias fossem difundidas por todo o mundo.
Assim, concluda a aritmetizao da varivel real, e tendo chegado ao nmero real por
um caminho puramente lgico que teve incio no nmero natural, decide-se a concordncia
das duas escalas (a numrica e a dos pontos da recta) maneira de Cantor e de Dedekind,
num postulado, afirmando a correspondncia biunvoca entre os seus elementos ([5], p.
607).
1.3
Foi tambm no sculo XIX que se deu o aparecimento de sistemas de axiomas para
vrios tipos de estruturas matemticas. Em particular, no final desse sculo foram desenvolvidos conjuntos de axiomas com o intuito de definir os nmeros inteiros positivos
16
Introduo
e, como j referimos, um grande esforo foi efectuado no sentido de ser apresentada uma
definio precisa de nmero real.
evidente que o mais antigo sistema de axiomas conhecido o de Euclides (300 a.C.),
respeitante ao estudo da Geometria. Contudo, so muitos os matemticos que, ao longo
dos tempos, tm evidenciado que Euclides tomou como certas determinadas afirmaes,
em algumas das suas demonstraes, que no se encontravam explicitamente mencionadas
na sua lista de axiomas e postulados.
Com os desenvolvimentos da Geometria no Euclideana os matemticos reexaminaram
a natureza dos vrios axiomas e procuraram colocar a Geometria de Euclides sob uma
base slida e consistente.
A tentativa mais bem sucedida de construir um sistema de axiomas para o qual a
Geometria Euclideana pudesse ser derivada, foi levada a cabo por David Hilbert.
Em 1899 Hilbert publicou a obra Grundlagen der Geometrie, que consistia essencialmente numa compilao das suas lies sobre Geometria Euclideana, apresentadas na
Universidade de Gttingen.
O objectivo do seu trabalho consistia numa
"tentativa para dar o enunciado dum sistema de axiomas completo e to simples quanto possvel para a geometria, e deduzir dele os teoremas geomtricos
mais importantes de tal modo que fique tambm claramente em evidncia o
significado dos diferentes grupos de axiomas e a projeco de cada um dos
axiomas nas consequncias que deles depois se tiram." ([21], p. xvii)
Hilbert, ao efectuar uma axiomatizao do que lhe pareceu fundamental na noo de
continuidade que a recta sugere, f-lo de tal modo que a correspondncia biunvoca, entre
o conjunto dos nmeros reais e os pontos da recta, est implicitamente assegurada.
O trabalho de Hilbert, supra citado, continha uma nova definio de nmero real, cuja
estrutura lgica era diferente da maioria das definies anteriores.
Hilbert desenvolveu meios para estudar as consequncias de grupos particulares de axiomas separadamente, tendo a sua caracterizao do sistema dos nmeros reais se apoiado
em trabalhos de Hankel e Thomae.
Em contraste com as outras construes dos nmeros reais, a abordagem de Hilbert
no assentava em objectos que j eram conhecidos, tais como os nmeros racionais. Em
17
vez disso, proponha aos seus leitores que imaginassem um sistema de entes em que todas
as propriedades (dos nmeros racionais) eram satisfeitas, embora Hilbert nunca tenha
conseguido provar a existncia desse sistema.
A ideia de Hilbert consistia em comear com trs termos indefinidos: ponto, linha e
plano, e definir as relaes existentes entre eles por meio de axiomas. Segundo Hilbert,
eram os prprios axiomas que definiam estas relaes e no necessitaramos de qualquer
tipo de intuio geomtrica para levar a cabo a demonstrao de um resultado.
Com efeito, Hilbert defendia que as trs noes iniciais poderiam ser substitudas por
quaisquer outras, desde que satisfizessem os axiomas.
A sua ideia de um sistema de axiomas era distinta das elaboradas por Euclides, e
Aristteles (384 - 322 a.C.). Os Gregos estipularam como verdadeiras certas afirmaes
que j as tinham intuitivamente compreendido, enquanto que Hilbert, por outro lado,
delegou para o abstracto as propriedades desejadas, independentemente de qualquer interpretao concreta.
Hilbert dividiu os seus axiomas em cinco conjuntos: os axiomas de coneco, os de
ordem, de paralelismo, de congruncia, os de continuidade e os de completude.
O primeiro grupo, de sete axiomas, estabelecia as conexes existentes entre as suas
concepes iniciais: ponto, linha e plano. O segundo grupo de axiomas permitia, segundo
Hilbert, definir a ideia de segmento de recta [AB] como sendo o conjunto de pontos
que esto entre os pontos A e B. O terceiro grupo de axiomas consistia unicamente na
concepo de Hilbert do Axioma das Paralelas e o quarto grupo, dedicado congruncia,
procurou definir explicitamente este termo, uma vez que o mtodo adoptado por Euclides,
e por alguns contestado, consistia em efectuar uma simples sobreposio.
O ltimo grupo de axiomas contm dois que caracterizam a ideia bsica de continuidade. O primeiro consiste no Axioma de Arquimedes, que estipula que dado um
qualquer segmento de recta e uma qualquer unidade de medida, existe um inteiro n tal
que n unidades de medida conduz a um segmento de recta maior que o segmento dado.
Uma das consequncias deste axioma, quando adicionado aos estipulados anteriormente,
que no existe limitao para o comprimento de uma linha recta.
O ltimo axioma de Hilbert afirma que os pontos de uma recta esto em correspondncia biunvoca com o conjunto dos nmeros reais. Por outras palavras, no existem buracos
18
Introduo
na recta. Este axioma responde objeco feita construo Euclideana de um tringulo

equiltero, de que no existia garantia de que os dois crculos construdos efectivamente
se intersectavam, pois segundo este axioma no podem ser adicionados outros pontos a
estes dois crculos, logo, estes no podem deixar de se intersectar.
Assim, Hilbert formulou o Axioma da Completude, axioma esse que em trabalhos
modernos usualmente substitudo por outras condies de completude, tais como o
Postulado dos Cortes de Dedekind ou a Condio da Completude das Mtricas (isto , a
existncia de Limite para todas as Sucesses de Cauchy).
Aps estabelecer os diferentes grupos de axiomas, Hilbert prosseguiu provando que
estes eram consistentes, isto , que no poderia ser deduzida qualquer contradio a
partir deles.
A sua ideia, semelhana de outros matemticos, ao mostrar que a Geometria no Euclideana no possua contradies, era a de construir uma Geometria usando unicamente
operaes aritmticas, que satisfizesse os diferentes grupos de axiomas.
Assim, ao interpretar aritmeticamente qualquer conceito geomtrico, Hilbert criou um
modelo aritmtico dos seus axiomas para a Geometria. Se os axiomas levassem a uma
contradio geomtrica, existiria uma anloga contradio em termos aritmticos. Consequentemente, assumindo que os axiomas para a aritmtica eram consistentes, tambm
o eram os axiomas geomtricos.
Outra importante caracterstica deste sistema de axiomas era a independncia, isto , a
particularidade de que nenhum axioma pode ser deduzido a partir dos restantes. Apesar de
Hilbert no ter demonstrado completamente a independncia do seu sistema de axiomas,
mostrou que vrios grupos de axiomas eram independentes, construindo interessantes
modelos em que um grupo de axiomas era satisfeito e outros no.
Hilbert no tratou directamente a questo da completude do seu sistema de axiomas,
isto , o facto de se poder mostrar que qualquer afirmao estabelecida pode ser verdadeira
ou falsa. Contudo, acreditamos que Hilbert confiava na completude dos seus axiomas
e, posteriormente, vrios matemticos mostraram que todos os teoremas da Geometria
Euclideana poderiam ser provados usando os axiomas de Hilbert.
A importncia do trabalho desenvolvido por Hilbert prende-se no s com as respostas
apresentadas s objeces relacionadas com o esquema dedutivo de Euclides, mas essen-
19
cialmente com o reforo da ideia de que qualquer espao matemtico dever ter por base
determinados termos no definidos e um conjunto de axiomas especificando as relaes
existentes entre eles.
Assim verificamos que apesar de inicialmente o trabalho de Hilbert consistir numa
tentativa de desenvolver um tratamento completo e consistente dos axiomas da geometria,
ao longo das vrias edies, procurou sintetizar estes axiomas no contexto da anlise dos
nmeros reais, a qual explicaremos no ltimo captulo deste trabalho.
Notemos que foram vrios os sistemas de axiomas desenvolvidos com o intuito de
fundamentar vrias reas da matemtica. O trabalho de Hilbert constitui um culminar
desse processo na medida em que conseguiu justificar as ideias transmitidas pelo modelo
dos elementos de Euclides, fazendo com que este continuasse a ser o modelo matemtico
adoptado e, uma possvel confirmao disso que, um sculo mais tarde as suas ideias
ainda continuam a ser vlidas.
20
Introduo
Captulo 2
Construo dos nmeros reais
utilizando a Noo de Corte ou
Seco
Neste Captulo ser elaborada uma construo do Conjunto dos Nmeros Reais,
partindo do Conjunto dos Nmeros Racionais, e tendo por base a noo de corte ou
seco utilizada, pela primeira vez, por Richard Dedekind, aquando da sua Construo
dos Nmeros Reais publicada em 1872.
Passado mais de um sculo, e com a Teoria dos Conjuntos aceite na matemtica,
tentamos manter, neste Captulo, o estilo original de Dedekind e a nossa exposio da sua
teoria no difere muito da apresentada pelo autor .
Apesar de Dedekind no ter enunciado os Teoremas, Definies e Propriedades como
tal, optamos pelo uso dessa terminologia, para uma melhor interpretao da sua obra e
para podermos alcanar o objectivo deste Captulo: mostrar que o conjunto construdo
por Dedekind um Corpo Ordenado Completo.
Tendo em conta que Dedekind pretendeu criar uma base aritmtica slida para o Conjunto dos Nmeros Reais, a primeira seco - Properties of Rational Numbers da sua obra
Essays on the theory of numbers, [9], relativa reformulao em termos aritmticos das
propriedades do conjunto que constitui a base da sua construo: o Corpo dos Nmeros
Racionais, que denota por R, mas que aqui denotaremos por Q. Assim, inicia a sua
construo com trs propriedades dos nmeros racionais e com as correspondentes pro21
22
Construo dos nmeros reais utilizando a Noo de Corte ou Seco
priedades para pontos numa linha recta e a partir dessa correspondncia que Dedekind
reflecte sobre a incompletude do Conjunto dos Nmeros Racionais, ampliando este conjunto com a criao de novos nmeros com o objectivo de que este adquira a mesma
completude que uma linha.
Tendo por base a definio de corte ou seco, e demonstrando que nem todos os
cortes so produzidos por Nmeros Racionais, Dedekind constri um novo conjunto, o
Conjunto dos Nmeros Reais, formado por todos os cortes.
As operaes entre cortes no foram explicitadas na sua obra, excepo da soma, no
entanto, autores posteriores ampliaram o trabalho levado a cabo por Dedekind, apresentando toda a Aritmtica do Conjunto dos Nmeros Reais.
Em 1930 Edmund Landau (1877 - 1938) apresenta na sua obra Foundations of Analysis,
uma construo do Conjunto dos Nmeros Reais igualmente baseada na noo de corte
ou seco partindo, no do Conjunto de Nmeros Racionais como Dedekind, mas do
Conjunto dos Nmeros Naturais utilizando a Axiomtica de Peano.
Edmund Landau assume na obra supra citada a influncia do trabalho de Dedekind
dedicando inclusivamente a seco 5 do Captulo IV ao que denominou de Teorema Fundamental de Dedekind.
Contudo, a identificao corrente de que este sistema de nmeros constitui um Corpo
Ordenado Completo s se tornou mais tarde usual nos livros de texto de anlise e clculo,
como por exemplo, no livro de texto de Michael Spivak em 1967.
Assim, tendo por base o livro de Spivak vamos mostrar que o Conjunto dos Nmeros
Reais, construdo usando a noo de corte ou seco, um Corpo Ordenado Completo.
2.1
Analogia entre os nmeros racionais e os pontos

de uma linha recta
Como j havia sido referido anteriormente, Dedekind estabeleceu algumas propriedades

referentes aos nmeros racionais. Nomeadamente, a relao de ordem em Q, e estabelece
como vlidas as propriedades de transitividade e densidade, bem como uma definio no
formalizada de corte ou seco, realando que o conjunto dos racionais forma um domnio
infinito totalmente ordenado.
Analogia entre os nmeros racionais e os pontos de uma linha recta
23
Na seco I - Properties of Rational Numbers, do livro Essays on the theory of numbers,

Dedekind, com o intuito de expressar que dois smbolos a e b representam um e o mesmo
nmero racional, escreve-o na forma a = b bem como b = a.
Dois nmeros racionais a e b so diferentes se a diferena a b corresponde a um
valor positivo ou negativo, indicando que a maior do que b ou que b maior do que a,
respectivamente. No caso de a ser maior do que b diz-se que b menor do que a, o que
indicado pelos smbolos a > b , b < a.
Partindo do pressuposto de que dois nmeros podem diferir, Dedekind definiu as
seguintes propriedades para os nmeros racionais:
Propriedade 2.1.1 "(I) Se a > b, e b > c ento a > c. Sempre que a, c so dois nmeros
diferentes (ou desiguais), e b maior do que um e menor do que o outro, iremos, sem
hesitao devido sugesto das ideias geomtricas, expressar brevemente este aspecto
afirmando: b est entre os dois nmeros a, c.
(II) Se a, c so dois nmeros diferentes, existem infinitos nmeros diferentes entre a,
c.
(III) Se a um nmero qualquer, ento todos os nmeros do sistema Q caem em
duas classes, A1 e A2 , cada uma delas contendo infinitos elementos; a primeira classe A1
compreende todos os nmeros a1 que so < a, a segunda classe A2 compreende todos os
nmeros a2 que so > a; o prprio nmero a poder pertencer primeira ou segunda
classe, sendo respectivamente o maior nmero da primeira classe ou o menor nmero da
segunda. Em qualquer um dos casos a separao do sistema Q nas duas classes A1 , A2
tal que todo o nmero da primeira classe A1 menor do que todo o nmero da segunda
classe A2 ." ([9], p. 6)
Considerando p e q como dois pontos diferentes numa linha recta L, e distinguindo por
direita e esquerda as duas posies opostas de quaisquer dois pontos numa linha recta,
Dedekind estipulou as propriedades anteriormente citadas para os nmeros racionais, no
que diz respeito a pontos sobre uma linha recta.
Propriedade 2.1.2 "(I) Se p est situado direita de q, e q direita de r, ento p est

direita de r; e dizemos que q est situado entre os pontos p e r.
24
(II) Se p, r so dois pontos distintos, ento existe uma infinidade de pontos situados
entre p e r.
(III) Se p um ponto definido em L, ento todos os pontos em L pertencem a duas
classes, P1 , P2 cada qual contendo infinitos elementos; a primeira classe P1 contm todos
os pontos p1 , que esto esquerda de p, e a segunda classe P2 contm todos os pontos
p2 , que esto direita de p; o prprio ponto p poder pertencer primeira ou segunda
classe. Em qualquer um dos casos a separao da linha recta L nas duas classes ou pores
P1 , P2 tal que todo o ponto da primeira classe P1 est esquerda de todo o ponto da
segunda classe P2 ." ([9], p. 7)
A analogia entre os nmeros racionais e os pontos de uma linha recta L, torna-se uma
verdadeira correspondncia quando, sobre a linha, seleccionamos um ponto que podemos
denominar de origem, o, e uma determinada unidade de comprimento, com o intuito de
medir os seus segmentos. Assim, para todo o nmero racional a poder ser construdo
o correspondente comprimento e se, por outro lado, deslocarmo-nos na linha recta, para
a direita ou esquerda de o, conforme a positivo ou negativo, obtemos um determinado
ponto p, o qual ser denominado de ponto correspondente ao nmero racional a.
Atendendo ao facto que foi estabelecida correspondncia entre o nmero racional zero
e o ponto o, podemos afirmar que para todo o nmero racional a, isto , para todo o
elemento em Q, corresponde um e um s ponto p, isto , um elemento de L.
A dois nmeros a, b corresponde, respectivamente, dois pontos p, q e, obviamente,
se a > b, ento p est situado direita de q. Assim, as propriedades citadas anteriormente, (I), (II) e (III), respeitantes a nmeros racionais, correspondem completamente
s propriedades (I), (II) e (III), respeitantes a pontos numa linha recta.
2.2
Continuidade de uma linha recta
De grande importncia o facto de que, numa linha recta L existem infinitos pontos
que no correspondem aos nmeros racionais. Com efeito, se a um ponto p corresponder um nmero racional a ento, como sabido o comprimento op comensurvel com
a unidade de medida utilizada na construo, isto , existe um terceiro comprimento,
denominado de medida comum, segundo o qual estes dois comprimentos so mltiplos.
Continuidade de uma linha recta
25
No entanto, na Grcia Antiga, j era conhecido, e at demonstrado, que existem

comprimentos incomensurveis com a unidade de medida dada, por exemplo, a diagonal
de um quadrado cujo lado igual medida de comprimento utilizada ([2], p. 203).
Se colocarmos sobre uma recta um comprimento do tipo descrito no pargrafo anterior,
a partir do ponto o, obtemos como extremo um nmero que no racional. Uma vez que
facilmente demonstrado que existem infinitos comprimentos que so incomensurveis
com a unidade de medida, podemos afirmar que, "a linha recta L infinitamente mais
rica em elementos - pontos do que o domnio Q dos nmeros racionais em elementos nmeros". ([9], p. 9)
Ento, o domnio dos nmeros racionais revelou-se insuficiente e tornou-se absolutamente necessrio que o conjunto Q, construdo pela criao de nmeros racionais, seja
"alargado" pela criao de novos nmeros, tal que o novo conjunto adquira a completude,
ou digamos, a mesma continuidade que uma linha recta.
A comparao acima descrita do domnio Q, dos nmeros racionais, com uma linha
recta, levou-nos a reconhecer a existncia de uma certa incompletude ou descontinuidade
de Q. No entanto, estamos a pressupor a continuidade da linha recta que explicada por
Dedekind, da seguinte forma:
"... ns atribumos recta a qualidade de ser completa, sem lacunas, ou seja,
contnua. Mas esta continuidade, em que consiste? Tudo deve depender na
resposta a esta questo, e somente atravs dela obteremos uma base cientfica
para a investigao de todos os domnios contnuos." ([9], p. 10)
Naturalmente, no se consegue nada quando, para explicar a continuidade, se fala, de
um modo vago, de uma conexo ininterrupta nas suas partes mais pequenas. Para tal
Dedekind procurou e formulou uma propriedade caracterstica e precisa de continuidade
que serviu de base a dedues verdadeiras e prprias.
Verificou que, todo o ponto da recta determina uma decomposio da mesma em duas
partes, de tal natureza que todo o ponto de uma delas est esquerda de todo o ponto
da outra.
Dedekind observou a essncia da continuidade na inverso desta propriedade e, portanto, no seguinte princpio:
26
"Se todos os pontos da linha recta pertencerem a duas classes tal que todo
o ponto da primeira classe est esquerda de todo o ponto da segunda classe,
ento existe um e um s ponto que produz esta diviso de todos os pontos em
duas classes, separando a linha recta em duas pores". ([9], p. 11)
Dedekind acreditava no errar, ao admitir que a exactido do princpio enunciado seria
imediatamente aceite por todos. No entanto, afirmou que a maior parte dos seus leitores
teriam uma grande desiluso ao tomar conta de que foi esta banalidade que revelou todo
o mistrio da continuidade.
A este propsito observou que cada um deveria considerar o princpio enunciado to
evidente e to concordante com a sua prpria representao da recta, pois considerava
que, nem ele, nem ningum conseguiria dar a este princpio uma qualquer demonstrao.
Dedekind considerou que a propriedade da recta, expressa por este princpio, no era
mais do que um axioma, e sob a forma deste axioma que pensou a continuidade da
recta.
No existe, por parte de Dedekind, referncia demonstrao da unicidade do ponto
determinado pelo axioma, no entanto, esta feita por reduo ao absurdo com base nas
alneas (II) e (III) da Propriedade 2.1.2, como se mostra de seguida.
Suponhamos que p e p0 so dois pontos distintos que produzem a diviso da recta em
duas classes L1 e L2 , de modo que todo o ponto de L1 est esquerda de todo o ponto
de L2 , e consideremos, sem perda de generalidade, que p est esquerda de p0 . Pela
alnea (II), da propriedade 2.1.2, existem infinitos pontos p00 compreendidos entre p e p0 ,
e como cada um destes pontos p00 est situado direita de p e esquerda de p0 , podemos
afirmar, invocando a alnea (III), que p00 , respectivamente um ponto de L2 e de L1 .
Assim, obtemos um absurdo, visto que pelo princpio da continuidade da linha recta, a
construo das classes L1 e L2 feita supondo que todo o ponto de L1 se situa esquerda
de todo o ponto de L2 .
2.3
Construo dos Nmeros Irracionais
Como j foi estabelecido, todo o nmero racional a origina uma separao do conjunto
Q em duas classes tais que todo o nmero a1 , da primeira classe A1 , menor do que todo
27
o nmero a2 , na segunda classe A2 ; o nmero a igualmente o maior nmero da classe

A1 ou o menor nmero da classe A2 . Assim, Dedekind definiu corte ou seco da seguinte
maneira:
Definio 2.3.1 Uma qualquer separao do conjunto Q em duas classes, A1 e A2 , tal
que todo o nmero de A1 menor do que todo o nmero em A2 consiste numa seco
(Schnitt), que denotada por (A1 , A2 ).
Com o intuito de tornar esta construo mais clara, reservaremos o termo corte para
nos referirmos diviso da recta em duas classes e utilizaremos o termo seco quando
nos referimos separao do conjunto Q, dos nmeros racionais.
Nem todas as seces so produzidas por nmeros racionais. Com efeito, Dedekind
provou, do seguinte modo, que existem infinitas seces que no so produzidas por
nmeros racionais.
Sendo d um inteiro positivo, diferente de um quadrado perfeito, ento existe um inteiro
positivo p, tal que:
p2 < d < (p + 1)2 .
Se considerarmos a segunda classe A2 , constituda por todos os nmeros racionais
positivos a2 , cujo quadrado maior do que d e a primeira classe A1 , constituda por todos
os outros nmeros racionais a1 , esta separao forma a seco (A1 , A2 ), isto , todo o
nmero a1 menor do que todo o nmero a2 .
Com efeito, se a1 = 0, ou negativo, ento obvio que a1 menor do que todo o
nmero a2 , pois, por definio, este ltimo positivo.
Se por outro lado, a1 positivo e o seu quadrado menor ou igual a d ento, temos
sempre que a1 menor do que qualquer nmero positivo a2 , cujo quadrado maior do
que d.
Bastar ento, mostrar que (A1 , A2 ) no produzido por nenhum nmero racional,
para que se conclua que existe um nmero infinito de seces que no so originadas por
nmeros racionais.
Dedekind comea por mostrar, primeiramente, que no existe nenhum nmero racional
cujo quadrado seja igual a d.
Suponhamos, com vista a um absurdo, que existe um nmero racional nessas condies,
ento existem dois inteiros positivos, t e u, que satisfazem a equao t2 du2 = 0 e
28
podemos supor que u o menor nmero inteiro positivo possuindo a propriedade de que
o seu quadrado, multiplicado por d, pode ser convertido no quadrado de um determinado
inteiro t.
Uma vez que, evidentemente, pu < t < (p + 1) u, o nmero u0 = t pu um inteiro
positivo certamente menor do que u.
Se considerarmos t0 = du pt, t0 , do mesmo modo, um inteiro positivo e temos
t02 du02 = p2 d t2 du2 = 0
o que contrrio suposio respeitante a u.
Obtivemos ento, nmeros t0 e u0 , com u0 < u tais que d =
t 2
u
, o que um absurdo.
Donde, o quadrado de qualquer nmero racional x menor do que d ou maior do que

d, mas nunca igual a d.
Numa segunda fase da demonstrao, Dedekind prova que na classe A1 no existe
mximo, nem existe mnimo na classe A2 .
x(x2 +3d)
Se considerarmos y = 3x2 +d temos y x =
2x(dx2 )
3x2 +d
e y2 d =
(x2 d)
(3x2 +d)2
Se supusermos que x um nmero positivo da classe A1 , ento x2 < d, e daqui y > x e

y 2 < d. Logo, do mesmo modo, y pertence classe A1 e, portanto a classe A1 no admite
mximo.
Mas se supusermos que x um nmero pertencente classe A2 , ento x2 > d, donde
y < x, y > 0 e y 2 > d. Ento, y pertence classe A2 e, portanto a classe A2 no admite
elemento mnimo.
Assim, consequentemente, esta seco no produzida por um nmero racional ([9],
p. 13).
Dedekind assume que sempre que estamos perante uma seco produzida por um
nmero que no seja racional, criamos um novo nmero, um nmero irracional , o qual
est completamente definido por esta seco. Afirma que o nmero corresponde a esta
seco ou que produz esta seco.
As expresses utilizadas por Dedekind quando faz a criao de um nmero irracional
so consideradas, por vrios autores, como sendo vagas e pouco precisas. Uma vez que
nesta definio parece, tal como pareceu a Pierre Dugac que a segunda parte da definio
entra em contradio com a primeira ([11], p. 43).
29
Ora, o nmero , considerou-se completamente definido pelo corte mas, Dedekind

afirma de seguida que o corte produzido pelo nmero .
Assim, ao afirmar que o irracional origina o corte, comete uma impreciso: a suposio priori que o nmero existe.
Para explicar a sua crtica, Dugac compara os cortes originados por nmeros racionais
queles originados por irracionais.
Relativamente aos nmeros racionais, Dedekind afirma no incio da Seco IV - Creation of irrational numbers que: "(...) todo o nmero racional a produz um corte (...)."
([9], p. 13)
Esta afirmao no levanta objeces pois por um lado o nmero racional j existe
antes de se criar o corte e, alm disso, o modo como so formados os cortes, a partir dos
elementos de Q, conjunto dos nmeros racionais, justifica totalmente o uso da palavra
criar.
Mas, segundo Dugac, no podemos afirmar o mesmo quando o corte originado por
um nmero irracional, pois a palavra criar pressupe uma certa existncia priori de ,
quando na realidade o nmero que criado pelo corte.
Contudo, veremos nas seces seguintes que a correspondncia entre cortes e nmeros
(racionais e irracionais) ficar perfeitamente caracterizada sem a utilizao da expresso
de Dedekind, no que diz respeito ao facto de um nmero produzir um corte.
Tal como Dedekind, outros autores posteriores, nomeadamente Landau, [25], e Spivak
([40], pp. 494 - 506), tendo ao seu dispor o conjunto dos nmeros racionais construiram um
novo conjunto, com estrutura de Corpo, ao qual denominaram de Conjunto dos Nmeros
Reais.
A estratgia de construo utilizada para definir nmeros reais requer a descrio
destes em termos dos nmeros racionais. A observao de que um nmero real pode
ser completamente determinado pelo conjunto dos nmeros racionais menores do que ele
sugere uma simples e atractiva possibilidade: um nmero real pode ser descrito como uma
coleco de nmeros racionais.
Contudo, com o objectivo de tornar esta proposta efectiva devem ser encontrados
meios de descrever o conjunto dos nmeros racionais menores do que um determinado
nmero real, sem mencionar os nmeros reais, que, segundo Spivak, "so nada mais do
30
que produtos heursticos da nossa imaginao matemtica" ([40], p. 494)

Spivak utiliza a seguinte propriedade dos nmeros racionais que so menores do que
um nmero real . Se considerarmos A o conjunto de nmeros racionais menores do que
ento:
Propriedade 2.3.1 Se x pertence a A e y um nmero racional tal que y < x, ento y
pertence a A.
Alm desta propriedade o conjunto A deve possuir algumas outras.
Uma vez que deve existir algum nmero racional x < , o conjunto A deve ser no
vazio. Da mesma forma, uma vez que deve existir algum nmero racional x > , o
conjunto A no dever coincidir com o conjunto Q.
Finalmente, se x < , ento deve existir outro nmero racional y com x < y < ,
ento A no deve conter mximo.
Se temporariamente tomarmos os nmeros reais tais como os conhecemos, ento no
difcil verificar que o conjunto A com estas propriedades de facto o conjunto dos nmeros
racionais menores do que um determinado nmero real .
Poderemos ento, sem hesitaes, formular a seguinte definio (presente em [40], p.
495), que segue as ideias de Dedekind:
Definio 2.3.2 Um nmero real um conjunto , de nmeros racionais, com as seguintes
propriedades:
(1) Se x est em e y um nmero racional com y < x, ento y est tambm em .
(2) 6= .
(3) 6= Q.
(4) No existe mximo em , por outras palavras, se x est em , ento existe algum
y em com y > x.
O facto do conjunto A ser considerado na definio como sendo , indica uma preocupao conceptual e notacional.
Assim, analogamente concepo tomada por Dedekind, um nmero real , por
definio, um conjunto de nmeros racionais. O que significa, em particular, que um
nmero racional (um elemento de Q) no um nmero real, no entanto todo o nmero
racional x possui um correspondente nmero real, nomeadamente {y Q : y < x}.
Continuidade do Domnio dos Nmeros Reais
31
Spivak ([40], p. 495) afirma que aps completar a construo dos nmeros reais,
podemos mentalmente excluir os elementos de Q e assumir que Q ir, a partir de agora,
denotar estes conjuntos em especial.
A partir de agora, ser necessrio trabalhar simultaneamente com nmeros racionais,
nmeros reais (conjuntos de nmeros racionais) e at com conjuntos de nmeros reais
(conjuntos de conjuntos de nmeros racionais). Alguma confuso talvez inevitvel mas
uma notao prpria dever minimizar este facto.
2.4
Continuidade do Domnio dos Nmeros Reais
Com vista a obter uma base para a ordenao de todos os nmeros reais, isto , de
todos os nmeros racionais e irracionais, necessrio estabelecer a relao entre quaisquer
duas seces (A1 , A2 ) e (B1 , B2 ), produzidas por dois quaisquer nmeros e . Estas
relaes entre seces, estabelecidas por Dedekind, sero tratadas, comparativamente com
uma outra interpretao do conceito de seco.
b de todos os nmeros reais,
Em consequncia das distines estabelecidas, o sistema R,
segundo Dedekind, forma um domnio bem ordenado de uma dimenso, o que significa
que as seguintes propriedades, so verificadas:
Propriedade 2.4.1 "(I) Se > , e > , ento temos > . Diremos que o nmero
est entre e .
(II) Se , so dois quaisquer nmeros distintos, ento existem infinitos nmeros
distintos que esto entre , .
b pertencem a
(III) Se um nmero qualquer ento todos os nmeros do sistema R
duas classes U1 e U2 cada qual contendo infinitos elementos; a primeira classe U1 compreende todos os nmeros 1 menores que , a segunda U2 compreende todos os nmeros
2 maiores do que ; o prprio nmero pode pertencer primeira ou segunda classe, e

respectivamente o maior elemento da primeira ou o menor elemento da segunda classe.
b em duas classes U1 , U2 tal que todo
Em qualquer um dos casos a separao do sistema R
o nmero da primeira classe U1 menor do que todo o nmero da segunda classe U2 e

dizemos que esta separao produzida pelo nmero ." ([9], p. 19)
32
b igualmente contnuo, isto , o

Alm destas propriedades, contudo, o domnio R
seguinte Teorema vlido:
b de todos os nmeros reais for dividido em duas classes

(IV) "Se o sistema R
U1 , U2 tal que todo o nmero 1 da classe U1 menor do que todo o nmero
2 da classe U2 , ento existe um e um s nmero pelo qual esta separao

produzida." ([9], p. 20)
Seguidamente apresentamos a Demonstrao deste Teorema, feita por Dedekind.
b em U1 e U2 obtemos, ao mesmo tempo a seco (A1 , A2 )
Pela separao ou seco de R
do sistema Q de todos os nmeros racionais que definido como sendo tal que: A1 contm
todos os nmeros racionais da classe U1 e A2 todos os outros nmeros racionais, isto ,
todos os nmeros racionais da classe U2 .
Seja o nmero perfeitamente definido que produz esta seco (A1 , A2 ). Se um
qualquer nmero diferente de , ento existem sempre infinitos nmeros racionais c que
esto entre e .
Se < , ento c < ; logo c pertence classe A1 e consequentemente, tambm
classe U1 , e uma vez que < c ento pertence igualmente mesma classe U1 , pois todo
o nmero em U2 maior do que todo o nmero c em U1 .
Mas se > , ento c > ; logo c pertence classe A2 e consequentemente, tambm
classe U2 , e uma vez que > c ento pertence igualmente mesma classe U2 , pois
todo o nmero em U1 menor do que todo o nmero c em U2 .
Uma vez que todo o nmero diferente de pertence classe U1 ou classe U2 ,
conforme < ou > ; consequentemente ele prprio o maior nmero em U1 ou
o menor nmero em U2 , isto , o nmero, e obviamente o nico nmero, pelo qual a
separao de Q em duas classes U1 , U2 produzida.
2.5
Operaes com Nmeros Reais
Para reduzir quaisquer operaes com dois nmeros reais e a operaes com
nmeros racionais, Dedekind estabelece que, apenas necessrio a partir das seces
(A1 , A2 ), (B1 , B2 ) produzidas pelos nmeros e no sistema Q definir a seco (C1 , C2 )
a qual corresponde ao resultado da operao, .
33
Assim, para a adio de nmeros reais estabelece que:

Definio 2.5.1 "Se c um qualquer nmero racional, colocamo-lo na classe C1 , de
forma que existam dois nmeros a1 em A1 e b1 em B1 tal que a sua soma a1 + b1 = c;
todos os outros nmeros racionais devem ser colocados na classe C2 ." ([9], p. 21)
Esta separao de todos os nmeros racionais em duas classes C1 , C2 evidentemente
forma uma seco, uma vez que todo o nmero c1 em C1 menor do que todo o nmero
c2 em C2 .
Se e so racionais, ento todo o nmero c1 , contido em C1 menor ou igual
a + , pois a1 5 , b1 5 , e, consequentemente, a1 + b1 5 + . Alm disso, se
estivessem contidos em C2 um nmero c2 < + , pois + = c2 + p, onde p um
nmero racional positivo, ento teramos:

1
1
c2 = p + p ,
2
2
o que contradiz a definio do nmero c2 , pois 12 p um nmero em A1 , e 12 p um
nmero em B1 ; consequentemente todo o nmero c2 contido em C2 = + .
Assim, neste caso, a seco (C1 , C2 ) produzida pela soma + . Assim no violamos
a definio que se mantm na aritmtica dos nmeros racionais se em todos os casos
entendermos pela soma + de quaisquer dois nmeros reais , aquele nmero pelo
qual a seco (C1 , C2 ) produzida. Se apenas um dos dois nmeros , racional, por
exemplo , fcil verificar que no existe diferena com a soma = + , consoante o
nmero colocado na classe A1 ou na classe A2 .
Assim como a soma definida, Dedekind afirma podermos definir as outras operaes aritmticas, ditas elementares, como por exemplo, diferenas, produtos, quocientes,
potncias, razes, logaritmos, e desta forma, chegar a demonstraes de teoremas (como,
por exemplo, 2 3 = 6), o qual, no seu entender, no havia ainda sido estabelecido.
O excessivo comprimento que se teme na definio de operaes mais complicadas est
inerente, em parte, natureza do objecto mas pode, na maioria das vezes, ser evitado.
Dedekind afirma ser muito til nesta conexo a noo de intervalo, isto , um sistema A
de nmeros racionais possuindo a seguinte propriedade caracterstica:
Propriedade 2.5.1 "Se a e a0 so nmeros do sistema A, ento todos os nmeros
racionais que esto entre a e a0 esto contidos em A. O sistema Q de todos os nmeros
34
racionais, bem como as duas classes de qualquer seco so intervalos. Se existe um

nmero racional a1 que menor e um nmero racional a2 que maior do que qualquer
nmero de um intervalo A, ento A denominado de intervalo finito; ento existem infinitos nmeros na mesma condio que a1 e infinitos nmeros na mesma condio que
a2 ; todo o domnio Q assim dividido em trs partes A1 , A, A2 e existem dois nmeros
racionais ou irracionais perfeitamente definidos 1 , 2 , que podem ser denominados respectivamente de limites inferior ou superior (ou menor e maior) do intervalo; o limite
inferior 1 determinado pela seco pela qual o sistema A1 forma a primeira classe e
o superior 2 pela seco pelo qual o sistema A2 forma a segunda classe. Para todo o
nmero racional ou irracional entre 1 e 2 , pode ser dito que est dentro do intervalo
A. Se todos os nmeros de um intervalo A so igualmente nmeros de um intervalo B,
ento A diz-se parcela de B." ([9], p. 22)
Dedekind, considera ainda necessrias extensas consideraes quando tentamos adaptar os numerosos teoremas da aritmtica dos nmeros racionais a quaisquer nmeros reais,
por exemplo, o Teorema (a + b) c = ac + bc.
Dedekind considera fcil verificar que tudo se resume a mostrar que as operaes
aritmticas possuem uma certa continuidade. Esta afirmao pode ser expressa, segundo
este autor, na forma do seguinte teorema geral:
Teorema 2.5.1 "Se o nmero o resultado de uma operao entre os nmeros , , , ...
e pertence ao intervalo L, ento os intervalos A, B, C, ... podem ser tomados de forma
que incluam , , , ... de modo que substituindo os nmeros , , , ... por nmeros arbitrrios de A, B, C, ... o resultado da operao aplicada a estes novos nmeros sempre
um nmero do intervalo L." ([9], p. 23)
Dedekind reconhece a necessidade da introduo de novos conceitos com o objectivo
de simplificar o seu enunciado, bem como justificar a generalidade do mesmo. Com efeito,
afirma que as mais simples operaes aritmticas devem definir-se sobre as noes de
grandeza varivel, funo e valores limite que, no entanto, no aborda na sua obra.
Apesar de Dedekind apenas ter definido, de uma forma explcita, a soma de nmeros
reais, outros autores (veja-se, por exemplo, [25], pp. 70 - 89 ou [40], pp. 497 - 504), tendo
por base a mesma definio, definiram mais do que isso, como veremos de seguida.
35
Em 1930, Edmund Landau apresenta no Captulo III da sua obra Foundations of

Analysis, [25], a definio de corte ou seco, semelhana do que foi feito por Dedekind
e que no mais do que a Definio 2.3.2 escolhida por Spivak.
Definio 2.5.2 "Um conjunto de nmeros racionais denomina-se corte se:
1) contm um nmero racional, mas no contm todos os nmeros racionais;
2) todos os nmeros racionais do conjunto so menores do que todos os nmeros
racionais que no pertencem ao conjunto;
3) no possui mximo (i. e. um nmero que seja maior do que qualquer outro nmero
pertencente ao conjunto)". ([25], p. 43)
Landau utilizou a mesma terminologia que Dedekind ao referir-se s classes produzidas por esta separao do Conjunto dos Nmeros Racionais. Com efeito, Landau
acrescenta, aps a definio anterior que:
"Vamos tambm utilizar o termo "classe minorante" para um conjunto
com as propriedades anteriormente referidas, e o termo "classe majorante"
para o conjunto de todos os nmeros racionais que no esto contidos na classe
minorante. Os elementos dos dois conjuntos sero, igualmente, chamados de
"minorantes" e "majorantes", respectivamente." ([25], p. 43)
Landau estabelece igualmente no Captulo III a Ordenao entre cortes e as operaes aritmticas entre estes, nomeadamente a Adio, a Subtraco, a Multiplicao e a
Diviso.
Na ltima seco deste Captulo, Landau estabelece a distino entre cortes racionais,
produzidos por nmeros racionais e cortes integrais, produzidos por nmeros inteiros e
assume que os nmeros racionais, so os cortes para os quais existe o menor dos majorantes
e que este ento o corte ([25], p. 64).
Analogamente a Dedekind, Landau assume, em termos de uma definio que "todo o
corte que no um nmero racional denominado de nmero irracional." ([25], p. 67)
Aquando da definio da multiplicao entre cortes, Landau prova que sendo A e B
dois cortes, para cada B, a equao AA = B tem exactamente uma soluo ([25], p. 65)
e com base nesta ideia que Landau demonstra o seguinte:
36
Teorema 2.5.2 "Existe um nmero irracional." ([25], p. 67)

Demonstrao. suficiente mostrar que a soluo de
AA = 10 ,
onde 10 o sucessor de 1, e cuja existncia garantida pelo Teorema anterior,
irracional.
Por outro lado, podemos ter
a
A= ,
b
com a e b naturais e b 6= 0, para alm de todas as representaes deste tipo, escolhemos
uma, para a qual b o menor possvel pois em todos os conjuntos no vazios de nmeros
naturais existe um nmero mnimo, isto , um nmero que menor do que todos os outros
do conjunto.
Uma vez que
10 = AA =
a a
aa
=
b b
bb
temos
bb < 10 (bb) = aa = (10 b) b < (10 b) (10 b)
b < a < 10 b.
Seja a b = c. Ento
b + c = a < 10 b = b + b
c < b.
Agora temos que
(m + n) (m + n) = (m + n) m + (m + n) n = (mm + nm) + (mn + nn) =
= (mm + 10 (mn)) + nn
donde, tomando
bc=d
37
ento
aa + dd = (b + c) (b + c) + dd = (bb + 10 (bc)) + (cc + dd) =
= (bb + (10 c) (c + d)) + (cc + dd) = (bb + 10 (cc)) + ((10 (cd) + cc) + dd) =
= (bb + 10 (cc)) + (c + d) (c + d) = (bb + 10 (cc)) + bb = 10 (bb) + 10 (cc) =
= aa + 10 (cc)
logo
dd = 10 (cc)
d d
= 10 .
c c
o que contradiz
c < b.
Finalmente, no Captulo IV, apresentada a definio do Conjunto dos Nmeros Reais

da seguinte forma:
Definio 2.5.3 "Os cortes sero, a partir de agora, denominados "Nmeros Positivos".
Da mesma forma, o que temos chamado "nmeros racionais" e "inteiros" sero, daqui
para a frente, denominados "nmeros racionais positivos" e "inteiros positivos", respectivamente.
Criamos um novo nmero 0 (l-se "zero"), distinto dos nmeros positivos.
Tambm criamos nmeros que so, igualmente, distintos dos nmeros positivos e do
zero, que sero denominados de nmeros negativos, de maneira que para cada A (i.e.,
para cada nmero positivo) associamos um nmero negativo denotado por A ( l-se
"menos").
Nesta definio A e B sero considerados o mesmo nmero (considerados iguais)
se e s se A e B so o mesmo nmero.
O conjunto constitudo por todos os nmeros positivos, pelo zero e por todos os nmeros
negativos, ser denominado de nmeros reais." ([25], p. 69)
Landau estabelece igualmente no Captulo IV a Ordenao entre Nmeros Reais e as
operaes aritmticas entre estes, nomeadamente a Adio, a Subtraco, a Multiplicao
38
e a Diviso e termina este Captulo dedicando a ltima seco ao Teorema Fundamental

de Dedekind.
Teorema 2.5.3 "Consideremos uma qualquer diviso de todos os nmeros reais em duas
classes com as seguintes propriedades:
1) Existe um nmero na primeira classe e um nmero na segunda classe;
2) Todo o nmero da primeira classe menor que todo o nmero da segunda classe.
Ento existe exactamente um nmero real tal que todo < pertence primeira
classe e todo o > pertence segunda classe.
Por outras palavras, todo o nmero da primeira classe e todo o nmero da
segunda classe .
Observao Preliminar: bvio que, inversamente, todo o nmero real origina
exactamente duas destas divises. Uma delas possui como primeira classe todos
e como segunda classe todos > , a outra possui como primeira classe todos < e
como segunda classe todos ." ([25], p. 89)
Com o intuito de provar que o Conjunto dos Nmeros Reais constitui um Corpo
Ordenado e Completo e tendo por base a Definio 2.3.2, apresentamos, de seguida, a
Aritmtica subjacente a este conjunto que nos conduzir a esse propsito.
A razo por comearmos com a definio de < deve-se simplicidade deste conceito,
como de seguida apresentamos.
Definio 2.5.4 Se e so nmeros reais, ento < significa que est contido
em , isto , todo o elemento de tambm um elemento de , mas 6= .
A repetio das definies de , >, aqui suprfluo, mas interessante notar que
pode agora ser mais simplesmente expresso do que <, pois se e so nmeros reais,
ento se e s se est contido em .
Definio 2.5.5 Se e so nmeros reais, ento:
u = {x : x = y + z para algum y em e algum z em } .
A definio da operao u simples, no entanto, deve ser acompanhada de uma prova
de que esta operao realmente faz sentido.
39
Teorema 2.5.4 Se e so nmeros reais, ento u um nmero real.

Demonstrao. A prova de que u um nmero real baseia-se em verificar as
quatro propriedades da Definio 2.3.2.
(1) Suponhamos que w < x para algum x em u .
Ento, x = y + z para algum y em e algum z em , o que significa que, w < y + z,
e consequentemente, w y < z.
Isto mostra que, w y est em (uma vez que z est em e um nmero real).
Uma vez que, w = y + (w y), resulta que, w est em u .

(2) claro que, u 6= , uma vez que, 6= e 6= .
(3) Uma vez que, 6= Q e 6= Q, ento existem nmeros racionais a e b, com a no

pertencente a e b no pertencente a .
Qualquer x em satisfaz x < a (pois, se a < x ento, a condio (1) para nmero real
iria implicar que a pertencesse a ).
Similarmente qualquer y em satisfaz y < b.
Assim, x + y < a + b para qualquer x em e y em . O que mostra que, a + b no
est em u , logo u 6= Q.
(4) Se x est em u , ento x = y + z para algum y em e z em .
Existem y 0 em e z 0 em com y < y 0 e z < z 0 ; ento x < y 0 + z 0 e y 0 + z 0 est em

u . Isto significa que u no possui mximo.
Estas 4 propriedades provam que u um nmero real.
Teorema 2.5.5 Se , e so nmeros reais, ento:
( u ) u = u ( u ) .
Demonstrao. Uma vez que (x + y) + z = x + (y + z) para quaisquer nmeros
racionais x, y e z, todo o membro de ( u ) u igualmente membro de u ( u ), e
vice-versa.
Teorema 2.5.6 Se e so nmeros reais, ento:
u = u .
40
Demonstrao. Uma vez que x + y = y + x para quaisquer nmeros racionais x e y,

todo o membro de u igualmente membro de u , e vice-versa.
Para provar as outras propriedades de u necessitamos de definir, o elemento neutro
para esta operao, o 0.
0 = {x Q : x < 0} .
Teorema 2.5.7 Se um nmero real, ento u 0 = .
Demonstrao. Se x est em e y est em 0, ento y < 0, logo x + y < x. O que
implica que x + y est em . Assim, todo o membro de u 0 tambm membro de .
Por outro lado, se x est em , ento existe um nmero racional y em tal que y > x.
Uma vez que, x = y + (x y), onde y est em , e x y < 0, tal que, x y est em
0, isto mostra que, x est em u 0.
Assim, todo o membro de tambm membro de u 0.

Definio 2.5.6 Se um nmero real, ento
= {x Q : x no est em , mas x no o mnimo de Q } .
Teorema 2.5.8 Se um nmero real, ento um nmero real.
Demonstrao. (1) Suponhamos que x est em e que y < x. Ento y > x.
Uma vez que x no est em , igualmente verdade que, y no est em . Alm
disso, claro que y no o mnimo de Q , uma vez que, x um elemento mais
pequeno. Isto mostra que, y est em .
(2) Uma vez que 6= Q, existe algum nmero racional y que no est em . Podemos
supor que y no o menor nmero racional em Q (uma vez que y pode sempre ser
substitudo por qualquer y 0 > y). Ento y est em e assim 6= .
(3) Uma vez que 6= , ento existe algum x em . Ento, x no poder estar em
, logo 6= Q.
(4) Se x est em , ento x no est em e existe um nmero racional y < x
que tambm no est em .
Consideremos z um nmero racional tal que y < z < x. Ento z tambm no est
em e z no claramente o mnimo de Q , ento, z est em . Como z > x
ento no possui mximo.
41
A demonstrao de que u () = 0 no muito evidente, no entanto a dificuldade

no se deve definio de . Antes de efectuarmos esta demonstrao necessitamos
provar o seguinte Lema, tendo em conta que os nmeros racionais gozam da propriedade
arquimediana dos nmeros reais, apresentada de seguida:
Propriedade 2.5.2 Seja x um elemento de Q com x > 0. Ento, para todo o y Q
existe algum n N tal que nx > y.
Lema 2.5.1 Seja um nmero real e z um nmero racional positivo ento, existem
nmeros racionais x em e y no pertencente a , tais que y x = z. Alm disso,
podemos supor que y no mnimo de Q .
Demonstrao. Suponhamos primeiramente que z est em .
Se os nmeros z, 2z, 3z, ... esto todos em , ento todo o nmero racional estar em
, uma vez que todo o nmero racional w satisfaz w < nz para algum n, pela Propriedade
2.5.2. O que contradiz o facto de que um nmero real, ento existe algum k tal que
x = kz est em e y = (k + 1) z no est em . Claramente y x = z.
Alm disso, se y for o mnimo de Q , consideremos x0 > x um elemento de , e
substituamos x por x0 , e y por y + (x0 x).
Se z no est em ento a prova similar, baseada no facto de que os nmeros (n) z

no podero estar todos em .
Teorema 2.5.9 Se um nmero real ento u () = 0.
Demonstrao. Suponhamos x em e y em , ento y no est em , logo
y > x.
Uma vez que x + y < 0, ento x + y est em 0. Assim, todo o membro de u ()
est em 0.
mais difcil fazer a demonstrao no sentido inverso. Se z est em 0, ento z > 0.
De acordo com o Lema 2.5.1 existe algum x em e algum y que no est em com y
no sendo o mnimo de Q tal que y x = z. Esta equao pode ser escrita da forma
x + (y) = z. Uma vez que x est em , e y est em , isto prova que z est em
u ().
Antes de prosseguirmos com a multiplicao, iremos definir o que so elementos positivos e provar uma propriedade bsica.
42
Definio 2.5.7
n
o
b:>0 .
P= R
Notemos que u est claramente em P, se e estiverem.

Teorema 2.5.10 Se um nmero real, ento uma e uma s das seguintes condies
verdadeira:
(i) = 0.
(ii) P.
(iii) P.
Demonstrao. Se contm um qualquer nmero racional positivo, ento certamente contm todos os nmeros racionais negativos, logo contm 0 e 6= 0, isto ,
est em P.
Se no contm qualquer nmero racional positivo, ento uma das seguintes possibilidades verificada:
(1) contm todos os nmeros racionais negativos, ento = 0.
(2) existe algum nmero racional negativo x que no est em , podemos supor que
x no o mnimo de Q (uma vez que x pode ser substitudo por
x
2
> x). Ento
contm o nmero racional positivo x, logo como acabamos de provar, P.

Isto mostra que, pelo menos uma das condies (i) - (iii) verdadeira.
Se = 0, as condies (ii) e (iii) so claramente impossveis. Alm disso, impossvel
que > 0 e que > 0, uma vez que isto implicaria que 0 = u () > 0.
Recordemos que > significa que contm mas que diferente de . Esta
definio indicada para provar a completude, como veremos mais frente, no entanto,
temos que provar que equivalente definio que ser feita em termos de P.
Assim, necessitamos de mostrar que > 0 equivalente a > , o que
claramente uma consequncia do prximo Teorema.
Teorema 2.5.11 Se , e so nmeros reais e > ento u > u .
Demonstrao. A hiptese > implica que est contido em ; resulta imediatamente da definio de u que u est contido em u . Isto mostra que u u .
Podemos facilmente eliminar a possibilidade da igualdade, pois se
u =u
43
ento
= ( u ) u () = ( u ) u () = ,
o que falso. Assim,
u > u .
Se , > 0, ento pode ser definida como se segue:

Definio 2.5.8 Se e so nmeros reais e , > 0, ento
= {z : z 0 ou z = x y para algum x em e y em com x, y > 0} .
Teorema 2.5.12 Se e so nmeros reais com , > 0, ento um nmero
real.
Demonstrao. Como j sabemos, temos de verificar 4 condies.
(1) Suponhamos w < z, onde z est em .
Se w 0, ento w est automaticamente em . Suponhamos w > 0, ento z > 0
logo z = x y para algum x positivo em e y positivo em . Consideremos
w=
Uma vez que 0 < w < z, temos
(2) Claramente 6= .
w
z
wz
wxy w
=
=
x y.
z
z
z

< 1, logo wz x est em . Assim w est em .
(3) Se x no est em e y no est em , ento x > x0 para todo x0 em , e y > y 0

para todo y 0 em , uma vez que xy > x0 y 0 para todos os positivos x0 e y 0 . Logo xy no
est em , assim 6= Q.
(4) Suponhamos w em e w 0. Existe algum x em com x > 0 e algum y em
com y > 0, ento z = xy est em e z > w.
Suponhamos agora w > 0. Ento w = xy para algum x positivo em e algum y
positivo em . Alm disso, contm algum x0 > x. Se z = x0 y, ento z > xy = w, e z
est em . Assim no possui mximo.
Notemos que est claramente em P se e estiverem. Para completar a definio
de devemos definir ||.
44
Definio 2.5.9 Se um nmero real, ento
se 0
|| =
se 0
Definio 2.5.10 Se e so nmeros reais, ento
0 se = 0 ou = 0
=
|| || se > 0, > 0 ou < 0, < 0
(|| ||) se > 0, < 0 ou < 0, > 0
Teorema 2.5.13 Se , e so nmeros reais, ento
( ) = ( ) .
Demonstrao. bvio se , , > 0. A prova do caso geral requer a considerao
de casos separados (e simples se utilizarmos o seguinte Teorema).
Teorema 2.5.14 Se e so nmeros reais, ento
= .
Demonstrao. bvio se , > 0, e os outros casos so facilmente verificados.
O 1 pode ser definido da seguinte maneira e evidente que, atendendo definio,
um nmero real.
Definio 2.5.11
1 = {x Q : x < 1} .
Teorema 2.5.15 Se um nmero real, ento 1 = .
Demonstrao. Consideremos > 0. fcil constatar que todo o membro de 1
igualmente membro de .
Por outro lado, suponhamos x em .
Se x 0, ento x est automaticamente em 1.
e
x
y

Se x > 0, ento existe algum nmero racional y em tal que x < y. Ento, x = y xy ,
est em 1, logo x est em 1. O que prova que 1 = se > 0.
Se < 0, ento aplicando a Definio 2.5.10 temos:

1 = (|| |1|) = (||) = .
Finalmente, o Teorema bvio quando = 0.
45
Definio 2.5.12 Se um nmero real e > 0, ento
1
1
1
= x Q : x 0, ou x > 0 e no est em , mas no o mnimo de Q .
x
x
Se < 0, ento 1 = (||1 ).
Teorema 2.5.16 Se um nmero real diferente de 0, ento 1 um nmero real.
Demonstrao. Claramente suficiente apenas considerar o caso > 0 e as quatro
condies de nmero real necessitam ser verificadas.
(1) Suponhamos y < x e x em 1 .
Se y 0, ento y est em 1 .
Se y > 0, ento x > 0 logo
est em , e
1
y
1
x
no est em . Uma vez que
1
y
> x1 , temos que
1
y
no
1
x
no
no , claramente, o mnimo de Q , assim y est em 1 .
(2) Como bvio, 1 6= .
(3) Uma vez que > 0, existe algum nmero racional positivo x em . Ento
est em 1 , assim 1 6= Q.
(4) Suponhamos x em 1 .
Se x 0, ento existe claramente algum y em 1 com y > x, pois 1 contm

racionais positivos.
Se x > 0 ento
1
x
no est em . Uma vez que
1
x
no o mnimo de Q , ento existe
um nmero racional y que no est em , com y < x1 . Escolhamos um nmero racional z

com y < z < x1 . Ento
1
z
est em e
1
z
> x. Assim 1 no possui mximo.
Para provar que 1 o inverso de , o Lema seguinte ajuda.

Lema 2.5.2 Seja um nmero real com > 0, e z um nmero racional com z > 1.
Ento, existem nmeros racionais x em e y no pertencente a , tais que
y
x
= z. Alm
disso, podemos supor que y no o mnimo de Q .

Demonstrao. Suponhamos primeiramente que z est em .
Uma vez que z 1 > 0 e que
z n = (1 + (z 1))n 1 + n (z 1) ,
resulta que os nmeros z, z 2 , z 3 , ... no podem estar todos em . Ento, existe algum k
tal que x = z k est em , e y = z k+1 no est em . Claramente,
y
x
= z. Alm disso, se
46
y for o mnimo de Q , consideremos x0 > x um elemento de , e substituamos x por

x0 e y por
yx0
.
x
Se z no est em , a prova similar, baseada no facto de que os nmeros
1
zk
no
podero todos estar em .

Teorema 2.5.17 Se um nmero real e 6= 0, ento 1 = 1.
Demonstrao. obviamente suficiente considerar apenas > 0 e assim 1 > 0.
Suponhamos que x um nmero racional positivo em , e y um nmero racional positivo
em 1 . Ento
1
y
no est em , logo
1
y
> x. Consequentemente xy < 1, o que significa
que xy est em 1.
Uma vez que todos os nmeros racionais x 0 esto igualmente em 1, isto mostra
que todo o membro de 1 est em 1.
Para provar o sentido inverso, consideremos z em 1.

Se z 0, ento claramente z est em 1 .
Suponhamos 0 < z < 1. De acordo com o Lema 2.5.2, existem nmeros racionais
positivos x em e y no pertencente a , tais que xy = 1z e podemos supor que y no o

mnimo de Q . Mas isto significa que z = x y1 , onde x est em e y1 est em 1 .
Consequentemente, z est em 1 .
Teorema 2.5.18 Se , e so nmeros reais, ento:

( u ) = u .
Demonstrao. Suponhamos primeiramente que , , > 0. Ento, todos os
nmeros na equao contm todos os nmeros racionais menores ou iguais a 0.
Um nmero racional positivo em ( u ) da forma x (y + z) para positivos x
em , y em e z em .
Uma vez que x (y + z) = x y + x z onde x y um elemento positivo de e x z
um elemento positivo de , este nmero est tambm em u . Assim, todo
o elemento de ( u ) tambm elemento de u .
Por outro lado, um nmero racional positivo em u da forma x1 y + x2 z
para positivos x1 , x2 em , y em e z em .
47
Nmeros Reais como Corpo Ordenado Completo
Se x1 x2 , ento

x1
x2
y y, logo
x1 y + x2 z = x2
x1
x2
x1
x2
y est em . Assim
y+z
est em ( u ) .
bvio que o mesmo raciocnio funciona para x2 x1 .

Para completar a demonstrao necessrio considerar os casos em que , e no
so todos maiores do que 0.
Se algum deles for igual a 0, a prova fcil e os casos envolvendo < 0 podem ser
derivados imediatamente, uma vez que todas as possibilidades para e foram explicadas.
Assim iremos supor > 0 e considerar trs casos: , < 0, e < 0, > 0, e > 0,
< 0.
Os primeiros resultam imediatamente dos casos j provados, o terceiro resulta do
segundo trocando por . Consequentemente, ir-nos-emos concentrar no caso < 0,
> 0.
Existem duas possibilidades:
(1) u 0. Ento
= ([ u ] u ||) = ( u ) u ||,
logo
( u ) = ( ||) u = u .
(2) u 0. Ento
|| = (| u | u ) = | u | u ,
logo
( u ) = ( | u |) = ( ||) u = u .
2.6
Dedekind ao fazer a construo do sistema dos nmeros reais pretendeu que fosse
um sistema densamente ordenado sobre o qual se poderiam definir as operaes e no qual
48
se poderiam demonstrar proposies tais como a proposio que diz que todo o elemento
positivo do sistema possui raiz quadrada.
Esta forma de completude para as operaes aritmticas pode ser descrita pela afirmao de que o sistema deve ser fechado para as operaes aritmticas que satisfazem as
leis da lgebra Elementar. Alm disso, o sistema deve ser completo no que diz respeito
aos limites, isto , toda a sucesso convergente de seus elementos deve possuir um limite.
Nesta seco vamos mostrar que o conjunto dos nmeros reais construdos, maneira
de Dedekind, isto , atravs de seces no conjunto dos nmeros racionais ou cortes na
recta, constituem um Corpo Ordenado e Completo.
O conjunto dos nmeros reais assim definido constitui um Corpo, uma vez que, atende
b e as operaes
definio geral, se considerarmos F o conjunto dos nmeros reais, R,
binrias, u e , as operaes usuais + e .
Definio 2.6.1 Um Corpo um conjunto F, de objectos de qualquer natureza, em conjunto com duas operaes binrias, u e , definidas em F, isto , duas regras que associam
a dois elementos a, b F outros elementos a u b e a b F , para as quais as seguintes
condies so satisfeitas:
(1) (a u b) u c = a u (b u c) para todo a, b, c F . (Teorema 2.5.5)
(2) Existe algum elemento 0 em F tal que:
(i) a u 0 = a para todo o a F . (Teorema 2.5.7)
(ii) para todo o a F , existe algum elemento b F tal que a u b = 0. (Teorema
2.5.9)
(3) a u b = b u a para todo a, b F . (Teorema 2.5.6)
(4) (a b) c = a (b c) para todo a, b, c F . (Teorema 2.5.13)
(5) Existe algum elemento 1 em F tal que 1 6= 0 e
(i) a 1 = a para todo a F. (Teorema 2.5.15)
(ii) para todo o a F com a 6= 0, existe algum elemento b F tal que a b = 1.
(Teorema 2.5.17)
(6) a b = b a para todo a, b F . (Teorema 2.5.14)
(7) a (b u c) = a b u a c para todo a, b, c F . (Teorema 2.5.18)

Neste caso, os elementos que desempenham os papis de 0 e 1 so, respectivamente,
os nmeros 0 e 1 e o nmero b em (2) ou (5) a ou a1 , respectivamente, de acordo
49
com as Definies 2.5.6 e 2.5.12. Por esta razo, num Corpo F , arbitrrio, denotamos por
a o elemento tal que a u (a) = 0, e por a1 o elemento tal que a a1 = 1, para a 6= 0.
Analogamente, e continuando a utilizar teoremas anteriormente provados, podemos
afirmar que o conjunto dos nmeros reais ordenado pois:
Definio 2.6.2 Um Corpo Ordenado um Corpo F , com as operaes u e , com um
determinado subconjunto P, de elementos positivos, de F com as seguintes propriedades:
(8) Para todo o a F , uma e uma s das seguintes afirmaes verdadeira:
(i) a = 0,
(ii) a P ,
(iii) a P . (Teorema 2.5.10)
(9) Se a, b P , ento a u b P . (Teorema 2.5.4 e Definio 2.5.7)

(10) Se a, b P , ento a b P . (Teorema 2.5.12 e Definies 2.5.9 e 2.5.10)
Utilizando a definio de ordenao definida neste Captulo, podemos reproduzir para
um qualquer Corpo F as seguintes:
Definio 2.6.3 Um conjunto A de elementos de F limitado superiormente se existe
um x F tal que x a para todo o a A. Um x nestas condies denominado
majorante de A.
Um elemento x F o supremo de A se x um majorante de A e x y para todo
o y F que seja majorante para A, isto , o menor dos majorantes.
Definio 2.6.4 Um Corpo Ordenado Completo um Corpo Ordenado no qual todo o
subconjunto no vazio limitado superiormente (majorado) tem supremo.
Ento, provando o seguinte Teorema verificamos, finalmente, que o Conjunto dos
Nmeros Reais, construdo ao longo deste Captulo, um Corpo Ordenado Completo.
Teorema 2.6.1 Se A um conjunto de nmeros reais, A 6= e limitado superiormente,
ento A possui supremo.
Demonstrao. Consideremos = {x : x est em algum A} . Ento certamente uma coleco de nmeros racionais.
50
A prova de que um nmero real baseia-se em verificar as quatro propriedades de

nmero real, isto , as quatro propriedades da Definio 2.3.2.
(1) Suponhamos que x est em e que y < x. A primeira condio significa que x
pertence a algum em A.
Uma vez que um nmero real, y < x implica que y est em . Consequentemente,
certamente verdade que y est em .
(2) Uma vez que A 6= , ento existe algum A. Sendo um nmero real, existe
algum x em . Isto significa que x est em , logo 6= .
(3) Uma vez que A limitado superiormente, existe um nmero real tal que < ,
para qualquer A.
Sendo um nmero real, existe um nmero racional x que no est em .
Mas se < significa que est contido em , ento, igualmente verdade que x
no est em para qualquer A. O que significa que x no est em , logo 6= Q.
(4) Suponhamos que x est em . Ento x est em para algum A.
Como no possui mximo, existe um nmero racional y tal que x < y e y est em
. Isto significa que y est em , assim no possui mximo.
Estas 4 propriedades provam que um nmero real.
A prova de que o supremo de A facilmente concretizada.
Se A, ento claramente est contido em , o que significa que , ento
um majorante de A.
Por outro lado, se considerarmos um majorante para A, ento para todo
A, o que implica estar contido em , para todo A, e isto seguramente implica
que est contido em . O que significa que e assim o supremo de A.
Captulo 3
Construo dos Nmeros Reais
utilizando Classes de Equivalncia
3.1
Cantor e as Sucesses de Cauchy
Cantor abordou o problema da criao dos nmeros reais de um ponto de vista

distinto do adoptado por Dedekind.
Comeando, como Dedekind, com o conjunto dos nmeros racionais, Cantor utilizou
a noo de sucesso fundamental, uma sucesso a1 , a2 , ..., an , ... com a propriedade de que
para qualquer valor racional positivo
existe um inteiro n1 tal que |am+n an | <
para
n n1 e para qualquer inteiro positivo m.

Tal sucesso, agora denominada de sucesso de Cauchy, satisfaz o Critrio de Cauchy,
estabelecido em 1821. Para Cauchy, era bvio que uma sucesso destas convergia para
um nmero real b. Cantor, por outro lado, defendia que afirmar isto seria cometer um
erro lgico, pois esta afirmao pressuponha a existncia desse nmero real.
Consequentemente, Cantor utilizou a sucesso fundamental para definir o nmero
real b. Por outras palavras, Cantor associou a toda a sucesso fundamental de nmeros
racionais um nmero real.
O nmero racional r era, ele prprio, associado a uma sucesso, a sucesso r, r, ..., r, ...,
mas existiam igualmente sucesses no associadas a nmeros racionais. Por exemplo, a
sucesso 1, 1.4, 1.41, 1.414, ..., gerada por um algoritmo clssico para o clculo de 2,
consiste numa das sucesses supra citadas.
51
52
Construo dos Nmeros Reais utilizando Classes de Equivalncia
Tomando conscincia de que duas sucesses fundamentais podiam convergir para o

mesmo nmero real, Cantor definiu uma relao de equivalncia no conjunto de todas
essas sucesses. Assim, o nmero b associado sucesso {ai } diz-se igual ao nmero b0 ,
associado sucesso {a0i } , se para qualquer
> 0, existe um n1 , tal que |an a0n | < ,
para todo n > n1 .

O conjunto dos nmeros reais correspondia ento ao conjunto das classes de equivalncia de sucesses fundamentais. No foi difcil definir uma relao de ordem nestas
sucesses, bem como estabelecer as operaes aritmticas bsicas.
Contudo, Cantor pretendia mostrar que o conjunto por si definido era, de algum
modo, o mesmo que a recta numrica. Estava claro para Cantor que todo o ponto da
recta correspondia a uma sucesso fundamental, contudo, deu-se de conta que o inverso
requeria um axioma, nomeadamente, que para todo o nmero real (classe de equivalncia
de uma sucesso fundamental) correspondia um ponto definido na recta.
Ao utilizar esta identificao dos nmeros reais com os pontos na recta, Cantor definiu
ponto limite (hoje denominado como ponto de acumulao) de um conjunto de pontos P ,
como sendo um ponto da linha tal que em toda a sua vizinhana poderamos encontrar
infinitos pontos de P .
Cantor definiu vizinhana de um ponto como sendo todo o intervalo que contm o
respectivo ponto no seu interior.
Posto isto, fcil provar que um conjunto de pontos [limitado] consistindo de um
nmero infinito de pontos, possui sempre um ponto limite. (veja-se, por exemplo, [24], p.
732)
Cantor denotou o conjunto destes pontos limites por P 0 , denominando este conjunto
de primeiro conjunto derivado de P . Similarmente, se P 0 infinito, Cantor definiu o
segundo conjunto derivado P 00 como o conjunto dos pontos limites de P 0 . Se P 0 finito,
o conjunto dos seus pontos limites vazio. Continuando desta forma, definiu conjuntos
derivados de qualquer ordem finita.
Posteriormente, distinguiu dois tipos de conjuntos limitados de pontos. Os da primeira
espcie eram aqueles para os quais o conjunto derivado P (n) vazio para algum valor de
n, os da segunda espcie eram aqueles que no satisfaziam esta condio. Por exem
plo, no intervalo [0, 1] , o conjunto de pontos 1, 12 , 13 , ... tem como conjunto derivado
Nmero Real como Limite de uma Sucesso de Cauchy
53
{0} , e consequentemente de primeira espcie, enquanto que o conjunto dos nmeros

racionais nesse intervalo possui como conjunto derivado, o intervalo na sua totalidade, e
consequentemente de segunda espcie.
3.2
Nmero Real como Limite de uma Sucesso de

Cauchy
Neste Captulo iremos construir, a partir de sucesses convergentes de Nmeros

Racionais, um conjunto que, algebricamente um corpo ordenado que possui a propriedade arquimediana1 , dotado da noo de limite e tendo a condio de Cauchy, como
condio necessria e suficiente de convergncia de uma sucesso.
Definio 3.2.1 Diz-se que a sucesso {rn } uma sucesso de Cauchy, ou uma sucesso
normal, ou uma sucesso fundamental, o que se nota simbolicamente C {rn }, quando essa
sucesso satisfaz a condio, chamada de Cauchy:
C {rn }n ( > 0 N : n > N, p > 0 = rn < rn+p < rn + ) ,
isto , para todo o racional positivo, existe uma ordem N, tal que todos os elementos rn+p
de ordem superior de um elemento rn , de ordem n > N, se encontram na vizinhana
racional ]rn , rn + [ de rn .
Teorema 3.2.1 Todas as sucesses convergentes so sucesses de Cauchy.
Demonstrao. Se {rn } converge para um nmero racional r e um nmero
racional positivo arbitrrio, tomem-se 1 > 0 e 2 > 0, tais que = 1 + 2 .
Seja ainda 1 < 2 . A convergncia exige a existncia de uma ordem N tal que
r 1 < rn < r + 1 , para n > N
e
r 1 < rn+p < r + 1 , se n > N e p > 0.
1
A propriedade arquimediana estabelece que qualquer nmero real, ou menor que 1 ou menor que
a soma de um nmero N de parcelas iguais a 1.
54
Atendendo ao facto de que o conjunto dos nmeros racionais corresponde a um grupo

ordenado aditivo, isto , um conjunto ordenado em que a operao de grupo satisfaz lei
de monotonia para a soma, temos que
rn < r + 1 e r 1 < rn+p = rn + (r 1 ) < rn+p + (r + 1 )
ou
rn rn+p < r + 1 (r 1 ) = 1 + 1 < 1 + 2 =
donde
rn+p > rn , se n > N e p > 0.
Mas, por outro lado, a mesma lei d-nos
r 1 < rn e rn+p < r + 1 = (r 1 ) + rn+p < rn + (r + 1 )
ou
rn+p rn < r + 1 (r 1 ) = 1 + 1 < 1 + 2 =
donde
rn+p < rn + , se n > N e p > 0
o que acaba de provar que a condio de Cauchy uma condio necessria de convergncia, graas s caractersticas da ordenao densa do grupo dos nmeros racionais.
Uma vez demonstrado que todas as sucesses convergentes de nmeros racionais so

sucesses de Cauchy, deparamo-nos com a impossibilidade, no domnio dos nmeros
racionais, de fazer corresponder a cada sucesso de Cauchy um nmero racional, que
seja o seu limite.
No domnio da Anlise Clssica interessa que a varivel, com que trabalhamos, pertena
a um conjunto onde todas as sucesses de Cauchy tenham limite. Atendendo a isso, a
ideia utilizada por Cantor, para a edificao do conjunto dos nmeros reais, foi a de fazer
corresponder, a cada sucesso de Cauchy de nmeros racionais, um nmero real.
Atendendo que, se {rn } converge para r e {un } converge para zero, r tambm o limite
de {rn + un } , ento a um nmero racional pode-se fazer corresponder infinitas sucesses
de nmeros racionais, que para ele convergem, o que nos mostra que a correspondncia
sucesso - nmero no biunvoca.
55
Nmero Real como Limite de uma Sucesso de Cauchy
Esta situao pode ser ultrapassada, pela utilizao de um conjunto, onde cada elemento corresponde a um conjunto de elementos equivalentes.
Comecemos ento por definir uma condio de equivalncia de sucesses de Cauchy.
Definio 3.2.2 Duas sucesses de Cauchy de nmeros racionais dizem-se equivalentes,
o que se simboliza por {rn } {rn0 }, se a sucesso {rn rn0 } , constituda pelas diferenas
dos termos da mesma ordem nas duas sucesses, tiver como limite o nmero racional
zero:
{rn } {rn0 } {rn rn0 }n 0.
A definio anterior verifica as trs propriedades de uma equivalncia:
Propriedade 3.2.1 (1) Reflexividade:
{rn } {rn } porque {rn rn } 0.
(2) Simetria:
{rn } {rn0 } {rn0 } {rn } pois se {rn rn0 } 0 tambm {rn0 rn } 0.
(3) Transitividade:
Se {rn } {rn0 } e {rn0 } {rn00 } ento {rn } {rn00 }
o que se justifica com a seguinte implicao:
lim (rn rn0 ) = 0 e lim (rn00 rn0 ) = 0 = lim (rn rn00 ) = 0
n
porque
lim (rn rn00 ) = lim [(rn rn0 ) + (rn0 rn00 )] = lim (rn rn0 ) + lim (rn0 rn00 ) = 0.
n
Vamos agora, no conjunto de todas as sucesses de Cauchy de nmeros racionais,

agrupar num mesmo subconjunto aquelas que so entre si equivalentes.
Consideremos cada um desses subconjuntos como elemento de um novo conjunto, o
conjunto R, constitudo pela totalidade dos subconjuntos de sucesses de Cauchy que
agora foram criados.
56
Podemos distinguir dois tipos de elementos de R: os que so constitudos por sucesses

de Cauchy convergentes no domnio dos nmeros racionais, e os que so constitudos por
sucesses de Cauchy no convergentes.
A cada um dos elementos do primeiro tipo, corresponde biunivocamente um nmero
racional, isto , o elemento constitudo pelo conjunto das sucesses que convergem para
um nmero racional
m
n
corresponder ao nmero racional
m
.
n
Definio 3.2.3 Os elementos de R denominam-se de nmeros reais.

Respeitando a nomenclatura utilizada por Neves Real, em [38], designaremos por [rn ]
o nmero real constitudo pelo conjunto de todas as sucesses equivalentes sucesso {rn }
e a sucesso {rn } ou outra qualquer {rn0 } que lhe seja equivalente, diremos representante
do nmero real [rn ].

Se a sucesso {rn } tem limite no domnio Q, dos nmeros racionais, e se esse limite
r, o nmero real [rn ], ser representado por [r], uma vez que a sucesso {r}, com todos
elementos iguais ao nmero racional r, tem como limite r e uma sucesso que pode ser
utilizada para representar [rn ], pois equivalente a {rn }.
Assim, podemos denominar de [0] o nmero real que corresponde ao conjunto de todas
as sucesses de nmeros racionais que convergem para o nmero racional 0. Da mesma
forma, [1] o nmero real que corresponde ao conjunto de todas as sucesses de nmeros
racionais que convergem para o nmero racional 1, e assim sucessivamente.
Assim, quando no necessitarmos utilizar sucesses representativas dos nmeros reais
utilizaremos as letras minsculas gregas.
3.3
Ordenao do Conjunto dos Nmeros Reais
Definio 3.3.1 Diz-se que a sucesso de nmeros racionais {rn }, satisfazendo a condio
de Cauchy, goza da propriedade P, o que se simboliza por P {rn }, quando for possvel
determinar um nmero racional positivo d, de modo que quase todos os elementos da
sucesso {rn } sejam maiores que d, querendo significar-se com a expresso "quase todos", todos os elementos rn , com excepo de um nmero finito. Simbolicamente:
P {rn } (d Q, d > 0 N : n > N = d < rn ) .
57
de realar que entre as sucesses de nmeros racionais que gozam da propriedade

anterior, encontram-se todas aquelas que convergem para os nmeros racionais positivos.
Definio 3.3.2 Diz-se que a sucesso de nmeros racionais {rn }, satisfazendo a condio
de Cauchy, goza da propriedade N , que se simboliza por N {rn }, quando for possvel determinar um nmero racional positivo d, de modo que quase todos os elementos da sucesso
{rn } sejam menores que d, querendo significar-se com a expresso "quase todos", todos
os elementos rn , com excepo de um nmero finito. Simbolicamente:
N {rn } (d Q, d > 0 N : n > N = rn < d) .
Gozam desta propriedade N , todas as sucesses que convergem para nmeros racionais
negativos.
Teorema 3.3.1 Se a sucesso de Cauchy de nmeros racionais {rn } no converge para
0, ento {rn } possui ou a propriedade P ou a propriedade N , uma com excluso da outra,
o que se simboliza por:
C {rn } e {rn } 0 = P {rn } N {rn } .
Demonstrao. Vamos raciocinar pelo absurdo e supor que a concluso falsa.
Como tem lugar a seguinte identidade lgica:
P {rn } N {rn } (P {rn } N {rn }) (P {rn } N {rn })
pelas leis da lgebra das proposies, temos:
(1) (P {rn } N {rn }) P {rn } N {rn } P {rn } N {rn }
N {rn } P {rn } P {rn } N {rn } .
Mas
(2)
N {rn } (d0 > 0 N 0 : n > N 0 = rn < d0 )
e
P {rn } (d00 > 0 N 00 : n > N 00 = rn > d00 )
donde
N {rn } d, n Nn0 > n : rNn0 d
58
(3)
P {rn } d, n Nn00 > n : rNn00 d.
De modo que a primeira conjuno de (1), N {rn } P {rn }, implicaria, para n maior do
que o supremo de N 0 e N 00 (o maior dos nmeros N 0 , N 00 ), d0 > rn > d00 , o que, pela
ordenao dos nmeros racionais absurdo.

Vejamos agora que a segunda conjuno de (1), P {rn } N {rn }, contradiz as duas
hipteses feitas, a de se tratar de uma sucesso de Cauchy e a de no convergir para 0.
Escrevamos a condio de Cauchy:
(4) d > 0 N : n > N e p > 0 = rn d < rn+p < rn + d
e sejam rNN0 e rNN00 os dois elementos da sucesso que as proposies de (3), uma vez
arbitrado d, fazem corresponder ao ndice N, dado por (4), em funo de d. Ser ento
(5) rNN0 d, com NN0 > N e rNN00 d, com NN00 > N
e (4) implicar
rNN0 +p < rNN0 + d, para p > 0 e NN0 > N
e
rNN00 d < rNN00 +p , com p > 0 e NN00 > N
ou, por ser p qualquer,
rNN00 d < rn < rNN0 + d, para n > N
e por (5)
2d < rn < 2d
o que significa que {rn } uma sucesso de limite 0, contrariando uma das hipteses.
Teorema 3.3.2 As sucesses equivalentes tm conjuntamente a propriedade P ou a propriedade N , isto ,
P {rn } = {rn0 } se {rn0 } {rn } ento P {rn0 }
N {rn } = {rn0 } se {rn0 } {rn } ento N {rn0 } .
59
Demonstrao. Suponhamos que P {rn }, isto :

P {rn } (d > 0 N 0 : n > N 0 = d < rn )
e seja {rn0 } uma sucesso equivalente a {rn }, ento:
d
d
0
00
0
.
{rn } {rn } = N : n > N = < rn rn <
2
2
Mas as duas proposies anteriores implicam
n > sup (N 0 , N 00 ) = d < rn < rn0 +
e assim
d
2
d
2
< rn0 para n > sup (N 0 , N 00 ) o que significa ser P {rn0 }.
As duas seguintes definies so consistentes, independentemente das sucesses representativas dos nmeros reais a que dizem respeito.
Definio 3.3.3 O nmero real = [an ] diz-se positivo ou maior do que [0], ou ainda
[0] menor do que [an ] se a sucesso {an } admite a propriedade P. Simbolicamente:
[0] < [an ] [an ] > [0] P {an } .
O nmero real 0 = [a0n ] diz-se negativo ou menor do que [0], ou ainda [0] maior do
que [a0n ] se a sucesso representante admite a propriedade N . Simbolicamente:
[0] > [a0n ] [a0n ] < [0] N {an } .
imediato que se [an ] for positivo, ento [an ] negativo.
Definio 3.3.4 Dois nmeros reais = [an ] e = [bn ] dizem-se entre si na relao
menor que ou maior que, simbolicamente
[an ] < [bn ] , [an ] menor que [bn ]
[bn ] > [an ] , [bn ] maior que [an ] ,
sempre que [bn an ] > [0].
Das Definies 3.3.1 e 3.3.3 podemos enunciar o seguinte Teorema, e respectivo Corolrio.
Teorema 3.3.3
[an ] < [bn ] (d > 0, N : n > N = bn > an + d) .
60
Corolrio 3.3.1
[an ] < [bn ] = N : n > N = bn > an .
de destacar que este Corolrio contm uma condio necessria, mas no suficiente
para arrastar a relao menor do que entre os nmeros que as sucesses, a que esto
sujeitas na condio, representam.
Com efeito, se considerarmos, por exemplo, as duas sucesses 1 + n2 e 1 + n1 , para
n 1 temos que 1 + n2 > 1 + n1 e, no entanto, as duas sucesses representam o mesmo
nmero real: 1 + n2 = 1 + n1 .
Teorema 3.3.4 As Definies 3.3.3 e 3.3.4 ordenam o conjunto R.
Demonstrao. A relao de < , obviamente, completa e reflexiva. Vamos ver que

tambm transitiva:
[an ] , [bn ] , [cn ] se [an ] < [bn ] e [bn ] < [cn ] ento [an ] < [cn ] .
Como
[an ] < [bn ] temos que n > N 0 = bn an > d0 ,
[bn ] < [cn ] temos que n > N 00 = cn bn > d00 .
Mas ento, desde que se tome n > sup (N 0 , N 00 ) , ser bn an > d0 e cn bn > d00 e,
atendendo ao facto de que o conjunto dos nmeros racionais constitui um grupo ordenado
relativamente adio, temos:
(bn an ) + (cn bn ) > d0 + (cn bn ) > d0 + d00 = d.
Ou seja, cn an > d, se n > sup (N 0 , N 00 ).
3.4
Nmeros Reais como Grupo Abeliano Aditivo
Nesta seco pretendemos mostrar que o conjunto dos nmeros reais definidos como
limites de sucesses de Cauchy constitui um grupo abeliano aditivo, isto , cuja adio
comutativa, contudo comearemos, obviamente, por definir a adio neste mesmo conjunto. Para tal necessitamos provar os seguintes:
61
Teorema 3.4.1 Se {an } e {a0n } so sucesses de Cauchy, o mesmo acontece sucesso
{an + a0n }.
Demonstrao. As hipteses asseguram-nos que para todo o nmero natural p,
|an+p an | < d2 desde que n > N 0 e para todo o nmero natural q, a0n+q a0n < d2 desde
que n > N 00 .
Portanto, para todo o nmero natural k:
an+k + a0n+k (an + a0n ) = (an+k an ) + a0n+k a0n
d d
|an+k an | + a0n+k a0n < + = d,
2 2
desde que n seja superior ao sup (N 0 , N 00 ).

Teorema 3.4.2
Se {an } {a0n } e {bn } {b0n } ento {an + bn } {a0n + b0n } .

Demonstrao. Basta fazer a passagem ao limite na identidade
an + bn (a0n + b0n ) = (an a0n ) + (bn b0n ) ,
lembrando que, por hiptese, as duas parcelas do segundo membro devem ter 0 por limite.
Teorema 3.4.3 Toda a sucesso de Cauchy no convergente para zero equivalente a

uma outra de termos todos diferentes de zero.
Por outras palavras, se [an ] 6= [0] pode sempre ser representado por uma sucesso de
termos no nulos.
Demonstrao. No sendo {an } convergente para zero, temos que ou P {an } ou
N {an }.
Na primeira hiptese, existe um nmero d positivo e uma ordem N tal que a partir
dela, todos os termos
aN+1 , aN+2 , ...
so maiores que d.
62
Na segunda, existem igualmente nmeros d0 e N 0 tais que

aN 0 +1 , aN 0 +2 , ...
so todos menores que d0 .
evidente que so equivalentes as sucesses
{a1 , a2 , ..., aN , aN+1 , ...} e {d, d, ..., d, aN+1 , aN+2 , ...}
como igualmente o so
{a1 , a2 , ..., aN 0 , aN 0 +1 , aN 0 +2 , ...} e {d0 , d0 , ..., d0 , aN 0 +2 , ...} .
Tendo como base os Teoremas 3.4.1 e 3.4.2, podemos introduzir a adio de nmeros
reais da seguinte forma:
Definio 3.4.1 A soma + de dois nmeros reais, = [an ] e = [bn ] , o conjunto
[an + bn ] de todas as sucesses equivalentes sucesso {an + bn }, com
[an ] + [bn ] = [an + bn ] .
Estamos ento, em condies de mostrar o seguinte:
Teorema 3.4.4 R um grupo comutativo relativamente operao adio.
Provar o teorema equivale a provar os seguintes quatro postulados referentes a Grupo
Abeliano.
(i) R fechado relativamente adio.
Resulta imediatamente da definio.
(ii) A operao adio comutativa: + = + .
Seja = [an ] e = [bn ]. Uma vez que o conjunto dos nmeros racionais
um grupo comutativo relativamente adio, pela Definio 3.4.1, temos
+ = [an + bn ] = [bn + an ] = [bn ] + [an ] = + .
63
(iii) A operao adio associativa: + ( + ) = ( + ) + .

Seja = [an ] , = [bn ] e = [cn ].
Novamente pela Definio 3.4.1 e pelo facto do conjunto dos nmeros
racionais ser um grupo comutativo relativamente adio, temos:
[an ] + ([bn ] + [cn ]) = [an ] + [bn + cn ] = [an + (bn + cn )] =
= [(an + bn ) + cn ] = [an + bn ] + [cn ] = ([an ] + [bn ]) + [cn ] .
(iv) A equao aditiva + = tem sempre soluo em R.

Tomemos {an } e {bn } como representantes de e , temos de encontrar
a soluo da equao [an ] + x = [bn ].
Com efeito, em = [an bn ] , temos a nica soluo da equao.
soluo porque
[an ] + [bn an ] = [an + bn an ] = [bn ]
e nica, porque se [xn ] fosse uma outra soluo, teramos
[an ] + [xn ] = [bn ] ou [an + xn ] = [bn ]
o que implicaria a equivalncia
{an + xn } {bn } ,
isto ,
lim (an + xn bn ) = 0 ou lim (xn (bn an )) = 0
e portanto
{xn } {bn an } ou [xn ] = [bn an ] .
Tendo em conta o postulado (iv), acabado de provar, a subtraco de nmeros reais
assenta na seguinte:
Definio 3.4.2 A soluo da equao + = , que se representa por = ,
considera-se obtida de e de por uma operao unvoca, a que se chama subtraco.
64
Uma vez que

+ [0] = [an ] + [0] = [an + 0] = [an ] = ,
temos que a unidade do grupo (ou mdulo da adio) o nmero real [0], o qual passaremos
a representar pelo smbolo 0 (zero).
A soluo de + = 0 corresponde ao simtrico, , de . Se = [an ] , ento
= [an ].
3.5
Nmeros Reais como Corpo Ordenado Comutativo
Nesta seco pretendemos mostrar que o conjunto dos nmeros reais definidos como
limites de sucesses de Cauchy constitui um Corpo Ordenado Comutativo, contudo comearemos, obviamente, por definir a multiplicao neste mesmo conjunto. Para tal necessitamos
dos seguintes:
Teorema 3.5.1 As sucesses de Cauchy so limitadas.
Demonstrao. Se uma sucesso {an } de Cauchy, arbitrado o nmero positivo d,
pode encontrar-se uma ordem N tal que
aN 0 d < an < aN 0 + d
em que N 0 um nmero escolhido maior que N e n percorre todos os nmeros maiores
que N 0 . Ento, se representarmos por l um nmero inferior ao menor dos nmeros
a1 , a2 , ..., aN 0 e aN 0 d,
e por L um nmero superior ao maior dos nmeros
a1 , a2 , ..., aN 0 e aN 0 + d,
teremos, evidentemente, todos os termos da sucesso compreendidos entre l e L, ficando
o Teorema assim demonstrado.
Teorema 3.5.2 Se a sucesso {an } de Cauchy, a sucesso {|an |}, constituda pelos
valores absolutos dos termos da sucesso dada, igualmente de Cauchy.
65
Demonstrao. Se {an } tem a propriedade P, a partir de certa ordem a sucesso

dos valores absolutos coincide com a sucesso dada.
Se {an } tem a propriedade N , a partir de certa ordem os termos de {|an |} coincidem
com os de {an }.
Mas como
|(an+p ) (an )| = |an+p an | ,
as sucesses {an } e {an } so simultaneamente de Cauchy. Portanto, ainda nesta hiptese
se verifica o enunciado.
Resta considerar o caso em que {an } converge para zero. Mas isto significa que,
qualquer que seja d, encontra-se N de modo a ser |an | < d para n > N, o que exactamente
a condio de convergncia de {|an |} para zero.
Teorema 3.5.3 Se {an } e {a0n } so sucesses de Cauchy, o mesmo acontece sucesso
{an a0n }.
Demonstrao. Como podemos escrever
an+p a0n+p an a0n = an+p a0n+p + an+p a0n an+p a0n an a0n
|an+p | a0n+p a0n + |a0n | |an+p an |
e determinar N de tal modo que, para n maior que N e para todo p, nmero natural,
tenham lugar as desigualdades:
0
an+p a0n < d e |an+p an | < d

2L
2L0
em que L e L0 so majorantes, respectivamente, dos conjuntos constitudos pelos termos

da sucesso {|an |} e da sucesso {|a0n |}, que existem pelos Teoremas 3.5.1 e 3.5.2, ento
an+p a0n+p an a0n L d + L0 d = d

2L
2L0
para n > N, combinado com qualquer p.

Teorema 3.5.4
Se {an } {a0n } e {bn } {b0n } ento {an a0n } {bn b0n } .
66
Demonstrao. O raciocnio justificativo idntico ao efectuado na demonstrao

do Teorema 3.4.2, partindo-se de
|an bn a0n b0n | = |an bn + an b0n an b0n a0n b0n | =
= |an (bn b0n ) + b0n (an a0n )|
|an | |bn b0n | + |b0n | |an a0n | .
O carcter limitado das sucesses {|an |} e {|b0n |}, de acordo com os Teoremas 3.5.1 e 3.5.2,
e a convergncia para zero de bn b0n e de an a0n , conduzem ento ao resultado.
Tendo em conta os Teoremas 3.5.3 e 3.5.4, podemos, ento, definir o produto de

nmeros reais da seguinte forma:
Definio 3.5.1 O produto de dois nmeros reais, = [an ] e = [bn ] , o conjunto
[an bn ] , de todas as sucesses equivalentes sucesso {an bn }, com [an bn ] = [an ] [bn ].
Estamos agora em condies de demonstrar o seguinte:
Teorema 3.5.5 R, com a nica excluso do nmero 0, um grupo comutativo relativamente operao multiplicao.
Provar o teorema, equivale a provar os seguintes quatro postulados.
(i) fechado relativamente multiplicao.
Resulta imediatamente da definio.
(ii) A operao multiplicao comutativa: = .
Sejam = [an ] e = [bn ] . Pela Definio 3.5.1 e pelo facto de {Q\ {0} , }
ser um grupo comutativo, podemos escrever sucessivamente:
= [an ] [bn ] = [an bn ] = [bn an ] = [bn ] [an ] = .
(iii) A operao multiplicao associativa: ( ) = ( ) .
Sejam = [an ] , = [bn ] e = [cn ] , pelas mesmas condies da alnea
(ii) temos:
( ) = [an ] ([bn ] [cn ]) = [an ] [bn cn ] = [an (bn cn )] =
= [(an bn ) cn ] = ([an ] [bn ]) [cn ] = ( ) .
67
(iv) A equao multiplicativa = , com 6= 0, sempre possvel e tem

sempre uma nica soluo em R.
Para provar o (iv), necessitamos demonstrar o seguinte:

Lema 3.5.1 Se {an } uma sucesso de Cauchy que no converge para 0 (nmero racional),
tal que, para todo n, an 6= 0, ento {a1

n } igualmente uma sucesso de Cauchy.
Demonstrao. Considere-se

1
1 an am |an am |
am an = am an = |am | |an | .
Sendo {an } sucesso de Cauchy, o mesmo acontece com {|an |}.
Seja 1 um minorante de {|an |}, que existe atendendo ao Teorema 3.5.1.

Ento, qualquer que seja m, temos
1
1
< |am | , isto ,
< ,
|am |
e assim
1
1
2
am an < |an am | .
Escolhendo agora N de modo a ser |an am | <

N, vem finalmente
d
,
2
desde que n e m sejam maiores que
1
1
am an < d, para m, n > N,
o que prova o Lema.
Retomando a prova de (iv), consideremos = [an ] e = [bn ].

Em virtude da hiptese = [an ], o Teorema 3.4.3 garante-nos que a
sucesso {an } , representativa de , pode ser escolhida de modo a que sejam
os seus elementos todos diferentes de 0.
Ento {a1
n } uma sucesso de Cauchy, pelo Lema atrs enunciado, e
n o
h i
bn
bn
tambm,
de
modo
que
em
temos uma soluo da equao, porque
an
an

bn
bn
1
= an
= an
bn = [bn ] .
[an ]
an
an
an
68
A soluo nica pois, se supusermos que no tem lugar a unicidade e que

= [xn ] um outro nmero real tal que
= ou seja [an ] [xn ] = [bn ] ou seja [an xn ] = [bn ] ,
iro ser equivalentes as sucesses que figuram a representar o nmero real no
primeiro e no segundo membro:
{an xn } {bn } ou seja lim (an xn bn ) = 0
o que significa,
Q, > 0 N : x, n > N = |an xn bn | < .
Designe-se por M um majorante do conjunto dos elementos da sucesso
{a1
n }, conforme o Teorema 3.5.1, e determine-se para um nmero racional

positivo qualquer, , uma ordem N de modo a ser an xn abnn < M , para
n > N. Nas mesmas condies, ser ainda
< , isto , xn bn a1
< 1
|an | xn bn a1
n
n
M
M |an |
e portanto, desde que n > N,
ou seja
ou, finalmente,
b
n
xn <
an

bn
bn
lim xn
= 0, ou seja, {xn }
an
an
bn
[xn ] =
.
an
Tendo por base o que acabamos de provar, podemos definir a diviso de nmeros reais
da seguinte forma:
Definio 3.5.2 operao que permite determinar, a partir de dois quaisquer nmeros
reais e , com 6= 0, um terceiro nmero real tal que = , denomina-se diviso
de por , e ao resultado que se simboliza por , quociente dos dois nmeros.
69
Podemos continuar a designar por 1 (um) o nmero real, unidade do Grupo Multiplicativo dos nmeros reais. Uma vez que
[an ] [xn ] = [an ]
implica
an
[xn ] =
= [1]
an
a soluo da equao = o nmero real [1], conjunto de todas as sucesses de

nmeros racionais que convergem para o nmero racional 1.
Continuando com a caracterizao algbrica do conjunto R, podemos enunciar o
seguinte Teorema, o qual facilmente demonstrvel nos termos dos anteriores.
Teorema 3.5.6 R um corpo ordenado.
Para provar o teorema temos de demonstrar as seguintes quatro proposies:
(i) R um conjunto ordenado.
Resulta do Teorema 3.3.4.
(ii) satisfeita a lei da monotonia relativamente adio:
, , se < ento + < + .
Tomem-se = [an ], = [bn ] e = [cn ].
Se [an ] < [bn ] ento existe d tal que an + d < bn , desde que se tome
n < N. Mas atendendo a que o conjunto dos nmeros racionais constitui um
grupo ordenado relativamente adio, isto , um conjunto ordenado em que
a operao de grupo satisfaz a lei de monotonia para a adio, temos
an + d < bn = an + cn + d < bn + cn ,
sob a condio n > N, o que implica
[an + cn ] < [bn + cn ] ou seja [an ] + [cn ] < [bn ] + [cn ] ,
ou finalmente
+ < + .
70
(iii) satisfeita a lei da monotonia relativamente multiplicao:

, , se < e > 0 ento < .
Tomem-se = [an ], = [bn ] e = [cn ].
Sabemos que
[an ] < [bn ] = (d, N : n > N = an + d < bn )
e que
0 < [cn ] = (d0 , N 0 : n > N 0 = 0 < d < cn ) .
Mas de an + d < bn , para n > N, e de 0 < cn , para n > N 0 , resulta, desde
que se tomem valores de n superiores ao maior dos nmeros N e N 0 , isto ,
para n > sup (N, N 0 ),
an cn + dcn < bn cn ,
pois a operao do produto de nmeros racionais satisfaz lei de monotonia
para o mesmo.
Mas de d0 < cn tira-se, ainda pela mesma razo que dd0 < dcn e, atendendo ao facto de que, como referido anteriormente, Q um corpo ordenado
relativamente adio, temos
an cn + dd0 < an cn + dcn ,
donde, pondo
d00 = dd0 > 0,
resulta que
an cn + d00 > bn cn para n > sup (N, N 0 ) .
Portanto,
[an cn ] < [bn cn ] , isto , [an ] [cn ] < [bn ] [cn ] , ou seja, < .
(iv) A ordenao arquimediana, isto , qualquer nmero real, ou menor
que 1 ou menor que a soma de um nmero N de parcelas iguais a 1.
71
Nmeros Reais como extenso dos Nmeros Racionais
Por outras palavras, e convencionando designar por N o nmero real (natural) [N], conjunto de todas as sucesses de nmeros racionais que convergem
para o nmero racional (natural) N, temos que, para todo o , existe um
nmero natural (real) N tal que < N.
Antes de iniciar a prova de (iv) salientemos o facto de que no conjunto
dos nmeros racionais a ordenao ser arquimediana, isto , qualquer nmero
racional ou menor que 1, ou menor que a soma de um nmero N de parcelas
iguais a 1.
Retomando a demonstrao de (iv), consideremos = [an ] e suponhamos
ter em L um majorante do conjunto constitudo pelos elementos de {an }.
Em virtude da ordenao em Q ser arquimediana, existe um nmero natural
(racional) N tal que, an < L < N.
Tome-se d < N L. ento
an + d < L + d < N,
donde [an ] < [N] ou, finalmente, pela conveno adoptada < N.
3.6
Nmeros Reais como extenso
dos
Nmeros
Racionais
Dizer que R ampliao de Q, significa poder encontrar em R um subconjunto Q0
isomorfo a Q.
Definio 3.6.1 Os nmeros reais que correspondem a sucesses de nmeros racionais
que convergem para nmeros racionais sero denominados nmeros reais racionais. Este
subconjunto dos nmeros reais designar-se-, daqui em diante, por Q0 .
Teorema 3.6.1 Q0 e Q podem pr-se em correspondncia isomrfica, de ordem e algbrica.
Demonstrao. A correspondncia biunvoca e trata-se de um isomorfismo de
ordem pois se r e r0 so dois racionais ligados pela relao r < r0 , e se [rn ] e [rn0 ] so os
72
seus correspondentes em R, ento

limrn = r e limrn0 = r0 .
n
Tomemos, o que sempre possvel por Q ser corpo de ordenao densa,

d<
r0 r
.
2
Tm lugar as seguintes proposies:

Nr : n > Nr = r < r0 d < rn0
e
Nr0 : n > Nr0 = rn < r + d < r0 d < rn0 .
Notando que
rn0 rn > r0 d r d = r0 r 2d,
conclui-se que
n > N = sup (Nr , Nr0 ) = rn0 rn > 2d
o que mostra ser, pela Definio 3.3.1, P {rn0 rn } e portanto [rn ] < [rn0 ] , pela Definio
3.3.4.
Resta mostrar que se trata de um isomorfismo algbrico, isto , que soma e ao produto
de dois nmeros reais racionais correspondem, respectivamente, a soma e o produto dos
dois nmeros racionais imagens dos dois nmeros reais racionais.
Sejam r = [rn ] e r0 = [rn0 ] , dois nmeros racionais que correspondem aos nmeros
racionais r e r0 , que so limites das sucesses {rn } e {rn0 } que representam r e r0 .
Temos
[rn ] + [rn0 ] = [rn + rn0 ] e [rn ] [rn0 ] = [rn rn0 ] .
Mas as sucesses {rn + rn0 } e {rn rn0 } tm por limites, precisamente, r + r0 e r r0 , que
sero assim os nmeros racionais correspondentes aos nmeros racionais r e r0 , o que prova
o isomorfismo algbrico entre Q0 e Q.
Tendo por base as noes lgicas de correspondncia, relao e conjunto, passamos do
conjunto dos nmeros racionais para um conjunto, cujos elementos chamamos nmeros
reais, que, por sua vez, contm um subconjunto Q0 , cujos elementos denominamos de
Completude do Conjunto dos Nmeros Reais
73
nmeros reais racionais, que no se distingue, do ponto de vista algbrico e de ordenao,

do conjunto dos nmeros racionais, de que havamos partido. E assim como nos nmeros
racionais h um subgrupo isomorfo dos nmeros naturais e um domnio de integridade
isomorfo dos nmeros inteiros ([19], pp. 15 - 19), tambm no conjunto dos nmeros reais,
na correspondncia estabelecida entre o conjunto dos nmeros racionais e o conjunto
dos nmeros reais racionais, nos aparecem nmeros reais a que poderemos denominar de
nmeros reais naturais e nmeros reais inteiros. Deste modo, continuaremos a utilizar as
mesmas notaes e smbolos para os nmeros reais seus isomorfos, desde que no surjam
quaisquer confuses.
3.7
Ao longo deste captulo, provamos que o conjunto dos nmeros reais aqui construdo
constitui um corpo ordenado comutativo, resta-nos agora provar a completude desse
mesmo conjunto, isto , que todo o subconjunto no vazio de R, limitado superiormente,
tem um supremo em R.
Nesta seco, iremos provar a completude do conjunto dos nmeros reais, a partir do
Princpio de Cauchy. Para tal, podemos introduzir, no conjunto dos nmeros racionais e
no conjunto dos nmeros reais, mtricas, tendo ambas por base a definio de distncia
entre dois nmeros.
Definio 3.7.1 Dados dois nmeros racionais r1 e r2 denomina-se distncia desses dois
nmeros aquele dos dois nmeros, r1 r2 e r2 r1 , que for positivo.
Definio 3.7.2 Dados dois nmeros reais e denomina-se distncia desses dois
nmeros ao nmero obtido da forma:
d (, ) = | | = | | .
Consideremos o conjunto Q0 dos nmeros reais racionais, algebricamente isomorfo ao
conjunto dos nmeros racionais, Q, atrs definido. A introduo da mtrica do espao
dos nmeros reais, feita na Definio 3.7.2, organiza igualmente o subconjunto Q0 , como
um espao mtrico.
74
Em relao s duas mtricas definidas, para o conjunto dos nmeros reais, na Definio
3.7.2, e para o conjunto dos nmeros racionais, na Definio 3.7.1, tem lugar o seguinte:
Teorema 3.7.1 Q0 e Q so espaos isomtricos.
Demonstrao. A correspondncia do isomorfismo conserva igualmente a distncia
entre os pares de pontos correspondentes.
Sejam e 0 dois nmeros reais racionais e r e r0 os nmeros racionais correspondentes.
Os nmeros reais e 0 podem, como sabemos, ser representados pelas sucesses {r}
e {r0 }.
Pela Definio 3.7.2, temos

d (, 0 ) = | 0 | = |[r] [r0 ]| = |[r r0 ]| = [|r r0 |] .
E a distncia entre os dois nmeros racionais |r r0 |, que o nmero que em Q corre-
sponde a [|r r0 |] de Q0 .
Com o intuito de fazer o estudo da convergncia de sucesses de nmeros reais, consideremos as seguintes convenes:
Com {an }n indicaremos uma sucesso {a1 , a2 , ..., an , ...} cujos termos no
so necessariamente iguais.
Com {an } indicaremos uma sucesso em que todos os termos so iguais
a an , isto , {an , an , ..., an , ...}.
Com [an ]n indicaremos o nmero real representado pela sucesso
{a1 , a2 , ..., an , ...} {an }n .
Com [an ] indicaremos o nmero real representado pela sucesso
{an , an , ..., an , ...} {an } .
Reportando-nos definio de limite, podemos enunciar a seguinte condio necessria
e suficiente de convergncia.
lim {n }n
> 0 N : n > N = d (n , ) <
> 0 N : n > N = |n | < .
75
Utilizando a noo de limite vamos relacionar um nmero real com os nmeros reais
racionais isomorfos dos nmeros racionais que intervm numa qualquer das sucesses suas
representantes.
Teorema 3.7.2 Pode-se considerar todo o nmero real como limite da sucesso de nmeros
reais racionais isomorfa da sucesso de nmeros racionais que representa esse nmero
real, isto ,
= [an ]n = = lim [an ] .
n
Demonstrao. Seja
|a [an ]| = |[am ]m [an ]| = |[am an ]m | = [|am an |]m
e sejam um nmero real positivo qualquer e d um nmero racional, cujo correspondente
em Q0 seja menor que , isto , [d] < .
Uma vez que {an }n uma sucesso de Cauchy, de nmeros racionais, podemos encontrar N, tal que
|an+p an | < d, para n > N e p > 0.
Tomando um nmero n > N
|an+1 an | , |an+2 an | , ..., |am an | , com m > n,
so inferiores a d.
Deste modo, o nmero real
[|am an |]m
ser menor ou igual ao nmero real [d] , se n > N. Ou seja,
| [an ]| < , se n > N,
o que mostra que converge para o nmero , representado pela sucesso
{a1 , a2 , ..., an , ...} ,
a sucesso de nmeros reais representados pelas seguintes sucesses de nmeros racionais
{a1 , a1 , ..., a1 , ...} , representante de [a1 ]
{a2 , a2 , ..., a2 , ...} , representante de [a2 ]
...
{an , an , ..., an , ...} , representante de [an ] .
76
Analogamente ao que fizemos na Definio 3.2.1, para os nmeros racionais, podemos

introduzir as sucesses de Cauchy para os nmeros reais pela
Definio 3.7.3 Uma sucesso de Cauchy de nmeros reais caracterizada por:
C {n }n ( > 0 N : n > N, p > 0 = |n+p n | < ) .
Com base no Teorema 3.7.2 podemos, agora, enunciar o Teorema Fundamental de
Cauchy.
Teorema 3.7.3 Princpio de Cauchy
O espao mtrico dos nmeros reais um espao mtrico completo, isto , a condio
necessria e suficiente para que uma sucesso
{ 1 , 2 , ..., n , ...} { n }n
seja convergente que essa sucesso seja sucesso de Cauchy, ou seja, que, para todo
> 0, | n m | < , para n > N e m > n.
Demonstrao.
Condio Suficiente:
Considerem-se as sucesses representantes dos nmeros :

1 [{x11 , x12 , ..., x1m , ...}] [x1m ]m
2 [{x21 , x22 , ..., x2m , ...}] [x2m ]m
...
n [{xn1 , xn2 , ..., xnm , ...}] [xnm ]m .
Pelo Teorema 3.7.2, temos, para cada n,
lim [xnm ] = n .
m
O facto de, para todo o n, a sucesso {xnm }m ser uma sucesso de Cauchy, implica que,
para um mesmo d, escolhido de modo a ser [d] < , podemos determinar, para cada n,
uma ordem m, designada por mn , tal que
|xnmn xnm | < d, desde que m > mn .
77
Como a correspondncia entre Q0 e Q isomtrica, ser ainda

|[xnmn ] [xnm ]| < [d]
com mn determinado por n e d, e m arbitrrio, mas superior a mn .
Por passagem ao limite relativamente a m, obtemos
(a)
|[xnmn ] n | [d] < .
Considere-se, agora, a sucesso de nmeros reais racionais

{[x1m1 ] , [x2m2 ] , ..., [xnmn ] , ...} {[xnmn ]}n
e forme-se a diferena
|[xnmn ] [xkmk ]| |[xnmn ] n | + | n k | + | k [xkmk ]| .
A primeira e terceira parcelas so menores do que em virtude de (a) e portanto pela
prpria maneira como a sucesso foi determinada. Quanto segunda parcela, como a
sucesso { n }n de Cauchy podemos sempre determinar, em funo de , uma ordem N
tal que
| n k | < ,
desde que n > N e k > n.
Desse modo ser
|[xnmn ] [xkmk ]| < + + = 3
com a condio nica de n > N e k > n.
Fica assim provado que a sucesso de nmeros racionais {[xnmn ]} uma sucesso de
Cauchy bem como, pela isometria entre Q0 e Q, a sucesso dos nmeros racionais seus
correspondentes
{x1m1 , x2m2 , ..., xnmn , ...} {xnmn } .
Esta sucesso de nmeros racionais pois a sucesso representante de um nmero real,

o nmero [xnmn ]n que ser representado por , isto ,
= [xnmn ]n .
78
Atendendo ao Teorema 3.7.2, podemos considerar este nmero como o limite dos
nmeros racionais correspondentes aos nmeros racionais da sucesso {xnmn }n , isto ,
(b)
= lim [xnmn ] .
n
Este nmero real o limite da sucesso { n }n como iremos provar.

Na realidade, sendo
| n | | [xnmn ]| + |[xnmn ] n |
como a segunda parcela , por (a), inferior a , e a primeira tambm, por (b), desde que
se tome n superior a uma ordem N 0 , determinada pelo nmero N, vir
| n | < 2, para n > N,
isto ,
= lim n ,
n
o que demonstra que toda a sucesso de Cauchy de nmeros reais convergente.

Condio Necessria:
Como no espao mtrico dos nmeros racionais, uma consequncia imediata da
propriedade triangular da distncia entre dois pontos.
Uma vez estabelecido o Princpio de Cauchy estamos em condies de provar a completude de R, antes porm necessitamos provar o seguinte:
Teorema 3.7.4 Todas as sucesses montonas e limitadas so sucesses fundamentais.
Demonstrao. Seja a sucesso montona no decrescente com o majorante m
r1 r2 ... rn ... < m,
e vamos, com vista a um absurdo, supor que para esta sucesso no se verifica a condio
de Cauchy.
Particularizando a aplicao da condio a uma sucesso no decrescente, a sua negao ter a seguinte forma
> 0, n N, p : N > n e p > 0 = rN+p rN + .
79
Esta afirmao mostra que se pode determinar para aquele nmero uma sucesso de
inteiros
N1 e p1 ; N2 > N1 + p1 e p2 ; N3 > N2 + p2 e p3 ; ...
tal que
rN1 +p1 rN1 + ; rN2 +p2 rN2 + rN1 +p1 + 2; ...; rNk +pk rN1 + k.
Podendo k ter o valor que se queira, basta escolh-lo, como nos permite a ordenao
arquimediana, de modo a ser
k > m rN1 ,
para que se obtenha
rNk +pk rN1 + k > m,
o que contradiz a hiptese de ser m o majorante da sucesso.
Teorema 3.7.5 Princpio do Encaixe2
Dadas a sucesso montona no decrescente
1 2 ... n ...
e a sucesso montona no crescente
1 2 ... n ...,
satisfazendo s condies de que todo o termo da primeira inferior a todo o termo da
segunda e que a partir de certa ordem to pequena quanto se queira a diferena entre
dois termos correspondentes das duas sucesses, isto ,
i, j i < j
N : n > N = n n < ,
existe um e um s nmero real que pertence a todos os intervalos fechados j , i .

2
Notemos que foi Gomes Teixeira o pioneiro, em Portugal, a enunciar este princpio, no seu Curso de
Analyse Infinitesimal - Calculo Dierencial.
80
Demonstrao. Sendo montonas e limitadas as sucesses { i } e { i }, so ambas sucesses de Cauchy pelo Teorema 3.7.4, e portanto, pelo Princpio de Cauchy, so
sucesses convergentes.
Sejam e os respectivos limites.
Pelas condies do enunciado, qualquer que seja n e j sempre n < j .
Nesta desigualdade, passando ao limite, relativamente ao ndice n, obtemos
lim n = j .
Como esta desigualdade verifica-se para todo o j, uma nova passagem ao limite, no
conjunto dos nmeros reais, e agora relativamente a j, conduz a
lim j = .
Resta agora provar que e no podem ser distintos. Se o fossem, todos os termos
n e n , respectivamente da primeira e segunda sucesses, que satisfizessem a
n n <
que existem pela segunda condio do teorema, seriam maiores que e menores que ,
facto esse que seria um absurdo.
Tendo por base o Princpio do Encaixe, que acabamos de estabelecer, e tomando X
um subconjunto de um conjunto O, completamente ordenado pela relao de <, iremos
agora enunciar a seguinte definio de supremo e nfimo.
Definio 3.7.4 O conjunto X tem um supremo S se o conjunto X dos seus majorantes
tem um primeiro elemento S.
O conjunto X tem um nfimo J se o conjunto X dos seus minorantes tem um ltimo
elemento J.
Teorema 3.7.6 condio necessria e suficiente para que S seja o supremo de um
subconjunto X de um conjunto ordenado que
1o
x X = x S;
2o
y < S = x X : y < x < S.
81
segunda condio, no caso de se tratar de um subconjunto X de um Grupo Ordenado,

pode dar-se a seguinte forma:
> 0 x X : y < x < S.
Todas estas noes aplicveis a conjuntos ordenados valem, por isso, igualmente para
conjuntos de nmeros racionais ou nmeros reais.
Notemos, no entanto, que existem conjuntos de nmeros racionais que admitem majorantes sem que tenham supremo. ([38], pp. 108 - 109)
Teorema 3.7.7 Princpio do Supremo / nfimo
Todo o conjunto de nmeros que tenha majorante tem supremo e todo o conjunto de
nmeros que tenha minorante tem nfimo.
Demonstrao. Seja X um conjunto e m0 um seu majorante.
Considere-se um nmero x0 que no seja majorante de X. Forme-se, ento
x0 + m0
.
2
Vamos designar por m1 o menor dos nmeros
x0 + m0
e m0 ,
2
que majorante de X, e por x1 o maior dos nmeros
x0 + m0
e x0 ,
2
que no o .
Em qualquer das duas hipteses a diferena m1 x1 sempre
m0 x0
.
2
De um modo geral, obtidos os nmeros mn e xn , representamos por mn+1 o menor dos

dois nmeros
mn + xn
e mn ,
2
que majorante de X e por xn+1 o maior dos dois nmeros que no o .
A diferena entre esses dois nmeros
mn+1 xn+1 =
m0 x0
2n+1
82
e, como as sucesses {mn } e {xn } so, a primeira montona no crescente, e a segunda

montona no decrescente, a sucesso de intervalos fechados {[xn , mn ]} constitui um encaixe a que corresponde um nmero real S, que afinal o supremo de X, pois, se qualquer
que seja x X, se tem sempre x mn .
Igualmente, passando-se ao limite, se ter
x lim mn = S
para todos os elementos de X, tratando-se, pois, de um majorante.
Nenhum outro nmero inferior poder ainda s-lo pois, se isso se desse, por exemplo
com S , em que um nmero positivo, bastaria notar que sendo
lim xn = S
se poderia encontrar uma ordem N tal que
S < xn , para n > N
e, desde que por construo nenhum dos xn majorante, tambm o no pode ser o nmero
S .
importante que esta propriedade se possa inverter servindo-nos para a edificao do
conjunto dos nmeros reais. Com esse intuito, precisamos ainda da seguinte:
Definio 3.7.5 x, elemento de um Grupo, divisvel ao meio, se existir no Grupo um
elemento y tal que y + y = x.
Teorema 3.7.8 Se num Grupo Ordenado e Denso, cujos elementos so divisveis ao
meio, todo o seu subconjunto que admite majorante tem supremo, todas as sucesses de
Cauchy so convergentes.
Se num Grupo Ordenado e Denso, cujos elementos so divisveis ao meio, todo o
seu subconjunto que admite minorante tem nfimo, todas as sucesses de Cauchy so
convergentes.
Demonstrao. Seja { n } uma sucesso de Cauchy, constituda por elementos do
Grupo. sabido, pelo Teorema 3.5.1, que uma sucesso de Cauchy tem sempre majorante
83
e minorante. Por isso, no so vazios os dois conjuntos A e B, definidos do seguinte modo:

a A = (Na : n > Na = n < a)
b B = (Nb : n > Nb = b < n ) .
Em A esto todos os elementos do Grupo que so maiores que todo o elemento da
sucesso, a partir de determinada ordem.
Em B, pelo contrrio, esto todos os elementos do Grupo que so menores que todo
o elemento da sucesso, a partir de determinada ordem.
De modo que, para quaisquer a e b, se pode determinar uma ordem Nab , tal que
b < n < a, para n > Nab ,
o que nos mostra terem os conjuntos A e B respectivamente minorantes e majorantes, e
portanto, pela hiptese do teorema, A ter nfimo J e B supremo S.
Vamos mostrar que sendo { n } uma sucesso de Cauchy, foroso que seja S = J.
Suponhamos que tal no acontece. Como as relaes b < n < a exigem S J, a
diferena d = J S ter de ser maior que 0.
Escolhamos tal que
d
0<< .
2
Como a sucesso { n } uma sucesso de Cauchy, existe uma ordem N para a qual
N < n < N +
qualquer que seja n > N.
N pode ainda ser escolhido de modo que
S < N < J +
em virtude de S ser supremo de B e J nfimo de A.
Se
N
S+J
e n > N
2
implicaria
n >
d
S+J
=S+ >S
2
2
para todo n, contrariamente a ser S o supremo de B.
84
Se, pelo contrrio,

d
S+J
S+J
e n < N + <
+ =J + =J
N <
2
2
2
<J
para todo x, haveria elementos menores do que J que seriam ainda minorantes de A,
o que seria um absurdo.
Este resultado justifica que os Princpios enunciados nos Teoremas 3.7.5 e 3.7.7, isto
, que o Princpio do Encaixe e o Princpio do Supremo / nfimo sejam equivalentes
Condio de Cauchy, em qualquer Corpo Ordenado e Denso e, portanto, em particular,
no Conjunto dos Nmeros Reais.
Assim, neste Captulo, definimos o Conjunto dos Nmeros Reais como Limites de
Sucesses Convergentes de Nmeros Racionais, isto , maneira de Cantor e, com base
em resultados referentes ao Conjunto dos Nmeros Racionais, conseguimos provar que
o Conjunto de Nmeros Reais assim construdo consiste, a menos de um isomorfismo
algbrico e de ordem, num conjunto que satisfaz as seguintes condies:
(i) Algebricamente um Corpo Ordenado;
(ii) A Ordenao definida Densa e Arquimediana;
(iii) Topologicamente um Espao Mtrico Completo.
Captulo 4
Outras Construes do Conjunto dos
Nmeros Reais
A Teoria dos Nmeros Reais, como base da Anlise Matemtica, foi completada no
sculo XIX de diversas formas.
Como vimos no decorrer dos captulos anteriores, as primeiras definies rigorosas de
nmeros reais estavam j publicadas em 1872 por Mray, Dedekind, Heine e Cantor.
A definio rigorosa de convergncia de uma sucesso de nmeros foi dada por dAlembert
em 1765 e por Cauchy em 1821 sem possurem na altura uma definio rigorosa de nmeros
reais. Uma exposio da construo dos nmeros reais foi dada no livro Grundlagen der
Analysis, [25], por Edmund Landau, sendo fcil hoje em dia encontrar outras, em vrios
livros de texto.
O Conjunto dos Nmeros Reais foi construdo usando os Cortes de Dedekind ou as
Classes de Equivalncia de Sucesses de Cauchy, mas segundo A. H. Lightstone, "estes
sistemas tm pouca conexo com a nossa intuio de nmeros reais, e por isso possuem
pouco ou nenhum impacto no nosso pensamento". ([26], p. 347)
Segundo Mitio Nagumo, "estas teorias matemticas foram estabelecidas como complemento do sistema dos nmeros racionais, enquanto que a relao ntima entre a quantidade
e o nmero foi muito negligenciada". ([34], p. 1)
Tendo por base as opinies supra citadas, ou outros motivos, o facto que, vrios
matemticos, elaboraram outras Construes de Nmeros Reais, algumas das quais apresentaremos, de uma forma sintetizada, nas vrias seces deste captulo.
85
86
Outras Construes do Conjunto dos Nmeros Reais
4.1
Construo dos nmeros reais utilizando uma alternativa aos Cortes de Dedekind
A. H. Lightstone apresentou, em 1962, Uma Simples Alternativa aos Cortes de

Dedekind, [26], na revista Scripta Mathematica pois, sendo da opinio de que a maioria da
Matemtica actual est enraizada no sistema dos nmeros reais, pareceu-lhe necessrio
possuir um completo conhecimento sobre o que significa o sistema dos nmeros reais.
Introduziu-o da seguinte maneira, o que em si no traz nada de novo.
Definio 4.1.1 Um sistema algbrico, digamos (S, +, , <, 0, 1), onde + e so as operaes binrias em S, < uma relao binria em S, 0 S e 1 S, diz-se um Sistema
de Nmeros Reais desde que este sistema algbrico seja um Corpo Completo e Ordenado.
A definio anterior implica que as seguintes catorze condies devem ser verdadeiras
sobre o sistema algbrico (S, +, , <, 0, 1).
1.
x + (y + z) = (x + y) + z sempre que x S, y S e z S.
2.
x + y = y + x sempre que x S e y S.
3.
x + 0 = x sempre que x S.
4.
Dado x S, existe y S tal que x + y = 0.
5.
x (y z) = (x y) z sempre que x S, y S e z S.
6.
x y = y x sempre que x S e y S.
7.
x 1 = x sempre que x S.
8.
Dado x S e x 6= 0, existe y S tal que x y = 1.
9.
x (y + z) = x y + x z, sempre que x S, y S e z S.
10. x < z sempre que x < y, y < z, x S, y S e z S.

11. x = y ou x < y ou y < x, sempre que x S e y S.
12. Se x < y ento x + z < y + z, sempre que x S, y S e z S.
13. Se 0 < z e x < y ento x z < y z, sempre que x S, y S e z S.
14. T possui supremo sempre que T um subconjunto no vazio de S que
possui majorantes.
87
Notemos que, as catorze condies aqui enunciadas equivalem s condies das Definies
2.6.1, 2.6.2 e 2.6.4, que introduzimos na Seco 2.6 do Captulo 2.
A. H. Lightstone apresenta um sistema de nmeros reais, que considera prximo do
sistema intuitivo de aritmtica no uso actual, e torna precisos os conceitos e operaes
envolvidos nesse sistema, exemplificando-os, sempre que pertinente.
Em particular, apresenta definies de adio e multiplicao que descrevem as operaes de adio e multiplicao utilizadas na aritmtica usual.
Tendo em conta que o sistema intuitivo de nmeros reais baseado no sistema dos
nmeros racionais, vamos, tal como Lightstone fez, supor que este ltimo conhecido, e
do material provido pelo sistema dos nmeros racionais construir o sistema dos nmeros
reais.
Para construir o sistema dos nmeros reais, fixemos a nossa ateno num determinado
subconjunto de nmeros racionais, nomeadamente, os nmeros racionais decimais.
Definio 4.1.2 Um nmero racional diz-se racional decimal se da forma:
a
onde a inteiro, b = 10n e n nmero natural.
b
fcil perceber que x + y um racional decimal se x e y so racionais decimais. Com
efeito, se x1 , x2 , ..., xn so racionais decimais ento x1 + x2 + ... + xn tambm o .
O nmero racional decimal
a0
1
a2
an
+ a101 + 10
2 + ... + 10n denotado por a0 , a1 a2 ...an
desde que 0 6 a0 e {a1, a2 , ..., an } {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, os elementos deste

segundo conjunto so denominados de dgitos.
Vejamos um exemplo:
35
3
1
0
8
0
7
+ 1 + 2 + 3 + 4 + 5 + 6 denotado por 35, 310807.
1
10
10
10
10
10
10
35310807
denotado, igualmente, por 35, 310807.
Assim como o racional decimal
106
Definio 4.1.3 Uma sucesso de nmeros racionais decimais denotada por (a1 ; a2 ; a3 ; ...; an ; ...)
em que ao nmero racional decimal a1 associado o nmero natural 1, ao a2 associado
o nmero natural 2, ... , e ao an associado o nmero natural n. Convencionalmente
denota-se (a1 ; a2 ; a3 ; ...; an ; ...) por (an ) .
Os elementos deste conjunto ordenado so denominados de termos da sucesso e an
o n-simo termo da sucesso, sempre que n natural.
88
Definio 4.1.4 Uma sucesso de nmeros racionais decimais, (an ), um nmero real
se a sucesso verifica as trs seguintes propriedades:
1.
a1 apenas pode ter um dgito direita da vrgula.
2.
an+1 obtido a partir de an juntando um dgito a an sempre que n um nmero
natural.
3.
Dado um qualquer nmero natural n existe sempre um nmero natural k maior
que ele, tal que ak obtido a partir de ak1 juntando um dgito diferente de 9 a ak1 .
So exemplos de nmeros reais as seguintes sucesses:
(i)
(2, 0; 2, 01; 2, 011; 2, 0111; 2, 01111; ...)
Note-se que, como o nmero racional 2, 0 o mesmo que 2, logo, o nmero real que
representa a sucesso anterior o mesmo que o que representa a sucesso
(2; 2, 01; 2, 011; 2, 0111; 2, 01111; ...) .
(ii)
(3, 1; 3, 14; 3, 141; 3, 1415; ...) .

(15, 4; 15, 48; 15, 489; 15, 4890; ...) .
(iii)
(2, 1; 2, 10; 2, 100; 2, 1000; ...) .
(iv)
(2, 2, 2, ..., 2, ...) .
(v)
No so nmeros reais as sucesses:
(i)
(ii)
(iii)
(1, 1; 1, 19; 1, 100; 1, 1999; ...)

(2, 01; 2, 011; 2, 0111; 2, 01111; ...)
(45, 2; 45, 23; 45, 228; 45, 2280; 45, 22800; ...)
Antes, porm, de definir a adio e multiplicao de nmeros reais conveniente

introduzir duas famlias de operadores unrios de sucesses de racionais decimais.
Definio 4.1.5 Suponhamos (an ) uma sucesso de racionais decimais, e k um nmero
natural. Denotamos por Dk (an ) a sucesso de racionais decimais obtida a partir de (an )
em que a cada termo de (an ) apaga-se todos os dgitos direita do k-simo dgito que est
aps a vrgula.
89
Vejamos um exemplo:
D2 (13, 201; 1, 415; 0, 0014; 0, 105; ...) = (13, 20; 1, 41; 0; 0, 10; ...)
O segundo operador unrio tambm simples:
Definio 4.1.6 Dada uma sucesso podemos obter uma outra "bloqueando-a", isto ,
apagando os primeiros termos da sucesso. O resultado de apagar os primeiros k-termos
da sucesso (an ) denota-se por Bk (an ), onde Bk (an ) = (ak+n ) .
Exemplificando:
B2 (3; 3, 1; 3, 14; 3, 141; ...) = (3, 14; 3, 141; ...)
Notemos que Bk (an ) no necessariamente um nmero real se (an ) um nmero real
e k um nmero natural.
Definidos os dois operadores unrios, estamos prontos para definir a adio e a multiplicao.
Comecemos por definir a adio.
Sejam (an ) e (bn ) quaisquer nmeros reais, representamos por (an ) + (bn )
o nmero real construdo pelo seguinte procedimento:
Primeiro consideramos a sucesso de racionais decimais cujo n-simo
termo an + bn e denominamo-lo por (an + bn ).
fcil perceber que existe um nico racional decimal, digamos d1 , tal que
Bq D1 (an + bn ) = (d1 )
para algum nmero natural q; da mesma forma, existe um nico racional
decimal, digamos d2 , tal que
Bq D2 (an + bn ) = (d2 )
para algum nmero natural q; de facto, se k um nmero natural qualquer,
ento existe um nico racional decimal, digamos dk , tal que
Bq Dk (an + bn ) = (dk )
para algum nmero natural q.
Desta forma, construmos a sucesso de racionais decimais (dn ).
90
Claramente, esta sucesso satisfaz os primeiros dois requisitos de um nmero real.

Se o terceiro requisito igualmente verificado ento (dn ) o nmero real que
iremos denotar por (an ) + (bn ).
Se o terceiro requisito no se verifica, ento seja k o menor nmero natural tal
que
dn obtido a partir de dn1 juntando 9 a dn1 , sempre que n > k.
Faamos a seguinte correco sucesso (dn ):

Se n k e dn > 0 ento dn substitudo por dn +
1
;
10n
Se n k e dn < 0 ento dn substitudo por dn
1
.
10n
Notemos que, em ambos os casos, a sucesso resultante um nmero real, o qual

denotaremos por (an ) + (bn ).
Vejamos um exemplo em que foi necessrio fazer uma correco:
(5, 1; 5, 12; 5, 120; 5, 1200; ...) + (17, 3; 17, 38; 17, 382; 17, 3820; 17, 38200; ...) =
= (22, 5; 22, 50; 22, 502; 22, 5020; 22, 50200; ...)
A multiplicao definida como se segue:
Consideremos (an ) e (bn ) quaisquer nmeros reais. Ento, denotamos por
(an ) (bn ) o nmero real construdo pelo seguinte procedimento:
Primeiro consideramos a sucesso de racionais decimais (an bn ), analogamente, ao caso da adio, construmos a sucesso (en ) onde e1 o nico racional
decimal tal que
Bq D1 (an bn ) = (e1 )
para algum nmero natural q; e2 o nico racional decimal tal que
Bq D2 (an bn ) = (e2 )
para algum nmero natural q; e, de uma forma geral, ek o nico racional
decimal tal que
Bq Dk (an bn ) = (ek )
para algum nmero natural q.
91
Claramente, esta sucesso, (en ), satisfaz os primeiros dois requisitos de um nmero

real.
Se o terceiro requisito igualmente verificado, ento (en ) o nmero real que iremos
denotar por (an ) (bn ).
Se o terceiro requisito no se verifica, ento transformamos (en ) num nmero real
efectuando a mesma correco que no caso da adio. O nmero real resultante denotamos
por (an ) (bn ).
Vejamos um exemplo de uma multiplicao em que as trs condies para ser nmero
real so directamente satisfeitas:
(5, 0; 5, 00; 5, 000; ...) (2, 1; 2, 11; 2, 110; 2, 1100; ...) =
= (10, 5; 10, 55; 10, 550; 10, 5500; ...) .
Vejamos um exemplo em que foi necessrio fazer algumas correces:
(3, 0; 3, 00; 3, 000; ...) (1, 2; 1, 21; 1, 213; 1, 2133; 1, 21333; ...) =
= (3, 6; 3, 64; 3, 640; 3, 6400; 3, 64000; ...) .
Notemos que, importante introduzir os operadores Dk e Bk na definio de adio e
multiplicao, uma vez que, estes operadores so teis na definio do conceito de limite
de uma sucesso de nmeros reais.
Definidas as operaes de adio e multiplicao, vamos, agora, introduzir uma relao
de ordem nos nmeros reais, que aqui estamos a definir.
Dizemos que (an ) < (bn ) se existe um nmero natural k tal que ak < bk .
Notemos que, se (an ) e (bn ) so nmeros reais, ento am < bm sempre que ak < bk e
k < m.
Por exemplo
(25, 7; 25, 74; 25, 746; 25, 7468; 25, 74680; 25, 746800; ...) <
< (25, 7; 25, 74; 25, 746; 25, 7468; 25, 74680; 25, 746803; 25, 7468030; ...) .
usual denotar um nmero real, digamos (an ), por ak , sendo k o menor nmero
natural tal que an obtido de an1 juntando 0 a an1 , sempre que n > k.
92
Vejamos alguns exemplos:

O nmero real (5, 1; 5, 12; 5, 120; 5, 1200; ...) denotado por 5, 12,
o nmero real (5; 5; 5; ...; 5; ...) denotado por 5 e
o nmero real (0; 0; 0; ...; 0; ...) denotado por 0.
Seja R# o conjunto de todos os elementos que, segundo a Definio 4.1.4, chamamos de
nmeros reais. O sistema algbrico (R# , +, , <, 0, 1) que acabamos de construir, usando
unicamente os nmeros racionais, um corpo completo e ordenado.
possvel demonstrar que o sistema algbrico (R# , +, , <, 0, 1) goza das catorze propriedades enunciadas no incio desta seco.
A ttulo de exemplificao, iremos provar apenas a propriedade relacionada com a
completude, isto , que:
Um subconjunto no vazio de R# que possui majorante, tambm, possui supremo.
Para tal, vamos supor que k um conjunto no vazio de nmeros reais que possui um
majorante e vamos construir o supremo de k.
Denotemos por Dm (k) o conjunto de todos os racionais decimais obtidos de k seleccionando o m-simo termo de cada membro de k.
Notemos que, cada membro de Dm (k) um racional decimal com no mximo m dgitos
direita da vrgula.
Uma vez que k limitado superiormente, claro que o conjunto D1 (k) possui um
nmero maior que todos os outros, denominemos esse nmero de d1 .
Da mesma forma, seja d2 o maior nmero do conjunto D2 (k) e, de um modo geral,
seja dn o maior nmero do conjunto Dn (k) .
Consideremos ento a sucesso (dn ).
Esta sucesso satisfaz os primeiros dois requisitos de nmero real.
Se o terceiro requisito no for satisfeito, efectuamos em (dn ) a transformao num
nmero real pela correco apresentada nos casos anteriores relativos adio e multiplicao.
Denotemos o nmero real obtido por (d0n ).
Vamos mostrar que (d0n ) um majorante de k.
Construo dos nmeros reais utilizando a Noo de Quantidade
93
Suponhamos que existe um membro de k, digamos (an ), tal que (d0n ) < (an ), ento
existe um nmero natural s tal que d0s < as . O que contradiz a construo de d0s .
Suponhamos, agora, que existe um majorante de k, digamos (bn ), tal que (bn ) < (d0n ),
ento existe um nmero natural r tal que br < d0r .
Se d0r = dr ento dr o r-simo termo de um membro de k, digamos (cn ), e temos que
(bn ) < (cn ). Assim, (bn ) no um majorante de k.
Se d0r 6= dr ento existe um nmero natural, digamos m, tal que r < m, e o ltimo
dgito de bm no 9. Mas ento bm < dm e ento existe um membro de k, digamos (en ),
tal que bm < em , desde que em = dm . Assim, (bn ) no um majorante de k. O que
estabelece que (d0n ) o supremo de k.
4.2
Construo dos nmeros reais utilizando a Noo

de Quantidade
Mitio Nagumo publicou, no ano de 1944, Zenkoku Shijo Sugaku Danwakai e posteriormente, em 1976, escreveu o artigo Quantities and Real Numbers, [34], publicado em
1977, na revista Osaka J. Math, onde faz uma construo dos nmeros reais, que tem por
ideia base os cortes de Dedekind, e na qual estabelece, e reala, a relao entre quantidade
e nmeros. Relao essa que o autor considera, como j referimos, que foi negligenciada
pelos matemticos do sculo XIX.
Mitio Nagumo considera que devemos comear por fazer uma caracterizao do sistema
de quantidades positivas e derivar o sistema dos nmeros reais positivos como o conjunto
dos automorfismos do sistema de quantidades positivas. Ento, a partir desta derivao,
a extenso, do sistema dos nmeros reais positivos, para todo o sistema de nmeros reais
poder ser facilmente obtida.
seguindo o artigo de Nagumo que, nesta seco, vamos mostrar mais uma possvel
construo do sistema dos nmeros reais, na qual comeamos por caracterizar o sistema
de quantidades positivas.
94
4.2.1
Sistema de Quantidades Positivas
Seja Q um sistema de quantidades do mesmo tipo, no qual so vlidos os seguintes

axiomas, respeitantes adio:
(I1 ) Se a, b Q ento a + b Q e a + b unicamente determinado.
(I2 ) Se a, b Q ento a + b = b + a.
(I3 ) Se a, b, c Q ento (a + b) + c = a + (b + c) .
(I4 ) Se a, b, c Q e a + c = b + c ento a = b.
O sistema de quantidades Q denominado de positivo se satisfaz as seguintes condies:
(II1 ) Se a, b Q, ento a + b 6= a.
(II2 ) Se a, b Q e a 6= b ento existe c Q tal que uma, e apenas uma, das
seguintes igualdades verdadeira:
a + c = b ou a = b + c.
Definio 4.2.1 Seja Q um sistema de quantidades positivas e a, b Q. Dizemos que b
maior do que a, denotamos por b > a, e que a menor do que b, denotamos por a < b,
se e s se existe um a0 Q tal que b = a + a0 .
So, igualmente, vlidas no sistema Q, de quantidades positivas do mesmo tipo, as
seguintes:
Proposio 4.2.1 Se a, b Q e a < b ento existe um nico a0 Q tal que
a0 + a = b.
Neste caso, a0 = b a.
Proposio 4.2.2 Para qualquer par de elementos a, b Q dado, ocorre apenas um dos
seguintes trs casos:
1)
a = b;
2)
a < b;
3)
b < a.
95
Proposio 4.2.3 (i) Se a, b, c Q, a < b e b < c, ento a < c.

(ii) a + c < b + c decorre, se e s se a < b.
A continuidade uma caracterstica de grande importncia tanto no domnio dos
nmeros reais como no sistema de quantidades positivas, Q, e pode ser definida como se
segue.
O sistema de quantidades positivas Q denominado de contnuo se satisfaz os axiomas
(III1 ) e (III2 ) .
(III1 ) Para todo a Q, existe um a0 Q tal que a0 < a.
A partir do axioma, (III1 ), acabado de enunciar, obtemos a seguinte:
Proposio 4.2.4 Sejam a, b Q e a < b. Ento existe um elemento c Q tal que
a < c < b.
Antes de enunciarmos o segundo axioma da continuidade, (III2 ), temos de definir o
que , segundo Nagumo, um par de Dedekind.
Definio 4.2.2 Um par de subconjuntos Q , Q+ de Q no vazios, denominado de par
de Dedekind, se e s se, satisfaz as trs seguintes condies:
(i)
(ii)
(iii)
(III2 )
Q Q+ = Q;
Q Q+ = (conjunto vazio);
a1 Q , a2 Q+ implica sempre a1 < a2 .
Para qualquer par de Dedekind Q , Q+ de Q, existe um elemento
c Q tal que a1 Q e a2 Q+ implica a1 c a2 .

A partir dos axiomas, (III1 ) e (III2 ), obtemos:
Proposio 4.2.5 Seja Q , Q+ um par de Dedekind de Q. O elemento c Q, definido
em (III2 ), unicamente determinado e c tanto o mximo de Q como o mnimo de
Q+ .
96
Definio 4.2.3 Denominamos o elemento c, definido em (III2 ) , por elemento corte do

par de Dedekind Q , Q+ e representamo-lo por c = (Q |Q+ ) .
Para qualquer a Q e para qualquer nmero natural n (n N), definimos na Q
por induo em n:
1a = a
(n + 1) a = na + a.
A proposio seguidamente enunciada e demonstrada conhecida como sendo o axioma

de Arquimedes.
Proposio 4.2.6 Se a, b Q, ento existe n N tal que na > b.
Demonstrao. Consideremos Q e Q+ definidos por
Q = {q Q : n N, na > q} ,
Q+ = {q 0 Q : n N, na q 0 } ,
respectivamente.
Suponhamos, com vista a um absurdo, que a Proposio 4.2.6 falsa. Ento Q , Q+
poderia ser um par de Dedekind, com Q 6= e Q+ 6= , e c = (Q |Q+ ) Q o que nos
levava a uma contradio.
4.2.2
Aplicaes Lineares e Automorfismos
Sejam Q e Q0 sistemas de quantidades positivas que satisfazem os axiomas da continuidade acima descritos.
Seja uma aplicao de Q em Q0 , isto , por , para todo q Q, corresponde
unicamente um elemento q0 Q0 tal que q 0 = (q), uma funo de varivel q Q.
Definio 4.2.4 Uma aplicao de Q em Q0 dita linear, isto , um homomorfismo, se e s se, para quaisquer elementos a1 , a2 Q
(a1 + a2 ) = (a1 ) + (a2 ) .
97
Definio 4.2.5 Uma aplicao de Q em Q0 dita 1 1 (um para um) em Q0 , se e

s se, para todo a0 Q0 , existe um nico a Q tal que
(a) = a0 .
Neste caso, a aplicao inversa 1 de Q0 em Q 1 1 em Q.
Definidas e a sua inversa, 1 , podemos enunciar o seguinte teorema da inverso.
Proposio 4.2.7 Seja uma aplicao linear de Q em Q0 . Ento 1 1 em Q0 , e
a aplicao inversa 1 de Q0 em Q tambm linear.
Para demonstrar a Proposio 4.2.7 so necessrios os trs lemas que se seguem.

Lema 4.2.1 Seja uma aplicao conforme a definida na Proposio 4.2.7. Ento,
dados a1 , a2 Q,
(a1 ) < (a2 ) se e s se a1 < a2 .
Lema 4.2.2 Para todo o a Q, e para todo o n N, existem an Q tais que
nan < a.
Lema 4.2.3 Para todo o b Q0 , existem a1 , a2 Q tais que
(a1 ) < b < (a2 ) .
Estabelecidos os lemas, 4.2.1, 4.2.2 e 4.2.3, estamos em condies para fazer a seguinte
Demonstrao. da Proposio 4.2.7
Para qualquer a0 Q0 fixo definimos, os subconjuntos de Q, Q e Q+ , por
Q = {q Q : (q) < a0 } e
Q+ = {q Q : (q) a0 } ,
respectivamente.
Ento, Q e Q+ , formam um par de Dedekind de Q.
Tomemos a Q com a = (Q |Q+ ), e mostremos que (a) = a0 .
Se tivssemos (a) < a0 , ento a tinha que ser o mximo de Q . Mas assim deveria
existir um a1 Q tal que a < a1 e (a1 ) < a0 o que contradiz o facto de a ser o mximo
98
de Q . Pois, pelo Lema 4.2.3 deveria existir c Q tal que (c) < a0 (a) que pertence
a Q0 , donde (a + c) < a0 . Notemos que consideramos, a1 = a + c.
Se tivssemos (a) > a0 , ento a tinha que ser o mnimo de Q+ . Mas, pelo Lema
4.2.3 deveria existir um c Q tal que (c) < (a) a0 , donde c < a e a0 < (a c) ,
denotamos a1 = a c, o que nos levou novamente a uma contradio.
Assim mostramos que aplica Q em Q0 .
Pelo Lema 4.2.1 vemos que uma aplicao 1 1 de Q em Q0 e podemos facilmente
ver que 1 linear.
Posto isto, vamos definir o que um automorfismo racional, e para tal, consideremos, novamente, Q um sistema de quantidades positivas que satisfaz os axiomas da
continuidade.
Definio 4.2.6 Uma aplicao linear de Q em Q, isto , de Q nele prprio, denominada de automorfismo de Q.
Dados q Q e m N, definimos a aplicao de Q em Q por
(q) = mq.
Ento, pela Proposio 4.2.7, 1 tambm um automorfismo de Q e escrevemos
1 (q) = m1 q.
Para qualquer automorfismo de Q, isto , para qualquer aplicao linear de Q em
Q, temos para n N
(nq) = n (q) .
Donde, para todo q Q
n1 (q) = n1 q .
Assim, para quaisquer m, n N, e qualquer q Q
n1 (mq) = m n1 q .
A aplicao de Q em Q, definida por
(q) = n1 (mq) = m n1 q
(q Q)
(m, n N) ,
99
igualmente um automorfismo de Q e, este automorfismo de Q, pode ser escrito do

seguinte modo
m
q = m n1 q = n1 (mq) (q Q) .
n
Definio 4.2.7 Um automorfismo de Q dado por

(q) =
m
q (q Q) (m, n N)
n
denominado de automorfismo racional de Q.

Proposio 4.2.8 Seja uma aplicao linear de Q em Q0 . Ento, para qualquer automorfismo racional
m
n
(de Q e Q0 )
m m
q = (q)
n
n
(q Q) .
Proposio 4.2.9 Sejam a, b Q tais que a < b. Ento para qualquer c Q existe um
automorfismo racional de Q,
m
,
n
tal que
a<
m
c < b.
n
Demonstrao. Seja d = b a, com a < b.
Ento existe, pela Proposio 4.2.6, n N tal que nd > c. Logo, d > n1 c.
Considerando ci = ni c com i N temos ci = ic1 e ci < ci+1 .
Existe, igualmente pela Proposio 4.2.6, j N tal que cj = jc1 > a. Consideremos
j = m o menor nmero natural que satisfaz esta propriedade.
Ento, facilmente obtemos
a < cm < b com cm =
m
c.
n
Proposio 4.2.10 Sejam 1 e 2 automorfismos de Q tais que 1 (a) = 2 (a) para

algum a Q. Ento, identicamente, 1 (q) = 2 (q) para todo o q Q.
Demonstrao. Consideremos, com vista a um absurdo, que b Q tal que
1 (b) < 2 (b) . Ento, considerando 1 (a) = 2 (a) = c, pela Proposio 4.2.9, existe
um automorfismo racional
m
n
tal que
1 (b) <
m
c < 2 (b) .
n
100
Assim, como
1 (b) <
temos, pelo Lema 4.2.1,
m
m m
m
c = 1
a e 2
a = c < 2 (b) ,
n
n
n
n
b<
m
a < b,
n
o que um absurdo.
Similarmente, se supusermos 2 (b) < 1 (b) obteremos novamente uma contradio.
Consequentemente, temos que 1 (b) = 2 (b) para todo o b Q.
Proposio 4.2.11 Sejam 1 e 2 automorfismos de Q tais que 1 (a) < 2 (a) para
algum a Q. Ento, 1 (q) < 2 (q) para todo o q Q.
Neste caso, por simplificao da escrita, apenas escrevemos 1 < 2 .
Demonstrao. Se a condio anterior no for verdadeira, podemos supor a existncia de um b Q tal que 1 (b) > 2 (b) .
J mostramos que se 1 (b) = 2 (b) para algum b Q, ento, 1 (q) = 2 (q) para
todo o q Q.
Considerando c Q, tal que c = 1 (b) 2 (b), pela Proposio 4.2.6, existe um
n N tal que
nc > 1 (a) e nb > a.
Logo
n1 a < b.
Ento, existe m N tal que
m
m+1
a<b
a.
n
n
Assim,
m+1
m+1
m
a =
1 (a) < 2 (a) + n1 1 (a)
1 (b) 1
n
n
n
1
< 2 (b) + n 1 (a) < 2 (b) + c.
O que um absurdo pois contradiz a igualdade, imposta no incio,
1 (b) = 2 (b) + c.
101
A ordenao pode ser definida no conjunto de todos os automorfismos racionais de Q.

Com o intuito de a definirmos comecemos por denominar por P, o conjunto de todos os
automorfismos racionais de Q.
Pela Proposio 4.2.11, a ordenao em P definida do seguinte modo:
Definio 4.2.8 Sejam r1 , r2 P. Se para todo q Q temos r1 q < r2 q ento r1 < r2 .
Com base nas proposies 4.2.8 e 4.2.10, podemos definir em P, a adio e a multiplicao por
r1 + r2 P (r1 + r2 ) (q) = r1 (q) + r2 (q) para todo q Q.
r1 r2 P r2 (r1 q) = r1 (r2 q) para todo q Q.
Notemos que, em P, a adio e a multiplicao satisfazem as regras usuais da adio
e da multiplicao de nmeros racionais.
Definio 4.2.9 Um par de subconjuntos P e P+ no vazios do conjunto P denominado de par de Dedekind de P, se e s se satisfaz as trs seguintes condies:
(i)
(ii)
(iii)
P P+ = P;
P P+ = (conjunto vazio);
r1 P , r2 P+ implica r1 < r2 .
Proposio 4.2.12 Seja Q um sistema de quantidades positivas satisfazendo os axiomas

da continuidade e seja a Q. Se P , P+ um par de Dedekind de P, ento existe um
nico c Q tal que
r1 a c r2 a
para todo r1 P e para todo r2 P+ .
Demonstrao. Sejam Q e Q+ subconjuntos de Q definidos por:
q Q : r P+ , q < ra ,
= q Q : r P+ , ra q .
Q =
Q+
Ento Q , Q+ um par de Dedekind de Q, o qual denotado por c = (Q |Q+ ) .
102
Em primeiro lugar vamos supor c como o mximo de Q . Ento, c < ra para todo
o r P+ e c ra para todo r P . Pois, se tivssemos c < r1 a para algum r1 P ,
ento como r1 a Q , contradizia que c fosse o mximo de Q .
Agora vamos supor c como o mnimo de Q+ . Ento, c = r0 a para algum r0 P+ e
ra < r0 a = c para todo o r P . Alm disso, como {ra : r P+ } Q+ , temos c ra

para todo o r P+ .
A unicidade de c na Proposio 4.2.12 decorre da Proposio 4.2.9.

Para enunciar o Teorema do Isomorfismo, presente na Proposio 4.2.13, continuaremos a considerar Q e Q0 sistemas de quantidades positivas que satisfazem os axiomas da
continuidade.
Proposio 4.2.13 Sejam dados a Q e a0 Q0 . Ento, existe apenas uma aplicao
linear, isto , um isomorfismo, de Q em Q0 tal que (a) = a0 .
Demonstrao. Para definir a aplicao linear desejada, tomemos um q Q
+
arbitrrio e deixemos P
(q) e P(q) serem definidos por
P
(q) = {r P : ra < q} ,
P+
(q) = {r P : ra q} ,
respectivamente.
+
Ento, P
(q) e P(q) formam um par de Dedekind de automorfismos racionais.
Assim, pela Proposio 4.2.12, existe apenas um q0 Q0 , dependendo de Q, tal que

+
r1 a0 q 0 r2 a0 para todo r1 P
(q) e para todo r2 P(q) .
Donde, definimos a aplicao de tal forma que (q) = q 0 . Claramente temos

(a) = a0 .
Agora, consideremos (qi ) = qi0 com i = 1, 2. Temos de mostrar que linear, isto ,
temos de provar que
(q1 + q2 ) = q10 + q20 .
Consideremos
q3 = q1 + q2 e P
i = {r P : ra < qi } com i = 1, 2, 3.
103
Ento, obtemos
P
3 = r1 + r2 : r1 P1 , r2 P2 .
Pois, facilmente observamos que
Para mostrar que
P
r1 + r2 : r1 P
1 , r2 P2
3.
P
3 r1 + r2 : r1 P1 , r2 P2 ,
consideremos r P
3 . Ento, ra < q1 + q2 , considerando
d = min {q1 + q2 ra, q1 , q2 } Q,

pela Proposio 4.2.9, existe ri0 P, com i = 1, 2, tal que
1
qi d < ri0 a < qi , com i = 1, 2.
2
Ento,
ri0 P e ra q1 + q2 d < (r10 + r20 ) a < q1 + q2 .
Assim, considerando ri =
ri0
r,
r10 +r20
com i = 1, 2, obtemos
ri P
i e r = r1 + r2 .
Para
ri a =
ri0
ri0
ra
(r0 + r20 ) a = ri0 a < qi .

r10 + r20
r10 + r20 1
Agora, consideremos
P+
3 = {r P : ra q3 = q1 + q2 } .
+
Ento, P
3 , P3 forma um par de Dedekind de nmeros racionais e, pela definio de
, considerando (q3 ) = q30 , obtemos

+
r1 a0 < q30 r2 a0 para todo r1 P
3 e todo r2 P3 .
Assim, temos de provar que q30 = q10 + q20 .

Se tivssemos q30 < q10 + q20 , ento existiria r0 P tal que
q30 < r0 a0 < q10 + q20 .
104
Por um mtodo similar ao caso anterior em que ra q1 + q2 , existe ri0 P

i , com
i = 1, 2, tal que r10 + r20 = r0 . Assim
0
0
r0 P
3 = {r P : ra < q3 } = {r P : ra < q3 } ,
contradizendo
q30 < r0 a0 .
Se tivssemos q30 > q10 + q20 , ento existiria r0 P tal que
q30 > r0 a0 > q10 + q20 .
0
0
0
E similarmente, como anteriormente, existiria ri0 P+
i , com i = 1, 2, tal que r1 + r2 = r .
Donde,
r0 P+
3 = {r P : ra > q1 + q2 } ,
contradizendo
r0 a0 < q30 .
A unicidade de obvia pela Proposio 4.2.10.
4.2.3
O Corpo dos Nmeros Reais
Continuemos a considerar Q um sistema de quantidades positivas que satisfaz os

axiomas da continuidade, seja o conjunto de todos os automorfismos de Q, isto , o
conjunto de todas as aplicaes lineares de Q em Q.
Passemos, agora, caracterizao de .
Em definimos a adio e a multiplicao como se segue:
1 + 2 por (1 + 2 ) (q) = 1 (q) + 2 (q) para todo q Q.
2 2 por (2 1 ) (q) = 2 (1 (q)) para todo q Q.
Proposio 4.2.14 So vlidas as propriedades comutativa e associativa da adio em
:
1 + 2 = 2 + 1 ,
(1 + 2 ) + 3 = 1 + (2 + 3 ) .
105
Proposio 4.2.15 So vlidas as propriedades associativa da multiplicao e distributiva da multiplicao em relao adio em :
1 (2 + 3 ) = 1 2 + 1 3 ,
(1 + 2 ) 3 = 1 3 + 2 3 ,
(1 2 ) 3 = 1 (2 3 ) .
Proposio 4.2.16 vlida a propriedade comutativa da multiplicao em :
1 2 = 2 1 .
Em termos de exemplificao vamos fazer a demonstrao da Proposio 4.2.16.
Demonstrao. Seja a Q, queremos mostrar que
1 2 (a) = 2 1 (a) .
Suponhamos, com vista a um absurdo, que a igualdade anterior no vlida, e que
temos, por exemplo,
1 2 (a) < 2 1 (a) .
Assim, pela Proposio 4.2.9, existe um automorfismo racional r =
m
n
tal que
1 2 (a) < r1 (a) < 2 1 (a) .

Pela Proposio 4.2.8,
r1 (a) = 1 (ra) > 1 2 (a) ,
obtemos pelo Lema 4.2.1, ra > 2 (a), donde, r > 2 .
Alm disso, como rb < 2 (b) com b = 1 (a), temos r < 2 , o que contradiz a
consequncia anterior r > 2 .
Similarmente, se supusermos
1 2 (a) > 2 1 (a) ,
obtemos novamente uma contradio.
Com o objectivo de obter o corpo dos nmeros reais, temos de prosseguir, a nossa
construo, com mais algumas definies, nomeadamente de elemento neutro da adio e
dos elementos negativos, (com ) .
106
O 0 (zero), um elemento ideal tal que

+ 0 = 0 + = para todo .
Para todo o dado, definimos por
+ () = () + = 0.
Proposio 4.2.17 O conjunto R, de todos os elementos , 0 e com forma
um grupo comutativo relativamente adio.
Em R, uma extenso de , definimos a adio por:
1)
Se 1 , 2 , a adio 1 + 2 continua a ser a mesma que foi definida
para .
2)
1 + (2 ) = (2 ) + 1 =
1 2 se 2 < 1
para todo 1 , 2
0 se 1 = 2
( ) se <
2
1
1
2
3) (1 ) + (2 ) = (2 ) + (1 ) = (1 + 2 ) , para todo 1 , 2 .
4) () + 0 = 0 + () = para todo e 0 + 0 = 0.
Em R, como extenso de , tambm, podemos definir a multiplicao como se segue:
1) Se 1 , 2 , o produto 1 2 continua a ser o mesmo que foi definido
para .
2) (1 ) 2 = 2 (1 ) = (1 2 ) para todo 1 , 2 .
3) (1 ) (2 ) = 1 2 para todo 1 , 2 .
4) 0 = 0 = 0 para todo .
Definidas as operaes de adio e multiplicao em R, podemos enunciar a seguinte:
Proposio 4.2.18 A adio e a multiplicao definidas anteriormente faz com que R
seja um corpo comutativo.
107
Proposio 4.2.19 R essencialmente independente de Q, isto , RQ isomorfo a RQ0 ,

somente se Q e Q0 so sistemas de quantidades positivas que satisfazem os axiomas de
continuidade.
Demonstrao. Seja a Q fixo, ento a correspondncia 1 1, : (a) = q, para
Q e q Q, produz um isomorfismo (1 1, uma aplicao linear) de Q com Q no
que diz respeito adio temos que Q ' Q.
Como Q ' Q0 , pela Proposio 4.2.13, obtemos, no que diz respeito adio e
ordenao que Q ' Q ' Q0 ' Q0 .
Alm disso, tomando Q e Q0 com o intuito de torn-los isomorfos, tambm, no que

diz respeito multiplicao, podemos concluir que:
0
1Q Q tem de corresponder a 1Q0 Q0 , desde que 12Q = 1Q e 102
Q0 = 1Q0 .
Tambm para n N, nQ Q tem de corresponder a nQ0 Q0 para o mesmo

n N.
Assim para rQ Q , com r R um nmero racional, tem de corresponder rQ0 Q0
para o mesmo r R.
/ P. Sejam
Seja agora Q e suponhamos P um automorfismo racional tal que
P+ e P definidos por
P = {r P : r < } e P+ = {r P : r > } .
Ento P+ , P forma um par de Dedekind e existe um nico 0 Q0 tal que
r(Q0 ) 0 r+(Q0 ) , para todo r P e para todo r+ P+ .
Pelo isomorfismo de Q com Q0 no que diz respeito ordenao, devido adio,
vemos que a deve corresponder 0 .
Consequentemente, podemos observar que Q e Q0 coincidem, como sistemas de
adio e multiplicao, no sentido abstracto.
Como RQ unicamente derivado de Q observamos que RQ e RQ0 coincidem como
corpo no sentido abstracto.
Denominamos assim, o sistema abstracto R de sistema de nmeros reais e o sistema
de nmeros reais positivos.
108
4.3
Construo dos nmeros reais como Classes de

Equivalncia de Declives
Norbert A Campo, no artigo A natural construction of the real numbers, [6], prope
uma construo do sistema dos nmeros reais, que consiste em construir directamente a
partir do grupo aditivo dos nmeros inteiros, utilizando por objecto base da construo
os declives (Slopes).
Como j vimos, as construes clssicas do sistema dos nmeros reais so baseadas
nos cortes de Dedekind ou nas sucesses (rn )nN de Cauchy de nmeros racionais.
4.3.1
Declives e definio de Nmero Real
Consideremos (Z, +) o conjunto dos inteiros, munido da operao aritmtica de adio,

para introduzirmos as definies necessrias.
Definio 4.3.1 Um declive (slope) , por definio, uma aplicao : Z Z, com a
propriedade de que o conjunto
{ (m + n) (m) (n) com m, n Z} ,
finito.
Definio 4.3.2 Dois declives e 0 so equivalentes se o conjunto
{ (n) 0 (n) com n Z}
finito.
Atendendo definio de declive constatamos que a presente construo, est relacionada com as construes clssicas, pois, a um declive corresponde um corte (A, B)
de Dedekind, tomando
p
p
A=
Q:pq e B =
Q:q p
q
q
e corresponde igualmente a uma sucesso de Cauchy (rn )nN , considerando rn =
Definio 4.3.3 Um nmero real uma classe de equivalncia de declives.
(n+1)
.
n+1
Construo dos nmeros reais como Classes de Equivalncia de Declives
109
Denotemos por R o conjunto dos nmeros reais.

Para j Z, seja j : Z Z a aplicao definida por j (n) = nj.
A aplicao linear j um declive para o qual a expresso j (m + n) j (n) j (m)
toma apenas o valor 0.
Identifiquemos um inteiro j Z com o nmero real representado pelo declive j.
Aps esta identificao o conjunto dos inteiros Z torna-se um subconjunto de conjunto dos nmeros reais R. Posto isto, os inteiros, so aqueles nmeros reais que so
representados por declives lineares.
Para p, q Z e q > 0 consideremos a aplicao : Z Z definida para n N com
n > 0 por
(n) = min {k N : qk pn}
e para n Z com n 0 por
(n) = (n) .
A aplicao um declive representando o nmero racional pq , isto , o declive
representa o nmero real que soluo da equao qx = p, o que tornarse- claro aps
a definio de multiplicao de nmeros reais.
Tal como para os inteiros, identificamos o conjunto dos nmeros racionais Q, com um
subconjunto de R.
Podemos caracterizar os nmeros racionais como aqueles nmeros reais que so representados por um declive , tal que para algum inteiro q > 0 a aplicao
n Z (qn) Z
linear.
Vamos na prxima seco definir a aritmtica dos nmeros reais, nomeadamente no
que se refere s operaes de adio e multiplicao, bem como a ordenao.
4.3.2
Aritmtica dos Nmeros Reais
Sejam a, b R nmeros reais e e declives representantes dos nmeros reais a e b.

Definio 4.3.4 A aplicao + : Z Z definida por
( + ) (n) = (n) + (n)
110
novamente um declive e a sua classe de equivalncia independente da escolha dos e

representativos de a e b.
Definimos a adio a + b R, com a, b R, como a classe de equivalncia do declive
acima descrito.
Definio 4.3.5 A composio : Z Z definida por
( ) (n) = ( (n))
novamente um declive e definimos o produto ab R, com a, b R, como a classe de
equivalncia da composio acima descrita.
A consistncia desta definio decorre do seguinte:
Lema 4.3.1 Consideremos os declives , 0 representativos de a R e os declives , 0
representativos de b R. Ento as composies e 0 0 so declives equivalentes.
Demonstrao. Provemos, em primeiro lugar que a aplicao efectivamente

um declive.
Consideremos E e E subconjuntos finitos de Z, tais que
(n + m) (n) (m) E
e
(n + m) (n) (m) E ,
para n, m Z.
Assim, para n, m Z existem u, u0 E e v E com
(n) + (m) (n + m) = ( (n) + (m)) + u ( (n) + (m) v) =

= ( (n) + (m)) + u ( ( (n) + (m)) + (v) u0 ) = u (v) u0 .
Conclumos que a expresso
(n) + (m) (n + m) , n, m Z,
toma valores num conjunto finito e assim a aplicao e, igualmente, tambm a
aplicao 0 0 so declives.
111
Vejamos agora, que os declives e 0 0 so equivalentes. Para tal, consideremos

E,0 e E, 0 conjuntos finitos tais que, para n Z, temos
(n) 0 (n) E,0
e
(n) 0 (n) E, 0 .
Assim, para n Z existem r E,0 , s E, 0 e u E , com
(n) 0 0 (n) = ( 0 (n) s) ( ( 0 (n)) + r) =
= ( 0 (n)) + (s) u ( ( 0 (n)) + r) = (s) r u.
Concluimos, desta forma, que a expresso (n) 0 0 (n) , com n Z toma
valores num conjunto finito e, consequentemente, os declives e 0 0 so equivalentes.

A positividade de um nmero real est relacionada com a natureza dos seus declives
representantes. Com efeito:
Definio 4.3.6 Um nmero real a positivo se os seus declives representantes o forem.
Consideremos
N = {n Z : n 0} ,
o conjunto dos nmeros naturais.
Definio 4.3.7 Dizemos que um declive positivo se o conjunto
{ (n) , com n N : (n) 0}
finito, enquanto o conjunto
{ (n) , com n Z}
infinito.
A partir da definio de positividade no conjunto dos nmeros reais podemos estabelecer a ordenao desses nmeros, do seguinte modo:
112
(i) Se a positivo, dizemos que a > 0 e 0 < a.

(ii) O nmero real a diz-se menor do que o nmero real b se existe um nmero
real positivo, t, tal que b = a + t. Se a menor que b escrevemos a < b.
Antes de verificar que o conjunto R com a adio, +, multiplicao, , e ordenao, <,
satisfaz todos os axiomas dos nmeros reais, isto , que se trata de um corpo arquimediano
totalmente ordenado e completo, iremos apresentar algumas definies.
Definio 4.3.8 Uma aplicao f : Z Z diz-se mpar se para todo n Z temos
f (n) = f (n) .
Notemos que uma aplicao mpar f : Z Z determinada pela sua restrio a
N+ = {n Z : n > 0} .
Definio 4.3.9 Consideremos um declive arbitrrio. A aplicao : Z Z com

(0) = 0, definida por (n) = (n) se n > 0 e por (n) = (n) se n < 0, um
declive mpar, o qual equivalente ao declive .
Assim, todo o nmero real pode ser representado por um declive mpar.
Para verificar se uma aplicao mpar : Z Z um declive, suficiente verificar
que o conjunto
finito.
(n + m) (n) (m) com n, m N+
Com o intuito de caracterizar as propriedades no conjunto, R, dos nmeros reais

necessrio caracterizar determinados declives, denominados de bem ajustados, aos quais
ir corresponder um nmero real.
Declives Bem Ajustados

Definio 4.3.10 Denominamos um declive de bem ajustado se mpar e satisfaz as
desigualdades
1 (m + n) (m) (n) 1, com n, m Z.
113
Podemos dizer que um declive bem ajustado no necessita tratar-se de uma aplicao
linear de Z em Z, mas difere o menos possvel de ser linear.
Cada declive equivalente a um declive bem ajustado, como mostra o Lema da concentrao que ser enunciado e demonstrado posteriormente.
Assim, em particular, um nmero real pode ser representado por um declive bem
ajustado.
Antes porm, necessitamos de estabelecer a seguinte:
Definio 4.3.11 Para inteiros p, q com q 6= 0, o resultado da diviso Euclideana optimizada de p por q denota-se por p q e resulta no inteiro r = p q Z que satisfaz as
desigualdades
2p |q| 2qr < 2p + |q| ,
onde |q| = max {q, q} o valor absoluto de q.
Por exemplo, 4 7 = 1 mas 3 7 = 0.
Notemos que, se pq , com p, q Z e q 6= 0, denota uma fraco, ento temos
p
p q 1 .
2
q
Posto isto, relacionados com a diviso Euclideana optimizada, temos os seguintes:
Lema 4.3.2 Seja q N+ e a, b, c Z tais que

q a b c q.
Ento temos
1 a 3q b 3q c 3q 1.
Demonstrao. O inteiro
a 3q b 3q c 3q
difere de 0 por, pelo menos
1 1 1 a
b
c 3 1
11
+ + +
+ = .
2 2 2
3q 3q 3q
2 3
6
Ento
1 a 3q b 3q c 3q 1
uma vez que
11
6
< 2.
114
Lema 4.3.3 Sejam n, m N+ e c Z. Ento

1 c m (n + m) c n (n + m) c nm 1.
Demonstrao. O inteiro
c m (n + m) c n (n + m) c nm
difere de
c
c
c
m (n + m) n (n + m) nm
por, quanto muito
1
2
+ 12 +
1
2
= 32 , logo
1 c m (n + m) c n (n + m) c nm 1,
uma vez que
3
2
< 2.
Lema 4.3.4 (da Concentrao) Seja um declive. Consideremos s N+ tal que,

para todo n, m Z, temos
s (m + n) (m) (n) s.
Seja 0 : Z Z definida por 0 (n) = (3sn) 3s com n Z, ento a aplicao 0
um declive bem ajustado, equivalente ao declive .
Demonstrao. Por induo em t N+ , provamos que
s (t 1) (tn) t (n) s (t 1) .
Para t = 3s temos
s (3s 1) (3sn) 3s (n) s (3s 1)
e consequentemente
s 0 (n) (n) s,
o que mostra a equivalncia entre e 0 .
De
s (3sn + 3sm) (3sn) (3sm) s
deduzimos
1 0 (n + m) 0 (n) 0 (m) 1.
Um declive bem ajustado possui as seguintes seis propriedades:
(i) | (n + 1) (n)| | (1)| + 1;
(ii) Se para algum k N+ temos
(k) > 1 (ou (k) < 1) ,
ento para todo n N+ temos
(n) 1 + n k (ou (n) 1 n k) .
(iii) Se para algum k Z temos
(k) > 1,
ento para v Z o conjunto
{n Z : (n) = v}
finito e possui menos do que k + 1 elementos.
(iv) Se para algum k Z temos
(k) > 1,
ento para todo v Z existe n Z com
|v (n)| | (1)| + 1.
(v) O nmero real x representado por satisfaz x > 0 se e s se existe a N
com
(a) > 1.
(vi)
Seja y um nmero real representado por um declive bem ajustado.
Temos x > y se e s se existe n N+ com

(n) > 2 + (n) .
115
116
Do Lema anterior e das propriedades acabadas de enunciar obtemos:

Lema 4.3.5 Seja um declive. Se toma infinitos valores, ento existem b, B N+
verificando as seguintes desigualdades:
| (n + k) (n)| kb, com n Z e k N;
| (n + kB) (n)| k, com n Z e k N.
Em particular, o declive toma cada valor no mximo 2B 1 vezes.
4.3.3
Axiomtica do Sistema dos Nmeros Reais
Nesta seco, vamos provar, parcialmente e de uma forma abreviada, que os axiomas
para um Corpo Ordenado e Completo so satisfeitos para (R, +, , <), isto , que so
vlidas as seguintes trs condies:
1. (R, +) um Grupo Abeliano.
2. (R, +, ) um Corpo.
3. (R, +, , <) um Corpo Ordenado Completo Arquimediano.
Recapitulemos que:
Ser Corpo Completo e Ordenado significa que qualquer subconjunto no
vazio T, limitado superiormente em R, possui supremo, o qual denotado por
sup T.
Ser Corpo Ordenado e Arquimediano significa que para qualquer a R,
a > 0 e A R existe um N N tal que Na > A.
Seguiremos com a verificao de alguns dos axiomas que acabamos de enunciar, para
o sistema dos nmeros reais.
A adio, +, de inteiros faz com que (Z, +) constitua um Grupo Abeliano. Assim,
facilmente decorre que (R, +) constitui igualmente um Grupo Abeliano.
(R, +, ) um Corpo. A multiplicao associativa, uma vez que o a composio de
aplicaes.
117
Apenas a propriedade comutativa e existncia de elemento inverso necessita de especial

cuidado.
Com o intuito de provar a propriedade comutativa da multiplicao consideremos dois
declives e verificando as estimativas
n ( (n)) = (n (n)) + E1 = ( (n) n) + E1 = (n) (n) + E2 + E1
com
|E1 | |n| S e |E2 | | (n)| S |n| (| (1)| + S ) S .
Donde, decorre que
| (n) (n)| S (1 + | (1)| + S ) + S (1 + | (1)| + S )
o que mostra que os declives e so equivalentes, logo a multiplicao comutativa.
Vejamos como est definido o elemento inverso para a multiplicao, para tal, consideremos 1 o nmero real representado pela aplicao identidade Idz : Z Z. Claramente,
para um nmero real x, as propriedades 1x = x1 = x so vlidas, o que faz com que 1
seja o elemento neutro para a multiplicao em R.
Iremos agora construir o elemento inverso para x R, com x 6= 0, isto , um elemento
y R que satisfaz xy = 1.
Seja um declive bem ajustado representativo de x. Ento, para cada v Z podemos
escolher nv Z com
|v (nv )| | (1)| + 1.
Definimos a aplicao : Z Z por (v) = nv .
A aplicao um declive pois tomando v, w Z temos
| ( (v + w) (v) (w))| = | (nv+w nv nw )|
|(v + w) v w| + 2 + 3 (| (1)| + 1) = 3 | (1)| + 5.
Uma vez que toma cada valor unicamente finitas vezes, conclumos que o conjunto
{ (v + w) (v) (w) com v, w Z}
finito.
118
Para v Z temos (v) = (nv ) , ento os declives e Idz so equivalentes,

uma vez que
|v (nv )| | (1)| + 1.
Assim, resulta que xy = 1.
Mostremos que o par (R, <) representa uma relao ordenada, no entanto, provemos
primeiramente que a relao < total.
Sejam x e y nmeros reais representados pelos declives e .
Consideremos o declive = , o qual representa o nmero x y.
Seja 0 o declive bem ajustado equivalente a , dado pelo Lema da concentrao.
Se 0 (n) {1, 0, 1} para todo n Z ento temos x = y.

Se x 6= y temos, para algum n N ,
0 (n) > 1 ou 0 (n) < 1.
No primeiro caso temos x > y e no segundo x < y.
O caso x = y exclui x < y e x > y.
Os casos x < y e x > y excluem-se mutuamente.
Resta-nos unicamente provar a transitividade.
Sejam x, y e z nmeros reais com x > y e y > z, os quais so representados pelos
declives , e .
Consideremos 1 e 2 declives bem ajustados equivalentes aos declives e .
Ento para algum n N+ e algum m N+ temos
1 (n) > 1 e 2 (m) > 1.

Assim, resulta que ( 1 + 2 ) (nm) > 2.
O declive bem ajustado 12 equivalente a 1 + 2 satisfaz 12 (nm) > 1 e consequentemente temos x > z.
Vamos provar que (R, +, , <) um Corpo Ordenado.
Sejam x, y e t nmeros reais satisfazendo x < y.
Representaremos x, y e t pelos declives bem ajustados , e .
Uma vez que x < y ento existe b N com
(bn) < (bn) n, para n N+ .
119
Ento
(bn) + (bn) < (bn) + (bn) n, para n N+ ,
o que mostra a monotonia para translaes
x + t < y + t.
Se t > 0, para algum d N temos (dn) > n, com n N+ , logo
( (bdn)) < ( (bdn)) n, para n N+ ,
o que mostra a monotonia para as transformaes do tipo tx < ty.
Provemos agora a propriedade arquimediana.
Consideremos a, A R com a > 0.
Construamos N N tal que Na > A, como se segue.
Representamos a e A por declives bem ajustados e . Uma vez que temos a > 0,
podemos escolher n N+ com (n) > 1 e ento (2n) > 2.
Definimos
N = 1 + max { (2n) , 0} .
Seja o declive bem ajustado equivalente ao declive N . Temos
(2n) > N (2n) N > 2 + (2n) .
Consequentemente Na > A.
Finalmente para estabelecer a Completude consideremos D um subconjunto de R no
vazio e limitado superiormente por m R.
Ento, para x D temos a desigualdade x m.
Seja um conjunto de declives bem ajustados representativos dos nmeros reais no
conjunto D.
Consideremos um declive bem ajustado, representativo de m.
Para todo n N e temos (n) < (n) + 2.
Donde, decorre que, para n N+ o conjunto no vazio { (n) com } limitado

superiormente por (n) + 2.
Seja : Z Z a aplicao mpar definida por
(n) = max { (n) com } .
120
A aplicao constitui um declive pois para u N+ consideramos u um declive,

o qual atinge em u o valor max { (u) , com } . Assim sendo, temos u (u) = (u) .
Para p, N N+ tomemos q = pN.
Comparemos p e q em p e q, como se segue.

Temos
q (q) N p (p) + 1
uma vez que
|q (q) N q (p)| 1 e q (p) p (p) .
Temos tambm
N p (p) p (q) + N q (q) + N.
Conclumos que, para todo p, N N+ temos
| p (p) pN (pN) N| 1.
Ento, para n, m N+ , considerando
c = nm(n+m) (nm (n + m)) ,
temos as seguintes desigualdades
| (n) c m (n + m)| 1,
| (m) c n (n + m)| 1,
| (n + m) c nm| 1.
Por exemplo, a primeira desigualdade obtida com p = n, N = m (n + m) , q = Np e
por comparao de p com q no ponto p.
De
|c nm c m (n + m) c n (n + m)| 1
decorre que, para todo o n, m N+ temos
| (n + m) (n) (m)| 1 + 3 = 4,
Construo dos Nmeros Reais como Sucesses de Intervalos Encaixados
121
o que prova o pretendido.

Seja s o nmero real representado pelo declive . Para todo x D temos a desigualdade x s, uma vez que, para um declive representando x, a desigualdade
(n) n (n) = (n) com n N+
vlida.
Ento s R um majorante para D.
Com o intuito de provar que s representa o supremo de D, mostraremos que nenhum
t R com t < s um majorante para D.
Com efeito, seja um declive bem ajustado para t R com t < s.
Ento existe n N+ com
(n) < (n) 2.
Seja x em D representado por n .
Temos n (n) > (n) + 2, logo x > t e assim t no representa um majorante para D.
Assim, semelhana do que foi feito para as outras construes do sistema dos nmeros
reais, provamos que, definindo um nmero real como uma classe de equivalncia de declives, as propriedades de Corpo Ordenado e Completo esto satisfeitas.
4.4
Construo dos Nmeros Reais como Sucesses

de Intervalos Encaixados
O livro Perspectives in Mathematics, [36], publicado, no ano de 1972, dedica o Captulo 10 construo do sistema dos nmeros reais utilizando sucesses de intervalos
encaixados, e tendo por base essa construo que elaboramos esta seco.
Nesta construo do sistema dos nmeros reais, tal como em todas as anteriores,
vamos assumir como conhecido o sistema (Q, , +, <), dos nmeros racionais, com as
usuais operaes de multiplicao e adio e com a ordenao usual em Q.
Nesta seco vamos, partindo do sistema dos nmeros racionais, elaborar uma construo dos nmeros reais, explicitando algumas das mais importantes propriedades deste
sistema de nmeros.
122
Esta construo tem por base sucesses de intervalos fechados de nmeros racionais e,
para tal, precisamos de uma importante propriedade do conjunto dos nmeros racionais,
expressa no seguinte:
Teorema 4.4.1 Sejam r e s nmeros racionais com r < s ento existem infinitos nmeros
racionais entre r e s.
Demonstrao. Escolhamos inteiros m e n tais que 0 < m < n. Ento
0<
m
< 1.
n
Uma vez que r < s ento s r positivo. Tambm s r racional e ento temos
0<
m
(s r) < s r,
n
e consequentemente
r<r+
Uma vez que
m
n
m
(s r) < s.
n
e s r so racionais, tambm o o seu produto e a soma

r+
m
(s r) .
n
Existem infinitas escolhas para os valores dos inteiros m e n tais que

0 < m < n,
e m e n podem ser escolhidos por forma a termos infinitos valores distintos de
infinitos valores distintos para r +
m
n
m
,
n
e assim,
(s r), os quais todos esto entre r e s.
Vejamos, de seguida a definio de intervalo de nmeros racionais, conceito base da

nossa construo.
Definio 4.4.1 Sejam a e b nmeros racionais com a < b. Por intervalo [a, b] entendemos o conjunto
[a, b] = {x Q : a x b} .
Deste modo, [a, b] consiste em todos os nmeros racionais entre a e b, incluindo a e b.
Como vimos no Teorema 4.4.1, cada um deste conjuntos contm infinitos nmeros
racionais.
123
Definio 4.4.2 Considerando [a, b], denotamos o comprimento deste intervalo por ([a, b]),
o qual dado por
([a, b]) = b a.
Assim, se I um intervalo de nmeros racionais, ento (I) um nmero racional
positivo, e se J I sendo J um intervalo de nmeros racionais, ento (J) (I).
Com efeito, se J um subconjunto prprio de I, ento, (J) < (I) .
Centremos a nossa ateno nas sucesses de tais intervalos, da forma
I1 , I2 , I3 , I4 , ...,
onde cada intervalo da sucesso contm o seguinte e a sucesso de nmeros
(I1 ) , (I2 ) , (I3 ) , (I4 ) , ...,
tende para zero.
Vamos, contudo precisar a definio de convergncia de uma sucesso e para tal
tomando r um nmero racional, denotaremos por |r| o valor absoluto de r, onde
r se r 0
|r| =
.
r se r < 0
Assim, se r um nmero racional, |r| no negativo e mede a distncia de r a 0,
quando colocamos r sobre uma linha recta orientada.

Consideremos a sucesso de nmeros racionais
{sn } = s1 , s2 , s3 , ..., sn , ....
Dizemos que a sucesso {sn } tende para zero, ou tem limite zero se para qualquer
nmero positivo , to pequeno quanto se queira, existe um nmero natural k, tal que
para todo o nmero natural n k temos |sn | < .
Notemos que, apesar dos termos de uma sucesso se aproximarem de zero isso no
quer dizer que a sucesso tenda para zero, vejamos, por exemplo, o caso da sucesso {sn }
de termo geral 1 +
1
n
que tem por limite 1.
A definio de limite de uma sucesso no significa igualmente que os termos da

sucesso devam aproximar-se cada vez mais do limite da mesma. Por exemplo, se considerarmos a sucesso {sn } definida por
1
n
se n mpar e
aproximam-se continuamente do seu limite, que zero.
1
2n
se n par, os termos no
124
Outra alternativa de definir a convergncia de uma sucesso {sn } para zero a seguinte:
Definio 4.4.3 Uma sucesso {sn } tende para zero se, escolhido um qualquer intervalo da forma ], [ , to pequeno quanto se queira, contendo o zero, a partir de uma
determinada ordem, os termos da sucesso {sn } pertencem ao intervalo.
Iremos construir os nmeros reais com base na localizao da sua posio, utilizando
sucesses de intervalos fechados de nmeros racionais.
Por exemplo, uma tpica sucesso para a localizao do nmero
2, ser:
I1 = [1; 2] ;
I2 = [1, 4; 1, 5] ;
I3 = [1, 41; 1, 42] ;
I4 = [1, 414; 1, 415] ;
I5 = [1, 4141; 1, 4142] ;
...
O comportamento destes intervalos tal que unicamente o nmero 2 pode pertencer
a todos eles. Contudo, uma vez que 2 ainda no foi construdo, no podemos falar de
um nmero pertencente a todos estes intervalos. Com efeito, no contexto dos nmeros
racionais, no existe um nmero que pertena a todos estes intervalos. Consequentemente,
iremos fazer corresponder 2 sucesso {In } .

Para que esta ideia seja bem sucedida necessrio impor determinadas caractersticas
a esta sucesso de intervalos. Assim sendo, estabelecemos a seguinte
Definio 4.4.4 Uma sucesso de intervalos encaixados fechados de nmeros racionais
uma sucesso
I1 , I2 , I3 , I4 , ...,
de intervalos fechados de nmeros racionais tal que
(i)
(ii)
para cada n, In+1 um subconjunto prprio de In ;

a sucesso { (In )} tende para zero.
Notemos que, podemos denominar de iguais, duas sucesses de intervalos encaixados,

se definem o mesmo nmero. Tendo por base esta ideia, vamos posteriormente definir um
nmero real como uma sucesso de intervalos encaixados de nmeros racionais.
125
Tecnicamente, um nmero real corresponde, como veremos, ao conjunto de todas as

sucesses de intervalos encaixados de nmeros racionais que so iguais.
4.4.1
Nmero Real como Equivalncia de Sucesses
O conceito de nmero real assenta na definio da equivalncia de sucesses de intervalos encaixados de nmeros racionais.
Definio 4.4.5 Sejam e sucesses de intervalos encaixados de nmeros racionais,
onde
= {I1 , I2 , I3 , ...} e = {J1 , J2 , J3 , ...}
com In e Jn intervalos fechados de nmeros racionais. Dizemos que e so equivalentes,
e escrevemos = se para qualquer combinao de nmeros naturais m e n, existe um
ponto comum a Im e Jn .
Por outras palavras, cada intervalo em sobrepe cada intervalo em .
O ponto comum s duas sucesses ser a eventual localizao do nmero real o qual, em
virtude da definio anterior, definido tanto por como por , pois se algum intervalo Im
disjunto de algum intervalo Jn ento todos os intervalos aps Im em sero disjuntos de
todos os intervalos aps Jn em , e existir uma distncia positiva entre o ponto definido
por e o ponto definido por .
Consideremos as sucesses de intervalos encaixados de nmeros racionais = {In } e
= {Jn } com
3
1
2
In = 1 , 1 +
e Jn = 1 , 1 com n N.
n
n
n
Temos, obviamente, = pois todo o intervalo In bem como todo o intervalo Jn

contm o nmero 1 e consequentemente para toda a combinao de nmeros naturais m
e n, e Im sobrepe Jn pelo menos no nmero 1.
Este exemplo, elucidativo da equivalncia de sucesses de intervalos encaixados de
nmeros racionais, mostra-nos que, obviamente, um nmero racional sempre um nmero
real pois o nmero 1 o nico nmero comum a todos os intervalos In e a todos os intervalos
Jn . Ento, neste caso, ambas as sucesses e correspondem ao nmero racional 1.
Mostraremos, de seguida, que a equivalncia de sucesses de intervalos encaixados de
nmeros racionais corresponde a uma relao de equivalncia.
126
Teorema 4.4.2 Sejam , e sucesses de intervalos encaixados de nmeros racionais.

Ento
(i)
= ;
(ii) se = ento = ;
(iii) se = e = ento = .
Demonstrao. As condies (i) e (ii) so bvias.
Para estabelecer (iii), suponhamos, com vista a um absurdo, que 6= . Ento, algum
intervalo Im em disjunto de algum intervalo Kn em .
Uma vez que Im e Kn so intervalos, podemos supor que cada nmero em Im menor
do que cada nmero em Kn . Em particular, o limite superior r de Im menor do que o
limite inferior s de Kn .
Uma vez que = e = ento cada intervalo Jt na sucesso deve conter r e s
pois cada intervalo Jt deve intersectar Im e Kn .
Como r < s ento s r um nmero positivo e logo
(Jt ) s r
para todos os nmeros naturais t, assim como o intervalo [r, s] um subconjunto de Jt
para cada nmero natural t.
Consequentemente, a sucesso { (Jt )} no pode tender para zero. O que contradiz o
facto de ser uma sucesso de intervalos encaixados de nmeros racionais, e por definio,
a sua sucesso de comprimentos tender para zero.
Esta contradio mostra que = o que demonstra o teorema.
Com base na relao de equivalncia existente entre sucesses de intervalos encaixados
de nmeros racionais podemos estabelecer a seguinte:
Definio 4.4.6 Um nmero real corresponde a uma coleco de sucesses equivalentes
de intervalos encaixados de nmeros racionais.
Esta definio justifica a utilizao do smbolo de igualdade na definio de sucesses
equivalentes pois dois nmeros reais so iguais se e s se so representados por sucesses
equivalentes de intervalos encaixados de nmeros racionais.
4.4.2
127
Aritmtica do Sistema dos Nmeros Reais
Com o intuito de definir a operao de adio no conjunto dos nmeros reais iremos,
primeiramente, definir a adio de sucesses de intervalos encaixados de nmeros racionais.
Definio 4.4.7 Sejam e duas sucesses de intervalos encaixados de nmeros racionais,
onde
= {I1 , I2 , I3 , ...} e = {J1 , J2 , J3 , ...} .
+ corresponde sucesso
{I1 + J1 , I2 + J2 , I3 + J3 , ...} ,
onde, para cada nmero natural n
In + Jn = {a + b com a In e b Jn } .
Assim, com o objectivo de adicionar dois nmeros reais, iremos escolher quaisquer
sucesses de intervalos encaixados de nmeros racionais representando esses dois nmeros
reais. Adicionamos essas sucesses, adicionando os intervalos correspondentes e os intervalos, por sua vez so adicionados, estabelecendo essa mesma operao a cada par de
nmeros dos dois intervalos.
Em ltima anlise verificamos que a operao acima descrita corresponde adio
definida no conjunto dos nmeros racionais.
necessrio contudo garantir que a adio de intervalos encaixados de nmeros
racionais continue a ser um intervalo encaixado de nmeros racionais, o que se traduz
no seguinte:
Teorema 4.4.3 Se I e J so dois intervalos encaixados de nmeros racionais ento
tambm o I + J.
Se tomarmos a adio de dois pares de sucesses de intervalos encaixados de nmeros
racionais representativas de dois nmeros reais, necessrio provar que estas so equivalentes.
Com efeito, a definio da adio + , como base da adio de dois nmeros reais,
necessita de um teorema que justifique a sua validade.
128
A razo que ao adicionarmos dois nmeros reais e , seleccionamos uma de muitas

possveis sucesses de intervalos encaixados para representar e igualmente uma de muitas
hipteses de sucesses de intervalos encaixados para representar . Existem pois vrias
hipteses de escolha.
Se escolhermos representado por
{I1 , I2 , I3 , ...} e {X1 , X2 , X3 , ....}
e tambm representados por
{J1 , J2 , J3 , ...} e {Y1 , Y2 , Y3 , ....} .
Alm de {In } e {Xn } serem equivalentes necessitam no ser idnticas. O mesmo deve
acontecer com {Jn } e {Yn } .
Assim, no poderemos esperar que as duas sucesses
{I1 + J1 , I2 + J2 , I3 + J3 , ...} e {X1 + Y1 , X2 + Y2 , X3 + Y3 , ...}
sejam idnticas.
O problema reside no facto de que elas podem no ser equivalentes.
Uma vez que suposto que ambas determinem a mesma adio +, as duas sucesses
acima devem ser equivalentes ou teramos uma ambiguidade na definio da adio de
nmeros reais.
Para garantir que esta ambiguidade no tenha lugar suficiente estabelecer o seguinte:
Teorema 4.4.4 Sejam e nmeros reais. Consideremos representado por duas
sucesses de intervalos encaixados {In } e {Xn } e representado por duas sucesses de
intervalos encaixados {Jn } e {Yn } . Ento as duas sucesses de intervalos encaixados
{In + Jn } e {Xn + Yn } so equivalentes, donde originam o mesmo nmero real + .
Demonstrao. Suponhamos e nmeros reais, consideremos representado por
duas sucesses de intervalos encaixados {In } e {Xn } e representado por duas sucesses
de intervalos encaixados {Jn } e {Yn } .
Suponhamos ainda, com vista a um absurdo, que a sucesso {In + Jn } representa o
nmero real , que a sucesso {Xn + Yn } representa o nmero real e que 6= .
129
Atendendo a ltima condio, as duas sucesses {In + Jn } e {Xn + Yn } no so equivalentes, ento, dever existir algum intervalo da forma Ik + Jk disjunto de algum intervalo
da forma Xm + Ym .
Suponhamos, sem perda de generalidade, que m k, ento, uma vez que
Im + Jm Ik + Jk ,
decorre que Im + Jm e Xm + Ym so igualmente disjuntos.
Mas, atendendo ao facto de que {In } e {Xn } so equivalentes, existe pelo menos um
nmero racional a pertencente a Im e Xm .
Similarmente, existe um nmero racional b pertencente a Jm e Ym .
Consequentemente, podemos afirmar que o nmero racional a + b pertence tanto a
Im + Jm como a Xm + Ym . Est encontrado o absurdo, uma vez que Im + Jm e Xm + Ym
so disjuntos.
obvio que se {In } e {Jn } so sucesses de intervalos encaixados fechados de nmeros
racionais tambm o a sucesso {In + Jn } .
Seguidamente, por convenincia iremos estabelecer que todo o nmero racional um
nmero real, isto , que cada nmero racional pode ser tomado como uma coleco de
sucesses equivalentes de intervalos encaixados de nmeros racionais.
Assim, podemos afirmar que Q R onde R denota o conjunto de todos os nmeros
reais.
Teorema 4.4.5 Seja r um nmero racional, ento r um nmero real.
Demonstrao. Para cada nmero natural n, consideremos
1
1
In = r , r +
.
n
n
Claramente {In } uma sucesso de intervalos encaixados fechados de nmeros racionais.
fcil verificar que se {Jn } uma outra sucesso nestas condies, ento equivalente
sucesso {In } se e s se todo o intervalo Jn contm o nmero r. Alm disso, se tal
acontecer, r o nico nmero comum a todos os intervalos da sucesso {Jn }, se atendermos
condio que diz-nos que a sucesso { (Jn )} tende para zero.
Consequentemente, o nmero racional r representado por uma sucesso de intervalos
encaixados e portanto um nmero real.
130
Retomando a adio, temos duas formas de adicionar nmeros racionais.

Se r e s so racionais podemos adicion-los pela adio usual definida em Q ou ento
podemos tom-los como nmeros reais e adicion-los utilizando as sucesses de intervalos
encaixados. Os dois resultados obtidos so iguais, e assim a definio de adio de nmeros
reais corresponde usual adio de nmeros racionais, quando ambos os mtodos so
aplicados a dois pares de nmeros.
Atendendo Definio 4.4.6, de nmero real, como uma coleco de sucesses equivalentes de intervalos encaixados de nmeros racionais, e ao facto de, como acabamos de ver,
a adio de nmeros reais resultar, em ltima instncia, na adio de nmeros racionais
podemos, obviamente, enunciar os seguintes:
Teorema 4.4.6 A adio de nmeros reais comutativa, isto , para quaisquer dois
nmeros reais e temos
+ = + .
Teorema 4.4.7 A adio de nmeros reais associativa, isto , para quaisquer nmeros
reais , e temos
( + ) + = + ( + ) .
Teorema 4.4.8 O nmero racional 0, quando tomado como nmero real, o elemento
neutro da adio, isto , para todo o nmero real temos
+ 0 = 0 + = .
Teorema 4.4.9 Para todo o nmero real existe um nmero real tal que
+ () = () + = 0.
Analogamente, podemos definir a multiplicao de nmeros reais com base nas sucesses
de intervalos encaixados de nmeros racionais e enunciar o seguinte:
Teorema 4.4.10 Sejam e nmeros reais. Consideremos representado por duas
sucesses de intervalos encaixados {In } e {Xn } e representado por duas sucesses de
intervalos encaixados {Jn } e {Yn } . Ento as duas sucesses de intervalos encaixados
{In Jn } e {Xn Yn } so equivalentes, donde originam o mesmo nmero real .
131
So igualmente vlidos os seguintes:

Teorema 4.4.11 A multiplicao de nmeros reais comutativa, isto , para quaisquer
dois nmeros reais e temos
= .
Teorema 4.4.12 A multiplicao de nmeros reais associativa, isto , para quaisquer
nmeros reais , e temos
( ) = ( )
Teorema 4.4.13 A multiplicao de nmeros reais distributiva em relao adio,
isto , para quaisquer nmeros reais , e temos
( + ) = + e ( + ) = + .
neutro da multiplicao, isto , para todo o nmero real temos
1 = 1 = .
absorvente da multiplicao, isto , para todo o nmero real temos
0 = 0 = 0.
Teorema 4.4.16 Para todo o nmero real , distinto de 0 existe um nmero real
tal
que
1
= 1.
Na prxima seco iremos ver como podemos definir a ordenao em R com base na
ordenao definida em Q.
4.4.3
Ordenao do Sistema dos Nmeros Reais
Definio 4.4.8 Consideremos e dois nmeros reais com representaes {In } e {Jn }
respectivamente, sucesses de intervalos encaixados fechados de nmeros racionais. Se
existe um nmero racional r e um nmero natural n tais que cada nmero em In menor
do que r e cada nmero em Jn excede r ento dizemos que < .
132
Teorema 4.4.17 Se a e b so nmeros racionais e a < b, com a usual relao de ordem

definida em Q, ento a < b em R e inversamente.
Teorema 4.4.18 Se e so nmeros reais ento uma, e apenas uma, das trs seguintes
condies se verifica:
(i)
(ii)
(iii)
< ;
= ;
< .
Teorema 4.4.19 Se , e so nmeros reais tais que < e < ento < .
Notemos que a notao significa que apenas uma das duas seguintes condies
verificada < ou = .
Teorema 4.4.20 Se um nmero real e 0 < ento existe um nmero natural n tal
que
1
n
< .
O teorema seguinte conhecido como a Propriedade Arquimediana dos Nmeros Reais.

Teorema 4.4.21 Se um nmero real com 0 < e um nmero real com 0 < ,
ento, com to pequeno quanto se queira e to grande quanto se queira, existe um
nmero natural n tal que
< n .
Demonstrao. Sejam e nmeros reais positivos tais que < (pois to
pequeno quanto se queira e to grande quanto se queira).
Consideremos {In } e {Jn } sucesses de intervalos encaixados representantes de e ,
respectivamente.
Como {In } no tende para zero, existe um nmero racional positivo r tal que {In } > r,
a partir de certa ordem, donde se conclui que r .
Por outro lado, sendo {Jn } uma sucesso de intervalos encaixados fechados de nmeros
racionais, majorada por um nmero racional k e temos portanto {Jn } k, logo k.
Atendendo ao facto que o conjunto dos nmeros racionais goza da propriedade Arquimediana, ento existe um natural n tal que nr > k, donde n > .
133
Definio 4.4.9 Consideremos S um conjunto no vazio de nmeros reais. Dizemos que

um nmero b um majorante para S se x b, para todo x S.
Definio 4.4.10 Se c um majorante de S tal que c b para todo o b majorante de S,
ento c denomina-se supremo de S.
O prximo teorema, conhecido como o do Supremo, estabelece realmente que a recta
real no possui buracos.
Teorema 4.4.22 Se S um conjunto no vazio de nmeros reais com um majorante,
ento S possui supremo.
Demonstrao. Suponhamos que S majorado. Como S 6= e possui um majorante,
podemos determinar a e b nmeros reais tais que b majorante de S mas a no majorante
de S. Seja I = [a, b].
Dividindo I = [a, b] ao meio, encontramos dois intervalos estando um deles, o qual
vamos designar por I1 = [a1 , b1 ], nas mesmas condies de I, isto , b1 majorante de S
e a1 no o .
Repetindo a operao sucessivamente, encontra-se uma sucesso de intervalos In =
[an , bn ] com comprimento ([an , bn ]) . E como o comprimento de cada intervalo In ,
metade do comprimento do precedente, temos
([an , bn ]) = bn an =
ba
,
2n
que tende para 0.

Assim, encontramos uma sucesso de intervalos nas condies do princpio do encaixe
[isto , que esto de acordo com a Definio 4.4.4] tais que bn majorante de S e an no
majorante de S.
Seja o ponto comum aos intervalos In .
Se c S, para todo o n temos c bn . Donde vem, passando ao limite, c . O que
prova que majorante de S.
Por outro lado, se majorante de S, temos, para todo o n, an , e portanto
donde se conclui que o menor dos majorantes de S. Logo = sup S.
Com efeito, utilizando o Teorema 4.4.22, acabado de demonstrar, podemos mostrar
que no existem outros nmeros reais, uma vez que podemos estabelecer uma relao de
134
correspondncia biunvoca entre R e os pontos de uma recta, isto , qualquer quantidade

que possa ser interpretada como um comprimento pode ser medida exactamente por um
e unicamente um nmero real.
Tal comprimento pode ser representado como um comprimento medido a partir de 0
at um qualquer ponto da linha recta.
Se por alguma razo o comprimento fosse negativo, por exemplo relacionado com a
carga de uma partcula, poderamos sempre supor que seria medido na direco positiva
pois podemos mostrar que se , nmero real, mede um comprimento positivo, mede
um comprimento negativo.
Ento, o problema consiste em mostrar que cada ponto direita de zero consiste na
localizao de um nmero real previamente construdo.
Consideremos P tal ponto, ento existe certamente pelo menos um nmero racional r
direita de P e 1 um numero racional esquerda de P .
Consequentemente, o conjunto
S = {x Q : x est esquerda de P }
o conjunto no vazio majorado de nmeros reais.
Consideremos o supremo de S.
Consideremos, com vista a um absurdo, que est esquerda de P ento, pela construo de , dever existir algum intervalo fechado I de nmeros racionais com I e
P direita de qualquer nmero de I.
Em particular, o limite superior b do intervalo I um nmero racional esquerda de
P , ento b S. Mas < b, o que um absurdo, uma vez que o supremo de S.
Similarmente, obtemos um absurdo se considerarmos que est direita de P.
Assim, o ponto P a localizao exacta do nmero real e estabelecemos que cada
ponto da recta corresponde localizao de algum nmero real e, alm disso, esta a
localizao exacta de pois este ponto est direita de todo o nmero racional menor
que e esquerda de todo o nmero racional maior que .
Posto isto, com base nas definies e nos teoremas apresentados nesta seco 4.4
podemos afirmar que o sistema dos nmeros reais construdo, tendo por base as coleces
de sucesses equivalentes de intervalos encaixados fechados de nmeros racionais, um
Corpo Ordenado e Completo.
Captulo 5
Axiomatizao dos Nmeros
Hilbert desenvolveu um tratamento completo e consistente dos axiomas da geometria
e sintetizou esses axiomas no contexto da anlise dos nmeros reais.
Hilbert demonstrou que na anlise dos nmeros reais possvel encontrar um modelo de
axiomas da geometria. Mostrou ainda como estabelecer que este modelo essencialmente
nico, isto , que qualquer modelo lhe isomorfo.
Quando comparamos os trabalhos existentes at ao final do sculo XIX relacionados
com os princpios da aritmtica e com os axiomas da geometria, observamos, no obstante
as mltiplas analogias, uma diferena no que respeita ao mtodo de investigao.
O processo de introduo do conceito de nmero consistia no mtodo gentico e na
estruturao da geometria utilizava-se o mtodo axiomtico. (Veja-se [21], p. 216)
Hilbert questionou se o mtodo gentico seria o nico mtodo apropriado para o estudo
do conceito de nmero, reservando-se o mtodo axiomtico para o estudo dos fundamentos
da geometria. Considerou interessante comparar estes dois mtodos e investigar qual
deles apresentava mais vantagens para a investigao lgica dos fundamentos, chegando
seguinte concluso:
"(...) apesar do alto valor heurstico e pedaggico do mtodo gentico, merece,
no entanto a minha preferncia o mtodo axiomtico para a representao
definitiva do nosso conhecimento e a sua plena fundamentao lgica." ([21],
p. 217)
Assim, relacionado com a teoria do conceito de nmero, desenvolveu o mtodo axiomtico como enunciamos seguidamente.
135
136
Como j foi referido, na seco 1.3, do captulo 1, Hilbert props que imaginssemos
um sistema de entes, aos quais chamamos nmeros que so designados por a, b, c, ..., relacionados entre si. Essas relaes ajustam-se exacta e completamente por quatro conjuntos
de axiomas ([21], pp. 217 - 219): os de ligao, de clculo, de ordem e de continuidade,
que enunciamos de seguida.
I. Axiomas de Ligao
I 1. Do nmero a e do nmero b origina-se por adio um determinado nmero
c. Simbolicamente:
a + b = c ou c = a + b.
I 2. Se a e b so nmeros dados, existe sempre um s nmero x e um s
nmero y tais que, respectivamente, se tenha
a + x = b e y + a = b.
I 3. Existe um determinado nmero chamado zero (0) tal que para qualquer
nmero a se verifica simultaneamente
a + 0 = a e 0 + a = a.
I 4. Dos nmeros a e b se origina contudo de outra maneira - por multiplicao
- um determinado nmero c. Simbolicamente:
ab = c ou c = ab.
I 5. Se a e b so dois nmeros quaisquer com a diferente de zero, existem
sempre um s nmero x e tambm um s nmero y tais que, respectivamente,
se cumpra
ax = b e ya = b.
I 6. Existe um determinado nmero chamado um (1) tal que para todo o
valor de a resulta simultaneamente
a 1 = a e 1 a = a.
137
II. Axiomas de Clculo

Se a, b e c so nmeros quaisquer, verificam-se sempre as seguintes igualdades:
II 1.
a + (b + c) = (a + b) + c.
II 2.
a + b = b + a.
II 3.
a (bc) = (ab) c.
II 4.
a (b + c) = ab + ac.
II 5.
(a + b) c = ac + bc.
II 6.
ab = ba.
III. Axiomas da Ordem
III 1. Se a e b so nmeros distintos quaisquer, ento um e um s deles

(digamos a) maior (>) do que o outro; e este diz-se, ento, o menor dos dois.
Simbolicamente
a > b e b < a.
Para nenhum nmero a vlida a relao a > a.
III 2. Se a > b e b > c ento tambm a > c.
III 3. Se a > b ento verifica-se sempre
a + c > b + c e c + a > c + b.
III 4. Se a > b e c > 0 verifica-se igualmente
ac > bc e ca > cb.
IV. Axiomas da Continuidade
IV 1. (Axioma de Arquimedes) Se a > 0 e b > 0 so dois nmeros
quaisquer, ento sempre possvel somar a consigo mesmo, quantas vezes for
necessrio para que a soma resultante tenha a propriedade
a + a + ... + a > b.
138
IV 2. (Axioma da Completabilidade) Se queremos conservar as relaes

entre os nmeros, no possvel juntar ao seu sistema outro sistema de entes de
modo que no sistema combinado de ambos sejam satisfeitos na sua totalidade
os axiomas I, II, III e IV 1..
Dito de uma forma breve, os nmeros formam um sistema de entes que
no susceptvel de ampliao alguma se se mantiverem todas as relaes e
todos os axiomas estabelecidos.
Notemos que, os axiomas I, II, III e IV correspondem aos de Corpo Ordenado Arquimediano e Completo, sendo a completude entendida no sentido do axioma IV 2. e a
propriedade arquimediana, no sentido do axioma IV 1., onde pressuposto o conceito de
nmero finito.
Verificamos que alguns dos axiomas, acabados de enunciar, so consequncia dos
restantes, o que nos leva discusso da dependncia lgica dos mesmos.
A existncia de elemento neutro na adio (axioma I 3.), assenta, essencialmente, na
propriedade associativa da adio, logo constitui uma consequncia dos axiomas I 1. 2. e II 1..
A existncia de elemento neutro na multiplicao (axioma I 6.), depende, fundamentalmente, da propriedade associativa da multiplicao, logo constitui uma consequncia
dos axiomas I 4. - 5. e II 3..
A propriedade comutativa da adio (axioma II 2.), deduzida da propriedade associativa da adio e da propriedade distributiva esquerda e direita da multiplicao em
relao adio, constitui uma consequncia dos axiomas I 2. e II 1., 4. e 5..
A propriedade comutativa da multiplicao (axioma II 6.), pode ser deduzida quando
e s quando se junta o axioma de Arquimedes, IV 1., aos axiomas I, II 1. - 5. e III.,
logo uma consequncia dos axiomas I, II 1. - 5., III e IV 1..
Os axiomas IV 1. e IV 2. so independentes um do outro. Nenhum destes axiomas
contm afirmaes sobre o conceito de convergncia ou sobre a existncia de limites, no
entanto, pode-se demonstrar atravs deles o Teorema de Bolzano-Weierstrass sobre a
existncia de pontos de acumulao e tambm a existncia da fronteira correspondente a
um corte de Dedekind.
139
Verificamos, assim, que o sistema de nmeros, apresentado por Hilbert, coincide com
o sistema usual dos nmeros reais.
Hilbert considera que na demonstrao da no-contradio 1 dos axiomas admitidos,
encontramos a prova da existncia da totalidade dos nmeros reais, isto , na terminologia de Cantor, a prova de que o sistema dos nmeros reais um conjunto consistente
(acabado).
Assim, segundo esta concepo do conjunto dos nmeros reais, no temos de imaginar
todas as propriedades possveis a que podem ser sujeitos os elementos de uma sucesso
fundamental, mas sim um sistema de entes cujas relaes recprocas so dadas pelo referido
sistema finito e fechado dos axiomas I - IV, e para o qual so vlidos novos enunciados
somente quando estes podem ser deduzidos daqueles axiomas, por um nmero finito de
inferncias lgicas.
Neste momento, tendo por base o mtodo axiomtico de Hilbert, estamos aptos a
responder seguinte questo:
Existem outros Corpos distintos do, sistema dos nmeros reais, R, que sejam
Completos e Ordenados?
Para responder a esta questo iremos utilizar letras minsculas para denotar os nmeros
reais, reservando as letras minsculas "negritas" para outros corpos que possam eventualmente aparecer.
Iremos considerar os nmeros inteiros e racionais como casos especiais dos nmeros
reais e vamos esquecer a forma particular como os nmeros reais foram definidos, nos
captulos anteriores, que como vimos constituem corpos ordenados, arquimedianos e completos.
Notemos que, se os elementos de um corpo F forem utilizados para denominar certos
elementos de R, ento, para cada a pertencente a R deve corresponder um f (a) em F . A
notao f (a) sugere que esta nova denominao pode ser formulada em termos de uma
funo.
Definio 5.0.11 Uma funo uma coleco de pares ordenados (de quaisquer objectos)
que no contm dois pares distintos com o mesmo primeiro elemento.
1
A no-contradio consiste em no ser possvel obter, a partir deles, por inferncia lgica, uma
afirmao que contradiga um dos axiomas apresentados.
140
Definio 5.0.12 Domnio de uma funo f o conjunto A de todos os objectos a tais

que (a, b) est em f para algum b; este (nico) b denotado por f (a).
Se f (a) est no conjunto B para todo o a em A, ento f denominada de uma funo
de A para B.
Suponhamos que F1 e F2 so dois corpos, denotaremos as operaes em F1 por , , ,
etc., e as operaes em F2 por u, , <, etc..
Se F2 for considerado como uma coleco de novos elementos de F1 , ento deve existir
uma funo de F1 em F2 com as seguintes quatro propriedades:
(1) A funo f deve ser de 1 1 (um para um), isto , se x 6= y, ento deveremos ter
f (x) 6= f (y). O que significa que, no existem dois elementos de F1 possuindo a mesma
imagem.
(2) A funo f deve ser sobrejectiva, isto , para o elemento z em F2 existe algum x em
F1 tal que z = f (x). O que significa que, todo o elemento de F2 usado para denominar
um elemento de F1 .
(3) Para todo o x e y em F1 devemos ter:
f (x y) = f (x) u f (y) ,
f (x y) = f (x) f (y) .
O que significa que, a correspondncia efectuada consistente com as operaes do corpo.
Se F1 e F2 forem considerados corpos ordenados, acrescentamos uma nova propriedade:
(4) Se x y, ento f (x) < f (y).
Uma funo com estas quatro propriedades denominada de isomorfismo de F1 para
F2 , assim, podemos introduzir a seguinte:
Definio 5.0.13 Se F1 e F2 so dois corpos, um isomorfismo de F1 para F2 uma
funo f de F1 para F2 com as seguintes propriedades:
(1)
Se x 6= y, ento f (x) 6= f (y).
(2)
Se z est em F2 , ento z = f (x) para algum x em F1 .
141
(3)
Se x e y esto em F1 , ento
f (x y) = f (x) u f (y)
f (x y) = f (x) f (y) .
Se F1 e F2 so corpos ordenados necessitamos tambm de:

(4)
Se x y, ento f (x) < f (y).
Definido o isomorfismo, podemos enunciar o que so corpos isomorfos, como se segue:

Definio 5.0.14 Dois corpos F1 e F2 so denominados isomorfos se existe um isomorfismo entre eles.
Dois corpos isomorfos podem ser considerados essencialmente iguais, isto , qualquer
propriedade importante de um automaticamente verificada no outro.
Ento, sendo F um corpo completo e ordenado no necessrio verificar se ele igual
a R, mas sim se isomorfo a R.
Para o prximo teorema iremos considerar F um corpo com as operaes u e e
elementos positivos P, escreveremos a < b para indicar que b a est em P.
Teorema 5.0.23 Se F um corpo completo e ordenado, ento F isomorfo a R.
Demonstrao. Uma vez que dois corpos so isomorfos se existe um isomorfismo
entre eles, temos, para demonstrar o teorema, de construir uma funo f de R para F
que seja um isomorfismo.
Comecemos por definir f para os nmeros inteiros como se segue:
f (0) = 0,
f (n) = 1
... u 1} para n > 0,
| u {z
n vezes
f (n) = (1 u ... u 1) para n < 0.

{z
}
|
|n| vezes
fcil verificar que:
f (m + n) = f (m) u f (n) e f (m n) = f (m) f (n) ,

para todos os inteiros m e n, e conveniente denotarmos f (n) por n.
142
Definimos, agora, f para os nmeros racionais por:

m m
=
= m n1
f
n
n
Notemos que, como F um corpo ordenado, se n > 0 temos 1 u ... u 1 6= 0.

Esta definio faz sentido pois se
m
n
k
l
m n1 = k l1 .
ento ml = nk, logo m l = k n, donde
fcil verificar que:

f (r1 + r2 ) = f (r1 ) u f (r2 ) e que f (r1 r2 ) = f (r1 ) f (r2 ) ,
para todos os nmeros racionais r1 e r2 , e que f (r1 ) < f (r2 ) se r1 < r2 .
A definio de f (x) para um x arbitrrio baseada na ideia, nossa familiar, de que
qualquer nmero real determinado pelos nmeros racionais menores do que ele.
Para qualquer x em R, consideremos Ax o subconjunto de F consistindo de todos
f (r), para todos os nmeros racionais r < x.
O conjunto Ax certamente no vazio e igualmente limitado superiormente. Pois,
se r0 o nmero racional com r0 > x, ento f (r0 ) > f (r), para todo f (r) em Ax .
Uma vez que F um corpo completo e ordenado, o conjunto Ax possui supremo,
vamos assim definir f (x) como sup Ax .
Temos agora f (x) definido de duas formas distintas, primeiro para o racional x e
depois para qualquer x.
Antes de prosseguir, com a demonstrao do teorema, necessrio mostrar que ambas
as definies coincidem para o racional x. Por outras palavras, se x um nmero racional
pretendemos mostrar que sup Ax = f (x), onde f (x) aqui denota
m
,
n
para x =
m
,
n
que no automtico mas depende da completude de F , logo, requer a utilizao de um

artifcio.
Uma vez que F completo, os elementos 1
... u 1} para nmeros naturais n formam
| u {z
n vezes
um conjunto que no limitado superiormente.
As consequncias deste facto para R so anlogas s causadas em F , em particular,

se a e b so elementos de F com a < b, ento existe um nmero racional r tal que
a < f (r) < b.
143
Aps esta observao, voltamos demonstrao de que as duas definies de f (x) so

vlidas para um nmero racional x.
Se y um nmero racional com y < x, ento j vimos que f (y) < f (x). Assim, todo
o elemento de Ax < f (x). Consequentemente,
sup Ax f (x) .
Por outro lado, suponhamos que temos sup Ax < f (x), ento existir um nmero
racional r tal que
sup Ax < f (r) < f (x) .
Mas a condio f (r) < f (x) significa que r < x, donde resulta que f (r) est no
conjunto Ax o que contradiz claramente a condio sup Ax < f (r). O que mostra que a
afirmao original era falsa, logo, temos
sup Ax = f (x) .
Temos assim uma funo f , bem definida, de R para F .
Com o intuito de verificar que f um isomorfismo temos de verificar as condies
(1) (4) da Definio 5.0.13.
Comecemos por demonstrar a (4).
Se x e y so nmeros reais com x < y, ento claramente Ax est contido em Ay . Assim,
f (x) = sup Ax sup Ay = f (y) .
Para eliminar a hiptese de igualdade, notemos que existem nmeros racionais r e s
com
x < r < s < y.
Sabemos que f (r) < f (s) donde resulta que
f (x) f (r) < f (s) f (y)
e assim provamos a condio (4).
A condio (1) resulta imediatamente da condio (4). Pois se x 6= y ento x < y ou
y < x.
144
No primeiro caso f (x) < f (y), e no segundo caso f (y) < f (x) e em qualquer um dos
casos f (x) 6= f (y).
Para provar (2), consideremos a um elemento de F e seja B o conjunto de todos os
nmeros racionais r com f (r) < a.
O conjunto B no vazio e igualmente limitado superiormente, pois existe um
nmero racional s com f (s) > a, tal que f (s) > f (r) para r em B, o que implica que
s > r.
Seja x o supremo de B; vamos provar que f (x) = a.
Se f (x) < a existe um nmero racional r com f (x) < f (r) < a. Mas isto significa
que x < r e esse r est em B, o que contradiz o facto de que x = sup B.
Por outro lado, se a < f (x) existe um nmero racional r com a < f (r) < f (x). O
que significa que r < x e uma vez que x = sup B, isto implica que r < s para algum s
em B. Donde, f (r) < f (s) < a e temos novamente uma contradio. Assim f (x) = a, o
que prova (2).
Para verificar (3), consideremos x e y nmeros reais e suponhamos, com vista a um
absurdo, que
f (x + y) 6= f (x) u f (y) .
Ento
f (x + y) < f (x) u f (y) ou f (x) u f (y) < f (x + y) .
No primeiro caso, f (x + y) < f (x) u f (y), existir um nmero racional r tal que
f (x + y) < f (r) < f (x) u f (y) .
Mas isto significa que x + y < r. Consequentemente, r pode ser escrito como sendo a
soma de dois nmeros racionais r = r1 + r2 , onde x < r1 e y < r2 .
Assim, usando os factos demonstrados para f respeitante a nmeros racionais, obtmse
f (r) = f (r1 + r2 ) = f (r1 ) u f (r2 ) > f (x) u f (y) ,
o que uma contradio.
O outro caso, f (x) u f (y) < f (x + y), tratado de forma similar.
145
Finalmente, se x e y so nmeros reais positivos, o mesmo tipo de argumentos mostranos que

f (x y) = f (x) f (y) ;
e o caso geral ento uma simples consequncia.
Concluso:
Com este teorema conclumos finalmente que existe um corpo completo e ordenado, e
apenas um a menos de um isomorfismo, do conjunto dos nmeros reais, o qual denotamos
por R e que utilizamos hoje em dia.
O conjunto R pode deste modo representar:
As Seces de Dedekind, isto , conjuntos ordenados de racionais;
Classes de Equivalncia de Sucesses Fundamentais;
Sucesses Corrigidas de Racionais;
Operaes com Quantidades do mesmo tipo;
Classes de Equivalncia de Declives no Plano Reticulado;
Coleco de Sucesses Equivalentes de Intervalos Encaixados;
...
146
Bibliografia
[1] Agudo, F. R. Dias. 1989. Anlise Real. Vol. I. Lisboa: Escolar Editora.
[2] Bourbaki, N. 1976. Elementos de Historia de las Matematicas. Alianza Universidad.
[3] Boyer, Carl B. 1986. Historia de la Matemtica. Madrid: Alianza Editorial, S. A.
[4] Bunn, R. Los Desarrollos en la fundamentacion de la matematica desde 1870 a 1910.
In [17], Cap. 6, pp. 283 - 327.
[5] Burton, D. M. 1988. The History of Mathematics an Introduction. New York: The
MacGraw-Hill Companies, Inc.
[6] Campo,
Norbert.
natural
construction
for
the
real
numbers.
In
http://www.math.ethz.ch/~gruppe5/group5/lectures/analysis/ws0405/
real270604.pdf
[7] Cantor, J. 1872. ber die Ausdehnung eines Satzes aus der Theorie der
trigonometrischen Reihen. Mathematische Annalen, 5. In [13], p. 306.
[8] Corry, Leo. 1994. La teoria de las proporciones de Eudoxio interpretada por Dedekind.
In Mathesis, Vol. 10, pp. 1 - 24 .
[9] Dedekind, Richard. 1872. Continuity and irrational numbers, English transl. 1901.
In Essays on the Theory of Numbers, Dover, New York, 1963. pp. 1 - 24.
[10] Dugac, Pierre. 1973. lments danalyse de Karl Weierstrass. In Archive for the
History of Exact Sciences, Vol. 10, n.o 1/2. Berlin: Springer-Verlag. pp. 41 - 176.
[11] Dugac, Pierre. 1976. Richard Dedekind et les fondements des mathmatiques. Paris:
Virn.
147
148
Bibliografia
[12] Dugac, Pierre. 2003. Histoire de Lanalyse. Paris: Vuibert.

[13] Epple, Moritz. The End of the Science of Quantity: Foundations of Analysis, 1860 1910. In [23], Chap. 10, pp. 291 - 323.
[14] Euclid. 1956. The thirteen books of The Elements. 2.nd Ed. Vol. II. New York: Dover
Publications, Inc.
[15] Ewald, William. 1996. From Kant to Hilbert: A Source Book in the Foundations of
Mathematics. Vol. 2. Oxford: Clarendon Press.
[16] Gardies, Jean Louis. 1984. Eudoxe et Dedekind. Revue dHistoire des Sciences,
XXXVII (2), pp. 111 - 125.
[17] Grattan-Guiness, Ivor. (Editor) 1984. Del clculo a la teora de conjuntos, 1630 1910. Una introduccin historica. Madrid: Alianza Editorial.
[18] Guerreiro, J. Santos. 1968. Curso de Matemticas Gerais. Vol. II. Lisboa: Livraria
Escolar Editora.
[19] Guimares, A. Andrade. 1947. Dos nmeros naturais aos nmeros racionais. In Boletim da Sociedade Portuguesa de Matemtica. Vol. 1. Lisboa: Tipog. Matemtica,
LTD, pp. 1 - 22.
[20] Heine, E. 1872. Die Elemente der Functionenlehre. Journal fr die reine und angewandte Mathematik, 74. In [13], p. 299.
[21] Hilbert, David. 1930. Fundamentos da Geometria. Traduo Portuguesa de 1947,
baseada na 7a Ed.; re-edio Gradiva 2003, revista e coordenada por A. J. Franco de
Oliveira com apndices do autor e suplementos.
[22] Hurwitz, Adolf. 1878. Einleitung in die Theorie der analytischen Funktionen. In [10],
pp. 96 - 118.
[23] Jahnke, H. N. (Editor) 2003. A History of Analysis. Vol. 24. American Mathematical
Society.
[24] Katz, V. J. 1998. A History of Mathematics - An Introduction. 2.nd Ed. New York:
Addison Wesley Longman.
Bibliografia
149
[25] Landau, Edmund. 1930. Foundations of Analysis. English transl. 1951, AMS-Chelsea
Publishing, Providence, R.I. (Reprint 2001 of the 3rd ed. 1966)
[26] Lightstone, A. H. 1962. A simple alternative to Dedekind cuts. New York: Scripta
Mathematica, XXVI (4), pp. 347 - 351.
[27] Martins, A. P. M. F. 2004. As construes do Sistema dos Nmeros Reais por
Dedekind, Weierstrass e Mray. Tese de Mestrado. Departamento de Matemtica
Pura, Faculdade de Cincias, Universidade do Porto.
[28] Mray, Charles. 1868. Remarques nouvelles sur les points fondamentaux du calcul
infinitsimal et sur la thorie de dveloppement des fonctions en sries. In Revue des
Socites Savantes des departements, Section sciences mathmatiques, physiques et
naturelles, 37, pp. 133 - 138.
[29] Mray, Charles. 1869. Remarques sur la nature des quantits dfinies par la condition
de servir de limites des variables donnes. In Revue des Socites Savantes des
departements, Section sciences mathmatiques, physiques et naturelles. 2eme srie.
Tome IV. Paris: Imprimerie Impriale.
[30] Mray, Charles. 1872. Nouveau Prcis dAnalyse Infinitsimale. F. Savy, Libraire diteur: Paris.
[31] Mray, Charles. 1887. Sur le sens quil convient dattacher lexpression nombre
incommensurable et sur le critrium de lexistence dune limite pour une quantit
variable de nature donne. In Annales Scientifiques de lcole Normale Suprieure,
IV (3), pp. 342 - 360.
[32] Mray, Charles. 1894. Leons nouvelles sur lanalyse infinitsimale et ses apllications
gomtriques.
[33] Molk, J. 1904. Nombres Irrationnels et Notion de Limite. In Encyclopdie des Sciences
Mathmatiques Pures et Appliques. Vol. I, pp. 133 - 160.
[34] Nagumo, Mitio. 1977. Quantities and Real Numbers. In Osaka J. Math., 14, pp. 1 10.
150
Bibliografia
[35] Nogueira, et. al. 2004. Contar e Fazer Contas - Uma Introduo Teoria dos
Nmeros. Lisboa: Gradiva.
[36] Penney, David E. 1972. Perspectives in Mathematics. USA: W. A. Benjamin. Chap.
10, pp. 280 - 315.
[37] Real, L. N. 1947. Breves notas histricas. In Boletim da Sociedade Portuguesa de
Matemtica. Vol. 1. Lisboa: Tipog. Matemtica, LTD, pp. IV - X.
[38] Real, L. N. 1951. Dos nmeros racionais aos nmeros reais. In Boletim da Sociedade
Portuguesa de Matemtica. Vol. 1. Lisboa: Tipog. Matemtica, LTD, pp. 59 - 135.
[39] Sinaceur, Mohamed A. 1979. La mthode mathmatique de Dedekind. In Revue
dHistorie des Sciences, XXXII (2), pp. 107 - 142.
[40] Spivak, M. 1967. Calculus. London: Addison Wesley W. A. Benjamim.
[41] Stein, Howard. 1990. Eudoxus and Dedekind: on the ancient greek theory of ratios
and its relation to modern mathematics. In Synthese, 84, pp. 163 - 221.
[42] Thiele, Rdiger. Antiquity. In [23], Chap. 1, pp. 1 - 39.
[43] Toepell, Michael. 1986. Origins of David Hilberts Grundlagen der Geometrie. In
Archive for History of Exact Sciences, Vol. 35, pp. 329 - 344.
[44] Weierstrass, K. 1878/1988. Einleitung in die Theorie der analytischen Funkitionen.
Nachschrift der Vorlesung Berlin 1878 von A. Hurwitz. Ed. by P. Ullrich. Braunschweig: Vieweg. In [13], pp. 295 - 296.
Construes dos Nmeros Reais por
Paula Cristina Reis Lopes
Correces a introduzir na dissertao:

Pgina
Linha
Onde se l
Leia-se
6
7e8
7
8
10 e 149
11 e 149
11 e 149
12 e 15
13
22
22
26
27
27
29
29
29
31
33
35
41
41
42
47
47
47
48 e 49
50
56
6
9 e -9 resp.
18
-13
9
12 e -8
14 e -6 resp.
3 e 15 resp.
-12
11
-4
-9
-10
-10
7
-11
-10
11
-1
-7
-13
-2
-4
4
5
9
-3 e 12 resp.
-3 e -4
-9
numa qualquer quantidade

Funktionenlehre
devem constituir
discrio
fonction
donn
applications
Stertigkeit und Irrationale Zablen
deferia
Foudations
numa quantidade
Functionenlehre
constituem
descrio
fonctions
donne
apllications
Stetigkeit und Irrationale Zahlen
diferia
Foundations
Pgina
Linha
Onde se l
Leia-se
56
57
59
61
61
61
61
61
68
69
69
73
77
79
83
85
87
88
93
93
93
99
101
102
-8
8
7
4
5
6
7
-2
3e6
-11
-3
-6
-6
Nota de Rodap
-2
-6
-11
16
2
-8 e -14
-12
15
-14 e -13
5
maisculas
minsculas
d Q, d > 0 N : n N = rn < d
0
0
sup
(N , N )
e a0n+p a0n
Portanto:
an+p + a0n+p (an + a0n ) = (an+p an ) + a0n+p a0n
|an+p an | + a0n+p a0n

tal
ou
(d Q, d > 0 N : n > N = rn < d)

sup (N 0 , N 00 )
e para todo o nmero natural q, a0n+q a0n

Portanto, para todo
onmero natural k: 0
0
0
an+k + a0
n+k (an + an ) = (an+k an

) + an+k an
|an+k an | + a0
a0n
<
[an + cn ] > [bn + cn ] ou
<
[an + cn ] < [bn + cn ] ou seja
fora
reais
Vicente Gonalves
forma
racionais
Gomes Teixeira
103
2e4
104
106
106
107
108 e 147
108
108
109
110
112
15
2
-10
15
3e9
-11
-8
-8
-1 e -2
-9
das propriedades supra citadas

ento
e assim
Criation
construiu
denominou de Nmeros Reais
produzidos
racionais esto entre a e a0 contidos
maior
todos estar
prosseguir
da propriedade 2.1.2
e
ento
Creation
construiram
denominaram de Conjunto dos Nmeros Reais
produzidas
racionais que esto entre a e a0 esto contidos
menor
estar todos
prosseguirmos
<
>
pode
derivado
iremos nos
espao
supremo
quando necessitarmos
podem
derivados
ir-nos-emos
corpo
majorante
quando no necessitarmos
... = S +
>S
n+k
tais
ou seja
... = S +
d
2
>S
Mito
Mitio
{ao , a1, a2 , ..., an } {1, 2, 3, 4, 5, 6, 7, 8, 9}

(2, 2, 2, ..., 2, )
natural k tal que d0k < ak . O que contradiz a construo de d0k
{a1, a2 , ..., an } {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}

(2, 2, 2, ..., 2, ...)
natural s tal que d0s < as . O que contradiz a construo de d0s
Naguno
Oska
ci = ni c c com
de um automorfismo racional P
Nagumo
Osaka
ci = ni c com
do conjunto P
r1 P
1 , r2 P2 : r1 + r2
Q+
r1 + r2 ; r1 P
1 , r2 P2
supusermos
Norberto
suponhamos
Norbert
satisfazem
+0=0+
() + 0 = 0 + () = 0
satisfaz
+0 =0+=
() + 0 = 0 + () =
{ n, m Z : (m + n) (m) (n)}
n Z : (n) 0 (n)
n:Z
{ (m +n) (m) (n) com n,m Z}

(n) 0 (n) com n Z
nZ
{n, m N+ : (n + m) (n) (m)}
{ (n + m) (n) (m) com n, m N+ }
transformao
aplicao
Pgina
Linha
114
114
114
115
116
116
117
120
120
121
121
124
124
129
129
140
141
145
145
147
147
149
150
7
-11
7
6
-2
-2
1
12
3
6, 8 e 13
3e4
12
11
12
-9
3
3
-3
12
-4
1
5
c
m
Onde se l
(n + m) nc (n + m)
c
nm
=0
pelo menos
o declive
algum
pelo menos
Em (R, +, , <) a multiplicao
c
m(n+m)
Leia-se
c
n(n+m)
c
nm
pois se considerarmos u N+ e u
quanto muito
a aplicao
todo
no mximo
(R, +, ) um Corpo. A multiplicao
{ (v + w) (v) (w) com v, w Z}
pois para u N+ consideramos u
limite superior
um determinado ponto
majorante
uma determinada ordem
I5 = [1, 414; 1, 415]
I5 = [1, 4141; 1, 4142]
encontrada
como
O significa
espaos
encontrado
so
O que significa
corpos
f (x y) = f (x) f (y)
f (x y) = f (x) f (y)
{v, w Z : (v + w) (v) (w)}

p (q)
equivalncias
Ausdehung
Archives
Fundation
Beves
p (p)
equivalncia
Ausdehnung
Archive
Foundations
Breves

Números Reais

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Números Reais

Diunggah oleh

Hak Cipta:

Format Tersedia

DEPARTAMENTO DE MATEMTICA E ENGENHARIAS

Dissertao para a obteno do grau de Mestre em Matemtica

1.1 Das Quantidades aos Nmeros . . . . . . . . . . . . . . . . . . . . . . . . .

1.2 Aritmetizao da Anlise . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3 Axiomatizao dos Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

2.1 Analogia entre os nmeros racionais e os pontos de uma linha recta . . . . 22

3.1 Cantor e as Sucesses de Cauchy . . . . . . . . . . . . . . . . . . . . . . . 51

Sistema de Quantidades Positivas . . . . . . . . . . . . . . . . . . . 94

Aplicaes Lineares e Automorfismos . . . . . . . . . . . . . . . . . 96

O Corpo dos Nmeros Reais . . . . . . . . . . . . . . . . . . . . . . 104

Declives e definio de Nmero Real . . . . . . . . . . . . . . . . . 108

Aritmtica dos Nmeros Reais . . . . . . . . . . . . . . . . . . . . . 109

Declives Bem Ajustados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112

Axiomtica do Sistema dos Nmeros Reais . . . . . . . . . . . . . . 116

Nmero Real como Equivalncia de Sucesses . . . . . . . . . . . . 125

Aritmtica do Sistema dos Nmeros Reais . . . . . . . . . . . . . . 127

Ordenao do Sistema dos Nmeros Reais . . . . . . . . . . . . . . 131

5 Axiomatizao dos Nmeros

Das Quantidades aos Nmeros

Ao longo de toda a histria da Matemtica o problema da relao entre o descontnuo

G/U = G0 /U se quaisquer que sejam os nmeros inteiros positivos m e n,

que n G > m U e m U > n G0 .

G/U e G0 /U exprimem-se por ratios g e g 0 e as convenes de Eudxio equivalem a

Das Quantidades aos Nmeros

Apesar de Hankel continuar a acreditar que era necessrio fundamentar a anlise

(i) Quaisquer n elementos da forma

podem ser substitudos pela unidade

A abordagem de Weierstrass reduz o conceito de quantidade (real e consequentemente

quantidade numrica" (veja-se [7], p. 97 - cit. in [13], p. 306).

desenvolvidas em Sries de Taylor, constitua um princpio simples sobre o qual a teoria

Mray discutiu, igualmente, a necessria relao de equivalncia entre sucesses diferindo

Um tratamento distinto do mesmo problema, e um dos mais conhecidos nos nossos

completa dos nmeros reais como razes entre grandezas (...)."1

Carta de 10 de Junho de 1876 - cit. in [39], p. 121.

Axiomatizao dos Reais

quais pertenam , , , ... de modo que, substituindo os nmeros , , , ...

Axiomatizao dos Reais

Axiomatizao dos Reais

na recta. Este axioma responde objeco feita construo Euclideana de um tringulo

Axiomatizao dos Reais

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

Analogia entre os nmeros racionais e os pontos

Como j havia sido referido anteriormente, Dedekind estabeleceu algumas propriedades

Analogia entre os nmeros racionais e os pontos de uma linha recta

Na seco I - Properties of Rational Numbers, do livro Essays on the theory of numbers,

Propriedade 2.1.2 "(I) Se p est situado direita de q, e q direita de r, ento p est

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

Continuidade de uma linha recta

Continuidade de uma linha recta

No entanto, na Grcia Antiga, j era conhecido, e at demonstrado, que existem

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

Construo dos Nmeros Irracionais

Construo dos Nmeros Irracionais

o nmero a2 , na segunda classe A2 ; o nmero a igualmente o maior nmero da classe

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

t02 du02 = p2 d t2 du2 = 0

o que contrrio suposio respeitante a u.

Obtivemos ento, nmeros t0 e u0 , com u0 < u tais que d =

Donde, o quadrado de qualquer nmero racional x menor do que d ou maior do que

Se supusermos que x um nmero positivo da classe A1 , ento x2 < d, e daqui y > x e

Construo dos Nmeros Irracionais

Ora, o nmero , considerou-se completamente definido pelo corte mas, Dedekind

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

que produtos heursticos da nossa imaginao matemtica" ([40], p. 494)