“Idempotent measure”的意思、由来-开放百科全书

词条

Idempotent measure

释义

References

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

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

{{cite book

}} {{MathSciNet|id=2169627}} (See chapter 3, section 3.)

3 : Group theory|Measures (measure theory)|Metric geometry

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。