Конус (топология)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8c/Cone.svg/250px-Cone.svg.png)
Конус в топологии — топологическое пространство, получающееся из исходного пространства стягиванием подпространства его цилиндра () в одну точку, то есть, факторпространство . Конус над пространством обозначается .
Если — компактное подмножество евклидова пространства, то конус над гомеоморфен объединению отрезков из в выделенную точку пространства, то есть, определение топологического конуса согласуется с определением конуса геометрического. Однако топологический конус является более общей конструкцией.
Примеры
[править | править код]Конус над точкой вещественной прямой — это интервал , конус над интервалом вещественной прямой — заполненный треугольник (2-симплекс), конус над многоугольником — это пирамида с основанием . Конус над кругом — это классический конус (с внутренностью); конус над окружностью — боковая поверхность классического конуса:
- ,
гомеоморфная кругу.
В общем случае конус над гиперсферой гомеоморфен замкнутому -мерному шару. Конус над -симплексом — -симплекс.
Свойства
[править | править код]Конус может быть сконструирован как цилиндр постоянного отображения [1].
Все конусы являются линейно связными, поскольку любую точку можно соединить с вершиной. Более того, любой конус является стягиваемым к вершине с помощью гомотопии, задаваемой формулой .
Если является компактным и хаусдорфовым, то конус можно представить как пространство отрезков, соединяющих каждую точку с единственной точкой; если не является компактным или хаусдорфовым, то это не так, поскольку в общем случае топология на факторпространстве будет тоньше, чем множество отрезков, соединяющих с точкой.
В алгебраической топологии конусы широко применяются благодаря тому, что представляют пространства как вложения в стягиваемое пространство; в этой связи также важен следующий результат: пространство стягиваемо тогда и только тогда, когда оно является ретрактом своего конуса.
Конический функтор
[править | править код]Отображение порождает конический функтор — эндофунктор над категорией топологических пространств .
Приведённый конус
[править | править код]Приведённый конус — конструкция над пунктированным пространством[англ.][2] :
- .
Естественное вложение позволяет рассмотреть всякое пунктированное пространство как замкнутое подмножество своего приведённого конуса[3].
См. также
[править | править код]- Надстройка (топология)
- Конус отображения (топология)[англ.]
- Конус отображения (гомологическая алгебра)[англ.]
- Джойн (топология)
Примечания
[править | править код]- ↑ Спеньер, 1971, с. 77.
- ↑ Свитцер, 1985, с. 13.
- ↑ Спеньер, 1971, с. 469.
Литература
[править | править код]- Ален Хатчер. Алгебраическая топология. — Москва: Издательство МЦНМО, 2011. — ISBN 978-5-940-57-748-5.
- Р. М. Свитцер. Алгебраическая топология – гомотопии и гомологии. — Москва: «Наука», Главная редакция физико-математической литературы, 1985.
- Э. Спеньер. Алгебраическая топология. — Москва: «Мир», 1971.