Re: [obm-l] corpo ordenado completo

["Rogerio Fajardo" <rogeriofajardo@xxxxxxxxxxx>]

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 <bbslima@yahoo.com.br>
>Reply-To: obm-l@mat.puc-rio.br
>To: OBM lISTA <obm-l@mat.puc-rio.br>
>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 � <nicolau@mat.puc-rio.br>
=========================================================================