C~* -代数上完全正映射的刻画

本文给出C* -代数之间完全正映射的刻画,证明:如果A,B是有单位元的C*-代数,则映射Φ:A→B为完全正映射当且仅当存在保单位*-同态πA:A→B(K)、等距* -同态πB:B→B(H)及有界线性算子V:H→K,使得πB(Φ(1))=V*V 且■a∈A,都有πB(Φ(a))=V*π(a)V.作为推论,得到著名的Stinespring膨胀定理.     

某些C*-代数上的2-局部映射

讨论了单C*代数上的2-局部等距的线性;在证明某些C*代数上的2-局部自同构是线性的同时,根据C*代数的K-理论,给出了满足此结果的C*代数例子.     

AF C*-代数上的映射

本文讨论AF C*-代数中的一些映射的线性性质和它们的局部性质之间的关系,研究AFC*-代数A上的保持乘法的局部自同构φ在A中矩阵单位系上的作用,证明了φ是A上的自同构.对于UHF代数上满等距的结构,还证明了UHF代数上的2-局部(满线性)等距是线性的.     

共变完全多正线性映射的共变投射表示

研究了C*-代数中的共变完全多正线性映射,证明了共变完全多正线性映射可以诱导Hilbert C*-模上的共变投射表示,并且给出了共变完全多正线性映射的KS- GNS(Kasparov,Stinespring,Gel’fand,Naimark,Segal)构造.     

纯无限单C*-代数的扩张代数的K-理论Ⅱ

给出了有单位元的纯无限单的C*-代数A通过K的扩张代数E的K-理论的一种刻画.证明了K0(E)同构于E中所有具有无限余投影的无限投影的Murry-yon Neumann等价类全体所成的交换群,它还同构于上述投影的同伦等价类或酉等价类全体所成的交换群.还证明了对扩张代数E中的任·满的正元a,存在元索z ∈E,使得x*ax=1,其中K为可分无限维Hilbert空间上紧算子全体所成的C*一代数.     

保持Jordan多重η-*-积的非线性映射

设η≠-1是一个非零复数,Φ是两个von Neumann代数间的不必为线性的双射(其中一个代数无中心交换投影),如果满足Φ(I)=I,并且保持Jordan多重η-*-积.则当η不是实数时,Φ是一个线性*-同构;当η是实数时,Φ是一个线性*-同构和一个共轭线性*-同构的和.     

*-代数自由积上的线性泛函的延拓

本文研究了C*-代数及其*-稠子代数的*-代数自由积.利用自由积的性质,得到了这两类自由积上的线性泛函到C*-代数(泛)自由积上的态延拓的充要条件,从而证明了这类延拓对于一般的C*-代数也是成立的.     

C(X) A上的自同构群

本文研究了连续函数代数C(X)与某个C*-代数 A的张量积C(X) A的自同构群.当 A是有单位元且具有平凡中心的C*-代数时,本文完全刻划了C(X) A的自同构群.利用AF-代数的K-理论,本文还刻划了当X是全不连通的紧致Hausdorff空间时,C(X)与紧算子理想的张量积的自同构群.     

因子von Neumann代数﹡-同构的一个特征

设H和K是复Hilbert空间,A和B分别是H和K上的因子von Neumann代数.本文给出了A和B的*-同构的一个特征,设Φ:A→B是双射,如果对任意A,B∈A,有Φ(A*B+B*A)=Φ(A)*Φ(B)+Φ(B)*Φ(A),则Φ是线性或共轭线性*-同构.     

单的迹稳定秩一C*-代数的消去性质

本文证明了一个单的有单位元的迹稳定秩一的C*-代数具有消去律,利用此结果证明了单的有单位元的迹稳定秩一的C*-代数是稳定秩一的.最后讨论了迹稳定秩一的C*-代数的K0群的性质.     

因子von Neumann代数上完全保持 Jordan1-$*$-零积的映射

令$H$和$K$是无限维复Hilbert空间, $\mathcal{A},\mathcal{B}$分别是$H$和$K$上的因子von Neumann代数.结果表明每一个从$\mathcal{A}$到$\mathcal{B}$完全保Jordan1-$*$-零积的满射都是线性$*$-同构或者共轭线性$*$-同构的非零常数倍.     

σ-C~-代数中的正映射

本文中我们研究了     

PrO-C*-代数的顺从性和核性

研究了Pro—C^*-代数的顺从性和核性．主要证明了(1)顺从Pro—C^*代数的闭理想是顺从的；(2)核Pro—C^*代数类对归纳极限封闭；(3)交换σ-C^*-代数和核C^*-代数都是核，σ-C^*-代数并且核σ-C^*-代数类对于商运算、张量积运算和可数逆向极限封闭．进一步得到核，σ-C^*-代数的扩张保持核性的条件。     

*-representations on Banach *-algebras

We study notions of -bounded linear functionals and represent-
able functionals on Banach *-algebras. An equivalence between these two is established for general Banach *-algebras. In particular, we characterize -bounded linear functionals on Banach *-algebras with approximate identity and isometric involution. In addition, we prove a result on representation of -bounded positive linear functionals in terms of cyclic vectors for the corresponding *-representation.

     

On action of diffeomorphisms of C*-algebras on derivations

In this paper we consider automorphisms of the domains of closed *-derivations of C*-algebras and show that they extend to automorphisms of C*-algebras, so we call them diffeomorphisms. The diffeomorphisms generate transformations of the sets of closed *-derivations of C*-algebras. In this paper we study the subgroups of diffeomorphisms that define “bounded” shifts of derivations and the subgroups of the stabilizers of derivations.     

Weak-local derivations and homomorphisms on C*-algebras

We prove that every weak-local derivation on a C*-algebra is continuous, and the same conclusion remains valid for weak*-local derivations on von Neumann algebras. We further show that weak-local derivations on C*-algebras and weak*-local derivations on von Neumann algebras are derivations. We also study the connections between bilocal derivations and bilocal*-automorphism with our notions of extreme-strong-local derivations and automorphisms.     

Uniqueness of the trace and simplicity

It is proved that for certain large classes of unital C*-algebras, the existence of a unique, faithful tracial state implies simplicity. An example is given to show that this implication does not hold for all unital C*-algebras.