• Honam Mathematical Journal
• /
• v.35 no.4
• /
• pp.707-716
• /
• 2013

The present paper consists of two parts. Since the recent paper [4] proved that an Alexandroff $T_0$-space is a semi-$T_{\frac{1}{2}}$-space, the first part studies semi-open and semi-closed structures of the Khalimsky nD space. The second one focuses on the study of a relation between the LS-property of ($SC^{n_1,l_1}_{k_1}{\times}SC^{n_2,l_2}_{k_2}$, k) relative to the simple closed $k_i$-curves $SC^{n_i,l_i}_{k_i}$, $i{\in}\{1,2\}$ and its normal k-adjacency. In addition, the present paper points out that the main theorems of Boxer and Karaca's paper [3] such as Theorems 4.4 and 4.7 of [3] cannot be new assertions. Indeed, instead they should be attributed to Theorems 4.3 and 4.5, and Example 4.6 of [10].

• Journal of Magnetics
• /
• v.16 no.3
• /
• pp.240-245
• /
• 2011

A new hybrid ON/OFF method is presented for the fast solution of electromagnetic inverse problems in high frequency domains. The proposed method utilizes both topological sensitivity (TS) and material sensitivity (MS) to update material properties in unit design cells. MS provides smooth design space and stable convergence, while TS enables sudden changes of material distribution when MS slows down. This combination of two sensitivities enables a reduction in total computation time. The TS and MS analyses are based on a variational approach and an adjoint variable method (AVM), which permits direct calculation of both sensitivity values from field solutions of the primary and adjoint systems. Investigation of the formulations of TS and MS reveals that they have similar forms, and implementation of the hybrid ON/OFF method that uses both sensitivities can be achieved by one optimization module. The proposed method is applied to dielectric material reconstruction problems, and the results show the feasibility and effectiveness of the method.

• Korean Journal of Mathematics
• /
• v.28 no.3
• /
• pp.439-447
• /
• 2020

Let M be a lattice module over a C-lattice L. Let Spec^s(M) be the collection of all second elements of M. In this paper, we consider a topology on Spec^s(M), called the second classical Zariski topology as a generalization of concepts in modules and investigate the interplay between the algebraic properties of a lattice module M and the topological properties of Spec^s(M). We investigate this topological space from the point of view of spectral spaces. We show that Spec^s(M) is always T₀-space and each finite irreducible closed subset of Spec^s(M) has a generic point.

• Journal of the Korean Mathematical Society
• /
• v.37 no.6
• /
• pp.901-913
• /
• 2000

This is a summary of results involving the development of a theory of an index of an isolated critical point for densely defined nonlinear operators of type (S(sub)+)(sub)0,L. This index theory is associated with a degree theory, for such operators, whch has been recently developed by the authors.

• Journal of applied mathematics & informatics
• /
• v.33 no.5_6
• /
• pp.579-591
• /
• 2015

Properties of prime filters are studied in BE-algebras as well as in commutative BE-algebras. An equivalent condition is derived for a BE-algebra to become a totally ordered set. A condition L is introduced in a commutative BE-algebra in ordered to study some more properties of prime filters in commutative BE-algebras. A set of equivalent conditions is derived for a commutative BE-algebra to become a chain. Some topological properties of the space of all prime filters of BE-algebras are studied.

• Communications of the Korean Mathematical Society
• /
• v.9 no.4
• /
• pp.831-836
• /
• 1994

In this paper we characterize the quasiaffine transforms of quasisubscalar operators. Let H and K be separable, complex Hilbert spaces and L(H,K) denote the space of all linear, bounded operators from H to K. If H = K, we write L(H) in place of L(H,K). A linear bounded operators S on H is called scalar of order m if there is a continuous unital morphism of topological algebras $$ \Phi : C^m_0(C) \to L(H) $$ such that $\Phi(z) = S$, where as usual z stands for identity function on C, and $C^m_0(C)$ stands for the space of compactly supproted functions on C, continuously differentiable of order m, $0 \leq m \leq \infty$.

• Kyungpook Mathematical Journal
• /
• v.57 no.3
• /
• pp.385-391
• /
• 2017

In this paper, we study the notion of $z^J$ - ideals of posets and explore the various properties of $z^J$-ideals in posets. The relations between topological space on Sspec(P), the set $I_Q=\{x{\in}P:L(x,y){\subseteq}I\text{ for some }y{\in}P{\backslash}Q\}$ for an ideal I and a strongly prime ideal Q of P and $z^J$-ideals are discussed in poset P.

• Journal of Integrative Natural Science
• /
• v.11 no.1
• /
• pp.51-56
• /
• 2018

For topological vector spaces X and Y, let $F_0(X,Y)=\{f{\in}Y^X:f(0)=0\}$. Then it is an extremely large family and the family of linear operators is a very small subfamily of $F_0(X,Y)$. In this paper, we establish the characterizations of $F_0(X,Y)$-matrix families (${l^{\infty}(X)$, ${l^{\infty}(Y)$), ($c_0(X)$, $l^{\infty}(Y)$) and ($c_0(X)$, $l^{\infty}(Y)$).

• Journal of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.251-264
• /
• 1995

Applications of the classical Knaster-Kuratowski-Mazurkiewicz (si-mply, KKM) theorem and the fixed point theory of multifunctions defined on convex subsets of topological vector spaces have been greatly improved by adopting the concept of convex spaces due to Lassonde [L1]. In this direction, the first author [P5] found that certain coincidence theorems on a large class of composites of upper semicontinuous multifunctions imply many fundamental results in the KKM theory.

• Kyungpook Mathematical Journal
• /
• v.48 no.3
• /
• pp.487-493
• /
• 2008

A. Di Nola & S.Sessa [8] showed that two compact spaces X and Y are homeomorphic iff the MV -algebras C(X, I) and C(Y, I) of continuous functions defined on X and Y respectively are isomorphic. And they proved that A is a semisimple MV -algebra iff A is a subalgebra of C(X) for some compact Hausdorff space X. In this paper, firstly by use of functorial argument, we show these characterization theorems. Furthermore we obtain some other functorial results between topological spaces and MV -algebras. Secondly as a classical problem, we find a necessary and sufficient condition on a given residuated l-monoid that it is segmenently embedded into an l-group with order unit.