• Journal of applied mathematics & informatics
• /
• v.16 no.1_2
• /
• pp.445-452
• /
• 2004

In [8], Rosenfeld's digital ($k_0,\;k_1$)-continuity was introduced and another was also established in terms of the preservation of ${k_i}-connectedness,\;i\;{\in}\;\{0,\;1\}$ [2, 3]. In this paper a new version of digital ($k_0,\;k_1$)-continuity for images in $Z^n$ is referred, which is proved to be an extended version of the formers [2, 3, 8]. The current digital ($k_0,\;k_1$)-continuity is derived from the notion of n kinds of digital neighborhoods with some radius without any difficulties on the dimension and adjacency of an image in $Z^n$. The aim of this paper is to compare among Rosenfeld's digital continuity, the current digital continuity and Boxer's digital ($k_0,\;k_1$)-continuity.

• Honam Mathematical Journal
• /
• v.29 no.1
• /
• pp.101-118
• /
• 2007

The notions of digital k-homotopy equivalence and digital ($k_0,k_1$)-homotopy equivalence were developed in [13, 16]. By the use of the digital k-homotopy equivalence, we can investigate digital k-homotopy equivalent properties of Cartesian products constructed by the minimal simple closed 4- and 8-curves in $\mathbf{Z}^2$.

• Honam Mathematical Journal
• /
• v.26 no.3
• /
• pp.331-339
• /
• 2004

The aim of this paper is to show the difference between the notion of digital continuity and that of computer continuity. More precisely, for digital images $(X,\;k_0){\subset}Z^{n_0}$ and $(Y,\;k_1){\subset}Z^{n_1}$, $if(k_0,\;k_1)=(3^{n_0}-1,\;3^{n_1}-1)$, then the equivalence between digital continuity and computer continuity is proved. Meanwhile, if $(k_0,\;k_1){\neq}(3^{n_0}-1,\;3^{n_1}-1)$, then the difference between them is shown in terms of the uniform continuity property.

• Honam Mathematical Journal
• /
• v.26 no.4
• /
• pp.411-421
• /
• 2004

A digital $(k_0,\;k_1)$-homotopy is induced from digital $(k_0,\;k_1)$-continuity with the n kinds of $k_i$-adjacency relations in ${\mathbb{Z}}^n$, $i{\in}\{0,\;1\}$. The k-fundamental group, ${\pi}^k_1(X,\;x_0)$, is derived from the pointed digital k-homotopy, $k{\in}\{3^n-1(n{\geq}2),\;3^n-{\sum}^{r-2}_{k=0}C^n_k2^{n-k}-1(2{\leq}r{\leq}n-1(n{\geq}3)),\;2n(n{\geq}1)\}$. In this paper two kinds of digital 8-pseudotori stemmed from the minimal simple closed 4-curve and the minimal simple closed 8-curve with 8-contractibility or without 8-contractibility, e.g., $DT_8$ and $DT^{\prime}_8$, are introduced and their digital topological properties are studied by the calculation of the k-fundamental groups, $k{\in}\{8,\;32,\;64,\;80\}$.

• Honam Mathematical Journal
• /
• v.30 no.4
• /
• pp.589-602
• /
• 2008

As a survey-type article, the paper reviews various digital topological utilities from digital covering theory. Digital covering theory has strongly contributed to the calculation of the digital k-fundamental group of both a digital space(a set with k-adjacency or digital k-graph) and a digital product. Furthermore, it has been used in classifying digital spaces, establishing almost Van Kampen theory which is the digital version of van Kampen theorem in algebrate topology, developing the generalized universal covering property, and so forth. Finally, we remark on the digital k-surface structure of a Cartesian product of two simple closed $k_i$-curves in ${\mathbf{Z}}^n$, $i{\in}{1,2}$.

• Journal of applied mathematics & informatics
• /
• v.18 no.1_2
• /
• pp.505-512
• /
• 2005

In this paper, we introduce another statement of a digital $(k_{0}, k_{1})-homeomorphism$ which is suitable for an approach to write an efficient algorithm for discriminating digital images with respect to the digital $(k_{0}, k_{1})-homeomorphism$.

• Honam Mathematical Journal
• /
• v.26 no.1
• /
• pp.107-117
• /
• 2004

The aim of this paper is to introduce a digital $({\kappa}_0,\;{\kappa}_1)$-covering map and a local $({\kappa}_0,\;{\kappa}_1)$-homeomorphism. And further, we show that a digital $({\kappa}_0,\;{\kappa}_1)$-covering map is a local $({\kappa}_0,\;{\kappa}_1)$-homeomorphism and the converse does not hold. Finally, some property of a digital covering map is investigated with relation to some restriction map. Furthermore, we raise an open problem with relation to the product covering map.

• Honam Mathematical Journal
• /
• v.27 no.1
• /
• pp.115-129
• /
• 2005

In this paper, we give a digital graph-theoretical approach of the study of digital images with relation to a simplicial complex. Thus, a digital graph $G_k$ with some k-adjacency in ${\mathbb{Z}}^n$ can be recognized by the simplicial complex spanned by $G_k$. Moreover, we demonstrate that a graphically $(k_0,\;k_1)$-continuous map $f:G_{k_0}{\subset}{\mathbb{Z}}^{n_0}{\rightarrow}G_{k_1}{\subset}{\mathbb{Z}}^{n_1}$ can be converted into the simplicial map $S(f):S(G_{k_0}){\rightarrow}S(G_{k_1})$ with relation to combinatorial topology. Finally, if $G_{k_0}$ is not $(k_0,\;3^{n_0}-1)$-homotopy equivalent to $SC^{n_0,4}_{3^{n_0}-1}$, a graphically $(k_0,\;k_1)$-continuous map (respectively a graphically $(k_0,\;k_1)$-isomorphisim) $f:G_{k_0}{\subset}{\mathbb{Z}}^{n_0}{\rightarrow}G_{k_1}{\subset}{\mathbb{Z}^{n_1}$ induces the group homomorphism (respectively the group isomorphisim) $S(f)_*:{\pi}_1(S(G_{k_0}),\;v_0){\rightarrow}{\pi}_1(S(G_{k_1}),\;f(v_0))$ in algebraic topology.

• Honam Mathematical Journal
• /
• v.30 no.2
• /
• pp.207-217
• /
• 2008

Digital geometry has strongly contributed to the study of a discrete topological space $X{\subset}{\mathbf{Z}}^n$ with k-adjacency of ${\mathbf{Z}}^n$. As a survey-type article, we review various utilities of digital geometry.

• Honam Mathematical Journal
• /
• v.25 no.1
• /
• pp.153-162
• /
• 2003

Recently, the generalized digital $(k_{0},\;k_{1})$-continuity and its properties are investigated. Furthermore, the k-type digital fundamental group for digital image has been studies with the generalized k-adjacencies. The main goal of this paper is to find some properties of the k-type digital fundamental group of Boxer and to investigate some properties of minimal simple closed k-curves with relation to their embedding into some spaces in ${\mathbb{Z}}^n(2{\leq}n{\leq}3)$.