• 대한수학회논문집
• /
• 제33권4호
• /
• pp.1141-1158
• /
• 2018

Hahn difference operator $D_{q,{\omega}}$ which is defined by $$D_{q,{\omega}}g(t)=\{{\frac{g(gt+{\omega})-g(t)}{t(g-1)+{\omega}}},{\hfill{20}}\text{if }t{\neq}{\theta}:={\frac{\omega}{1-q}},\\g^{\prime}({\theta}),{\hfill{83}}\text{if }t={\theta}$$ received a lot of interest from many researchers due to its applications in constructing families of orthogonal polynomials and in some approximation problems. In this paper, we investigate sufficient conditions for stability of the abstract linear Hahn difference equations of the form $$D_{q,{\omega}}x(t)=A(t)x(t)+f(t),\;t{\in}I$$, and $$D^2{q,{\omega}}x(t)+A(t)D_{q,{\omega}}x(t)+R(t)x(t)=f(t),\;t{\in}I$$, where $A,R:I{\rightarrow}{\mathbb{X}}$, and $f:I{\rightarrow}{\mathbb{X}}$. Here ${\mathbb{X}}$ is a Banach algebra with a unit element e and I is an interval of ${\mathbb{R}}$ containing ${\theta}$.

• 대한수학회보
• /
• 제52권2호
• /
• pp.581-591
• /
• 2015

Let $\mathcal{A}$ be a factor von Neumann algebra with dimension greater than 1. We prove that if a linear map ${\delta}:\mathcal{A}{\rightarrow}\mathcal{A}$ satisfies $${\delta}([[a,b],c])=[[{\delta}(a),b],c]+[[a,{\delta}(b),c]+[[a,b],{\delta}(c)]$$ for any $a,b,c{\in}\mathcal{A}$ with ab = 0 (resp. ab = P, where P is a fixed nontrivial projection of $\mathcal{A}$), then there exist an operator $T{\in}\mathcal{A}$ and a linear map $f:\mathcal{A}{\rightarrow}\mathbb{C}I$ vanishing at every second commutator [[a, b], c] with ab = 0 (resp. ab = P) such that ${\delta}(a)=aT-Ta+f(a)$ for any $a{\in}\mathcal{A}$.

• 대한수학회보
• /
• 제46권5호
• /
• pp.1031-1040
• /
• 2009

It is shown that every almost positive linear mapping h : $\mathcal{A}\rightarrow\mathcal{B}$ of a Banach *-algebra $\mathcal{A}$ to a Banach *-algebra $\mathcal{B}$ is a positive linear operator when h(rx) = rh(x) (r > 1) holds for all $x\in\mathcal{A}$, and that every almost linear mapping h : $\mathcal{A}\rightarrow\mathcal{B}$ of a unital C*-algebra $\mathcal{A}$ to a unital C*-algebra $\mathcal{B}$ is a positive linear operator when h($2^nu*y$) = h($2^nu$)*h(y) holds for all unitaries $u\in \mathcal{A}$, all $y \in \mathcal{A}$, and all n = 0, 1, 2, ..., by using the Hyers-Ulam-Rassias stability of functional equations. Under a more weak condition than the condition as given above, we prove that every almost linear mapping h : $\mathcal{A}\rightarrow\mathcal{B}$ of a unital C*-algebra $\mathcal{A}$ A to a unital C*-algebra $\mathcal{B}$ is a positive linear operator. It is applied to investigate states, center states and center-valued traces.

• 대한수학회지
• /
• 제43권3호
• /
• pp.539-552
• /
• 2006

For an $n{\times}n$ Boolean matrix A, A is called nilpotent if $A^m=O$ for some positive integer m. We consider the set of $n{\times}n$ nilpotent Boolean matrices and we characterize linear operators that strongly preserve nilpotent matrices over Boolean algebras.

• 대한수학회보
• /
• 제58권3호
• /
• pp.637-657
• /
• 2021

In this paper, we decompose (under unitary similarity) the Kronecker sum A ⊞ A (= A ⊗ I + I ⊗ A) into a direct sum of irreducible matrices, when A is a 3×3 matrix. As a consequence we identify 𝒦(A⊞A) as the direct sum of several full matrix algebras as predicted by Artin-Wedderburn theorem, where 𝒦(T) is the unital algebra generated by Tand T^*.

• Korean Journal of Mathematics
• /
• 제31권3호
• /
• pp.313-321
• /
• 2023

In this paper, we explore the additivity of the map Ω : 𝒜 → 𝒜 that satisfies Ω([ℒ, ℳ]_*)=[Ω (ℳ), ℒ]_* + [ℳ, Ω(ℒ)]_*, where [ℒ, ℳ]_*= ℒℳ^* - ℳ ℒ^*, for all ℒ, ℳ ∈ 𝒜, a prime *-algebra with unit ℐ. Additionally we show that if Ω (αℐ) is self-adjoint operator for α ∈ {1, i} then Ω = 0.

• 대한수학회지
• /
• 제51권2호
• /
• pp.345-362
• /
• 2014

We describe the Haagerup tensor product ${\ell}^{\infty}{\otimes}_h{\ell}^{\infty}$ and the extended Haagerup tensor product ${\ell}^{\infty}{\otimes}_{eh}{\ell}^{\infty}$ in terms of Schur product maps, and show that ${\ell}^{\infty}{\otimes}_h{\ell}^{\infty}{\cap}\mathbb{B}({\ell}^2)$(resp. ${\ell}^{\infty}{\otimes}_{eh}{\ell}^{\infty}{\cap}\mathbb{B}({\ell}^2)$) coincides with $c_0{\otimes}_hc_0{\cap}\mathbb{B}({\ell}^2)$(resp. $c_0{\otimes}_{eh}c_0{\cap}\mathbb{B}({\ell}^2)$). For $C^*2$-algebras A, B, it is shown that $A{\otimes}_hB=A{\otimes}_{eh}B$ if and only if A or B is finite-dimensional.

• 대한수학회지
• /
• 제41권1호
• /
• pp.1-20
• /
• 2004

Let A be a uniform algebra, and let $\phi$ be a self-map of the spectrum $M_A$ of A that induces a composition operator $C_{\phi}$, on A. It is shown that the image of $M_A$ under some iterate ${\phi}^n$ of \phi is hyperbolically bounded if and only if \phi has a finite number of attracting cycles to which the iterates of $\phi$ converge. On the other hand, the image of the spectrum of A under $\phi$ is not hyperbolically bounded if and only if there is a subspace of $A^{**}$ "almost" isometric to ${\ell}_{\infty}$ on which ${C_{\phi}}^{**}$ "almost" an isometry. A corollary of these characterizations is that if $C_{\phi}$ is weakly compact, and if the spectrum of A is connected, then $\phi$ has a unique fixed point, to which the iterates of $\phi$ converge. The corresponding theorem for compact composition operators was proved in 1980 by H. Kamowitz [17].

• 대한수학회지
• /
• 제54권2호
• /
• pp.685-696
• /
• 2017

A linear mapping ${\phi}$ on an algebra $\mathcal{A}$ is called a centralizable mapping at $G{\in}{\mathcal{A}}$ if ${\phi}(AB)={\phi}(A)B= A{\phi}(B)$ for each A and B in $\mathcal{A}$ with AB = G, and ${\phi}$ is called a derivable mapping at $G{\in}{\mathcal{A}}$ if ${\phi}(AB)={\phi}(A)B+A{\phi}(B)$ for each A and B in $\mathcal{A}$ with AB = G. A point G in A is called a full-centralizable point (resp. full-derivable point) if every centralizable (resp. derivable) mapping at G is a centralizer (resp. derivation). We prove that every point in a von Neumann algebra or a triangular algebra is a full-centralizable point. We also prove that a point in a von Neumann algebra is a full-derivable point if and only if its central carrier is the unit.

• 대한수학회보
• /
• 제26권1호
• /
• pp.11-17
• /
• 1989

In [1], Johnson and Lapidus introduced a family { $A_{t}$ :t>0} of Banach algebras of functionals on Wiener space and showed that for every F in $A_{t}$ , the analytic operator-valued function space integral $K_{\lambda}$$^{t}$ (F) exists for all nonzero complex numbers .lambda. with nonnegative real part. In [2,3] Johnson and Lapidus introduced a noncommtative multiplication having the property that if F.mem. $A_{t}$ $_{1}$ and G.mem. $A_{t}$ $_{2}$ then $F^{*}$G.mem. A$t_{1}$+$_{t}$ $_{2}$ and (Fig.) Note that for F, G in $A_{t}$ , $F^{*}$G is not in $A_{t}$ but rather is in $A_{2t}$ and so the multiplication * is not internal to the Banach algebra $A_{t}$ . In this paper we introduce an internal noncommutative multiplication on $A_{t}$ having the property that for F, G in $A_{t}$ , F G is in $A_{t}$ and (Fig.) for all nonzero .lambda. with nonnegative real part. Thus is an auxiliary binary operator on $A_{t}$ .TEX> .