----- Original Message -----
Sent: Sunday, July 13, 2003 10:03
PM
Subject: [obm-l] Conjuntos -
Justificativa
Comentário de um não-matemático que às vezes
confunde definições com postulados com teoremas, sobre a pergunta original do
Leandro.
Ora, se o conjunto é "limitado
superiormente", nenhum de seus elementos pode ser maior que o
limite superior. Logo, ele certamente tem um máximo (que é menor ou igual
ao limite), e isto seria um corolário.
Falei bobagem?
JF
----- Original Message -----
Sent: Sunday, July 13, 2003 9:20 PM
Subject: Re: [obm-l] Conjuntos -
Justificativa
> Caro Leandro.
>
> Este é o chamado axioma do sup. É
equivalente a muitos outros, e não
> costuma-se demonstrá-lo e sim
usá-lo como axioma. Se você ainda quiser
> demonstrá-lo, terá de
estabalecer todos os axiomas dos reais, isto é, os que
> você está
usando (ou o livro). Do contrário, fica impossível ajudá-lo.
>
>
Abração!
> Duda.
>
> From: "Leandro Fernandes"
<leanf@terra.com.br>
> >
Pessoal, não consigo dar uma justificativa plausível para esta
afirmação:
> >
> > "Todo conjunto não vazio de números
racionais limitado superiormente tem
> > máximo"
> >
>
> Alguém tem alguma sugestão?
> >
> >
Leandro