Haar measure


Also found in: Wikipedia.

Haar measure

[′här ‚mezh·ər]
(mathematics)
A measure on the Borel subsets of a locally compact topological group whose value on a Borel subset U is unchanged if every member of U is multiplied by a fixed element of the group.
References in periodicals archive ?
They cover Lebesgue measure in Euclidean space, measures on metric spaces, topological groups, Banach and measure, compact groups have a Haar measure, applications, Haar measure on locally compact groups, metric invariance and Haar measure, Steinlage on Haar measure, and Oxtoby's view of Haar measure.
respectively, ds being the Haar measure of Spin (m).
is the left Haar measure of U, and so by Theorem 3.
Subgroups have nice properties and a closed subgroup of a locally compact abelian group is itself a locally compact abelian group, with Haar measure [m.
When H is a topologically closed subset of G (a technicality that is satisfied in all that follows), G/H is also a locally compact abelian group, with Haar measure [m.
First, it has an essentially unique Haar measure and, secondly, it is associated with a dual group.
Haar measure is a very general extension of a 'length' or 'area', which it turns out is in many respects like Lebesgue measure (a mathematical name for ordinary length, area or volume in Euclidean space).
The uniqueness of Haar measure implies that the integral over G of a function f (in [L.
The dual group [GAMMA] is also locally compact and abelian, with its Haar measure denoted by [m.
implying that f^ [disjunction]] (x) = f(x) except for a set of Haar measure 0 and often written for convenience more simply as f^ [disjunction]] ~ f.
The reciprocity relation (15) ensures that if the Haar measure for a compact group is chosen to be unity, the Haar measure on the discrete dual group has to be counting measure (cf.
He covers the basic concepts, Gaussian measures, dynamical system, Borel product-measures, invariant Borel measures, quasi-invariant Radon measures, partial analogies of Lebegues measures, essential uniqueness, the Erdos-Sierpinski duality principle, strict transivity properties, invariant extensions of Haar measures, separated families of probability measures, an Ostrogradsky formula, and generalized Fourier series.