Re: [obm-l] Ordem nos Reais

[Claudio Buffara <claudio.buffara@xxxxxxxxxxxx>]

Oi, Nicolau:
>> 
>> No caso dos reais, a única relação de ordem que faz de R um corpo ordenado
>> é a usual.

Exatamente o que precisa ser provado aqui?

Por acaso eh isso?

Se:
R eh particionado como R = A U B U {0} de modo que:
x e y pertencem a A ==> x + y  e  xy  pertencem a A.
E a relacao < eh tak que: x < y <==> y - x pertence a A
Entao: 
A = R+.

[]s,
Claudio.



=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================