• Korean Journal of Mathematics
• /
• v.17 no.1
• /
• pp.83-90
• /
• 2009

In this paper, we investigate isomorphisms between $C^*$-ternary algebras and derivations on $C^*$-ternary algebras associated with the Cauchy-Jensen functional equation $$2f(\frac{x+y}{2}+z)=f(x)+f(y)+2f(z)$$, which was introduced and investigated by Baak in [2].

• The Pure and Applied Mathematics
• /
• v.24 no.3
• /
• pp.171-178
• /
• 2017

In this paper, we define $C^*-ternary$ quadratic 3-Jordan homomorphisms associated with the quadratic mapping f(x + y) + f(x - y) = 2f(x) + 2f(y), and prove the Hyers-Ulam stability of $C^*-ternary$ quadratic 3-Jordan homomorphisms.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.1
• /
• pp.195-209
• /
• 2010

In this paper, we prove the generalized Hyers-Ulam stability of bi-homomorphisms in $C^*$-ternary algebras and of bi-derivations on $C^*$-ternary algebras for the following bi-additive functional equation f(x + y, z - w) + f(x - y, z + w) = 2f(x, z) - 2f(y, w). This is applied to investigate bi-isomorphisms between $C^*$-ternary algebras.

• Journal of the Korean Mathematical Society
• /
• v.50 no.1
• /
• pp.61-80
• /
• 2013

In this paper, we study ${\alpha}$-completely positive maps between locally $C^*$-algebras. As a generalization of a completely positive map, an ${\alpha}$-completely positive map produces a Krein space with indefinite metric, which is useful for the study of massless or gauge fields. We construct a KSGNS type representation associated to an ${\alpha}$-completely positive map of a locally $C^*$-algebra on a Krein locally $C^*$-module. Using this construction, we establish the Radon-Nikod$\acute{y}$m type theorem for ${\alpha}$-completely positive maps on locally $C^*$-algebras. As an application, we study an extremal problem in the partially ordered cone of ${\alpha}$-completely positive maps on a locally $C^*$-algebra.

• Journal of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.125-134
• /
• 2001

Independent $\sigma$-algebras Α and Β on X, L$^2$(X, Α V Β), L$^2$(X x X, Α x Β), and the Hilbert space tensor product L$^2$(X,Α), (※Equations, See Full-text) L$^2$(X,Β), are isomorphic. In this note, we show that various Hilbert C(sup)*-algebra tensor products provide the analogous roles when independence is weakened to conditional independence.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.1
• /
• pp.49-57
• /
• 2010

It is shown that for a derivation $$f(x_1{\cdots}x_{j-1}x_jx_{j+1}{\cdots}x_k)=\sum_{j=1}^{k}x_{1}{\cdots}x_{j-1}x_{j+1}{\cdots}x_kf(x_j)$$ on a unital $C^*$-algebra $\mathcal{B}$, there exists a unique $\mathbb{C}$-linear *-derivation $D:{\mathcal{B}}{\rightarrow}{\mathcal{B}}$ near the derivation, by using the Hyers-Ulam-Rassias stability of functional equations. 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.

• Journal of the Chungcheong Mathematical Society
• /
• v.13 no.1
• /
• pp.139-144
• /
• 2000

The generalized noncommutative torus $T_{\rho}^d$ of rank m was defined in [2]. Assume that for the completely irrational noncommutative subtorus $A_{\rho}$ of rank m of $T_{\rho}^d$ there is no integer q > 1 such that $tr(K_0(A_{\rho}))=\frac{1}{q}{\cdot}tr(K_0(A_{\rho^{\prime}}))$ for $A_{\rho^{\prime}}$ a completely irrational noncommutative torus of rank m. All $C^*$-algebras ${\Gamma}({\eta})$ of sections of locally trivial $C^*$-algebra bundles ${\eta}$ over $M=\prod_{i=1}^{e}S^{2k_i}{\times}\prod_{i=1}^{s}S^{2n_i+1}$, $\prod_{i=1}^{s}\mathbb{PR}_{2n_i}$, or $\prod_{i=1}^{s}L_{k_i}(n_i)$ with fibres $T_{\rho}^d{\otimes}M_c(\mathbb{C})$ were constructed in [6, 7, 8]. We prove that ${\Gamma}({\eta}){\otimes}M_{p^{\infty}}$ is isomorphic to $C(M){\otimes}A_{\rho}{\otimes}M_{cd}(\mathbb{C}){\otimes}M_{p^{\infty}}$ if and only if the set of prime factors of cd is a subset of the set of prime factors of p, that $\mathcal{O}_{2u}{\otimes}{\Gamma}({\eta})$ is isomorphic to $\mathcal{O}_{2u}{\otimes}C(M){\otimes}A_{\rho}{\otimes}M_{cd}(\mathbb{C})$ if and only if cd and 2u - 1 are relatively prime, and that $\mathcal{O}_{\infty}{\otimes}{\Gamma}({\eta})$ is not isomorphic to $\mathcal{O}_{\infty}{\otimes}C(M){\otimes}A_{\rho}{\otimes}M_{cd}(\mathbb{C})$ if cd > 1 when no non-trivial matrix algebra can be ${\Gamma}({\eta})$.

• Journal of the Chungcheong Mathematical Society
• /
• v.3 no.1
• /
• pp.41-48
• /
• 1990

Let D' : $C^n$[0, 1] ${\rightarrow}$ M be a second order derivation from the Banach algebra of n times continuously differentiable functions on [0, 1] into a Banach $C^n$[0, 1]-module M and let D be the primitive of D'. If D' is continuous and D'(z) lies in the 1-differential subspace, then it is completely determined by D(z) and D'(z) where z(t)=t, $0{\leq}t{\leq}1$.

• Korean Journal of Mathematics
• /
• v.27 no.4
• /
• pp.977-1003
• /
• 2019

Let 𝓐 and 𝓑 be two unital C^⁎-algebras and 𝓐 ⊗ 𝓑 be their algebraic tensor product. For two bilinear maps on 𝓐 and 𝓑 with some specific conditions, we derive a bilinear map on 𝓐 ⊗ 𝓑 and study some characteristics. Considering two 𝓐 ⊗ 𝓑 bimodules, a centralizer is also obtained for 𝓐 ⊗ 𝓑 corresponding to the given bilinear maps on 𝓐 and 𝓑. A relationship between orthogonal complements of subspaces of 𝓐 and 𝓑 and their tensor product is also deduced with suitable example.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.391-397
• /
• 2017

In this note we extend our previous result about the structure of the dual of a crossed product $C^*$-algebra $A{\rtimes}_{\sigma}G$, when G is a finite group. We consider the space $\tilde{\Gamma}$ which consists of pairs of irreducible representations of A and irreducible projective representations of subgroups of G. Our goal is to endow $\tilde{\Gamma}$ with a topology so that the orbit space e $G{\backslash}{\tilde{\Gamma}}$ is homeomorphic to the dual of $A{\rtimes}_{\sigma}G$. In particular, we will show that if $\widehat{A}$ is Hausdorff then $G{\backslash}{\tilde{\Gamma}}$ is homeomorphic to $\widehat{A{\rtimes}_{\sigma}G}$.