Выворачивание сферы

Один из способов выворачивания сферы, промежуточная конфигурация, поверхность Морина

Выворачивание сферы — процесс перемены местами внешней и внутренней поверхностей сферы в трёхмерном пространстве в рамках условий дифференциальной топологии. Допускается самопересечение поверхностей, но в каждый момент времени она не имеет разрывов и сохраняет гладкость. Другими словами, образ сферы в каждый момент деформации должен оставаться дифференцируемым.

Возможность выворачивания сферы была впервые открыта американским математиком Стивеном Смейлом. Представить конкретный пример такого преобразования достаточно сложно, поэтому этот результат называют парадоксом Смейла<ref>Шаблон:Cite web</ref>. Для наглядности объяснения было создано множество визуализаций. Файл:Evshort2.webm

Формулировка

Пусть <math>f\colon \mathbb{S}^2\to\R^3</math> есть стандартное вложение сферы в трёхмерное пространство. Тогда существует непрерывное однопараметрическое семейство гладких погружений <math>f_t\colon \mathbb{S}^2\to\R^3,\ \ t\in [0,1]</math>, такое, что <math>f_0=f</math> и <math>f_1=-f</math>.

История

Возможность выворачивания сферы была впервые открыта американским математиком Стивеном Смейлом в 1957 году. Рауль Ботт, дипломный консультант Смейла, сначала заявил, что результат очевидно неверен. Он объяснил это тем, что при таком преобразовании должна сохраняться степень отображения Гаусса. Например, нет такого преобразования для окружности в рамках плоскости. Однако для трёхмерного пространства степени отображений Гаусса у <math>f</math> и у <math>-f</math> в <math>\mathbb{R}^3</math> обе равны 1 и не имеют противоположные знаки, вопреки ошибочному предположению. Степень отображения Гаусса для всех погружений <math>\mathbb{S}^2</math> в <math>\mathbb{R}^3</math> равна 1, таким образом нет никаких препятствий.

Вариации и обобщения

• Выворачивание сферы можно осуществить также в классе <math>C^1</math>-гладких изометрических погружений.<ref>Громов, М. Дифференциальные соотношения в частных производных.</ref>
• Шестимерная сфера <math>S^6</math>, вложенная в семимерное евклидово пространство <math>\mathbb{R}^7</math>, также допускает выворачивание наизнанку. Вместе с нульмерной сферой <math>S^0</math> (двумя точками) на прямой <math>\mathbb{R}</math> и двумерной сферой <math>S^2</math> в <math>\mathbb{R}^3</math> это единственные возможные случаи, когда сфера <math>S^n</math>, вложенная в <math>\mathbb{R}^{n+1}</math>, допускает выворачивание наизнанку.
  • Более того, справедлива теорема Смейла — Кайзера: любые два погружения сфер <math>S^n</math> в <math>\mathbb{R}^{n+1}</math> регулярно гомотопны тогда и только тогда, когда <math>n=0,2,6</math>. Для всех остальных <math>n</math> вложенные сферы с разными ориентациями не являются регулярно гомотопными. <ref>Шаблон:Cite web</ref>
• H-принцип — общий способ решения подобных задач.

См. также

• Поверхность Боя
• Поверхность Морина

Литература

• 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, Визуализация выворачивания сферы, основанная на семействе линейчатых поверхностей