Оценивание состояний стохастических многошаговых включений

Рассмотрены многошаговые стохастические включения вида $z_k\in H_k(z_{k-1},\omega)$, где $z_k\in Z_k=X_kY_k$, $k\in1:N$. Проекция $z_k$ на $X_k$ считается ненаблюдаемым, а проекция на $Y_k$ - наблюдаемым состоянием. Элемент $\omega$ принадлежит вероятностному пространству $(\Omega,\mathcal {F},P)$, а мультиотображение $H_k(z,\cdot)$ является измеримым относительно $\sigma$-алгебры $\mathcal {G}_k$. Последние $\sigma$-алгебры полагаются независимыми при разных $k$, а их объединение $\mathcal {F}_k=\sigma\big(\bigcup_{i\in1:k}\mathcal {G}_i\big)\subset\mathcal {F}$ характеризует возрастающее накопление информации. Исследуются три способа оценивания ненаблюдаемых состояний, которые основаны на разных подходах к формированию множества переходных вероятностей. Показано, что эти способы приводят к различным множествам условных распределений для ненаблюдаемых состояний процесса. Частично изучен вопрос о достаточных условиях совпадения рассмотренных схем фильтрации и доказано, что для конечных фазовых пространств эти схемы совпадают в случае неатомического вероятностного пространства. Введен новый класс лебеговских селекторов для произвольных мультиотображений и установлено, что он не пуст, в частности, для измеримых простых прямоугольников на неатомическом пространстве. Доказано, что в лебеговском классе для простых включений и селекторов, заданных на неатомическом вероятностном пространстве, схемы фильтрации также совпадают.