Hawaiian earring

From Wikipedia, the free encyclopedia

You have new messages (last change).

In mathematics, the Hawaiian earring H is the topological space defined by the union of circles in the Euclidean plane R2 with center (1 / n,0) and radius 1 / n for n = 1,2,3,.... H is homeomorphic to the one-point compactification of a countably infinite family of open intervals.

The Hawaiian earring
The Hawaiian earring

The Hawaiian earring can be given a complete metric and it is compact. It is path connected but not semilocally simply connected.


The Hawaiian earring H looks very similar (but is not homeomorphic to) to the wedge sum, H', of countably infinitely many circles; that is, a bouquet of circles, with infinitely many circles. The space H' is homeomorphic to the quotient space R / Z of the real line R which identifies all the integer points Z, and is the one-point compactification of a countable disjoint union of open intervals.

[edit] Fundamental group

The Hawaiian earring is not simply connected, since the loop parametrising any circle is not homotopic to a trivial loop. Thus, it has a nontrivial fundamental group G.

The Hawaiian earring H has the free group of countably infinitely many generators as a proper subgroup of its fundamental group. G contains additional elements which arise from loops whose image is not contained in finitely many of the Hawaiian's earrings circles; in fact, some of them are surjective. For example, the path that on the interval [2 − n,2 − (n − 1)] circumnavigates the nth circle.

It has been shown that G embeds into the inverse limit of the free groups with n generators, Fn, where the map from Fn to Fn+1 is just the one sending the generators of Fn to the first n generators of Fn+1. However G is not the complete inverse limit but rather the subgroup in which each generator appears only finitely many times. An example of an element of the inverse limit which is not an element of G is an infinite commutator.

G is uncountable, and it is not a free group. While its Abelianisation has no known simple description, it has a normal subgroup N such that G/N \approx \prod_{i=0}^\infty \mathbb{Z}, the direct product of infinitely many copies of the infinite cyclic group.

[edit] References

  • J.W. Cannon,G.R. Conner, The big fundamental group, big Hawaiian earrings, and the big free groups, Topology Appl. 106 (2000), no. 3, 273–291.
  • G. Conner, K. Spencer, Anomalous behavior of the Hawaiian earring group, J. Group Theory 8 (2005), no. 2, 223–227.
  • K. Eda, The fundamental groups of one-dimensional wild spaces and the Hawaiian earring, Proc. Amer. Math. Soc. 130 (2002), no. 5, 1515–1522
  • K. Eda, K. Kawamura, The singular homology of the Hawaiian earring, J. London Math. Soc. (2) 62 (2000), no. 1, 305–310.
  • P. Fabel, The topological Hawaiian earring group does not embed in the inverse limit of free groups, Algebr. Geom. Topol. 5 (2005), 1585–1587
  • J. W. Morgan, I. Morrison, A van Kampen theorem for weak joins, Proc. London Math. Soc. (3) 53 (1986), 562–576
Retrieved from "http://en.wikipedia.org../../../h/a/w/Hawaiian_earring.html"