n::::定义.设"X"为一个度量空间。如果"X"每两点都有测地线相连，就称"X"为测地的。如果"X"中每一个闭球都是紧致集，就称"X"为常态的。考虑"X"中从某点formula_1量度距离的函数formula_2那么闭球formula_4是紧致区间[0,a]在formula_5下的原像。因此，闭球都是紧致集这个条件，便等价于所有形如formula_5的距离函数都是常态映射。这就是称度量空间"X"为常态的原因。一个群"G"在"X"上的群作用称为真不连续的，如果对每个紧致集formula_7，"G