• Bulletin of the Korean Mathematical Society
• /
• v.30 no.2
• /
• pp.187-191
• /
• 1993

In this note we prove the following result: Let A be a complex Banach *-algebra with continuous involution and let B be an $A^{*}$-algebra./T(A) = B. Then T is continuous (Theorem 2). From above theorem some others results of special interest and some well-known results follow. (Corollaries 3,4,5,6 and 7). We close this note with some generalizations and some remarks (Theorems 8.9.10 and question). Throughout this note we consider only complex algebras. Let A and B be complex algebras. A linear mapping T from A into B is called jordan homomorphism if T( $x^{1}$) = (Tx)$^{2}$ for all x in A. A linear mapping T : A .rarw. B is called spectrally-contractive mapping if .rho.(Tx).leq..rho.(x) for all x in A, where .rho.(x) denotes spectral radius of element x. Any homomorphism algebra is a spectrally-contractive mapping. If A and B are *-algebras, then a homomorphism T : A.rarw.B is called *-homomorphism if (Th)$^{*}$=Th for all self-adjoint element h in A. Recall that a Banach *-algebras is a complex Banach algebra with an involution *. An $A^{*}$-algebra A is a Banach *-algebra having anauxiliary norm vertical bar . vertical bar which satisfies $B^{*}$-condition vertical bar $x^{*}$x vertical bar = vertical bar x vertical ba $r^{2}$(x in A). A Banach *-algebra whose norm is an algebra $B^{*}$-norm is called $B^{*}$-algebra. The *-semi-simple Banach *-algebras and the semi-simple hermitian Banach *-algebras are $A^{*}$-algebras. Also, $A^{*}$-algebras include $B^{*}$-algebras ( $C^{*}$-algebras). Recall that a semi-prime algebra is an algebra without nilpotents two-sided ideals non-zero. The class of semi-prime algebras includes the class of semi-prime algebras and the class of prime algebras. For all concepts and basic facts about Banach algebras we refer to [2] and [8].].er to [2] and [8].].

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.2
• /
• pp.89-93
• /
• 1985

One of the most important problems in automatic continuity theory is to solve the question of continuity of an algebra homomorphism from a Banach algebra into a semisimple Banach algebra with dense range. Many results on this subject are obtained imposing some conditions on the domains or the ranges of homomorphisms. For most recent results and references in automatic continuity theory one may refer to [1], [4] and [5]. In this note we study some properties of homomorphisms from $C^{*}$-algebras into Banach algebras. It is shown that the range of an isomorphism from a $C^{*}$-algebra into a Banach algebra contains no non zero element of the radical of B. Using this result we show that the same holds for a continuous homomorphism, hence a Banach algebra which is the image of a $C^{*}$-algebra under a continuous homomorphism is necessarily semisimple. Thus if there is a homomorphism from a $C^{*}$-algebra onto a non-semisimple Banach algebra it must be discontinuous. Also it follows that every non zero homomorphism from a $C^{*}$-algebra into a radical algebra is discontinuous. Then we make a brief observation on the behavior of quasinilpotent element of noncommutative $C^{*}$-algebras in relation with continuous homomorphisms.momorphisms.

• Journal of the Korean Mathematical Society
• /
• v.43 no.2
• /
• pp.323-356
• /
• 2006

Let X and Y be vector spaces. It is shown that a mapping $f\;:\;X{\rightarrow}Y$ satisfies the functional equation $$mn_{mn-2}C_{k-2}f(\frac {x_1+...+x_{mn}} {mn})$$ $(\ddagger)\;+mn_{mn-2}C_{k-1}\;\sum\limits_{i=1}^n\;f(\frac {x_{mi-m+1}+...+x_{mi}} {m}) =k\;{\sum\limits_{1{\leq}i_1<... if and only if the mapping $f : X{\rightarrow}Y$ is additive, and we prove the Cauchy-Rassias stability of the functional equation $(\ddagger)$ in Banach modules over a unital $C^*-algebra$. Let A and B be unital $C^*-algebra$ or Lie $JC^*-algebra$. As an application, we show that every almost homomorphism h : $A{\rightarrow}B$ of A into B is a homomorphism when $h(2^d{\mu}y) = h(2^d{\mu})h(y)\;or\;h(2^d{\mu}\;o\;y)=h(2^d{\mu})\;o\;h(y)$ for all unitaries ${\mu}{\in}A,\;all\;y{\in}A$, and d = 0,1,2,..., and that every almost linear almost multiplicative mapping $h:\;A{\rightarrow}B$ is a homomorphism when h(2x)=2h(x) for all $x{\in}A$. Moreover, we prove the Cauchy-Rassias stability of homomorphisms in $C^*-algebras$ or in Lie $JC^*-algebras$, and of Lie $JC^*-algebra$ derivations in Lie $JC^*-algebras$.

• The Pure and Applied Mathematics
• /
• v.17 no.2
• /
• pp.115-130
• /
• 2010

Let $\cal{A}$ be a unital Banach algebra. If f : $\cal{A}{\rightarrow}\cal{A}$ is an approximately quadratic derivation in the sense of Hyers-Ulam-J.M. Rassias, then f : $\cal{A}{\rightarrow}\cal{A}$ is anexactly quadratic derivation. On the other hands, let $\cal{A}$ and $\cal{B}$ be Banach algebras.Any approximately generalized homomorphism f : $\cal{A}{\rightarrow}\cal{B}$ corresponding to Cauchy, Jensen functional equation can be estimated by a generalized homomorphism.

• Communications of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.165-170
• /
• 2018

In this paper, we show that every unital n-Jordan homomorphism ${\varphi}$ from a Banach algebra ${\mathcal{A}}$ onto a semisimple commutative Banach algebra B is continuous.

• Journal of applied mathematics & informatics
• /
• v.28 no.5_6
• /
• pp.1171-1184
• /
• 2010

In this paper, by using fixed point theorems in cones, the existence of positive solutions is considered for nonlinear m-point boundary value problem for the following second-order dynamic equations on time scales $({\phi}(u^{\Delta}))^{\nabla}+a(t)f(t,\;u(t))=0$, t $\in$ (0, T), $u(0)=\sum\limits^{m-2}_{i=1}a_iu(\xi_i)$, $\phi(u^{\Delta}(T))=\sum\limits^{m-2}_{i=1}b_i{\phi}(u^{\Delta}(\xi_i))$, where $\phi$ : R $\rightarrow$ R is an increasing homeomorphism and positive homomorphism and ${\phi}(0)=0$. In [27], we obtained the existence results of the above problem for an increasing homeomorphism and positive homomorphism with sign changing nonlinearity. The purpose of this paper is to supplement with a result in the case when the nonlinear term f is nonnegative, and the most point we must point out for readers is that there is only the p-Laplacian case for increasing homeomorphism and positive homomorphism due to the sign restriction. As an application, one example to demonstrate our results are given.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.2
• /
• pp.287-301
• /
• 2011

Let X and Y be vector spaces. It is shown that a mapping $f\;:\;X{\rightarrow}Y$ satisfies the functional equation $$(\ddag)\hspace{50}dk\;f\left(\frac{\sum_{j=1}^{dk}x_j}{dk}\right)=\displaystyle\sum_{j=1}^{dk}f(x_j)$$ if and only if the mapping $f$ : X ${\rightarrow}$ Y is Cauchy additive, and prove the Cauchy-Rassias stability of the functional equation ($\ddag$) in Banach modules over a unital $C^{\ast}$-algebra. Let $\mathcal{A}$ and $\mathcal{B}$ be unital $C^{\ast}$-algebras. As an application, we show that every almost homomorphism $h\;:\;\mathcal{A}{\rightarrow}\mathcal{B}$ of $\mathcal{A}$ into $\mathcal{B}$ is a homomorphism when $h((k-1)^nuy)=h((k-1)^nu)h(y)$ for all unitaries $u{\in}\mathcal{A}$, all $y{\in}\mathcal{A}$, and $n$ = 0,1,2,$\cdots$. Moreover, we prove the Cauchy-Rassias stability of homomorphisms in $C^{\ast}$-algebras.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.1
• /
• pp.1-8
• /
• 2003

In this paper, we further develop the weak polygroup theory, we define quotient weak polygroup and then the fundamental homomorphism theorem of group theory is derived in the context of weak polygroups. Also, we consider the fundamental relation $\beta$$^{*}$ defined on a weak polygroup and define a functor from the category of all weak polygroups into the category of all fundamental groups.s.

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

Let R → S be a ring homomorphism. The relations of Gorenstein projective dimension with respect to a semidualizing module of homologically bounded complexes between U ⊗LR X and X are considered, where X is an R-complex and U is an S-complex. Some sufficient conditions are given under which the equality ${\mathcal{GP}}_{\tilde{C}}-pd_S(S{\otimes}{L \atop R}X)={\mathcal{GP}}_C-pd_R(X)$ holds. As an application it is shown that the Auslander-Buchsbaum formula holds for GC-projective dimension.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.2043-2051
• /
• 2017

Consider a sequence of compactly supported Hamiltonian diffeomorphisms ${\phi}_k$ of an exact symplectic manifold, all of which are "graphical" in the sense that their graphs are identified by a Darboux-Weinstein chart with the image of a one-form. We show by an elementary argument that if the ${\phi}_k$ $C^0$-converge to the identity, then their Calabi invariants converge to zero. This generalizes a result of Oh, in which the ambient manifold was the two-disk and an additional assumption was made on the Hamiltonians generating the ${\phi}_k$. We discuss connections to the open problem of whether the Calabi homomorphism extends to the Hamiltonian homeomorphism group. The proof is based on a relationship between the Calabi invariant of a $C^0$-small Hamiltonian diffeomorphism and the generalized phase function of its graph.