Теорема о неподвижной точке

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

История

Первые результаты, близкие к теоремам о неподвижной точке, появились в XIX веке. В 1886 году французский математик Анри Пуанкаре, исследуя задачу трёх тел в небесной механике, сформулировал утверждение, которое позже стало известно как теорема Пуанкаре — Биркгофа о неподвижной точке для отображений, сохраняющих площадь. Однако строгое доказательство было дано Джорджем Биркгофом лишь в 1913 году.

В 1912 году нидерландский математик Лёйтзен Брауэр доказал фундаментальную топологическую теорему: любое непрерывное отображение замкнутого шара в себя в конечномерном евклидовом пространстве имеет неподвижную точку. Эта теорема, известная как теорема Брауэра о неподвижной точке, стала одним из ключевых результатов топологии.

В 1930-х годах польский математик Стефан Банах разработал более конструктивный подход, доказав теорему Банаха о сжатых отображениях (принцип сжимающих отображений). Этот результат, в отличие от теоремы Брауэра, не только гарантирует существование неподвижной точки, но и даёт итеративный метод её нахождения.

В 1941 году американский математик Шизуо Какутани обобщил теорему Брауэра на случай точечно-множественных отображений (многозначных функций), что нашло широкое применение в теории игр и экономике. В 1950-х годах Джон Нэш использовал теорему Какутани для доказательства существования равновесия в некооперативных играх, за что впоследствии получил Нобелевскую премию по экономике.

Основные теоремы

Теорема Брауэра о неподвижной точке

Теорема Брауэра утверждает, что любое непрерывное отображение \( f: B^n \to B^n \) замкнутого единичного шара в \( \mathbb{R}^n \) в себя имеет неподвижную точку. Иными словами, существует точка \( x \in B^n \) такая, что \( f(x) = x \).

Доказательство основано на топологических соображениях, в частности на понятии степени отображения. Для одномерного случая (\( n=1 \)) теорема эквивалентна утверждению, что непрерывная функция, отображающая отрезок \( [0,1] \) в себя, обязательно пересекает диагональ \( y=x \). В двумерном случае (\( n=2 \)) это означает, что непрерывное отображение диска в себя всегда оставляет на месте хотя бы одну точку.

Теорема Брауэра неконструктивна: она доказывает существование неподвижной точки, но не указывает способа её нахождения. Она также не распространяется на бесконечномерные пространства.

Теорема Банаха о сжатых отображениях

Теорема Банаха (принцип сжимающих отображений) формулируется для полных метрических пространств. Пусть \( (X, d) \) — полное метрическое пространство, а \( f: X \to X \) — сжимающее отображение, то есть существует константа \( c \in [0,1) \) такая, что для любых \( x, y \in X \) выполняется \( d(f(x), f(y)) \le c \cdot d(x, y) \). Тогда \( f \) имеет единственную неподвижную точку \( x^ \), и для любой начальной точки \( x_0 \in X \) последовательность \( x_{n+1} = f(x_n) \) сходится к \( x^ \).

В отличие от теоремы Брауэра, теорема Банаха даёт конструктивный метод нахождения неподвижной точки (метод простой итерации) и гарантирует её единственность. Она широко применяется в численных методах, теории дифференциальных и интегральных уравнений.

Теорема Какутани о неподвижной точке

Теорема Какутани является обобщением теоремы Брауэра на случай многозначных отображений (корреспонденций). Пусть \( K \) — непустое компактное выпуклое подмножество \( \mathbb{R}^n \), а \( \varphi: K \to 2^K \) — многозначное отображение, такое что:

1. Для каждого \( x \in K \) множество \( \varphi(x) \) непусто, выпукло и компактно.
2. График отображения \( \varphi \) замкнут (то есть отображение полунепрерывно сверху).

Тогда существует точка \( x^ \in K \) такая, что \( x^ \in \varphi(x^*) \).

Эта теорема является ключевой в доказательстве существования равновесия Нэша в стратегических играх.

Теорема Шаудера — Тихонова

Теорема Шаудера — Тихонова распространяет теорему Брауэра на бесконечномерные локально выпуклые пространства. Она утверждает, что любое непрерывное отображение компактного выпуклого подмножества локально выпуклого пространства в себя имеет неподвижную точку. Эта теорема является важным инструментом в функциональном анализе и теории дифференциальных уравнений.

Применения

Математика

• Дифференциальные уравнения: Теорема Банаха используется для доказательства существования и единственности решения задачи Коши для обыкновенных дифференциальных уравнений (теорема Пикара — Линделёфа). Теорема Шаудера — Тихонова применяется для доказательства существования решений интегральных уравнений и краевых задач.
• Топология: Теорема Брауэра лежит в основе доказательства многих топологических результатов, включая теорему о причёсывании ежа (невозможность непрерывно расчесать волосы на сфере без вихрей) и теорему Борсука — Улама.
• Численные методы: Принцип сжимающих отображений обосновывает сходимость итерационных методов решения систем линейных и нелинейных уравнений.

Экономика и теория игр

• Равновесие Нэша: Джон Нэш в 1950 году использовал теорему Какутани для доказательства существования равновесия в смешанных стратегиях для любой конечной некооперативной игры.
• Общее экономическое равновесие: Теоремы о неподвижной точке применяются для доказательства существования равновесия в моделях Вальраса и Эрроу — Дебрё.
• Теория социального выбора: Теорема Эрроу о невозможности (парадокс голосования) может быть переформулирована в терминах неподвижных точек.

Другие области

• Компьютерные науки: В теории компиляции и семантике языков программирования неподвижные точки используются для определения рекурсивных функций и типов данных.
• Физика: В теории динамических систем неподвижные точки отображения Пуанкаре соответствуют периодическим орбитам.

Критика и ограничения

Теоремы о неподвижной точке, будучи мощным инструментом, имеют ограничения. Теорема Брауэра неконструктивна и не даёт алгоритма нахождения неподвижной точки. Теорема Банаха требует, чтобы отображение было сжимающим, что не всегда выполняется. В бесконечномерных пространствах условия компактности часто оказываются слишком жёсткими. Кроме того, в приложениях к экономике и теории игр критика касается реалистичности предпосылок (выпуклость, непрерывность, компактность), которые могут не выполняться в реальных экономических системах.

Интересные факты

• Теорема Брауэра была доказана в 1912 году, но её частный случай для отрезка (одномерный случай) был известен ещё в XIX веке как теорема о промежуточном значении.
• Теорема о причёсывании ежа, являющаяся следствием теоремы Брауэра, утверждает, что на сфере не существует непрерывного поля касательных векторов, нигде не обращающегося в нуль. Это означает, что невозможно непрерывно расчесать волосы на теннисном мяче.
• Джон Нэш, доказавший существование равновесия в играх, страдал шизофренией, и его история была положена в основу фильма «Игры разума» (2001).
• В 2012 году, к столетию доказательства теоремы Брауэра, был опубликован ряд обзорных статей, посвящённых её истории и приложениям.

Источники

• Брауэр Л. Э. Й. «Über Abbildungen von Mannigfaltigkeiten» (1912).
• Банах С. «Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales» (1922).
• Какутани С. «A generalization of Brouwer’s fixed point theorem» (1941).
• Нэш Дж. «Equilibrium points in n-person games» (1950).
• Колмогоров А. Н., Фомин С. В. «Элементы теории функций и функционального анализа» (1976).
• Шварц Л. «Анализ» (1972, русский перевод).