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
Jahnke (discussão | contribs)
Fiz um esboço da demonstração, mas ainda faltam muitos detalhes.
 
Linha 58:
Mapeamos o conjunto <math>\mathbb{Q} \subset \mathbb{F}</math> no conjunto <math>\mathbb{Q}' \subset \mathbb{K}</math>.
 
Para cada <math>a \in \mathbb{F}</math>, sejam, <math> X_a = \{x \leq a \^ x \in \mathbb{Q} \subset \mathbb{F}\}</math>, e <math>\phi(a) = \sup X_a</math>;