• Corpus ID: 67856473

Strong homotopy of digitally continuous functions

  title={Strong homotopy of digitally continuous functions},
  author={P. Christopher Staecker},
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… 

Figures from this paper

The two digital homology theories

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

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

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

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



Fixed poin sets in digital topology, 1

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

  • L. Boxer
  • Mathematics
    Journal 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

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

  • L. Boxer
  • Mathematics
    Journal 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.

Non-product property of the digital fundamental group

Some enumerations of binary digital images

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

  • L. Boxer
  • Mathematics
    Applied 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

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

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.