Re: [obm-l] corpo ordenado completo

[LuMourao@xxxxxxx]

  Tudo depende do objetivo a ser alcançado. Pode-se construir um corpo ordenado completo atraves dos cortes de Dedekind ou das sequencias de Cauchy. Em seguida mostra-se que todos os corpos ordenados completos sao isomorfos aos reais. Porem, muitas vezes o objetivo e o estudo das propriedades dos reais ai tal construcao passa a nao ter grande interesse. Pensando assim voce axiomatiza a existencia de um C.O.C. e passa a estudar logo o que interessa.
  Algo parecido acontece com o estudo dos inteiros (Pode-se contrui-los a partir dos naturais e provar que Z e um dominio bem ordenado ou pode-se axiomatizar a existencia de um dominio ordenado).

    Abracos 


                         Luciano