Remarks on pointed digital homotopy

zbMATH Open1383.68091arXiv1503.03016MaRDI QIDQ4600945FDOQ4600945

Authors: Laurence Boxer, P. Christopher Staecker 

Publication date: 18 January 2018

Abstract: 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}ightarrowX$ 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.

Full work available at URL: https://arxiv.org/abs/1503.03016

Recommendations

• Homotopy relations for digital images
• Homotopy in digital spaces
• scientific article; zbMATH DE number 2079711
• Digital homotopy relations and digital homology theories
• scientific article; zbMATH DE number 1104457

zbMATH Keywords

fundamental grouphomotopy equivalencedigital topologydigital homotopy

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Computing methodologies for image processing (68U10) Homotopy equivalences in algebraic topology (55P10) Homotopy groups (55Q99)

Cited In (7)

• Homotopy relations for digital images
• Homotopy theory in digital topology
• Alternate product adjacencies in digital topology
• Remarks on digital deformation
• Fundamental groups of unbounded digital images
• A fundamental group for digital images
• Strong homotopy in finite topological adjacency category

This page was built for publication: Remarks on pointed digital homotopy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4600945)