Асферическое пространство

Асферическое пространство — топологическое пространство в котором все гомотопические группы , кроме , тривиальны.

По теореме Уайтхеда[англ.], CW-комплекс асферичен тогда и только тогда, когда его универсальное накрытие стягиваемо. Если конечномерный CW-комплекс асферичен, то его фундаментальная группа не имеет кручения.

Каждое асферическое пространство по определению является пространством Эйленберга — Маклейна типа , где является фундаментальной группой . Кроме того, оно является классифицирующим пространством[англ.] для группы , рассматриваемой как топологическая группа с дискретной топологией.

Для асферического пространства асферическое пространство и связного CW-комплекса любое непрерывное отображение из 2-мерного остова в может быть продолжено до непрерывного отображения, определённого на всём . Кроме того, для любого гомоморфизма фундаментальных групп существует непрерывное отображение , которое индуцирует . Более того, единственно с точностью до гомотопии.

Прямое произведение асферических пространств — асферическое пространство.

Примеры

Все компактные поверхности кроме сферы и проективной плоскости являются асферическими. Тор любой размерности асферичен.

Любое гиперболическое многообразие[англ.] асферично. Болле того, метрические пространства с неположительной кривизной в смысле Александрова (то есть, локально-CAT(0)-пространства) асферичны. В случае римановых многообразий это следует из теоремы Картана — Адамара.

Дополнение узла в является асферическим по теореме о сфере

Любое нильмногообразие асферично.

Бесконечномерное линзовое пространство асферично.

См. также

Ссылки