Idempotent measure (original) (raw)
In mathematics, an idempotent measure on a 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 It can be shown that the only idempotent probability measures on a complete, separable metric group are the normalized Haar measures of compact subgroups.
| Property | Value |
|---|---|
| dbo:abstract | In mathematics, an idempotent measure on a 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. (en) |
| dbo:wikiPageID | 16402793 (xsd:integer) |
| dbo:wikiPageLength | 1642 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 607144516 (xsd:integer) |
| dbo:wikiPageWikiLink | dbc:Group_theory dbr:Compact_space dbr:Complete_space dbr:Convolution dbr:Mathematics dbr:Separable_space dbr:Fubini's_theorem dbr:Subgroup dbr:Haar_measure dbc:Measures_(measure_theory) dbc:Metric_geometry dbr:Weak_convergence_of_measures dbr:Idempotent_element dbr:Topological_semigroup dbr:Probability_measure dbr:Metric_group |
| dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:MathSciNet |
| dct:subject | dbc:Group_theory dbc:Measures_(measure_theory) dbc:Metric_geometry |
| rdfs:comment | In mathematics, an idempotent measure on a 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 It can be shown that the only idempotent probability measures on a complete, separable metric group are the normalized Haar measures of compact subgroups. (en) |
| rdfs:label | Idempotent measure (en) |
| owl:sameAs | freebase:Idempotent measure wikidata:Idempotent measure https://global.dbpedia.org/id/4nczL |
| prov:wasDerivedFrom | wikipedia-en:Idempotent_measure?oldid=607144516&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Idempotent_measure |
| is dbo:wikiPageWikiLink of | dbr:Paul_Cohen |
| is foaf:primaryTopic of | wikipedia-en:Idempotent_measure |