Haar integral

In mathematical analysis, the Haar measure assigns an "invariant volume" to subsets of locally compact topological groups, consequently defining an integral for functions on those groups.

This measure was introduced by Alfréd Haar in 1933, though its special case for Lie groups had been introduced by Adolf Hurwitz in 1897 under the name "invariant integral". Haar measures are used in many parts of analysis, number theory, group theory, representation theory, statistics, and ergodic theory.

Let (G,.) be a locally compact Hausdorff topological group. The σ-algebra generated by all open sets of G is called the Borel algebra. An element of the Borel algebra is called a Borel set. If g is an element of G and S is a subset of G, then we define the left and right translates of S as follows:

Left and right translates map Borel sets into Borel sets.

A measure μ on the Borel subsets of G is called left-translation-invariant if for all Borel subsets S of G and all g in G one has

A measure μ on the Borel subsets of G is called right-translation-invariant if for all Borel subsets S of G and all g in G one has

There is, up to a positive multiplicative constant, a unique countably additive, nontrivial measure μ on the Borel subsets of G satisfying the following properties:

...
Wikipedia