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