Abstract
Recent papers have partially discussed the multiplicative or the non-multiplicative property of the digital fundamental group. Thus, the paper studies a condition of which the multiplicative property of the digital fundamental group holds. Precisely, for two digital spaces with k i -adjacencies of \(\mathbf{Z}^{n_{i}}\) , denoted by (X i ,k i ), i∈{1,2}, using the L HS- or L HC-property of the digital product (or Cartesian product of digital spaces) with k-adjacency (X 1×X 2,k), a k-homotopic thinning of the digital product, and various properties from digital covering and digital homotopy theories, we provide a method of calculating the k-fundamental group of the digital product. Furthermore, the notion of HT-(k 0,k 1)-isomorphism is established and used in calculating the k-fundamental group of a digital product. Finally, we find a condition of which the multiplicative property of the digital fundamental group holds. This property can be used in classifying digital spaces from the view points of digital homotopy theory, mathematical morphology, and digital geometry.
Similar content being viewed by others
References
Ayala, R., Domínguez, E., Francés, A.R., Quintero, A.: Homotopy in digital spaces. Discrete Appl. Math. 125(1), 3–24 (2003)
Bertrand, G.: Simple points, topological numbers and geodesic neighborhoods in cubic grids. Pattern Recognit. Lett. 15, 1003–1011 (1994)
Bertrand, G., Malgouyres, R.: Some topological properties of discrete surfaces. J. Math. Imaging Vis. 20, 207–221 (1999)
Boxer, L.: Digitally continuous functions. Pattern Recognit. Lett. 15, 833–839 (1994)
Boxer, L.: A classical construction for the digital fundamental group. J. Math. Imaging Vis. 10, 51–62 (1999)
Boxer, L.: Digital products, wedge and covering spaces. J. Math. Imaging Vis. 25, 159–171 (2006)
Chen, L.: Discrete Surfaces and Manifolds: A Theory of Digital Discrete Geometry and Topology, Scientific and Practical Computing. Rockville (2004)
Han, S.E.: Computer topology and its applications. Honam Math. J. 25(1), 153–162 (2003)
Han, S.E.: Algorithm for discriminating digital images w.r.t. a digital (k 0,k 1)-homeomorphism. J. Appl. Math. Comput. 18(1–2), 505–512 (2005)
Han, S.E.: Digital coverings and their applications. J. Appl. Math. Comput. 18(1–2), 487–495 (2005)
Han, S.E.: Non-product property of the digital fundamental group. Inf. Sci. 171(1–3), 73–91 (2005)
Han, S.E.: On the simplicial complex stemmed from a digital graph. Honam Math. J. 27(1), 115–129 (2005)
Han, S.E.: Connected sum of digital closed surfaces. Inf. Sci. 176(3), 332–348 (2006)
Han, S.E.: Discrete homotopy of a closed k-surface. In: LNCS, vol. 4040, pp. 214–225. Springer, Berlin (2006)
Han, S.E.: Erratum to “Non-product property of the digital fundamental group”. Inf. Sci. 176(1), 215–216 (2006)
Han, S.E.: Minimal simple closed 18-surfaces and a topological preservation of 3D surfaces. Inf. Sci. 176(2), 120–134 (2006)
Han, S.E.: Strong k-deformation retract and its applications. J. Korean Math. Soc. 44(6), 1479–1503 (2007)
Han, S.E.: The k-fundamental group of a closed k-surface. Inf. Sci. 177(18), 3731–3748 (2007)
Han, S.E.: Comparison among digital fundamental groups and its applications. Inf. Sci. 178, 2091–2104 (2008)
Han, S.E.: Continuities and homeomorphisms in computer topology and their applications. J. Korean Math. Soc. 45(4), 923–952 (2008)
Han, S.E.: Equivalent (k 0,k 1)-covering and generalized digital lifting. Inf. Sci. 178(2), 550–561 (2008)
Han, S.E.: The k-homotopic thinning and a torus-like digital image in Z n. J. Math. Imaging Vis. 31(1), 1–16 (2008)
Han, S.E.: Map preserving local properties of a digital image. Acta Appl. Math. 104(2), 177–190 (2008)
Han, S.E.: Cartesian product of the universal covering property. Acta Appl. Math. (2009). doi:10.1007/s10440-008-9316-1. Online first publication
Khalimsky, E.: Motion, deformation, and homotopy in finite spaces. In: Proceedings IEEE International Conferences on Systems, Man, and Cybernetics, pp. 227–234 (1987)
Kim, I.-S., Han, S.E., Yoo, C.J.: The pasting property of digital continuity. Acta Appl. Math. (2009). doi:10.1007/s10440-008-9422-0. Online first publication
Kong, T.Y.: A digital fundamental group. Comput. Graph. 13, 159–166 (1989)
Kong, T.Y., Rosenfeld, A.: Topological Algorithms for the Digital Image Processing. Elsevier Science, Amsterdam (1996)
Malgouyres, R.: Computing the fundamental group in digital spaces. IJPRAI 15(7), 1075–1088 (2001)
Massey, W.S.: Algebraic Topology. Springer, New York (1977)
Rosenfeld, A.: Digital topology. Am. Math. Mon. 86, 76–87 (1979)
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by the Korea Research Foundation Grant funded by the Korean Government (MOEHRD, Basic Research Promotion Fund) (KRF-2008-313-C00119).
This paper was supported by the selection of research-oriented professor of Chonbuk National University in 2009.
Rights and permissions
About this article
Cite this article
Han, SE. Multiplicative Property of the Digital Fundamental Group. Acta Appl Math 110, 921–944 (2010). https://doi.org/10.1007/s10440-009-9486-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10440-009-9486-5
Keywords
- Digital fundamental group
- Digital k-graph
- LHS-property
- LHC-property
- Digital covering space
- HT-(k 0,k 1)-isomorphism
- Strong k-deformation retract
- k-homotopic thinning
- Multiplicative property