Digital Geometry and Khalimsky Spaces

Abstract: Digital geometry is the geometry of digital images. Compared to Euclid’s geometry, which has been studied for more than two thousand years, this field is very young.Efim Khalimsky’s topology on the integers, invented in the 1970s, is a digital counterpart of the Euclidean topology on the real line. The Khalimsky topology became widely known to researchers in digital geometry and computer imagery during the early 1990s.Suppose that a continuous function is defined on a subspace of an n-dimensional Khalimsky space. One question to ask is whether this function can be extended to a continuous function defined on the whole space. We solve this problem. A related problem is to characterize the subspaces on which every continuous function can be extended. Also this problem is solved.We generalize and solve the extension problem for integer-valued, Khalimsky-continuous functions defined on arbitrary smallest-neighborhood spaces, also called Alexandrov spaces.The notion of a digital straight line was clarified in 1974 by Azriel Rosenfeld. We introduce another type of digital straight line, a line that respects the Khalimsky topology in the sense that a line is a topological embedding of the Khalimsky line into the Khalimsky plane.In higher dimensions, we generalize this construction to digital Khalimsky hyperplanes, surfaces and curves by digitization of real objects. In particular we study approximation properties and topological separation properties. The last paper is about Khalimsky manifolds, spaces that are locally homeomorphic to n-dimensional Khalimsky space. We study different definitions and address basic questions such as uniqueness of dimension and existence of certain manifolds.