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

 --- 

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

 - 

 - алгебра на 

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

 (

, 

, 

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

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

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

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

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

 и 

-алгебу 

, чтобы 

 стало 

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