Measurable_group_action

Measurable acting group

Measurable acting group

Add article description


In mathematics, a measurable acting group is a special group that acts on some space in a way that is compatible with structures of measure theory. Measurable acting groups are found in the intersection of measure theory and group theory, two sub-disciplines of mathematics. Measurable acting groups are the basis for the study of invariant measures in abstract settings, most famously the Haar measure, and the study of stationary random measures.

Definition

Let be a measurable group, where denotes the -algebra on and the group law. Let further be a measurable space and let be the product -algebra of the -algebras and .

Let act on with group action

If is a measurable function from to , then it is called a measurable group action. In this case, the group is said to act measurably on .

Example: Measurable groups as measurable acting groups

One special case of measurable acting groups are measurable groups themselves. If , and the group action is the group law, then a measurable group is a group , acting measurably on .

References

  • Kallenberg, Olav (2017). Random Measures, Theory and Applications. Probability Theory and Stochastic Modelling. Vol. 77. Switzerland: Springer. doi:10.1007/978-3-319-41598-7. ISBN 978-3-319-41596-3.



Share this article:

This article uses material from the Wikipedia article Measurable_group_action, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.