Digital geometry

A 2D digital space usually means a 2D grid space that only contains integer points in 2D Euclidean space. A 2D image is a function on a 2D digital space (See image processing).

In Rosenfeld and Kak's book, digital connectivity are defined as the relationship among elements in digital space. For example, 4-connectivity and 8-connectivity in 2D. Also see pixel connectivity. A digital space and its (digital-)connectivity determine a digital topology.

In digital space, the digitally continuous function (A. Rosenfeld, 1986) and the gradually varied function (L. Chen, 1989) were proposed, independently.

A digitally continuous function means a function in which the value (an integer) at a digital point is the same or off by at most 1 from its neighbors. In other words, if x and y are two adjacent points in a digital space, |f(x) − f(y)| ≤ 1.

A gradually varied function is a function from a digital space ${\displaystyle \Sigma }$ to ${\displaystyle \{A_{1},\dots ,A_{m}\}}$ where ${\displaystyle A_{1}<\cdots <A_{m}}$ and ${\displaystyle A_{i}}$ are real numbers. This function possesses the following property: If x and y are two adjacent points in ${\displaystyle \Sigma }$, assume ${\displaystyle f(x)=A_{i}}$, then ${\displaystyle f(y)=A_{i}}$, ${\displaystyle f(x)=A_{i+1}}$, or ${\displaystyle A_{i-1}}$. So we can see that the gradually varied function is defined to be more general than the digitally continuous function.

An extension theorem related to above functions was mentioned by A. Rosenfeld (1986) and completed by L. Chen (1989). This theorem states: Let ${\displaystyle D\subset \Sigma }$ and ${\displaystyle f:D\rightarrow \{A_{1},\dots ,A_{m}\}}$. The necessary and sufficient condition for the existence of the gradually varied extension ${\displaystyle F}$ of ${\displaystyle f}$ is : for each pair of points ${\displaystyle x}$ and ${\displaystyle y}$ in ${\displaystyle D}$, assume ${\displaystyle f(x)=A_{i}}$ and ${\displaystyle f(y)=A_{j}}$, we have ${\displaystyle |i-j|\leq d(x,y)}$, where ${\displaystyle d(x,y)}$ is the (digital) distance between ${\displaystyle x}$ and ${\displaystyle y}$.

• Computational geometry
• Digital topology
• Discrete geometry
• Combinatorial geometry
• Tomography
• Point cloud

• A. Rosenfeld, `Continuous' functions on digital pictures, Pattern Recognition Letters, v.4 n.3, p. 177–184, 1986.
• L. Chen, The necessary and sufficient condition and the efficient algorithms for gradually varied fill, Chinese Sci. Bull. 35 (10), pp 870–873, 1990.

• Rosenfeld, Azriel (1969). Picture Processing by Computer. Academic Press.
• Rosenfeld, Azriel (1976). Digital picture analysis. Berlin: Springer-Verlag. ISBN 0-387-07579-8.
• Rosenfeld, Azriel; Kak, Avinash C. (1982). Digital picture processing. Boston: Academic Press. ISBN 0-12-597301-2.
• Rosenfeld, Azriel (1979). Picture Languages. Academic Press. ISBN 0-12-597340-3.
• Chassery, J.; A. Montanvert. (1991). Geometrie discrete en analyze d'images. Hermes. ISBN 2-86601-271-2.
• Kong, T. Y.; Rosenfeld, A., eds. (1996). Topological Algorithms for Digital Image Processing. Elsevier. ISBN 0-444-89754-2.
• Voss, K. (1993). Discrete Images, Objects, and Functions in Zn. Springer. ISBN 0-387-55943-4.
• Herman, G. T. (1998). Geometry of Digital Spaces. Birkhauser. ISBN 0-8176-3897-0.
• Marchand-Maillet, S.; Y. M. Sharaiha (2000). Binary Digital Image Processing. Academic Press. ISBN 0-12-470505-7.
• Soille, P. (2003). Morphological Image Analysis: Principles and Applications. Springer. ISBN 3-540-42988-3.
• Chen, L. (2004). Discrete Surfaces and Manifolds: A Theory of Digital-Discrete Geometry and Topology. SP Computing. ISBN 0-9755122-1-8.
• Rosenfeld, Azriel; Klette, Reinhard (2004). Digital Geometry: Geometric Methods for Digital Image Analysis (The Morgan Kaufmann Series in Computer Graphics). San Diego: Morgan Kaufmann. ISBN 1-55860-861-3.
• Chen, L. (2014). Digital and discrete geometry: Theory and Algorithms. Springer. ISBN 978-3-319-12099-7.
• Kovalevsky, Vladimir A. (2008). Geometry of locally finite spaces computer agreeble topology and algorithms for computer imagery. Berlin. ISBN 978-3-9812252-0-4.

• IAPR Technical Committee on Discrete Geometry
• Website on digital geometry and topology
• Course on digital geometry and mathematical morphology (Ch. Kiselman)
• DGtal: Open Source Digital Geometry Toolbox and Algorithms library