Рассматривается функция
, которая порождает динамическую систему (можно задать формулой, но понятнее на рисунке).
Покажем, что репеллентом такой системы является канторово множество
.
Пусть функция

по множеству

дает его полный прообраз. Например,
.
Множество
![$C=\bigcap_{k=1}^{\infty}S^k([0;1])$ $C=\bigcap_{k=1}^{\infty}S^k([0;1])$](/getteximg?C%3D%5Cbigcap_%7Bk%3D1%7D%5E%7B%5Cinfty%7DS%5Ek%28%5B0%3B1%5D%29)
инвариантно относительно
. Действительно,
, где
.
Покажем, что

— репеллент. Если
, то
. Действительно, если
, то
![$x \notin S^m([0;1])$ $x \notin S^m([0;1])$](/getteximg?x%20%5Cnotin%20S%5Em%28%5B0%3B1%5D%29)
при некотором
. Но тогда
. А последующие итерации, очевидно, уводят в бесконечность. Таким образом,

— репеллент.
По сути функция

первую и третью треть канторова множества отображает на все кантрово множество. Правда третью треть еще и переворачивает.
Если записать точки множества

в троичной системе с отождествлением последней единицы с бесконечной последовательностью двоек, то действие функции

сводится к сдвигу троичной запись влево, причем все разряды инвертируются, если первая цифра после запятой была 2.
Теперь нужно исследовать поведение системы и доказать, что поведение системы хаотичное. Но я на семинаре не совсем понял определение хаотичного поведения.
Как я понял, нужно доказать, что, если

иррациональное число из множества
, то его орбита

всюду плотна в
. Мне кажется, это неверно. Например, если

не является нормальным числом.
Что такое хаотичное поведение? Какие же свойства этой системы верны? Может нужно оценить меру множества точек, орбиты которых всюду плотны?