Homotopy in 2-dimensional digital images
We recall the basic definitions concerning homotopy in 2D Digital Topology, and we set and prove several results concerning homotopy of subsets. Then we introduce an explicit isomorphism between the fundamental group and a free group. As a consequence, we provide an algorithm for deciding whether two closed path are homotopic.
Key wordsDigital topology homotopy fundamental group
- T. Y. Kong, A Digital Fundamental Group Computer and Graphics, 13, pp 159–166, 1989.Google Scholar
- T. Y. Kong, Polyhedral Analogs of Locally Finite Topological Spaces R. M. Shortt editor, General Topology and Applications: Proceedings of the 1988 Northeast Conference, Middletown, CT (USA), Lecture Notes in Pure and Applied Mathematics, 123, pp, 153–164, 1990.Google Scholar
- A. Tarski, Indecidability of group theory, Journal of Symbolic Logic, 14, pp 76–77, 1949.Google Scholar