3.5.б. Отображения
От нашей картины вращения по окружности, представляющей пересечение семейства торов плоскостью (рис. 3.2), нетрудно перейти к обобщающему понятию
Рис. 3.2. Поперечное сечение семейства вложенных двумерных торов
«отображение», т. е. к преобразованию, состоящему в дискретном перемещении по -мерному кольцеобразному многообразию, которое имеет вид
где некоторая «производящая функция». В случае это отображение представляет движение по окружности радиуса I с «частотой» При возмущении определяемом соотношениями
где условие невырожденности
обеспечивает сохранение большинства многообразий.
В случае (т. е. отображения окружности в окружность) условие невырожденности означает, что угол вращения изменяется (плавно) от окружности к окружности.
Вариант КАМ-теоремы Мозера основывался на таких отображениях. В отличие от варианта Арнольда, в варианте Мозера не требуется аналитичность производящей функции; достаточно, чтобы она принадлежала классу Позднее было показано, что теорема требует существования гораздо меньшего числа производных.