Digital topology

Digital topology deals with properties and features of

that correspond to topological properties (e.g., connectedness) or topological features (e.g., boundaries) of objects.

Concepts and results of digital topology are used to specify and justify important (low-level) image analysis algorithms, including algorithms for thinning, border or surface tracing, counting of components or tunnels, or region-filling.

History

Digital topology was first studied in the late 1960s by the

(1931–2004), whose publications on the subject played a major role in establishing and developing the field. The term "digital topology" was itself invented by Rosenfeld, who used it in a 1973 publication for the first time.

A related work called the

. The book from 2008 contains new definitions of topological balls and spheres independent of a metric and numerous applications to digital image analysis.

In the early 1980s,

was studied in the 1990s. A recursive definition of the digital k-manifold was proposed intuitively by Chen and Zhang in 1993. Many applications were found in image processing and computer vision.

Basic results

A basic (early) result in digital topology says that 2D binary images require the alternative use of 4- or 8-adjacency or "pixel connectivity" (for "object" or "non-object"

) to ensure the basic topological duality of separation and connectedness. This alternative use corresponds to open or closed sets in the 2D grid cell topology, and the result generalizes to 3D: the alternative use of 6- or 26-adjacency corresponds to open or closed sets in the 3D grid cell topology. Grid cell topology also applies to multilevel (e.g., color) 2D or 3D images, for example based on a total order of possible image values and applying a 'maximum-label rule' (see the book by Klette and Rosenfeld, 2004).

Digital topology is highly related to combinatorial topology. The main differences between them are: (1) digital topology mainly studies digital objects that are formed by grid cells,^{[clarification needed]} and (2) digital topology also deals with non-Jordan manifolds.

A combinatorial manifold is a kind of manifold which is a discretization of a manifold. It usually means a

is a special kind of combinatorial manifold which is defined in digital space i.e. grid cell space.

A digital form of the Gauss–Bonnet theorem is: Let M be a closed digital 2D manifold in direct adjacency (i.e., a (6,26)-surface in 3D). The formula for genus is

${\displaystyle g=1+(M_{5}+2M_{6}-M_{3})/8}$,

where ${\displaystyle M_{i}}$ indicates the set of surface-points each of which has i adjacent points on the surface (Chen and Rong, ICPR 2008). If M is simply connected, i.e., ${\displaystyle g=0}$, then ${\displaystyle M_{3}=8+M_{5}+2M_{6}}$. (See also Euler characteristic.)

See also

• Digital geometry
• Combinatorial topology
• Computational geometry
• Computational topology
• Topological data analysis
• Topology
• Discrete mathematics
• Geospatial topology

References

• Herman, Gabor T. (1998). Geometry of Digital Spaces. Applied and Numerical Harmonic Analysis. Boston, MA: Birkhäuser Boston, Inc.
  MR 1711168
  .
• Kong, Tat Yung; Rosenfeld, Azriel, eds. (1996). Topological Algorithms for Digital Image Processing. Elsevier.
  ISBN 0-444-89754-2
  .
• Voss, Klaus (1993). Discrete Images, Objects, and Functions in ${\displaystyle \mathbb {Z} ^{n}}$. Algorithms and Combinatorics. Vol. 11. Berlin: Springer-Verlag.
  MR 1224678
  .
• Chen, L. (2004). Discrete Surfaces and Manifolds: A Theory of Digital-Discrete Geometry and Topology. SP Computing.
  ISBN 0-9755122-1-8
  .
• Klette, R.; Rosenfeld, Azriel (2004). Digital Geometry. Morgan Kaufmann.
  ISBN 1-55860-861-3
  .
• Morgenthaler, David G.; Rosenfeld, Azriel (1981). "Surfaces in three-dimensional digital images".
  MR 0686842
  .
• Pavlidis, Theo (1982). Algorithms for graphics and image processing. Lecture Notes in Mathematics. Vol. 877. Rockville, MD: Computer Science Press.
  MR 0643798
  .
• ISBN 978-3-9812252-0-4
  .