Construções Dos 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 claricar 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 nalmente que existe um corpo completo e ordenado, e apenas um a menos de um isomorsmo, 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 elds 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 nally that there exists one complete and ordered eld 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 zeram 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 1 5
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 4.1 Construo dos nmeros reais utilizando uma alternativa aos Cortes de Dedekind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 ix 85
x 4.2 Construo dos nmeros reais utilizando a Noo de Quantidade . . . . . . 93 4.2.1 4.2.2 4.2.3 Sistema de Quantidades Positivas . . . . . . . . . . . . . . . . . . . 94 Aplicaes Lineares e Automorsmos . . . . . . . . . . . . . . . . . 96 O Corpo dos Nmeros Reais . . . . . . . . . . . . . . . . . . . . . . 104
4.3 Construo dos nmeros reais como Classes de Equivalncia de Declives . . 108 4.3.1 4.3.2 Declives e denio de Nmero Real . . . . . . . . . . . . . . . . . 108 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 4.4.2 4.4.3 Nmero Real como Equivalncia de Sucesses . . . . . . . . . . . . 125 Aritmtica do Sistema dos Nmeros Reais . . . . . . . . . . . . . . 127 Ordenao do Sistema dos Nmeros Reais . . . . . . . . . . . . . . 131 135
5 Axiomatizao dos Nmeros
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 losoa de Pitgoras (cerca de 580 - 500 a.C.) para compreender o mundo real a partir dos nmeros naturais. Podemos, como do conhecimento geral, armar 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
2 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
Introduo
onde m U , por exemplo, signica uma rea constituda por m reas iguais a U . que n G > m U e m U > n G0 .
Por outro lado, diz-se que G/U > G0 /U se se encontrarem dois nmeros m e n tais
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 identicao 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 signicativo 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 armao 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 suciente 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 sucientes para a resoluo de problemas mtricos na geometria antiga, a insucincia 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 innidade 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 denio 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 denio precisa de nmero real e a investigao de funes reais baseada nessa denio. Podemos destacar trs campos distintos de construo da denio 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 losca. 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 m 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 losco 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, denindo assim o sistema, e o sistema como um todo deveria ser fechado para estas operaes. Hankel deu uma denio 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 denir, 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 nito de smbolos bsicos por uma sequncia contvel de aplicaes de operaes denidas. A noo de quantidade, por outro lado, foi levada para um domnio que englobava outro tipo de innidade, 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 innitos 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 innitos 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 denio requeria algum cuidado. Weierstrass considerou dois tipos de transformaes de quantidades numricas que no as alterava essencialmente:
6 (i) Quaisquer n elementos da forma principal.

1 n
Introduo
podem ser substitudos pela unidade
(ii) Qualquer elemento pode ser substitudo pelas suas partes exactas, isto ,
1 1 por n n ; 1 a
por b
1 , ab
etc.
Uma quantidade numrica a0 denomina-se por parte de a se a0 consiste numa quantidade nita de elementos de a e pode ser transformada numa quantidade a00 por uma sequncia nita 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 deniu 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 nitas pela seguinte condio: "Dizemos que um nmero a uma quantidade nita, se existe um nmero b maior do que a, sendo b composto por um nmero nito de elementos." ([10], p. 81) As operaes de adio e multiplicao explicadas para nmeros inteiros positivos por bvias manipulaes das suas unidades, estavam agora denidas, analogamente, para os nmeros nitos arbitrrios. Com o intuito de denir 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 denies de Weierstrass mostram que os seus agregados podiam ser vistos, com alguma cautela, como somas (possivelmente innitas) dos seus elementos. No entanto, as suas denies 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 denies 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 simplicaes 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 inuenciados pela escola de anlise de Berlim e trocaram ideias acerca da construo de nmeros reais com base em conjuntos innitos de racionais. A posio de Heine foi mais losocamente 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 suciente 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 sucincia. 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 reexo 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 denido numa recta, cuja coordenada [respeitante a um segmento de recta unitrio] igual a esta
8 quantidade numrica" (veja-se [7], p. 97 - cit. in [13], p. 306).
Introduo
Alm da denio 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 denido 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 innitos: 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 innito 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 transnitos e cardinais transnitos ([5], p. 594). A construo da Teoria dos Conjuntos Transnitos ([5], pp. 597 - 609) de Cantor pode ser colocada como representando o nal da cincia da quantidade devido claricao 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 denio de nmeros irracionais". Nesta denio "ideias da Geometria, nomeadamente sobre a criao de uma linha por movimento, ocasionaram muitas vezes inuncias 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 denio 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 denir 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 innitos de racionais na sua denio. A nfase losca de Heine era contudo distinta da de Weierstrass. Ele procurou evitar problemas loscos 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 innitas, 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 is cronologia dos acontecimentos, armamos 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 dnies par la condition de servir de limites des variables donnes ([29], pp. 280 - 289). Segundo Mray, as denies existentes de nmeros irracionais eram insatisfatrias, consequentemente, sentiu necessidade de criar uma teoria de nmeros irracionais. Mray pretendeu com a sua obra edicar 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 edicada. esta, de facto, a ideia base da anlise de Mray e o instrumento unicador de toda a sua teoria. Introduzido por Joseph-Louis Lagrange (1736 - 1813) nos nais 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 innitsimal 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 denir 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 denies 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 denies 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 arma, 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 denio que, no nal 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 deniu limite ctcio. 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 ctcios 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 Innitsimale. Mais tarde, pareceu-lhe que a publicao no claricava sucientemente 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 nal da sua teoria no volume 1 da obra, Leons nouvelles sur lanalyse innitsimale 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 denio 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 cientca acerca do conceito de continuidade e foi levado a reconsiderar todo o problema da denio de nmero real. Notemos que Dedekind, tal como Weierstrass, usou conjuntos innitos 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 sucientemente claro que toda a razo entre segmentos de recta denia um corte (Schnitt) de nmeros racionais, mas e inversamente? Ser que todo o corte dene uma razo possvel entre segmentos de recta ou, se xarmos um segmento unitrio, todo o corte corresponde a um bem denido 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 conar 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 denio 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 completa dos nmeros reais como razes entre grandezas (...)."1
Introduo
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 denido por este corte (A1 , A2 ); diremos que o nmero corresponde a este corte, ou que produz este corte." ([9], p. 15) Nesta denio 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. Arma que o poder criativo que atribui mente humana justicvel pela semelhana de todos os nmeros. Justica que existindo igualmente cortes produzidos por nmeros racionais, no teria sentido, nesse caso, armar 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 identicar as duas entidades mas sim assegurar que ambas vericam as mesmas propriedades. Contudo, as palavras de Dedekind justicam o facto de no sabermos a entidade com a qual identicar 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 denido por um corte acarreta algumas desvantagens, quando pretendeu vericar 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 simplicar o seu enunciado e sobre as noes de grandeza varivel, funo e valores limites que arma deverem ser denidas 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, justicaram 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, armando 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 nal desse sculo foram desenvolvidos conjuntos de axiomas com o intuito de denir os nmeros inteiros positivos
16
Introduo
e, como j referimos, um grande esforo foi efectuado no sentido de ser apresentada uma denio 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 armaes, 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 que tambm claramente em evidncia o signicado 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 denio de nmero real, cuja estrutura lgica era diferente da maioria das denies 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 indenidos: ponto, linha e plano, e denir as relaes existentes entre eles por meio de axiomas. Segundo Hilbert, eram os prprios axiomas que deniam 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 satiszessem 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 armaes 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, denir 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 denir 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 arma 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 satiszesse 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 armao estabelecida pode ser verdadeira ou falsa. Contudo, acreditamos que Hilbert conava 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 denidos e um conjunto de axiomas especicando as relaes existentes entre eles. Assim vericamos 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 justicar as ideias transmitidas pelo modelo dos elementos de Euclides, fazendo com que este continuasse a ser o modelo matemtico adoptado e, uma possvel conrmao 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, Denies 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 reecte 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 denio 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 inuncia do trabalho de Dedekind dedicando inclusivamente a seco 5 do Captulo IV ao que denominou de Teorema Fundamental de Dedekind. Contudo, a identicao 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 denio no formalizada de corte ou seco, realando que o conjunto dos racionais forma um domnio innito 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 deniu 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 armando: b est entre os dois nmeros a, c. (II) Se a, c so dois nmeros diferentes, existem innitos 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 innitos 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 innidade de pontos situados entre p e r. (III) Se p um ponto denido em L, ento todos os pontos em L pertencem a duas classes, P1 , P2 cada qual contendo innitos 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 armar 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 innitos 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 innitos comprimentos que so incomensurveis com a unidade de medida, podemos armar que, "a linha recta L innitamente 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 insuciente 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 cientca 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. Vericou 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, armou 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 innitos pontos p00 compreendidos entre p e p0 , e como cada um destes pontos p00 est situado direita de p e esquerda de p0 , podemos armar, 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 deniu corte ou seco da seguinte maneira: Denio 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 innitas 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 denio, 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 innito 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 t 2
u
o que contrrio suposio respeitante a u.
Obtivemos ento, nmeros t0 e u0 , com u0 < u tais que d =
, 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 =
(3x2 +d)2
(x2 d)
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 denido por esta seco. Arma 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 denio parece, tal como pareceu a Pierre Dugac que a segunda parte da denio entra em contradio com a primeira ([11], p. 43).
29
Ora, o nmero , considerou-se completamente denido pelo corte mas, Dedekind arma de seguida que o corte produzido pelo nmero . Assim, ao armar 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 arma no incio da Seco IV - Creation of irrational numbers que: "(...) todo o nmero racional a produz um corte (...)." ([9], p. 13) Esta armao 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, justica totalmente o uso da palavra criar. Mas, segundo Dugac, no podemos armar 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) car 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 denir 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 vericar 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 denio (presente em [40], p. 495), que segue as ideias de Dedekind: Denio 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 denio como sendo , indica uma preocupao conceptual e notacional. Assim, analogamente concepo tomada por Dedekind, um nmero real , por denio, um conjunto de nmeros racionais. O que signica, 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) arma 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 signica que as seguintes propriedades, so vericadas:
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 innitos 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 innitos 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
seguinte Teorema vlido:
b igualmente contnuo, isto , o Alm destas propriedades, contudo, o domnio R b de todos os nmeros reais for dividido em duas classes (IV) "Se o sistema R 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
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
do sistema Q de todos os nmeros racionais que denido 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 denido que produz esta seco (A1 , A2 ). Se um qualquer nmero diferente de , ento existem sempre innitos 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 denir a seco (C1 , C2 ) a qual corresponde ao resultado da operao, .
33
Assim, para a adio de nmeros reais estabelece que: Denio 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 nmero em B1 ; consequentemente todo o nmero c2 contido em C2 = + . p um nmero em A1 , e 1 p um o que contradiz a denio do nmero c2 , pois 1 2 2 Assim, neste caso, a seco (C1 , C2 ) produzida pela soma + . Assim no violamos a denio 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 vericar que no existe diferena com a soma = + , consoante o nmero colocado na classe A1 ou na classe A2 . Assim como a soma denida, Dedekind arma podermos denir 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 denio de operaes mais complicadas est inerente, em parte, natureza do objecto mas pode, na maioria das vezes, ser evitado. Dedekind arma 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 nito; ento existem innitos nmeros na mesma condio que a1 e innitos 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 denidos 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 vericar que tudo se resume a mostrar que as operaes aritmticas possuem uma certa continuidade. Esta armao 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 simplicar o seu enunciado, bem como justicar a generalidade do mesmo. Com efeito, arma que as mais simples operaes aritmticas devem denir-se sobre as noes de grandeza varivel, funo e valores limite que, no entanto, no aborda na sua obra. Apesar de Dedekind apenas ter denido, 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 denio, deniram 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 denio de corte ou seco, semelhana do que foi feito por Dedekind e que no mais do que a Denio 2.3.2 escolhida por Spivak. Denio 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 denio 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 denio que "todo o corte que no um nmero racional denominado de nmero irracional." ([25], p. 67) Aquando da denio 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. suciente 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 = 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 a a aa = b b bb
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 denio do Conjunto dos Nmeros Reais da seguinte forma: Denio 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 denio 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 Denio 2.3.2, apresentamos, de seguida, a Aritmtica subjacente a este conjunto que nos conduzir a esse propsito. A razo por comearmos com a denio de < deve-se simplicidade deste conceito, como de seguida apresentamos. Denio 2.5.4 Se e so nmeros reais, ento < signica que est contido em , isto , todo o elemento de tambm um elemento de , mas 6= . A repetio das denies de , >, aqui supruo, 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 . Denio 2.5.5 Se e so nmeros reais, ento: u = {x : x = y + z para algum y em e algum z em } . A denio 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 vericar as quatro propriedades da Denio 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 signica que, w < y + z, e consequentemente, w y < z . Uma vez que, w = y + (w y ), resulta que, w est em u . (2) claro que, u 6= , uma vez que, 6= e 6= . 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 . Isto mostra que, w y est em (uma vez que z est em e um nmero real).
(3) Uma vez que, 6= Q e 6= Q, ento existem nmeros racionais a e b, com a no
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 signica 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 denir, 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. 0, isto mostra que, x est em u 0. Uma vez que, x = y + (x y ), onde y est em , e x y < 0, tal que, x y est em Assim, todo o membro de tambm membro de u 0. Denio 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= . , 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. (3) Uma vez que 6= , ento existe algum x em . Ento, x no poder estar em
41
A demonstrao de que u () = 0 no muito evidente, no entanto a diculdade no se deve denio 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 . substituamos x por x0 , e y por y + (x0 x). 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 ()
Alm disso, se y for o mnimo de Q , consideremos x0 > x um elemento de , e
Se z no est em ento a prova similar, baseada no facto de que os nmeros (n) z
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 denir o que so elementos positivos e provar uma propriedade bsica.
42 Denio 2.5.7
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 vericada: (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
n o b:>0 . P= R
> 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 > signica que contm mas que diferente de . Esta denio indicada para provar a completude, como veremos mais frente, no entanto, temos que provar que equivalente denio 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 denio 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 denida como se segue: Denio 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 vericar 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 w x est em . Assim w est em . z
(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 denio de devemos denir ||.
44
Denio 2.5.9 Se um nmero real, ento se 0 || = se 0
Teorema 2.5.13 Se , e so nmeros reais, ento
Denio 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 ( ) = ( ) . 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 vericados. O 1 pode ser denido da seguinte maneira e evidente que, atendendo denio, um nmero real. Denio 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 x y est em 1, logo x est em 1. O que prova que 1 = se > 0. Se < 0, ento aplicando a Denio 2.5.10 temos: 1 = (|| |1|) = (||) = .
Finalmente, o Teorema bvio quando = 0.
45
Denio 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 suciente apenas considerar o caso > 0 e as quatro condies de nmero real necessitam ser vericadas. (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 1 y 1 > x , temos que 1 y
no est em . Uma vez que
no
(2) Como bvio, 1 6= . est em 1 , assim 1 6= Q.
no , claramente, o mnimo de Q , assim y est em 1 .

1 x
(3) Uma vez que > 0, existe algum nmero racional positivo x em . Ento
no
(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
1 . Escolhamos um nmero racional z um nmero racional y que no est em , com y < x 1 com y < z < x . Ento 1 z
no o mnimo de Q , ento existe
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 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 y x
= z . Alm
= 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 podero todos estar em . Teorema 2.5.17 Se um nmero real e 6= 0, ento 1 = 1.
1 zk
no
Demonstrao. obviamente suciente 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 1 y
no est em , logo
> x. Consequentemente xy < 1, o que signica
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
y positivos x em e y no pertencente a , tais que x =1 e podemos supor que y no o z 1 1 est em 1 . mnimo de Q . Mas isto signica que z = x y , onde x est em e y
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 . um elemento positivo de , este nmero est tambm em u . Assim, todo Por outro lado, um nmero racional positivo em u da forma x1 y + x2 z Uma vez que x (y + z ) = x y + x z onde x y um elemento positivo de e x z
o elemento de ( u ) tambm elemento de u . para positivos x1 , x2 em , y em e z em .
Nmeros Reais como Corpo Ordenado Completo
47 y est em . Assim est em ( u ) .
Se x1 x2 , ento

x1 x2
y y , logo
x1 y + x2 z = x2
x1 x2

x1 x2
y+z
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 denir 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 armao 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 denido constitui um Corpo, uma vez que, atende b e as operaes denio geral, se considerarmos F o conjunto dos nmeros reais, R, binrias, u e , as operaes usuais + e . Denio 2.6.1 Um Corpo um conjunto F, de objectos de qualquer natureza, em conjunto com duas operaes binrias, u e , denidas 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 (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) 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) (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 (6) a b = b a para todo a, b F . (Teorema 2.5.14) (ii) para todo o a F , existe algum elemento b F tal que a u b = 0. (Teorema condies so satisfeitas:
49
com as Denies 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 armar que o conjunto dos nmeros reais ordenado pois: Denio 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 armaes verdadeira: (i) a = 0, (ii) a P , (9) Se a, b P , ento a u b P . (Teorema 2.5.4 e Denio 2.5.7) (10) Se a, b P , ento a b P . (Teorema 2.5.12 e Denies 2.5.9 e 2.5.10) Utilizando a denio de ordenao denida neste Captulo, podemos reproduzir para um qualquer Corpo F as seguintes: Denio 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. Denio 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 vericamos, nalmente, 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. (iii) a P . (Teorema 2.5.10)
50
A prova de que um nmero real baseia-se em vericar as quatro propriedades de nmero real, isto , as quatro propriedades da Denio 2.3.2. (1) Suponhamos que x est em e que y < x. A primeira condio signica 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 signica 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 < signica que est contido em , ento, igualmente verdade que x no est em para qualquer A. O que signica 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 signica 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 signica 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 signica 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 armar isto seria cometer um erro lgico, pois esta armao pressuponha a existncia desse nmero real. Consequentemente, Cantor utilizou a sucesso fundamental para denir 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 deniu uma relao de equivalncia no conjunto de todas essas sucesses. Assim, o nmero b associado sucesso {ai } diz-se igual ao nmero b0 , > 0, existe um n1 , tal que |an a0n | < ,
associado sucesso {a0i } , se para qualquer para todo n > n1 .
O conjunto dos nmeros reais correspondia ento ao conjunto das classes de equivalncia de sucesses fundamentais. No foi difcil denir uma relao de ordem nestas sucesses, bem como estabelecer as operaes aritmticas bsicas. Contudo, Cantor pretendia mostrar que o conjunto por si denido 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 denido na recta. Ao utilizar esta identicao dos nmeros reais com os pontos na recta, Cantor deniu 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 innitos pontos de P . Cantor deniu 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 innito 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 innito, Cantor deniu o segundo conjunto derivado P 00 como o conjunto dos pontos limites de P 0 . Se P 0 nito, o conjunto dos seus pontos limites vazio. Continuando desta forma, deniu conjuntos derivados de qualquer ordem nita. 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 1 plo, no intervalo [0, 1] , o conjunto de pontos 1, 1 , , ... tem como conjunto derivado 2 3
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
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 suciente de convergncia de uma sucesso. Denio 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 edicao 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 innitas sucesses de nmeros racionais, que para ele convergem, o que nos mostra que a correspondncia sucesso - nmero no biunvoca.
55
Esta situao pode ser ultrapassada, pela utilizao de um conjunto, onde cada elemento corresponde a um conjunto de elementos equivalentes. Comecemos ento por denir uma condio de equivalncia de sucesses de Cauchy. Denio 3.2.2 Duas sucesses de Cauchy de nmeros racionais dizem-se equivalentes,
0 0 o que se simboliza por {rn } {rn }, se a sucesso {rn rn } , constituda pelas diferenas
dos termos da mesma ordem nas duas sucesses, tiver como limite o nmero racional zero:
0 0 {rn } {rn } {rn rn }n 0.
A denio anterior verica as trs propriedades de uma equivalncia: Propriedade 3.2.1 (1) Reexividade: {rn } {rn } porque {rn rn } 0. (2) Simetria:
0 0 0 0 {rn } {rn } {rn } {rn } pois se {rn rn } 0 tambm {rn rn } 0.
(3) Transitividade:
0 0 00 00 Se {rn } {rn } e {rn } {rn } ento {rn } {rn }
o que se justica com a seguinte implicao:

0 00 0 00 lim (rn rn ) = 0 e lim (rn rn ) = 0 = lim (rn rn )=0 n n n
porque
00 0 0 00 0 0 00 lim (rn rn ) = lim [(rn rn ) + (rn rn )] = lim (rn rn ) + lim (rn rn ) = 0. n 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
Denio 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 } 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.
0 e a sucesso {rn } ou outra qualquer {rn } que lhe seja equivalente, diremos representante
3.3
Ordenao do Conjunto dos Nmeros Reais
Denio 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 signicar-se com a expresso "quase todos", todos os elementos rn , com excepo de um nmero nito. 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. Denio 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 signicar-se com a expresso "quase todos", todos os elementos rn , com excepo de um nmero nito. 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) e P {rn } (d00 > 0 N 00 : n > N 00 = rn > d00 ) donde
0 0 d N {rn } d, n Nn > n : rNn
N {rn } (d0 > 0 N 0 : n > N 0 = rn < d0 )
58 (3) e

00 00 d. P {rn } d, n Nn > n : rNn
De modo que a primeira conjuno de (1), N {rn } P {rn }, implicaria, para n maior do 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
0 00 os dois elementos da sucesso que as proposies de (3), uma vez e rNN e sejam rNN
que o supremo de N 0 e N 00 (o maior dos nmeros N 0 , N 00 ), d0 > rn > d00 , o que, pela
arbitrado d, fazem corresponder ao ndice N , dado por (4), em funo de d. Ser ento
0 00 0 d, com N 00 d, com N (5) rNN N > N e rNN N > N
e (4) implicar
0 0 0 + d, para p > 0 e N < rNN rNN N > N +p
e
00 00 d < rN 00 , com p > 0 e NN >N rNN N +p
ou, por ser p qualquer,

00 d < rn < rN 0 + d, para n > N rNN N
e por (5) 2d < rn < 2d o que signica 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 ,
0 0 0 P {rn } = {rn } se {rn } {rn } ento P {rn } 0 0 0 } se {rn } {rn } ento N {rn }. N {rn } = {rn
59
Demonstrao. Suponhamos que P {rn }, isto : P {rn } (d > 0 N 0 : n > N 0 = d < rn )

0 } uma sucesso equivalente a {rn }, ento: e seja {rn d d 0 00 0 . {rn } {rn } = N : n > N = < rn rn < 2 2
Mas as duas proposies anteriores implicam

0 + n > sup (N 0 , N 00 ) = d < rn < rn
d 2
e assim
d 2
0 0 < rn para n > sup (N 0 , N 00 ) o que signica ser P {rn }.
As duas seguintes denies so consistentes, independentemente das sucesses representativas dos nmeros reais a que dizem respeito. Denio 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. Denio 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 Denies 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 suciente para arrastar a relao menor do que entre os nmeros que as sucesses, a que esto sujeitas na condio, representam. 2 1 Com efeito, se considerarmos, por exemplo, as duas sucesses 1 + n e 1+ n , para
Teorema 3.3.4 As Denies 3.3.3 e 3.3.4 ordenam o conjunto R.
2 1 > 1+ n e, no entanto, as duas sucesses representam o mesmo n 1 temos que 1 + n 2 1 nmero real: 1 + n = 1+ n .
Demonstrao. A relao de < , obviamente, completa e reexiva. 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 denidos como limites de sucesses de Cauchy constitui um grupo abeliano aditivo, isto , cuja adio comutativa, contudo comearemos, obviamente, por denir a adio neste mesmo conjunto. Para tal necessitamos provar os seguintes:
61
{an + a0n }.
Teorema 3.4.1 Se {an } e {a0n } so sucesses de Cauchy, o mesmo acontece sucesso
que n > N 00 .
Demonstrao. As hipteses asseguram-nos que para todo o nmero natural p, 0 0 an+q a0n < d desde desde que n > N e para todo o nmero natural q, |an+p an | < d 2 2 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: Denio 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 denio. (ii) A operao adio comutativa: + = + . Seja = [an ] e = [bn ]. Uma vez que o conjunto dos nmeros racionais um grupo comutativo relativamente adio, pela Denio 3.4.1, temos + = [an + bn ] = [bn + an ] = [bn ] + [an ] = + .
63
(iii) A operao adio associativa: + ( + ) = ( + ) + . Seja = [an ] , = [bn ] e = [cn ]. Novamente pela Denio 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: Denio 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 denidos como limites de sucesses de Cauchy constitui um Corpo Ordenado Comutativo, contudo comearemos, obviamente, por denir 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, cando 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 verica o enunciado. Resta considerar o caso em que {an } converge para zero. Mas isto signica 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 justicativo 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. nmeros reais da seguinte forma: Denio 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 denio. (ii) A operao multiplicao comutativa: = . Sejam = [an ] e = [bn ] . Pela Denio 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 ] = ( ) . Tendo em conta os Teoremas 3.5.3 e 3.5.4, podemos, ento, denir o produto de
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),
1 tal que, para todo n, an 6= 0, ento {a n } igualmente uma sucesso de Cauchy.
Demonstrao. Considere-se an am |an am | 1 1 am an = am an = |am | |an | . Ento, qualquer que seja m, temos 1 1 < |am | , isto , < , |am | e assim 1 1 2 am an < |an am | .
d , 2
Sendo {an } sucesso de Cauchy, o mesmo acontece com {|an |}.
Seja 1 um minorante de {|an |}, que existe atendendo ao Teorema 3.5.1.
Escolhendo agora N de modo a ser |an am | < N , vem nalmente
desde que n e m sejam maiores que
o que prova o Lema.
1 1 am an < d, para m, n > N ,
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.
1 Ento {a 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 guram a representar o nmero real no primeiro e no segundo membro: {an xn } {bn } ou seja lim (an xn bn ) = 0 o que signica, Q, > 0 N : x, n > N = |an xn bn | < . Designe-se por M um majorante do conjunto dos elementos da sucesso
1 {a n }, conforme o Teorema 3.5.1, e determine-se para um nmero racional bn positivo qualquer, , uma ordem N de modo a ser an xn a , para < M n
n > N . Nas mesmas condies, ser ainda
e portanto, desde que n > N ,
1 1 1 , isto , xn bn a < < |an | xn bn a n n M M |an | b n xn < an
ou seja
bn bn lim xn = 0, ou seja, {xn } an an bn [xn ] = . an
ou, nalmente,
Tendo por base o que acabamos de provar, podemos denir a diviso de nmeros reais da seguinte forma: Denio 3.5.2 operao que permite determinar, a partir de dois quaisquer nmeros
de por , e ao resultado que se simboliza por , quociente dos dois nmeros.
reais e , com 6= 0, um terceiro nmero real tal que = , denomina-se diviso
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 nalmente + < + .
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.
Nmeros Reais como extenso dos Nmeros Racionais
71
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, nalmente, pela conveno adoptada < N .
3.6
Nmeros Reais como extenso Racionais
dos
Nmeros
Dizer que R ampliao de Q, signica poder encontrar em R um subconjunto Q0 isomorfo a Q. Denio 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 isomrca, de ordem e algbrica. Demonstrao. A correspondncia biunvoca e trata-se de um isomorsmo de
0 ordem pois se r e r0 so dois racionais ligados pela relao r < r0 , e se [rn ] e [rn ] so os
72
seus correspondentes em R, ento

0 = r0 . limrn = r e limrn n n
Tomemos, o que sempre possvel por Q ser corpo de ordenao densa, d< Tm lugar as seguintes proposies:
0 Nr : n > Nr = r < r0 d < rn
r0 r . 2
e
0 Nr0 : n > Nr0 = rn < r + d < r0 d < rn .
Notando que
0 rn rn > r0 d r d = r0 r 2d,
conclui-se que
0 n > N = sup (Nr , Nr0 ) = rn rn > 2d 0 0 o que mostra ser, pela Denio 3.3.1, P {rn rn } e portanto [rn ] < [rn ] , pela Denio
3.3.4. Resta mostrar que se trata de um isomorsmo 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.
0 ] , dois nmeros racionais que correspondem aos nmeros Sejam r = [rn ] e r0 = [rn 0 racionais r e r0 , que so limites das sucesses {rn } e {rn } que representam r e r0 .
Temos
0 0 0 0 [rn ] + [rn ] = [rn + rn ] e [rn ] [rn ] = [rn rn ]. 0 0 Mas as sucesses {rn + rn } e {rn rn } 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 isomorsmo 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 denio de distncia entre dois nmeros. Denio 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. Denio 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 denido. A introduo da mtrica do espao dos nmeros reais, feita na Denio 3.7.2, organiza igualmente o subconjunto Q0 , como um espao mtrico.
74
Em relao s duas mtricas denidas, para o conjunto dos nmeros reais, na Denio 3.7.2, e para o conjunto dos nmeros racionais, na Denio 3.7.1, tem lugar o seguinte: Teorema 3.7.1 Q0 e Q so espaos isomtricos. Demonstrao. A correspondncia do isomorsmo 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. e {r0 }. Os nmeros reais e 0 podem, como sabemos, ser representados pelas sucesses {r} Pela Denio 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 correCom 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 denio de limite, podemos enunciar a seguinte condio necessria e suciente de convergncia. lim {n }n = > 0 N : n > N = d (n , ) <
sponde a [|r r0 |] de Q0 .
> 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 zemos na Denio 3.2.1, para os nmeros racionais, podemos introduzir as sucesses de Cauchy para os nmeros reais pela Denio 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 suciente 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 Suciente:
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 verica 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 armao 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 Innitesimal - 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 verica-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 satiszessem 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 denio de supremo e nmo. Denio 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 nmo J se o conjunto X dos seus minorantes tem um ltimo elemento J . Teorema 3.7.6 condio necessria e suciente para que S seja o supremo de um subconjunto X de um conjunto ordenado que 1o 2o x X = x S ; 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 / nmo Todo o conjunto de nmeros que tenha majorante tem supremo e todo o conjunto de nmeros que tenha minorante tem nmo. 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 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
m0 x0 . 2
De um modo geral, obtidos os nmeros mn e xn , representamos por mn+1 o menor dos
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 anal 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 edicao do conjunto dos nmeros reais. Com esse intuito, precisamos ainda da seguinte: Denio 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 nmo, 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 , denidos 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 nmo 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 nmo de A. Se N implicaria n > d S+J =S+ >S 2 2 S+J e n > N 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
d 2
<J
para todo x, haveria elementos menores do que J que seriam ainda minorantes de A, o que seria um absurdo. Este resultado justica que os Princpios enunciados nos Teoremas 3.7.5 e 3.7.7, isto , que o Princpio do Encaixe e o Princpio do Supremo / nmo sejam equivalentes Condio de Cauchy, em qualquer Corpo Ordenado e Denso e, portanto, em particular, no Conjunto dos Nmeros Reais. Assim, neste Captulo, denimos 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 isomorsmo algbrico e de ordem, num conjunto que satisfaz as seguintes condies: (i) Algebricamente um Corpo Ordenado; (ii) A Ordenao denida 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 denies rigorosas de nmeros reais estavam j publicadas em 1872 por Mray, Dedekind, Heine e Cantor. A denio rigorosa de convergncia de uma sucesso de nmeros foi dada por dAlembert em 1765 e por Cauchy em 1821 sem possurem na altura uma denio 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 signica o sistema dos nmeros reais. Introduziu-o da seguinte maneira, o que em si no traz nada de novo. Denio 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 denio anterior implica que as seguintes catorze condies devem ser verdadeiras sobre o sistema algbrico (S, +, , <, 0, 1). 1. 2. 3. 4. 5. 6. 7. 8. 9. x + (y + z ) = (x + y ) + z sempre que x S , y S e z S . x + y = y + x sempre que x S e y S . x + 0 = x sempre que x S . Dado x S , existe y S tal que x + y = 0. x (y z ) = (x y ) z sempre que x S , y S e z S . x y = y x sempre que x S e y S . x 1 = x sempre que x S . Dado x S e x 6= 0, existe y S tal que x y = 1. 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 Denies 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, exemplicando-os, sempre que pertinente. Em particular, apresenta denies 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, xemos a nossa ateno num determinado subconjunto de nmeros racionais, nomeadamente, os nmeros racionais decimais. Denio 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 1 +a + 10 2 + ... + 10n denotado por a0 , a1 a2 ...an 10
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 Denio 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
Denio 4.1.4 Uma sucesso de nmeros racionais decimais, (an ), um nmero real se a sucesso verica as trs seguintes propriedades: 1. 2. natural. 3. Dado um qualquer nmero natural n existe sempre um nmero natural k maior a1 apenas pode ter um dgito direita da vrgula. an+1 obtido a partir de an juntando um dgito a an sempre que n um nmero
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) (iii) (iv ) (3, 1; 3, 14; 3, 141; 3, 1415; ...) . (15, 4; 15, 48; 15, 489; 15, 4890; ...) . (2, 1; 2, 10; 2, 100; 2, 1000; ...) . (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; ...) (2, 2, 2, ..., 2, ...) .
Antes, porm, de denir a adio e multiplicao de nmeros reais conveniente introduzir duas famlias de operadores unrios de sucesses de racionais decimais. Denio 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: Denio 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 ) . Exemplicando: 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. Denidos os dois operadores unrios, estamos prontos para denir a adio e a multiplicao. Comecemos por denir 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 vericado ento (dn ) o nmero real que iremos denotar por (an ) + (bn ). Se o terceiro requisito no se verica, 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 + Se n k e dn < 0 ento dn substitudo por dn
1 ; 10n 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 denida 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 vericado, ento (en ) o nmero real que iremos denotar por (an ) (bn ). Se o terceiro requisito no se verica, 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 denio de adio e multiplicao, uma vez que, estes operadores so teis na denio do conceito de limite de uma sucesso de nmeros reais. Denidas as operaes de adio e multiplicao, vamos, agora, introduzir uma relao de ordem nos nmeros reais, que aqui estamos a denir. 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 Denio 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 exemplicao, 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
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 automorsmos 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. Denio 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 denida 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 denir o que , segundo Nagumo, um par de Dedekind. Denio 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, denido em (III2 ), unicamente determinado e c tanto o mximo de Q como o mnimo de Q+ .
96
Denio 4.2.3 Denominamos o elemento c, denido 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), denimos 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+ denidos 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 Automorsmos
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.
Denio 4.2.4 Uma aplicao de Q em Q0 dita linear, isto , um homomorsmo, se e s se, para quaisquer elementos a1 , a2 Q (a1 + a2 ) = (a1 ) + (a2 ) .
97
Denio 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. Denidas 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 denida 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 xo denimos, 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. 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 Tomemos a Q com a = (Q |Q+ ), e mostremos que (a) = a0 .
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 Posto isto, vamos denir o que um automorsmo racional, e para tal, consideremos, novamente, Q um sistema de quantidades positivas que satisfaz os axiomas da continuidade. Denio 4.2.6 Uma aplicao linear de Q em Q, isto , de Q nele prprio, denominada de automorsmo de Q. Dados q Q e m N, denimos a aplicao de Q em Q por (q ) = mq. Ento, pela Proposio 4.2.7, 1 tambm um automorsmo de Q e escrevemos 1 (q ) = m1 q. Para qualquer automorsmo de Q, isto , para qualquer aplicao linear de Q em Q, temos para n N (nq ) = n (q ) . Donde, para todo q Q
ver que 1 linear.
Assim, para quaisquer m, n N, e qualquer q Q
n1 (q ) = n1 q .
n1 (mq ) = m n1 q . A aplicao de Q em Q, denida por (q) = n1 (mq ) = m n1 q (q Q) (m, n N) ,
99
igualmente um automorsmo de Q e, este automorsmo de Q, pode ser escrito do seguinte modo m q = m n1 q = n1 (mq) (q Q) . n (q ) = m q (q Q) (m, n N) n
Denio 4.2.7 Um automorsmo de Q dado por
denominado de automorsmo racional de Q. Proposio 4.2.8 Seja uma aplicao linear de Q em Q0 . Ento, para qualquer automorsmo racional
m n
(de Q e Q0 ) m m q = (q ) n n
m , n
(q Q) .
Proposio 4.2.9 Sejam a, b Q tais que a < b. Ento para qualquer c Q existe um automorsmo racional de Q, tal que a< m c < b. n
Demonstrao. Seja d = b a, com a < b.
i Considerando ci = n c com i N temos ci = ic1 e ci < ci+1 .
Ento existe, pela Proposio 4.2.6, n N tal que nd > c. Logo, d > n1 c.
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 automorsmos 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 automorsmo 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 automorsmos 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 simplicao 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 denida no conjunto de todos os automorsmos racionais de Q. Com o intuito de a denirmos comecemos por denominar por P, o conjunto de todos os automorsmos racionais de Q. Pela Proposio 4.2.11, a ordenao em P denida do seguinte modo: Denio 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 denir 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. Denio 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 denidos por: Q = Q+ q Q : r P+ , q < ra , = q Q : r P+ , ra 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 Isomorsmo, 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 isomorsmo, de Q em Q0 tal que (a) = a0 .
+ arbitrrio e deixemos P (q ) e P(q ) serem denidos por
Demonstrao. Para denir a aplicao linear desejada, tomemos um q Q
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 automorsmos 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, denimos a aplicao de tal forma que (q ) = q 0 . Claramente temos (a) = a0 .

0 com i = 1, 2. Temos de mostrar que linear, isto , Agora, consideremos (qi ) = qi
temos de provar que

0 0 (q1 + q2 ) = q1 + q2 .
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 . P r1 + r2 : r1 P 1 , r2 P2 3. P 3 r1 + r2 : r1 P1 , r2 P2 , d = min {q1 + q2 ra, q1 , q2 } Q,

0 P, com i = 1, 2, tal que pela Proposio 4.2.9, existe ri
Pois, facilmente observamos que
Para mostrar que
consideremos r P 3 . Ento, ra < q1 + q2 , considerando
1 0 a < qi , com i = 1, 2. qi d < ri 2 Ento,

0 0 0 P e ra q1 + q2 d < (r1 + r2 ) a < q1 + q2 . ri
Assim, considerando ri =
0 ri 0 +r0 r , r1 2
com i = 1, 2, obtemos
ri P i e r = r1 + r2 . Para ri a = Agora, consideremos P+ 3 = {r P : ra q3 = q1 + q2 } .

+ Ento, P 3 , P3 forma um par de Dedekind de nmeros racionais e, pela denio de 0 , considerando (q3 ) = q3 , obtemos 0 + r2 a0 para todo r1 P r1 a0 < q3 3 e todo r2 P3 . 0 0 0 = q1 + q2 . Assim, temos de provar que q3 0 0 0 < q1 + q2 , ento existiria r0 P tal que Se tivssemos q3 0 0 0 < r0 a0 < q1 + q2 . q3 0 0 ri ri 0 0 0 ra (r1 + r2 ) a = ri a < qi . 0 0 0 0 r1 + r2 r1 + r2
104
0 0 i = 1, 2, tal que r1 + r2 = r0 . Assim
0 Por um mtodo similar ao caso anterior em que ra q1 + q2 , existe ri P i , com
0 0 r0 P 3 = {r P : ra < q3 } = {r P : ra < q3 } ,
contradizendo
0 < r0 a0 . q3 0 0 0 Se tivssemos q3 > q1 + q2 , ento existiria r0 P tal que 0 0 0 > r0 a0 > q1 + q2 . q3 0 0 0 0 P+ E similarmente, como anteriormente, existiria ri i , com i = 1, 2, tal que r1 + r2 = r .
Donde, r0 P+ 3 = {r P : ra > q1 + q2 } , contradizendo

0 r0 a0 < q3 .
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 automorsmos de Q, isto , o conjunto de todas as aplicaes lineares de Q em Q. Passemos, agora, caracterizao de . Em denimos 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 exemplicao 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 automorsmo racional r = 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 denies, nomeadamente de elemento neutro da adio e dos elementos negativos, (com ) .
m n
tal que
106
O 0 (zero), um elemento ideal tal que + 0 = 0 + = para todo . Para todo o dado, denimos 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 , denimos a adio por: 1) Se 1 , 2 , a adio 1 + 2 continua a ser a mesma que foi denida 1 2 se 2 < 1
para .
2) .
1 + (2 ) = (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 denir a multiplicao como se segue: 1) Se 1 , 2 , o produto 1 2 continua a ser o mesmo que foi denido 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 . Denidas as operaes de adio e multiplicao em R, podemos enunciar a seguinte: Proposio 4.2.18 A adio e a multiplicao denidas 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 xo, ento a correspondncia 1 1, : (a) = q, para Q e q Q, produz um isomorsmo (1 1, uma aplicao linear) de Q com Q no que diz respeito adio temos que Q ' Q. ordenao que Q ' Q ' Q0 ' Q0 . Como Q ' Q0 , pela Proposio 4.2.13, obtemos, no que diz respeito adio e
Alm disso, tomando Q e Q0 com o intuito de torn-los isomorfos, tambm, no que diz respeito multiplicao, podemos concluir que:
02 0 1Q Q tem de corresponder a 1Q0 Q0 , desde que 12 Q = 1Q e 1Q0 = 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+ e P denidos por / P. Sejam Seja agora Q e suponhamos P um automorsmo racional tal que
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 isomorsmo 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 denio de Nmero Real
Consideremos (Z, +) o conjunto dos inteiros, munido da operao aritmtica de adio, para introduzirmos as denies necessrias. Denio 4.3.1 Um declive (slope) , por denio, uma aplicao : Z Z, com a propriedade de que o conjunto { (m + n) (m) (n) com m, n Z} , nito. Denio 4.3.2 Dois declives e 0 so equivalentes se o conjunto { (n) 0 (n) com n Z} nito. Atendendo denio 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 = Denio 4.3.3 Um nmero real uma classe de equivalncia de declives.
(n+1) . n+1
109
Denotemos por R o conjunto dos nmeros reais. Para j Z, seja j : Z Z a aplicao denida 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. Identiquemos um inteiro j Z com o nmero real representado pelo declive j . Aps esta identicao 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 denida 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 p , isto , o declive q representa o nmero real que soluo da equao qx = p, o que tornarse- claro aps a denio de multiplicao de nmeros reais. Tal como para os inteiros, identicamos 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 denir 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. Denio 4.3.4 A aplicao + : Z Z denida por ( + ) (n) = (n) + (n)
110
novamente um declive e a sua classe de equivalncia independente da escolha dos e representativos de a e b. Denimos a adio a + b R, com a, b R, como a classe de equivalncia do declive acima descrito. Denio 4.3.5 A composio : Z Z denida por ( ) (n) = ( (n)) novamente um declive e denimos o produto ab R, com a, b R, como a classe de equivalncia da composio acima descrita. A consistncia desta denio 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 nitos 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 nito 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 nitos 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 nito 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: Denio 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. Denio 4.3.7 Dizemos que um declive positivo se o conjunto { (n) , com n N : (n) 0} nito, enquanto o conjunto { (n) , com n Z} innito. A partir da denio 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 vericar 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 denies. Denio 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} .
Denio 4.3.9 Consideremos um declive arbitrrio. A aplicao : Z Z com (0) = 0, denida 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 vericar se uma aplicao mpar : Z Z um declive, suciente vericar que o conjunto (n + m) (n) (m) com n, m N+
nito.
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 Denio 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: Denio 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 p , com p, q Z e q 6= 0, denota uma fraco, ento temos q p p q 1 . 2 q 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 3 1 1 1 1 a b c + = 11 . + + + 2 2 2 3q 3q 3q 2 3 6 1 a 3q b 3q c 3q 1 uma vez que
11 6
Posto isto, relacionados com a diviso Euclideana optimizada, temos os seguintes:
Ento
< 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
+1 + 2
1 2
=3 , logo 2
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 denida 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
115
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} nito 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) .
116
Do Lema anterior e das propriedades acabadas de enunciar obtemos: Lema 4.3.5 Seja um declive. Se toma innitos valores, ento existem b, B N+ vericando 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 signica que qualquer subconjunto no vazio T, limitado superiormente em R, possui supremo, o qual denotado por sup T. Ser Corpo Ordenado e Arquimediano signica que para qualquer a R, a > 0 e A R existe um N N tal que Na > A. Seguiremos com a vericao 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 vericando 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 denido 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. Denimos 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 nitas vezes, conclumos que o conjunto { (v + w) (v) (w) com v, w Z} nito.
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 . 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 . Seja 0 o declive bem ajustado equivalente a , dado pelo Lema da concentrao.
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. Denimos 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 denida 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. 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 Comparemos p e q em p e q, como se segue.
| (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, denindo um nmero real como uma classe de equivalncia de declives, as propriedades de Corpo Ordenado e Completo esto satisfeitas.
4.4
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 innitos 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< e consequentemente r<r+ Uma vez que
m n
m (s r) < s r, 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 innitas 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 innitos valores distintos de innitos valores distintos para r +
m n m , n
e assim,
(s r), os quais todos esto entre r e s.
Vejamos, de seguida a denio de intervalo de nmeros racionais, conceito base da nossa construo. Denio 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 innitos nmeros racionais.
123
Denio 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 denio 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 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
Assim, se r um nmero racional, |r| no negativo e mede a distncia de r a 0,
que tem por limite 1.
A denio de limite de uma sucesso no signica igualmente que os termos da sucesso devam aproximar-se cada vez mais do limite da mesma. Por exemplo, se considerarmos a sucesso {sn } denida por
1 n
se n mpar e
1 2n
se n par, os termos no
aproximam-se continuamente do seu limite, que zero.
124
Outra alternativa de denir a convergncia de uma sucesso {sn } para zero a seguinte: Denio 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 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 Denio 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. 2, ser:
Notemos que, podemos denominar de iguais, duas sucesses de intervalos encaixados, se denem o mesmo nmero. Tendo por base esta ideia, vamos posteriormente denir 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 denio da equivalncia de sucesses de intervalos encaixados de nmeros racionais. Denio 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 denio anterior, denido 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 denido por e o ponto denido 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 denio, 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: Denio 4.4.6 Um nmero real corresponde a uma coleco de sucesses equivalentes de intervalos encaixados de nmeros racionais. Esta denio justica a utilizao do smbolo de igualdade na denio de sucesses equivalentes pois dois nmeros reais so iguais se e s se so representados por sucesses equivalentes de intervalos encaixados de nmeros racionais.
127
4.4.2
Aritmtica do Sistema dos Nmeros Reais
Com o intuito de denir a operao de adio no conjunto dos nmeros reais iremos, primeiramente, denir a adio de sucesses de intervalos encaixados de nmeros racionais. Denio 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 vericamos que a operao acima descrita corresponde adio denida 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 denio da adio + , como base da adio de dois nmeros reais, necessita de um teorema que justique 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 denio da adio de nmeros reais. Para garantir que esta ambiguidade no tenha lugar suciente 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 armar 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 armar 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 vericar 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 denida 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 denio de adio de nmeros reais corresponde usual adio de nmeros racionais, quando ambos os mtodos so aplicados a dois pares de nmeros. Atendendo Denio 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 denir 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 ( + ) = + . Teorema 4.4.14 O nmero racional 1, quando tomado como nmero real, o elemento neutro da multiplicao, isto , para todo o nmero real temos 1 = 1 = . Teorema 4.4.15 O nmero racional 0, quando tomado como nmero real, o elemento 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 que 1 = 1.
1
tal
Na prxima seco iremos ver como podemos denir a ordenao em R com base na ordenao denida em Q.
4.4.3
Ordenao do Sistema dos Nmeros Reais
Denio 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 denida 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 verica: (i) (ii) (iii) < ; = ; < .
Teorema 4.4.19 Se , e so nmeros reais tais que < e < ento < . Notemos que a notao signica que apenas uma das duas seguintes condies vericada < 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
Denio 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. Denio 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 = que tende para 0. Assim, encontramos uma sucesso de intervalos nas condies do princpio do encaixe [isto , que esto de acordo com a Denio 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 ba , 2n
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 denies e nos teoremas apresentados nesta seco 4.4 podemos armar 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 nal 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 denitiva 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
Axiomatizao dos Nmeros
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 verica 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, vericam-se sempre as seguintes igualdades: II 1. II 2. II 3. II 4. II 5. II 6. a + (b + c) = (a + b) + c. a + b = b + a. a (bc) = (ab) c. a (b + c) = ab + ac. (a + b) c = ac + bc. 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 verica-se sempre a + c > b + c e c + a > c + b. III 4. Se a > b e c > 0 verica-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 nito. Vericamos 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 armaes 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
Vericamos, 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 nito 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 nito 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 denidos, 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. Denio 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
armao que contradiga um dos axiomas apresentados.
140
Denio 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 , , , 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 signica 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 signica 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 signica 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 isomorsmo de F1 para F2 , assim, podemos introduzir a seguinte: Denio 5.0.13 Se F1 e F2 so dois corpos, um isomorsmo de F1 para F2 uma funo f de F1 para F2 com as seguintes propriedades: (1) (2) Se x 6= y , ento f (x) 6= f (y ). Se z est em F2 , ento z = f (x) para algum x em F1 .
etc., e as operaes em F2 por u, , <, etc..
141
(3)
Se x e y esto em F1 , ento f (x y ) = f (x) u f (y ) e 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 ).
Denido o isomorsmo, podemos enunciar o que so corpos isomorfos, como se segue: Denio 5.0.14 Dois corpos F1 e F2 so denominados isomorfos se existe um isomorsmo entre eles. Dois corpos isomorfos podem ser considerados essencialmente iguais, isto , qualquer propriedade importante de um automaticamente vericada no outro. Ento, sendo F um corpo completo e ordenado no necessrio vericar 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 isomorsmo entre eles, temos, para demonstrar o teorema, de construir uma funo f de R para F que seja um isomorsmo. Comecemos por denir f para os nmeros inteiros como se segue: f (0) = 0, f (n) = 1 ... u 1 | u {z } para n > 0,
n vezes |n| vezes
fcil vericar que:
f (n) = (1 u ... u 1) para n < 0. {z } |
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 Denimos, agora, f para os nmeros racionais por: m m = = m n1 f n n

m n
Notemos que, como F um corpo ordenado, se n > 0 temos 1 u ... u 1 6= 0. Esta denio faz sentido pois se m n1 = k l1 . fcil vericar 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 denio 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 denir f (x) como sup Ax . Temos agora f (x) denido 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 denies 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
k l
ento ml = nk , logo m l = k n, donde
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 | u {z } para nmeros naturais n formam
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 denies 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) signica 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 armao original era falsa, logo, temos sup Ax = f (x) . Temos assim uma funo f , bem denida, de R para F . Com o intuito de vericar que f um isomorsmo temos de vericar as condies (1) (4) da Denio 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 signica 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 signica 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 vericar (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 signica 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 nalmente que existe um corpo completo e ordenado, e apenas um a menos de um isomorsmo, 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
Bibliograa
[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. A 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 [12] Dugac, Pierre. 2003. Histoire de Lanalyse. Paris: Vuibert.
Bibliograa
[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.
Bibliograa
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 innitsimal 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 dnies 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 Innitsimale. 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 Scientiques de lcole Normale Suprieure, IV (3), pp. 342 - 360. [32] Mray, Charles. 1894. Leons nouvelles sur lanalyse innitsimale 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
Bibliograa
[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

Correces a introduzir na dissertao: Pgina
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
Paula Cristina Reis Lopes
Linha
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
Onde se l
numa qualquer quantidade Funktionenlehre devem constituir discrio fonction donn applications Stertigkeit und Irrationale Zablen deferia Foudations
Leia-se
numa quantidade Functionenlehre constituem descrio fonctions donne apllications Stetigkeit und Irrationale Zahlen diferia Foundations
R
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
Q
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
Pgina
56 57 59 61 61 61 61 61 68 69 69 73 77 79 83 85 87 88 93 93 93 99 101 102
Linha
-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
Onde se l
maisculas
Leia-se
minsculas
Portanto: 0 0 0 an+p + a0 n+p (an + an ) = (an+p an ) + an+p an 0 |an+p an | + a0 a n+p n tal ou
d Q, d > 0 N : n N = rn < d 0 0 sup (N , N 0) e a0 a n+p n
(d Q, d > 0 N : n > N = rn < d) sup (N 0 , N 00 ) 0 e para todo o nmero natural q, a0 n+q an Portanto, para todo k: onmero natural 0 0 an+k + a0 ) + a0 n+k (an + an ) = (an+k an n+k an |an+k an | + a0 a0 n
n+k
tais ou seja
< [an + cn ] > [bn + cn ] ou

fora reais Vicente Gonalves
< [an + cn ] < [bn + cn ] ou seja

forma racionais Gomes Teixeira
... = S +
Mito
>S
... = S +
d 2
Mitio
>S
{ao , a1, a2 , ..., an } {1, 2, 3, 4, 5, 6, 7, 8, 9} (2, 2, 2, ..., 2, ) 0 natural k tal que d0 k < ak . O que contradiz a construo de dk
Naguno Oska i ci = n c c com de um automorsmo racional P
{a1, a2 , ..., an } {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} (2, 2, 2, ..., 2, ...) 0 natural s tal que d0 s < as . O que contradiz a construo de ds
Nagumo Osaka i ci = n c com do conjunto P
103
104 106 106 107 108 e 147 108 108 109 110 112
2e4
15 2 -10 15 3e9 -11 -8 -8 -1 e -2 -9
Q r1 P 1 , r2 P2 : r1 + r2
satisfazem
+0=0+ () + 0 = 0 + () = 0
supusermos Norberto
Q+ r1 + r2 ; r1 P 1 , r2 P2
satisfaz
+0 =0+= () + 0 = 0 + () =
suponhamos Norbert
{ n, m Z : (m + n) 0 (m) (n)} n Z : (n) (n) n:Z

transformao
{ (m + n) (m0) (n) com n, m Z} (n) (n) com n Z nZ

aplicao
{n, m N+ : (n + m) (n) (m)}
{ (n + m) (n) (m) com n, m N+ }
Pgina
114 114 114 115 116 116 117 120 120 121 121 124 124 129 129 140 141 145 145 147 147 149 150
Linha
6 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
pois se considerarmos u N+ e u
{v, w Z : (v + w) (v ) (w)} p (q )
pelo menos o declive algum pelo menos Em (R, +, , <) a multiplicao
Onde se l c (n + m) n (n + m)
c nm
=0
c m(n+m)
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
Leia-se c n(n+ m)
c nm
p (p)
limite superior um determinado ponto
majorante uma determinada ordem
I5 = [1, 414; 1, 415]

encontrada como O signica espaos
I5 = [1, 4141; 1, 4142]

encontrado so O que signica corpos
f (x y ) = f (x) f (y )
equivalncias Ausdehung Archives Fundation Beves
f (x y ) = f (x) f (y)
equivalncia Ausdehnung Archive Foundations Breves

Construções Dos Números Reais

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Construções Dos Números Reais

Enviado por

Direitos autorais:

Formatos disponíveis

DEPARTAMENTO DE MATEMTICA E ENGENHARIAS

Construes dos Nmeros Reais

Orientador: Professor Doutor Jos Francisco da Silva C. Rodrigues

Funchal Madeira Junho de 2006

5 Axiomatizao dos Nmeros

Das Quantidades aos Nmeros

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

Das Quantidades aos Nmeros

6 (i) Quaisquer n elementos da forma principal.

podem ser substitudos pela unidade

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

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

Axiomatizao dos Reais

Axiomatizao dos Reais

Axiomatizao dos Reais

Axiomatizao dos Reais

Captulo 2 Construo dos nmeros reais utilizando a Noo de Corte ou Seco

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

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

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

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

Continuidade de uma linha recta

Continuidade de uma linha recta

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

Construo dos Nmeros Irracionais

Construo dos Nmeros Irracionais

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

o que contrrio suposio respeitante a u.

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

Construo dos Nmeros Irracionais

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

Continuidade do Domnio dos Nmeros Reais

Continuidade do Domnio dos Nmeros Reais

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

seguinte Teorema vlido:

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

Operaes com Nmeros Reais

Operaes com Nmeros Reais

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

Operaes com Nmeros Reais

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

Operaes com Nmeros Reais

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

Operaes com Nmeros Reais

(3) Uma vez que, 6= Q e 6= Q, ento existem nmeros racionais a e b, com a no

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

Operaes com Nmeros Reais

Alm disso, se y for o mnimo de Q , consideremos x0 > x um elemento de , e

Se z no est em ento a prova similar, baseada no facto de que os nmeros (n) z

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

> x). Ento

Operaes com Nmeros Reais

ento = ( u ) u ( ) = ( u ) u ( ) = , o que falso. Assim, u > u .

wz wxy w = = x y. z z z < 1, logo w x est em . Assim w est em . z

Construo dos nmeros reais utilizando a Noo de Corte ou Seco

Denio 2.5.9 Se um nmero real, ento se 0 || = se 0

Teorema 2.5.13 Se , e so nmeros reais, ento

igualmente membro de . Por outro lado, suponhamos x em . Se x 0, ento x est automaticamente em 1. e

Finalmente, o Teorema bvio quando = 0.

Operaes com Nmeros Reais

no est em . Uma vez que

(2) Como bvio, 1 6= . est em 1 , assim 1 6= Q.