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膨胀定理.