Выворачивание сферы
— процесс перемены местами внешней и внутренней поверхностей
сферы
в
трёхмерном пространстве
в рамках условий
дифференциальной топологии
. Допускается самопересечение поверхностей, но в каждый момент времени она не имеет разрывов и сохраняет
гладкость
. Другими словами, образ сферы в каждый момент деформации должен оставаться
дифференцируемым
.
Возможность выворачивания сферы была впервые открыта американским математиком
Стивеном Смейлом
. Представить конкретный пример такого преобразования достаточно сложно, поэтому этот результат называют
парадоксом Смейла
.
Для наглядности объяснения было создано множество визуализаций.
Содержание
Формулировка
Пусть
есть стандартное вложение сферы в трёхмерное пространство.
Тогда существует непрерывное однопараметрическое семейство гладких
погружений
, такое, что
и
.
История
Возможность выворачивания сферы была впервые открыта американским математиком
Стивеном Смейлом
в
1957 году
.
Рауль Ботт
, дипломный консультант Смейла, сначала заявил, что результат очевидно неверен. Он объяснил это тем, что при таком преобразовании должна сохраняться
степень
отображения Гаусса
. Например, нет такого преобразования для окружности в рамках плоскости. Однако для трёхмерного пространства степени отображений Гаусса у
и у
в
обе равны 1 и не имеют противоположные знаки, вопреки ошибочному предположению. Степень отображения Гаусса для всех погружений
в
равна 1, таким образом нет никаких препятствий.
Вариации и обобщения
Выворачивание сферы можно осуществить также в классе
-гладких изометрических погружений.
Шестимерная сфера
, вложенная в семимерное евклидово пространство
, также допускает выворачивание наизнанку. Вместе с нульмерной сферой
(двумя точками) на прямой
и двумерной сферой
в
это единственные возможные случаи, когда сфера
, вложенная в
, допускает выворачивание наизнанку.
Более того, справедлива
теорема Смейла — Кайзера
: любые два погружения сфер
в
регулярно гомотопны тогда и только тогда, когда
. Для всех остальных
вложенные сферы с разными ориентациями не являются регулярно гомотопными.