Гавайская серьга
Гавайская серьга — топологическое пространство [math]\displaystyle{ H }[/math], соответствующее объединению окружностей на евклидовой плоскости [math]\displaystyle{ \R^2 }[/math] с центрами в точках [math]\displaystyle{ (1/n, 0) }[/math] и радиусами [math]\displaystyle{ 1/n }[/math] (для всех положительных целых [math]\displaystyle{ n }[/math]). Пространство [math]\displaystyle{ H }[/math] гомеоморфно одноточечной компактификации счётного объединения открытых интервалов ([math]\displaystyle{ \R^+ \setminus \N }[/math]).
Гавайская серьга компактна и может быть снабжена полной метрикой. Она является линейно связным, но не полулокально односвязным пространством.
Гавайская серьга, на первый взгляд, выглядит похоже на букет счётного числа окружностей, однако они не являются гомеоморфными топологическими пространствами. Топология гавайской серьги является более слабой: любая окрестность точки пересечения окружностей содержит все окружности, кроме конечного числа, тогда как для букета существуют окрестности, не содержащие ни одной окружности. Кроме того, букет счётного числа окружностей не является компактом.
Фундаментальная группа
Гавайская серьга не односвязна, так как петля, параметризующая любую из её окружностей, не гомотопна тривиальной. Следовательно, она имеет нетривиальную фундаментальную группу [math]\displaystyle{ G }[/math].
Существует непрерывное отображение из букета счётного числа окружностей в [math]\displaystyle{ H }[/math], оно индуцирует вложение фундаментальной группы букета (свободной группы со счётным числом образующих) в [math]\displaystyle{ G }[/math]. Группа [math]\displaystyle{ G }[/math] содержит и другие элементы — гомотопические классы петель, не содержащихся ни в каком конечном подмножестве окружностей гавайской серьги; пример — петля, которая «наматывает» отрезок [math]\displaystyle{ [2^{-n}, 2^{-(n-1)}] }[/math] на [math]\displaystyle{ n }[/math]-ю окружность.
Кроме того, [math]\displaystyle{ G }[/math] вкладывается в проективный предел свободных групп [math]\displaystyle{ F_n }[/math] (связывающие отображения из [math]\displaystyle{ F_n }[/math] в [math]\displaystyle{ F_{n-1} }[/math] переводят последнюю образующую в единицу группы). Однако это отображение не является сюръективным; в его образе лежат в точности те элементы обратного предела, в которых каждая из образующих встречается конечное число раз. Пример элемента, не лежащего в образе этого отображения — бесконечный коммутатор [math]\displaystyle{ [\gamma_1,\gamma_2][\gamma_1,\gamma_3]\ldots }[/math].
Группа [math]\displaystyle{ G }[/math] несчётна и не является свободной. Хотя её абелизация не имеет простого описания, в [math]\displaystyle{ G }[/math] существует нормальная подгруппа [math]\displaystyle{ N }[/math], такая что [math]\displaystyle{ G/N }[/math] изоморфна [math]\displaystyle{ \prod_{i=0}^\infty \Z }[/math] — группе Баера — Шпекера. Она называется бесконечной абелизацией или сильной абелизацией [math]\displaystyle{ G }[/math], так как [math]\displaystyle{ N }[/math] состоит в точности из тех элементов, каждая координата которых (если думать о [math]\displaystyle{ G }[/math] как о подгруппе проективного предела) лежит в коммутанте соответствующей свободной группы. В некотором смысле, об [math]\displaystyle{ N }[/math] можно говорить как о замыкании коммутанта [math]\displaystyle{ G }[/math].
Связанные патологические пространства
- Конус над гавайской серьгой даёт пример односвязного (в частности полулокально односвязного), но не локально односвязного пространства.
- Пространство, склеенное из двух копий такого конуса по одной точке, на основании в которой кольца серьги касаются друг друга, даёт пример пространства с неодносвязным универсальным накрытием, которое является тривиальным.
Литература
- Хатчер, А. Алгебраическая топология / Пер. с англ. В. В. Прасолова под ред. Т. Е. Панова. — М.: МЦНМО, 2011. — С. 69—70. — ISBN 978-5-94057-748-5.
- Cannon, J. W.; Conner, G. R. The big fundamental group, big Hawaiian earrings, and the big free groups // Topology and its Applications. — 2000. — Vol. 106. — Вып. 3. — P. 273–291. — doi:10.1016/S0166-8641(99)00104-2.
- Conner, G.; Spencer, K. Anomalous behavior of the Hawaiian earring group // Journal of Group Theory. — 2005. — Vol. 8. — Вып. 2. — P. 223–227. — doi:10.1515/jgth.2005.8.2.223.
- Eda, K. [ttp://www.ams.org/journals/proc/2002-130-05/S0002-9939-01-06431-0/S0002-9939-01-06431-0.pdf The fundamental groups of one-dimensional wild spaces and the Hawaiian earring] // Proceedings of the American Mathematical Society. — Vol. 130. — Вып. 5. — P. 1515–1522. — doi:10.1090/S0002-9939-01-06431-0.
- Eda, K.; Kawamura, K. The singular homology of the Hawaiian earring // Journal of the London Mathematical Society. — Vol. 62. — Вып. 1. — P. 305–310. — doi:10.1112/S0024610700001071.
- Fabel, P. The topological Hawaiian earring group does not embed in the inverse limit of free groups // Algebraic & Geometric Topology. — Vol. 5. — P. 1585–1587. — doi:10.2140/agt.2005.5.1585.
- Morgan, J. W.; Morrison, I. A van Kampen theorem for weak joins // Proceedings of the London Mathematical Society. — Vol. 53, № 3. — P. 562–576. — doi:10.1112/plms/s3-53.3.562.
- Biss, Daniel K. A generalized approach to the fundamental group // American Mathematical Monthly. — MAA, 2000. — Т. 107, № 8. — С. 711–720. — doi:10.2307/2695468.