Введение: Три повседневных чуда топологической неизбежности

Представьте, что вы наливаете горячий кофе в цилиндрическую кружку, добавляете сливки и энергично размешиваете напиток ложкой. В жидкости возникают сложные вихри и ламинарные складки. Когда кофе наконец останавливается, интуиция подсказывает, что каждая молекула сместилась далеко от своего исходного положения. Однако в 1911 году голландский математик Лёйтзен Эгбертус Ян Брауэр (L.E.J. Brouwer, 1881–1966) доказал теорему Брауэра о неподвижной точке (Brouwer’s Fixed-Point Theorem), которая со стопроцентной математической строгостью утверждает обратное:

[!IMPORTANT] Чудо 1: Неподвижная точка в размешанной чашке кофе Как бы сильно и хаотично вы ни размешивали кофе — при условии, что жидкость не выплёскивается за края, внутри не образуются полости и сплошная среда не разрывается —, когда жидкость придёт в покой, в чашке гарантированно найдётся хотя бы одна точка (молекула в непрерывном пределе), которая окажется в точности в тех же трёхмерных координатах $(x^*, y^*, z^*)$, где она находилась до того, как вы взяли ложку!

[!TIP] Чудо 2: Скомканная карта, брошенная на развёрнутую карту Возьмите две одинаковые географические карты (Карту A и Карту B). Разложите Карту A ровно на столе, а Карту B скомкайте в произвольный бумажный шар (не разрывая бумагу) и положите куда угодно внутрь границ Карты A. Тогда на скомканной Карте B обязательно найдётся хотя бы одна точка $x^*$, лежащая строго по вертикали над точно такой же географической точкой $x^*$ на плоской Карте A!

Родственная теорема о причёсывании ежа (Hairy Ball Theorem) Пуанкаре — Брауэра на сфере $S^2$ объясняет, почему на голове человека неизбежно есть макушка (вихрь волос) и почему в любой момент времени на поверхности Земли существует хотя бы одна точка полного штиля (глаз циклона), где горизонтальная скорость ветра равна нулю.

Строгая формулировка теоремы Брауэра о неподвижной точке (1911)

Пусть $K \subset \mathbb{R}^n$ — непустое, компактное (замкнутое и ограниченное) и выпуклое подмножество в $\mathbb{R}^n$ (или пространство, гомеоморфное замкнутому единичному шару $D^n = \{x \in \mathbb{R}^n : \|x\|_2 \le 1\}$). Тогда для любого непрерывного отображения $f: K \to K$ существует хотя бы одна неподвижная точка $x^* \in K$, такая что:

1. Почему все условия необходимы: четыре точных контрпримера

По теореме Гейне — Бореля компактность в $\mathbb{R}^n$ равносильна ограниченности и замкнутости. Отбросим по очереди каждое из четырёх условий (ограниченность, замкнутость, выпуклость/отсутствие дыр, непрерывность):

1. Без ограниченности: На $K = \mathbb{R}$ (замкнутом и выпуклом) непрерывный сдвиг $f(x) = x + 1$ не имеет неподвижных точек ($x^* + 1 = x^*$ невозможно), так как все точки уходят на $+\infty$.
2. Без замкнутости: На открытом интервале $K = (0, 1)$ (ограниченном и выпуклом) отображение $f(x) = \frac{x+1}{2}$ непрерывно, но единственная алгебраическая неподвижная точка $x^* = 1$ лежит на удалённой границе $\partial K \setminus K$.
3. Без выпуклости / односвязности (пространство с дырой): На окружности $S^1$ или замкнутом кольце (аннулусе) $A = \{x \in \mathbb{R}^2 : \frac{1}{2} \le \|x\|_2 \le 1\}$ поворот $f(x) = R_\theta x$ на угол $\theta \in (0, 2\pi)$ не имеет неподвижных точек, так как центр вращения $(0, 0)$ попадает в центральную дыру ($(0, 0) \notin A$).
4. Без непрерывности: На $K = [0, 1]$ ступенчатая функция $f(x) = 1$ при $x \in [0, \frac{1}{2}]$ и $f(x) = 0$ при $x \in (\frac{1}{2}, 1]$ перепрыгивает через диагональ $y = x$ в точке $x = \frac{1}{2}$.

2. Первое доказательство: одномерный случай ($n = 1$) через теорему Больцано — Коши

При $n = 1$ любое непустое компактное выпуклое множество — это отрезок $K = [a, b]$. Для непрерывной функции $f: [a, b] \to [a, b]$ введём функцию смещения $g(x) = f(x) - x$. Так как $f(a) \ge a$ и $f(b) \le b$, на концах отрезка имеем:

По теореме Больцано — Коши о промежуточном значении (IVT) существует точка $x^* \in [a, b]$, где $g(x^*) = 0 \iff f(x^*) = x^*$. При $n \ge 2$ проколотое пространство $\mathbb{R}^n \setminus \{\mathbf{0}\}$ остаётся линейно связным, поэтому требуется алгебраическая или комбинаторная топология.

3. Второе доказательство: Алгебраическая топология и теорема Борсука об отсутствии ретракции (1931)

В 1931 году польский математик Кароль Борсук (Karol Borsuk) показал, что теорема Брауэра эквивалентна теореме об отсутствии ретракции: не существует непрерывной ретракции $r: D^n \to S^{n-1}$ замкнутого шара $D^n$ на его граничную сферу $S^{n-1} = \partial D^n$, оставляющей неподвижной каждую точку границы ($r|_{S^{n-1}} = \text{id}_{S^{n-1}}$).

Шаг 1: Отображение без неподвижных точек порождает непрерывную ретракцию $r: D^n \to S^{n-1}$

Предположим от противного, что существует непрерывное отображение $f: D^n \to D^n$, для которого $f(x) \ne x$ всюду на $D^n$. Тогда вектор $u(x) = x - f(x) \ne \mathbf{0}$ нигде не обращается в нуль. Луч, выпущенный из $f(x)$ через $x$ по закону $\gamma_x(t) = x + s u(x)$ ($s = t - 1 \ge 0$), пересекает сферу $S^{n-1}$ в единственной точке:

Так как $\|u(x)\|_2^2 > 0$, отображение $r: D^n \to S^{n-1}$ непрерывно на всём $D^n$, а при $x \in S^{n-1}$ ($\|x\|_2^2 = 1$) имеем $s^*(x) = 0$ и $r(x) = x$. Значит, $r$ — непрерывная ретракция!

Шаг 2: Противоречие через функтор гомологий $\tilde{H}_{n-1}$ и формулу Стокса

1. Доказательство через приведённые гомологии $\tilde{H}_{n-1}$: Применяя функтор приведённых сингулярных гомологий $\tilde{H}_{n-1}(-; \mathbb{Z})$ к $S^{n-1} \xrightarrow{\iota} D^n \xrightarrow{r} S^{n-1}$ ($r \circ \iota = \text{id}_{S^{n-1}}$), ввиду стягиваемости шара $D^n$ ($\tilde{H}_{n-1}(D^n) \cong 0$) и $\tilde{H}_{n-1}(S^{n-1}) \cong \mathbb{Z}$ получаем: $$ \mathbb{Z} \xrightarrow{\;\iota_*\;} 0 \xrightarrow{\;r_*\;} \mathbb{Z} $$ Любой гомоморфизм, проходящий через нулевую группу $0$, равен нулю ($1 \mapsto 0$), тогда как $(r \circ \iota)_* = \text{id}_{\mathbb{Z}}$ переводит $1 \mapsto 1$, что даёт противоречие $1 = 0$ в $\mathbb{Z}$!
2. Аналитическое доказательство через формулу Стокса: Для гладкой ретракции $r: D^n \to S^{n-1}$ и $(n-1)$-формы объёма $\omega$ на $S^{n-1}$ ($\int_{S^{n-1}} \omega = \text{Vol}(S^{n-1}) > 0$ и $d\omega = 0$) формула Стокса даёт: $$ 0 < \int_{S^{n-1}} \omega = \int_{\partial D^n} r^*\omega = \int_{D^n} d(r^*\omega) = \int_{D^n} r^*(d\omega) = 0 $$

  flowchart TD
    A["Предположение от противного:<br/>Существует непрерывное f : D^n → D^n<br/>без неподвижных точек (∀x ∈ D^n, f(x) ≠ x)"] --> B["Лучевая проекция r : D^n → S^{n-1}:<br/>Луч из f(x) через x пересекает границу S^{n-1} в точке<br/>r(x) = x + s*(x)(x - f(x))"]
    B --> C["Существование непрерывной ретракции:<br/>r : D^n → S^{n-1} непрерывно на D^n<br/>и тождественно на границе (r ∘ ι = id_{S^{n-1}})"]
    C --> D1["Алгебраическая топология:<br/>Функтор приведённых гомологий H̃_{n-1}(-; Z)<br/>индуцирует Z → 0 → Z, равное id_Z"]
    C --> D2["Дифференциальная топология (Формула Стокса):<br/>Обратный образ формы объёма ω (dω = 0)<br/>∫_{S^{n-1}} ω = ∫_{D^n} d(r*ω) = ∫_{D^n} r*(dω) = 0"]
    D1 --> E["Абсолютное противоречие:<br/>1 = 0 в Z (или Vol(S^{n-1}) = 0)"]
    D2 --> E
    E --> F["Вывод (Теорема Брауэра):<br/>Предположение ложно; любое непрерывное f : D^n → D^n<br/>имеет хотя бы одну неподвижную точку f(x*) = x*"]

4. Третье доказательство: Конструктивная комбинаторика и лемма Шпернера (1928)

Став основателем математического интуиционизма, Брауэр отверг собственное неконструктивное доказательство от противного, поскольку оно не давало алгоритма вычисления $x^*$.

В 1928 году Эмануэль Шпернер (Emanuel Sperner) доказал лемму Шпернера: при любой триангуляции симплекса $\Delta^n = \text{conv}\{v_0, \dots, v_n\}$ с раскраской Шпернера $\ell: V(\mathcal{T}) \to \{0, 1, \dots, n\}$ ($\ell(v_i) = i$, а на каждой грани $\text{conv}\{v_{i_0}, \dots, v_{i_k}\}$ используются только цвета из $\{i_0, \dots, i_k\}$) число «радужных» подсимплексов (содержащих все $n+1$ цветов) всегда нечётно, а значит, существует хотя бы один!

Окрашивая каждую вершину $w$ цветом $i$, для которого в барицентрических координатах $\lambda_i(w) > 0$ и $\lambda_i(f(w)) \le \lambda_i(w)$, при стремлении шага сетки к $0$ компактность (Больцано — Вейерштрасс) и непрерывность гарантируют сходимость радужных симплексов к точке $x^*$, где $\lambda_i(f(x^*)) \le \lambda_i(x^*)$ для всех $i$, откуда $f(x^*) = x^*$. В 1967 году Герберт Скарф (Herbert Scarf) создал на этой основе симплициальный алгоритм Скарфа для численного поиска неподвижных точек.

5. Великая иерархия теорем о неподвижной точке: Банах, Брауэр, Шаудер и Какутани

1. Теорема Банаха о сжимающем отображении (1922): В любом непустом полном метрическом пространстве $(X, d)$ сжатие $d(Tx, Ty) \le L d(x, y)$ ($0 \le L < 1$) имеет единственную неподвижную точку $x^*$, к которой геометрически сходится итерация Пикара $x_{k+1} = T(x_k)$ (основа теоремы Пикара — Линделёфа для ОДУ, итерации по ценности Беллмана в обучении с подкреплением и Google PageRank).
2. Ловушка бесконечной размерности и теорема Шаудера (1930): На замкнутом единичном шаре $B_{\ell^2}$ гильбертова пространства $\ell^2$ непрерывное отображение $f(x_1, x_2, \dots) = (\sqrt{1 - \|x\|_2^2}, x_1, x_2, \dots)$ не имеет неподвижных точек, так как шар $B_{\ell^2}$ не компактен! Шаудер (1930) восстановил теорему в банаховых пространствах для компактных операторов $T: K \to K$ (ключ к нелинейным УРЧП вроде уравнений Навье — Стокса).
3. Теорема Сидзуо Какутани (1941): Обобщает теорему Брауэра на многозначные отображения (соответствия) $\Phi: K \rightrightarrows K$ на компактном выпуклом $K \subset \mathbb{R}^n$. Если $\Phi(x)$ непусто и выпукло для всех $x$, а график $\Phi$ замкнут (полунепрерывность сверху), то существует точка $x^* \in K$, такая что $x^* \in \Phi(x^*)$.

6. Как топология произвела революцию в экономике и теории игр: Нэш (1950) и Эрроу — Дебрё (1954)

6.1 Джон Нэш (1950, 1951): Существование равновесия Нэша

В конечной игре $N$ лиц пространство профилей смешанных стратегий $K = \Delta_1 \times \dots \times \Delta_N$ компактно и выпукло.

• Доказательство через теорему Какутани (1950): Соответствие наилучшего ответа $BR_i(\sigma_{-i}) = \arg\max_{\tau_i \in \Delta_i} U_i(\tau_i, \sigma_{-i})$ имеет непустые выпуклые значения (в силу линейности математического ожидания выигрыша $U_i$ по $\tau_i$) и замкнутый график. По теореме Какутани существует $\sigma^* \in BR(\sigma^*)$ — равновесие Нэша!
• Прямое доказательство через теорему Брауэра (1951): Определив избыточный выигрыш $\varphi_{ij}(\sigma) = \max\{0, U_i(s_{ij}, \sigma_{-i}) - U_i(\sigma_i, \sigma_{-i})\}$, непрерывное отображение $$ f_{ij}(\sigma) = \frac{\sigma_{ij} + \varphi_{ij}(\sigma)}{1 + \sum_{k=1}^{m_i} \varphi_{ik}(\sigma)} $$ по теореме Брауэра имеет неподвижную точку $f(\sigma^*) = \sigma^*$, откуда следует $\varphi_{ij}(\sigma^*) = 0$ для всех $i, j$.

6.2 Эрроу и Дебрё (1954): Общее конкурентное равновесие Вальраса

На симплексе цен $\Delta^{L-1} = \{p \in \mathbb{R}_+^L : \sum_{\ell=1}^L p_\ell = 1\}$ функция избыточного спроса $z(p)$ удовлетворяет закону Вальраса $\sum_{\ell=1}^L p_\ell z_\ell(p) = 0$. Отображение корректировки цен $g_\ell(p) = \frac{p_\ell + \max\{0, z_\ell(p)\}}{1 + \sum_{k=1}^L \max\{0, z_k(p)\}}$ имеет неподвижную точку $g(p^*) = p^*$ по теореме Брауэра. Умножая на $z_\ell(p^*)$ и суммируя по $\ell$ с учётом закона Вальраса, получаем:

Все рынки одновременно приходят в равновесие!

  flowchart TD
    T1["1D-анализ: Теорема Больцано — Коши (1817)<br/>Нуль функции смещения g(x) = f(x) - x на отрезке [a, b]"] --> T2["n-D-топология: Теорема Брауэра (1911)<br/>Любое непрерывное f : K → K на компактном выпуклом K ⊂ R^n имеет f(x*) = x*"]
    S1["Комбинаторная топология: Лемма Шпернера (1928) и Скарф (1967)<br/>Нечётность числа радужных симплексов и отслеживание пути"] --> T2
    B1["Алгебраическая топология: Теорема Борсука (1931)<br/>Гомологии H̃_{n-1}(S^{n-1}) ≅ Z ≠ 0 и формула Стокса"] --> T2
    T2 --> K1["Многозначное обобщение: Теорема Какутани (1941)<br/>Соответствие Φ : K ⇒ K с замкнутым графиком и выпуклыми образами: x* ∈ Φ(x*)"]
    T2 --> SC1["Бесконечномерное обобщение: Теорема Шаудера (1930)<br/>Компактные операторы в банаховых пространствах и УРЧП Навье — Стокса"]
    T2 --> BA1["Метрическое сжатие: Теорема Банаха (1922)<br/>Единственная неподвижная точка и итерация Пикара (ОДУ, Беллман, PageRank)"]
    K1 --> N1["Революция в теории игр: Равновесие Нэша (1950/1951)<br/>Неподвижная точка наилучшего ответа σ* ∈ BR(σ*)"]
    K1 --> AD1["Математическая экономика: Общее равновесие Эрроу — Дебрё (1954)<br/>Неподвижная точка нащупывания Вальраса g(p*) = p* очищает все рынки"]
    T2 --> N1
    T2 --> AD1