Construindo os Reais

Universidade Estadual do Sudoeste da Bahia
Diego Lus de Arruda Santos
Construes do Corpo dos Nmeros Reais
Jequi-Ba
2016
Diego Lus de Arruda Santos
Construes do Corpo dos Nmeros Reais
Monografia submetida ao curso de Licenciatura

em Matemtica com Enfoque em Informtica da Universidade Estadual do Sudoeste
da Bahia-UESB, como parte dos requisitos
necessrios obteno do grau de Licenciado
em Matemtica com Enfoque em Informtica.
Orientador: Profo .
Jesus Almeida
Jequi-BA
2016
Me.
Edson Ramos de
DIEGO LUS DE ARRUDA SANTOS
CONSTRUES DO CORPO DOS NMEROS REAIS
Monografia apresentada como requisito parcial para obteno do ttulo de Licenciado em Matemtica com Enfoque em Informtica pela Universidade Estadual do Sudoeste da Bahia.
Orientador: Profo . Me. Edson Ramos de Jesus Almeida
Aprovada em ____ de ____ de ____
Componentes da banca examinadora:
Profo . Me. Edson Ramos de Jesus Almeida (Orientador)

Profa . Dra . Marcia Graci de Oliveira Matos

Profo . Dr. Jorge Costa do Nascimento

Jequi-BA
Setembro de 2016
Resumo
No presente trabalho nos dispomos a provar que o corpo ordenado completo existe e pode
ser construdo a partir do corpo dos nmeros Racionais. Para tanto, lanamos mo de dois
mtodos clssicos de construo, o mtodo de Dedekind e o de Cantor; para cada mtodo trabalhado provamos que so vlidos todos os axiomas de corpo ordenado completo e chegamos a
concluso de que o mtodo de classes de equivalncia de sequncia de Cauchy mais intuitivo
e de mais fcil compreenso, conclumos ainda que o corpo ordenado completo no nico,
mas que pode existir uma relao de isomorfismo entre os dois corpos construdos. Ainda nesse
trabalho, propusemos que se utilize o conceito de nmeros Reais como extenso dos Racionais
pelo mtodo de Cantor, no ensino mdio, com os devidos ajustes a fim de que o estudante desse
nvel possa compreender o nmero Real como uma sucesso infinita de nmeros Racionais.
Palavras-chave: Construes dos nmeros Reais. Corte de Dedekind. Classe de equivalncia de sequncia de Cauchy.
Sumrio
1
Introduo
Noes Preliminares
2.1 Sequncia de nmeros Racionais . . . . . . . . . . . .
2.1.1 Limite de uma sequncia de nmeros Racionais
2.1.2 Sequncia de Cauchy de nmeros Racionais . .
2.2 Relao de Equivalncia . . . . . . . . . . . . . . . .
2.2.1 Classe de Equivalncia . . . . . . . . . . . . .
2.3 Corpo . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.1 Corpo Ordenado . . . . . . . . . . . . . . . .
2.3.2 Corpo Ordenado Completo . . . . . . . . . . .
.
.
.
.
.
.
.
.
8
8
8
8
9
9
10
11
11
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
12
12
14
14
15
15
16
16
16
17
17
19
19
20
20
20
21
22
22
24
24
25
Construo dos nmeros Reais pelas sequncias de Cauchy

4.1 Definio de nmero Real . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
27
Construo dos nmeros Reais pelo Corte de Dedekind

3.1 Definio de nmero Real . . . . . . . . . . . . . .
3.2 Relao de ordem em R . . . . . . . . . . . . . . . .
3.2.1 Definio . . . . . . . . . . . . . . . . . . .
3.3 Adio em R . . . . . . . . . . . . . . . . . . . . .
3.3.1 Definio . . . . . . . . . . . . . . . . . . .
3.4 Propriedades da adio . . . . . . . . . . . . . . . .
3.4.1 Associativa . . . . . . . . . . . . . . . . . .
3.4.2 Comutativa . . . . . . . . . . . . . . . . . .
3.4.3 Existncia do elemento neutro . . . . . . . .
3.4.4 Existncia do oposto . . . . . . . . . . . . .
3.4.5 Monotonicidade da Adio . . . . . . . . . .
3.5 Multiplicao em R . . . . . . . . . . . . . . . . . .
3.5.1 Definio . . . . . . . . . . . . . . . . . . .
3.6 Propriedades da Multiplicao . . . . . . . . . . . .
3.6.1 Associativa . . . . . . . . . . . . . . . . . .
3.6.2 Comutativa . . . . . . . . . . . . . . . . . .
3.6.3 Existncia do elemento neutro . . . . . . . .
3.6.4 Existncia do oposto . . . . . . . . . . . . .
3.6.5 Distributiva . . . . . . . . . . . . . . . . . .
3.6.6 Monotinicidade da Multiplicao . . . . . .
3.7 Teorema do Supremo . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4.2
4.3
4.4
4.5
4.6
4.7
5
Relao de ordem em R . . . . . . . . . . . . . . . . . . . . . .
4.2.1 Definies . . . . . . . . . . . . . . . . . . . . . . . .
Adio em R . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3.1 Definio . . . . . . . . . . . . . . . . . . . . . . . . .
Propriedades da adio . . . . . . . . . . . . . . . . . . . . . .
4.4.1 Associativa . . . . . . . . . . . . . . . . . . . . . . . .
4.4.2 Comutativa . . . . . . . . . . . . . . . . . . . . . . . .
4.4.3 Existncia do elemento neutro . . . . . . . . . . . . . .
4.4.4 Existncia do oposto . . . . . . . . . . . . . . . . . . .
4.4.5 Compatibilidade da adio com a ordem . . . . . . . . .
Multiplicao em R . . . . . . . . . . . . . . . . . . . . . . . .
4.5.1 Definio . . . . . . . . . . . . . . . . . . . . . . . . .
Propriedades da Multiplicao . . . . . . . . . . . . . . . . . .
4.6.1 Associativa . . . . . . . . . . . . . . . . . . . . . . . .
4.6.2 Comutativa . . . . . . . . . . . . . . . . . . . . . . . .
4.6.3 Existncia do elemento neutro . . . . . . . . . . . . . .
4.6.4 Existncia do oposto . . . . . . . . . . . . . . . . . . .
4.6.5 Distributiva- , e R tem-se ( + ) = + .
4.6.6 Compatibilidade da multiplicao com a ordem . . . . .
Teorema do Supremo . . . . . . . . . . . . . . . . . . . . . . .
Consideraes Finais
5.1 O Corte de Dedekind . . . . . . . . . . . . . . . . . . . .
5.2 As classes de equivalncia de sequncias de Cauchy . . . .
5.3 O corpo ordenado completo nico? . . . . . . . . . . . .
5.4 A construo dos nmeros Reais no ensino de Matemtica
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
29
31
31
31
31
31
32
32
32
33
33
33
33
34
34
34
35
35
36
.
.
.
.
39
39
40
40
41
Introduo
de nmero est intimamente ligada com a histria da civilizao, que, por sua vez,
lanava mo de sistemas de numerao para suprir a necessidade de contar, medir e calcular. Os nmeros Naturais, por exemplo, foram os primeiros a serem utilizados e sua construo
foi incentivada pela necessidade de contar. Os nmeros Inteiros, por sua vez uma extenso
dos Naturais. J os nmeros Racionais so extenses dos inteiros, uma vez que o nmero Racional a razo entre dois inteiros com o denominador diferente de zero. Do ponto de vista da
escola Pitagrica todas as grandezas poderiam ser descritas como a razo entre dois nmeros,
isto , os nmeros Racionais poderiam descrever qualquer grandeza. Porm, a construo do
nmero 2, como sendo a medida da hipotenusa do tringulo retngulo de catetos com medida
unitria, quebrou toda a teoria dos pitagricos a respeito dos nmeros, por isso o perodo de
transio dos Racionais para os Irracionais foi marcado com muita polmica e por muitos anos
deixaram os pitagricos completamente perplexos; alm disso, a relao dos Racionais com os
Irracionais era de certo modo conturbada, o fato desses dois conjuntos serem incomensurveis
gerou uma crise, na matemtica da poca, que s foi solucionada por Eudoxo. Logo aps esse
perodo, os nmeros Racionais e os Irracionais passaram a constituir um novo conjunto numrico, o conjunto dos nmeros Reais.
N oo
Poderamos definir os nmeros Reais como sendo a unio dos Racionais com os Irracionais,
porm ele muito mais do que um conjunto, do ponto de vista da lgebra Abstrata, os nmeros Reais formam um corpo ordenado completo dotado de uma srie de propriedades e duas
operaes. Alguns matemticos do sculo XIX indagaram a respeito da existncia desse corpo
ordenado completo, ou seja, se realmente existiria um corpo dos nmeros Reais contendo os
outros conjuntos. A histria mostra que os nmeros inteiros foram construdos com base nos
naturais, os Racionais, por sua vez, foram construdos baseando-se nos inteiros. A dvida que
muitos matemticos tinham, era acerca da possibilidade de os nmeros Reais serem construdos
a partir dos Racionais. Sobre esse questionamento, alguns matemticos tentaram construir um
corpo ordenado e completo que continha os nmeros Racionais, dentre esses matemticos, merecem destaque o alemo Julius Wilhelm Richard Dedekind, que construiu o corpo dos nmeros
Reais utilizando o mtodo de cortes ou sees, e o russo Georg Ferdinand Ludwig Philipp Cantor, que definiu um nmero Real como o limite de uma sequncia de Cauchy. Mais adiante
trataremos com profundidade as teorias desses dois matemticos, mas existem outros mtodos
de construo que apesar de serem interessantes no cabem no trabalho.
Para o desenvolvimento e o melhor entendimento desse trabalho, foi necessrio dedicar a
prxima seo para tratar brevemente das noes preliminares que se fazem indispensveis para
compreender o que aqui ser explanado. Na seo trs abordaremos a teoria de Dedekind, ou
7
seja, a construo dos nmeros Reais pelo corte de Dedekind, e provaremos que o conjunto
formado por esse mtodo um corpo ordenado e completo. Na seo quatro falaremos sobre
a construo dos nmeros Reais pelo mtodo da classe de equivalncia de sequncias de Cauchy, formulado por Georg Cantor. Como veremos nessa seo, cantor, em seu esprito crtico,
acreditava que uma sequncia s poderia convergir para um valor Real se os nmeros Reais
fossem previamente definidos. Ainda nessa seo, faremos um apanhado da ideia de Cantor,
sua definio de nmero Real e provaremos que o conjunto formado pela ideia do matemtico
russo um corpo ordenado completo. Dedicaremos a ultima seo para as consideraes sobre
o desenvolvimento desse trabalho, faremos as possveis comparaes com os dois mtodos, e
uma anlise crtica dos dois mtodos, alm de apresentar um parecer sobre esse estudo.
importante informar que para o desenvolvimento desse estudo devemos considerar o conjunto dos nmeros Racionais como um corpo ordenado, ou seja, o conjunto dos Racionais satisfaz todas as propriedades relativas adio e multiplicao, alm de estabelecer uma relao
de ordem. Esses axiomas e propriedades sero vistos claramente na subseo 2.4 da prxima
seo, mas indispensvel entender que para o desenvolvimento de ambos os mtodos de construo dos nmeros Reais, o corpo ordenado dos nmeros Racionais deve estar bem definido.
Assumimos, portanto, essa hiptese como verdadeira.
Escolhemos esse tema acreditando que os nmeros Reais, enquanto corpo ordenado completo, de extrema importncia. Suas propriedades e operaes so amplamente utilizadas nos
diversos ramos da cincia e at mesmo por pessoas que os utilizam simplesmente para medir. Por isso, precisamos tomar os nmeros Reais como algo que precisa ser provado, ou seja,
devemos verificar se o corpo ordenado completo dos nmeros Reais realmente existe, e sua
unicidade, caso exista, tambm deve ser indagada. Alm disso, a importncia imensurvel do
tema e a escassez de trabalhos que o defina, nos levou a crer que esse trabalho ser uma tima
fonte de estudos para aqueles interessados em conhecer a construo dos nmeros Reais.
Noes Preliminares
Nesta seo, faremos uma breve introduo de temas indispensveis para melhor compreenso desse trabalho, sendo assim no achamos necessrio aprofundar os temas aqui mencionados, tampouco lanar mo de demonstraes de teoremas e afins, uma vez que, o que realmente
importa so os resultados j definidos e demonstrados. Para aqueles interessados em conhecer
mais profundamente os temas, sugerimos as leituras das referncias (2), (4) e (7)
2.1
Sequncia de nmeros Racionais
Uma sequencia, ou sucesso, de nmeros Racionais uma bijeo f : N Q. Cada f (n)

ser denotado por an e para todo n N tem-se an Q. comum utilizarmos a notao (an )nN
ou simplesmente (an ) para representar uma sequncia de nmeros Racionais. Como o conjunto dos nmeros Racionais est contido no conjunto dos nmeros Reais, podemos entender,
de forma trivial, que todos os teoremas e definies que diz respeito s sequncias de nmeros
Reais so vlidos para as sequncias de nmeros Racionais. A partir desse fato, no mencionaremos a sequncia de nmeros Reais, mas utilizaremos alguns de seus teoremas sobre as
sequncias de nmeros Racionais.
1
Como exemplo, tomemos a sucesso cujo o termo geral definido por an = . Temos a sequnn
1 1 1
1
1
cia (1, , , , ..., , ...). No difcil perceber que para todo n N tem-se Q.
2 3 4
n
n
2.1.1
Limite de uma sequncia de nmeros Racionais
Seja (an )nN uma sequncia de nmeros Racionais, dizemos que o nmero q Q o limite
de (an )nN se para cada > 0 Q existe um N N com N < n de tal modo que todos os termos
an satisfaam a condio |an q| < . Se uma sequncia de nmeros Racionais tem um limite
ento dizemos que a sequencia convergente e converge para o seu limite, caso contrrio, se
uma sequncia no tem um limite, ento dizemos que essa sequncia divergente.
2.1.2
Sequncia de Cauchy de nmeros Racionais
Seja (an )nN uma sucesso de nmeros Racionais, dizemos que (an )nN uma sequncia
de Cauchy se para cada > 0 Q existe um nmero natural N de tal modo que para todos os
naturais n, m N, os termos an e am obedeam o critrio |an am | < .
Esta definio nos permitir determinar a convergncia de uma sequncia sem a necessidade
de saber o seu limite. Um resultado muito importante para o nosso estudo considerado um
dos principais teoremas da Anlise Real, chamado de critrio de convergncia de Cauchy. Esse
teorema afirma que: uma sequncia convergente se, e somente se, de Cauchy. Obviamente
aplicaremos esse teorema sobre a sequncia de nmeros Racionais, que em outras palavras,
9
significa uma sequncia de nmeros Racionais s ser convergente se satisfazer o critrio de
Cauchy. Por razes de convenincia, a prova desse teorema ser omitida, mas para os interessados em conhec-la recomendamos a leitura da referncia (7).
2.2
Relao de Equivalncia
Definio 1 Uma relao R sobre um conjunto E no vazio chamada de relao de equivalncia sobre E se, e somente se, R reflexiva, simtrica e transitiva. Ou seja, R deve cumprir,
respectivamente, as seguintes propriedades:1
(i): se x E, ento xRx;
(ii): se x, y E e xRy ento yRx;
(iii): se x, y, z E, xRy e yRz ento xRz.
Exemplo 1 A relao de igualdade sobre R uma relao de equivalncia, pois:
(i): x R x = x;
(ii): x, y R, x = y y = x;
(iii): x, y, z R, x = y e y = z x = z.
2.2.1
Classe de Equivalncia
Definio 2 Seja R uma relao de equivalncia sobre E. Dado a, com a E, chama-se classe
de equivalncia determinada por a, mdulo R(ou segundo R), o subconjunto a E constituido
pelos elementos x tais que xRa:
a = {x E | xRa}
Ou seja, a um subconjunto de E, nele esto contidos todos os elementos x que tm uma relao
de equivalncia R com o elemento a.
Propriedade 1 Em cada subconjunto a E, todos os seus elementos so equivalentes entre si.
Propriedade 2 Se xRy ento x = y;
T
Propriedade 3 Dado a e b classes de equivalncia, Se a 6= b a b = ;
Propriedade 4 A unio de todas as classes de equivancia de um conjunto igual ao prprio

[
conjunto: X =
x
xX
1A
notao xRy significa que x est relacionado com y, com a relao R de equivalncia.
10
2.3
Corpo
Chamamos de corpo um conjunto K dotado de duas operaes, a adio, que faz corresponder a cada par de elementos x, y do corpo um elemento x + y tambm pertencente ao corpo,
e a multiplicao, que faz corresponder a cada par de elementos x, y do corpo um elemento
x.y tambm pertencente ao corpo. Essas duas operaes devem satisfazer algumas condies
comumente chamadas de Axiomas de corpo. Abaixo faremos um breve enunciado desses axiomas apenas com o objetivo de utiliz-los como critrio de identidade de um corpo, ou seja, um
conjunto s ser considerado um corpo se satisfazer esses axiomas.
Axiomas da Adio
A1- Associatividade: (x + y) + z = x + (y + z); para quaisquer x, y, z K.
A2- Comutatividade: x + y = y + x; para quaisquer x, y K.
A3- Elemento neutro: Existe um nico 0 K tal que x + 0 = x.
A4- Simtrico: Para todo x K, Existe x K tal que x + (x) = 0 .
Axiomas da Multiplicao
M1- Associatividade: (x.y).z = x.(y.z); para quaisquer x, y, z K.
M2- Comutatividade: x.y = y.x; para quaisquer x, y K.
M3- Elemento neutro: Existe um nico 1 K tal que x.1 = x.
M4- Inverso multiplicativo: Todo x 6= 0 K, possui um inverso x1 tal que x.x1 = 1 .
possvel estabelecer uma relao entre as duas operaes de um corpo K, essa relao encontra-se definida no ultimo, porm no menos importante, Axioma da Distributividade.
Vejamos:
D1- Distributividade: x.(y + z) = x.y + x.z; para quaisquer x, y, z K.
Nesse processo de construo temos tambm a seguinte proposio.
Proposio: O conjunto Q um corpo em relao s operaes de adio e multiplicao defi0
0
0
0
0
p p
pq + p q p p
pp
nidas respectivamente como + 0 =
e . 0 = 0 . possvel verificar que essas
q q
qq0
q q
qq
duas operaes satisfazem todos os axiomas apresentados acima, portanto fica omitida a demonstrao dessa proposio.
Para concluir esta seo sero enunciadas as definies abaixo.
11
2.3.1
Corpo Ordenado
chamado de corpo ordenado, o corpo K sobre o qual possvel destacar um subconjunto P

de elementos estritamente positivos de modo que as duas seguintes condies sejam satisfeitas:
P1. Sejam x, y P x + y P e x.y P;

P2. Seja x P ento ou x = 0 ou x > 0 ou x < 0.
Sendo P o subconjunto dos elementos positivos de K, tome como -P o subconjunto de elementos negativos de K. Da o corpo K pode assim ser descrito: K = P (P) {0 }. Q um
corpo ordenado.
A relao de ordem de um corpo ordenado goza de quatro propriedades, que so:
O1. Transitividade- se x < y e y < z ento x < z;

O2. Tricotomia- dados x, y K ou x = y ou x < y ou x > y;
O3. Monotonicidade da adio- se x < y ento para todo z K tem-se x + z < y + z;
O4. Monotonicidade da multiplicao- se x < y ento para todo z > 0 K tem-se x.z <
y.z.
2.3.2
Corpo Ordenado Completo
Um corpo ordenado K completo quando existe um subconjunto X K limitado superiormente. Um elemento de K chamado de supremo quando a menor das cotas superiores de X.
Uma cota superior, por sua vez um elemento b K tal que x b, x X. Para que b seja o
supremo de um conjunto, necessrio e suficiente que sejam respeitadas as seguintes condies:
S1. Para todo x X tem-se x b;

S2. Se c K tal que x c x X, ento b c.
12
Construo dos nmeros Reais pelo Corte de Dedekind
O mtodo que mostraremos nessa seo estruturado sobre a noo de cortes de Dedekind,
um matemtico alemo que dedicou grande parte de seus estudos aos conjunto dos nmeros
irracionais.
Esse matemtico observou que o conjunto dos nmeros Racionais poderia ser estendido de
modo a formar uma coleo de nmeros Reais e que a continuidade da reta tinha ligao com
a natureza da diviso da reta em duas classes por um nico ponto, essa diviso ele chamou de
corte. Dedekind, assim como Georg Cantor, acreditava que os nmeros Reais poderiam ser
postos em correspondncia biunvoca com os pontos sobre a reta, ou seja, o contnuo linear
estabelece uma relao de isomorfismo com os nmeros Reais. Essa noo , hoje em dia, chamada de Axioma de Cantor-Dedekind.
Para ser mais claro e especfico, a noo de corte de Dedekind significa que para toda diviso dos nmeros Racionais em duas classes A e B tais que todo nmero da classe A menor
que todo nmero da B, existe um nico nmero Real que Realiza essa diviso, ou corte. Se
a classe B tem elemento mnimo, o corte define um nmero Racional, porm se B no tem
mnimo, ento o corte define um nmero irracional. Essa noo de corte formulada por Dedekind, nos nmeros Racionais, ou uma construo equivalente dos nmeros Reais, foi to til
e importante que passou a tomar o lugar da grandeza geomtrica como alicerce da Anlise Real.
Aps essa breve introduo a respeito da ideia de Dedekind e da sua importncia para a
anlise, podemos discutir sobre a definio de corte propriamente dita. Nessa seo trabalharemos com a noo de corte, interligando ao conceito de nmero Real, que mais adiante ser
formalmente definido. Em resumo, podemos dizer que um corte um nmero Real, segundo
a teoria de Dedekind. Aps definido o nmero Real como um corte de Dedekind, nos restar,
nas prximas sees, provar que o conjunto formado por todos os cortes um corpo ordenado
completo, portanto, utilizaremos todos os axiomas e demonstraremos todas as propriedades e
apresentadas na seo 2.4 deste trabalho.
3.1
Definio de nmero Real
Definio 1 Seja o conjunto Q. Dizemos que um nmero Real se satisfazer as condies como seguem abaixo:
(i) 6= e 6= Q;
(ii) p, q Q, se p e q < p, ento q ;
(iii) no tem mximo.
Exemplo 1 Mostre que = {p Q|p < 2} um nmero Real.
13
Prova: Devemos provar que satisfaz as trs condies definidas anteriormente:
(i) 6= , pois 1 .
6= Q, pois para q Q onde q 2 tem-se q
/ .
(ii) Sejam p e q dois Racionais quaisquer, com p e q < p temos: p p < 2 de
q < p e p < 2 concluimos que q < 2 ento q .
(iii) Suponha que exista M=max{} tal que M Q, ento M e M < 2. Tome M 0 = 2+M
2
0
0
fcil perceber que M < M < 2 e que M . Um absurdo, pois M = max{}. Portanto,
no tem mximo.
Assim o conjunto safisfaz as condies exigidas, logo um nmero Real.
Teorema 1 Seja r um nmero Racional qualquer, ento o conjunto = {p Q|p < r} um

nmero Real2 .
Prova: Devemos mostrar que o conjunto satisfaz as trs condies explcitas na definio:
(i) se r um Racional qualquer, tome p=r-1 e teremos r 1 < r, logo r 1 , ou seja, 6= .
6= Q pois p + 1 Q e p + 1
/ .
(ii) Seja p e q um Racional tal que q < p temos: p < r pois p . De q < p e p < r
concluimos que q < r, ento q .
(iii) Seja P=max{ } temos P e consequentemente P < r. Usando o mesmo mtodo do
r+P
exemplo 1, faamos P0 =
, fcil perceber que P < P0 < r e que P0 . Um absurdo, pois
2
P = max . Isso prova que no tem mximo.
Satisfeito as condies, podemos ento dizer que um nmero Real.
Exemplo 2 = {p Q|p 0} {q Q|q2 < 2} um nmero Real mas no Racional3 .
Prova:
(i) 6= , pois 0 e 6= Q, pois 2
/ ;
(ii) supondo que a e b Q tal que b < a ento:
Se b 0 ento b ;
Se b > 0 ento b2 < a2 < 2;
Portanto, para os dois casos teremos b .
2 O nmero Real definido no teorema 1 chamado de nmero Real Racional.
Chamamos de cota superior de o Racional r tal que a temos a < r. Isso quer dizer que todo Racional que
no est em uma cota de .
O Racional r dito cota mnima superior de r e todo nmero Real que possui cota mnima superior Racional.
Veja que a mnima cota superior no pode ser o mximo do conjunto , pois contraria a definio de nmero Real.
3 O nmero Real que no Racional chamado de Irracional
14
(iii) Seja r ento r2 < 2, se r 0 ento tomemos s = 1 e teremos r < s com s , se

2 r2
e 0 < k < 1. Tomando s = r + k, ento s Q e
r > 0 ento tomemos k Q com k <
2r + 1
s > r.
s2 = (r + k)2 = r2 + 2rk + k2 = r2 + (2r + k)k. Temos que k < 1 = 2r + k < 2r + 1 =
(2r + k)k < (2r + 1)k = r2 + (2r + k)k < r2 + (2r + 1)k = s2 < r2 + (2r + 1)k. Como
2 r2
, segue que s2 < r2 + (2 r2 ) = s2 < 2 = s . Est provado que no possui
k<
2r + 1
mximo.
Para mostrar que no Racional preciso demonstrar que no possui menor cota superior. Em outras palavras precisamos provar que dado h Q com h2 > 2 uma cota de (J que
em Q no existe h tal que h2 = 2), existe um j Q tal que j < h e j2 > 2.
h2 2
Tome ento, h uma cota superior de . Definamos j = h
. Afirmamos que 0 < h, pois os
2h
Racionais que no pertencem a so os positivos cujo o quadrado maior que 2. Alm disso,
2
2
2
2
2
2

h 2
h 2
h 2
h2 2
2
2
= h 2h
+
= 2+
> 2. Da,
0 < j < h e j = h
2h
2h
2h
2h
j<h e j2 > 2.
3.2
Relao de ordem em R
A notao R ser utilizada para representar o conjunto dos nmeros Reais. Ou seja, R = {|
um nmero Real}
3.2.1
Definio
Sejam e dois nmeros Reais. Definamos:

(i)
(ii) < e 6= .
NOTA: A relao "" uma relao de equivalncia, vejamos:
Seja um nmero Real, temos ento ;
Para e dois nmeros Reais, tomando = ento e logo e ;
Sejam , , nmeros Reais, se temos , se ento . Ou seja,
da . isso quer dizer que . C.q.d.
Teorema 2 (Tricotomia) Quaisquer que sejam e em R, deve ocorrer apenas umas das
afirmativas a seguir:
< , ou < , ou =
Prova: Para quaisquer e em R temos que somente uma destas alternativas deve ocorrer:
ou ou 6 . Se ento, pelo item i da definio 3.2.1, ou seja, < ou
15
= . Se 6 ento existe um Racional x que est em mas no est em . Sendo assim,
x > p para todo p , pois caso contrrio, se x p ento teramos x , uma contradio.
Se p < x, p ento, por definio de nmero Real, p , da mas 6= , pois x est
em mas no est em , portanto, de acordo com o item ii da definio 3.2.1, < .
Devemos provar ainda, que apenas uma das alternativas postuladas acima ocorre, ou seja, a
ocorrncia de uma exclui a possibilidade de ocorrer qualquer outra.
Suponhamos que = , ento e por definio teramos . Mas, caso <
tambem fosse verdade obteramos por definio que com 6= . Uma contradio. O
mesmo acontece ao supormos que < tambm possa ocorrer. Isso mostra que o caso =
exclui as demais possibilidades.
Supondo que < ento com 6= e isso exclui a possibilidade de = , analogamente, se < ento com 6= o que tambm exclui a possibilidade de =
ocorrer.
Supondo que seja possvel ocorrer < e < , ento por definio e com
6= ,um absurdo, pois, e s poderiam ocorrer mutuamente se = . Da a
ocorrncia de um exclui a possibilidade de ocorrer o outro.
Teorema 3 (Transitividade) Sejam , e nmeros Reais, se e ento
Demonstrao: Por definio, se ento e se ento . No difcil de perceber que se ento = .
3.3
3.3.1
Adio em R
Definio
Teorema 4 Se e so nmeros Reais, ento:

= {a + b|a , b } tambm um nmero Real.
Prova: Para provar que um nmero Real preciso provar que satisfaz as condies estabelecidas na definio 1.
(i) fcil ver que a + b com a e b , isso mostra que 6= .
Sejam a e b dois elementos de Q tais que a < a0 para todo a e b < b0 para todo b ,
ento a0 6 e b0 6 sendo assim, somando b em a < a0 obtemos a + b < a0 + b e somando a
em b < b0 obtemos b + a0 < b0 + a0 , da concluimos que a0 + b0 > a + b, logo a0 + b0 6 , mas
a0 + b0 Q. Isso mostra que 6= Q.
(ii) Tome p = a + b e p0 = a + b donde a, a e b, b tal que a > a e b > b. na
desigualdade a > a some b e obtemos (I) a + b > a + b. na desigualdade b > b some a"e
obtemos (II) a + b > a + b de (I) e (II) concluimos que a + b > a + b, ou seja, p > p0 , o
que por definio nos leva a concluir que p0 .
16
(iii) no tem mximo. Com efeito, supondo por absurdo que tenha um elemento mximo e
seja M = max{} tomemos M = a + b para algum a e b . Como e so nmeros
Reais ento no admite mximo. logo existe a0 e b0 tal que a < a0 e b < b0 ento
a0 + b0 . De modo anlogo ao utilizado no item (ii) podemos concluir que a + b < a0 + b0 .
Um absurdo pois M = a + b = max{}.
Com os trs itens verificados, segue que R. C.q.d.
Definio 2 Sejam e dois nmeros Reais; o nmero Real = {a+b|a , b } denominase soma(ou adio) de e e indicado por + . Assim, + = {a + b|a , b }.
Exemplo 3 Sejam r e s dois Racionais, prove que r + s = (r + s) . onde r = {x Q|x < r}
e s = {x Q|x < s}:
Prova: Para todo x r + s temos x = a + b para algum a e algum b donde a < r e
b < s. Da segue que a + b < r + s = x < r + s. Mas note que (r + s) = {k Q|k < r + s},
ento se x < r + s ento x (r + s) . Portanto, r + s (r + s) .
Para todo x (r + s) temos x < r + s = x r < s, tome x0 um Racional tal que x r < x0 < s
ento x0 s e x r < x0 = x x0 < r ento x x0 r . da fazendo x0 + (x x0 ) < r + s
com x0 s e x x0 r ento x0 + (x x0 ) r + s , como x0 + (x x0 ) = x temos x r + s .
Portando, (r + s) r + s .
Com r + s (r + s) e (r + s) r + s s podemos concluir que (r + s) = r + s . C.q.d.
3.4
3.4.1
Propriedades da adio
Associativa
Para qualquer , , nmeros Reais, tem-se que + ( + ) = ( + ) + .

Demonstrao: Para todo x + ( + ), por definio, x = a + (b + c) com a , (b + c)
+ . Como a associativa vlida para o conjunto dos Racionais, ento x = a + (b + c) =
(a + b) + c = x ( + ) + = + ( + ) ( + ) + . Reciprocamente, para todo
y ( + ) + , pela definio, y = (a + b) + c = y = a + (b + c) = y + ( + ) =
( + ) + + ( + ).
De + ( + ) ( + ) + e ( + ) + + ( + ) conclui-se que + ( + ) =
( + ) + .
3.4.2
Comutativa
Para qualquer , nmeros Reais, tem-se que + = + .

Demonstrao: Para todo x + , por definio, x = a + b com a e b . Como a
17
comutativa vlida para o conjunto dos Racionais, ento x = a + b = b + a = x + =
+ + . Reciprocamente, para todo y + , pela definio, y = b + a = y =
a + b = y + = + + .
De + + e + + conclui-se que + = + .
3.4.3
Existncia do elemento neutro
Para qualquer nmero Real, tem-se que + 0 = .

Demonstrao Mostraremos que + 0 e que + 0 para isso definamos 0 = {y
Q|y < 0}.
Para todo z + 0 temos z = a + y para algum a e algum y < 0, como y < 0 ento
a + y < a, por definio de nmero Real, z = a + y segue que + 0 .
dado qualquer a0 , como no tem mximo, podemos encontrar um x tal que a0 < x.
da a0 x < 0, logo a0 x 0 . Temos ainda que a0 = x + (a0 x), como x e a0 x 0
segue que a0 + 0 = + 0 .
De + 0 e + 0 segue que + 0 = .
3.4.4
Existncia do oposto
Para todo R existe R com + = 0

Para provar esta propriedade necessitaremos dos seguintes lemas:
Lema 1 Sejam um nmero Real, u < 0 um Racional e M o conjunto das contas superiores
de . Nestas condies existem p , q M , q 6= minM caso exista, tais que p q = u.
Demonstao
Precisamos determinar p , q M , q 6= minM , com p q = u.
Tomemos um Racional s 6 , com s 6= minM , e, para cada n N, consideremos o Racional
qn = nu + s.
Seja n o mximo dos naturais n para os quais qn M e qn 6= minM . Dois casos podem ocorrer:
(i) qn M e qn+1
.
Tomando-se q = qn e p = qn+1
, p q = u.
(ii) qn M e qn+1
= minM (que s ocorrerr se mimM existir).
+ 21 u, p q = u, com p e q M , q 6= minM .
Tomando-se q = qn + 12 u e p = qn+1
Lema 2 Seja um nmero Real e indique por M o conjunto dos Racionais que so cotas
superiores de . Ento = {p Q| p M e p 6= minM } um nmero Real.
18
Prova:
Supondo que no tenha cota mnima, tem-se
(i) como um nmero Real, ento 6= Q, portanto existe algum q Q tal que q
/ ,
tomando p = q temos que p = q
/ , isso implica que p M . Logo p , ou seja,
6= . Alm disso 6= , ento existe r . Fazendo p0 = r temos p0 = r Q, como
p0 = r ento p0
/ M , com isso p0
/ , isso quer dizer que 6= Q.
(ii) Seja p e q Q tal que q < p, mostraremos que q :
Sendo p ento p
/ . Se q < p ento p < q, isso mostra que q
/ , como no
possui mnima cota superior, ento nos resta a hiptese de que q M . Portanto q .
(iii) Por fim, provaremos que no possui mximo:
Seja p ento p M , como no possui mnima cota superior, existe q M tal que
q < p ou seja, q e p < q. Isso prova que no possui mximo.
Supondo que = {q Q|q < a} onde a a mnima cota superior de .
(i) Sabe-se que a
/ , ento a + 1
/ . Tomemos p = (a + 1) = p = (a + 1)
/ e alm
disso p 6= minM . Portanto p e 6= . Reciprocamente, a 1 . Fazendo q=a + 1
ento q = (a 1) = (a 1)
/ M , logo q
/ , da 6= Q.
(ii) Seja p e q Q tal que q < p, mostraremos que q :
Sendo p ento p
/ e p 6= minM . Se q a isso implica que p < a.
2
necessrio e suficiente provar que p < y < a:
a + p a p p p
y=
=
+ > + = p = y > p.
2
2
2 2 2
a + p a p a a
y=
=
+ <
+
= a = y < a. Segue da que p < y < a, ou seja,
2
2
2
2
2
no possui mximo.
(iii) Seja p , tomemos y =
Demonstrao da existncia do oposto: Sejam e = {p Q| p M e p 6= minM

nmeros Reais com definido e demonstrado no lema 2, onde M o conjunto dos Racionais
que so cotas superiores de . Provaremos inicialmente que + 0 :
Para todo x + = x = a + b para algum a e algum b . Pela definio de se
b ento b M ou seja, b uma conta superior de sem ser o mnimo de M , sendo
assim b > a para todo a , ento a + b < 0. Assim x = a + b 0 . Portanto, + 0 .
19
Reciprocamente, precisamos provar que, se x 0 , ento x = a + b para algum a e algum
b . Para isso utilizaremos o lema 1.
Sabe-se que 0 = {x Q|x < 0}, como x < 0, segue, do lema 1, que existem a e b M ,
com b 6= minM , tais que x = a (b); assim x = a + b com a e b . Portanto,
x + da 0 + .
De + 0 e 0 + s nos resta a concluso de que + = 0
Nota: O nmero ser denominado o oposto de e idicado por
Teorema 5 (Unicidade do oposto) O oposto de um nmero Real nico.
Prova: Suponha que existam , , tais que + = 0 e + = 0 Pela propriedade do
elemento neutro temos = + 0 = + ( + ) usando a associativa, temos + ( + ) =
( + ) + , como + = 0 ento ( + ) + = 0 + = isso mostra que = .
3.4.5
Monotonicidade da Adio
Para quaisquer , , nmeros Reais, tem-se que se ento + + .

Demonstrao: Dado x + = x = a + c para algum a e algum c .
Se = (Basta lembrar da definio 3.2.1). Da hiptese, temos que a =
a . Assim x = a + c para algum a e algum c logo x + . Provamos assim que
= + + = + + .
Teorema 6 (Unicidade do elemento neutro) Se + = ento = 0
Prova: Se + = , utilizando a monotonicidade da adio, e a propriedade do elemento
oposto obtemos: + + () = + (), logo + + () = 0 , pela associativa teremos
( + ()) + = 0 , novamente pela propriedade do oposto temos 0 + = 0 ento = 0 .
3.5
Multiplicao em R
Teorema 7 Sejam , R, com > 0 e > 0 . Ento = Q {ab|a , b , a > 0, b >

0} um nmero Real.
Prova: Utilizaremos a definio de nmero Real, para mostrar este teorema.
(i) 6= pois Q .
Dado e nmeros Reais, existem dois Racionais m e n tais que m 6 e n 6 logo, a ,
com a > 0 temos a < m e b temos b < n. Da ab < mn. Portanto mn 6 .
20
(ii) Sejam p e q Racionais com p e q < p, se p 0 ento q < 0, logo q . Se p > 0
e q < 0 ento q . Se p > 0 e q > 0 ento p = ab para algum a e algum b com
a > 0 e b > 0. De 0 < q 0. Logo, a.( qa ) , mas
a.( qa ) = q. Portanto, q .
(iii) Tome p com p > 0 isso implica que p = ab para algum a e algum b com
a > 0 e b > 0. Como e so nmeros Reais, ento existem a0 e b0 onde a < a0 e
b < b0 , da segue que ab < a0 b0 . Mas a0 b0 . Isso mostra que no tem mximo. Ou seja,
um nmero real, por (i), (ii) e (iii).
3.5.1
Definio
Sejam e dois nmeros Reais. Definamos o produto de por por:

= Q {ab|a , b , a > 0, b > 0}. Se > 0 , > 0 .
= 0 se = 0 ou = 0 .
= {() ( )} se < 0 e > 0 .
= { ( )} se > 0 e < 0 .
= () ( ) se < 0 e < 0 .
Exemplo 4 Seja = Q {p Q+ |p < 2}; prove que = 2
Prova: Vamos mostrar que 2 e que 2 .
Por definio, temos que = Q {ab|a > 0 e a2 < 2, b > 0 e b2 < 2}.
(i) Para todo x e x 6 0 ento x 2 .
Para todo x e x > 0 ento x = ab da x2 = a2 .b2 < 4. Se x > 0 e x2 < 4 ento x < 2.
Portanto, x 2 . Isso mostra que 2 .
(ii) Para todo x 2 e x 0 ento x .
x2
Para todo x 2 e x > 0 ento 0 < x < 2 isso implica que

< 2.
2

2
x
x 2
x
Existe um nmero Racional a > 0 tal que
< a2 < 2. Da
< 2, isso resulta que .
2
a
a
x
x
Assim, x = a. , logo x = a.
. Portanto 2 .
a
a
De 2 e 2 segue que = 2 .
3.6
Propriedades da Multiplicao
Sejam , e nmeros Reais quaisquer. A multiplicao verifica as seguintes propriedades:

3.6.1
Associativa
( ) = ( )
21
Demonstrao
Mostraremos para cada caso descrito na definio 3.5.1, vejamos:
Caso 1: > 0 , > 0 , > 0 , ento( ) = Q {(ab)c|ab , a > 0, b > 0, c , c > 0}
e ( ) = Q {a(bc)|a , a > 0, bc , b > 0, c > 0}.
Precisamos provar que ( ) ( ), ou seja:
para todo x ( ) se x 6 0 ento x ( ). Se x > 0 ento faamos x = (ab)c para algum a , b e algum c . Como x Racional, ento vale a propriedade da associativa,
x = (ab)c = a(bc), da x ( ). Conclui-se que ( ) ( ).
Para provar que ( ) ( ), prosseguimos de modo anlogo. Portanto, ( ) = ( ).
Caso 2: = 0 ou = 0 ento teremos ( ) = 0 , mas, se = 0 ento por definio = 0 ou = 0 . Se = 0 , ou se = 0 , ou se = 0 teremos ( ) = 0 . Isso implica
que ( ) = 0 = ( ).
Caso 3: < 0 e > 0 , ento ( ) = {( )}. Como < 0 ento > 0 , o que
recai no primeiro caso dessa demonstrao, portando ( ) = {( )} = {( )} =
{( )} = ( ).
Caso 4: > 0 e < 0 ento ( ) = {( )()}. Como por hiptese < 0 ento
> 0 e recamos no caso 1, ou seja, ( ) = {( )()} = {()[ ()]} = ( ).
Caso 5: < 0 e < 0 , temos ( ) = ( )(), sabendo que como < 0 ento ( ) > 0 , por 3.5.1 ( ) = () = ( ) > 0 e () > 0 , portanto, pelo caso
1, temos ( ) = ( )() = ()[ ()] = ( ).
3.6.2
Comutativa
=
Demonstrao
Provaremos apenas um caso, e deixaremos os outros a cargo do leitor.
importante lembra que = Q {ab|a , a > 0, b , b > 0} e = Q {ba|b
, b > 0, a , a > 0}.
x se x 0, ento x . Seja x > 0 tomemos x = ab, como x Q a propriedade comutativa vlida, assim x = ab = ba, isto , x . Portanto, . Analogamente, y
se y 0 ento y . Mas, se y > 0, tomemos y = ba = ab logo y , portanto .
Assim podemos concluir que = .
Os demais casos podem ser demonstrados seguindo os passos da propriedade anterior.
22
3.6.3
.1 =
Demonstrao: Para demonstrar a existncia do elemento neutro verificaremos trs situaes:
(i) > 0 , (ii) = 0 e (iii) < 0 .
(i) Supondo inicialmente que > 0 , pela definio de nmero Real e pela definio 3.5.1,
1 = Q {ab|a , a > 0, 0 0 ento tomemos x = ab, para algum b < 1. Note que
x < a, portanto, x . Isso nos faz concluir que 1 .
u
Reciprocamente, x , se x 0 ento x 1 , se x > 0, tomemos x = a. tal que 0 0 ,
logo () 1 = , da 1 = {() 1 } = {} = = 1 = .
3.6.4
Existncia do oposto
Se 6= 0 , existe R tal que . = 1

Para provar esta propriedade necessitaremos dos seguintes lemas:
Lema 3 Seja > 0 um nmero Real e M o conjunto dos Racionais que so cotas superiores
1
1
de , ento = Q {p Q|p > 0, M e 6= minM } um nmero Real.
p
p
Prova: Provaremos os trs itens da definio de nmero Real:
(i) 6= e 6= Q
Se um nmero Real, ento 6= Q, assim existe um x Q tal que x
/ e x 6= minM .
1
1
1
1
1
Tomando y = = x = , temos M e 6= minM . > 0 = 0 < x, portanto >
x
y
y
y
y
0 = y > 0 da conclui-se que y , logo 6= . Reciprocamente, 6= , ento existe x0 Q
1
1
1
tal que x0 , logo x0
/ M . Tomando y0 = 0 = x0 = 0 . Como 0
/ M ento y0
/ , com
x
y
y
isso 6= Q.
(ii) p, q Q, se p e q a. Tome a0 = = a = 0 , logo
b
a
a
1
b + a0 b a0 b b
1 1
1
0
< = b < a . Agora tome c =
= + > + = b = < .
a0 b
2
2 2
2 2
c b
b + a0
b a0
a0 a0
1
1
1
1
1
Ainda em c =
= + < + = a0 = > 0 . Conclumos que 0 < < e
2
2 2
2
2
c
a
a
c
b
1
M , Alm disso conclumos que c e b < c. Um absurdo, pois b = Max( ). Logo no
c
possui mximo.
1
Provado os itens necessrios, podemos dizer ento que = Q {p Q|p > 0, M e
p
1
6= minM } um nmero Real.
p
Suponha que existe b tal que b = Max( ), ento
Lema 4 Sejam um nmero Real, 0 < u < 1 um nmero Racional e M o conjunto das cotas
superiores
de . Nestas condies existem p , q M , com q 6= minM (caso exista), tais
1
que p.
= u.
q
Prova: Inicialmente tomamos um Racional t
/ com t 6= minM . Para cada n N definamos o Racional qn = unt, agora tomemos o natural m como sendo o mximo dos naturais para
os quais qn M e qn 6= minM .
Nessa situao, dois casos so considerados:

1
=
Caso 1: qm M e qm+1 . Sendo assim, tomemos p = qm+1 e q = qm , note que p.
q

1
1
u.umt
qm+1 .
= um+1t. m = m = u.
qm
u t
u t
1
1
Caso 2: qm M e qm+1 = minM . Se assim for, tomemos p = u(m+2)t e q = u(m+1)t,
2
2

1
1
1 (m+2)
u(m+2)t
note que p.
= u
t.
=
= u. C.q.d.
1 (m+1) u(m+1)t
q
2
u
t
2
Demonstrao da existncia do oposto: Suponha inicialmente que > 0 , tome = Q

1
1
{p Q|p > 0, M e 6= minM } onde M o conjunto dos Racionais que so cotas sup
p
periores de . Pelo Lema 3 um nmero Real. Primeiro vamos provar que 1 :
x , se x 0 ento x 1 , se x > 0 ento faamos x = ab com a , a > 0 e b , b > 0,
1
sendo assim, a < isso implica que x = ab < 1, com isso x 1 , da 1 .
b
Provemos agora que 1 :
Vale lembrar que 1 = {y Q|y < 1}, sendo assim, se y 0 ento y (consequncia da
24
definio de produto de nmeros Reais positivos). se y > 0 ento segue do lema 4 que existem
1
1
1
a e M , com 6= minM de tal modo que y = a. 1 . Assim y = a.b com a e
b
b
(b)
b , portanto y o que nos faz concluir que 1 .

De 1 e 1 , conclumos que = 1 .
Supondo agora que < 0 ento > 0 , logo, de acordo com o que foi demonstrado acima,
existe um tal que () = 1 , mas () = ( ), portanto, ( ) = 1 .
3.6.5
Distributiva
( + ) = +
Demonstrao: Provaremos que ( + ) + e que + ( + ).
suponhamos inicialmente que > 0 , > 0 e > 0 . Para mostrar que ( + ) +
tomemos ento um x ( + ), se x 0 ento x + . Se x > 0 ento tomemos x = rs,
para algum r > 0, r e para algum s > 0, s ( + ), sendo assim, por definio de adio
de nmeros Reais s = s1 + s2 tal que s1 e s2 , ento x = r(s1 + s2 ), da x = rs1 + rs2 , com
isso ,x + portanto ( + ) + .
Para mostrar que + ( +) basta tomar x +, se x 0 ento x ( +). Se
x > 0, como > 0 e > 0 , ento existem u , u > 0 e v , v > 0 tais que x = u + v,
fazemos ento u = ab e v = a0 c, com a, a0 , a > 0, a0 > 0, b , b > 0 e c , c > 0. Da
x = ab + a0 c. Se supusermos que a0 a ento x = ab + a0 c ab + ac = a(b + c) ( + )
e pela definio de nmero Real, x = ab + a0 c ( + ). Se supusermos que a < a0 ento
x = ab + a0 c < a0 b + a0 c = a0 (b + c) ( + ) e novamente pela definio de nmero Real,
x = ab + a0 c. Da provamos que + ( + ).
Supondo agora que > 0 e + > 0 e < 0 , temos que = [( + ) + ( )] Como
demonstrado no caso acima, podemos fazer [( + ) + ( )] = ( + ) + ( ), da provamos que ( + ) = + .
Supondo ainda que > 0 e + < 0 teremos ( + ) = [( )] = [( ) +
()] ou seja, ( + ) = + .
As demonstraes dos demais casos so anlogas s que aqui foram explcitas, portanto no
achamos necessrio exp-las.
3.6.6
Monotinicidade da Multiplicao
Se e 0 ento .
25
Demonstrao: Devemos provar que :
Inicialmente sabemos que e que 0 , definindo = {x Q|x < a} e = {y Q|y < b}
fcil perceber que y a 0:
= Q {ac|a , a > 0, c , c > 0} e = Q {bc|b , b > 0, c , c > 0},
se 0 ento , se > 0 ento tomemos = ac, para algum a e algum c , perceba que = ac < bc e pela definio de nmero Real = ac . Isso implica que
ou seja, .
Se < 0 e > 0 :
Temos > 0 e com base no caso anterior, > 0 = 0 , mas se > 0 ento < 0 ,
portanto para todo teremos que com = Q {bc|b , b > 0, c , c > 0}.
Assim conclumos que .
Se < 0 :
Teremos < 0 = 0 < , pelo primeiro caso = .
O caso em que = = 0 trivial.
3.7
Teorema do Supremo
Um subconjunto de A diz-se limitado superiormente se existe um nmero Real m tal que, para
todo A, m.
A demonstrao desse teorema requer a utilizao do seguinte lema:
Lema 5 Seja A um subconjunto de R, no vazio e limitado superiormente. Ento, = A =
{x Q|x }, para algum A, um nmero Real.
Prova: Provemos utilizando a definio de nmero Real.
(i) Sendo A 6= , existe um A como 6= ento 6= .
Se A limitado superiormente ento existe m R tal que m para todo A. Da existe
x Q onde x 6 m, logo, para todo A, x 6 . Portanto x 6 . Com isso conclumos que 6= Q.
(ii) Sejam p e q dois Racionais quaisquer, com p e q < p. Temos:
p = p para algum A.
p e q p.
p0 = p0 . Assim, para todo p , existe p0 , com p0 > p. Portanto, no tem
mximo.
Com as trs condies verificadas, pode-se concluir que = A = {x Q|x }, para
algum A, um nmero Real.
Teorema 8 (Teorema do Supremo) Se A for um subconjunto de R no vazio e limitado superiormente, ento A admite supremo.
Prova: Seja = A Pelo Lema 2 um nmero Real. Como a reunio dos pertencentes a A, segue que, para todo A, , ou seja, . Logo uma cota superior
do conjunto A. Por outro lado, se 0 tambem uma cota superior de A ento 0 para todo
A. Portanto 0 , logo = A 0 , ou seja, y 0 . Isso quer dizer que a menor
das cotas superiores de A. Isto , = Sup{A}.
27
Construo dos nmeros Reais pelas sequncias de Cauchy
Nesta seo abordaremos um mtodo de construo dos nmeros Reais sugerido pelo matemtico alemo Georg Cantor, que por sua vez imaginava a construo dos nmeros Reais de
maneira diferente do que imaginara Dedekind, apesar de ambos terem se baseado no conjunto
dos nmeros Racionais.
Como visto na seo anterior, o mtodo de Corte de Dedekind define um nmero Real como
sendo uma coleo de nmeros Racionais e a partir dessa coleo e das noes de conjuntos
foi possvel provar todas as propriedades referente ao corpo dos nmeros Reais. A ideia de
Cantor foi divergente ao corte, mesmo tomando os Racionais como ponto de partida Cantor utilizou a noo de sucesso fundamental, ou sequncia de Cauchy, que consiste numa sucesso
a1 , a2 , ..., an , ... onde para qualquer Q+ existe n1 N tal que |am+n an | < para n > n1 e
qualquer m N.
Para qualquer pessoa dotada de conhecimento sobre o tema, trivial que uma sequncia de
Cauchy Converge para um nmero Real. Mas, para Cantor, essa afirmao s seria vlida se
supusssemos a prvia existncia desse nmero Real. Uma vez no confirmado a existncia do
nmero, a hiptese de que a sequencia converge para um nmero Real cairia em um equvoco.
Consequentemente, o matemtico utilizou a noo de sequncia de Cauchy para definir o nmero Real b, ou seja, toda a sucesso fundamental de nmeros Racionais era associado a um
nmero Real.
Tomando nota de que duas sequncias de Cauchy poderiam convergir para o mesmo valor
Real, Cantor definiu uma relao de equivalncia no conjunto formado por essas sequncias.
0
desse modo, um nmero Real , associado a uma sequncia ai , igual ao nmero , associ0
0
ado a uma sequncia ai , se para qualquer > 0, existe um n1 N , tal que |an an | < ,
n > n1 .
Nas prximas sees dessa seo faremos uma correspondncia de todo e qualquer nmero Real com classes de equivalncia de sequncias de cauchy, apresentaremos uma definio
formal de nmero Real usando o mtodo citado, demonstraremos as propriedades da adio
e multiplicao e por fim provaremos um dos teoremas mais importantes da Anlise Real, o
Teorema do Supremo.
4.1
Definio de nmero Real
Definio 3 R0 = {(an )nN |(an ) Q, |an am | < ; > 0 Q; n, m N N}

Em outras palavras, o conjunto R0 o conjunto formado pelas sequncias de Cauchy de nmeros
28
Racionais.
R
Teorema 9 Seja R0 um conjunto como na definio 3, a relao (an ) (b
n ) lim (an
n
0
bn ) = 0 com an , bn R uma relao de equivalncia.
Demonstrao: Provaremos esse teorema utilizando a definio 1 que consta na subseo

2.2.
R n ) lim (xn xn ) = 0.
(i) Se (xn ) R0 ento (xn ) (x
n
De fato, basta ver que lim (xn xn ) = lim 0 = 0.
n
R n ) ento (yn ) (x
R n ).
(ii) Se (xn ), (yn ) R0 e (xn ) (y
R n ) lim (xn yn ) = 0 = lim (xn yn ) = lim [(yn xn )] = lim (1).
Sabe-se que (xn ) (y
n
n
n
n
R n ).
lim (yn xn ) = (1).0 = 0 = (yn ) (x
n
R n ) e (yn ) (z
R n ) ento (xn ) (z
R n)
(iii) Sejam xn , yn e zn elementos de R0 , se (xn ) (y
R n ) lim (xn yn ) = 0 e (yn ) (z
R n ) lim (yn zn ) = 0. Utilizando a
Note que (xn ) (y
n
n
definio de sequncia de Cauchy, podemos concluir que (I) |xn yn | < 1 e (II) |yn zn | < 2 ,
fazendo (I)+(II) pela monotonicidade da adio e pela transitividade em Q temos que
|(xn yn )| + |(yn zn )| < 1 + 2 = |(xn yn ) + (yn zn )| |(xn yn )| + |(yn zn )| < 1 +
2 = |(xn zn )| < 1 + 2 .
R n ).
Tomando 1 + 2 = teremos |(xn zn )| < = lim (xn zn ) = 0 = (xn ) (z
n
R uma relao de equivalnVerificado as trs condies, fica ento provado que a relao
cia.
R
Definio 4 R = R0 /
Em outras palavras, o conjunto dos nmeros Reais, denotado por R, ser definido como sendo
a unio das classes de equivalncia das sequncias de Cauchy. Desse modo, se R ento
= {(an )} onde {(an )} a classe de equivalncia representada pela sequncia de Cauchy
(an )nN .
Exemplo 5 = {( 2)}, onde {( 2)} a classe de equivalncia constituda por todas as
sequncias de Cauchy que convergem para 2, um nmero Real. Com Efeito, a sequncia
bn = (1, 1.4, 1.41, 1.414, 1.4142, 1.41421, ...) pertence classe = {( 2)}. Ou seja, 6= .
Exemplo 6 = {()}, onde {()} a classe de equivalncia constituda por todas as sequncias de Cauchy que convergem para , um nmero Real.
Assim como no exemplo 5, podemos tomar uma sequncia cn = (3, 3.1, 3.14, 3.141, 3.1415, ...)
que est em = {()}. Isso garante que = {()} 6= .
29
Exemplo 7 Para todo q Q, a classe = {(q)} um nmero Real. Com efeito podemos tomar
a sequncia constante qn = (q, q, q, ...) = {(q)}. Deste modo, v-se que Q R.
Exemplo 8 O nmero de Euler , talvez, o exemplo mais claro de nmeroReal construido
por

1 n
uma sequncia de nmeros Racionais. Note que n N sempre teremos 1 +
Q. Note
n
que essa sequncia
e, pois o nmero e j definido como o limite da
converge para o nmero

1 n
1 n
. Dessa forma, { 1 +
} um nmero Real.
sequncia 1 +
n
n
4.2
4.2.1
Relao de ordem em R
Definies
Definio 5 Seja = {(an )} R. Dizemos que > 0 = {(0)} se existem q Q, q > 0 e

n0 N tal que n > n0 = an > q.
Definio 6 Seja = {(an )} R. Dizemos que < 0 se existem q Q, q > 0 e n0 N tais
que n > n0 = an < q
R
Definio 7 Sejam = {(an )}, = {(bn )} R. Dizemos que = se (an ) (b
n ).
Definio 8 Sejam , R. Dizemos que > se > 0 ou se < 0 .

Definio 9 Sejam , R. Dizemos que < se < 0 ou se > 0 .
Lema 6 Sejam (an ) e (bn ) sequncias de Cauchy de nmeros Racionais, se an < bn ento
{(an )} < {(bn )}
Prova: Suponha por absurdo que tenhamos {(an )} > {(bn )}, ento {(an bn )} > 0 da por
definio, existe um q Q, q > 0 e um n0 N tal que n > n0 = (an bn ) > q, isso quer dizer
que an > bn + q, mas como q > 0 ento bn + q > bn ou seja, an > bn + q > bn = an > bn . Um
absurdo, pois an < bn .
R n e
Teorema 10 Sejam an , bn , cn e dn sequncias de Cauchy de nmeros Racionais e an c
R n com an < bn = cn < dn .
bn d
Demonstrao: se (an ) < (bn ) ento, pelo lema 6, {(an )} < {(bn )}, ou seja {(bn an )} > 0,
da existem d Q, d > 0 e n1 N de tal forma que n > n1 = bn an > d. Reciprocamente, se
R n e bn d
R n , isso ento lim (cn an ) = 0 e lim (dn bn ) = 0. Logo, existem n2 , n3 N onde
an c
n
n
d
d
n > n2 = |cn an | < e n > n3 = |bn dn | < . Seja n0 = max{n1 , n2 , n3 } ento n >
4
4
d d
d
d
n0 = |cn an | + |bn dn | < + = |cn an + bn dn | < = |(bn an ) + (cn dn )| <
4 4
2
2
d
d
d
logo, n > n0 =
< (bn an ) + (cn dn ) < , em particular, (bn an ) + (cn dn ) < ,
2
2
2
d
como d < bn an ento segue que d + (cn dn ) < (bn an ) + (cn dn ) < = d + (cn dn ) <
2
30
d
d
. Multiplicando os membros da desigualdade por 1, obtemos d + (dn cn ) >
=
2
2
d
(dn cn ) >
+ d > 0 = (dn cn ) > 0. Donde cn < dn . C.Q.D.
2
O teorema demonstrado acima comprovou que a relao "<"est bem definida em R.
Teorema 11 (Transitividade) Sejam , e nmeros Reais, se e ento .
Demonstrao: Inicialmente definamos = {(an )}, = {(bn )} e = {(cn )} elementos de
R.
A demonstrao de = trivial, pois se = e = ento camos numa igualdade entre
conjuntos e facilmente chegamos a concluso de que = . Nos preocuparemos portanto em
demonstrar que, nas condies do teorema, < .
Sendo < temos = {(bn an )} > 0 , ento por definio existem d 0 Q, d 0 > 0 e
n0 N tais que n > n0 = bn an > d 0 . Reciprocamente, < = = {(cn bn )} > 0
e novamente por definio, existem d 00 Q, d 00 > 0 e n00 N tais que n > n00 = cn bn > d 00 ,
da, faamos n0 = max{n0 , n00 }, dessa forma n N, n > n0 = bn an + cn bn > d 0 + d 00 =
cn an > d = d 0 + d 00 , segue da que {(cn an )} = > 0 = < .
Teorema 12 (Tricotomia) Quaisquer que sejam e em R, ou > ou > ou = .
Demonstrao: Sejam = {(an )}, = {(bn )} R, vlida apenas uma das duas opes
seguintes: ou {(an )} = {(bn )} ou {(an )} =
6 {(bn )}, caso {(an )} =
6 {(bn )} ento lim (an
n
bn ) = L 6= 0, logo, pelas propriedades do limite de uma sequncia de nmeros Racionais, se
lim (an bn ) = L ento lim [(an bn ) L] = 0, da, pela definio de nmero Real e pela
n
n
definio 7 temos {(an bn )} = {(L)}. Como L Q onde a ordem est bem definida, ento ou
L > 0 ou L < 0.
Caso L > 0 tomemos a sequncia xn = L, n N, note que para qualquer n0 escolhido, teremos
L
n > n0 = xn > , Assim, pelas definies 5 e 8 {(xn )} = {(L)} > 0 , mas pela transitividade,
2
se {(an bn )} = {(L)} e {(xn )} = {(L)} ento {{(an bn )} = {(xn )} = {(an bn )} > 0 =
{(an )} > {(bn )}.
L
Caso L < 0 tomemos yn = L e para qualquer n0 escolhido teremos n > n0 = yn < . Pelas
2
definies 6 e 9, {(yn )} = {(L)} < 0 e novamente pela transitividade {(an bn )} = {(yn )} <
0 = {(an bn )} < 0 = {an } < {bn }.
importante notar que, como L Q, uma e somente uma das afirmaes a seguir verdadeira:
ou L < 0 ou L = 0 ou L > 0. Sendo L < 0, teremos {(an )} < {(bn )}, como mostra a demonstrao acima. Se L = 0, {(an )} = {(bn )} e se L > 0 ento temos {(an )} > {(bn )}. Em outras
palavras, uma e apenas uma das afirmaes a seguir verdadeira:
Ou {(an )} < {(bn )}, ou {(an )} = {(bn )} ou {(an )} > {(bn )}.
31
4.3
4.3.1
Adio em R
Definio
Definio 10 Sejam e elementos de R. Ento existem sequncias de Cauchy (an ), (bn )

de nmeros Racionais com = {(an )} e = {(bn )} de tal modo que seja a classe de
equivalncia da sequncia (an + bn ), ou seja, = {(an + bn )}.4
Para mostrar que a definio de adio, como explcito acima, est bem definida em R
apresentaremos e provaremos o teorema a seguir.
Teorema 13 Sejam (an ), (bn ), (cn ) e (dn )sequncias de Cauchy de nmeros Racionais.
R n ) e (bn ) (d
R
R
Se (an ) (c
n ) ento {(an + bn )} {(c
n + dn )}.
R n ) e (bn ) (d
R
Demonstrao: Se (an ) (c
n ) ento lim (an cn ) = 0 e lim (bn dn ) = 0, ento
n
n
dados 1 > 0, 2 > 0 existem n1 , n2 N tais que:
n > n1 = |an cn | < 1 = 1 < an cn < 1

n > n2 = |bn dn | < 2 = 2 < bn dn < 2
Tomemos n0 = max{n1 , n2 }, ento n > n0 = 1 2 < an cn +bn dn < 1 +2 = |(an +
R n +dn ).
bn )(cn +dn )| < = 1 +2 , da lim [(an +bn )(cn +dn )] = 0, portanto (an +bn ) (c
n
4.4
4.4.1
Propriedades da adio
Associativa
Para qualquer , , nmeros Reais, tem-se que + ( + ) = ( + ) + .

Demonstrao: Inicialmente tomemos = {(an )}, = {(bn )}, = {(cn )}.
+ ( + ) = {(an )} + ({(bn )} + {(cn )}). No difcil de perceber que para qualquer n N
an , bn , cn Q, uma vez que estas so sequncias de Cauchy de nmeros Racionais. Assim
sendo, como para Q vido a propriedade associativa, ento {(an )} + [{(bn )} + {(cn )}] =
{(an )} + {(bn ) + (cn )} = {(an ) + [(bn ) + (cn )]} = {[(an ) + (bn )] + (cn )} = {(an ) + (bn )} +
{(cn )} = [{(an ) + (bn )}] + (cn )} = ( + ) + .
4.4.2
Comutativa
Para qualquer , nmeros Reais, tem-se que + = + .

Demonstrao: Definamos = {(an )}, = {(bn )}. Sabemos que a comutativa vale para
qualquer par de nmeros Racionais e que qualquer que seja n N teremos an , bn Q. Sendo
assim, + = {(an )} + {(bn )} = {(an + bn )} = {(bn + an )} = {(bn )} + {(an )}.
4 (a + b ) =
n
n
(a1 + b1 , a2 + b2 , ..., an + bn ), ou seja, a operao efetuada adicionando termo a termo.
32
4.4.3
Para qualquer nmero Real, tem-se que + 0 = .

Demonstrao: Para mostrar a existncia de elemento neutro basta tomar 0 = {(0)} como
a classe de equivalncia da sequncia em que todos os seus termos so iguais a 0. Com efeito
definindo = {(an )}, temos + 0 = {(an )} + {(0)} = {(an + 0)} = {(an )} = .
Note que ao definirmos o elemento neutro como sendo a classe de equivalncia da sequncia (0)
onde todos os seus termos so nulos, estamos automaticamente determinando a sua unicidade.
Com efeito, dizer que existe um elemento {(bn )} tal que {(an )} + {(bn )} = {(an )} dizer que
{(bn )} = {(0)}. Note ainda que {(0)} est bem definido em R pois a sequncia de termos nulos
converge para zero e portanto uma sequncia de Cauchy.
Lema 7 Se (xn ) uma sequncia de Cauchy de nmeros Racionais, ento (xn ) tambm .
Demonstrao: Por definio, se (xn ) uma sequncia de Cauchy ento dado > 0 existem n, m N tais que |xn xm | < . Mas |xn xm | = | (xn xm )| = |(xn ) (xm )| < . Isso
mostra que (xn ) uma sequncia de Cauchy.
4.4.4
Existncia do oposto
Para todo R existe R com + = 0 .

Demonstrao: tome = {(an )} e = {(bn )}. + = 0 = {(an )} + {(bn )} = {(0)} =
{(an + bn )} = {(0)} = an + bn = 0, n N. Isso que dizer que bn = an . Da {(bn )} =
{(an )}. De acordo com o lema 7, (an ) uma sequncia de Cauchy, portanto {(an )} R.
4.4.5
Compatibilidade da adio com a ordem
Para quaisquer , , nmeros Reais, tem-se que se ento + + .

Demonstrao: Tome = {(an )}, = {(bn )} e = {(cn )}. < = {(an )} < {(bn )} =
{(an bn )} < 0 , portanto existem d Q, d > 0 e n0 N tais que n > n0 = an bn <
d = (an bn ) + (cn cn ) < d = (an + cn ) (bn + cn ) < d, isso, por definio, implica em {(an + cn ) (bn + cn )} < 0 = {(an + cn )} {(bn + cn )} < 0 = {(an + cn )} <
{(bn + cn )} = + < + .
33
4.5
4.5.1
Multiplicao em R
Definio
Definio 11 Seja e elementos de R. Ento existem sequncias de Cauchy (an ), (bn ) de

nmeros Racionais com = {(an )} e = {(bn )} de tal modo que seja a classe de
equivalncia da sequncia (an .bn ), ou seja, = {(an .bn )}.5
O teorema que demonstraremos a seguir garante que a definio de produto de nmeros
reais consistente e bem definida.
Teorema 14 Sejam (an ), (bn ), (cn ) e (dn ) sequncias de Cauchy de nmeros Racionais. Se
R n ) e bn (d
R
R n .dn )
(an ) (c
n ) ento (an .bn ) (c
Demonstrao: Primeira mente notemos que: |an .bn cn .dn | = |an .bn an .dn +an .dn cn .dn | =
|an .(bn dn ) + dn .(an cn )| |an ||bn dn | + |dn ||an cn |.
Como as sequncias (an ) e (dn ) so de Cauchy, logo so limitadas, da existem k1 , k2 Q com
k1 > 0, k2 > 0, tais que |an | k1 e |dn | k2 para todo n N.
Tomemos k = max{k1 , k2 } logo |an | k e |dn | k para todo n N. Da, |an .bn cn .dn |
|an ||bn dn | + |dn ||an cn | k|bn dn | + k|an cn |.
R n e que bn d
R n , ento lim |an cn | = 0 e lim |bn dn | = 0,
Reciprocamente, sabemos que an c
n
n
logo existem n1 , n2 N tais que dado 1 , 2 Q com 1 > 0, 2 > 0 tenha-se:
n N, n > n1 = |an cn | < 1
n N, n > n2 = |bn dn | < 2
Tomando n0 = max{n1 , n2 }, para todo n N, n > n0 teremos que |an bn cn dn | k|bn dn | +
R n .dn ).
k|an cn | < = k(1 +2 ). Portanto lim [(an .bn )(cn .dn )] = 0, isso implica que (an .bn ) (c
n
4.6
Propriedades da Multiplicao
Sejam , e nmeros Reais quaisquer. Na multiplicao verifica-se as seguintes propriedades.

4.6.1
Associativa
( ) = ( )
Demonstrao: Definamos inicialmente = {(an )}, = {(bn )} e = {(cn )}.
( ) = [{(an )}.{(bn )}]{(cn )} = {(an .bn )}.{cn } = {([an .bn ].cn )}, note que para qualquer n
natural, sempre teremos an , bn , cn Q, Como para os nmeros Racionais so vlidos a propriedade associativa em relao a operao de multiplicao , ento podemos dizer que {([an .bn ].cn )} =
{(an .[bn .cn ])} = {(an )}.{(bn .cn )} = {(an )}.[{(bn }.{cn )}] = ( ).
5 (a .b ) =
n n
(a1 .b1 , a2 .b2 , ..., an .bn ), ou seja, a operao efetuada multiplicando termo a termo.
34
4.6.2
Comutativa
=
Demonstrao: Sejam = {(an )} e = {(bn )}, = {(an )}.{(bn )} = {(an .bn )}. Assim
como a propriedade associativa, a comutativa tambm vlida para qualquer par de nmeros Reais, alm disso, se = {(an )} e = {(bn )} so sequ?ncias de Cauchy de nmeros
Racionais, ento para todo n natural sempre teremos an , bn Q, logo podemos lanar mo
da propriedade comutativa de nmeros Racionais sobre essas sequncias, assim temos que
= {(an .bn )} = {(bn .an )} = {(bn )}.{(an )} = .
4.6.3
.1 =
Demonstrao: Para provar a existncia de elemento neutro tomaremos como 1 = {(1)} a
classe de equivalncia da sequncia constante correspondente a sequncia em que todos os seus
termos so iguais a 1. Note que essa sequncia de fato de Cauchy pois ela converge para 1.
Com efeito, se definirmos = {(an )}, teremos .1 = {(an )}.{(1)} = {(an .1)} = {(an )} = .
Lema 8 Se an uma sequncia de Cauchy de nmeros Racionais tal que lim an 6= 0 ento an
n
equivalente a uma sequncia a0n de termos todos diferentes de zero.
Demonstrao: Se lim an 6= 0 ento uma, e apenas uma, das afirmaes a seguir verdan
deira: {(an )} > 0 ou {(an )} < 0 .
Caso {(an )} > 0 , existem d1 Q, d1 > 0 e n1 N tais que n > n1 = an > d1 . Isso implica
que an1 +i > d1 , i N. Tomando (an ) = (a1 , a2 , ..., an1 , an1 +1 , ...) e (a0n ) = (d1 , an1 +1 , an1 +2 , ...).
fcil perceber que para algum n1 N, n > n1 = an a0n = 0, ou seja, lim (an a0n ) = 0,
n
R 0n .
isso implica que an a
De mesma forma, caso {(an )} < 0 , existem d2 Q, d2 > 0 e n2 N tais que n > n2 =
an < d2 . Isso implica que an2 +i < d2 , i N. Tomando (an ) = (a1 , a2 , ..., an2 , an2 +1 , ...) e
(a0n ) = (d2 , an2 +1 , an2 +2 , ...). fcil perceber que para algum n2 N, n > n2 = an a0n = 0,
R 0n . Para ambos os casos, temos a0n 6= 0, n N.
ou seja, lim (an a0n ) = 0, isso implica que an a
n
4.6.4
Existncia do oposto
Se 6= 0 , existe R tal que . = 1

Demonstrao: Se = {(an )} =
6 0 ento lim an 6= 0. Com efeito, se lim an = 0, ento
n
n
R
lim (an 0) = 0 = (an ) (0)
= {(an )} = {(0)}, uma contradio.
n
Sendo lim an 6= 0 ento pelo lema 8 existe uma sequncia a0n tal que n N = a0n 6= 0. Com
n
35
1
isso {(an )} = {(a0n )}. Como a0n 6= 0 para todo nmero natural n, ento 0 tambm Racional,
an

1
1
qualquer que seja n natural. Definamos portanto, = { 0 }. Da, = {(an )}.{ 0 } =
an
an

1
1
{(a0n )}.{ 0 } = { a0n . 0 } = {(1)} = 1 .6
an
an
4.6.5
Distributiva- , e R tem-se ( + ) = + .
Demonstrao: Tome = {(an )}, = {(bn )} e = {(cn )}

( + ) = {(an )}[{(bn )} + {(cn )}] = {(an )}{(bn + cn )} = {an (bn + cn )}. Como a distributiva vlida em Q ento faamos {an (bn + cn )} = {(an bn + an cn )} = {(an bn )} + {(an cn )} =
{(an )}.{(bn )} + {(an )}.{(cn )} = + .
4.6.6
Compatibilidade da multiplicao com a ordem
Se e 0 ento
Demonstao: Definamos = {(an )}, = {(bn )} e = {(cn )}.
Se = {(an )} < = {(bn )}, ento por definio, {(an bn )} < 0 , da existem k1 Q, k1 > 0
e n1 N tais que n > n1 = an bn < k1 , Sabemos ainda que se {(cn )} > 0 ento existem
k2 Q, k2 > 0 e n2 N tais que n > n2 = cn > k2 . Tomando n0 = max{n1 , n2 } e lembrando
que vale a compatibilidade da ordem com a multiplicao para os nmeros Racionais, ento
para todo n N com n > n0 teremos: an .cn bn .cn < k1 .cn e cn .k1 > k2 .k1 .
Portanto, n N, n > n0 obtemos an .cn bn .cn < k1 .cn < k2 .k1 = an .cn bn .cn < k1 k2 =
{(an .cn bn cn )} < 0 = {(an .cn )} < {(bn .cn )} = < .
Para o caso em que = temos:
Se = 0 ento, .0 = 0 = .07
Se > 0 , utilizando as definio 5 e procedendo de forma anloga ao primeiro caso podemos
perceber que = .
Portanto: .
Lema 9 (Lei do cancelamento) Sejam = {(an )}, = {(bn )} e = {(cn )}, com 6= 0. Ento . = . se e somente se = .
Demonstrao: Como 6= 0 , pelo lema 8 podemos tomar a classe = {(bn )} de modo
1
que bn 6= 0, n N. Como (bn ) uma sequncia de Cauchy, ento ( ) tambm , uma conbn

1
sequncia disso que
uma sequncia limitada. Assim sendo, existe k Q, k > 0, tal
bn
o elemento oposto do nmero como 1
R, .0 = 0. Com efeito, .0 = .(0 + 0 ), pela distributiva obtemos .0 = .0 + .0 , pelo
elemento oposto teremos .0 + (.0 ) = .0 + .0 + (.0 ) = .0 .0 = .0 + (.0 .0 ) =
0 = .0 .
6 Tomaremos
7 Nota:
36
1
| k. Sabemos ainda que de . = . = {(an )}.{(bn )} = {(cn )}.{(bn )} resulta em
bn
lim [(an .bn ) (cn .bn )] = 0, portanto, dado > 0 existe n0 N tal que n > n0 = |(an .bn )
n

1
1
cn . bn .
|=
(cn .bn )| < , Assim, para todo n > n0 obtemos: |an cn | = |an . bn .
bn
bn
1
R n ) =
|an .bn cn .bn || | < k. ou seja, |an cn | < 0 = k = lim (an cn ) = 0 = (an ) (c
n
bn
{(an )} = {(cn )} = =
que |
Reciprocamente, {(an )} = {(cn )} = lim (an cn ) = 0. como (bn ) uma sequncia de Caun
chy, logo limitada, assim existe k0 Q, k0 > 0 tal que |cn | k0 , n N.
Assim para > 0 existe n0 N tal que n > n0 = |an cn | < .
De |(an .bn ) (cn .bn )| podemos verificar que |(an .bn ) (cn .bn )| = |bn (an cn )| = |bn ||an
cn | < k0 = |(an .bn ) (cn .bn )| < k0 ou seja, lim [(an .bn ) (cn .bn )] = 0 = {(an .bn )} =
n
{(cn .bn )} = {(an )}.{(bn )} = {(cn )}.{(bn )} = = .
Teorema 15 (Unicidade do elemento neutro) O elemento neutro da multiplicao nico.
0
Demonstrao: De fato, supondo que 1 e 1 so elementos neutros de R, ento R, 6=

0
0
0 , teremos .1 = e .1 = da obtemos .1 = .1 . Pelo lema 9 conclui-se que
0
1 = 1 .
Teorema 16 (Unicidade do elemento oposto) O elemento oposto da multiplicao nico.
Demonstrao: Suponha que existam , e 6= 0 R tais que . = 1 e . = 1 ento . = , e novamente pelo lema 9 temos que = . Isso que dizer que o oposto nico.
4.7
Teorema do Supremo
Nas subsees anteriores nos preocupamos em provar que as propriedades de corpos ordenados so vlidas para o conjunto dos nmeros Reais definido como a reunio de todas as
classes de equivalncia de sequncia de Cauchy. Nesta subseo provaremos que o corpo ordenado construdo nessa seo completo. Mas, para provar que R completo, precisaremos de
alguns resultados que nos auxiliaro nessa demonstrao. Como o corpo ordenado dos nmeros
Reais j foi definido e verificado, nada nos impede de lanar mo desse corpo e de suas propriedades aqui nesta subseo, assim sendo, podemos falar de sequncia de Cauchy de nmeros
Reais sem que haja nenhuma inconsistncia no que aqui provaremos.
Definio 12 seja A um subconjunto no-vazio de R, diz-se que R uma cota superior de

A se , A.
37
Definio 13 Sejam A um subconjunto no-vazio de R e s uma cota superior de A, como A 6=
ento existe a0 A. Podemos construir duas sequncias n e n de nmeros Reais, vejamos.
sejam 0 = s e 0 = a0 ;
(n + n )
supondo que n e n estejam definidas, tomemos mn =
;
2
Se mn uma cota de A, ento tomemos n+1 = mn e n+1 = n ;
Se mn no cota de A, ento tomemos n+1 = n e n+1 = mn .
Teorema 17 n e n como se apresentam na definio 13 so sequncias de Cauchy de nmeros Reais.8
Demonstrao: Construiremos a sequncia n da seguinte maneira:
0 + 0
s + a0
Tomando como base, 0 = s e 0 = a0 , temos 1 =
=
= 0 1 se mn
2
2
cota de A e 1 = 0 se mn no for cota de A.
1 + 1 1 + a0
=
= 1 2 se mn cota de A e 2 = 1 se mn no for cota de A. E
2 =
2
2
assim, se continuarmos o processo de construo, poderemos concluir que n n1 , n N.
Isso quer dizer que n uma sequncia no-crescente. De mesmo modo podemos concluir que
n uma sequncia no-decrescente.
Sabe-se que n a0 , n N, dessa forma, n a0 isso quer dizer que n limitado,
como n montona no-crescente ento n monoton no-decrescente. O que nos faz
concluir que n uma sequncia de Cauchy, ento n tambm uma sequncia de Cauchy.
Reciprocamente, sabemos que n < s, n N portanto n limitada, alm disso sabemos que
n no-decrescente, logo podemos concluir que n uma sequncia de Cauchy.
Teorema 18 Sejam as sequncia n e n como mostra a definio 13, ento existe l R tal
que lim n = lim n = l.
n
Demonstrao: Pela definio 13, viu-se que n uma sequncia de Cauchy de nmeros Reais,
mas, toda sequncia de Cauchy convergente, ento, por definio de sequncia de nmeros
Reais, existe um l R tal que lim n = l.
n
Como provado no teorema 17 n uma sequncia no-crescente e todos os seus elementos

so cotas superiores de A, uma vez que n N sempre teremos n s.
Agora devemos provar que lim n = l.
n
De fato, se mn uma cota superior de A, ento tomemos n+1 = mn e n+1 = n = n+1
8A
demonstrao do teorema 17 baseado em dois teoremas importantes, enunciados a seguir, os quais utilizaremos como resultados:
1-Toda sequncia montona e limitada convergente;
2-Uma sequncia convergente se e somente se de Cauchy.
38
n + n
n n
n+1 = mn n =
n =
.
2
2
Se mn no for cota superior ento tomemos n+1 = n e n+1 = mn = n+1 n+1 =
n + n n n
n
=
.
2
2
s a0
s a0
s a0
s a0
, 2 2 =
, 3 3 =
, ..., n n =
.
Isso que dizer que 1 1 =
2
3
2
2
2
2n
s a0
Note que s > a0 = s a0 > 0 isso quer dizer que
> 0. Tomemos portanto qualquer
2n
s a0
>
e obtemos n n = |n n | < 1 para todo n > n1 com n0 N. Temos ainda
2n
que se lim n = l ento dado 2 > 0 R existe n2 N tal que n > n0 = |n l| < 2 . Ton
mando n0 = max{n1 , n2 } e tomando = 1 + 2 podemos dizer que |n n | + |n l| < =
|n n | + |n l| < = |(n n ) + (n l)| < = |n l| < = lim n = l.
n
Teorema 19 (Teorema do Supremo) Se A for um subconjunto de R no-vazio e limitado superiormente, ento A admite supremo.
Demonstrao: No teorema 18 j est explcito que a sequncia n formada por cotas
superiores de A. O que nos cabe agora provar que l a menor das cotas, para isso usaremos
a notao sup{A} = l.
Primeiramente suponha por absurdo que l no seja cota de A, ento l < a para algum a A,
ento faamos = a l, e > 0. Como n no-crescente e lim n = l, ento existe algum
n
n N tal que n l < , isso implica que n < + l = (a l) + l = a, mas n cota superior
de A. Uma contradio. Logo l conta superior de A.
Agora provaremos que l a menor das cotas.
Sabe-se que a sequncia n como mostrado na definio 13 no decrescente e lim n = l,
n
isso mostra que n N temos que n no cota superior de A, isso implica que para cada n
natural, existe um a0 A de tal modo que n a0 . Temos ainda, que n l e para cada > 0
existe um n0 N tal que n > n0 = n + > l = n > l . Portanto, para cada n > n0
teremos a0 n > l = a0 > l e l < l.
De a0 > l e l < l, ns s podemos concluir que nenhum elemento menor que l pode ser
cota superior de A. Sendo assim, l a menor das cotas, em outras palavras sup{A} = l.
39
Consideraes Finais
O estudo sobre as duas formas clssicas de construir um corpo ordenado completo nos possibilitou provar que os nmeros Reais podem ser construdos como uma extenso dos nmeros
Racionais, assim como esses so construdos como extenso dos inteiros. A anlise profunda
do mtodo do Corte de Dedekind e da classe de equivalncia de sequncias de Cauchy, que na
verdade foi um trabalho elaborado por Georg Cantor, nos permite destacar algumas diferenas
entre ambos.
5.1
O Corte de Dedekind
Analisando a definio de um nmero Real como um corte dada por Dedekind, onde a
unio de todos os Racionais a esquerda do corte forma um nmero Real, podemos perceber que
a ideia de Dedekind era justamente "cortar"a reta gerando assim duas semi-retas algebricamente
chamadas de classes. Esse corte feito sobre um nico ponto dessa reta. Na ilustrao abaixo
voc ver um exemplo muito simples da estrutura ideolgica do corte de Dedekind. Nesse
exemplo dado um "corte"sobre a reta no ponto referente ao nmero e, assim, ser definido
como o conjunto de todos os Racionais que o antecede.
Figura 1: Corte de Dedekind em
Fonte: Figura produzida pelos autores
Observando a representao geomtrica do corte que representa o nmero podemos perceber de modo mais intuitivo o que seria de fato esse mtodo. Fazendo uma relao dessa
representao com a definio proposta por Dedekind observamos que 6= , pois v-se que
3 , 6= Q, pois 3, 15
/ , para todo p e q < p teremos q , de fato, pois constitudo
por todos os Racionais que o antecedem na reta. Alm disso fcil perceber na representao
que no tem mximo, note que depois de 3, 14159 tem-se 3, 141592, depois 3, 1415926 depois 3, 14159265 e assim por diante. no tem a menor das cotas superiores, de fato, sabe-se
que 3, 15 uma cota que no a menor, pois 3, 142 menor que 3, 15 e uma cota, por sua
40
vez 3, 142 tambem no a menor, pois 3, 1416 menor que 3, 142 e uma cota que tambem
no a menor, assim sucessivamente. Isso nos garante que no Racional. Apesar de a representao geomtrica desse mtodo ter ajudado a compreend-lo melhor, nota-se que a ideia
do corte como um nmero Real no to intuitiva quanto alguns outros mtodos de construo
dos nmeros. A seguir veremos as consideraes sobre o mtodo de Cantor, que apresenta um
maior grau de intuitividade.
5.2
As classes de equivalncia de sequncias de Cauchy
Ao definir o nmero Real como uma classe de equivalncia, estamos dizendo tambm que,
assim como no mtodo de Dedekind, um nmero Real um conjunto, formado por sequncias
de Cauchy que convergem para o mesmo nmero. uma das notveis diferenas entre esse mtodo e o anterior, alm de ser mais intuitivo, que existe um critrio de agrupamento dessas
R onde an b
R n lim (an bn ) = 0.
sequncias em classes, que a relao de equivalncia
n
O leitor que leu e compreendeu muito bem a construo dos nmeros Reais por esse mtodo
pode estar se perguntando: por que classes de equivalncia? por que sequncias de Cauchy? As
respostas para essas indagaes so simples, primeiro deve-ser ter em mente que um nmero
Real, qualquer, pode ser o limite de mais de uma sequncia convergente, logo, o intuito de
agrupar as sequncias em classe justamente reunir todas as sequncias que convergem para
o mesmo nmero Real. Caso esse critrio no fosse estabelecido, seria impossvel construir
o corpo ordenado completo pelo referido mtodo. A resposta para a segunda indagao est
num importante teorema da Anlise Real: Uma sequncia convergente se, e somente se, de
Cauchy. Em outras palavras, selecionar apenas as sequncias que so de Cauchy garante que
todas as sequncias dentro de uma dada classe de equivalncia convergente.
5.3
O corpo ordenado completo nico?
Estudar a fundo sobre os dois mtodos pode gerar uma srie de questionamentos sobre a
unicidade do corpo ordenado completo. Vimos na seo 3 que o conjunto formado por todos os
cortes de Dedekind um corpo ordenado completo, vimos ainda, na seo 4, que as classes de
equivalncia constitudas de sequncias de Cauchy , tambem, um corpo ordenado e completo.
Visto as diferena entres esses mtodos, pergunta-se: Ser que o corpo ordenado completo realmente nico?
Se a reposta for positiva, estamos dizendo que os dois corpos construdos nas sees 3 e 4
so iguais. Mas os corpos se diferem na prpria construo, os elementos que os definem advm
de meios diferentes. Mas se os elementos so de natureza diferente, isso nos induz a crer que a
resposta negativa, ou seja, que no existe um nico corpo ordenado completo. Mas existe uma
relao biunvoca entre esses corpos, ou seja, deve existir uma funo bijetora f : KD 7 KC ,
41
onde KD o corpo construdo pelo corte de Dedekind e KC o corpo construdos pelas classes
de equivalncia de sequncia de Cauchy, que faa uma relao de isomorfismo entre esses dois
corpos. Um indcio de que isso ocorre o fato de que os dois corpos preservam as mesmas
propriedades. Isso nos leva a concluir que os dois corpos so distintos apenas no que diz respeito a forma de como so construdos, mas que so iguais perante suas propriedades. Podemos
dizer portanto, que quando se fala em unicidade do corpo ordenado completo, quer-se dizer que
no existe dois corpos ordenados e completos que no preserve as mesmas propriedades, ou
que no seja isomorfos. Mas cabe reforar que os corpos construdos nas sees anteriores so
diferentes, os elementos neutros e opostos so distintos, a definio de adio e multiplicao
so distintas, mas as propriedades so iguais.
5.4
A construo dos nmeros Reais no ensino de Matemtica
Na educao bsica, mais precisamente no 7o ano do ensino fundamental e no 1o do ensino

mdio, faz-se uma definio dos nmeros inteiros como uma extenso dos naturais, e dos Racionais como uma extenso dos inteiros. Porm, ao tratar de nmeros Reais, os livros didticos,
em sua totalidade, afirmam apenas que R = Q I. Ou seja, o aluno do ensino mdio ou fundamental aprende o simples conceito de que os nmeros Reais so simplesmente a reunio dos
demais conjuntos.
O desenvolvimento deste trabalho levou-nos a indagar acerca dessa ruptura na educao matemtica nos dando a certeza de que o professor e o aluno da educao bsica podem beneficiarse desta obra no que diz respeito a entender os nmeros Reais como extenso dos Racionais e
no somente como uma unio de conjuntos. Mas a questo , onde incluir essa "nova"definio
de nmero Real? De que maneira definir o nmero Real como uma extenso dos nmeros Racionais de forma que seja significativo ao aluno?
Para responder ao primeiro questionamento, fizemos um estudo preliminar sobre alguns livros do 7o ano do ensino fundamental e do 1o ano do ensino mdio e conclumos que o aluno
da primeira srie do ensino mdio mais conhecimentos acerca da teoria dos conjuntos, por isso
acreditamos que seria interessante e de grande utilidade apresentar os Reais como extenso dos
Racionais nessa fase do ensino. Para responder ao segundo questionamento precisamos observar os dois mtodos de construo dos nmeros Reais abordados aqui nessa obra e classific-los
quanto ao seu nvel de compreenso. Como foi escrito anteriormente, acreditamos que a construo pelo mtodo de Dedekind muito completa e interessante, mas seu grau de intuitividade
muito pequeno com relao ao mtodo elaborado por Cantor, com isso vimos que a construo
dos nmeros Reais pelas classes de equivalncia de Cauchy pode ser uma boa definio a ser
apresentada aos alunos do ensino mdio. Essa definio pode ser trabalhada logo aps a apre-
42
sentao do conjunto dos nmeros Reais como a unio dos Racionais com os Irracionais. Mas
para o entendimento dessa definio preciso apresentar dois conceitos simples, o conceito de
sequncias de aproximao, que pode ser definido como a sequncia infinita de nmeros Racionais que se aproxima de um nmero Real, e classes de equivalncia, que pode ser definido
como o conjunto das sequncias que se aproximam de um mesmo nmero Real. Construdos
esses dois conceitos em sala, o professor pode, agora, definir nmero Real como a classe de
equivalncia das sequncias de aproximao. Nesse caso se o nmero Real for Racional q, ento basta tomar a classe que tem a sequncia constante com todos os elementos iguais a q. A
proposta dessa subseo quebrar o rigor da definio em prol da compreenso por parte dos
alunos do ensino mdio, pois acreditamos ser possvel simplificar a definio feita por Cantor
para podermos apresentar aos alunos de modo mais claro. Sabemos que as definies de Classes e Sequncias apresentadas aqui no esto completas, mas suficiente para que o aluno do
ensino mdio compreenda que os Reais so extenses dos Racionais.
Referncias
(1) GUIDORIZZI, H. L. Um Curso de Clculo v.1. 2. ed. So Paulo: LTC, 1987.
(2) DOMINGUES, H. H; IEZZI, G. Algebra Moderna. So Paulo: Atual, 2003.
(3) LOPES, P. C. R. Construo dos Nmeros Reais . 2006. 163p. Dissertao(Mestrado em
Matemtica para o Ensino)- Universidade de Madeira, 2006. Disponvel em
<http://digituma.uma.pt/bitstream/10400.13/179/1/MestradoCristaLopes.pdf>. Acesso em: 03
maio 2016.
(4) LIMA, E. L. Curso de Anlise v.1. 10. ed. Rio de Janeiro: IMPA, 2002.
(5) IMTICA, Dedekind: a fundamentao dos nmeros reais. Disponvel
em:<http://www.matematica.br/historia/dedekind.html>. Acesso em: 03 maio 2016.
(6) NERI, C.; CABRAL M. A. P. Curso de Anlise Real. 2. ed. Rio de Janeiro: UFRJ, 2011.
(7) BARTLE, G. R; SHERBERT, D. R. Introdution to Real Analysis 4. ed. EUA: John Wiley
& Sons, 2010.
(8) QUEIROZ, F. M. Um Estudo sobre Construes dos Nmeros Reais . 2015. 114p.
Dissertao(Mestrado Profissional em Matemtica)- Universidade Federal de Gois, 2015.
Disponvel em: <https://repositorio.bc.ufg.br/tede/bitstream/tede/4555/5/Dissertao%20%20Fabiana%20Moura%20de%20Queiroz%20-%202015.pdf>. Acesso em: 03 maio
2016.
(9) MACHADO, G. M. A Construo dos nmeros . 2014. 102p. Monografia(Licenciatura
em Matemtica)- Universidade Federal de So Carlos, 2014. Disponvel em:
<http://www.dm.ufscar.br/dm/attachments/article/6/TCC-Gabriela_Machado.pdf>. Acesso
em: 22 ago. 2016.

Construindo os Reais

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Construindo os Reais

Hochgeladen von

Copyright:

Verfügbare Formate

Universidade Estadual do Sudoeste da Bahia

Diego Lus de Arruda Santos

Construes do Corpo dos Nmeros Reais

Diego Lus de Arruda Santos

Construes do Corpo dos Nmeros Reais

Monografia submetida ao curso de Licenciatura

DIEGO LUS DE ARRUDA SANTOS

CONSTRUES DO CORPO DOS NMEROS REAIS

Componentes da banca examinadora:

Profo . Me. Edson Ramos de Jesus Almeida (Orientador)

Profa . Dra . Marcia Graci de Oliveira Matos

Profo . Dr. Jorge Costa do Nascimento

Construo dos nmeros Reais pelas sequncias de Cauchy

Construo dos nmeros Reais pelo Corte de Dedekind

Sequncia de nmeros Racionais

Uma sequencia, ou sucesso, de nmeros Racionais uma bijeo f : N Q. Cada f (n)

Limite de uma sequncia de nmeros Racionais

Sequncia de Cauchy de nmeros Racionais

Propriedade 4 A unio de todas as classes de equivancia de um conjunto igual ao prprio

chamado de corpo ordenado, o corpo K sobre o qual possvel destacar um subconjunto P

P1. Sejam x, y P x + y P e x.y P;

O1. Transitividade- se x < y e y < z ento x < z;

Corpo Ordenado Completo

S1. Para todo x X tem-se x b;

Construo dos nmeros Reais pelo Corte de Dedekind

Definio de nmero Real

Teorema 1 Seja r um nmero Racional qualquer, ento o conjunto = {p Q|p < r} um

(iii) Seja r ento r2 < 2, se r 0 ento tomemos s = 1 e teremos r < s com s , se

Sejam e dois nmeros Reais. Definamos:

Teorema 4 Se e so nmeros Reais, ento:

Para qualquer , , nmeros Reais, tem-se que + ( + ) = ( + ) + .

Para qualquer , nmeros Reais, tem-se que + = + .

Existncia do elemento neutro

Para qualquer nmero Real, tem-se que + 0 = .

Para todo R existe R com + = 0

Demonstrao da existncia do oposto: Sejam e = {p Q| p M e p 6= minM

Para quaisquer , , nmeros Reais, tem-se que se ento + + .

Teorema 7 Sejam , R, com > 0 e > 0 . Ento = Q {ab|a , b , a > 0, b >

Sejam e dois nmeros Reais. Definamos o produto de por por:

Para todo x 2 e x > 0 ento 0 < x < 2 isso implica que

Sejam , e nmeros Reais quaisquer. A multiplicao verifica as seguintes propriedades:

Existncia do elemento neutro

Se 6= 0 , existe R tal que . = 1

(iii) no tem mximo.

Demonstrao da existncia do oposto: Suponha inicialmente que > 0 , tome = Q

b , portanto y o que nos faz concluir que 1 .

Construo dos nmeros Reais pelas sequncias de Cauchy

Definio de nmero Real

Definio 3 R0 = {(an )nN |(an ) Q, |an am | < ; > 0 Q; n, m N N}

Demonstrao: Provaremos esse teorema utilizando a definio 1 que consta na subseo

Exemplo 5 = {( 2)}, onde {( 2)} a classe de equivalncia constituda por todas as

Definio 5 Seja = {(an )} R. Dizemos que > 0 = {(0)} se existem q Q, q > 0 e

Definio 8 Sejam , R. Dizemos que > se > 0 ou se < 0 .

Definio 10 Sejam e elementos de R. Ento existem sequncias de Cauchy (an ), (bn )

n > n1 = |an cn | < 1 = 1 < an cn < 1

Para qualquer , , nmeros Reais, tem-se que + ( + ) = ( + ) + .

Para qualquer , nmeros Reais, tem-se que + = + .

(a1 + b1 , a2 + b2 , ..., an + bn ), ou seja, a operao efetuada adicionando termo a termo.

Existncia do elemento neutro

Para qualquer nmero Real, tem-se que + 0 = .

Para todo R existe R com + = 0 .

Compatibilidade da adio com a ordem

Para quaisquer , , nmeros Reais, tem-se que se ento + + .