Digital geometry

Digital geometry deals with discrete sets (usually discrete point sets) considered to be digitized models or images of objects of the 2D or 3D Euclidean space.

Simply put, digitizing is replacing an object by a discrete set of its points. The images we see on the TV screen, the raster display of a computer, or in newspapers are in fact digital images.

Its main application areas are computer graphics and image analysis.

Main aspects of study are:

Digital geometry heavily overlaps with discrete geometry and may be considered as a part thereof.

Digital space

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 \Sigma to \{ A_1, \dots,A_m \} where   A_1< \cdots <A_m and  A_i are real numbers. This function possesses the following property: If x and y are two adjacent points in \Sigma, assume f(x)=A_i, then f(y)=A_{i}, f(x)=A_{i+1}, or 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 D \subset \Sigma and f: D\rightarrow  \{ A_1, \dots,A_m \}. The necessary and sufficient condition for the existence of the gradually varied extension F of f is : for each pair of points x and y in D, assume f(x)=A_i and f(y)=A_j, we have |i-j|\le d(x,y), where d(x,y) is the (digital) distance between x and y.

See also

References

Further reading

External links

This article is issued from Wikipedia - version of the Monday, March 14, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.