Haar measure


1 Definition of Haar measures

Let G be a locally compact topological group, and denote by the sigma algebra generated by the closed compact subsets of G. A left Haar measure on G is a measureMathworldPlanetmath μ on which is:

  1. 1.

    outer regular on all sets B

  2. 2.

    inner regular on all open sets U

  3. 3.

    finite on all compact sets K

  4. 4.

    invariant under left translationPlanetmathPlanetmath: μ(gB)=μ(B) for all sets B

  5. 5.

    nontrivial: μ(B)>0 for all non-empty open sets B.

A right Haar measure on G is defined similarly, except with left translation invariance replaced by right translation invariance (μ(Bg)=μ(B) for all sets B). A bi-invariant Haar measure is a Haar measure that is both left invariant and right invariant.

2 Existence of Haar measures

For any discrete topological groupMathworldPlanetmath G, the counting measure on G is a bi-invariant Haar measure. More generally, every locally compact topological group G has a left Haar measure μ, which is unique up to scalar multiples. In addition, G also admits a right Haar measure, and for an abelian groupMathworldPlanetmath G the left and right Haar measures are always equal. The Haar measure plays an important role in the development of Fourier analysis and representation theory on locally compact groups such as Lie groupsMathworldPlanetmath and profinite groups.

Title Haar measure
Canonical name HaarMeasure
Date of creation 2013-03-22 12:40:55
Last modified on 2013-03-22 12:40:55
Owner djao (24)
Last modified by djao (24)
Numerical id 9
Author djao (24)
Entry type Definition
Classification msc 28C10
Defines left Haar measure
Defines right Haar measure
Defines bi-invariant Haar measure