Re: [obm-l] corpo ordenado completo

[Rogerio Fajardo]

Só um pequeno comentário (atrasado, pois só hoje vi esse e-mail), Elon axiomatizou a existência de um corpo ordenado completo para não ter que discutir a construção de um. Ele axiomatizou que existe um, chamou-o de números reais, e depois mostrou que todos os corpos ordenados completos são isomorfos. A vantagem de construir um corpo ordenado completo (e não axiomatizar sua existência) como mostrou Johann em sua resposta a esse e-mail, é mostrar a existência de um c.o.c. assumindo apenas axiomas muito básicos da teoria dos conjuntos, evitando acrescentar um novo axioma.

Rogério

From: Bruno Lima <[EMAIL PROTECTED]>
Reply-To: [EMAIL PROTECTED]
To: OBM lISTA <[EMAIL PROTECTED]>
Subject: [obm-l] corpo ordenado completo
Date: Tue, 7 Jan 2003 20:29:13 -0300 (ART)


No livro do Elon, Curso de analise vol1, no cap 3 ele enuncia o seguinte axioma:

" Existe um corpo ordenado completo " , pra mim isso nao tem cara de axioma. Nao da pra provar esse fato ?? Ou seja, provar que o conjunto dos reais 'e corpo ordenado completo??



---------------------------------
Busca Yahoo!
O melhor lugar para encontrar tudo o que você procura na Internet

_________________________________________________________________
Protect your PC - get McAfee.com VirusScan Online http://clinic.mcafee.com/clinic/ibuy/campaign.asp?cid=3963

=========================================================================
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
O administrador desta lista é <[EMAIL PROTECTED]>
=========================================================================