\input zb-basic
\input zb-ioport
\iteman{io-port 02087450}
\itemau{Ciria, J.C.; Dom\'\i nguez, E.; Franc\'es, A.R.}
\itemti{Separation theorems for simplicity 26-surfaces.}
\itemso{Braquelaire, Achille (ed.) et al., Discrete geometry for computer imagery. 10th international conference, DGCI 2002, Bordeaux, France, April 3--5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43380-5). Lect. Notes Comput. Sci. 2301, 45-56 (2002).}
\itemab
Summary: The main goal of this paper is to prove a Digital Jordan-Brouwer Theorem and an Index Theorem for simplicity 26-surfaces. For this, we follow the approach to digital topology introduced by {\it R. Ayala}, {\it E. Dom\'\i nguez}, {\it A. R. Franc\'es} and {\it A. Quintero} [\lq\lq Weak lighting functions and strong 26-surfaces", Theor. Comput. Sci. 283, No. 1, 29--66 (2002; Zbl 1050.68144)], and find a digital space such that the continuous analogue of each simplicity 26-surface is a combinatorial 2-manifold. Thus, the separation theorems quoted above turn out to be an immediate consequence of the general results obtained by the authors of the paper cited above [loc. cit. and \lq\lq A digital index theorem", Int. J. Pattern Recogn. Artif. Intell. 15, No. 7, 1--22 (2001)] for arbitrary digital $n$-manifolds.
\itemrv{~}
\itemcc{}
\itemut{digital surface; simplicity 26-surface; digital separation theorems}
\itemli{http://link.springer.de/link/service/series/0558/bibs/2301/23010045.htm}
\end