For a given category KAC 2 , the present paper deals with the existence problem for the category DTC 2 (k), which is equivalent to KAC 2 , where DTC 2 (k) is the category whose objects are simple closed K-curves with even number l of elements in Zn , l ≠ 6, and morphisms are (digitally) K-continuous maps, and KAC 2 is a category whose objects are simple closed A-curves and morphisms are A-maps. To address this issue, the paper starts from the category denoted by KAC 1 whose objects are connected nD Khalimsky topological subspaces with Khalimsky adjacency and morphisms are A-maps in [S. E. Han and A. Sostak, Comput. Appl. Math., 32, 521–536 (2013)]. Based on this approach, in KAC 1 the paper proposes the notions of A-homotopy and A-homotopy equivalence and classifies the spaces in KAC 1 or KAC 2 in terms of the A-homotopy equivalence. Finally, the paper proves that, for Sa given category KAC 2 , there is DTC 2 (k), which is equivalent to KAC 2 .
Similar content being viewed by others
References
P. Alexandorff, “Diskrete R¨aume,” Mat. Sb., 2, 501–518 (1937).
L. Boxer, “A classical construction for the digital fundamental group,” J. Math. Imaging Vision, 10, 51–62 (1999).
U. Eckhardt and L. J. Latecki, “Topologies for the digital spaces Z2 and Z3,” Comput. Vision Image Understanding, 90, 295–312(2003).
S. E. Han, “On the classification of the digital images up to a digital homotopy equivalence,” J. Comput. Comm. Res., 10, 194–207(2000).
S. E. Han, “Nonproduct property of the digital fundamental group,” Inform. Sci., 171, No. 1-3, 73–91 (2005).
S. E. Han, “On the simplicial complex stemmed from a digital graph,” Honam Math. J., 27, No. 1, 115–129 (2005).
S. E. Han, “Strong K-deformation retract and its applications,” J. Korean Math. Soc., 44, No. 6, 1479–1503 (2007).
S. E. Han, “Equivalent (k 0 ,k 1 )-covering and generalized digital lifting,” Inform. Sci., 178, No. 2, 550–561 (2008).
S. E. Han, “The K-homotopic thinning and a torus-like digital image in Zn,” J. Math. Imaging Vision, 31, No. 1, 1–16 (2008).
S. E. Han, “KD-(k 0 ,k 1 )-homotopy equivalence and its applications,” J. Korean Math. Soc., 47, No. 5, 1031–1054 (2010).
S. E. Han, “Homotopy equivalence which is suitable for studying Khalimsky nD spaces,” Topol. Appl., 159, 1705–1714 (2012).
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).
S. E. Han and A. Sostak, “A compression of digital images derived from a Khalimsky topological structure,” Comput. Appl. Math., 32, 521–536 (2013).
E. D. Khalimsky, “Applications of connected ordered topological spaces in topology,” Conf. Math. Dep. Provoia (1970).
E. Khalimsky, R. Kopperman, and P. R. Meyer, “Computer graphics and connected topologies on finite ordered sets,” Topol. Appl., 36, No. 1, 1–17 (1990).
T. Y. Kong and A. Rosenfeld, Topological Algorithms for the Digital Image Processing, Elsevier, Amsterdam (1996).
V. Kovalevsky, “Axiomatic digital topology,” J. Math. Imaging Vision, 26, 41–58 (2006).
E. Melin, “Digital Khalimsky manifold,” J. Math. Imaging Vision, 33, 267–280 (2009).
A. Rosenfeld, “Continuous functions on digital pictures,” Pattern Recogn. Lett., 4, 177–184 (1986).
F. Wyse, D. Marcus, et al., “Solution to problem 5712,” Amer. Math. Mon., 77, 1119 (1970).
Author information
Authors and Affiliations
Additional information
Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 67, No. 8, pp. 1122–1133, August, 2015.
Rights and permissions
About this article
Cite this article
Han, SE. Existence of the Category DTC 2 (K) Equivalent to the Given Category KAC 2 . Ukr Math J 67, 1264–1276 (2016). https://doi.org/10.1007/s11253-016-1150-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11253-016-1150-4