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

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.333-346
• /
• 2002

Let $F={F^v:S^1->S^1,v\in\; V$ and $g={G^v:S^1->S^1,v\in\; V$ be disjoint flows defined on the unit circle $S^1$, that is such flows that each their element either is the identity mapping or has no fixed point ((V, +) is a 2-divisible nontrivial abelian group). The aim of this paper is to give a necessary and sufficient codition for topological conjugacy of disjoint flows i.e., the existence of a homeomorphism $\Gamma:S^1->S^1$ satisfying $$\Gamma\circ\ F^v=G^v\circ\Gamma,\; v\in\; V$$ Moreover, under some further restrictions, we determine all such homeomorphisms.

• Communications of the Korean Mathematical Society
• /
• v.35 no.4
• /
• pp.1299-1307
• /
• 2020

We show that the Liechti-Strenner's example for the closed nonorientable surface in [13] minimizes the dilatation within the class of pseudo-Anosov homeomorphisms with an orientable invariant foliation and all but the first coefficient of the characteristic polynomial of the action induced on the first cohomology nonpositive. We also show that the Liechti-Strenner's example of orientation-reversing homeomorphism for the closed orientable surface in [13] minimizes the dilatation within the class of pseudo-Anosov homeomorphisms with an orientable invariant foliation and all but the first coefficient of the characteristic polynomial p(x) of the action induced on the first cohomology nonpositive or all but the first coefficient of p(x)(x ± 1)², p(x)(x² ± 1), or p(x)(x² ± x + 1) nonpositive.

• Journal of applied mathematics & informatics
• /
• v.30 no.3_4
• /
• pp.517-529
• /
• 2012

In this paper, the existence theorem of two positive solutions is established for nonlinear m-point boundary value problem by using an inequality for the following third-order differential equations $$({\phi}(u^{\prime\prime}))^{\prime}+a(t)f(t,u(t))=0,\;t{\in}(0,1)$$, $${\phi}(u^{\prime\prime}(0))=\sum^{m-2}_{i=1}a_i{\phi}(u^{\prime\prime}({\xi}_i)),\;u^{\prime}(1)=0,\;u(0)=\sum^{m-2}_{i=1}b_iu({\xi}_i)$$, where ${\phi}:R{\rightarrow}R$ is an increasing homeomorphism and homomorphism and $\phi(0)=0$. The nonlinear term f may change sign, as an application, an example to demonstrate our results is given.

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

• Journal of the Korean Mathematical Society
• /
• v.45 no.6
• /
• pp.1769-1784
• /
• 2008

The group Hameo (M, $\omega$) of Hamiltonian homeomorphisms of a connected symplectic manifold (M, $\omega$) was defined and studied in [7] and further in [6]. In these papers, the authors consistently used the $L^{(1,{\infty})}$-Hofer norm (and not the $L^{\infty}$-Hofer norm) on the space of Hamiltonian paths (see below for the definitions). A justification for this choice was given in [7]. In this article we study the $L^{\infty}$-case. In view of the fact that the Hofer norm on the group Ham (M, $\omega$) of Hamiltonian diffeomorphisms does not depend on the choice of the $L^{(1,{\infty})}$-norm vs. the $L^{\infty}$-norm [9], Y.-G. Oh and D. McDuff (private communications) asked whether the two notions of Hamiltonian homeomorphisms arising from the different norms coincide. We will give an affirmative answer to this question in this paper.

• Journal of the Chungcheong Mathematical Society
• /
• v.4 no.1
• /
• pp.103-113
• /
• 1991

Some properties of a path space and the fundamental group ${\sigma}(X,x_0,G)$ of a topological transformation group (X, G, ${\pi}$) are described. It is shown that ${\sigma}(X,x_0,H)$ is a normal subgroup of ${\sigma}(X,x_0,G)$ if H is a normal subgroup of G ; Let (X, G, ${\pi}$) be a transformation group with the open action property. If every identification map $p:{\Sigma}(X,x,G)\;{\longrightarrow}\;{\sigma}(X,x,G)$ is open for each $x{\in}X$, then ${\lambda}$ induces a homeomorphism between the fundamental groups ${\sigma}(X,x_0,G)$ and ${\sigma}(X,y_0,G)$ where ${\lambda}$ is a path from $x_0$ to $y_0$ in X ; The space ${\sigma}(X,x_0,G)$ is an H-space if the identification map $p:{\Sigma}(X,x_0,G)\;{\longrightarrow}\;{\sigma}(X,x_0,G)$ is open in a topological transformation group (X, G, ${\pi}$).

• Honam Mathematical Journal
• /
• v.1 no.1
• /
• pp.21-25
• /
• 1979

Abelian군(群)의 presheaf에 관한 직적(直積)과 직화(直和)를 Category 입장에서 정의(定義)하고 presheaf $F_{\lambda}\;({\lambda}{\epsilon}{\Lambda})$들의 두 직적(直積)(또는 直和)은 서로 동형적(同型的) 관계(關係)에 있으며, 특히 ${\phi}:X{\rightarrow}Y$가 homeomorphism이라 하고 ${\phi}_*F$를 X상(上)의 presheaf F의 direct image이라 하면 (1) $({\phi}_*F, \;{\phi}_*(f_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$가 $({\phi}_*F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}}$의 직적(直積)일 때 오직 그때 한하여 $(F,\;(f_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$는 $(F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$의 직적(直積)이다. (2) $({\phi}_*F,\;{\phi}_*(l_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$가 $({\phi}_*F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}}$의 직화(直和)일 때 오직 그때 한하여 $(F,\;(l_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$는 $(F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$의 직화(直和)이다. Let $(F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$ be an indexed set of presheaves of abelian group on topological space X. We can define the cartesian product $$\prod_{{\lambda}{\epsilon}{\Lambda}}\;F_{\lambda}$$ of $(F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$ by $$(\prod_{{\lambda}{\epsilon}{\Lambda}}\;F_{\lambda})(U)=\prod_{{\lambda}{\epsilon}{\Lambda}}(F_{\lambda}(U))$$ for U open in X $${\rho}_v^u:\;(\prod_{{\lambda}{\epsilon}{\Lambda}}\;F_{\lambda})(U){\rightarrow}(\prod_{{\lambda}{\epsilon}{\Lambda}}\;F_{\lambda})(V)((s_{\lambda})_{{\lambda}{\epsilon}{\Lambda}}{\rightarrow}(_{\lambda}{\rho}_v^u(s_{\lambda}))_{{\lambda}{\epsilon}{\Lambda}})$$ for $V{\subseteq}U$ open in X where $_{\lambda}{\rho}^U_V$ is a restriction of $F_{\lambda}$, And we have natural presheaf morphisms ${\pi}_{\lambda}$ and ${\iota}_{\lambda}$ such that ${\pi}_{\lambda}(U):\;({\prod}_\;F_{\lambda})(U){\rightarrow}F_{\lambda}(U)((s_{\lambda})_{{\lambda}{\epsilon}{\Lambda}}{\rightarrow}s_{\lambda})$ ${\iota}_{\lambda}(U):\;F_{\lambda}(U){\rightarrow}({\prod}\;F_{\lambda})(U)(s_{\lambda}{\rightarrow}(o,o,{\cdots}\;{\cdots}o,s_{\lambda},o,{\cdots}\;{\cdots}o)$ for $(s_{\lambda}){\epsilon}{\prod}_{\lambda}\;F_{\lambda}(U)$ and $(s_{\lambda}){\epsilon}F_{\lambda}(U)$.