• Bulletin of the Korean Mathematical Society
• /
• v.20 no.2
• /
• pp.71-74
• /
• 1983

The problems of the continuity of homomorphisms between Banach algebras have been studied widely for the last two decades to obtain various fruitful results, yet it is far from characterizing the calss of Banach algebras for which each homomorphism from a member of the class into a Banach algebra is conitnuous. For commutative Banach algebras A and B a simple proof shows that every homomorphism .theta. from A into B is continuous provided that B is semi-simple, however, with a non semi-simple Banach algebra B examples of discontinuous homomorphisms from C(K) into B have been constructed by Dales [6] and Esterle [7]. For non commutative Banach algebras the problems of automatic continuity of homomorphisms seem to be much more difficult. Many positive results and open questions related to this subject may be found in [1], [3], [5] and [8], in particular most recent development can be found in the Lecture Note which contains [1]. It is well-known that a$^{*}$-isomorphism from a $C^{*}$-algebra into another $C^{*}$-algebra is an isometry, and an isomorphism of a Banach algebra into a $C^{*}$-algebra with self-adjoint range is continuous. But a$^{*}$-isomorphism from a $C^{*}$-algebra into an involutive Banach algebra is norm increasing [9], and one can not expect each of such isomorphisms to be continuous. In this note we discuss an isomorphism from a commutative $C^{*}$-algebra into a commutative Banach algebra with dense range via separating space. It is shown that such an isomorphism .theta. : A.rarw.B is conitnuous and maps A onto B is B is semi-simple, discontinuous if B is not semi-simple.

• Journal of the Korean Mathematical Society
• /
• v.45 no.1
• /
• pp.249-271
• /
• 2008

We prove the Hyers-Ulam stability of linear d-isometries in linear d-normed Banach modules over a unital $C^*-algebra$ and of linear isometries in Banach modules over a unital $C^*-algebra$. The main purpose of this paper is to investigate d-isometric $C^*-algebra$ isomor-phisms between linear d-normed $C^*-algebras$ and isometric $C^*-algebra$ isomorphisms between $C^*-algebras$, and d-isometric Poisson $C^*-algebra$ isomorphisms between linear d-normed Poisson $C^*-algebras$ and isometric Poisson $C^*-algebra$ isomorphisms between Poisson $C^*-algebras$. We moreover prove the Hyers-Ulam stability of their d-isometric homomorphisms and of their isometric homomorphisms.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.4
• /
• pp.617-630
• /
• 2011

Let X, Y be vector spaces, and let r be 2 or 4. It is shown that if an odd mapping $f:X{\rightarrow}Y$ satisfies the functional equation $${\hspace{50}}rf(\frac{\sum_{j=1}^{d}\;x_j} {r})+\;{\sum\limits_{\iota(j)=0,1 \atop {\sum_{j=1}^{d}}\;{\iota}(j)=l}}\;rf(\frac{\sum_{j=1}^{d}{(-1)^{\iota(j)}x_j}}{r}) \\({\ddag}){\hspace{160}}=(_{d-1}C_l-_{d-1}C_{l-1}+1)\;{\sum\limits_{j=1}^{d}\;f(x_j)}$$ then the odd mapping $f:X{\rightarrow}Y$ is additive, and we prove the Cauchy-Rassias stability of the functional equation in Banach modules over a unital $C^*$-algebra. As an application, we show that every almost linear bijection $h:{\mathcal{A}}{\rightarrow}{\mathcal{B}}$ of a unital $C^*$-algebra ${\mathcal{A}}$ onto a unital $C^*$-algebra ${\mathcal{B}}$ is a $C^*$-algebra isomorphism when $h(2^nuy)=h(2^nu)h(y)$ for all unitaries $u{\in}{\mathcal{A}}$, all $y{\in}{\mathcal{A}}$, and $n=0,1,2,{\cdots}$.

• Communications of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.1019-1028
• /
• 2023

Let 𝔄 and 𝔅 be unital prime *-algebras such that 𝔄 contains a nontrivial projection. In the present paper, we show that if a bijective map Θ : 𝔄 → 𝔅 satisfies Θ(_*[X ⋄ Y, Z]) = _*[Θ(X) ⋄ Θ(Y), Θ(Z)] for all X, Y, Z ∈ 𝔄, then Θ or -Θ is a *-ring isomorphism. As an application, we shall characterize such maps in factor von Neumann algebras.

• 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 Chungcheong Mathematical Society
• /
• v.19 no.2
• /
• pp.159-175
• /
• 2006

This paper is a survey on the Hyers-Ulam-Rassias stability of the Jensen functional equation in $C^*$-algebras. The concept of Hyers-Ulam-Rassias stability originated from the Th.M. Rassias' stability theorem that appeared in his paper: On the stability of the linear mapping in Banach spaces, Proc. Amer. Math. Soc. 72 (1978), 297-300. Its content is divided into the following sections: 1. Introduction and preliminaries. 2. Approximate isomorphisms in $C^*$-algebras. 3. Approximate isomorphisms in Lie $C^*$-algebras. 4. Approximate isomorphisms in $JC^*$-algebras. 5. Stability of derivations on a $C^*$-algebra. 6. Stability of derivations on a Lie $C^*$-algebra. 7. Stability of derivations on a $JC^*$-algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.4
• /
• pp.673-688
• /
• 2011

Let $n{\geq}2$ be an even integer. We investigate that if an odd mapping f : X ${\rightarrow}$ Y satisfies the following equation $2_{n-2}C_{\frac{n}{2}-1}rf\(\sum\limits^n_{j=1}{\frac{x_j}{r}}\)\;+\;{\sum\limits_{i_k{\in}\{0,1\} \atop {{\sum}^n_{k=1}\;i_k={\frac{n}{2}}}}\;rf\(\sum\limits^n_{i=1}(-1)^{i_k}{\frac{x_i}{r}}\)=2_{n-2}C_{{\frac{n}{2}}-1}\sum\limits^n_{i=1}f(x_i),$ then f : X ${\rightarrow}$ Y is additive, where $r{\in}R$. We also prove the stability in normed group by using shadowing property and the Hyers-Ulam stability of the functional equation in Banach spaces and in Banach modules over unital C-algebras. As an application, we show that every almost linear bijection h : A ${\rightarrow}$ B of unital $C^*$-algebras A and B is a $C^*$-algebra isomorphism when $h(\frac{2^s}{r^s}uy)=h(\frac{2^s}{r^s}u)h(y)$ for all unitaries u ${\in}$ A, all y ${\in}$ A, and s = 0, 1, 2,....

• Journal of the Korean Mathematical Society
• /
• v.46 no.3
• /
• pp.657-673
• /
• 2009

The fixed point algebra $C^*(E)^{\gamma}$ of a gauge action $\gamma$ on a graph $C^*$-algebra $C^*(E)$ and its AF subalgebras $C^*(E)^{\gamma}_{\upsilon}$ associated to each vertex v do play an important role for the study of dynamical properties of $C^*(E)$. In this paper, we consider the stability of $C^*(E)^{\gamma}$ (an AF algebra is either stable or equipped with a (nonzero bounded) trace). It is known that $C^*(E)^{\gamma}$ is stably isomorphic to a graph $C^*$-algebra $C^*(E_{\mathbb{Z}}\;{\times}\;E)$ which we observe being stable. We first give an explicit isomorphism from $C^*(E)^{\gamma}$ to a full hereditary $C^*$-subalgebra of $C^*(E_{\mathbb{N}}\;{\times}\;E)({\subset}\;C^*(E_{\mathbb{Z}}\;{\times}\;E))$ and then show that $C^*(E_{\mathbb{N}}\;{\times}\;E)$ is stable whenever $C^*(E)^{\gamma}$ is so. Thus $C^*(E)^{\gamma}$ cannot be stable if $C^*(E_{\mathbb{N}}\;{\times}\;E)$ admits a trace. It is shown that this is the case if the vertex matrix of E has an eigenvector with an eigenvalue $\lambda$ > 1. The AF algebras $C^*(E)^{\gamma}_{\upsilon}$ are shown to be nonstable whenever E is irreducible. Several examples are discussed.

• Communications of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.809-823
• /
• 2020

Let C[0, T] denote the space of continuous, real-valued functions on the interval [0, T] and let C₀[0, T] be the space of functions x in C[0, T] with x(0) = 0. In this paper, we introduce a Banach algebra ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ on C[0, T] and its equivalent space ${\bar{\mathcal{F}}}({\mathcal{H}}) $, a space of transforms of equivalence classes of measures, which generalizes Fresnel class 𝓕(𝓗), where 𝓗 is an appropriate real separable Hilbert space of functions on [0, T]. We also investigate their properties and derive an isomorphism between ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ and ${\bar{\mathcal{F}}}({\mathcal{H}}) $. When C[0, T] is replaced by C₀[0, T], ${\bar{\mathcal{F}}}({\mathcal{H}}) $ and ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ reduce to 𝓕(𝓗) and Cameron-Storvick's Banach algebra 𝓢, respectively, which is the space of generalized Fourier-Stieltjes transforms of the complex-valued, finite Borel measures on L²[0, T].

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.2
• /
• pp.249-254
• /
• 2000

We give an easy proof of the fact that every noncommutative torus $A_{\omega}$ is stably isomorphic to the noncommutative torus $C(\widehat{S\omega}){\;}\bigotimes{\;}A_p$ which hasa trivial bundle structure. It is well known that stable isomorphism of two separable $C^{*}-algebras$ is equibalent to the existence of eqivalence bimodule between the two stably isomorphic $C^{*}-algebras{\;}A_{\omega}$ and $C(\widehat{S\omega}){\;}\bigotimes{\;}A_p$.