Abstract
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.
Chapter PDF
References
T. Y. Kong, A Digital Fundamental Group Computer and Graphics, 13, pp 159–166, 1989.
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.
A. Tarski, Indecidability of group theory, Journal of Symbolic Logic, 14, pp 76–77, 1949.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Malgouyres, R. (1997). Homotopy in 2-dimensional digital images. In: Ahronovitz, E., Fiorio, C. (eds) Discrete Geometry for Computer Imagery. DGCI 1997. Lecture Notes in Computer Science, vol 1347. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024842
Download citation
DOI: https://doi.org/10.1007/BFb0024842
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63884-1
Online ISBN: 978-3-540-69660-5
eBook Packages: Springer Book Archive