Haarsches Maß
Das Haarsche Maß wurde von Alfréd Haar in die Mathematik eingeführt, um Ergebnisse der Maßtheorie in der Gruppentheorie anwendbar zu machen.
Es ist eine Verallgemeinerung des Lebesgue-Maßes. Das Lebesgue-Maß ist ein Maß auf dem euklidischen Raum, das unter Translationen invariant ist. Der euklidische Raum ist eine lokalkompakte topologische Gruppe bezüglich der Addition. Das Haarsche Maß ist für jede lokalkompakte (im Folgenden immer als hausdorffsch vorauszusetzende) topologische Gruppe definierbar, insbesondere also für jede Lie-Gruppe. Lokalkompakte Gruppen mit ihren Haarschen Maßen werden in der harmonischen Analyse untersucht.
Definition
Ein (linkes) Haarsches Maß einer lokalkompakten Gruppe <math>G</math> ist ein linksinvariantes reguläres Borelmaß, das auf nichtleeren offenen Teilmengen positiv ist.
Ein Maß <math>\mu</math> heißt dabei linksinvariant, wenn für jede Borelmenge <math>A</math> und jedes Gruppenelement <math>g</math>
- <math>\mu(gA) = \mu(A)</math>,
oder in Integralschreibweise
- <math>\int_G f(gx)\,\mathrm d\mu=\int_G f(x)\,\mathrm d\mu</math>
für integrierbare Funktionen <math>f</math> und Gruppenelemente <math>g</math> gilt.
Ersetzt man „linksinvariant“ durch den analogen Begriff „rechtsinvariant“, erhält man den Begriff des rechten Haar-Maßes. Das linke und das rechte Haarmaß existieren in jeder lokalkompakten topologischen Gruppe und sind jeweils bis auf einen Faktor eindeutig bestimmt. Stimmen sie beide überein, so heißt die Gruppe unimodular. Abelsche (lokalkompakte) Gruppen sowie kompakte Gruppen sind unimodular.
Existenz
Haarsche Maße existieren auf hausdorffschen lokalkompakten Gruppen. Auf nicht-lokalkompakten hausdorffschen topologischen Gruppen existiert kein Haar-Maß, allgemeiner existiert darauf kein nicht-triviales translationsinvariantes Radon-Maß.<ref name="Gowrisankaran">{{#invoke:Vorlage:Literatur|f}}</ref> Es ist jedoch möglich ein Haar-Maß auf lokalkompakten Gruppen zu konstruieren, welche nicht hausdorff sind.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>
Beweis der Existenz
Nach einer Variante des Darstellungssatzes von Riesz-Markow reicht es aus, die Existenz eines stetigen, positiven, linksinvarianten, linearen Funktionals auf den nicht-negativen, reellwertigen, stetigen Funktionen mit kompaktem Träger auf einer lokalkompakten Gruppe <math>G</math> zu zeigen. Im reellen Fall wäre ein Beispiel für ein solches das Riemann-Integral, das sich zum Lebesgue-Integral fortsetzen lässt und damit das Lebesgue-Maß induziert. Der Beweis der Existenz ist nicht-konstruktiv über den Satz von Tychonoff möglich.
Hierzu definiert man zunächst für je zwei nicht-negative, stetige Funktionen mit kompaktem Träger <math>(f, \varphi)</math> mit <math>\varphi \neq 0</math> die Überdeckungszahl <math>(f : \varphi)</math> als
- <math>(f : \varphi) := \inf \left\{\sum_i c_i \mid c\in {\R^+}^n,\ n\in \N,\ \exist g \in G^n\ \forall h \in G\ f(h)\leq \left(\sum_i c_i L_{g_i} \varphi\right)(h)\right\}</math>,
wobei <math>L_g f</math> die Linksverschiebung bezeichne, das heißt <math>L_g f(h) = f(g^{-1}h)</math>. Für immer „feineres“ <math>\varphi</math> wird die Überdeckung dann immer „genauer“, wobei jedoch die Überdeckungszahl üblicherweise immer größer wird. Dies lässt sich durch eine Normierung in den Griff bekommen, man definiert
- <math>I_\varphi(f) := \frac{(f : \varphi)}{( f_0 : \varphi)}</math>
für ein beliebiges <math>f_0</math> ungleich null. Dieses Funktional ist jedoch im Allgemeinen immer noch nicht linear – es ist zwar homogen, aber im Allgemeinen nur subadditiv und nicht additiv. Entscheidend für den weiteren Beweis ist dann folgende Ungleichung:
- <math>0 < (f_0 : f)^{-1} \leq I_\varphi (f) \leq (f : f_0)</math>.
Man betrachte nun den Umgebungsfilter des neutralen Elements in <math>G</math> und bilde den Bildfilter unter der Abbildung, die jedem <math>V</math> die Menge aller <math>I_\varphi</math> zuordnet, für die der Träger von <math>\varphi</math> in <math>V</math> enthalten ist. Dadurch erhält man dank der Abschätzung einen Filter im Raum <math>\textstyle \prod_f[(f_0 : f)^{-1}, (f : f_0)]</math> und dieser Raum ist nach dem Satz von Tychonoff kompakt. Der Filter besitzt somit einen Berührpunkt, man rechnet nach, dass ein solcher Berührpunkt alle gewünschten Eigenschaften hat, insbesondere linear ist, also ein linkes Haar-Integral ist.<ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref>
Eigenschaften
Das Haarsche Maß einer lokalkompakten topologischen Gruppe ist genau dann endlich, wenn die Gruppe kompakt ist. Diese Tatsache ermöglicht es, eine Mittelung über unendliche kompakte Gruppen durch Integration bezüglich dieses Maßes durchzuführen. Eine Folge ist beispielsweise, dass jede endlichdimensionale komplexe Darstellung einer kompakten Gruppe unitär bezüglich eines geeigneten Skalarproduktes ist. Eine einelementige Menge hat genau dann ein Haarmaß ungleich null, wenn die Gruppe diskret ist.
Das Haar-Maß ist ein Radon-Maß.
Beispiele
- Das Lebesguemaß auf <math>\R^n</math> und <math>\Complex^n</math> ist das Haarsche Maß auf den additiven Gruppen <math>(\R^n,+)</math> bzw. <math>(\Complex^n, +)</math>.
- Sei <math>T</math> die Kreisgruppe, also die kompakte Gruppe der komplexen Zahlen vom Betrag 1 mit der üblichen Multiplikation komplexer Zahlen als Verknüpfung. Bezeichnet <math>\lambda</math> das Lebesguemaß auf dem Intervall <math>[0,1]</math> und <math>f</math> die Funktion <math>[0,1]\rightarrow T, x\mapsto e^{2\pi i x}</math>, so ist das Haarsche Maß <math>\mu</math> gegeben durch das Bildmaß <math>\lambda\circ f^{-1}</math>, das heißt <math>\mu(A)\,=\,\lambda(f^{-1}(A))</math> für jede Borelmenge <math>A\subset T</math>.
- Ist <math>GL(n,\R)</math> die allgemeine lineare Gruppe, so ist das Haarsche Maß durch <math>\mu(A) = \int_A\frac{1}{|\det(u)|^n}\,\mathrm{d}\lambda(u) </math> gegeben, wobei <math>\lambda</math> das Lebesguemaß auf <math>\R^{n^2}</math> ist.
- Für eine diskrete Gruppe ist das Zählmaß Haarsches Maß.
- Das Haarsche Maß auf der multiplikativen Gruppe <math>\R^\times = (\R \setminus \{0\}, \cdot)</math> ist durch die Formel <math>\mu(A) = \int_A \frac{1}{|x|}\,\mathrm{d}\lambda(x) </math> gegeben, wobei <math>\lambda</math> das Lebesguemaß ist.
Die modulare Funktion
{{#if: Modulare Funktion (harmonische Analyse)|{{#ifexist:Modulare Funktion (harmonische Analyse)|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Ist <math>\mu</math> ein (linksinvariantes) Haarsches Maß, dann ebenfalls die Zuordnung <math>A \mapsto \mu(Ag)</math>, wobei <math>g</math> ein festes Gruppenelement ist. Wegen der Eindeutigkeit des Haarschen Maßes existiert eine positive reelle Zahl <math>\Delta(g)</math>, so dass
- <math> \mu (Ag) = \Delta(g) \mu(A)</math>.
<math>\Delta</math> ist ein stetiger Gruppenhomomorphismus von der Gruppe in die multiplikative Gruppe der positiven reellen Zahlen, der modulare Funktion genannt wird. <math>\Delta</math> misst, wie sehr ein (linkes) Haarmaß auch rechtsinvariant ist; und eine Gruppe ist genau dann unimodular, wenn ihre modulare Funktion konstant ist.
Literatur
- Jürgen Elstrodt: Maß- und Integrationstheorie, Springer Verlag, 4. Auflage 2005, ISBN 3540213902
- Lynn H. Loomis: An Introduction to Abstract Harmonic Analysis. D. van Nostrand Co., Toronto u. a. 1953.
- Donald L. Cohn: Measure Theory. Birkhäuser, Boston MA 1980, ISBN 3-7643-3003-1.
Einzelnachweise
<references />