PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very high
Haar measure (Definition)

Definition of Haar measures

Let $G$ be a locally compact topological group, and denote by $\mathcal{B}$ the sigma algebra generated by the closed compact subsets of $G$ . A left Haar measure on $G$ is a measure $\mu$ on $\mathcal{B}$ which is:

  1. outer regular on all sets $B \in \mathcal{B}$
  2. inner regular on all open sets $U \in \mathcal{B}$
  3. finite on all compact sets $K \in \mathcal{B}$
  4. invariant under left translation: $\mu(gB) = \mu(B)$ for all sets $B \in \mathcal{B}$
  5. nontrivial: $\mu(B) > 0$ for all non-empty open sets $B \in \mathcal{B}$ .

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

Existence of Haar measures

For any discrete topological group $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 $\mu$ , which is unique up to scalar multiples. In addition, $G$ also admits a right Haar measure, and for an abelian group $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 groups and profinite groups.




"Haar measure" is owned by djao.
(view preamble | get metadata)

View style:

Also defines:  left Haar measure, right Haar measure, bi-invariant Haar measure

Attachments:
modular function (Definition) by asteroid
Log in to rate this entry.
(view current ratings)

Cross-references: profinite groups, Lie groups, groups, locally compact, theory, representation, analysis, development, abelian group, addition, scalar multiples, counting measure, topological group, discrete, right, translation, invariant, compact sets, finite, open sets, inner regular, outer regular, measure, compact subsets, closed, generated by, sigma algebra, locally compact topological group
There are 31 references to this entry.

This is version 6 of Haar measure, born on 2002-05-28, modified 2008-05-08.
Object id is 2959, canonical name is HaarMeasure.
Accessed 13516 times total.

Classification:
AMS MSC28C10 (Measure and integration :: Set functions and measures on spaces with additional structure :: Set functions and measures on topological groups, Haar measures, invariant measures)

Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)