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

• 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 applied mathematics & informatics
• /
• v.28 no.5_6
• /
• pp.1171-1184
• /
• 2010

In this paper, by using fixed point theorems in cones, the existence of positive solutions is considered for nonlinear m-point boundary value problem for the following second-order dynamic equations on time scales $({\phi}(u^{\Delta}))^{\nabla}+a(t)f(t,\;u(t))=0$, t $\in$ (0, T), $u(0)=\sum\limits^{m-2}_{i=1}a_iu(\xi_i)$, $\phi(u^{\Delta}(T))=\sum\limits^{m-2}_{i=1}b_i{\phi}(u^{\Delta}(\xi_i))$, where $\phi$ : R $\rightarrow$ R is an increasing homeomorphism and positive homomorphism and ${\phi}(0)=0$. In [27], we obtained the existence results of the above problem for an increasing homeomorphism and positive homomorphism with sign changing nonlinearity. The purpose of this paper is to supplement with a result in the case when the nonlinear term f is nonnegative, and the most point we must point out for readers is that there is only the p-Laplacian case for increasing homeomorphism and positive homomorphism due to the sign restriction. As an application, one example to demonstrate our results are given.

• Bulletin of the Korean Mathematical Society
• /
• v.32 no.1
• /
• pp.93-102
• /
• 1995

In [6], we introduce a hyperbolic homeomorphism on a compact metrizable space and show that a hyperbolic homeomorphism is topologically stable. The purpose of this paper is to study a necessary and sufficient condition for a homeomorphism to be hyperbolic. We get the following theorem.

• Communications of the Korean Mathematical Society
• /
• v.21 no.2
• /
• pp.355-361
• /
• 2006

We prove that if a continuous surjective map f on a compact metric space X has the average shadowing property, then every point x is chain recurrent. We also show that if a homeomorphism f has more than two fixed points on $S^1$, then f does not satisfy the average shadowing property. Moreover, we construct a homeomorphism on a circle which satisfies the shadowing property but not the average shadowing property. This shows that the converse of the theorem 1.1 in [6] is not true.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.1
• /
• pp.323-333
• /
• 2015

Let X be a compact metric space and let |A| denote the cardinality of a set A. We prove that if $f:X{\rightarrow}X$ is a homeomorphism and ${\mid}X{\mid}={\infty}$, then for all ${\delta}$ > 0 there is $A{\subset}X$ such that |A| = 4 and for all $k{\in}\mathbb{Z}$ there are $x,y{\in}f^k(A)$, $x{\neq}y$, such that dist(x, y) < ${\delta}$. An observer that can only distinguish two points if their distance is grater than ${\delta}$, for sure will say that A has at most 3 points even knowing every iterate of A and that f is a homeomorphism. We show that for hyperexpansive homeomorphisms the same ${\delta}$-observer will not fail about the cardinality of A if we start with |A| = 3 instead of 4. Generalizations of this problem are considered via what we call (m, n)-expansiveness.

• Journal of the Chungcheong Mathematical Society
• /
• v.31 no.1
• /
• pp.47-52
• /
• 2018

Let ${\delta}$ be a derivation in a noetherian integral domain A. It is shown that a natural map induces a homeomorphism between the spectrum of $A[z;{\delta}]$ and the Poisson spectrum of $A[z;{\delta}]_p$ such that its restriction to the primitive spectrum of $A[z;{\delta}]$ is also a homeomorphism onto the Poisson primitive spectrum of $A[z;{\delta}]_p$.

• Journal of the Chungcheong Mathematical Society
• /
• v.29 no.1
• /
• pp.151-155
• /
• 2016

In this paper, we show that if a continuum-wise expansive homeomorphism on a compact connected metric space is shadowing then it is topologically stable. This generalizes the main result of [4].