Miara Haara
Z Wikipedii, wolnej encyclopedia
Miara Haara – niezmiennicza ze względu na działanie grupowe miara określona na lokalnie zwartej grupie topologicznej. Konsekwencją istnienia miary Haara na grupie lokalnie zwartej jest istnienie całki. Z tego względu ma liczne zastosowania w analizie i teorii liczb.
Miara Haara nazwana została na cześć Alfreda Haara, węgierskiego matematyka, który jako pierwszy podał jej konstrukcję około roku 1932.