Boundaries in digital planes (Q910043)

Summary: 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 definitons, 4-connectedness, and 8-connectedness, one for the curve and the other for its complement. In Topology Appl. 36, No.1, 1-17 (1990), 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 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.