Laurence Boxer
Two objects may be close in the Hausdorff metric, yet have very different geometric and topological properties. We examine other methods of comparing digital images such that objects close in each of these measures have some similar geometric or topological property. Such measures may be combined with the Hausdorff metric to yield a metric in which close images are similar with respect to multiple properties.
Laurence Boxer, P. Christopher Staecker
We introduce three generalizations of homotopy equivalence in digital images, to allow us to express whether a finite and an infinite digital image are similar with respect to homotopy. We show that these three generalizations are not equivalent to ordinary homotopy equivalence, and give several examples. We show that, like homotopy equivalence, our three generalizations imply isomorphism of fundamental groups, and are preserved under wedges and Cartesian products.
Laurence Boxer, P. Christopher Staecker
We study connectivity preserving multivalued functions between digital images. This notion generalizes that of continuous multivalued functions studied mostly in the setting of the digital plane $Z^2$. We show that connectivity preserving multivalued functions, like continuous multivalued functions, are appropriate models for digital morpholological operations. Connectivity preservation, unlike continuity, is preserved by compositions, and generalizes easily to higher dimensions and arbitrary adjacency relations.
Laurence Boxer, P. Christopher Staecker
We present and explore in detail a pair of digital images with $c_u$-adjacencies that are homotopic but not pointed homotopic. For two digital loops $f,g: [0,m]_Z \rightarrow X$ with the same basepoint, we introduce the notion of {\em tight at the basepoint (TAB)} pointed homotopy, which is more restrictive than ordinary pointed homotopy and yields some different results. We present a variant form of the digital fundamental group. Based on what we call {\em eventually constant} loops, this version of the fundamental group is equivalent to that of Boxer (1999), but offers the advantage that eventually constant maps are often easier to work with than the trivial extensions that are key to the development of the fundamental group in Boxer (1999) and many subsequent papers. We show that homotopy equivalent digital images have isomorphic fundamental groups, even when the homotopy equivalence does not preserve the basepoint. This assertion appeared in Boxer (2005), but there was an error in the proof; here, we correct the error.