Принцип стискальних відображень

Основне питання, яким ми будемо займатися сьогодні, - це питання

існування нерухомих точок. Існування (і інші властивості) нерухомих точок
відображення f∶ X → X залежать як від властивостей відображення f, так і від
властивостей простору X. Наприклад, майже завжди накладається умова
неперервності на відображення f. Ми розглянемо кілька реалізацій цього
загального зауваження. Розпочнемо з найпростішого випадку, коли вимоги
до X є мінімальними, але вимагається багато від f.
Нехай X - простір з метрикою ρ. Нагадую, що метрикою на множині X
називається функція ρ∶ X × X → R+ (де ρ(x, y) інтерпретується як "відстань"
між точками x, y ∈ X), яка задовольняє трьом аксіомам:

1. симетричності: ρ(x, y) = ρ(y, x);

2. ρ(x, y) = 0 тоді і лише тоді, коли x = y;
3. нерівності трикутника: ρ(x, z) ≥ ρ(x, y) + ρ(y, z) для будь-яких x, y і z.
Відображення f метричного простору в самого себе називається стискальним,
якщо існує така константа K < 1, що для будь-яких двох точок x і y
виконується нерівність
ρ(f ( x ), f ( y ))≤ Kρ (x , y).
Зрозуміло, що при строго стискальному відображенні відстані між
точками строго зменшуються, але цього недостатньо! Звернемо увагу, що
константа K менше одиниці і відноситься одразу до всіх пар точок. Більш
правильно називати строго стискальне відображення. Стискальні
відображення мають кілька корисних властивостей для нерухомих точок.
Твердження. Нехай відображення f є строго стискальним. Тоді існує не
більше однієї нерухомої точки.
Доведення. Справді, якщо x і y - нерухомі точки f, то
0 ≤ ρ(x , y )=ρ (f ( x) , f ( y ))≤ Kρ(x , y),
то при K < 1 може бути лише в тому випадку, коли ρ(x, y) = 0. Але це
означає, що x = y.
Для існування нерухомих точок необхідно накласти на простір X умову
повноти. (чому???

Через означення повного метричного простору. Нагадаємо що метричний

простір називається повним  якщо в ньому будь-яка фундаментальна
послідовність має границю)

Можна сказати, що X не має "дір" або "проколів".

Теорема 1(Банаха). Нехай f - строго стискальне відображення повного

метричного простору X в себе. Тоді для будь-якої точки x ∈ X послідовність
2 3
x , f ( x ), f (x)=f (f (x)) , f ( x ), . . .
Збігається до нерухомої точки. Зокрема, функція f має (єдину) нерухому
точку.
Доведення. Нехай d= ρ(x , f (x)). Тоді
n n+1 n
ρ(f x , f x)≤ K d
і взагалі,
n
k k+l n n +1 n+l −1 K d
ρ(f x , f x)≤( K + K + ·· ·+ K )d ≤ .
1−K
Отже, наша послідовність є послідовністю Коші і, отже, має граничну
точку, яку ми позначимо як x*. Ми стверджуємо, що точка x* є нерухомою.
Для цього ми покажемо, що f(x*) також є границею послідовності xn = f^n(x).
Дійсно
¿ ¿ ¿
ρ(f ( x ), x n +1)= ρ(f (x ), f (x n))< ρ(x , x n)→0

при n → ∞ .
¿ ¿
Враховуючи єдиність границі, f (x )=x .
Точки x , f ( x ), f 2 ( x) , .. . є називають послідовними наближеннями до
нерухомої точки. Ми бачимо, що в разі стискаючого відображення можна
починати з будь-якого початкового елемента x, і послідовні наближення
збігаються до нерухомої точки. Легко оцінити точність наближення:
n
k ¿ K d
ρ(f x , x )≤ .
1−K
 Це дозволяє оцінити кількість кроків, необхідних для знаходження x* з
заданою точністю.
Давайте продовжимо дослідження питання існування нерухомих точок
відображення. f : X → X . Ми послабимо вимоги до відображення f за рахунок
посилення вимог до простору X. Якщо раніше множина X була практично
будь-якою, то тепер ми будемо вважати, що X — випуклий компакт.
Нехай V — векторний простір (над полем дійсних чисел R). Нагадаємо,
що підмножина X ⊂ V називається випуклою, якщо для будь-яких точок x, y
∈ X і числа α, 0 ≤ α ≤ 1, точка αx + (1 - α)y також належить X. Іншими
словами, будь-яка дві точки X містять і з'єднуючий їх відрізок. Властивість
випуклості вказує на те, що X не має "дірок", і це створює надію на існування
нерухомих точок для широкого класу відображень.
Більш точно, ми розглядаємо неперервні відображення. Це передбачає, що в
X є топологія. Щоб спростити виклад, ми будемо вважати всюди, що простір
V є скінченновимірним (ізоморфним R^n) і має звичайну євклідову метрику, і
X є компактною (тобто замкненою і обмеженою) підмножиною V. Для
зручності ми будемо використовувати термін "X — випуклий компакт".

Теорема Брауера стверджує, що будь-яке неперервне відображення

випуклого компакта в себе має нерухому точку.
Теорема (Брауэра, 1910). Нехай X — випукла компактна підмножина
скінченновимірного простору, а відображення f∶ X → X є неперервним. Тоді
існує нерухома точка f. Спробуймо краще розуміти суть цієї теореми. Нехай
X є одновимірним (іншими словами, це просто замкнутий відрізок [a,b]), і
нехай f — неперервне відображення цього відрізка в себе. Якщо ми
розглянемо функцію f(x) − x, то вона змінює знак на [a,b]. З аналізу відомо,
що десь всередині ця функція дорівнює нулю, що еквівалентно f(x) = x.
Теорема Брауера представляє багатовимірне узагальнення цього майже
очевидного твердження. Проте навіть у двовимірному випадку твердження
Брауера виглядає зовсім неочевидним і навіть малоймовірним. Чому будь-яке
неперервне відображення, скажімо, кола в себе, повинно мати нерухому
точку? Можливо, це твердження стане інтуїтивно більш правдоподібним
після наступної корисної геометричної конструкції. Припустимо (проти
твердження), що відображення f∶ D → D не має нерухомих точок (тут D —
диск (куля) будь-якої розмірності). Тоді випустимо з точки f(x) пряму лінію в
точку x і продовжимо її до перетину з межею D, іншими словами, зі сферою
∂D = S. Отриману точку перетину ми позначимо як g(x).

Отже, ми отримуємо відображення g∶ D → ∂D диска D на його границю.

Легко розуміти, що відображення g є неперервним і залишає точки на
границі на своєму місці. Такі відображення називаються ретракціями.
Точніше, нехай X — множина, і Y ⊂ X — її підмножина; відображення g∶ X
→ Y називається ретракцією на Y, якщо f(y) = y для будь-якої точки y ∈ Y.

Інтуїтивно зрозуміло, що неможливо неперервно перетягнути диск на його

границю. Щоб зробити твердження Брауера ще більш переконливим, ми
розглянемо його в одній спеціальній ситуації, коли відображення f не просто
неперервне, але і афінне. Відображення f одного випуклого множини в іншу є
афінним, якщо для будь-яких точок x, y і числа α, 0 ≤ α ≤ 1,
f (αx+(1−α ) y )=αf (x )+(1−α )f ( y )Ідея доведення в афінному випадку проста.

Візьмемо довільну точку x_0 і сформуємо послідовні наближення x_n =

f^n(x_0). Однак, на відміну від стискаючого відображення, зараз немає
 підстав вважати, що послідовність x_n збігається. Наприклад, f може
обертати двовимірний диск, і якщо x_0 була на границі, то вона
продовжуватиме обертатися навколо граничного кола. Проте, якщо брати
центри ваги точок x 0 , x 1 ,. . . , x n, тобто точки
z n=(x 0+ x 1 +· ··+ x n+ 1)/n ,

, то є всі підстави вважати, що вони стають все більш "нерухомими". З

самого початку ми маємо
x 1+ x2 +· ··+ x n− x0 −x 1−·· ·−x n+ 1
f ( z n ) −z n=( f ( x 0 ) +f ( x 1 ) +· ··+ f ( x n+1 )−x 0−x 1−· ·−x n +1) /n= =¿
n
¿(x n −x 0)/n ,

, і останнє стає все меншим зі зростанням n.

Доведення теореми Брауера