Strong homotopy of digitally continuous functions
Abstract
We introduce a new type of homotopy relation for digitally continuous functions which we call ``strong homotopy.'' Both digital homotopy and strong homotopy are natural digitizations of classical topological homotopy: the difference between them is analogous to the difference between digital 4adjacency and 8adjacency in the plane. We explore basic properties of strong homotopy, and give some equivalent characterizations. In particular we show that strong homotopy is related to ``punctuated homotopy,'' in which the function changes by only one point in each homotopy time step. We also show that strongly homotopic maps always have the same induced homomorphisms in the digital homology theory. This is not generally true for digitally homotopic maps, though we do show that it is true for any homotopic selfmaps on the digital cycle $C_n$ with $n\ge 4$. We also define and consider strong homotopy equivalence of digital images. Using some computer assistance, we produce a catalog of all small digital images up to strong homotopy equivalence. We also briefly consider pointed strong homotopy equivalence, and give an example of a pointed contractible image which is not pointed strongly contractible.
 Publication:

arXiv eprints
 Pub Date:
 March 2019
 arXiv:
 arXiv:1903.00706
 Bibcode:
 2019arXiv190300706S
 Keywords:

 Mathematics  General Topology;
 Computer Science  Computer Vision and Pattern Recognition;
 Mathematics  Combinatorics;
 55P10;
 68R10