• Journal of the Korean Mathematical Society
• /
• v.41 no.1
• /
• pp.1-20
• /
• 2004

Let A be a uniform algebra, and let $\phi$ be a self-map of the spectrum $M_A$ of A that induces a composition operator $C_{\phi}$, on A. It is shown that the image of $M_A$ under some iterate ${\phi}^n$ of \phi is hyperbolically bounded if and only if \phi has a finite number of attracting cycles to which the iterates of $\phi$ converge. On the other hand, the image of the spectrum of A under $\phi$ is not hyperbolically bounded if and only if there is a subspace of $A^{**}$ "almost" isometric to ${\ell}_{\infty}$ on which ${C_{\phi}}^{**}$ "almost" an isometry. A corollary of these characterizations is that if $C_{\phi}$ is weakly compact, and if the spectrum of A is connected, then $\phi$ has a unique fixed point, to which the iterates of $\phi$ converge. The corresponding theorem for compact composition operators was proved in 1980 by H. Kamowitz [17].

• Journal of the Korean School Mathematics Society
• /
• v.14 no.2
• /
• pp.163-178
• /
• 2011

The mathematics curriculum revised in 2007 includes 'problem fabrication'. So it is necessary to analyse the texts how much they include problem fabrication. In mathematics, problem fabrication and problem solving interact and stimulate each other. Also the main purpose of problem fabrication is to improve the students' problem solving. There are 16 different texts of grade 7 algebra which contain problems concerning 'problem fabrication'. We count the number of such problems in each sections. Also we divide problem fabrication into five types. Then we count the number of problems in each type and its frequencies in a section.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.18 no.8
• /
• pp.1967-1973
• /
• 1994

The free vibration of a thin plate with three different boundary conditions is discussed in this paper. A semi-analytical approach to the plate problems has been exploited using computer algebra system(CAS). The approximate solutions are assumed as algebraic polynomials that satisfy the appropriate boundary conditions. In order to solve problems, Galerkin method is used, which is known as an ineffective tool for practical engineering problems, being involved with a large number of multiple integration and differentiation. All the admissible functions used in this paper are generated automatically by CAS otherwise a tedious algebraic manipulations should be done by hand. One, six and fifteen-term solutions in terms of frequency parameters are presented and compared with exact solutions. Even using one-term solution, the comparison with existing data shows good agreement and accuracy of the present method.

• The Pure and Applied Mathematics
• /
• v.15 no.1
• /
• pp.73-84
• /
• 2008

After the introduction of fuzzy sets by Zadeh, there have been a number of generalizations of this fundamental concept. The notion of intuitionistic fuzzy sets introduced by Aranassov is one among them. In this paper, we apply the concept of an intuitionistic fuzzy set to commutative ideals in BCK-algebras. The notion of an intuitionistic fuzzy commutative ideal of a BCK-algebra is introduced, and some related properties are investigated. Characterizations of an intuitionistic fuzzy commutative ideal are given. Conditions for an intuitionistic fuzzy ideal to be an intuitionistic fuzzy commutative ideal are given. Using a collection of commutative ideals, intuitionistic fuzzy commutative ideals are established.

• Journal of applied mathematics & informatics
• /
• v.22 no.1_2
• /
• pp.475-489
• /
• 2006

After the introduction of fuzzy sets by Zadeh [8], there have been a number of generalizations of fundamental concept. The notion of intuitionistic fuzzy sets introduced by Atanassov is one among them. An intuitionistic fuzzy set is also called a bifuzzy set according to [5]. In this paper, we apply the concept of a bifuzzy set to (implicative) ideals in pseudo MV-algebras. The notion of a bifuzzy (implicative) ideal of a pseudo MV-algebra is introduced, and some related properties are investigated. Conditions for a bifuzzy set to be a bifuzzy ideal are given, and characterizations of a bifuzzy (implicative) ideal are provided. Using a family of ideals, bifuzzy ideals are established.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.6
• /
• pp.1523-1537
• /
• 2022

We present a new square root algorithm in finite fields which is a variant of the Pocklington-Peralta algorithm. We give the complexity of the proposed algorithm in terms of the number of operations (multiplications) in finite fields, and compare the result with other square root algorithms, the Tonelli-Shanks algorithm, the Cipolla-Lehmer algorithm, and the original Pocklington-Peralta square root algorithm. Both the theoretical estimation and the implementation result imply that our proposed algorithm performs favorably over other existing algorithms. In particular, for the NIST suggested field P-224, we show that our proposed algorithm is significantly faster than other proposed algorithms.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.351-361
• /
• 2015

We give examples of Lie ideals in a tridiagonal algebra $Alg\mathcal{L}_{\infty}$ and study some properties of Lie ideals in $Alg\mathcal{L}_{\infty}$. We also investigate relationships between Lie ideals in $Alg\mathcal{L}_{\infty}$. Let k be a fixed natural number. Let $\mathcal{A}$ be a linear manifold in $Alg\mathcal{L}_{\infty}$ such that $T_{(2k-1,2k)}=0$ for all $T{\in}\mathcal{A}$. Then $\mathcal{A}$ is a Lie ideal if and only if $T_{(2k-1,2k-1)}=T_{(2k,2k)}$ for all $T{\in}\mathcal{A}$.

• The Mathematical Education
• /
• v.50 no.2
• /
• pp.135-148
• /
• 2011

We can say that the history of mathematics is the history on the development of the number system. The number starts from Natural number and is constructed to Integer number and Rational number. The Rational number is not the complete number analytically so that Real number is completed by the idea of the nested interval method. Real number is completed analytically, however, is not by algebra, so the algebraically completed type of the rational number, through the way that similar to the process of completing real number, is Complex number. The purpose of this study is to show the most appropriate way for the development of the human being thinking about the teaching and leaning of Complex number. To do this, We have to consider the proof of the existence of Complex number, the background of the introduction of Complex number and the background knowledge that the teachers to teach Complex number should have. Also, this study analyzes the knowledge to be taught of Complex number based on the anthropological theory of didactics and finally presents the teaching method of Complex number based on this theory.

• Journal of Computing Science and Engineering
• /
• v.11 no.4
• /
• pp.130-141
• /
• 2017

Feature selection is one of the most challenging problems of pattern recognition and data mining. In this paper, a feature selection algorithm based on an improved version of binary differential evolution is proposed. The method simultaneously optimizes two feature selection criteria, namely, set approximation accuracy of rough set theory and relational algebra based derived score, in order to select the most relevant feature subset from an entire feature set. Superiority of the proposed method over other state-of-the-art methods is confirmed by experimental results, which is conducted over seven publicly available benchmark datasets of different characteristics such as a low number of objects with a high number of features, and a high number of objects with a low number of features.

• Journal of the Korean School Mathematics Society
• /
• v.8 no.3
• /
• pp.367-382
• /
• 2005

In this paper, we deal with various contents relating to the group concept in school mathematics and teaching of algebraic structures indirectly by combining these contents. First, we consider structure of knowledge based on Bruner, and apply these discussions to the teaching of algebraic structure in school algebra. As a result of these analysis, we can verify that the essence of algebraic structure is group concept. So we investigate the previous researches about group concept: Piaget, Freudenthal, Dubinsky. In our school, the contents relating to the group concept have been taught from elementary level indirectly. Tn elementary school, the commutative law and associative law is implicitly taught in the number contexts. And in middle school, various linear equations are taught by the properties of equality which include group concept. But these algebraic contents is not related to the high school. Though we deal with identity and inverse in the binary operations in high school mathematics, we don't relate this algebraic topics with the previous learned contents. In this paper, we discussed algebraic structure focusing to the group concept to obtain a connectivity among school algebra. In conclusion, the group concept can take role in relating these algebraic contents and teaching the algebraic structures in school algebra.