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
A demonstração NÃO ESTÁ pronta, tenham paciência. :) |
|||
Linha 50:
<math>f(m/n) = f(m)f(n)^{-1}</math>.
Desta forma a função <math>f</math> mapeia <math>\mathbb{Q} \subset \mathbb{F}</math> em <math>\mathbb{Q}' := f(\mathbb{Q}) \subset \mathbb{K}</math>.
Linha 70:
* <math>\phi</math> é sobrejetora;
Dado <math>y \in \mathbb{F}, y = sup\{q' \in \mathbb{Q}'; q < y\}.</math>
|