Hawaiian earring

Short description: Topological space defined by the union of circles

This article includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations. Please help to improve this article by introducing more precise citations. (June 2017) (Learn how and when to remove this template message)

|

Error creating thumbnail: The Hawaiian earring.

In mathematics, the Hawaiian earring ℍ is the topological space defined by the union of circles in the Euclidean plane ℝ2 with center (1n,0) and radius 1n for n=1,2,3,… endowed with the subspace topology:

ℍ=⋃n=1∞{(x,y)∈ℝ2∣(x−1n)2+y2=(1n)2}.

The space ℍ is homeomorphic to the one-point compactification of the union of a countable family of disjoint open intervals.

The Hawaiian earring is a one-dimensional, compact, locally path-connected metrizable space. Although ℍ is locally homeomorphic to ℝ at all non-origin points, ℍ is not semi-locally simply connected at (0,0). Therefore, ℍ does not have a simply connected covering space and is usually given as the simplest example of a space with this complication.

The Hawaiian earring looks very similar to the wedge sum of countably infinitely many circles; that is, the rose with infinitely many petals, but these two spaces are not homeomorphic. The difference between their topologies is seen in the fact that, in the Hawaiian earring, every open neighborhood of the point of intersection of the circles contains all but finitely many of the circles (an ε-ball around (0, 0) contains every circle whose radius is less than ε/2); in the rose, a neighborhood of the intersection point might not fully contain any of the circles. Additionally, the rose is not compact: the complement of the distinguished point is an infinite union of open intervals; to those add a small open neighborhood of the distinguished point to get an open cover with no finite subcover.

## Contents

* 1 Fundamental group
* 2 First singular homology
* 3 Higher dimensions
* 4 See also
* 5 References
* 6 Further reading

## Fundamental group

The Hawaiian earring is neither simply connected nor semilocally simply connected since, for all n≥1, the loop ℓn parameterizing the n-th circle is not homotopic to a trivial loop. Thus, ℍ has a nontrivial fundamental group G=π1(ℍ,(0,0)), sometimes referred to as the Hawaiian earring group. The Hawaiian earring group G is uncountable, and it is not a free group. However, G is locally free in the sense that every finitely generated subgroup of G is free.

The homotopy classes of the individual loops ℓn generate the free group ⟨[ℓn]∣n≥1⟩ on a countably infinite number of generators, which forms a proper subgroup of G. The uncountably many other elements of G arise from loops whose image is not contained in finitely many of the Hawaiian earring's 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. More generally, one may form infinite products of the loops ℓn indexed over any countable linear order provided that for each n≥1, the loop ℓn and its inverse appear within the product only finitely many times.

It is a result of John Morgan and Ian Morrison that G embeds into the inverse limit lim<-Fn of the free groups with n generators, Fn, where the bonding map from Fn to Fn−1 simply kills the last generator of Fn. However, G is a proper subgroup of the inverse limit since each loop in ℍ may traverse each circle of ℍ only finitely many times. An example of an element of the inverse limit that does not correspond an element of G is an infinite product of commutators ∏n=2∞[ℓ1ℓnℓ1−1ℓn−1], which appears formally as the sequence (1,[ℓ1][ℓ2][ℓ1]−1[ℓ2]−1,[ℓ1][ℓ2][ℓ1]−1[ℓ2]−1[ℓ1][ℓ3][ℓ1]−1[ℓ3]−1,…) in the inverse limit lim<-Fn.

## First singular homology

Katsuya Eda and Kazuhiro Kawamura proved that the abelianisation of G, and therefore the first singular homology group H1(ℍ) is isomorphic to the group

(∏i=1∞ℤ)⊕(∏i=1∞ℤ/⨁i=1∞ℤ).

The first summand ∏i=1∞ℤ, is the direct product of infinitely many copies of the infinite cyclic group (the Baer–Specker group). This factor represents the singular homology classes of loops that do not have winding number 0 around every circle of ℍ and is precisely the first Cech Singular homology group Hˇ1(ℍ). Additionally, ∏i=1∞ℤ, may be considered as the infinite abelianization of G, since every element in the kernel of the natural homomorphism G->∏i=1∞ℤ is represented by an infinite product of commutators. The second summand of H1(ℍ) consists of homology classes represented by loops whose winding number around every circle of ℍ is zero, i.e. the kernel of the natural homomorphism H1(ℍ)->∏i=1∞ℤ. The existence of the isomorphism with ∏i=1∞ℤ/⨁i=1∞ℤ is proven abstractly using infinite abelian group theory and does not have a geometric interpretation.

## Higher dimensions

It is known that ℍ is an aspherical space, i.e. all higher homotopy and homology groups of ℍ are trivial.

The Hawaiian earring can be generalized to higher dimensions. Such a generalization was used by Michael Barratt and John Milnor to provide examples of compact, finite-dimensional spaces with nontrivial singular homology groups in dimensions larger than that of the space. The k-dimensional Hawaiian earring is defined as

ℍk=⋃n∈ℕ{(x0,x1,…,xk)∈ℝk+1:(x0−1n)2+x12+⋯+xk2=1n2}.

Hence, ℍk is a countable union of k-spheres which have one single point in common, and the topology is given by a metric in which the sphere's diameters converge to zero as n->∞. Alternatively, ℍk may be constructed as the Alexandrov compactification of a countable union of disjoint ℝks. Recursively, one has that ℍ0 consists of a convergent sequence, ℍ1 is the original Hawaiian earring, and ℍk+1 is homeomorphic to the reduced suspension Σℍk.

For k≥1, the k-dimensional Hawaiian earring is a compact, (k−1)-connected and locally (k−1)-connected. For k≥2, it is known that πk(ℍk) is isomorphic to the Baer–Specker group ∏i=1∞ℤ.

For q≡1mod(k−1) and q>1, Barratt and Milnor showed that the singular homology group Hq(ℍk;ℚ) is a nontrivial uncountable group for each such q.[1]

## See also

* List of topologies

## References

1. ↑ Barratt, Michael; Milnor, John (1962). "An example of anomalous singular homology". Proceedings of the American Mathematical Society 13 (2): 293–297. doi:10.1090/s0002-9939-1962-0137110-9.

## Further reading

* Cannon, James W.; Conner, Gregory R. (2000), "The big fundamental group, big Hawaiian earrings, and the big free groups", Topology and Its Applications 106 (3): 273–291, doi:10.1016/S0166-8641(99)00104-2 .
* Conner, Gregory; Spencer, K. (2005), "Anomalous behavior of the Hawaiian earring group", Journal of Group Theory 8 (2): 223–227, doi:10.1515/jgth.2005.8.2.223 .
* Eda, Katsuya (2002), "The fundamental groups of one-dimensional wild spaces and the Hawaiian earring", Proceedings of the American Mathematical Society 130 (5): 1515–1522, doi:10.1090/S0002-9939-01-06431-0, https://www.ams.org/journals/proc/2002-130-05/S0002-9939-01-06431-0/S0002-9939-01-06431-0.pdf .
* Eda, Katsuya; Kawamura, Kazuhiro (2000), "The singular homology of the Hawaiian earring", Journal of the London Mathematical Society 62 (1): 305–310, doi:10.1112/S0024610700001071 .
* Fabel, Paul (2005), "The topological Hawaiian earring group does not embed in the inverse limit of free groups", Algebraic & Geometric Topology 5 (4): 1585–1587, doi:10.2140/agt.2005.5.1585, Bibcode: 2005math......1482F .
* Morgan, John W.; Morrison, Ian (1986), "A van Kampen theorem for weak joins", Proceedings of the London Mathematical Society 53 (3): 562–576, doi:10.1112/plms/s3-53.3.562 .

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Hawaiian earring. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Hawaiian_earring&oldid=4153687"