UTILITY OF DIGITAL COVERING THEORY

Han, Sang-Eon;Lee, Sik

• Received : 2014.08.18
• Accepted : 2014.08.28
• Published : 2014.09.25
• 33 7

Abstract

Various properties of digital covering spaces have been substantially used in studying digital homotopic properties of digital images. In particular, these are so related to the study of a digital fundamental group, a classification of digital images, an automorphism group of a digital covering space and so forth. The goal of the present paper, as a survey article, to speak out utility of digital covering theory. Besides, the present paper recalls that the papers [1, 4, 30] took their own approaches into the study of a digital fundamental group. For instance, they consider the digital fundamental group of the special digital image (X, 4), where X := $SC^{2,8}_4$ which is a simple closed 4-curve with eight elements in $Z^2$, as a group which is isomorphic to an infinite cyclic group such as (Z, +). In spite of this approach, they could not propose any digital topological tools to get the result. Namely, the papers [4, 30] consider a simple closed 4 or 8-curve to be a kind of simple closed curve from the viewpoint of a Hausdorff topological structure, i.e. a continuous analogue induced by an algebraic topological approach. However, in digital topology we need to develop a digital topological tool to calculate a digital fundamental group of a given digital space. Finally, the paper [9] firstly developed the notion of a digital covering space and further, the advanced and simplified version was proposed in [21]. Thus the present paper refers the history and the process of calculating a digital fundamental group by using various tools and some utilities of digital covering spaces. Furthermore, we deal with some parts of the preprint [11] which were not published in a journal (see Theorems 4.3 and 4.4). Finally, the paper suggests an efficient process of the calculation of digital fundamental groups of digital images.

Keywords

digital topology;digital product;k-homotopic thinning;normal adjacency;S-compatible adjacency;digital covering space;C-property;S-property

References

1. L. Boxer, A classical construction for the digital fundamental group, Jour. of Mathematical Imaging and Vision, 10 (1999), 51-62. https://doi.org/10.1023/A:1008370600456
2. R. Ayala, E. Domnguez, A.R. Frances, and A. Quintero, Homotopy in digital spaces, Discrete Applied Math, 125(1) (2003), 3-24. https://doi.org/10.1016/S0166-218X(02)00221-4
3. C. Berge, Graphs and Hypergraphs, 2nd ed., North-Holland, Amsterdam, 1976.
4. L. Boxer, Digitally continuous functions, Pattern Recognition Letters, 15 (1994), 833-839. https://doi.org/10.1016/0167-8655(94)90012-4
5. L. Boxer and Ismet Karaca, The Classification of Digital Covering Spaces, Jour. of Mathematical Imaging and Vision, 32 (2008), 23-29. https://doi.org/10.1007/s10851-008-0088-z
6. S.E. Han, On the classification of the digital images up to digital homotopy equivalence, Jour. Comput. Commun. Res. 10 (2000), 207-216.
7. S.E. Han, Computer topology and its applications, Honam Math. Jour. 25(1) (2003), 153-162.
8. S.E. Han, Digital coverings and their applications, Jour. of Applied Mathematics and Computing, 18(1-2) (2005), 487-495.
9. S.E. Han, Non-product property of the digital fundamental group, Information Sciences 171(1-3) (2005), 73-91. https://doi.org/10.1016/j.ins.2004.03.018
10. S.E. Han, On the simplicial complex stemmed from a digital graph, Honam Mathematical Journal, 27(1) (2005), 115-129.
11. S.E. Han, The k-fundamental group of a computer topological product space, preprint (2005), 1-22.
12. S.E. Han, Discrete Homotopy of a Closed k-Surface, LNCS 4040, Springer-Verlag, Berlin, (2006), 214-225.
13. S.E. Han, Strong k-deformation retract and its applications, Journal of the Korean Mathematical Society, 44(6) (2007), 1479-1503. https://doi.org/10.4134/JKMS.2007.44.6.1479
14. S.E. Han, Comparison among digital fundamental groups and its applications, Information Sciences, 178 (2008), 2091-2104. https://doi.org/10.1016/j.ins.2007.11.030
15. S.E. Han, Equivalent ($k_0$, $k_1$)-covering and generalized digital lifting, Information Sciences, 178(2) (2008), 550-561. https://doi.org/10.1016/j.ins.2007.02.004
16. S.E. Han, The k-homotopic thinning and a torus-like digital image in $Z^n$, Journal of Mathematical Imaging and Vision, 31(1) (2008), 1-16. https://doi.org/10.1007/s10851-007-0061-2
17. S.E. Han, Multiplicative property of the digital fundamental group, Acta Applicandae Mathematicae, 110(2) (2010), 921-944. https://doi.org/10.1007/s10440-009-9486-5
18. S.E. Han, Cartesian product of the universal covering property, Acta Applicandae Mathematicae, 108 (2009), 363-383. https://doi.org/10.1007/s10440-008-9316-1
19. S.E. Han, Remark on a generalized universal covering space, Honam Mathematical Jour. 31(3) (2009), 267-278. https://doi.org/10.5831/HMJ.2009.31.3.267
20. S.E. Han, KD-($k_0$, $k_1$)-homotopy equivalence and its applications, Journal of Korean Mathematical Society, 47(5) (2010), 1031-1054. https://doi.org/10.4134/JKMS.2010.47.5.1031
21. S.E. Han, Ultra regular covering space and its automorphism group, International Journal of Applied Mathematics & Computer Science, 20(4) (2010), 699-710.
22. S.E. Han, Study on topological spaces with the semi-$T_{1/2}$ separation axiom, Honam Mathematical Journal, 35(4) (2013), 707-716. https://doi.org/10.5831/HMJ.2013.35.4.707
23. S.E. Han, An equivalent property of a normal adjacency of a digita product, Honam Mathematical Journal, 36(3) (2014), 199-215. https://doi.org/10.5831/HMJ.2014.36.1.199
24. S.E. Han, Remarks on simply k-connectivity and k-deformation retract in digital topology, Honam Mathematical Journal, 36(3) (2014), accepted. https://doi.org/10.5831/HMJ.2014.36.3.519
25. S.E. Han and Sik Lee, Remarks on digital products with normal adjacency relations, Honam Mathematical Journal, 35(3) (2013), 515-424. https://doi.org/10.5831/HMJ.2013.35.3.515
26. S.E. Han and B.G. Park, Digital graph ($k_0$, $k_1$)-isomorphism and its applications, http://atlas-conferences.com/c/a/k/b/36.htm (2003).
27. S.E. Han and B.G. Park, Digital graph ($k_0$, $k_1$)-homotopy equivalence and its applications, http://atlas-conferences.com/c/a/k/b/35.htm (2003).
28. In-Soo Kim, S.E. Han, Digital covering therory and its applications, Honam Mathematical Journal, 30(4) (2008), 589-602. https://doi.org/10.5831/HMJ.2008.30.4.589
29. E. Khalimsky, Motion, deformation, and homotopy in finite spaces, Proceedings IEEE International Conferences on Systems, Man, and Cybernetics, (1987), 227-234.
30. T.Y. Kong, A digital fundamental group, Computers and Graphics, 13 (1989), 159-166. https://doi.org/10.1016/0097-8493(89)90058-7
31. T.Y. Kong, A. Rosenfeld, Topological Algorithms for the Digital Image Processing, Elsevier Science, Amsterdam, 1996.
32. R. Malgouyres, Homotopy in 2-dimensional digital images, Theoretical Computer Science, 230 (2000), 221-233. https://doi.org/10.1016/S0304-3975(98)00347-8
33. A. Rosenfeld, Continuous functions on digital pictures, Pattern Recognition Letters, 4 (1986), 177-184. https://doi.org/10.1016/0167-8655(86)90017-6

Cited by

1. COMPARISON AMONG SEVERAL ADJACENCY PROPERTIES FOR A DIGITAL PRODUCT vol.37, pp.1, 2015, https://doi.org/10.5831/HMJ.2015.37.1.135