Semi-topological properties of the \(K\)-topological version of the Jordan curve theorem (Q6085223)

This paper examines simple closed curves in the Khalimsky model of digital topology, and the associated Jordan Curve Theorem for \(\mathbb{Z}^2\) with the Khalimsky topology. In particular the authors focus on whether Jordan curves themselves, and their complementary sets, are ``semi-open'' and/or ``semi-closed''. (A set \(A\) is semi-open when \(A\subseteq \mathrm{Cl}(\mathrm{Int} A)\), and semi-closed when its complement is semi-open.) The authors show that a simple closed curve of length 4 is semi-open, while a simple closed curve of length 8 is either semi-open or semi-closed (or both). For lengths more than 8, a simple closed curve can be semi-open or semi-closed, or both, or neither. The authors also examine sets which can appear as one of the two complementary components of a simple closed curve. For a simple closed curve \(C\), let \(I(C)\) denote the ``inside'' complementary component, and \(O(C)\) denote the outside. The authors show that \(I(C)\) and \(O(C)\) are always semi-closed. Further they show that \(I(C)\) is not semi-open when \(C\) has length 4, and that \(O(C)\) is semi-open when \(C\) has length less than or equal to 10.