Good Pairs of Adjacency Relations in Arbitrary Dimensions

In this text we show, that the notion of a "good pair" that was introduced in the paper "Digital Manifolds and the Theorem of Jordan-Brouwer" has actually known models. We will show, how to choose cubical adjacencies, the generalizations of the well known 4- and 8-neighborhood to arbitrary dimensions, in order to find good pairs. Furthermore, we give another proof for the well known fact that the Khalimsky-topology implies good pairs. The outcome is consistent with the known theory as presented by T.Y. Kong, A. Rosenfeld, G.T. Herman and M. Khachan et.al and gives new insights in higher dimensions.

Digital Manifolds and the Theorem of Jordan-Brouwer

We give an answer to the question given by T.Y.Kong in his article "Can 3-D Digital Topology be Based on Axiomatically Defined Digital Spaces?" In this article he asks the question, if so called "good pairs" of neighborhood relations can be found on the set Z^n such that the existence of digital manifolds of dimension n-1, that separate their complement in exactly two connected sets, is guaranteed. To achieve this, we use a technique developed by M. Khachan et.al. A set given in Z^n is translated into a simplicial complex that can be used to study the topological properties of the original discrete point-set. In this way, one is able to define the notion of a (n-1)-dimensional digital manifold and prove the digital analog of the Jordan-Brouwer-Theorem.