# Strong homotopy of digitally continuous functions

@article{Staecker2019StrongHO, title={Strong homotopy of digitally continuous functions}, author={P. Christopher Staecker}, journal={ArXiv}, year={2019}, volume={abs/1903.00706} }

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…

## 5 Citations

### The two digital homology theories

- Mathematics
- 2019

In this paper we prove results relating to four homology theories developed in the topology of digital images: a simplicial homology theory by Arslan et al which is the homology of the clique…

### A fundamental group for digital images

- Mathematics, Computer ScienceJ. Appl. Comput. Topol.
- 2021

A functor from digital images to groups, which closely resembles the ordinary fundamental group from algebraic topology, is constructed, which shows that the fundamental group is preserved by subdivision.

### Hyperspaces and Function Graphs in Digital Topology

- Mathematics
- 2021

We adapt the study of hyperspaces and function spaces from classical topology to digital topology. We define digital hyperspaces and digital function graphs, and study some of their relationships and…

### Convexity and AFPP in the Digital Plane

- Mathematics
- 2020

We examine the relationship between convexity and the approximate ﬁxed point property (AFPP) for digital images in Z 2

## References

SHOWING 1-10 OF 11 REFERENCES

### Fixed poin sets in digital topology, 1

- MathematicsApplied General Topology
- 2020

In this paper, we examine some properties of the fixed point set of a digitally continuous function. The digital setting requires new methods that are not analogous to those of classical topological…

### A Classical Construction for the Digital Fundamental Group

- MathematicsJournal of Mathematical Imaging and Vision
- 2004

The digital fundamental group is constructed based on the notions of digitally continuous functions presented in [10] and digital homotopy and yields isomorphic fundamental groups for the digital images considered in the latter papers (for certain connectedness types).

### Homotopy Equivalence in Finite Digital Images

- MathematicsJournal of Mathematical Imaging and Vision
- 2015

This paper develops a numerical digital homotopy invariant and begins to catalog all possible connected digital images on a small number of points, up to Homotopy equivalence.

### Properties of Digital Homotopy

- MathematicsJournal of Mathematical Imaging and Vision
- 2005

A variety of digitally-continuous functions that preserve homotopy types or homotopic-related properties such as the digital fundamental group are studied.

### Some enumerations of binary digital images

- MathematicsArXiv
- 2015

Enumerations of several classes of digital images up to isomorphism are produced and which among them are homotopy equivalent to one another and some conjectures about digital images which are irreducible but not rigid are made.

### Fixed point sets in digital topology, 2

- MathematicsApplied General Topology
- 2020

We continue the work of [10], studying properties of digital images determined by fixed point invariants. We introduce pointed versions of invariants that were introduced in [10]. We introduce…

### Generalized Normal Product Adjacency in Digital Topology

- Mathematics
- 2016

We study properties of Cartesian products of digital images for which adjacencies based on the normal product adjacency are used. We show that the use of such adjacencies lets us obtain many "product…

### Algebraic Topology

- Mathematics

The focus of this paper is a proof of the Nielsen-Schreier Theorem, stating that every subgroup of a free group is free, using tools from algebraic topology.