Теорема про фіксовану точку Брувера: Точка, що не рухається

Теорема про фіксовану точку Брувера

Розгляньте будь-яку безперервну функцію, яка відображає замкнутий диск — або, більш загалом, будь-який компактний опуклий набір — назад у сам себе. Незважаючи на те, як вона розтягує, обертає чи стискає точки навколо, гарантовано принаймні одна точка потрапить точно в те саме місце, де вона почала. Це і є теорема про фіксовану точку Брувера, доведена у загальному вигляді Л.Е. Дж. Брувером на початку 1910-х років, спираючись на попередні результати у двох вимірах. Формулювання звучить майже тривіально, але це один з найбільш тихо значущих результатів в математиці, з застосуваннями, що охоплюють від чистої топології до економіки, теорії ігор та чисельних обчислень.

Чому важливі одночасно і безперервність, і опуклість

Якщо відкинути будь-яку з цих гіпотез, теорема руйнується негайно. Уявіть кільце – диск із отвором, прорізаним у його центрі – та оберіть його на певній фіксованій не нульовій куті. Кожна точка скотиться вздовж свого кола і жодна з них не повернеться до початкової позиції: немає жодного фіксованого пункту, оскільки отвір означає, що форма не є просто зв’язаною, як твердий диск. Важлива одночасно і безперервність: функція, яка раптово міняє ліву половину диска на праву, перестрибуючи через середину безперервно, також не може закріпити жодного пункту. Обидва вимоги – безперервний відображення та область у формі твердого шару, а не чогось із отвором – є несумісними, а не просто декоративними.

Кава́рський теорема про фіксовану точку, та легкий 1D випа́док

Одномі́рний варіант — це просто передо́вий теорема про зна́чення посереднє́: будь-яка безперервна функція f: [0,1] → [0,1] му́сить перетну́ти діагональ ліні́ї y = x хоч де́сь, бо g(x) = f(x) − x невід’ємна при x = 0 і невід’ємна при x = 1, отже, вона має рівня́тися до нуля́ хоч де́сь посереднє́.

Популя́рне двовимі́рне візуаліза́ція — це перемішування ка́ви в чашці: незалежно від того, як ви безперервно оберта́єте ріди́ну на поверхні та дозволя́єте їй осі́дло́вуватися всередині початкового кола́ чашки, певний момент ка́ви опиня́ється точно там, де вона починала́ся — та сама ідея застосо́вана до ди́ска замість інтервалу.

Конструктивне доведення: лемма Спеннера

Оригінальний аргумент Брувера показує лише існування фіксної точки — він не дає жодного способу її знайти. Лемма Спеннера, доведена Емануелем Спеннером у 1928 році, надає конкретний комбінаторний шлях: детально трикувати форму, маркувати кожну вершину відповідно до правила, пов’язаного з функцією f, і лемма Спеннера гарантує, що принаймні один маленький, повністю позначений трикутник існує незалежно від того, як проводиться трикуватія, за умови узгодженості маркування вздовж межі. Зі збільшенням деталізації трикуватії ці повністю позначені трикутники стискаються до справжньої фіксної точки f — перетворюючи чисту доведення існування на справді конструктивний метод, що лежить в основі практичних алгоритмів (алгоритму Скарфа та його послідовників) для наближення фіксованих точок до будь-якої заданої точності.

Застосування за межами чистої математики

Доказ Джона Нэша 1950 року, що кожна кінцева гра має принаймні одну рівновагу в змішаних стратегіях, спирається на теорему про фіксовану точку Брауера, яка є безпосереднім узагальненням результату до множиннозначних відображень — існування ніші Нэша насправді є топологічним фактом, який не потребує жодних специфічних для гри міркувань. Та сама родина теорем лежить в основі доведення Арроу-Дебрю про існування загальної економічної рівноваги цін на ринку, а нескінченновимірна теорема про фіксовану точку Шaudera здебільшого використовується для встановлення того, що певні диференціальні рівняння мають розв’язки до того, як хтось намагається обчислювати їх чисельно.

Більше того, деякі архітектури нейронних мереж із прихованими шарами та пропонують рівновагу покладаються на той самий аргумент про існування фіксованої точки, щоб гарантувати, що розв’язок існує взагалі, перш ніж чисельний розв’язувач починає його шукати.

Frequently asked questions

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте Brouwer Fixed Point Theorem і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.