It is a generalization of the Lebesgue measure . The Lebesgue measure is a measure in Euclidean space that is invariant under translations. The Euclidean space is a locally compact topological group with respect to addition. The Haar measure can be defined for every locally compact (in the following always assumed as Hausdorffsch ) topological group, in particular for every Lie group . Locally compact groups with their Haar's dimensions are examined in the harmonic analysis .
A measure is called left invariant if for every Borel set and every group element
or in integral notation
applies to integrable functions and group elements .
Replacing “left invariant” with the analogous term “right invariant” results in the term right hair measure. The left and right hair measure exist in every locally compact topological group and are each uniquely determined except for one factor. If they both match, the group is called unimodular. Abelian (locally compact) groups as well as compact groups are unimodular.
Proof of existence
According to a variant of Riesz-Markow's representation theorem, it is sufficient to show the existence of a continuous, positive, left-invariant, linear functional on the non-negative, real-valued, continuous functions with compact support on a locally compact group . In the real case, an example of this would be the Riemann integral, which can be continued into the Lebesgue integral and thus induces the Lebesgue measure . The proof of existence is possible non-constructively via Tychonoff's theorem .
For this purpose, one defines first for every two non-negative, continuous functions with compact support with the coverage number as
where the left shift denotes, that is . For more and more "finer" , the overlap then becomes more and more "more accurate", although the overlap number usually increases. This can be brought under control by standardization, one defines
for any non-zero. However, this functional is still generally not linear - it is homogeneous , but generally only subadditive and not additive. The following inequality is then decisive for the further proof:
Now consider the environment filter of the neutral element in and form the image filter below the figure, which assigns to each the set of all for which the carrier of in is contained. In this way, thanks to the estimation, one obtains a filter in space and this space is compact according to Tychonoff's theorem. The filter thus has a point of contact; it is calculated that such a point of contact has all the desired properties, in particular is linear, that is to say is a left Haar integral.
The Haar measure of a locally compact topological group is finite if and only if the group is compact . This fact makes it possible to carry out an averaging over infinite compact groups by integration with regard to this measure. One consequence is, for example, that every finite-dimensional complex representation of a compact group is unitary with respect to a suitable scalar product . A one-element set has a non-zero hair measure if and only if the group is discrete.
- The Lebesgue measure on and is the Haarsche measure on the additive groups respectively .
- Let the circle group , i.e. the compact group of complex numbers of magnitude 1 with the usual multiplication of complex numbers as a link. If the Lebesgue measure denotes the interval and the function , the Haar measure is given by the image measure , that is, for each Borel set .
- If the general linear group , the Haar measure is given by, where the Lebesgue measure is on.
- For a discrete group, the counting measure is Haar's measure.
- The Haar's measure on the multiplicative group is given by the formula , where the Lebesgue measure is.
The modular function
If a (left-invariant) Haar's measure, then also the assignment , where is a fixed group element. Because of the uniqueness of the Haar measure, there is a positive real number such that
is a continuous group homomorphism from the group to the multiplicative group of positive real numbers called a modular function . measures how much a (left) hair measure is also right invariant; and a group is unimodular if and only if its modular function is constant.
- Lynn H. Loomis : An Introduction to Abstract Harmonic Analysis. D. van Nostrand Co., Toronto et al. 1953.
- Donald L. Cohn: Measure Theory. Birkhäuser, Boston MA 1980, ISBN 3-7643-3003-1 .