Эта статья включает список ссылок , связанных чтений или внешних ссылок , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты . ( Июнь 2017 г. ) |
В математике роза (также известная как букет из n кругов ) — это топологическое пространство , полученное путем склеивания набора кругов вдоль одной точки. Круги розы называются лепестками . Розы играют важную роль в алгебраической топологии , где они тесно связаны со свободными группами .
Роза — это клиновидная сумма окружностей . То есть роза — это факторпространство C / S , где C — это несвязное объединение окружностей, а S — множество, состоящее из одной точки из каждой окружности. Как клеточный комплекс , роза имеет одну вершину и одно ребро для каждой окружности. Это делает ее простым примером топологического графа .
Роза с n лепестками также может быть получена путем определения n точек на одной окружности. Роза с двумя лепестками известна как восьмерка .
Фундаментальная группа розы свободна , с одним генератором для каждого лепестка. Универсальное покрытие — это бесконечное дерево, которое можно отождествить с графом Кэли свободной группы. (Это частный случай комплекса представления , связанного с любым представлением группы .)
Промежуточные покрытия розы соответствуют подгруппам свободной группы. Наблюдение, что любое покрытие розы является графом, дает простое доказательство того, что каждая подгруппа свободной группы свободна ( теорема Нильсена–Шрайера )
Поскольку универсальное покрытие розы стягиваемо , роза на самом деле является пространством Эйленберга–Маклейна для ассоциированной свободной группы F. Это подразумевает, что группы когомологий H n ( F ) тривиальны для n ≥ 2.