Лекции по случайным процессам под редакцией Гасникова
https://arxiv.org/pdf/1907.01060&ved=2ahUKEwji8LbYldPvAhVkoosKHbPhB-oQFjALegQIDRAC&usg=AOvVaw3GjSw2vaaPcHKnsank4BzO&cshid=1616940782000
https://arxiv.org/pdf/1907.01060&ved=2ahUKEwji8LbYldPvAhVkoosKHbPhB-oQFjALegQIDRAC&usg=AOvVaw3GjSw2vaaPcHKnsank4BzO&cshid=1616940782000
Я подключила комментарии!
Теперь к последующим постам можно будет задавать уточняющие вопросы!
Теперь к последующим постам можно будет задавать уточняющие вопросы!
Remark
А стандартное пространство Бореля - это замечательный зверь, (X, B), так что на Х существует польская топология, такая что В - Борелевская сигма-алгебра. Без определения что такое сигма-алгебра (пусть это будет черный короб), но чтобы была какая-то интуиция…
Давайте теперь введем в постановку задачи группу.
Группы у нас всюду будут счетные дискретные, но теория работает и для локально компактных со второй аксиомой счетности с небольшими поправками.
Действием группы на стандартном пространстве Бореля будем называть гомоморфизм групп a: Г -> Aut(X,B), где Aut - это группа автоморфизмов пространства (отображений само в себя).
В других словах, для любого g є Г является автоморфизмом Аg: X->X, если Ag•h = Ag•Ah
Группы у нас всюду будут счетные дискретные, но теория работает и для локально компактных со второй аксиомой счетности с небольшими поправками.
Действием группы на стандартном пространстве Бореля будем называть гомоморфизм групп a: Г -> Aut(X,B), где Aut - это группа автоморфизмов пространства (отображений само в себя).
В других словах, для любого g є Г является автоморфизмом Аg: X->X, если Ag•h = Ag•Ah
Прерываюсь для того чтобы сообщить всем, что ЛШСМ - одна из лучших вещей, которые случились в моей жизни и вам оно надо, если вы школьник или студент младших курсов!
Forwarded from Непрерывное математическое образование
https://mccme.ru/dubna/2021/
Летняя школа «Современная математика» имени Виталия Арнольда планируется в этом году с 19 по 30 июля в Дубне (в очном формате). Начинается прием заявок от школьников 10 и 11 классов и студентов I и II курсов.
Летняя школа «Современная математика» имени Виталия Арнольда планируется в этом году с 19 по 30 июля в Дубне (в очном формате). Начинается прием заявок от школьников 10 и 11 классов и студентов I и II курсов.
Remark
Обозначается действие группы так
Теперь, пусть Г действует на (X,B) и (Y,C), двух Борелевских пространствах.
Морфизмы, которые нас интересуют - эквивариантные функции pi: (X,B)->(Y,C), т.е. мы хотим чтобы функция коммутировала с действием.
\pi(gx)=g \pi(x)
\pi называется гамма-фактором, если \pi - сюръекция.
Морфизмы, которые нас интересуют - эквивариантные функции pi: (X,B)->(Y,C), т.е. мы хотим чтобы функция коммутировала с действием.
\pi(gx)=g \pi(x)
\pi называется гамма-фактором, если \pi - сюръекция.
Картинка, которую полезно держать в голове: вот у нас есть два пространства, можно взять квадрат интервала и интервал.
На верхнем этаже (квадрате интервала) х куда-то переходит под действием элемента группы. При этом на нижнем этаже у нас есть \pi(x) (весь слой с х "проецируется" в одну точку). gx тоже можно "опустить" вниз, при этом мы хотим, чтобы опущенное gx совпадало с тем, как мы "тащим" групповым элементом \pi(x)
(Это я попыталась объяснить, как работает коммутативность групповых элементов и нашей функции)
(Картинка нагло утащена из слайдов Яира Хартмана)
На верхнем этаже (квадрате интервала) х куда-то переходит под действием элемента группы. При этом на нижнем этаже у нас есть \pi(x) (весь слой с х "проецируется" в одну точку). gx тоже можно "опустить" вниз, при этом мы хотим, чтобы опущенное gx совпадало с тем, как мы "тащим" групповым элементом \pi(x)
(Это я попыталась объяснить, как работает коммутативность групповых элементов и нашей функции)
(Картинка нагло утащена из слайдов Яира Хартмана)
Но все это время у нас не было меры!
Давайте её добавим. Возьмём стандартное пространство Бореля, на имеющейся сигма-алгебре построим меру, возможно её дополним, и получим стандартное пространство Лебега (или стандартное пространство вероятностей).
Теперь посмотрим на вот какую конструкцию:
У нас есть стандартное пространство Лебега (X,B,m), у нас есть ещё одно пространство пока что без меры - (Y,C), и изоморфизм между ними. Как бы нам через изоморфизм и имеющуюся меру на Х построить меру на Y?
Давайте изоморфизм обозначим через \pi.
Теперь возьмём измеримое множество в Y, отправим его обратно в Х через \pi^-1 и измерим там! Просто!
Эта (достаточно естественная) конструкция называется push forward
Давайте её добавим. Возьмём стандартное пространство Бореля, на имеющейся сигма-алгебре построим меру, возможно её дополним, и получим стандартное пространство Лебега (или стандартное пространство вероятностей).
Теперь посмотрим на вот какую конструкцию:
У нас есть стандартное пространство Лебега (X,B,m), у нас есть ещё одно пространство пока что без меры - (Y,C), и изоморфизм между ними. Как бы нам через изоморфизм и имеющуюся меру на Х построить меру на Y?
Давайте изоморфизм обозначим через \pi.
Теперь возьмём измеримое множество в Y, отправим его обратно в Х через \pi^-1 и измерим там! Просто!
Эта (достаточно естественная) конструкция называется push forward
Теперь введем понятие атомов. Атомы - это не те, которые в физике, хотя интуитивно похоже.
Атомы - это такие точки пространства, что у них присутствует ненулевая мера (масса).
х є Х, m(X)>0
В идеале мы бы хотели работать в пространствах без атомов, например с единичным интервалом. Но пространства с атомами тоже по-своему интересны, хотя я сейчас о них много рассказать не смогу.
Так вот оказывается, что все стандартные пространства вероятности без атомов изоморфны как измеримые пространства единичному интервалу - то есть у нас повторяется история как с Борелем, только теперь у нас есть мера!
Атомы - это такие точки пространства, что у них присутствует ненулевая мера (масса).
х є Х, m(X)>0
В идеале мы бы хотели работать в пространствах без атомов, например с единичным интервалом. Но пространства с атомами тоже по-своему интересны, хотя я сейчас о них много рассказать не смогу.
Так вот оказывается, что все стандартные пространства вероятности без атомов изоморфны как измеримые пространства единичному интервалу - то есть у нас повторяется история как с Борелем, только теперь у нас есть мера!