Strong homotopy of digitally continuous functions

03/02/2019
by   P. Christopher Staecker, et al.
0

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 4-adjacency and 8-adjacency 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> 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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/02/2021

Digital homotopy relations and digital homology theories

In this paper we prove results relating to two homotopy relations and fo...
research
08/11/2014

Homotopy equivalence of finite digital images

For digital images, there is an established homotopy equivalence relatio...
research
04/09/2015

Connectivity Preserving Multivalued Functions in Digital Topology

We study connectivity preserving multivalued functions between digital i...
research
08/23/2022

Digital topological groups

In this article, we develop the basic theory of digital topological grou...
research
03/10/2015

Remarks on pointed digital homotopy

We present and explore in detail a pair of digital images with c_u-adjac...
research
07/21/2020

Compositional equivalences based on Open pNets

This article defines bisimulation relations for the comparison of system...
research
04/15/2022

Knowledge Equivalence in Digital Twins of Intelligent Systems

A digital twin contains up-to-date data-driven models of the physical wo...

Please sign up or login with your details

Forgot password? Click here to reset