展开 度量的定义的三条公理为