勒贝格测度
哈尔测度可以定义在任何局部紧群上，是勒贝格测度的一个推广（带有加法的formula_18是一个局部紧群）。