Im mathematischen Teilgebiet der algebraischen Topologie ist der Hawaiische Ohrring das einfachste Beispiel eines nicht semilokal einfach zusammenhängenden Raumes. Man spricht auch von „wilden Räumen“ oder „wilder Topologie“. Seine Fundamentalgruppe und seine erste Homologiegruppe sind überabzählbar.
Definition
Der Hawaiische Ohrring kann definiert werden als
- .
Es handelt sich also um eine abzählbare Vereinigung von Kreisen, die einen einzelnen Punkt gemeinsam haben und deren Topologie von einer Metrik kommt, in der die Durchmesser der Kreise mit wachsendem gegen Null konvergieren.
Fundamentalgruppe und Homologie
Die Fundamentalgruppe des Hawaiischen Ohrrings ist überabzählbar und wurde von Eda beschrieben.
Ihre Abelisierung ist isomorph zu
- ,
wobei das direkte Produkt abzählbar vieler Kopien der Gruppe der ganzen Zahlen, die Mächtigkeit der reellen Zahlengerade und die -adische Vervollständigung der freien abelschen Gruppe vom Rang ist.
Die höheren Homologiegruppen für sind Null.
Eigenschaften
Der Hawaiische Ohrring ist kompakt und eindimensional.
Er ist weder einfach zusammenhängend, noch lokal einfach zusammenhängend.
Er ist nicht semilokal einfach zusammenhängend.
Literatur
- K. Eda: The fundamental groups of one-dimensional spaces and the Hawaiian earring, Proc. Amer. Math. Soc. 130, 1515–1522 (2002)
- K. Eda, K. Kawamura: The singular homology of the Hawaiian earring, J. London Math. Soc. 62, 305–310 (2000)