• Communications of the Korean Mathematical Society
• /
• v.20 no.3
• /
• pp.443-456
• /
• 2005

Let G be a Lie group, let L(G) be its Lie algebra, and let exp : $L(G){\rightarrow}G$ denote the exponential mapping. For $S{\subseteq}G$, we define the tangent set of S by $L(S)\;=\;\{X\;{\in}\;L(G)\;:\;exp(tX)\;\in\;S\;for\;all\;t\;{\geq}\;0\}$. We say that a semigroup S is strictly infinitesimally generated if S is the same as the semigroup generated by exp(L(S)). We find a tangent set of the semigroup of all non-singular totally positive matrices and show that the semigroup is strictly infinitesimally generated by the tangent set of the semigroup. This generalizes the familiar relationships between connected Lie subgroups of G and their Lie algebras

• Journal for History of Mathematics
• /
• v.19 no.1
• /
• pp.17-32
• /
• 2006

Topology began to be studied relatively later than the other branches of mathematics, such as geometry, algebra and analysis. Leonhard Euler is generally considered to be the founder of topology. In this paper we first investigate the beginning of topology and its development and then study Euler's life and his achievements in mathematics.

• Communications of the Korean Mathematical Society
• /
• v.12 no.3
• /
• pp.597-602
• /
• 1997

Let H be a separable complex Hilbert space and L(H) be the *-algebra of all bounded linear operators on H. For $T \in L(H)$, we construct a pair of semi-positive definite operators $$ $\mid$T$\mid$_r = (T^*T)^{\frac{1}{2}} and $\mid$T$\mid$_l = (TT^*)^{\frac{1}{2}}. $$ An operator T is called a semi-hyponormal operator if $$ Q_T = $\mid$T$\mid$_r - $\mid$T$\mid$_l \geq 0. $$ In this paper, by using a technique introduced by Berberian [1], we show that the approximate point spectrum $\sigma_{ap}(T)$ of a semi-hyponomal operator T is empty.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.1937-1956
• /
• 2013

The aim of this article is to lay a foundation for providing a soft algebraic tool in considering many problems that contain uncertainties. In order to provide these soft algebraic structures, the notion of union-soft sets is introduced, and its application to BCK/BCI-algebras is considered. The notions of union-soft algebras, union-soft (commutative) ideals and closed union-soft ideals are introduced, and related properties and relations are investigated. Conditions for a union-soft ideal to be closed are provided. Conditions for a union-soft ideal to be a union-soft commutative ideal are also provided. Characterizations of (closed) union-soft ideals and union-soft commutative ideals are established. Extension property for a union-soft commutative ideal is established.

• Communications of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.455-468
• /
• 2020

An element in a ring R with identity is called invo-clean if it is the sum of an idempotent and an involution and R is called invoclean if every element of R is invo-clean. Let C(R) be the center of a ring R and g(x) be a fixed polynomial in C(R)[x]. We introduce the new notion of g(x)-invo clean. R is called g(x)-invo if every element in R is a sum of an involution and a root of g(x). In this paper, we investigate many properties and examples of g(x)-invo clean rings. Moreover, we characterize invo-clean as g(x)-invo clean rings where g(x) = (x-a)(x-b), a, b ∈ C(R) and b - a ∈ Inv(R). Finally, some classes of g(x)-invo clean rings are discussed.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.67.5-67
• /
• 2001

A closed loop system with a linear plant and nonlinearity in the feedback connection is analyzed for its quasi-static orbital stability by a state-space approach. First a periodic orbit is assumed to exist in the loop which is determined by describing function method for the given nonlinearity. This is possible by selecting a proper nonlinearity and a rigorous justification of the describing function method.[1-3, 18, 20]. Then by introducing residual operator, a linear perturbed model can be formulated. Using various transformations like a modified eigenstructure decomposition, periodic-averaging, charge of variables and coordinate transformation, the stability of the periodic orbit, as a solution of harmonic balance, can be shown by investigating a simple scalar function and result of linear algebra. This is ...

• Asia pacific journal of information systems
• /
• v.12 no.2
• /
• pp.99-118
• /
• 2002

In this paper, we propose a visual relational database query language, VRQL, by modifying and extending the recently proposed $VOQL^*$. Like $VOQL^*$, VRQL, based on ven Diagram and graph, naturally reflects the structure of schemas in queries and has recursive formal semantics. However, VRQL has relationally complete expressiveness, while $VOQL^*$ is only a conjunctive query language. In the logical definition part of VRQL, which is the relational version of $VOQL^*$, most features of $VOQL^*$ are retained, and the semantics of queries are based on the tuple relational calculus. In the procedural definition part of VRQL, by introducing the concept of VRQL view and set operations, the expressiveness of VRQL is increased to the level equivalent to that of the relational algebra. Due to the introduction of VRQL views, existing queries or temporary queries used in the process of creating queries can be represented with views, so that complex queries may be represented more conveniently. Set operations, used with VRQL views, enable us to represent various queries, beyond the expressiveness of conjunctive query languages.

• The Pure and Applied Mathematics
• /
• v.11 no.4
• /
• pp.287-292
• /
• 2004

The operator $A \; {\in} \; L(H_{i})$, the Banach algebra of bounded linear operators on the complex infinite dimensional Hilbert space $\cal H_{i}$, is said to be p-hyponormal if $(A^\ast A)^P \geq (AA^\ast)^p$ for $p\; \in \; (0,1]$. Let (equation omitted) denote the completion of (equation omitted) with respect to some crossnorm. Let $I_{i}$ be the identity operator on $H_{i}$. Letting (equation omitted), where each $A_{i}$ is p-hyponormal, it is proved that the commuting n-tuple T = ($T_1$,..., $T_{n}$) satisfies Bishop's condition ($\beta$) and that if T is Weyl then there exists a non-singular commuting n-tuple S such that T = S + F for some n-tuple F of compact operators.

• The Pure and Applied Mathematics
• /
• v.23 no.4
• /
• pp.347-375
• /
• 2016

Let R be a 3!-torsion free noncommutative semiprime ring, U a Lie ideal of R, and let $D:R{\rightarrow}R$ be a Jordan derivation. If [D(x), x]D(x) = 0 for all $x{\in}U$, then D(x)[D(x), x]y - yD(x)[D(x), x] = 0 for all $x,y{\in}U$. And also, if D(x)[D(x), x] = 0 for all $x{\in}U$, then [D(x), x]D(x)y - y[D(x), x]D(x) = 0 for all $x,y{\in}U$. And we shall give their applications in Banach algebras.

• East Asian mathematical journal
• /
• v.31 no.5
• /
• pp.695-706
• /
• 2015

Let ${\mathcal{H}}$ be an infinite dimensional complex Hilbert space, and let $B({\mathcal{H}})$ be the algebra of all bounded linear operators on ${\mathcal{H}}$. Recall that an operator $T{\in}B({\mathcal{H})$ has property B(n) if ${\mid}T^n{\mid}{\geq}{\mid}T{\mid}^n$, $n{\geq}2$, which generalizes the class A-operator. We characterize the property B(n) of weighted shifts $S_{\lambda}$ over (${\eta},\;{\kappa}$)-type directed trees which appeared in the study of subnormality of weighted shifts over directed trees recently. In addition, we discuss the property B(n) of weighted shifts $S_{\lambda}$ over (2, 1)-type directed trees with nonzero weights are being distinct with respect to $n{\geq}2$. And we give some properties of weighted shifts $S_{\lambda}$ over (2, 1)-type directed trees with property B(2).