Теорема Крылова — Боголюбова — утверждает существование инвариантных мер у «хороших» отображений, определённых на «хороших» пространствах. Существуют две вариации теоремы, для динамических систем и для марковских процессов
Теорема доказана математиком Н. М. Крыловым и физиком-теоретиком, математиком Н. Н. Боголюбовым.[1][2] (переиздано в[3]).
Пусть — непрерывное отображение метрического компакта в себя. Тогда на существует хотя бы одна -инвариантная мера которая может быть выбрана таким образом, что она будет неразложимой, или эргодической[4].
Доказательство теоремы опирается на так называемую процедуру Крылова — Боголюбова — процедуру выделения сходящейся подпоследовательности из последовательности временных средних произвольной начальной меры.
А именно, берётся произвольная начальная мера , и рассматривается последовательность её временных средних:
Временные средние являются всё более и более -инвариантными:
Поэтому предел любой сходящейся подпоследовательности последовательности временных средних является инвариантной мерой для отображения . Но пространство вероятностных мер на метрическом компакте компактно (в смысле *-слабой топологии), поэтому по меньшей мере одна точка накопления у последовательности найдётся — что и завершает доказательство. ■
Пусть X — польское пространство и пусть (Pt) — семейство вероятностей перехода некоторой однородной марковской полугруппы на X, то есть
Если существует , для которого семейство вероятностных мер { Pt(x, ·) | t > 0 } uniformly tight и полугруппа (Pt) удовлетворяет Feller property, то существует по крайней мере одна инвариантная мера для (Pt), то есть такая вероятностная мера μ на X, что
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .