• 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$.

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

The main goal of this paper is to prove the digital homotopy lifting theorem with relation to a radius n local 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.

• Journal of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.923-952
• /
• 2008

In this paper several continuities and homeomorphisms in computer topology are studied and their applications are investigated in relation to the classification of subs paces of Khalimsky n-dimensional space $({\mathbb{Z}}^n,\;T^n)$. Precisely, the notions of K-$(k_0,\;k_1)$-,$(k_0,\;k_1)$-,KD-$(k_0,\;k_1)$-continuities, and Khalimsky continuity as well as those of K-$(k_0,\;k_1)$-, $(k_0,\;k_1)$-, KD-$(k_0,\;k_1)$-homeomorphisms, and Khalimsky homeomorphism are studied and further, their applications are investigated.

• Honam Mathematical Journal
• /
• v.34 no.3
• /
• pp.451-465
• /
• 2012

Since there are several kinds of continuities of maps between digital spaces, the paper compares them, which can play an important role in digital topology and discrete geometry.

• 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.33 no.2
• /
• pp.231-246
• /
• 2011

Let $X_{n,k}$ be a Khalimsky topological n dimensional subspace with digital k-connectivity. In relation to the classification of spaces $X_{n,k}$, by comparing several kinds of continuities and homeomorphisms, the paper proposes a category which is suitable for studying the spaces $X_{n,k}$.

• Honam Mathematical Journal
• /
• v.33 no.4
• /
• pp.617-628
• /
• 2011

In relation to the classification of finite topological spaces the paper [17] studied various properties of finite topological spaces. Indeed, the study of future internet system can be very related to that of locally finite topological spaces with some order structures such as preorder, partial order, pretopology, Alexandroff topological structure and so forth. The paper generalizes the results from [17] so that the paper can enlarge topological and homotopic properties suggested in the category of finite topological spaces into those in the category of locally finite topological spaces including ALF spaces.

• Journal of the Korean Mathematical Society
• /
• v.44 no.6
• /
• pp.1479-1503
• /
• 2007

In this paper, we study a strong k-deformation retract derived from a relative k-homotopy and investigate its properties in relation to both a k-homotopic thinning and the k-fundamental group. Moreover, we show that the k-fundamental group of a wedge product of closed k-curves not k-contractible is a free group by the use of some properties of both a strong k-deformation retract and a digital covering. Finally, we write an algorithm for calculating the k-fundamental group of a dosed k-curve by the use of a k-homotopic thinning.

• 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\}$.