• Bulletin of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.627-637
• /
• 2013

Let [$n$] = {1, 2, ${\ldots}$, $n$} be ordered in the standard way. The order-preserving full transformation semigroup ${\mathcal{O}}_n$ is the set of all order-preserving singular full transformations on [$n$] under composition. For this semigroup we describe maximal subsemibands, maximal regular subsemibands, locally maximal regular subsemibands, and completely obtain their classification.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.2
• /
• pp.419-431
• /
• 2021

In this paper we discuss the classical problem of finding conditions on the entire coefficients A(z) and B(z) guaranteeing that all nontrivial solutions of f" + A(z)f' + B(z)f = 0 are of infinite order. We assume A(z) is an entire function of completely regular growth and B(z) satisfies three different conditions, then we obtain three results respectively. The three conditions are (1) B(z) has a dynamical property with a multiply connected Fatou component, (2) B(z) satisfies T(r, B) ~ log M(r, B) outside a set of finite logarithmic measure, (3) B(z) is extremal for Denjoy's conjecture.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.1
• /
• pp.151-156
• /
• 2007

A connection between weak ${\pi}-regularity$ and the condition every prime ideal is maximal will be investigated. We prove that a certain 2-primal ring R is weakly ${\pi}-regular$ if and only if every prime ideal is maximal. This result extends several known results nontrivially. Moreover a characterization of minimal prime ideals is also considered.

• Journal of applied mathematics & informatics
• /
• v.19 no.1_2
• /
• pp.241-251
• /
• 2005

In this paper, we introduce a new algebraic method to characterize rational PH plane curves. And using this method, we study the algebraic characterization of generic strongly regular rational plane PH curves expressed in the complex formalism which is introduced by R.T. Farouki. We prove that generic strongly semi-regular rational PH plane curves are completely characterized by solving a simple functional equation H(f, g) = $h^2$ where h is a complex polynomial and H is a bi-linear operator defined by H(f, g) = f'g - fg' for complex polynomials f,g.

• Honam Mathematical Journal
• /
• v.36 no.3
• /
• pp.569-596
• /
• 2014

In several applied disciplines like control engineering, computer sciences, error-correcting codes and fuzzy automata theory, the use of fuzzied algebraic structures especially ordered semi-groups and their fuzzy subsystems play a remarkable role. In this paper, we introduce the notion of (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy subsystems of ordered semigroups namely (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy generalized bi-ideals of ordered semigroups. The important milestone of the present paper is to link ordinary generalized bi-ideals and (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy generalized bi-ideals. Moreover, different classes of ordered semi-groups such as regular and left weakly regular ordered semigroups are characterized by the properties of this new notion. Finally, the upper part of a (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy generalized bi-ideal is defined and some characterizations are discussed.

• Proceedings of the KIEE Conference
• /
• 1990.11a
• /
• pp.319-322
• /
• 1990

Self-controlled permanent magnet synchronous motor (PMSM) has similar operating characteristics as seperately excited dc motor. It is favored in servo applications due to its improvement of efficiency and maintenance. This paper presents completely digitalized controller using microprocessor and voltage fed inverter. The speed control system for PMSM is implemented. To control the motor speed, the control system regulates the magnitude of Inverter output voltage by regular-sampled PWM method to generate sinusoidal PWM wave with microprocessor. And to keep the range of inverter switching frequency, it varies the number of pulse train according to the speed.

• The Mathematical Education
• /
• v.16 no.2
• /
• pp.22-26
• /
• 1978

It is shown that a map having an extension to an open map between the Alex-androff base compactifications of its domain and range has a unique such extension. J.S. Wasileski has introduced the Alexandroff base compactifications of Hausdorff spaces endowed with Alexandroff bases. We introduce a definition of morphism between such spaces to obtain a category which we denote by ABC. We prove that the Alexandroff base compactification on objects can be extended to a functor on ABC and that the compact objects give an epireflective subcategory of ABC. For each topological space X there exists a completely regular space $\alpha$X and a surjective continuous function $\alpha$$_{x}$ : Xlongrightarrow$\alpha$X such that for each completely regular space Z and g$\in$C (X, Z) there exists a unique g$\in$C($\alpha$X, 2) with g=g$^{\circ}$$\beta$$_{x}$. Such a pair ($\alpha$$_{x}$, $\alpha$X) is called a completely regularization of X. Let TOP be the category of topological spaces and continuous functions and let CREG be the category of completely regular spaces and continuous functions. The functor $\alpha$ : TOPlongrightarrowCREG is a completely regular reflection functor. For each topological space X there exists a compact Hausdorff space $\beta$X and a dense continuous function $\beta$x : Xlongrightarrow$\beta$X such that for each compact Hausdorff space K and g$\in$C (X, K) there exists a uniqueg$\in$C($\beta$X, K) with g=g$^{\circ}$$\beta$$_{x}$. Such a pair ($\beta$$_{x}$, $\beta$X) is called a Stone-Cech compactification of X. Let COMPT$_2$ be the category of compact Hausdorff spaces and continuous functions. The functor $\beta$ : TOPlongrightarrowCOMPT$_2$ is a compact reflection functor. For each topological space X there exists a realcompact space (equation omitted) and a dense continuous function (equation omitted) such that for each realcompact space Z and g$\in$C(X, 2) there exists a unique g$\in$C (equation omitted) with g=g$^{\circ}$(equation omitted). Such a pair (equation omitted) is called a Hewitt's realcompactification of X. Let RCOM be the category of realcompact spaces and continuous functions. The functor (equation omitted) : TOPlongrightarrowRCOM is a realcompact refection functor. In [2], D. Harris established the existence of a category of spaces and maps on which the Wallman compactification is an epirefiective functor. H. L. Bentley and S. A. Naimpally [1] generalized the result of Harris concerning the functorial properties of the Wallman compactification of a T$_1$-space. J. S. Wasileski [5] constructed a new compactification called Alexandroff base compactification. In order to fix our notations and for the sake of convenience. we begin with recalling reflection and Alexandroff base compactification.

• Kyungpook Mathematical Journal
• /
• v.45 no.2
• /
• pp.199-209
• /
• 2005

An ideal space is ${\cal{I}}-resolvable$ if it has two disjoint ${\cal{I}}-dense$ subsets. We answer the question: If X is ${\cal{I}}-resolvable$, then is X (${\cal{I}}\;{\cup}\;{\cal{N}$)-resolvable?, posed by Dontchev, Ganster and Rose. We give three generalizations of the well known Banach Category Theorem and deduce the Banach category Theorem as a corollary. Characterizations of completely codense ideals and ${\cal{I}-locally$ closed sets are given and their properties are discussed.

• Honam Mathematical Journal
• /
• v.39 no.4
• /
• pp.575-590
• /
• 2017

A new class of functions called $R_{\theta}$-supercontinuous functions is introduced. Their basic properties are studied and their place in the hierarchy of strong variants of continuity, which already exist in the literature, is elaborated. The class of $R_{\theta}$-supercontinuous functions properly contains the class of $R_z$-supercontinuous functions [39] which in turn properly contains the class of $R_{cl}$-supercontinuous functions [43] and so includes all cl-supercontinuous (clopen continuous) functions ([38], [34]) and is properly contained in the class of $R_{\delta}$-supercontinuous functions [24].

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.10 no.4
• /
• pp.296-302
• /
• 2010

This paper considers fuzzifying topologies, a special case of I-fuzzy topologies (bifuzzy topologies) introduced by Ying [16, (I)]. It investigates topological notions defined by means of regular open sets when these are planted into the frame-work of Ying's fuzzifying topological spaces (in ${\L}$ukasiewwicz fuzzy logic). The concept of fuzzifying nearly compact spaces is introduced and some of its properties are obtained. We use the finite intersection property to give a characterization of fuzzifying nearly compact spaces. Furthermore, we study the image of fuzzifying nearly compact spaces under fuzzifying completely continuous functions, fuzzifying almost continuity and fuzzifying R-map.