An abstract KAM theorem

Согласно Мозеру, исследование нормальных форм в динамических системах надо производить в терминах действия бесконечномерных групп. В качестве исходной точки развития этой программы я представляю функционально-аналитический подход к вопросу и доказательство абстрактной теоремы Колмогорова–Арнольда–Мозера.