Производный автоморфизм
Произво́дный автоморфи́зм в эргодической теории, преобразование , определяющееся по автоморфизму пространства с мерой и измеримому подмножеству положительной меры , почти все точки которого под действием итераций снова попадают в . Для каждой такой точки определяют как ту точку траектории , в которой эта траектория впервые после возвращается в [согласно теореме Пуанкаре о возвращении, условие, чтобы почти все точки из со временем снова возвращались в , автоматически выполняется, если ]. Преобразование оказывается автоморфизмом (точнее, автоморфизмом по ) пространства с индуцированной на нём мерой [последняя есть мера , рассматриваемая только на подмножествах ; если , то обыкновенно эту меру ещё нормируют].
Верно и обратное: если (это условие автоматически выполняется, если автоморфизм эргодичен), то исходный автоморфизм восстанавливается (с точностью до сопряжения посредством некоторого изоморфизма пространств с мерой) по и времени возвращенияА именно: есть специальный автоморфизм, построенный по и .