Análise real/Unicidade dos números reais: diferenças entre revisões
| [edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
m ajustando afluente. [e testando AutoCat] |
m →Definição (isomorfismo entre corpos): -> isomorfismo entre corpos ordenados |
||
Linha 10:
Como veremos a seguir, é que dois corpos ordenados completos arquimedianos, são igual, a menos de um isomorfismo. Ou em linguagem mais coloquial, se tivermos dois, então ambos possuem as mesmas propriedades. Para isso, mostraremos que dados dois corpos ordenados completos arquimedianos, então estes corpos são isomorfos.
== Definição (isomorfismo entre corpos ordenados) ==
Dizemos que <math>\phi:\mathbb{F} \to \mathbb{K}</math> é um '''isomorfismo entre corpos ordenados''' se:
# <math>\phi(a + b) = \phi(a) + \phi(b), \forall a,b \in \mathbb{F}</math>;
| |||