Теорема Борсука-Улама: антиподы, бутерброд и комбинаторика

Теорема Борсука-Улама - один из самых наглядных результатов алгебраической топологии. Кароль Борсук доказал её в 1933 году, частично опираясь на гипотезу Станислава Улама. Формально она утверждает простую вещь: при любом непрерывном отображении $n$-мерной сферы в $n$-мерное евклидово пространство обязательно найдётся пара диаметрально противоположных точек с совпадающим образом. Из этого скромного факта вырастают теорема о бутерброде, теорема Тверберга, необходимые условия в дискретной геометрии и стандартный приём в комбинаторных доказательствах.

Точная формулировка

Пусть $S^n = \{x \in \mathbb{R}^{n+1} : \|x\| = 1\}$ - единичная сфера, и $f \colon S^n \to \mathbb{R}^n$ - непрерывное отображение. Теорема Борсука-Улама утверждает: существует точка $x \in S^n$, такая что $f(x) = f(-x).$ То есть антиподальные точки $x$ и $-x$ имеют один и тот же образ. Эквивалентно: не существует непрерывного нечётного отображения $g \colon S^n \to \mathbb{R}^n$, удовлетворяющего $g(-x) = -g(x)$ и не обращающегося в ноль.

Размерность здесь критична. Если попытаться отображать $S^n$ в $\mathbb{R}^{n+1}$, утверждение перестаёт работать - стандартное вложение $S^n \hookrightarrow \mathbb{R}^{n+1}$ нечётное и нигде не равно нулю.

Эквивалентные формы

Теорема имеет несколько одинаковых по силе формулировок, и в задачах выбор зависит от того, что удобнее проверять.

• Нет непрерывного нечётного отображения $h \colon S^n \to S^{n-1}$. Иначе говоря, антиподальная структура сферы $S^n$ не редуцируется к структуре сферы меньшей размерности.
• Антиподальное накрытие $S^n \to \mathbb{R}P^n$ нетривиально в смысле $\mathbb{Z}/2$-когомологий: класс Штифеля-Уитни линейного расслоения определяющего накрытие порождает кольцо $H^*(\mathbb{R}P^n; \mathbb{Z}/2)$.
• Теорема Люстерника-Шнирельмана: если $S^n$ покрыта $n+1$ замкнутыми множествами $A_1, \dots, A_{n+1}$, то хотя бы одно из них содержит пару антиподов.

Все три формы выводятся друг из друга элементарной топологией; обычно курс начинают с любой одной и получают остальные как следствия.

Наглядная интерпретация

Самая популярная иллюстрация - частный случай $n = 2$. Возьмём непрерывное отображение поверхности Земли в плоскость, где первая координата - температура воздуха, вторая - атмосферное давление. Из теоремы следует, что в любой фиксированный момент на Земле найдутся две диаметрально противоположные точки с одновременно одинаковой температурой и одинаковым давлением. Тот же приём работает для любой пары непрерывных характеристик: влажности и высоты, концентрации озона и магнитного склонения.

Для $n = 1$ утверждение проще: при любой непрерывной функции $f \colon S^1 \to \mathbb{R}$ на окружности найдётся пара антиподов с равным значением. Это лёгкое упражнение через теорему о промежуточном значении применительно к $\varphi(x) = f(x) - f(-x)$.

Доказательство через гомологии

Стандартная схема использует $\mathbb{Z}/2$-когомологии вещественных проективных пространств. Предположим противное: $f \colon S^n \to \mathbb{R}^n$ непрерывно и $f(x) \neq f(-x)$ для всех $x$. Тогда корректно определено непрерывное нечётное отображение $g(x) = \frac{f(x) - f(-x)}{\|f(x) - f(-x)\|} \colon S^n \to S^{n-1}.$ Такое $g$ опускается до отображения $\bar g \colon \mathbb{R}P^n \to \mathbb{R}P^{n-1}$ антиподальных факторов. На когомологиях с коэффициентами в $\mathbb{Z}/2$ получаем гомоморфизм колец $\bar g^* \colon \mathbb{Z}/2[\beta]/(\beta^{n}) \to \mathbb{Z}/2[\alpha]/(\alpha^{n+1}),$ переводящий образующую $\beta$ в образующую $\alpha$ (по соображениям функториальности первого класса Штифеля-Уитни). Но тогда $\bar g^*(\beta^n) = \alpha^n \neq 0$, тогда как в области образа $\beta^n = 0$ - противоречие.

Альтернативное доказательство в малых размерностях использует фундаментальную группу: для $n = 2$ нечётное отображение $S^2 \to S^1$ индуцировало бы нечётный гомоморфизм $\pi_1(\mathbb{R}P^2) \to \pi_1(\mathbb{R}P^1)$, то есть $\mathbb{Z}/2 \to \mathbb{Z}$ с условием $1 \mapsto$ нечётное число, чего быть не может.

Теорема о бутерброде

Самое цитируемое следствие - теорема о бутерброде (ham sandwich): любые $n$ ограниченных измеримых множеств $A_1, \dots, A_n \subset \mathbb{R}^n$ можно одновременно разделить пополам по объёму одной гиперплоскостью. Название отсылает к трёхмерной задаче: бутерброд из хлеба, ветчины и сыра можно разрезать одним плоским ножом так, чтобы каждый ингредиент был поделён ровно надвое - где бы вы ни положили продукты.

Доказательство получается за пару строк. Параметризуем ориентированные гиперплоскости точкой $u = (u_0, \dots, u_n) \in S^n$: плоскость задаётся уравнением $u_0 + u_1 x_1 + \dots + u_n x_n = 0$, антипод $-u$ - та же плоскость с обратной ориентацией. Определим $f \colon S^n \to \mathbb{R}^n$, где $i$-я координата $f_i(u)$ - объём части $A_i$, лежащей по положительную сторону плоскости. По Борсуку-Уламу найдётся $u^*$ с $f(u^*) = f(-u^*)$, то есть объёмы по обе стороны совпадают для всех $i$ одновременно.

Теорема Тверберга и неравенство Борсука

Теорема Тверберга утверждает, что любые $(r-1)(d+1) + 1$ точек в $\mathbb{R}^d$ можно разбить на $r$ непустых групп, чьи выпуклые оболочки имеют общую точку. Случай $r = 2$ - это классическая теорема Радона; общий случай для простых $r$ доказывается через топологическое обобщение Борсука-Улама ($\mathbb{Z}/p$-эквивариантная версия, известная как теорема Долда).

Близкое утверждение - неравенство Борсука о покрытии: любое ограниченное множество $X \subset \mathbb{R}^d$ диаметра $D$ можно разбить на $d+1$ кусок, каждый из которых имеет диаметр строго меньше $D$. Граница $d+1$ точна - её даёт правильный симплекс. Историческая гипотеза Борсука о том, что и в высоких размерностях достаточно $d+1$ кусков, была опровергнута Кахном и Калаи в 1993 году, но локальные случаи $d \leq 3$ остаются справедливыми и доказываются через антиподальные построения.

Применения в комбинаторике

В дискретной геометрии теорема Борсука-Улама часто играет роль необходимого условия. Классические примеры:

• Хроматическое число графа Кнезера $KG(n, k)$ равно $n - 2k + 2$ - теорема Ловаса, использующая антиподальные раскраски сферы.
• Задача о справедливом делении ожерелья с $k$ типами бусин решается с помощью $k$ разрезов на $k$ нитях - следует из непрерывной версии и аппроксимации.
• Граничные оценки в комбинаторной теории Рамсея для покрытий и раскрасок проективных пространств.

Тонкость в том, что Борсук-Улам даёт существование, но не конструктивный алгоритм. Для большинства следствий явные построения известны только в малых размерностях.

Типовые задачи

Студенту полезно тренироваться на нескольких канонических задачах:

1. Доказать, что в любой момент времени на экваторе есть две диаметрально противоположные точки с одинаковой температурой.
2. Показать, что нельзя непрерывно зачесать волосы на сфере $S^2$ так, чтобы антиподы получили зеркально симметричные направления и нигде не образовался завиток.
3. Применить теорему о бутерброде к трём конечным наборам точек в $\mathbb{R}^3$ и явно построить разделяющую плоскость в простом случае.
4. Доказать, что для покрытия $S^2$ тремя замкнутыми множествами одно из них обязательно содержит антиподы.

Частые ошибки

• Путают размерности. Теорема работает для $S^n \to \mathbb{R}^n$, а не $S^n \to \mathbb{R}^{n+1}$ или $S^n \to \mathbb{R}^{n-1}$. Любое утверждение в чужой размерности - повод проверить формулировку.
• Забывают про непрерывность. Для разрывных $f$ контрпример строится мгновенно: задайте $f(x) = 1$ на верхней полусфере и $f(x) = 0$ на нижней.
• Распространяют на негомеоморфные сфере области. Теорема существенно использует именно сферу - на торе антиподальная инволюция работает иначе.
• Применяют ham sandwich к $n+1$ множествам в $\mathbb{R}^n$ - гарантировано только разделение $n$ множеств одной гиперплоскостью.
• Считают, что доказательство получает явное положение точки $x$ с $f(x) = f(-x)$. Теорема даёт существование, методы - гомологические, неконструктивные.

FAQ

Чем теорема Борсука-Улама отличается от теоремы Брауэра о неподвижной точке? Обе - топологические теоремы существования, но Брауэр работает с непрерывным отображением шара в себя, а Борсук-Улам - со сферой и условием антиподальности. Из Борсука-Улама легко выводится Брауэр, обратное неверно: Борсук-Улам строго сильнее.

Можно ли обобщить теорему за пределы сферы? Да, есть аналог для $G$-пространств с действием конечной группы (теорема Долда, $\mathbb{Z}/p$-эквивариантные версии). Антиподальная инволюция $\mathbb{Z}/2$ заменяется свободным действием $\mathbb{Z}/p$, и условие на размерность сохраняется.

Где встречается теорема Борсука-Улама на практике? В алгоритмах справедливого деления (бутерброд, ожерелье), в доказательствах существования равновесий, в комбинаторной теории графов (раскраски Кнезера), в анализе сложности дискретных задач, изредка - в климатологии как наглядная демонстрация инвариантов.

Коротко

Теорема Борсука-Улама гарантирует, что любое непрерывное отображение $S^n \to \mathbb{R}^n$ склеивает хотя бы одну пару антиподов. Из этого скромного утверждения следуют ham sandwich, частные случаи теоремы Тверберга, неравенство Борсука для малых размерностей и оценки хроматических чисел графов Кнезера. Доказательство стандартно идёт через $\mathbb{Z}/2$-когомологии проективных пространств, а на практике теорема живёт как необходимое условие существования: показывает, что некоторое разделение или раскраска неизбежны, но не строит их явно.