Простое многообразие

Статья обсуждает проблему определения неприводимости 3-многообразий.
Неприводимость означает, что многообразие не может быть представлено как объединение двух меньших многообразий.
В статье рассматривается случай, когда 3-многообразие может быть разрезано вдоль 2-сферы.
В результате разреза может получиться одно многообразие или два многообразия, которые связаны с шаром.
В случае простого 3-многообразия, если разрезать его вдоль 2-сферы, можно получить только одно многообразие или два многообразия, одно из которых является шаром.
В последнем случае многообразие является неприводимым, так как одна из двух частей является шаром.

Полный текст статьи:

Главное многообразие — Википедия