Abstract
The importance of topological connectedness properties in processing digital pictures is well known. A natural way to begin a theory for this is to give
a definition of connectedness for subsets of a digital plane which allows one
to prove a Jordan curve theorem. The generally accepted approach to this
has been a non-topological Jordan curve theorem which requires two different definitions, 4-connectedness, and 8-connectedness, one for the curve and
the other for its complement.
In [KKM] we introduced a purely topological context for a digital plane
and proved a Jordan curve theorem. The present paper gives a topological
proof of the non-topological Jordan curve theorem mentioned above and
extends our previous work by considering some questions associated with
image processing:
How do more complicated curves separate the digital plane into connected
sets? Conversely given a partition of the digital plane into connected sets,
what are the boundaries like and how can we recover them? Our construction
gives a unified answer to these questions.
The crucial step in making our approach topological is to utilize a natural
connected topology on a finite, totally ordered set; the topologies on the
digital spaces are then just the associated product topologies. Furthermore,
this permits us to define path, arc, and curve as certain continuous functions
on such a parameter interval.