Глава

Итерация

Модуль о повторном применении функции: \(f(f(x))\), неподвижные точки, циклы, инволюции, идемпотенты и цепочки итераций.
Войдите, чтобы сохранять решённые и закладки.

Теория

Ключевая идея

Итерация означает повторное применение функции: \(f^2(x)=f(f(x))\), \(f^3(x)=f(f(f(x)))\). В таких задачах важно следить не только за значением \(f(x)\), но и за всей цепочкой \(x, f(x), f^2(x), \ldots\). Часто решение строится через неподвижные точки, циклы и сравнение длины цикла с размером множества.

Основные факты

Если \(f^2(x)=x\), то \(f\) называется инволюцией. Если \(f^k(x)=x\), орбита точки разбивается на цикл, длина которого делит \(k\) в конечной перестановке. Если \(f\) строго возрастает и \(f^k(x)=x\) для всех \(x\), то \(f(x)=x\). Для аддитивных функций на \(\mathbb Q\) итерация превращается в степень коэффициента.

Когда применять метод

Итерационный метод нужен, когда в условии есть \(f(f(x))\), \(f^3(x)\), неподвижная точка \(f(a)=a\), цикл, или утверждение о повторном возвращении. Если функция задана формулой \(ax+b\), удобно явно вычислять \(f^2\), \(f^3\). Если множество конечно, думайте о разложении на циклы.

Как распознать метод

Признаки: выражения \(f(f(x))\), \(f^k(x)\); условие \(f(f(x))=x+c\); требование доказать наличие неподвижной точки; конечное множество и степень итерации; аддитивная функция с условием \(f^2(x)=cx\).

Типичные ошибки

Не путайте \(f^2(x)\) с \((f(x))^2\). Не предполагайте, что инволюция обязательно тождественна: например, \(f(x)=-x\) тоже инволюция. В конечных задачах нельзя забывать циклы меньшей длины. В задачах на возрастание нужно сравнивать всю цепочку, а не только одну пару значений.

Мини-чеклист

1. Что означает \(f^k\) в задаче? 2. Есть ли неподвижные точки? 3. Какие длины циклов возможны? 4. Можно ли записать \(f\) как \(ax+b\) или \(cx\)? 5. Что происходит при повторном применении условия? 6. Проверены ли все найденные циклы и особые случаи?

Примеры

Пример 1. Неподвижная точка запрещена

Иногда итерация сразу исключает фиксированные точки.

Задача. Пусть \(f(f(x))=x+1\). Докажите, что у \(f\) нет неподвижных точек.

Решение.

Если бы \(f(a)=a\), то \(f(f(a))=f(a)=a\). Но по условию \(f(f(a))=a+1\). Получаем \(a=a+1\), противоречие.

Комментарий. Всегда проверяйте, что даёт условие на фиксированной точке.

Пример 2. Возрастающая инволюция

Монотонность может уничтожить все нетривиальные циклы.

Задача. Пусть \(f:\mathbb R\to\mathbb R\) строго возрастает и \(f(f(x))=x\). Докажите, что \(f(x)=x\).

Решение.

Предположим, что для некоторого \(a\) выполнено \(f(a)>a\). Тогда из возрастания \(f(f(a))>f(a)\), то есть \(a>f(a)\), противоречие. Аналогично, если \(f(a)

Комментарий. Сравнивается вся цепочка \(a, f(a), f^2(a)\).

Пример 3. Аффинная итерация

Для \(ax+b\) лучше вычислять итерации явно.

Задача. Найдите все \(f(x)=ax+b\), для которых \(f(f(x))=x+6\).

Решение.

Имеем \(f(f(x))=a(ax+b)+b=a^2x+b(a+1)\). Поэтому \(a^2=1\). Если \(a=1\), то \(2b=6\), \(b=3\). Если \(a=-1\), то \(b(a+1)=0\), но нужно \(6\), невозможно. Ответ: \(f(x)=x+3\).

Комментарий. Аффинные задачи часто сводятся к системе на \(a,b\).

Пример 4. Аддитивная итерация

На \(\mathbb Q\) аддитивность превращает итерацию в степень числа.

Задача. Найдите все аддитивные \(f:\mathbb Q\to\mathbb Q\), такие что \(f(f(x))=9x\).

Решение.

Аддитивность на \(\mathbb Q\) даёт \(f(x)=cx\), \(c\in\mathbb Q\). Тогда \(f(f(x))=c^2x\). Получаем \(c^2=9\), то есть \(c=3\) или \(c=-3\). Ответ: \(f(x)=3x\), \(f(x)=-3x\).

Комментарий. Это итерационная версия линейного Cauchy-факта.

Пример 5. Конечные циклы

В конечной области итерация описывается циклами.

Задача. На множестве из \(10\) элементов задана перестановка \(f\), причём \(f^3(x)=x\) для всех \(x\). Докажите, что если у неё нет неподвижных точек, то это невозможно.

Решение.

Циклы перестановки имеют длины, делящие \(3\), то есть \(1\) или \(3\). Если неподвижных точек нет, все циклы имеют длину \(3\). Тогда число элементов должно делиться на \(3\), но \(10\) не делится на \(3\). Противоречие.

Комментарий. Такие рассуждения часто встречаются в олимпиадной комбинаторике и алгебре.

Пример 6. Полиномиальная итерация

Композиция многочлена сама с собой резко ограничивает степень.

Задача. Найдите все \(P\in\mathbb R[x]\), такие что \(P(P(x))=x\).

Решение.

Если \(P\) постоянен, невозможно. Пусть \(\deg P=d\). Тогда \(d^2=1\), значит \(d=1\). Пусть \(P(x)=ax+b\). Получаем \(P(P(x))=a^2x+b(a+1)=x\). Поэтому \(a^2=1\), \(b(a+1)=0\). Ответ: \(P(x)=x\) или \(P(x)=-x+b\).

Комментарий. Это полиномиальная инволюция.

Пример 7. Идемпотентность

Условие \(f(f(x))=f(x)\) говорит не о всех точках, а об образе.

Задача. Пусть \(f(f(x))=f(x)\) для всех \(x\). Докажите, что каждая точка из образа \(f\) неподвижна.

Решение.

Если \(y\) лежит в образе, то \(y=f(x)\) для некоторого \(x\). Тогда \(f(y)=f(f(x))=f(x)=y\). Значит, всякий элемент образа является неподвижной точкой.

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

Пример 8. Строго возрастающая конечная итерация

Одна идея работает для любой длины цикла.

Задача. Пусть \(f:\mathbb R\to\mathbb R\) строго возрастает и \(f^k(x)=x\) для всех \(x\), где \(k\ge2\). Докажите, что \(f(x)=x\).

Решение.

Если \(f(a)>a\), то по возрастанию получаем \(f^2(a)>f(a)>a\), затем \(f^3(a)>f^2(a)\), и так далее. Тогда \(f^k(a)>a\), противоречие с \(f^k(a)=a\). Случай \(f(a)

Комментарий. Это финальный шаблон для циклов при порядке.

Задачи

Задачи

#8.1
#8.1

Запрещённая неподвижная точка

Iteration 10 класс 11 класс ★★☆☆☆

Пусть \(f(f(x))=x+1\) для всех \(x\). Докажите, что не существует \(a\), для которого \(f(a)=a\).

Детали
Задача: ALG-B3-M08-P001
Сложность: Уровень 2 из 5
Tag: Iteration
Grade: 10 класс, 11 класс
#8.2
#8.2

Образ идемпотента

Iteration 10 класс 11 класс ★★☆☆☆

Пусть \(f(f(x))=f(x)\) для всех \(x\). Докажите, что каждый элемент образа функции \(f\) является неподвижной точкой.

Детали
Задача: ALG-B3-M08-P002
Сложность: Уровень 2 из 5
Tag: Iteration
Grade: 10 класс, 11 класс
#8.3
#8.3

Возрастающая инволюция

Involution 10 класс 11 класс ★★☆☆☆

Пусть \(f:\mathbb R\to\mathbb R\) строго возрастает и \(f(f(x))=x\). Докажите, что \(f(x)=x\) для всех \(x\).

Детали
Задача: ALG-B3-M08-P003
Сложность: Уровень 2 из 5
Tag: Involution
Grade: 10 класс, 11 класс
#8.4
#8.4

Аффинная инволюция

Involution 10 класс 11 класс ★★☆☆☆

Найдите все функции \(f(x)=ax+b\), для которых \(f(f(x))=x\).

Детали
Задача: ALG-B3-M08-P004
Сложность: Уровень 2 из 5
Tag: Involution
Grade: 10 класс, 11 класс
#8.5
#8.5

Циклы длины три

Циклы 10 класс 11 класс ★★☆☆☆

Перестановка \(f\) множества из \(10\) элементов удовлетворяет \(f^3(x)=x\) для всех \(x\). Докажите, что у неё есть неподвижная точка.

Детали
Задача: ALG-B3-M08-P005
Сложность: Уровень 2 из 5
Tag: Циклы
Grade: 10 класс, 11 класс
#8.6
#8.6

Аддитивный квадрат

Additive 10 класс 11 класс ★★★☆☆

Найдите все аддитивные \(f:\mathbb Q\to\mathbb Q\), такие что \(f(f(x))=4x\).

Детали
Задача: ALG-B3-M08-P006
Сложность: Уровень 3 из 5
Tag: Additive
Grade: 10 класс, 11 класс
#8.7
#8.7

Аддитивный куб

Additive 10 класс 11 класс ★★★☆☆

Найдите все аддитивные \(f:\mathbb Q\to\mathbb Q\), для которых \(f^3(x)=8x\).

Детали
Задача: ALG-B3-M08-P007
Сложность: Уровень 3 из 5
Tag: Additive
Grade: 10 класс, 11 класс
#8.8
#8.8

Квадрат как сдвиг

Iteration 10 класс 11 класс ★★★☆☆

Найдите все \(f(x)=ax+b\), такие что \(f^2(x)=x+6\).

Детали
Задача: ALG-B3-M08-P008
Сложность: Уровень 3 из 5
Tag: Iteration
Grade: 10 класс, 11 класс
#8.9
#8.9

Куб как сдвиг

Iteration 10 класс 11 класс ★★★☆☆

Найдите все \(f(x)=ax+b\), такие что \(f^3(x)=x+6\).

Детали
Задача: ALG-B3-M08-P009
Сложность: Уровень 3 из 5
Tag: Iteration
Grade: 10 класс, 11 класс
#8.10
#8.10

Полиномиальная инволюция

Iteration 10 класс 11 класс ★★★☆☆

Найдите все \(P\in\mathbb R[x]\), такие что \(P(P(x))=x\).

Детали
Задача: ALG-B3-M08-P010
Сложность: Уровень 3 из 5
Tag: Iteration
Grade: 10 класс, 11 класс
#8.11
#8.11

Полиномиальный идемпотент

Iteration 10 класс 11 класс ★★★★☆

Найдите все \(P\in\mathbb R[x]\), для которых \(P(P(x))=P(x)\).

Детали
Задача: ALG-B3-M08-P011
Сложность: Уровень 4 из 5
Tag: Iteration
Grade: 10 класс, 11 класс
#8.12
#8.12

Без двухциклов

Циклы 10 класс 11 класс ★★★★☆

Перестановка множества из \(6\) элементов удовлетворяет \(f^4(x)=x\). Докажите, что если у неё нет неподвижных точек и циклов длины \(2\), то это невозможно.

Детали
Задача: ALG-B3-M08-P012
Сложность: Уровень 4 из 5
Tag: Циклы
Grade: 10 класс, 11 класс
#8.13
#8.13

Итерация и сдвиг на целых

Recursion 10 класс 11 класс ★★★★☆

Пусть \(f:\mathbb Z\to\mathbb Z\), \(f(n+1)=f(n)+1\), и \(f^2(n)=n+4\). Найдите \(f(n)\).

Детали
Задача: ALG-B3-M08-P013
Сложность: Уровень 4 из 5
Tag: Recursion
Grade: 10 класс, 11 класс
#8.14
#8.14

Минимальный рост

Order 10 класс 11 класс ★★★★★

Пусть \(f:\mathbb N\to\mathbb N\), \(f(n)>n\) для всех \(n\), и \(f(f(n))=n+2\). Докажите, что \(f(n)=n+1\).

Детали
Задача: ALG-B3-M08-P014
Сложность: Уровень 5 из 5
Tag: Order
Grade: 10 класс, 11 класс
#8.15
#8.15

Линейная инволюция по модулю

Iteration 10 класс 11 класс ★★★★★

Пусть \(p\) - нечётное простое, \(f(x)=ax\) на \(\mathbb Z/p\mathbb Z\), и \(f^2(x)=x\) для всех \(x\). Найдите возможные \(a\).

Детали
Задача: ALG-B3-M08-P015
Сложность: Уровень 5 из 5
Tag: Iteration
Grade: 10 класс, 11 класс
#8.16
#8.16

Третья полиномиальная итерация

Iteration 10 класс 11 класс ★★★★★

Найдите все \(P\in\mathbb R[x]\), такие что \(P^3(x)=x\), где \(P^3=P\circ P\circ P\).

Детали
Задача: ALG-B3-M08-P016
Сложность: Уровень 5 из 5
Tag: Iteration
Grade: 10 класс, 11 класс
#8.17
#8.17

Отрицательный квадрат

Линейные сравнения 10 класс 11 класс ★★★★★

Докажите, что не существует аддитивной \(f:\mathbb Q\to\mathbb Q\), такой что \(f(f(x))=-x\) для всех \(x\).

Детали
Задача: ALG-B3-M08-P017
Сложность: Уровень 5 из 5
Tag: Линейные сравнения
Grade: 10 класс, 11 класс
#8.18
#8.18

Итерация образа

Iteration 10 класс 11 класс ★★★★★

Найдите все \(P\in\mathbb R[x]\), такие что \(P(P(x))=P(x)^2\).

Детали
Задача: ALG-B3-M08-P018
Сложность: Уровень 5 из 5
Tag: Iteration
Grade: 10 класс, 11 класс
#8.19
#8.19

Возрастающий цикл длины три

Циклы 10 класс 11 класс ★★★★★

Пусть \(f:\mathbb R\to\mathbb R\) строго возрастает и \(f^3(x)=x\) для всех \(x\). Докажите, что \(f(x)=x\).

Детали
Задача: ALG-B3-M08-P019
Сложность: Уровень 5 из 5
Tag: Циклы
Grade: 10 класс, 11 класс
#8.20
#8.20

Любая конечная итерация

Циклы 10 класс 11 класс ★★★★★

Пусть \(k\ge2\), \(f:\mathbb R\to\mathbb R\) строго возрастает и \(f^k(x)=x\) для всех \(x\). Докажите, что \(f(x)=x\) для всех \(x\).

Детали
Задача: ALG-B3-M08-P020
Сложность: Уровень 5 из 5
Tag: Циклы
Grade: 10 класс, 11 класс

Лестницы

Опубликованных лестниц пока нет.
Предыдущая глава
Следующая глава