个平均」。
定义.设"G"为局部紧群。"G"上存在左哈尔测度formula_8。考虑在测度空间formula_13上的复值本质有界函数空间formula_14。线性泛函formula_15称为平均，如果formula_16的范数是1，并且是非负的：若实值函数formula_17适合formula_18，则formula_19。如果formula_16是一个平均，则有formula_21，其中formula_22是"G"的特征函数。而且对任何实值函数formula_17，其