★★☆ Середній

📍 Теорема Брауера про нерухому точку

Будь-яке неперервне відображення диска у себе має хоча б одну нерухому точку — точку, яку відображення переводить у саму себе. Перетягніть мету або оберіть пресет.

Сила: 0.60

Відображення: Стиснення

Нерухомих точок: 1

НТ при: (0.00, 0.00)

Макс |Δ|: -

Теорема Брауера про нерухому точку (1911)

Доведена Л.Е.Я. Брауером у 1911 р.: будь-яка неперервна функція із замкненого диска D² у себе має хоча б одну нерухому точку — точку x, де f(x) = x.

Візуалізація показує поле зміщень v(x) = f(x) − x. Нерухома точка — це місце, де v = 0 (стрілки відсутні). Теорема гарантує, що таке нуль-місце завжди існує. Зірочка ✦ позначає знайдені нерухомі точки.

Стиснення: диск стягується до цільової точки — НТ є саме ціль. Обертання: кожна точка обертається зі швидкістю, що спадає до нуля в центрі. Стиснення осі: вісь x стискується, вісь y розтягується — початок координат залишається нерухомим. Вихор: завиток, який також фіксує центр. Інверсія: x → lerp(x, −x, t) — зі зростанням t єдиною НТ лишається початок.

Перетягніть мишею всередині диска в режимі Стиснення, щоб перемістити нерухому точку.

Про теорему Брауера про нерухому точку

Теорема Брауера про нерухому точку, доведена нідерландським математиком Л. Е. Я. Брауером у 1910 році, стверджує: будь-яке неперервне відображення компактної опуклої множини в себе має принаймні одну нерухому точку — точку x таку, що f(x) = x. Народна ілюстрація: якщо перемішати каву в чашці, хоча б одна молекула кави виявиться точно там, де вона була до розмішування. Точніше: будь-яке неперервне відображення замкненого одиничного диска (або будь-якої гомеоморфної йому фігури) в себе не може перемістити кожну точку — хоча б одна завжди залишається на місці.

Симулятор візуалізує це, забарвлюючи кожну точку диска залежно від того, наближається вона до нерухомої точки чи видаляється від неї. Ви можете застосовувати різні неперервні відображення (обертання, стиснення, зсуви) і переконатися, що жодне з них не позбавлено нерухомої точки — на відміну від «майже неперервних» відображень, що розривають або складають область.

Поширені запитання

Що таке нерухома точка?

Нерухома точка функції f — це точка x із області визначення, для якої f(x) = x: функція відображає x у себе. Нерухомі точки пронизують усю математику та її застосування: рівноваги диференціальних рівнянь, розв’язки ітераційних алгоритмів (метод Ньютона, метод цінності в динамічному програмуванні), рівноваги Неша в теорії ігор — всі вони є нерухомими точками відповідних відображень.

Чому область має бути компактною й опуклою?

Обидві умови є суттєвими. Якщо область не компактна (наприклад, відкритий диск без межі), відображення може зсувати кожну точку до межі, не маючи нерухомої точки. Якщо область не опукла (наприклад, кільце), обертання може перемістити кожну точку. Класичний контрприклад: відображення f(x) = x + 1 на дійсній прямій не має нерухомих точок, бо пряма некомпактна (необмежена).

Чи вказує теорема, де знаходиться нерухома точка?

Ні — теорема Брауера є суто теоремою існування. Вона гарантує, що принаймні одна нерухома точка десь у межах області існує, але не дає конструктивного алгоритму її знаходження. Для чисельних обчислень алгоритм Скарфа (1967) перший запропонував практичний метод апроксимації нерухомих точок Брауера через комбінаторну тріангуляцію області.

Що таке аналогія з кавою?

Класична аналогія: якщо безперервно (неперервне відображення) перемішати каву в чашці (область залишається в межах чашки, тобто відображається в себе), то після розмішування хоча б одна молекула кави опиниться рівно на своєму початковому місці — це її нерухома точка. Аналогія яскрава, хоч і дещо приблизна: реальні молекули дифундують хаотично, але топологічний аргумент справедливий у будь-якій вимірності.

Чи діє теорема у вищих вимірах?

Так — теорема Брауера справедлива для будь-якого неперервного відображення компактної опуклої підмножини ℝⁿ у себе, для будь-якої вимірності n. У 3D вона застосовується до кулі. Існує узагальнення — теорема про нерухому точку Какутані (1941) — для багатозначних відображень, яку Джон Неш використав для доведення існування рівноваг Неша у теорії ігор (Нобелівська премія з економіки 1994 р.).

Який зв’язок із теорією ігор?

Доведення Несша (1950) того, що кожна скінченна гра має рівновагу в мішаних стратегіях, спирається на теорему Какутані — багатозначне узагальнення теореми Брауера. «Кореспонденція найкращої відповіді» задовольняє умовам Какутані, тому має нерухому точку, яка і є рівновагою Неша. Цей математичний фундамент перетворив економіку і застосовується в дизайні аукціонів, еволюційній біології та теорії міжнародної торгівлі.

Чи можна довести теорему без алгебраїчної топології?

Оригінальне доведення використовувало алгебраїчну топологію. У 1978 р. Гірш дав елементарне доведення для гладких функцій через узагальнену теорему про проміжне значення. Комбінаторні доведення через лему Шпернера (розфарбований тріангуляційний аргумент) цілком елементарні й часто застосовуються як перший вступ до топологічної теорії нерухомих точок.

Що таке лема Шпернера?

Лема Шпернера стверджує: будь-яке «правильне» 3-розфарбування тріангульованого трикутника (де вершини межі розфарбовуються за певними правилами) обов’язково містить принаймні один «веселковий» малий трикутник із всіма трьома кольорами. Із цього суто комбінаторного факту виводиться теорема Брауера у 2D: беручи дедалі тонші тріангуляції й застосовуючи лему Шпернера, будуємо послідовність майже нерухомих точок, що збігається до справжньої нерухомої точки.

Що відбувається, якщо функція нерівнонеперервна?

Якщо f розривна, теорема може не виконуватися. Простий приклад: відображення, що переміщує центр диска в іншу точку й залишає всі інші точки на місці, розривне лише в центрі, але в деяких конструкціях нерухомих точок немає. Без компактності аналогічно: обертання кільця (анулюсу) не має нерухомих точок. Неперервність принципова: вона не дає відображенню «перестрибувати через» нерухому точку.

Що таке теорема Банаха про нерухому точку і чим вона відрізняється?

Теорема Банаха (1922) — сильніший конструктивний результат: якщо f є стиском (|f(x)−f(y)| ≤ k|x−y| для деякого k < 1) на повному метричному просторі, то f має єдину нерухому точку, і ітерація f від будь-якої початкової точки збігається до неї геометрично. На відміну від теореми Брауера, теорема Банаха дає нерухому точку явно через ітерацію і гарантує єдиність. Вона лежить в основі методу Ньютона, фрактальних стискальних зображень і теореми Пікара про існування розв’язків ОДР.