Prof.

Vitor Gustavo de Amorim

Definio 1: Seja X um subconjunto de um corpo

ordenado . Ento X dito limitado superiormente
se existe , tal que , .
Obs:
A definio dada equivale a dizer que
, ;
O elemento chamado de cota superior de
.

Definio 2: Seja X um subconjunto de um corpo

ordenado . Ento X dito limitado inferiormente se
existe , tal que , .
Obs:
A definio dada equivale a dizer que ,, +);
O elemento chamado de cota inferior de .
Se limitado superiormente e inferiormente,
ento dizemos que limitado e, nesse caso,
existem , tais que ,, -.

Exemplos:
1) O subconjunto limitado inferiormente. Os
1
12
nmeros 0, 2 e 7 so cotas inferiores de .
1
;

2) O subconjunto
limitado
inferiormente e superiormente. So cotas inferior e
superior os nmeros 0 e 1, respectivamente.
3) O subconjunto ; 2 < 2 limitado
superiormente pelo nmero 1,42, que uma de suas
cotas inferiores.

Definio 3: Um corpo ordenado dito

arquimediano, se para todo , , com >
0, existe , tal que > .
Obs:
possvel provar que o corpo arquimediano.
Existem corpos ordenados que no so
arquimedianos.

Definio 4: Seja um corpo ordenado e um

subconjunto limitado superiormente. Um elemento
chama-se supremo de , quando a menor de
suas cotas superiores. Denota-se = .

Assim, para que seja o supremo de ,

necessrio e suficiente que sejam vlidas as
condies:
S1. , ;
S2. Se cota superior de , ento .

Exemplos:
4) Determine, se existir, o supremo dos conjuntos
abaixo no corpo ordenado .
a) = (, ) (intervalo aberto em )

b) =
c) =
d) =

10
;
9
1
;

Propriedades
Se o supremo do subconjunto , ento:

1) e < 0 ; < 0 < .

2) O supremo de um conjunto, quando existe,
nico.
3) > 0 , 0 tal que < 0 < .

Definio 5: Seja um corpo ordenado e um

subconjunto limitado inferiormente. Um elemento
chama-se nfimo de , quando a maior de
suas cotas inferiores. Denota-se = .

Assim, para que seja o nfimo de ,

necessrio e suficiente que sejam vlidas as
condies:
S1. , ;
S2. Se cota inferior de , ento .

Exemplos:
5) Determine, se existir, o nfimo dos conjuntos
abaixo no corpo ordenado .
a) = (, ) (intervalo aberto em )

b) =
c) =
d) =

1
2

2 ;
1

Propriedades
Se o nfimo do subconjunto , ento:

1) e < 0 ; < 0 < .

2) O nfimo de um conjunto, quando existe, nico.
3) > 0 , 0 tal que < 0 < + .

Definio 6:
a) Se = tal que , ento chamado
de mximo do conjunto X. Denota-se: = .
Exemplos 6: 4-d); intervalo (, -;

+1
;

b) Se = tal que , ento tambm

chamado de mnimo do conjunto X. Denota-se:
= .
Exemplos 7: 4-c); 5-d); intervalo ,, +)

Teorema 1: Considere os conjuntos = *

+ ; 2 < 2+ e = * + ; 2 > 2+ . Ento no
existem, em , o e o .
Definio 7: Um corpo ordenado dito completo
quando todo subconjunto no vazio limitado
superiormente admite supremo em .
Teorema 2: Um corpo ordenado completo se, e
somente se, todo subconjunto no vazio
limitado inferiormente admite nfimo em .

Corolrio 3: O corpo dos nmeros racionais no

completo.
Corolrio 4: Se limitado superiormente,
ento = *; + limitado inferiormente
e sup = inf().

Teorema 5: Todo corpo ordenado completo

arquimediano.

Questes Importantes:

Existem corpos ordenados completos?

Como resolver o problema da descontinuidade de

?

possvel construir, a partir de , um corpo

ordenado completo que o contenha? Como?

Mtodo dos Cortes de Dedekind

Definio 8: Um Corte de Dedekind todo par (, )
de conjuntos no vazios de nmeros racionais, tais
que = e que < , e .

Postulado de Dedekind: Todo corte possui um

elemento de separao tal que = ou
= .

Exemplo 8: O par (, ) dado por = * ; <

2
2
+ e = * ; 7+ um corte.
7

Exemplo 9: O par (, ) dado por = *

+ ; 2 < 2+ e = * + ; 2 > 2+ um corte.

Observaes:
1) No sistema de Dedekind, cada corte = ,
representa um nmero real;
2) No conjunto que formado por todos os cortes,
possvel definir igualdade, adio, multiplicao e
relao de ordem;
3) A partir dessas definies, pode-se mostrar que
este conjunto, munido das operaes definidas, um
corpo ordenado completo.

Outros Mtodos:

Sequncias de Cauchy, de Georg Cantor;

Intervalos Encaixados;

Sequncias Montonas;

Propriedade do Supremo.

Teorema 6: A menos de isomorfismo, um corpo

ordenado completo nico. Ou seja, se e so
corpos ordenados completos, ento existe uma nica
bijeo : tal que:

() + = +
= ()

Questo: No seria o caso de tomar como ponto de

partida a definio de conjunto dos nmeros reais
como sendo um corpo ordenado completo, j que
este nico?

A construo formal do conjunto dos nmeros

reais pode ser feita de forma precisa pelo mtodo
dos cortes de Dedekind, pelo mtodo das
sequncias de Cauchy entre outros;

Tais construes completam o conjunto , no

sentido de que toda medida de segmento de reta
possa ser dada por elementos do novo conjunto;

A utilidade dessas construes, porm, se restrige

ao ponto de vista teorco de mostrar como
nmeros irracionais podem ser formalmente
definidos, ou ainda, mostrar que corpos
ordenados completos existem;

Do ponto de vista prtico, entretanto, todas as

propriedades do conjunto dos nmeros reais
podem ser demonstradas assumindo que existe
um conjunto que satisfaz os axiomas de corpo
ordenado completo.

Mtodo Axiomtico
Axioma da Completude: Existe um corpo ordenado
completo que contm , chamado corpo dos
nmeros reais.
Obs.: Todas as propriedades j demonstradas para os
corpos ordenados so vlidas em .

Definio 9: Um subconjunto dito denso em

, se para todos , , com < , existe ,
tal que < < . Ou equivalentemente,
dito denso em se qualquer intervalo aberto (, )
de nmeros reais contm um elemento X.

Exemplo 10: O conjunto denso em .

Teorema 7: Os conjuntos e (irracionais) so
densos em .

Exemplo 11: Considere os conjuntos = *

+ ; 2 < 2+ e = * + ; 2 > 2+.

a) Mostre que existem, em , = inf e = sup .

b) Mostre que = .
c) Mostre que 2 = 2 = 2, ou seja, = = 2.
Exemplo 12: Sejam + e , com > 1.
Ento possvel mostrar que, se = * + ; <
+
e
= * + ; > + ,
ento
inf = sup = .

Teorema 8 Teorema dos Intervalos Encaixados:

Considere uma sequncia infinita de intervalos
fechados 1 2 , com = , .
Ento existe pelo menos um nmero real tal que
, , - para todo .

Exemplo 13: Considerando a sequncia de intervalos

encaixados dada por =
para todo .

1 1
,

, temos que 0