×

On the fundamental group of the Sierpiński-gasket. (English) Zbl 1182.57001

The authors give a precise combinatorial description of the fundamental group of the Sierpiński-gasket. The Sierpiński-gasket is formed from the equilateral triangle \(T\) by subdividing \(T\) into four smaller equilateral triangles in the natural way, removing the interior of the innermost triangle, then infinitely iterating the process with the remaining triangles.
The boundary of each finite stage of this infinite construction is a finite graph with each vertex being a local cut point of the graph. The authors approximate the elements of the fundamental group \(\pi_1\) by formal words in these cut points, adjacent letters representing adjacent cut points.
A sequence of words that represents an element of \(\pi_1\) is characterized as a sequence in which unbounded oscillation between any two of these cut points is forbidden.
The authors describe the group operation in terms of their word sequences.

MSC:

57M05 Fundamental group, presentations, free differential calculus
14F35 Homotopy theory and fundamental groups in algebraic geometry
28A80 Fractals
54F50 Topological spaces of dimension \(\leq 1\); curves, dendrites
55Q99 Homotopy groups
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Akiyama, Shigeki; Thuswaldner, Jörg, A survey on topological properties of tiles related to number systems, Geom. Dedicata, 109, 89-105 (2004) · Zbl 1073.37017
[2] Bandt, Christoph; Keller, Karsten, Self-similar sets. II. A simple approach to the topological structure of fractals, Math. Nachr., 154, 27-39 (1991) · Zbl 0824.28007
[3] Cannon, James W.; Conner, Gregory R., The combinatorial structure of the Hawaiian earring group, Topology Appl., 106, 225-271 (2000) · Zbl 0955.57002
[4] Cannon, James W.; Conner, Gregory R., The big fundamental group, big Hawaiian earrings, and the big free groups, Topology Appl., 106, 3, 273-291 (2000) · Zbl 0955.57003
[5] Cannon, James W.; Conner, Gregory R., On the fundamental groups of one-dimensional spaces, Topology Appl., 153, 2648-2672 (2006) · Zbl 1105.55008
[6] Conner, Gregory R.; Eda, Katsuya, Fundamental groups having the whole information of spaces, Topology Appl., 146/147, 317-328 (2005) · Zbl 1063.55011
[7] Conner, Gregory R.; Lamoreaux, Jack W., On the existence of universal covering spaces for metric spaces and subsets of the euclidean plane, Fund. Math., 187, 95-110 (2005) · Zbl 1092.57001
[8] Curtis, M. L.; Fort, M. K., Homotopy groups of one-dimensional spaces, Proc. Amer. Math. Soc., 8, 577-579 (1957) · Zbl 0078.37102
[9] Curtis, M. L.; Fort, M. K., The fundamental group of one-dimensional spaces, Proc. Amer. Math. Soc., 10, 140-148 (1959) · Zbl 0089.38802
[10] Curtis, M. L.; Fort, M. K., Singular homology of one-dimensional spaces, Ann. of Math. (2), 69, 309-313 (1959) · Zbl 0088.38502
[11] de Smit, Bart, The fundamental group of the Hawaiian earring is not free, Internat. J. Algebra Comput., 2, 1, 33-37 (1992) · Zbl 0738.20033
[12] Eda, Katsuya, The fundamental groups of one-dimensional spaces and spatial homomorphisms, Topology Appl., 123, 479-505 (2002) · Zbl 1032.55013
[13] Eda, Katsuya; Kawamura, Kazuhiro, The fundamental groups of one-dimensional spaces, Topology Appl., 87, 163-172 (1998) · Zbl 0922.55008
[14] Eda, Katsuya; Kawamura, Kazuhiro, The singular homology of the Hawaiian earring, J. London Math. Soc. (2), 62, 1, 305-310 (2000) · Zbl 0958.55004
[15] Eda, Katsuya; Kawamura, Kazuhiro, Homotopy and homology groups of the \(n\)-dimensional Hawaiian earring, Fund. Math., 165, 1, 17-28 (2000) · Zbl 0959.55010
[16] Fischer, Hanspeter; Zastrow, Andreas, The fundamental groups of subsets of closed surfaces inject into their first shape groups, Algebr. Geom. Topol., 5, 1655-1676 (2005) · Zbl 1086.55009
[17] Fort, M. K., Mappings on \(S^1\) into one-dimensional spaces, Illinois J. Math., 1, 505-508 (1957) · Zbl 0077.36203
[18] Hata, Masayoshi, On the structure of self-similar sets, Japan J. Appl. Math., 2, 2, 381-414 (1985) · Zbl 0608.28003
[19] Hata, Masayoshi, Topological aspects of self-similar sets and singular functions, (Fractal Geometry and Analysis. Fractal Geometry and Analysis, Montreal, PQ, 1989. Fractal Geometry and Analysis. Fractal Geometry and Analysis, Montreal, PQ, 1989, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 346 (1991), Kluwer Acad. Publ.: Kluwer Acad. Publ. Dordrecht), 255-276 · Zbl 0765.54032
[20] Higman, Graham, Unrestricted free products, and varieties of topological groups, J. London Math. Soc., 27, 73-81 (1952) · Zbl 0046.02601
[21] Hutchinson, John E., Fractals and self-similarity, Indiana Univ. Math. J., 30, 5, 713-747 (1981) · Zbl 0598.28011
[22] Luo, Jun; Thuswaldner, Jörg, On the fundamental group of self-affine plane tiles, Ann. Inst. Fourier (Grenoble), 56, 2493-2524 (2006) · Zbl 1119.52012
[23] Mardešić, Sibe; Segal, Jack, Shape Theory. The Inverse System Approach, North-Holland Math. Library, vol. 26 (1982), North-Holland Publishing Co.: North-Holland Publishing Co. Amsterdam, New York · Zbl 0222.55018
[24] Morgan, John W.; Morrison, Ian, A van Kampen theorem for weak joins, Proc. London Math. Soc. (3), 53, 3, 562-576 (1986) · Zbl 0609.57002
[25] Rotman, Joseph J., An Introduction to Algebraic Topology, Grad. Texts in Math. (1988), Springer-Verlag: Springer-Verlag New York · Zbl 0661.55001
[26] Whyburn, Gordon; Duda, Edwin, Dynamic Topology, Undergrad. Texts Math. (1979), Springer-Verlag: Springer-Verlag New York · Zbl 0421.54001
[27] Winkler, Reinhard, Topological automorphisms of modified Sierpiński gaskets realize arbitrary finite permutation groups, Topology Appl., 101, 137-142 (2000) · Zbl 0948.51012
[28] Andreas Zastrow, Planar sets are aspherical, Habilitation Thesis, Ruhr-University Bochum, 1997/98; Andreas Zastrow, Planar sets are aspherical, Habilitation Thesis, Ruhr-University Bochum, 1997/98
[29] Zastrow, Andreas, Construction of an infinitely generated group that is not a free product of surface groups and abelian groups, but which acts freely on an \(R\)-tree, Proc. Roy. Soc. Edinburgh Sect. A, 128, 433-445 (1998) · Zbl 0913.20028
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.