Axiomatic digital topology. (English) Zbl 1478.94055
Summary: The paper presents a new set of axioms of digital topology, which are easily understandable for application developers. They define a class of locally finite (LF) topological spaces. An important property of LF spaces satisfying the axioms is that the neighborhood relation is antisymmetric and transitive. Therefore any connected and non-trivial LF space is isomorphic to an abstract cell complex. The paper demonstrates that in an \(n\)-dimensional digital space only those of the \((a, b)\)-adjacencies commonly used in computer imagery have analogs among the LF spaces, in which a and \(b\) are different and one of the adjacencies is the “maximal” one, corresponding to \(3^{n} - 1\) neighbors. Even these \((a, b)\)-adjacencies have important limitations and drawbacks. The most important one is that they are applicable only to binary images. The way of easily using LF spaces in computer imagery on standard orthogonal grids containing only pixels or voxels and no cells of lower dimensions is suggested.
MSC:
| 94A08 | Image processing (compression, reconstruction, etc.) in information and communication theory |
| 68U10 | Computing methodologies for image processing |
| 54A99 | Generalities in topology |
Keywords:
geometric models; imaging geometry; multidimensional image representation; digital topologyReferences:
| [1] | P. Alexandroff, Diskrete Topologische Raeume, Matematicheskii Sbornik 2, 1937. |
| [2] | P. Alexandroff and H. Hopf, Topologie I, Springer, 1935. |
| [3] | G. Birkhoff, Lattice Theory, American Mathematical Society, 1961. |
| [4] | U. Eckhardt and L. Latecki, ”Topologies for the digital spaces Z2 and Z3,”. Computer Vision Image Understanding, Vol. 90, pp. 295–312, 2003. · Zbl 1055.68122 · doi:10.1016/S1077-3142(03)00062-6 |
| [5] | U. Eckhardt and L. Latecki, Digital Topology, http//cosmic.rrz.uni-hamburg.de/docs/wcat/mathematik/eckhardt/eck0001/eck0001.pdf |
| [6] | E.S. Fedorov, ”The symmetry of regular systems of figures,” Zap. Miner. Obshch. 21 (1885), 1–279. Reprinted, Moscow, Izdat. Akad. Nauk SSSR (in Russian) 1953. |
| [7] | E. Khalimsky, R. Kopperman and P. R. Meyer, ”Computer graphics and connected topologies on finite ordered sets,” Topology and Applications, Vol. 36, pp. 1–17, 1990. · Zbl 0709.54017 |
| [8] | R. Klette and A. Rosenfeld, Digital Geometry, Morgan Kaufmann, 2004. |
| [9] | R. Klette, Lecture Notes, www citr.auckland. ac.nz/klette/Books/MK2004/pdf-LectureNotes/ |
| [10] | T.Y. Kong, Can 3-D Digital Topology be Based on Axiomatically Defined Digital Spaces? http//citr.auckland.ac.nz/dgt , Open Problems, 2001. |
| [11] | T.Y. Kong and A. Rosenfeld, ”Digital topology. introduction and survey,” Computer Vision, Graphics and Image Processing, Vol. 48, pp. 357–393, 1989. |
| [12] | T.Y. Kong and A. Rosenfeld, ”Digital topology, a comparison of the graph-based and topological approaches,” in G.M. Reed, A.W. Ronscoe, and R.F. Wachter (Ed), Topology and Category Theory in Computer Science, Oxford University press, Oxford, U.K, pp. 273–289, 1991. · Zbl 0792.68198 |
| [13] | V. Kovalevsky, ”Discrete topology and contour definition,” Pattern Recognition Letters, Vol. 2, pp. 281–288, 1984. · doi:10.1016/0167-8655(84)90015-1 |
| [14] | V. Kovalevsky, ”On the topology of digital spaces,” Proceedings of the seminar ”Digital Image Processing” in Fleeth/Mirrow, Germany, Technical University Dresden, pp. 1–16, 1986. |
| [15] | V. Kovalevsky, ”Finite topology as applied to image analysis,” Computer Vision, Graphics and Image Processing, Vol. 46, No. 2, pp. 141–161, 1989. · doi:10.1016/0734-189X(89)90165-5 |
| [16] | V. Kovalevsky, ”Finite topology and image analysis,” in P. Hawkes (Ed.), Advances in Electronics and Electron Physics, Academic Press, Vol. 84, pp. 197-259, 1992. |
| [17] | V. Kovalevsky, ”Digital geometry based on the topology of abstract cell complexes,” in Proceedings of the Third International Colloquium ”Discrete Geometry for Computer Imagery”, University of Strasbourg, Sept. 20–21, pp. 259-284, 1993. |
| [18] | V. Kovalevsky, ”A new concept for digital geometry,” in Shape in Picture, Springer-Verlag, 1994, pp. 37–51. |
| [19] | V. Kovalevsky, ”Algorithms and data structures for computer topology,” in G. Bertrand et all. (Eds.), LNCS 2243, Springer-Verlag, 2001, pp. 37–58. · Zbl 1052.68772 |
| [20] | V. Kovalevsky, ”Algorithms in digital geometry based on cellular topology,” in R. Klette. and J. Zunic (Eds.), LNCS 3322, Springer Verlag, 2004 pp. 366–393 . · Zbl 1113.68589 |
| [21] | A. Rosenfeld and A.C. Kak, Digital Picture Processing, Academic Press, 1976. · Zbl 0564.94002 |
| [22] | J. Stillwell, Classical Topology and Combinatorial Group Theory, Springer, 1995. · Zbl 0876.00013 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
