Měřitelná působící skupina - Measurable acting group

v matematika, a měřitelná působící skupina je speciální skupina, která činy na nějakém prostoru způsobem, který je kompatibilní se strukturami teorie míry. Měřitelné působící skupiny se nacházejí v průsečíku teorie míry a teorie skupin, dvě subdisciplíny matematiky. Měřitelné jednající skupiny jsou základem pro studium invariantních měr v abstraktním prostředí, nejznámější je Haarovo opatření a studium stacionární náhodné míry.

Definice

Nechat být měřitelná skupina, kde označuje -algebra na a the skupinové právo. Nechte dále být měřitelný prostor a nechte být produkt -algebra z -algebry a .

Nechat akt na se skupinovou akcí

Li je měřitelná funkce z na , pak se nazývá a měřitelná skupinová akce. V tomto případě skupina prý působí měřitelně .

Příklad: Měřitelné skupiny jako měřitelné působící skupiny

Jedním zvláštním případem měřitelných jednajících skupin jsou samotné měřitelné skupiny. Li a skupinová akce je zákon o skupině, pak měřitelná skupina je skupina , působící měřitelně na .

Reference

  • Kallenberg, Olav (2017). Náhodná opatření, teorie a aplikace. Švýcarsko: Springer. doi:10.1007/978-3-319-41598-7. ISBN  978-3-319-41596-3.