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

• Communications of the Korean Mathematical Society
• /
• v.15 no.2
• /
• pp.349-355
• /
• 2000

In this paper we generalize the Whitehead theorem which says that a homology equivalence implies a homotopy equivalence for nilpotent spaces. We make some theorems on a homotopy equivalence of non-nilpotent spaces, e.g., the solvable space or space satisfying the condition (T**) or space X with $\pi$1(X) Engel, or locally nilpotent space with some properties. Furthermore we find some conditions that the Wall invariant will be trivial.

• Journal of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.1031-1054
• /
• 2010

Let $\mathbb{Z}^n$ be the Cartesian product of the set of integers $\mathbb{Z}$ and let ($\mathbb{Z}$, T) and ($\mathbb{Z}^n$, $T^n$) be the Khalimsky line topology on $\mathbb{Z}$ and the Khalimsky product topology on $\mathbb{Z}^n$, respectively. Then for a set $X\;{\subset}\;\mathbb{Z}^n$, consider the subspace (X, $T^n_X$) induced from ($\mathbb{Z}^n$, $T^n$). Considering a k-adjacency on (X, $T^n_X$), we call it a (computer topological) space with k-adjacency and use the notation (X, k, $T^n_X$) := $X_{n,k}$. In this paper we introduce the notions of KD-($k_0$, $k_1$)-homotopy equivalence and KD-k-deformation retract and investigate a classification of (computer topological) spaces $X_{n,k}$ in terms of a KD-($k_0$, $k_1$)-homotopy equivalence.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.649-654
• /
• 1999

We consider the forgetful map from the group of equivariant self equivalences to the group of non-equivariant self equivalences. A sufficient condition for this forgetful map being a monomorphism is obtained. Several examples are given.

• Bulletin of the Korean Mathematical Society
• /
• v.41 no.3
• /
• pp.393-401
• /
• 2004

In this paper, we apply the concept of the group \ulcorner(X,A) of self pair homotopy equivalences of a CW-pair (X, A) to the Postnikov system. By using a short exact sequence related to the group of self pair homotopy equivalences, we obtain the following result: for any Postnikov section X$\sub$n/ of a CW-complex X, the group \ulcorner(X$\sub$n/, A) of self pair homotopy equivalences on the pair (X$\sub$n/, X) is isomorphic to the group \ulcorner(X) of self homotopy equivalences on X. As a corollary, we have, \ulcorner(K($\pi$, n), M($\pi$, n)) ≡ \ulcorner(M($\pi$, n)) for each n$\pi$1, where K($\pi$,n) is an Eilenberg-Mclane space and M($\pi$,n) is a Moore space.

• Journal of the Chungcheong Mathematical Society
• /
• v.36 no.4
• /
• pp.289-296
• /
• 2023

When G is an abelian group, we use the notation M(G, n) to denote the Moore space. The space X is the wedge product space of Moore spaces, given by X = M(ℤ_q, n+ 2) ∨ M(ℤ_q, n+ 1) ∨ M(ℤ_q, n). We determine the self-homotopy classes group [X, X] and the self-homotopy equivalence group 𝓔(X). We investigate the subgroups of [M_j , M_k] consisting of homotopy classes of maps that induce the trivial homomorphism up to (n + 2)-homotopy groups for j ≠ k. Using these results, we calculate the subgroup 𝓔^dim_#(X) of 𝓔(X) in which all elements induce the identity homomorphism up to (n + 2)-homotopy groups of X.

• Journal of the Korean Mathematical Society
• /
• v.43 no.3
• /
• pp.491-506
• /
• 2006

In this paper, we extend the concept of the group ${\varepsilon}(X)$ of self homotopy equivalences of a space X to that of an object in the category of pairs. Mainly, we study the group ${\varepsilon}(X,\;A)$ of pair homotopy equivalences from a CW-pair (X, A) to itself which is the special case of the extended concept. For a CW-pair (X, A), we find an exact sequence $1\;{\to}\;G\;{\to}\;{\varepsilon}(X,\;A)\;{to}\;{\varepsilon}(A)$ where G is a subgroup of ${\varepsilon}(X,\;A)$. Especially, for CW homotopy associative and inversive H-spaces X and Y, we obtain a split short exact sequence $1\;{\to}\;{\varepsilon}(X)\;{\to}\;{\varepsilon}(X{\times}Y,Y)\;{\to}\;{\varepsilon}(Y)\;{\to}\;1$ provided the two sets $[X{\wedge}Y,\;X{\times}Y]$ and [X, Y] are trivial.

• Honam Mathematical Journal
• /
• v.36 no.3
• /
• pp.519-530
• /
• 2014

To study a deformation of a digital space from the viewpoint of digital homotopy theory, we have often used the notions of a weak k-deformation retract [20] and a strong k-deformation retract [10, 12, 13]. Thus the papers [10, 12, 13, 16] firstly developed the notion of a strong k-deformation retract which can play an important role in studying a homotopic thinning of a digital space. Besides, the paper [3] deals with a k-deformation retract and its homotopic property related to a digital fundamental group. Thus, as a survey article, comparing among a k-deformation retract in [3], a strong k-deformation retract in [10, 12, 13], a weak deformation k-retract in [20] and a digital k-homotopy equivalence [5, 24], we observe some relationships among them from the viewpoint of digital homotopy theory. Furthermore, the present paper deals with some parts of the preprint [10] which were not published in a journal (see Proposition 3.1). Finally, the present paper corrects Boxer's paper [3] as follows: even though the paper [3] referred to the notion of a digital homotopy equivalence (or a same k-homotopy type) which is a special kind of a k-deformation retract, we need to point out that the notion was already developed in [5] instead of [3] and further corrects the proof of Theorem 4.5 of Boxer's paper [3] (see the proof of Theorem 4.1 in the present paper). While the paper [4] refers some properties of a deck transformation group (or an automorphism group) of digital covering space without any citation, the study was early done by Han in his paper (see the paper [14]).

• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1371-1385
• /
• 2019

Given a topological space X and a non-negative integer k, ${\varepsilon}^{\sharp}_k(X)$ is the set of all self-homotopy equivalences of X that do not change maps from X to an t-sphere $S^t$ homotopically by the composition for all $t{\geq}k$. This set is a subgroup of the self-homotopy equivalence group ${\varepsilon}(X)$. We find certain homotopic tools for computations of ${\varepsilon}^{\sharp}_k(X)$. Using these results, we determine ${\varepsilon}^{\sharp}_k(M(G,n))$ for $k{\geq}n$, where M(G, n) is a Moore space type of (G, n) for a finitely generated abelian group G.

• Kyungpook Mathematical Journal
• /
• v.59 no.3
• /
• pp.563-589
• /
• 2019

Let W and V be manifolds of dimension m + 2, M a locally flat submanifold of V whose dimension is m. Let $f:W{\rightarrow}V$ be a homotopy equivalence. The problem we study in this paper is the following: When is f homotopic to another homotopy equivalence $g:W{\rightarrow}V$ such that g is transverse regular along M and such that $g{\mid}g^{-1}(M):g^{-1}(M){\rightarrow}M$ is a simple homotopy equivalence? $L{\acute{o}}pez$ de Medrano (1970) called this problem the weak h-regularity problem. We solve this problem applying the codimension two surgery theory developed by the author (1973). We will work in higher dimensions, assuming that $$m{\geq_-}5$$.