Циклическое пространство

В топологии , разделе математики , пространство петель Ω X точечного X топологического пространства — это пространство (основанных) петель в X , то есть непрерывных точечных отображений из остроконечной окружности S. ¹ до X , оснащенного компактно-открытой топологией . Два цикла можно умножить путем конкатенации . Благодаря этой операции пространство петель становится A _∞ -пространством . То есть умножение гомотопически-когерентно ассоциативно .

Множество компонентов базовых пути Ω X , т.е. множество классов базисной гомотопической эквивалентности петель в X , является группой , фундаментальной группой π ₁ ( X ).

Итерированные пространства петель X . формируются путем многократного применения Ω

Аналогичная конструкция существует для топологических пространств без базовой точки. Пространство свободных петель топологического пространства X — это пространство отображений окружности S ¹ в X с компактно-открытой топологией. Пространство свободных петель X часто обозначается как ${\mathcal {L}}X$ .

В качестве функтора конструкция пространства свободных петель правосопряжена с декартовым произведением на окружность, а конструкция пространства петель правосопряжена с приведенной надстройкой . Это дополнение объясняет большую часть важности пространств петель в теории стабильной гомотопии . (Близкое явление в информатике — каррирование , когда декартово произведение сопряжено с функтором hom .) Неофициально это называется дуальностью Экмана-Хилтона .

Двойственность Экмана – Хилтона

Пространство петли двойственно подвеске того же пространства; эту двойственность иногда называют двойственностью Экмана – Хилтона . Основное наблюдение состоит в том, что

[\Sigma Z,X]\approxeq [Z,\Omega X]

где $[A,B]$ — множество гомотопических классов отображений $A\rightarrow B$ ,и $\Sigma A$ - это приостановка A, и $\approxeq$ обозначает естественный гомеоморфизм . Этот гомеоморфизм, по сути, представляет собой каррирование по модулю коэффициентов, необходимых для преобразования продуктов в восстановленные продукты.

В общем, $[A,B]$ не имеет групповой структуры для произвольных пространств $A$ и $B$ . Однако можно показать, что $[\Sigma Z,X]$ и $[Z,\Omega X]$ имеют естественную групповую структуру, когда $Z$ и $X$ указаны , и вышеупомянутый изоморфизм принадлежит этим группам. ^[1] Таким образом, постановка $Z=S^{k-1}$ ( $k-1$ сфера) дает отношения

\pi _{k}(X)\approxeq \pi _{k-1}(\Omega X)

.

Это следует из того, что гомотопическая группа определяется как $\pi _{k}(X)=[S^{k},X]$ а сферы можно получить путем подвешивания друг друга, т.е. $S^{k}=\Sigma S^{k-1}$ . ^[2]

См. также

Ссылки

^ Мэй, JP (1999), Краткий курс алгебраической топологии (PDF) , U. Chicago Press, Чикаго , получено 27 августа 2016 г. (см. главу 8, раздел 2).
^ Topospaces wiki - Петлевое пространство базового топологического пространства.

Адамс, Джон Франк (1978), Пространства бесконечных петель , Анналы математических исследований, том. 90, Издательство Принстонского университета , ISBN 978-0-691-08207-3 , МР 0505692
Мэй, Дж. Питер (1972), Геометрия итерированных пространств петель , Конспект лекций по математике, том. 271, Берлин, Нью-Йорк: Springer-Verlag , номер номера : 10.1007/BFb0067491 , ISBN. 978-3-540-05904-2 , МР 0420610

[may-1] Мэй, JP (1999), Краткий курс алгебраической топологии (PDF) , U. Chicago Press, Чикаго , получено 27 августа 2016 г. (см. главу 8, раздел 2).

[2] Topospaces wiki - Петлевое пространство базового топологического пространства.

[1]

[2]