2.3.3. Притягивающие множества

В случае, когда траектория неустойчива, но не уходит из некоторой ограниченной области фазового пространства, естественно предположить, что движению (траектории) присуща какая-то устойчивость.

Множество положительно инвариантно, если при . Множество просто инвариантно, если . Окрестностью множества называется открытое множество , включающее замыкание множества . Расстояние между точкой и множеством определяется как . ‑окрестностью множества называется окрестность, все точки которой удалены от множества на расстояние не более, чем .

Определение 2.13. Компактное инвариантное относительно потока множество называется притягивающим множеством, если для него существует окрестность такая, что почти для всех , при (т. е. при ).

Наибольшее множество , удовлетворяющее этому определению (наибольшее притягивающее множество), называется областью притяжения множества .

Реже используется термин «множество, устойчивое по Ляпунову». Множество называется устойчивым по Ляпунову, если для любого найдется , такое что для всякого , удовлетворяющего , и любого расстояние . Если к тому же расстояние при , то множество называют асимптотически устойчивым. Таким образом, притягивающее множество   – это множество, асимптотически устойчивое по Ляпунову.

Казалось бы, этого определения достаточно для описания асимптотического поведения динамических систем. Однако существует ряд примеров, показывающих, что притягивающее множество может, несмотря на инвариантность, содержать внутри себя «много лишнего». Например, для системы

отрезок является притягивающим множеством. Однако практически все траектории при будут стремиться к одной из двух устойчивых неподвижных точек .

Поэтому наряду с притягивающим множеством используется также понятие аттрактора – меньшего множества, к которому стремятся «почти все» траектории динамической системы.