Honam Mathematical Journal (호남수학학술지)

The Honam Mathematical Society (호남수학회)
권호 표지
DOI QR코드

DOI QR Code

UTILITY OF DIGITAL COVERING THEORY

  • Han, Sang-Eon (Department of Mathematics Education, Institute of Pure and Applied Mathematics, Chonbuk National University) ;
  • Lee, Sik (Department of Mathematics Education, Chonnam National University)
  • Received : 2014.08.18
  • Accepted : 2014.08.28
  • Published : 2014.09.25
Download PDF
⟨ Previous Next ⟩

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

References

  1. 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
  2. C. Berge, Graphs and Hypergraphs, 2nd ed., North-Holland, Amsterdam, 1976.
  3. L. Boxer, Digitally continuous functions, Pattern Recognition Letters, 15 (1994), 833-839. https://doi.org/10.1016/0167-8655(94)90012-4
  4. 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
  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, Cartesian product of the universal covering property, Acta Applicandae Mathematicae, 108 (2009), 363-383. https://doi.org/10.1007/s10440-008-9316-1
  18. 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
  19. 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
  20. 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
  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