长度

其核心定义是‌一维空间的度量,表示点到点的距离‌。