算子系统

Template:Mi 给定含幺C*-代数 $𝒜$ ，包含1的*-闭合子空间S称作算子系统。可通过 $S : = ℳ + ℳ^{*} + ℂ 1$ 给含幺C*-代数的每个子空间 $ℳ \subseteq 𝒜$ 关联一个算子系统。

算子系统之间的适当态射是全正映射。

根据Choi & Effros的定理，算子系统可被描述为具有阿基米德矩阵阶的*-向量空间。^[1]