Me preguntaba por qué las métricas y las normas son siempre definidos para ser real, en lugar de generalizar a otros campos (o lo que sea). La mejor opcion que tengo hasta ahora es:
Porque cada Arquímedes ordenó campo (hasta un único isomorfismo) un subcampo de la $\mathbb R$, de todos modos.
Pero es eso realmente cierto? Y si es así, puede ser fortalecido a "todos los Achimedean ordenado de los anillos"? O incluso semiring?
Sé $\mathbb R$ es la única completa de Arquímedes campo. Pero a priori, supongo que no podría ser de no completar los ejemplos que no se puede completar (sin perder la propiedad de Arquímedes).
