DeepAI AI Chat
Log In Sign Up

Remarks on pointed digital homotopy

by   Laurence Boxer, et al.
Niagara University
Fairfield University

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 → X with the same basepoint, we introduce the notion of 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 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.


page 1

page 2

page 3

page 4


On the digital homology groups of digital images

In this article we study the digital homology groups of digital images w...

Some enumerations of binary digital images

The topology of digital images has been studied much in recent years, bu...

Contractible_Spaces, Homotopy Equivalence and Homeomorphism in Digital Topology

This article provides a brief overview of the main results in the field ...

Strong homotopy of digitally continuous functions

We introduce a new type of homotopy relation for digitally continuous fu...

A Feature Comparison of Modern Digital Forensic Imaging Software

Fundamental processes in digital forensic investigation, such as disk im...

Robust Detection of Intensity Variant Clones in Forged and JPEG Compressed Images

Digitization of images has made image editing easier. Ease of image edit...

Construction of Hyperbolic Signal Sets from the Uniformization of Hyperelliptic Curves

In this paper, we present a new approach to the problem of designing hyp...