Теорема о сфере (3-многообразия) - Sphere theorem (3-manifolds)

В математике в топология из 3-х коллектор, то теорема о сфере из Христос Папакириакопулос  (1957 ) дает условия, при которых элементы второй гомотопической группы трехмерного многообразия могут быть представлены вложенными сферами.

Вот один из примеров:

Позволять быть ориентируемый 3-многообразие такое, что не является тривиальной группой. Тогда существует ненулевой элемент из иметь представителя, который является встраивание .

Доказательство этой версии теоремы может быть основано на трансверсальность методы, см. Jean-Loïc Batude (1971 ).

Еще одна более общая версия (также называемая теоремой о проективной плоскости и в силу Дэвид Б. А. Эпштейн ) является:

Позволять любое трехмерное многообразие и а -инвариантный подгруппа . Если это общая позиция карта такая, что и - любая окрестность особого множества , то есть карта удовлетворение

  1. ,
  2. ,
  3. это карта покрытия, и
  4. это 2-сторонний подмногообразие (2-сфера или проективная плоскость ) из .

цитируется в (Hempel, п. 54).

использованная литература

  • Батюд, Жан-Луик (1971). "Уникальный генерик различных приложений для 2-х сфер в 3-х вариантном различном" (PDF). Annales de l'Institut Fourier. 21 (3): 151–172. Дои:10.5802 / aif.383. Г-Н  0331407.
  • Хемпель, Джон (1976). 3-х коллектор. Анналы математических исследований. 86. Принстон, штат Нью-Джерси: Princeton University Press. Г-Н  0415619.