Haar-maat
In de wiskundige analyse, een deelgebied van de wiskunde, is de Haar-maat een manier om een "invariant volume" toe te kennen aan deelverzamelingen van lokaal compacte topologische groepen en vervolgens een integraal voor functies op deze groepen te definiëren. 

Deze maat werd omstreeks 1932 door de Hongaarse wiskundige Alfred Haar geïntroduceerd. Haar-maten worden in vele gebieden van de analyse en getaltheorie, en ook in de schattingstheorie gebruikt.

Definitie
Zij  een lokaal compacte topologische groep. Noteer  voor de vectorruimte der complexwaardige continue functies met compacte drager in  en  voor de deelverzameling van functies die overal niet-negatieve reële waarden aannemen. Noteer  voor de linkergetranslateerde van een functie  over een groepselement  d.w.z. 

Een linker Haar-integraal op  is een afbeelding  met de eigenschappen:

 als  niet identiek 0 is

Een dergelijke afbeelding  bestaat en is uniek op een constante factor na.

Uit het bestaan en de uniciteit van de linker Haar-integraal volgt het bestaan van een linker Haar-maat, d.w.z. een maat op een sigma-algebra  die minstens de open verzamelingen van  bevat en met de eigenschappen:

 voor elke open verzameling 
 voor minstens een niet-lege open verzameling 
 is linksinvariant, d.w.z. 

Ook deze is uniek op vermenigvuldiging met een positieve constante na. Door symmetrie bestaan ook een (op en constante na) unieke rechter Haar-integraal en een rechter Haar-maat.

Modulus

De rechter Haar-maat  is niet noodzakelijk een constant veelvoud van de linker Haar-maat  De twee maten zijn echter wel absoluut continu ten opzichte van elkaar, dus bestaat er wegens de stelling van Radon-Nikodym een meetbare functie , modulus  of modulaire functie genoemd, met de eigenschap dat

Als de linker- en rechter Haar-maten wel veelvouden van elkaar zijn, is de modulus constant en kan hij gelijk aan de constante 1 worden gekozen; dergelijke topologische groepen heten unimodulair. Dit is duidelijk het geval bij abelse groepen. Compacte groepen zijn ook altijd unimodulair, zelfs als ze niet abels zijn.

Aan de hand van de Haar-maat definieert men ook de convolutie van twee functies op G.

Literatuur 
  , An Introduction to Abstract Harmonic Analysis (Een introductie tot de abstracte harmonische analyse), D. van Nostrand and Co., 1953. 
  , Basic Number Theory (Basis getallentheorie), Academic Press, 1971.

Externe link 
  Over het bestaan en de uniciteit van invariante maten op lokaal compacte groepen - door Simon Rubinstein-Salzedo

Maattheorie
Groepentheorie
Wiskundige analyse