Haar measure

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:application gptkb:probability_theory
Fourier analysis
ergodic theory
representation theory
gptkbp:category functional analysis
group theory
measure
gptkbp:definedIn locally compact topological group
gptkbp:field gptkb:mathematics
gptkb:topology
harmonic analysis
measure theory
gptkbp:generalizes Lebesgue measure
https://www.w3.org/2000/01/rdf-schema#label Haar measure
gptkbp:introduced gptkb:Alfréd_Haar
gptkbp:introducedIn 1933
gptkbp:property left-invariant
unique up to scaling
gptkbp:usedFor integration on groups
gptkbp:bfsParent gptkb:Lie_group
gptkb:Lie_groups
gptkbp:bfsLayer 5