Haarmaß

Haarmaß

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 topologische Gruppe definierbar, insbesondere also für jede Lie-Gruppe.

Definition

Das (linke) Haarsche Maß einer lokalkompakten Gruppe ist das bis auf einen Faktor eindeutig bestimmte linksinvariante reguläre Borelmaß, das auf nichtleeren offenen Teilmengen positiv ist.

Ein Maß μ heißt dabei linksinvariant, wenn

\int_G f(gx)\,\mathrm d\mu=\int_G f(x)\,\mathrm d\mu

für stetige Funktionen f und Gruppenelemente g gilt.

Ersetzt man "linksinvariant" durch den analogen Begriff "rechtsinvariant", erhält man den Begriff des rechten Haar-Maßes. Stimmen sie überein, so heißt die Gruppe unimodular. Abelsche Gruppen sowie kompakte Gruppen sind unimodular.

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.


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Gruppenalgebra — Ein Monoidring kann als Verallgemeinerung eines Polynomrings aufgefasst werden. Dabei werden die Exponenten (Hochzahlen) der Polynome sozusagen durch Elemente aus einem Monoid ersetzt, was im folgenden exakt definiert wird. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

  • Gruppenring — Ein Monoidring kann als Verallgemeinerung eines Polynomrings aufgefasst werden. Dabei werden die Exponenten (Hochzahlen) der Polynome sozusagen durch Elemente aus einem Monoid ersetzt, was im folgenden exakt definiert wird. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

  • Approximation der Eins — Eine Approximation der Eins ist ein Begriff aus der mathematischen Theorie der Banachalgebren. Viele für Anwendungen wichtige Banachalgebren haben kein Einselement. Eine Adjunktion eines Einselement wäre in der Regel ein unnatürliches Vorgehen.… …   Deutsch Wikipedia

  • 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 …   Deutsch Wikipedia

  • Harmonische Analyse — Die abstrakte harmonische Analyse ist die Theorie der lokalkompakten Gruppen. Der Name rührt daher, dass es auf beliebigen lokalkompakten Gruppen ein zum Lebesgue Maß auf den reellen Zahlen analoges Maß gibt, das sogenannte Haar Maß. Bezüglich… …   Deutsch Wikipedia

  • Monoidring — Ein Monoidring kann als Verallgemeinerung eines Polynomrings aufgefasst werden. Dabei werden die Exponenten (Hochzahlen) der Polynome sozusagen durch Elemente aus einem Monoid ersetzt, was im folgenden exakt definiert wird. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

  • Gruppen-C*-Algebra — Gruppen C* Algebren werden in den mathematischen Teilgebieten der harmonischen Analyse und Funktionalanalysis untersucht. Einer lokalkompakten Gruppe wird in natürlicher Weise eine C* Algebra zugeordnet, so dass diese die Darstellungstheorie der… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”