Daniel Bump Graduate Texts in Mathematics Lie Groups 2nd ed. 2013 10.1007/978-1-4614-8024-2_1
Springer Science+Business Media New York 2013
1. Haar Measure
Abstract
If G is a locally compact group, there is, up to a constant multiple, a unique regular Borel measure L that is invariant under left translation. Here left translation invariance means that ( X ) = ( gX ) for all measurable sets X .
If G is a locally compact group, there is, up to a constant multiple, a unique regular Borel measure L that is invariant under left translation. Here left translation invariance means that ( X ) = ( gX ) for all measurable sets X . Regularity means that
Such a measure is called a left Haar measure . It has the properties that any compact set has finite measure and any nonempty open set has measure > 0.
We will not prove the existence and uniqueness of the Haar measure. See for example Halmos [] for a proof of this. Left-invariance of the measure amounts to left-invariance of the corresponding integral,
for any Haar integrable function f on G .
There is also a right-invariant measure, R , unique up to constant multiple, called a right Haar measure . Left and right Haar measures may or may not coincide. For example, if
then it is easy to see that the left- and right-invariant measures are, respectively,
They are not the same. However, there are many cases where they do coincide, and if the left Haar measure is also right-invariant, we call G unimodular .
Conjugation is an automorphism of G , and so it takes a left Haar measure to another left Haar measure, which must be a constant multiple of the first. Thus, if g G , there exists a constant ( g ) > 0 such that
If G is a topological group, a quasicharacter is a continuous homomorphism
![Lie Groups - image 6](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq1.gif)
. If |( g )| = 1 for all g G , then is a (linear) character or unitary quasicharacter .
Proposition 1.1.
The function
![Lie Groups - image 7](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq2.gif)
is a quasicharacter. The measure (h) L (h) is right-invariant.
The measure
![Lie Groups - image 8](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq3.gif)
is a right Haar measure, and we may write
![Lie Groups - image 9](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq4.gif)
. The quasicharacter is called the modular quasicharacter.
Proof.
Conjugation by first g 1 and then g 2 is the same as conjugation by g 1 g 2 in one step. Thus
![Lie Groups - image 10](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq5.gif)
, so is a quasicharacter. Using (),
Replace f by f in this identity and then divide both sides by ( g ) to find that
Thus, the measure
![Lie Groups - image 13](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq6.gif)
is right-invariant.
Proposition 1.2.
If G is compact, then G is unimodular and
![Lie Groups - image 14](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq7.gif)
Proof.
Since is a homomorphism, the image of is a subgroup of
![Picture 15](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq8.gif)
. Since G is compact, ( G ) is also compact, and the only compact subgroup of
![Picture 16](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq9.gif)
is just
![Picture 17](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq10.gif)
. Thus is trivial, so a left Haar measure is right-invariant. We have mentioned as an assumed fact that the Haar volume of any compact subset of a locally compact group is finite, so if G is finite, its Haar volume is finite.
If G is compact, then it is natural to normalize the Haar measure so that G has volume 1.
To simplify our notation, we will denote
![Lie Groups - image 18](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq11.gif)
by
![Picture 19](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq12.gif)
.
Proposition 1.3.
If G is unimodular, then the map
![Picture 20](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq13.gif)
is an isometry.
Proof.
It is easy to see that
![Picture 21](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq14.gif)
turns a left Haar measure into a right Haar measure. If left and right Haar measures agree, then
![Picture 22](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq15.gif)
multiplies the left Haar measure by a positive constant, which must be 1 since the map has order 2.
Exercises
Exercise 1.1.
Let
![Picture 23](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq16.gif)
denote the Lebesgue measure on
![Lie Groups - image 24](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq17.gif)
. It is of course a Haar measure for the additive group
![Lie Groups - image 25](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq18.gif)
. Show that
![Lie Groups - image 26](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq19.gif)
is both a left and a right Haar measure on
![Lie Groups - image 27](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq20.gif)
.
Exercise 1.2.
Let P be the subgroup of
![Lie Groups - image 28](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq21.gif)
consisting of matrices of the form
Let d g 1 and d g 2 denote Haar measures on
![Picture 30](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq22.gif)
and
![Picture 31](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq23.gif)
, and let
![denote an additive Haar measure on Show that are respectively left and - photo 32](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq24.gif)
denote an additive Haar measure on
![Show that are respectively left and right Haar measures on P and - photo 33](/uploads/posts/book/168766/A79351_2_En_1_Chapter_IEq25.gif)