Асферическое пространство — топологическое пространство в котором все гомотопические группы , кроме , тривиальны.
По теореме Уайтхеда[англ.], CW-комплекс асферичен тогда и только тогда, когда его универсальное накрытие стягиваемо.
Если конечномерный CW-комплекс асферичен, то его фундаментальная группа не имеет кручения.
Каждое асферическое пространство по определению является пространством Эйленберга — Маклейна типа , где является фундаментальной группой . Кроме того, оно является классифицирующим пространством[англ.] для группы , рассматриваемой как топологическая группа с дискретной топологией.
Для асферического пространства асферическое пространство и связного CW-комплекса любое непрерывное отображение из 2-мерного остова в может быть продолжено до непрерывного отображения, определённого на всём . Кроме того, для любого гомоморфизма фундаментальных групп существует непрерывное отображение , которое индуцирует . Более того, единственно с точностью до гомотопии.
Прямое произведение асферических пространств — асферическое пространство.
Примеры
Все компактные поверхности кроме сферы и проективной плоскости являются асферическими. Тор любой размерности асферичен.
Любое гиперболическое многообразие[англ.] асферично. Болле того, метрические пространства с неположительной кривизной в смысле Александрова (то есть, локально-CAT(0)-пространства) асферичны. В случае римановых многообразий это следует из теоремы Картана — Адамара.
Дополнение узла в является асферическим по теореме о сфере
Любое нильмногообразие асферично.
Бесконечномерное линзовое пространство асферично.
См. также
Ссылки