• Honam Mathematical Journal
• /
• v.31 no.3
• /
• pp.279-292
• /
• 2009

As a survey-type article, the paper reviews some results on a regular covering space in digital covering theory. The recent paper [10](see also [12]) established the notion of regular covering space in digital covering theory and studied its various properties. Besides, the papers [14, 16] developed a discrete Deck's transformation group of a digital covering. In this paper we study further their properties. By using these properties, we can classify digital covering spaces. Finally, the paper proposes an open problem.

• Communications of the Korean Mathematical Society
• /
• v.19 no.3
• /
• pp.507-517
• /
• 2004

Let (2,2,2,2) be ramification indices for the Riemann sphere. It is well known that the regular branched covering map corresponding to this, is the Weierstrass P function. Lattes [7] gives a rational function R(z)= ${\frac{z^4+{\frac{1}{2}}g2^{z}^2+{\frac{1}{16}}g{\frac{2}{2}}$ which is chaotic on ${\bar{C}}$ and is induced by the Weierstrass P function and the linear map L(z) = 2z on complex plane C. It is also known that there exist regular branched covering maps from $T^2$ onto ${\bar{C}}$ if and only if the ramification indices are (2,2,2,2), (2,4,4), (2,3,6) and (3,3,3), by the Riemann-Hurwitz formula. In this paper we will construct regular branched covering maps corresponding to the ramification indices (2,4,4), (2,3,6) and (3,3,3), as well as chaotic maps induced by these regular branched covering maps.

• Communications of the Korean Mathematical Society
• /
• v.13 no.1
• /
• pp.109-121
• /
• 1998

Let X,Y be connected, locally connected, semilocally simply connected and $f,g : X \to Y$ be a pair of maps. We find an upper bound of the Reidemeister number R(f,g) by using the regular coverig spaces.

• Honam Mathematical Journal
• /
• v.37 no.3
• /
• pp.287-297
• /
• 2015

In this paper, we investigate $T_1$ Boolean subalgebras of the Boolean algebra consisting all regular closed sets in a space and their Wallman covers. In particular, we will give sufficient and necessary conditions of spaces X satisfying ${\beta}E_{cc}(X)=E_{cc}({\beta}X)$.

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.1
• /
• pp.117-124
• /
• 1993

In this paper, we introduce a concept of quasi $O_{z}$ -spaces which generalizes that of $O_{z}$ -spaces. Indeed, a completely regular space X is a quasi $O_{z}$ -space if for any regular closed set A in X, there is a zero-set Z in X with A = c $l_{x}$ (in $t_{x}$ (Z)). We then show that X is a quasi $O_{z}$ -space iff every open subset of X is $Z^{#}$-embedded and that X is a quasi $O_{z}$ -spaces are left fitting with respect to covering maps. Observing that a quasi $O_{z}$ -space is an extremally disconnected iff it is a cloz-space, the minimal extremally disconnected cover, basically disconnected cover, quasi F-cover, and cloz-cover of a quasi $O_{z}$ -space X are all equivalent. Finally it is shown that a compactification Y of a quasi $O_{z}$ -space X is again a quasi $O_{z}$ -space iff X is $Z^{#}$-embedded in Y. For the terminology, we refer to [6].[6].

• Journal of the Korean Mathematical Society
• /
• v.53 no.4
• /
• pp.725-735
• /
• 2016

A pair of bodies rolling on each other is an interesting example of nonholonomic systems in control theory. There is a geometric condition equivalent to the rolling constraint which enables us to generalize the rolling motions for any two-dimensional Riemannian manifolds. This system has a five-dimensional phase space. In order to study the controllability of the rolling surfaces, we lift the system to a six-dimensional space and show that the lifted system is controllable unless the two surfaces have isometric universal covering spaces. In the non-controllable case there are some three-dimensional orbits each of which corresponds to an isometry of the universal covering spaces.

• Communications of the Korean Mathematical Society
• /
• v.26 no.1
• /
• pp.135-149
• /
• 2011

Using (r, s)-preopen sets [14] and pre-${\omega}_t$-closures [6], a new kind of covering property $P^t_{({\omega}_r,s)}$-closedness is introduced in a bitopological space and several characterizations via filter bases, nets and grills [30] along with various properties of such concept are investigated. Two new types of cluster sets, namely pre-(${\omega}_r$, s)t-${\theta}_f$-cluster sets and (r, s)t-${\theta}_f$-precluster sets of functions and multifunctions between two bitopological spaces are introduced. Several properties of pre-(${\omega}_r$, s)t-${\theta}_f$-cluster sets are investigated and using the degeneracy of such cluster sets, some new characterizations of some separation axioms in topological spaces or in bitopological spaces are obtained. A sufficient condition for $P^t_{({\omega}_r,s)}$-closedness has also been established in terms of pre-(${\omega}_r$, s)t-${\theta}_f$-cluster sets.