Измеримая действующая группа - Measurable acting group

В математика, а измеримая действующая группа это особая группа, которая действует на некотором пространстве способом, совместимым со структурами теория меры. Измеримые действующие группы находятся на пересечении теории меры и теория групп, две суб-дисциплины математики. Измеримые действующие группы являются основой для изучения инвариантных мер в абстрактных условиях, наиболее известной из которых является Мера Хаара, и изучение стационарные случайные меры.

Определение

Позволять быть измеримая группа, где обозначает -алгебра на и то групповой закон. Пусть дальше быть измеримое пространство и разреши быть товар -алгебра из -алгебры и .

Позволять действовать на с групповым действием

Если это измеримая функция от к , то он называется измеримое групповое действие. В этом случае группа говорят, что действует на .

Пример: измеримые группы как измеримые действующие группы

Частным случаем измеримых действующих групп являются сами измеримые группы. Если , а действие группы - это групповой закон, то измеримая группа - это группа , ощутимо действуя на .

использованная литература

  • Калленберг, Олав (2017). Случайные меры, теория и приложения. Швейцария: Спрингер. Дои:10.1007/978-3-319-41598-7. ISBN  978-3-319-41596-3.