Escolar Documentos
Profissional Documentos
Cultura Documentos
(CONSTRUC
AO
DOS NUMEROS
REAIS)
MARCO A. S. SOUTO
2006)
(FORTALEZA - VERAO
2006)
MARCO A. S. SOUTO (FORTALEZA - VERAO
CORTES DE DEDEKIND
(CONSTRUC
AO
DOS NUMEROS
REAIS)
2006)
MARCO A. S. SOUTO (FORTALEZA - VERAO
Observa
c
ao 3. Pela tricotomia da ordem temos que ou , uma vez
que a possibilidade = n
ao ocorre. Sem perder a generalidade vamos supor que
, ou seja . Neste caso devemos ter 0 mas 0
/ , 0 .
O corte dado pelo Lema 1 sera denotado por . Claro que + () = 0 e
= {x Q : x
/ } \ 1 ().
Lema 2. (R+ , ) e um grupo comutativo com elemento neutro.
Prova:
Veja que o que resta mostrar e que para cada R+ existe um elemento tal
que . = 1. Com efeito, se = r, para algum r > 0 entao, pela proposicao anterior
/ (Q+ ) e
no seu tem (3), = r1 e o corte procurado. Agora suponha que
defina = {r Q+ : r1
/ }. Veja que = {s Q+ : s1
/ } e certamente
que r r1
/ .
Mostremos que R+ . Como existem elementos racionais positivos x, y tais
que x e y
/ , entao x1
/ e y 1 , mostrando (D1 ).
1
Se a e b a, entao a
/ e b1 a1 . Assim b1
/ e isto estabelece
que b , (D2 ) esta justificada.
Seja a . Afirmo que existe c Q+ tal que c < a e c . Caso contrario,
para todo c deveramos ter c a, ou seja {a} a. Como satisfaz (D2 ),
na verdade = {a} a = {r Q+ : r a}. Portanto = {s Q+ : s > a1 } ou
seja = a1 (Q+ ), contrariando a escolha de . Mostramos ate agora que e
um corte de Dedekind.
Finalmente mostremos que . = 1, quando
/ (Q+ ). Se > 1 e a e um
elemento de . Sendo = pq entao m = p q 1. Tomando cn = n+1
> 1,
n
para n = 4q vemos que c2n < . Assim a.cn e a1 cn e podemos escrever
c2n = a.cn .a1 .cn . e conseq
uentemente .. Isto mostra que 1 ..
Reciprocamente, seja a = a1 .b1 com a1 e b1 . Assim a1
/ e dessa forma
1
1.
O
Lema
est
a provado.
devemos ter b1 > a1
,
mostrando
que
a
>
1
e
.
1
Observa
c
ao 4. Pela tricotomia da ordem temos que ou , uma vez
que a possibilidade = n
ao ocorre. Sem perder a generalidade vamos supor que
, ou seja . Neste caso devemos ter 1 mas 1
/ , 1 .
Agora podemos definir, a partir do Lema 2, a multiplicacao de dois cortes quaisquer. Se e sao elementos de R defina:
(1) .0 = 0;
(2) Se 0 , defina . = (.())
(3)Se , 0, defina . = ().()
Fica como exerccio para o leitor verificar que (R, +, ) possui a estrutura de um
corpo ordenado. o conjunto P = { R : Q+ } e o conjunto dos elementos
positivos de R.
CORTES DE DEDEKIND
(CONSTRUC
AO
DOS NUMEROS
REAIS)
NOTAS COMPLEMENTARES
A ideia central de um corte esta relacionado com intervalos (z, +) da reta real.
Mais especificamente, para cada z R, considere o conjunto
Iz = {r Q : r > z} = Q (z, +).
Com facilidade voce pode mostrar que Iz R.
ncias
Refere
[1] Luiz A. J. Medeiros & outros, Lico
es de An
alise Matem
atica UFRJ, Rio de Janeiro,
2005.
[2] Walter Rudin Principles of Mathematical Analysis, McGraw Hill Books Company Inc.,
1953, New York.