Роза (топология) - Rose (topology)

Роза с четырьмя лепестками.

В математика, а Роза (также известный как букет из п круги) это топологическое пространство получено склейка вместе коллекция круги по одной точке. Круги розы называются лепестки. Розы важны в алгебраическая топология, где они тесно связаны с бесплатные группы.

Определение

В фундаментальная группа восьмерки - это свободная группа создано а и б

Роза - это сумма клина из круги. То есть роза - это факторное пространство C/S, куда C представляет собой несвязное объединение окружностей и S набор, состоящий из одной точки от каждого круга. Как клеточный комплекс, роза имеет одну вершину и по одному ребру для каждого круга. Это делает его простым примером топологический граф.

Роза с п лепестки также можно получить, определив п точки на единственном круге. Роза с двумя лепестками известна как восьмерка.

Отношение к свободным группам

В универсальный чехол восьмерки можно представить с помощью графика Кэли свободная группа на двух генераторах а и б

В фундаментальная группа розы это свободный, с одним генератор за каждый лепесток. В универсальный чехол бесконечное дерево, которое можно отождествить с Граф Кэли свободной группы. (Это частный случай презентационный комплекс связаны с любым презентация группы.)

Промежуточный охватывает розы соответствуют подгруппы свободной группы. Наблюдение о том, что любое покрытие розы - это график дает простое доказательство того, что каждая подгруппа свободной группы свободна ( Теорема Нильсена – Шрайера )

Потому что универсальная обложка розы стягиваемый, роза на самом деле Пространство Эйленберга – Маклейна для связанной свободной группы F. Это означает, что когомология группы ЧАСп(F) тривиальны для п ≥ 2.

Другие свойства

Цифра восемь в тор.
  • Любой связный граф является гомотопический эквивалент к розе. В частности, роза - это факторное пространство графа, полученного сворачиванием остовное дерево.
  • А диск с п очки удалены (или сфера с п + 1 балл удален) деформация втягивается на розу с п лепестки. Один лепесток розы окружает каждую из удаленных точек.
  • А тор при удалении одной точки деформация стягивается на восьмерку, а именно на объединение двух образующих окружностей. В более общем смысле, поверхность род грамм при удалении одной точки деформация втягивается на розу с 2грамм лепестки, а именно граница фундаментальный многоугольник.
  • У розы может быть бесконечно много лепестков, что приводит к фундаментальной группе, свободной от бесконечного множества образующих. Роза со счетным бесконечным числом лепестков похожа на Гавайская серьга: эта роза непрерывно накладывается на гавайскую серьгу, но эти две гомеоморфный. Роза с бесконечным количеством лепестков не компактна, а гавайский колос - компактный.

Смотрите также

Рекомендации

  • Хэтчер, Аллен (2002), Алгебраическая топология, Кембридж, Великобритания: Издательство Кембриджского университета, ISBN  0-521-79540-0
  • Мункрес, Джеймс Р. (2000), Топология, Энглвуд Клиффс, Нью-Джерси: Прентис Холл, Инк., ISBN  0-13-181629-2
  • Стиллвелл, Джон (1993), Классическая топология и комбинаторная теория групп, Берлин: Springer-Verlag, ISBN  0-387-97970-0