Измеримая реализация непрерывных групп автоморфизмов унитарного кольца

Доказывается, что всякая сепарабельная локально-компактная непрерывная группа мультипликативных унитарных операторов сепарабельного пространства $L_\mu^2(X)$ является сопряженной с измеримой группой преобразований, сохраняющих меру. Эта измеримая группа определяется в существенном единственным образом. Метод доказательства основывается на построении специальной универсальной меры в линейном топологическом пространстве.