Fala galera, comecei a estudar análise recentemente e estou travando nos
exercícios de corpo ordenado completo. Tem como alguém me dar uma ajuda?
Considere o subconjunto A de K definido por {x; bxa, com ba e a, b
pertencentes a K}. Sendo K um corpo ordenado completo prove que:
i) A não é vazio
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
Mas isso nao e nenhum problema virtualmente dificil.Toda aatematica e construida no "se isto entao aquilo".Logo a ideia mesmo e axiomatizar os reais e ver onde vamos parar com isso.Eu ja escrevi um sketch de construir corpos ordenados completos a partir dos racionais,o Processo de Cantor-Cauchy ou
On Tue, Jan 07, 2003 at 08:29:13PM -0300, Bruno Lima wrote:
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
Depende,bicho.Se voce adotar o tipo axiomatico,isso e um axioma.Esse tipo axiomatico e mais ou menos como te dar uma noçao de como e um numero real sem tu ter nem ideia do que e numero(e como se voce fosse iniciante de xadrez e nao soubesse as regras,eu acho).
Mas ha outro caminho que e voce
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
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
7 matches
Mail list logo