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 →Definição (isomorfismo entre corpos): -> isomorfismo entre corpos ordenados |
|||
Linha 18:
# <math>\forall a,b \in \mathbb{F}</math>, com <math>a < b \Rightarrow \phi(a) < \phi(b)</math>;
# <math>\phi(a) = \phi(b) \Rightarrow a = b</math>, isto é, <math>\phi</math> é injetiva;
# <math>\forall y \in \mathbb{K}, \exists x \in \mathbb{F} | y = \phi(x)</math>, ou seja, é sobrejetiva.
== Proposição ==
| |||