Misplaced Pages

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Idempotent measure" – news · newspapers · books · scholar · JSTOR (March 2024)

In mathematics, an idempotent measure on a metric group is a probability measure that equals its convolution with itself; in other words, an idempotent measure is an idempotent element in the topological semigroup of probability measures on the given metric group.

Explicitly, given a metric group X and two probability measures μ and ν on X, the convolution μ ∗ ν of μ and ν is the measure given by

${\displaystyle (\mu *\nu )(A)=\int _{X}\mu (Ax^{-1})\,\mathrm {d} \nu (x)=\int _{X}\nu (x^{-1}A)\,\mathrm {d} \mu (x)}$

for any Borel subset A of X. (The equality of the two integrals follows from Fubini's theorem.) With respect to the topology of weak convergence of measures, the operation of convolution makes the space of probability measures on X into a topological semigroup. Thus, μ is said to be an idempotent measure if μ ∗ μ = μ.

It can be shown that the only idempotent probability measures on a complete, separable metric group are the normalized Haar measures of compact subgroups.

References

• Parthasarathy, K. R. (2005). Probability measures on metric spaces. AMS Chelsea Publishing, Providence, RI. pp. xii+276. ISBN 0-8218-3889-X. MR2169627 (See chapter 3, section 3.)

This metric geometry-related article is a stub. You can help Misplaced Pages by expanding it.

• v
• t
• e

This probability-related article is a stub. You can help Misplaced Pages by expanding it.

• v
• t
• e

• Group theory
• Measures (measure theory)
• Metric geometry
• Metric geometry stubs
• Probability stubs