В книге Дынкина про марковские процессы есть такая теорема
Пусть

---

-компактное топологическое измеримое пространство,

-

- алгебра на

. Тогда всякая полная переходная функция

(

,

,

) соответствует некоторому необрывающемуся марковскому процессу в фазовом пространстве

.
Вопрос возник такой. Множество всех фазовых состояний частицы

есть объединение

, то есть объединение счётного количества евклидовых пространств с возрастающей размерностью.
Какими словами на

лучше всего ввести систему открытых подмножеств

и

-алгебу

, чтобы

стало

-компактным топологическим измеримым пространством.