В математике , топологическое пространство X является сжимаемым , если тождественное отображение на X стягиваемо, то есть , если она гомотопна некоторая константа карты. [1] [2] Интуитивно сжимаемое пространство - это пространство, которое можно непрерывно сжимать до точки внутри этого пространства.
Характеристики
Стягиваемое пространство в точности совпадает с гомотопическим типом точки. Отсюда следует, что все гомотопические группы стягиваемого пространства тривиальны . Следовательно, любое пространство с нетривиальной гомотопической группой не может быть стягиваемым. Точно так же, поскольку особые гомологии являются гомотопическим инвариантом, все редуцированные группы гомологий стягиваемого пространства тривиальны.
Для топологического пространства X все следующие условия эквивалентны:
- X стягиваемо (т. Е. Тождественное отображение гомотопно нулю).
- X гомотопически эквивалентно одноточечному пространству.
- Деформация X втягивается в точку. (Однако существуют стягиваемые пространства, которые не сильно деформируются, возвращаясь в точку.)
- Для любого пространства Y любые два отображения f , g : Y → X гомотопны.
- Для любого пространства Y любое отображение f : Y → X гомотопно нулю.
Конус на пространстве X всегда сжимаемый. Следовательно, любое пространство может быть вложено в стягиваемое (что также показывает, что подпространства стягиваемых пространств не обязательно должны быть стягиваемыми).
Кроме того, X является сжимаемым тогда и только тогда , когда существует втягивание от конуса X в X .
Каждое сжимаемое пространство связано путями и односвязно . Более того, поскольку все высшие гомотопические группы обращаются в нуль, каждое стягиваемое пространство является n- связным для всех n ≥ 0.
Локально сжимаемые пространства
Топологическое пространство X является локально сжимаемым в точке х , если для каждых окрестностей U от й существует окрестность V из й содержится в U таким образом, что включение V является nulhomotopic в U . Пространство локально сжимаемо, если оно локально сжимаемо в каждой точке. Это определение иногда называют «локально сокращаемым геометрическим топологом», хотя это наиболее распространенное использование этого термина. У Хэтчера В стандартном тексте по алгебраической топологии это определение упоминается как «слабо локально стягиваемое», хотя этот термин имеет и другие применения.
Если каждая точка имеет локальную базу из стягиваемых окрестностей, то мы говорим , что X является сильно локально стягивает . Сжимаемые пространства не обязательно локально сжимаемы, и наоборот. Например, пространство гребня сжимаемо, но не локально (если бы это было так, оно было бы локально связанным, а это не так). Локально стягиваемые пространства локально n -связны для всех n ≥ 0. В частности, они локально односвязны , локально линейно связны и локально связны . Окружность (сильно) локально стягиваема, но не стягиваема.
Сильная местная стягиваемость - это строго более сильное свойство, чем местная стягиваемость; контрпримеры сложны, первый из них был дан Борсуком и Мазуркевичем в их статье Sur les rétractes absolus uncomposables , CR. Акад. Sci. Paris 199 (1934), 110-112).
Есть некоторые разногласия относительно того, какое определение является «стандартным» определением локальной сократимости; первое определение чаще используется в геометрической топологии, особенно исторически, тогда как второе определение лучше соответствует типичному использованию термина «локальный» в отношении топологических свойств. Всегда следует проявлять осторожность в отношении определений при интерпретации результатов об этих свойствах.
Примеры и контрпримеры
- Любое евклидово пространство стягиваемо, как и любая звездная область в евклидовом пространстве.
- Многообразие Уайтхеда стягивается.
- Сферы любой конечной размерности не стягиваются.
- Единичная сфера в бесконечномерным гильбертовом пространстве стягивается .
- Дом с двумя комнатами является стандартным примером пространства , который является сжимаемым, но не интуитивно так.
- Шляпа Dunce стягивается, но не разборный .
- Конус на гавайской серьге сжимаемый (поскольку это конус), но не локально сжимаемый или даже локально односвязный.
- Все многообразия и CW комплексы являются локально стягивает, но в целом не сжимаемые.
- Круг Варшавы получается «закрытие» на синусоидальном кривой топологе в дуге , соединяющей (0, -1) и (1, Sin (1)). Это одномерный континуум, все гомотопические группы которого тривиальны, но не стягиваем.
Рекомендации
- ^ Манкрес, Джеймс Р. (2000). Топология (2-е изд.). Прентис Холл . ISBN 0-13-181629-2.
- ^ Хэтчер, Аллен (2002). Алгебраическая топология . Издательство Кембриджского университета . ISBN 0-521-79540-0.