Выворачивание сферы
Выворачивание сферы — процесс перемены местами внешней и внутренней поверхностей сферы в трёхмерном пространстве в рамках условий дифференциальной топологии. Допускается самопересечение поверхностей, но в каждый момент времени она не имеет разрывов и сохраняет гладкость. Другими словами, образ сферы в каждый момент деформации должен оставаться дифференцируемым.
Возможность выворачивания сферы была впервые открыта американским математиком Стивеном Смейлом. Представить конкретный пример такого преобразования достаточно сложно, поэтому этот результат называют парадоксом Смейла[1]. Для наглядности объяснения было создано множество визуализаций.
Формулировка
Пусть [math]\displaystyle{ f\colon \mathbb{S}^2\to\R^3 }[/math] есть стандартное вложение сферы в трёхмерное пространство. Тогда существует непрерывное однопараметрическое семейство гладких погружений [math]\displaystyle{ f_t\colon \mathbb{S}^2\to\R^3,\ \ t\in [0,1] }[/math], такое, что [math]\displaystyle{ f_0=f }[/math] и [math]\displaystyle{ f_1=-f }[/math].
История
Возможность выворачивания сферы была впервые открыта американским математиком Стивеном Смейлом в 1957 году. Рауль Ботт, дипломный консультант Смейла, сначала заявил, что результат очевидно неверен. Он объяснил это тем, что при таком преобразовании должна сохраняться степень отображения Гаусса. Например, нет такого преобразования для окружности в рамках плоскости. Однако для трёхмерного пространства степени отображений Гаусса у [math]\displaystyle{ f }[/math] и у [math]\displaystyle{ -f }[/math] в [math]\displaystyle{ \mathbb{R}^3 }[/math] обе равны 1 и не имеют противоположные знаки, вопреки ошибочному предположению. Степень отображения Гаусса для всех погружений [math]\displaystyle{ \mathbb{S}^2 }[/math] в [math]\displaystyle{ \mathbb{R}^3 }[/math] равна 1, таким образом нет никаких препятствий.
Вариации и обобщения
- Выворачивание сферы можно осуществить также в классе [math]\displaystyle{ C^1 }[/math]-гладких изометрических погружений.[2]
- Шестимерная сфера [math]\displaystyle{ S^6 }[/math], вложенная в семимерное евклидово пространство [math]\displaystyle{ \mathbb{R}^7 }[/math], также допускает выворачивание наизнанку. Вместе с нульмерной сферой [math]\displaystyle{ S^0 }[/math] (двумя точками) на прямой [math]\displaystyle{ \mathbb{R} }[/math] и двумерной сферой [math]\displaystyle{ S^2 }[/math] в [math]\displaystyle{ \mathbb{R}^3 }[/math] это единственные возможные случаи, когда сфера [math]\displaystyle{ S^n }[/math], вложенная в [math]\displaystyle{ \mathbb{R}^{n+1} }[/math], допускает выворачивание наизнанку.
- Более того, справедлива теорема Смейла — Кайзера: любые два погружения сфер [math]\displaystyle{ S^n }[/math] в [math]\displaystyle{ \mathbb{R}^{n+1} }[/math] регулярно гомотопны тогда и только тогда, когда [math]\displaystyle{ n=0,2,6 }[/math]. Для всех остальных [math]\displaystyle{ n }[/math] вложенные сферы с разными ориентациями не являются регулярно гомотопными. [3]
- H-принцип — общий способ решения подобных задач.
Примечания
- ↑ Е. А. Кудрявцева,. “Реализация гладких функций на поверхностях в виде функций высоты”. Матем. сб., 190:3 (1999), 32. www.mathnet.ru. Дата обращения: 23 февраля 2017. Архивировано 24 февраля 2017 года.
- ↑ Громов, М. Дифференциальные соотношения в частных производных.
- ↑ Й. Малешич, П.Е. Пушкарь, Д. Реповш. “Выворачивающиеся наизнанку сферы”. Дата обращения: 3 декабря 2020. Архивировано 25 ноября 2020 года.
Литература
- Smale, Stephen A classification of immersions of the two-sphere. Trans. Amer. Math. Soc. 90 1958 281—290.
- Франсис, Дж. Книжка с картинками по топологии, как рисовать математические картинки. Москва: Мир, 1991. Глава 6. Выворачивания сферы наизнанку.
- Скопенков А.Б. Алгебраическая топология с геометрической точки зрения. — 2-е изд., доп. — М: МЦНМО, 2020. — 304 с.
Ссылки
- Визуализация выворачивания сферы методом Уильяма Тёрстона (с субтитрами на русском языке).
- Ricky Reusser, Визуализация выворачивания сферы, основанная на семействе линейчатых поверхностей