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
|