Boundaries in digital planes

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.

[1]  Ralph Kopperman,et al.  A Jordan surface theorem for three-dimensional digital spaces , 1991, Discret. Comput. Geom..

[2]  P. R. Meyer,et al.  Computer graphics and connected topologies on finite ordered sets , 1990 .

[3]  Azriel Rosenfeld,et al.  Digital topology: Introduction and survey , 1989, Comput. Vis. Graph. Image Process..

[4]  A. W. Roscoe,et al.  A theory of binary digital pictures , 1985, Comput. Vis. Graph. Image Process..

[5]  A. W. Roscoe,et al.  Continuous analogs of axiomatized digital surfaces , 1984, Comput. Vis. Graph. Image Process..

[6]  George M. Reed.  On the characterization of simple closed surfaces in three-dimensional digital images , 1984, Comput. Vis. Graph. Image Process..

[7]  S. Eilenberg.  Ordered Topological Spaces , 1941 .