Dado que R é o corpo dos números reais, justifique a frase:
Se F é um corpo ordenado completo, então F é isomorfo a R.
Lista de comentários
Frisk135
Primeiro, tenha em mente as definições de corpo ordenado completo e isomorfismo entre estruturas.
Justificativa:
Para mostrar que F é isomorfo a R, devemos construir uma função f: R -> F e depois mostrar que f é isomorfismo entre R e F. Definimos f nos inteiros pondo
f(0) = 0 f(n) = 1+ · · · +1 , n vezes para n > 0; f(n) = −(1+ · · · +1) n vezes para n < 0. É fácil verificar que
f(m + n) = f(m)+f(n) .f(m · n) = f(m) f(n), para todos os inteiros m.
Olhando para os números racionais, defina f f(m/n) = m/n
É necessário saber que dado x arbitrário, qualquer número real x é determinado pelos números racionais menores do que ele (veja cortes de Dedekind ).
Agora, dado x ∈ R, seja A o subconjunto o corpo F de todos f(r), para todos os números racionais r < x( estamos usando a definição).
Note que A é não vazio e limitado superiormente. Sendo F é um corpo ordenado completo, o conjunto A tem uma menor cota superior sup A.
Aqui você deve observar que supA=f(x). Tendo em vista isso, f é bem definida. Faltaria mostrar que f é um isomorfismo.
Uma das condições para isso demonstrarei aqui: Sejam x e y são números reais considerando x < y, veja que f(x) ≤ f(y). Para excluir a igualdade, note que existem números racionais r e s com x < r < s < y. Daí, f(r) < f(s) e segue que f(x) ≤ f(r) < f(s) ≤ f(y).
Supondo verificadas as demais condições, teriamos que seguir verificando as propriedades de isomorfismo para a operação . , isto é, dados x e y reais positivos, com argumento análogo mostra-se f(x.y) = f(x). f(y).
Assim, fica provado que dado qualquer corpo ordenado completo é isomorfo a R. Dito de outro modo, R é o único corpo ordenado completo.
bons estudos.
2 votes Thanks 1
Esfinge2012
Existe uma função f :R > F que é isomorfismo de ordem. Com isso R é único corpo ordenado completo.
Lista de comentários
Justificativa:
Para mostrar que F é isomorfo a R, devemos construir uma função f: R -> F e depois mostrar que f é isomorfismo entre R e F. Definimos f nos inteiros pondo
f(0) = 0
f(n) = 1+ · · · +1 , n vezes para n > 0;
f(n) = −(1+ · · · +1) n vezes para n < 0.
É fácil verificar que
f(m + n) = f(m)+f(n)
.f(m · n) = f(m) f(n), para todos os inteiros m.
Olhando para os números racionais, defina f
f(m/n) = m/n
É necessário saber que dado x arbitrário, qualquer número real x é determinado pelos números racionais menores do que ele (veja cortes de Dedekind ).
Agora, dado x ∈ R, seja A o subconjunto o corpo F de todos f(r), para todos os números racionais r < x( estamos usando a definição).
Note que A é não vazio e limitado superiormente. Sendo F é um corpo ordenado completo, o conjunto A tem uma menor cota superior sup A.
Aqui você deve observar que supA=f(x). Tendo em vista isso, f é bem definida. Faltaria mostrar que f é um isomorfismo.
Uma das condições para isso demonstrarei aqui:
Sejam x e y são números reais considerando x < y, veja que f(x) ≤ f(y). Para excluir a igualdade, note que existem números racionais r e s com x < r < s < y. Daí, f(r) < f(s) e segue que f(x) ≤ f(r) < f(s) ≤ f(y).
Supondo verificadas as demais condições, teriamos que seguir verificando as propriedades de isomorfismo para a operação . , isto é, dados x e y reais positivos, com argumento análogo mostra-se f(x.y) = f(x). f(y).
Assim, fica provado que dado qualquer corpo ordenado completo é isomorfo a R. Dito de outro modo, R é o único corpo ordenado completo.
bons estudos.