是拓扑学的需要。这里的拓扑指的是为代数体系赋予“形状”，定义“远近”、“长短”等概念，是建立几何和分析结构的基础。一个常见的拓扑学方法是引入“距离”的概念，正式称唿为度量。最直观的定义是将两个有理数的“距离”（度量）formula_18定义为两者之差的绝对值：两个有理数之间的度量是一个非负的有理数。也即是说度量formula_18是一个从有理数域映射到非负有理数集合的二元函数：formula_21。其中formula_22的大小关系则是有理数域上定义的全序。这个度量基于欧几里得几何，叫做欧几里得度量或绝对