Abstract:This research is motivated by studying image processing algorithms through a topological lens. The images we focus on here are those that have been segmented by digital Jordan curves as a means of image compression. The algorithms of interest are those that continuously morph one digital image into another digital image. Digital Jordan curves have been studied in a variety of forms for decades now. Our contribution to this field is interpreting the set of digital Jordan curves that can exist within a given digital plane as a finite topological space. Computing the topological complexity of this space determines the minimal number of continuous motion planning rules required to transform one image into another, and determining the motion planners associated to topological complexity provides the specific algorithms for doing so. The main result of Section 3 is that our space of digital Jordan curves is connected, hence, its topological complexity is finite. To build up to that, we use Section 2 to prove some results about paths and distance functions that are obvious in Hausdorff spaces, yet surprisingly elusive in $T_0$ spaces. We end with Section 4, in which we study applications of these results. In particular, we prove that our interpretation of the space of digital Jordan curves is the only topologically correct interpretation. This article is an adaptation of the author's Ph.D. dissertation.

Digital $n-$Manifolds With Or Without Boundaries

On digital simply connected spaces and manifolds: a digital simply connected 3-manifold is the digital 3-sphere

Topology preserving representations of compact 2D manifolds by digital 2-surfaces. Compressed digital models and digital weights of compact 2D manifolds. Classification of closed surfaces by digital tools

Properties of Digital n-Dimensional Spheres and Manifolds. Separation of Digital Manifolds

Deep Manifold Computing and Visualization

Graph Theoretical Models of Closed n-Dimensional Manifolds: Digital Models of a Moebius Strip, a Torus, a Projective Plane a Klein Bottle and n-Dimensional Spheres

$m-$homotopic Distances in Digital Images

Counterexamples for Topological Complexity in Digital Images

Subdivision of Maps of Digital Images

The Poincare conjecture for digital spaces. Properties of digital n-dimensional disks and spheres

Certain topological methods for computing digital topological complexity

Topological Complexities of Finite Digital Images

Digital Geometry, a Survey

The Topological Complexity of Spaces of Digital Jordan Curves

Simple pairs of points in digital spaces. Topology-preserving transformations of digital spaces by contracting simple pairs of points

Homotopy Theory in Digital Topology

How to Depict 5-Dimensional Manifolds

Nonnegatively and Positively curved manifolds

Toward a Geometric Theory of Manifold Untangling

Splines on Manifolds: a Survey

Contractible_Spaces, Homotopy Equivalence and Homeomorphism in Digital Topology