Односвязное пространство: определение и проверка через петли

Односвязное пространство - одно из ключевых понятий алгебраической топологии: это линейно связное пространство, в котором любая петля стягивается в точку. За этой наглядной картинкой стоит точное условие - тривиальная фундаментальная группа $\pi_1(X) = 0$. Разберём строгое определение, научимся проверять односвязность через петли, поймём, почему сфера односвязна, а окружность и тор - нет, и где это понятие реально используется. Ниже есть форма: опишите своё пространство и получите разбор, односвязно оно или нет.

Что такое односвязное пространство

Пространство $X$ называют односвязным, если оно удовлетворяет двум условиям одновременно:

1. Линейная связность - любые две точки можно соединить непрерывным путём.
2. Тривиальность петель - любая замкнутая петля непрерывно стягивается в точку, не выходя из $X$.

Первое условие отвечает за «отсутствие разрывов» - пространство состоит из одного куска. Второе - за «отсутствие дырок»: внутри $X$ нет препятствий, которые мешали бы петле сжаться. Именно сочетание обоих свойств и образует односвязность: одного без другого недостаточно.

Рассчитать для своей задачи

На языке функций петля - это непрерывное отображение $\gamma\colon [0,1] \to X$ с совпадающими концами $\gamma(0) = \gamma(1)$. Стянуть петлю в точку значит построить гомотопию между ней и постоянным отображением.

Формальное определение через фундаментальную группу

Точная формулировка опирается на фундаментальную группу $\pi_1(X, x_0)$ - группу классов гомотопных петель с отмеченной точкой $x_0$. Операция в группе - последовательное прохождение петель.

$$X \text{ односвязно} \iff X \text{ линейно связно и } \pi_1(X, x_0) = \{e\}.$$

Запись $\pi_1(X) = 0$ (или $\pi_1(X) = \{e\}$) означает, что группа состоит из единственного элемента - класса постоянной петли. То есть все петли гомотопны между собой и стягиваемы. Поскольку для линейно связного пространства группа $\pi_1(X, x_0)$ с точностью до изоморфизма не зависит от выбора точки $x_0$, об односвязности можно говорить без указания базы.

Как проверить односвязность

Чтобы доказать односвязность пространства, нужно показать два факта.

Шаг 1. Линейная связность. Часто достаточно сослаться на выпуклость, звёздность или явно указать соединяющий путь. Например, в выпуклом множестве $C \subset \mathbb{R}^n$ две точки $a, b$ соединяет прямолинейный отрезок $t \mapsto (1-t)a + tb$.

Шаг 2. Стягиваемость петель. Для каждой петли $\gamma$ нужно предъявить гомотопию $H\colon [0,1] \times [0,1] \to X$ такую, что $H(s, 0) = \gamma(s)$, а $H(s, 1) = x_0$ (постоянная петля). В выпуклом или звёздном множестве работает прямолинейная гомотопия:

$$H(s, t) = (1 - t)\,\gamma(s) + t\,x_0.$$

Опровергнуть односвязность проще: достаточно найти одну петлю, которую нельзя стянуть. Обычно это делают, предъявляя нетривиальный элемент фундаментальной группы или сохраняющийся инвариант - например, число оборотов петли вокруг отверстия.

Сфера односвязна, а окружность нет

Сравнение этих двух примеров проясняет суть понятия лучше любого определения.

Окружность $S^1$ не односвязна. Петля, обходящая окружность ровно один раз, не стягивается: её нельзя сжать в точку, оставаясь на окружности. Формально $\pi_1(S^1) \cong \mathbb{Z}$ - каждой петле соответствует целое число оборотов, и обнулить его непрерывной деформацией нельзя.

Рассчитать для своей задачи

Сфера $S^2$ односвязна. Любую петлю на двумерной сфере можно стянуть в точку, обведя её «вокруг» свободной области сферы - петля одномерна, а поверхность двумерна, места для манёвра достаточно. Поэтому $\pi_1(S^2) = 0$. Тот же аргумент работает для сфер $S^n$ при $n \ge 2$.

Важная тонкость: $S^2$ односвязна, но не стягиваема в точку как целое - её нельзя сжать, не разрывая. Односвязность говорит только о петлях (одномерных циклах), а более высокие «дырки» ловят старшие группы $\pi_n$. Это понятие тесно соседствует со стягиваемым пространством: любое стягиваемое пространство односвязно, но обратное неверно - сфера контрпример.

Тор и проколотая плоскость

Тор $T^2$ не односвязен. На поверхности бублика есть две независимые петли - вдоль «дырки» и вокруг «трубки», и ни одна из них не стягивается. Фундаментальная группа тора $\pi_1(T^2) \cong \mathbb{Z} \times \mathbb{Z}$ - две целочисленные координаты на пару образующих петель.

Проколотая плоскость $\mathbb{R}^2 \setminus \{0\}$ не односвязна. Удалив одну точку, мы создаём препятствие: петля вокруг прокола несёт ненулевое число оборотов и не стягивается. Здесь $\pi_1 \cong \mathbb{Z}$, как у окружности, - проколотая плоскость гомотопически эквивалентна $S^1$.

А вот проколотое трёхмерное пространство $\mathbb{R}^3 \setminus \{0\}$ односвязно: в трёх измерениях петлю можно обвести вокруг удалённой точки и стянуть, поэтому $\pi_1 = 0$ (хотя «дырку» теперь ловит вторая группа $\pi_2 \cong \mathbb{Z}$).

Где это используется

Односвязность - не абстракция ради абстракции, она работает как условие в ключевых теоремах.

• Комплексный анализ. В односвязной области интеграл аналитической функции по замкнутому контуру равен нулю (теорема Коши), а у функции существует первообразная и однозначный логарифм. На проколотой области это ломается.
• Накрытия. Односвязное пространство - это собственное универсальное накрытие: оно накрывает само себя тривиально. Универсальное накрытие любого «хорошего» пространства всегда односвязно.
• Гипотеза Пуанкаре. Знаменитое утверждение, доказанное Перельманом: всякое замкнутое односвязное трёхмерное многообразие гомеоморфно сфере $S^3$. Односвязность здесь - центральное условие.
• Дифференциальные уравнения и физика. Потенциальность поля (существование потенциала) в односвязной области гарантирована, если ротор равен нулю; на неодносвязной - нет (эффект Ааронова - Бома).

Частые ошибки

• Путают связность и односвязность. Связность - про пути между точками, односвязность добавляет условие на петли. Кольцо (annulus) связно, но не односвязно.
• Считают, что односвязное = стягиваемое. Сфера $S^2$ односвязна, но не стягиваема. Импликация работает только в одну сторону.
• Забывают про линейную связность. Объединение двух непересекающихся дисков имеет тривиальные петли в каждой компоненте, но не односвязно - оно даже не связно.
• Думают, что прокол всегда ломает односвязность. В $\mathbb{R}^2$ ломает, в $\mathbb{R}^3$ - нет: в трёх измерениях петля обходит точку. Размерность решает.
• Проверяют только одну петлю. Чтобы доказать односвязность, нужно стянуть любую петлю, а не одну удачную; для опровержения хватает одной нестягиваемой.

FAQ

Чем односвязное пространство отличается от просто связного? Связное пространство нельзя разбить на два непересекающихся открытых куска - это про «один кусок». Односвязное дополнительно требует, чтобы любая петля стягивалась в точку, то есть запрещает «дырки». Окружность связна, но не односвязна.

Может ли неограниченное или бесконечномерное пространство быть односвязным? Да, ограниченность ни при чём. Вся плоскость $\mathbb{R}^2$ и всё пространство $\mathbb{R}^n$ односвязны (они выпуклы). Бесконечномерное гильбертово пространство тоже односвязно. Решает не размер, а наличие петлевых препятствий.

Как быстро понять, односвязно ли пространство? Проверьте две вещи: связно ли оно (есть путь между любыми точками) и есть ли «дырки», вокруг которых петля не стягивается. Удобный формальный критерий - вычислить фундаментальную группу: если $\pi_1 = 0$, пространство односвязно.

Коротко

Односвязное пространство - это линейно связное пространство с тривиальной фундаментальной группой $\pi_1(X) = 0$: любая петля в нём стягивается в точку. Сфера $S^n$ при $n \ge 2$, выпуклые и звёздные множества, всё $\mathbb{R}^n$ - односвязны; окружность, тор, кольцо и проколотая плоскость - нет, потому что несут нестягиваемые петли. Понятие лежит в основе теоремы Коши, теории накрытий и гипотезы Пуанкаре, а проверяется через стягивание петель или прямое вычисление $\pi_1$.