Oi, pessoal:
Aqui vai uma divaga��o semi-filos�fica. Assim, leia s� se tiver tempo de
sobra.
Me parece que o fato de R ser um corpo ordenado completo depende da
ordem que � definida no corpo dos reais.
A ordem usual � aquela que destaca um subconjunto P de R e define
que:
1) exatamente uma das tr�s alternativas a seguir � verdadeira:
x pertence a P OU x = 0 OU -x pertence a P;
2) Se x, y pertencem a P, ent�o x + y e xy pertencem a P.
Nesse caso, P � chamado de conjunto dos reais positivos e a ordem (<) �
definida da seguinte forma:
para todos x, y em R, x < y <==> y - x pertence a P.
Dada esta ordem, postula-se que todo subconjunto de R que � limitado
superiormente tem um supremo e pronto.
****
Mas o que acontece se a ordem for diferente?
Por exemplo, suponha que particionamos os reais (R) em racionais (Q) e
irracionais (R - Q) e definimos uma ordem (<#) tal que:
1) se x, y pertencem a Q ou x, y pertencem a R - Q, ent�o:
x <# y <==> x < y (ordem usual)
2) se x pertence a R - Q e y pertence a Q, ent�o x <# y.
Ou seja, cada irracional � menor do que cada racional e dois irracionais ou
dois racionais s�o comparados da forma usual.
Agora considere o conjunto A = { -raiz(2)/n | n � inteiro positivo}.
Cada elemento de A � irracional. Logo, A � limitado superiormente (por
exemplo, por cada racional).
Pergunta: Qual o supremo de A?
[]s,
Claudio.
|