合 formula_31，定义这个测度在群 formula_29 的作用下不变，即 formula_34 对所有 formula_35 成立。因为 formula_36，我们有 formula_37。另外 formula_38 关于度量空间拓扑是一个拉东测度（），且每个相同半径（关于这个度量）的球有相同的测度——在此意义下该测度是一致的。