斯坦斯普林扩张定理

在算子理论这一数学领域中，斯坦斯普林扩张定理（也称为斯坦斯普林分解定理）是冠名于数学家 W. Forrest Stinespring 的一个定理。它将C*-代数 formula_1 上的任何完全正映射（completely positive map，简称为CP映射）表示为两个完全正映射的复合，这两个映射分别是：
此外，此定理是从 C*-代数到希尔伯特空间上有界算子代数的结构定理，因其说明了C*-代数间的完全正映射是*-表示的上述简单修改。
表述.
对于有单位元的C*-代数，定理表述如下：
非正式地说，我们可以说任一完全正映射 formula_15 可以“提升”为形如 formula_16 的映射。
该定理的逆命题显然为真。因此，此定理对完全正映射进行了分类。
证明概要.
我们现在简述一下证明。令 formula_17 。对于 formula_18 ， 定义
并通过半线性扩张到整个 "formula_3" 。这是一个厄米半线性形式，因为 formula_15 与 * 操作是相容的。然后可基于 formula_15 的完全正性证明该半线性形式实际上是半正定的。由于半正定厄米半线性形式满足柯西-施瓦茨不等式，因此子集
是一个子空间。我们可以通过考虑商空间 formula_24 来消除退化。于是该商空间的完备化给出一个希尔伯特空间，也记作 formula_3 。下一步定义 formula_26 和 formula_27 。可以验证 formula_28 和 formula_29 具有所需的性质。 是一个子空间。
注意 formula_29 就是 formula_6 到 formula_3 的自然代数嵌入。可以验证 formula_33 。特别地，注意到有 formula_34 ，因此当且仅当 formula_35 时， formula_29 得以是一个等距同构。在这种情况下， formula_6 可以在希尔伯特空间意义上嵌入到 "formula_3" 中，而作用在 formula_3 上的 formula_40 则是到 formula_6 上的投影。符号上，我们可以写成
用的语言来说， formula_43 是 formula_44 的一个压缩 。因此，斯坦斯普林扩张定理的一个推论是，每个保单位的完全正映射都是某个*-同态的压缩。
极小斯坦斯普林表示.
三元组 formula_45 被称为 formula_15 的斯坦斯普林表示。现在一个自然的问题是，是否可以将给定的斯坦斯普林表示约化为在某种意义上极小的。
令 formula_47 为 formula_48 的闭线性生成空间。根据*-表示的一般性质，对于任意 formula_49 ， formula_47 是 formula_44 的不变子空间；且有 formula_52 。定义
可直接计算得到
若有 formula_55，则
因此 formula_57 也是 formula_15 的一个斯坦斯普林表示，且 formula_47 是 formula_48 的闭线性生成空间，这样的表示称为极小斯坦斯普林表示。
唯一性.
令 formula_61 为给定 formula_15 的两个斯坦斯普林表示。定义一个部分等距映射 formula_63 如下
在 formula_65 上，这给出了交织关系
特别是，如果两个斯坦斯普林表示都是极小的，则 formula_67 是幺正的。因此，极小斯坦斯普林表示是唯一的，至多差一个幺正变换。
一些推论.
下文将提及一些可以看作斯坦斯普林定理推论的结果。不过从历史上看，下面的一些结果要更早于斯坦斯普林定理。
GNS 构造.
下面将从斯坦斯普林定理导出GNS构造。令斯坦斯普林定理中的 "formula_6" 为一维的，即复数。因此 formula_15 现在是 "formula_1" 上的正线性泛函。若假定 formula_15 是一个态（也就是说 formula_15 的范数为一），那么等距映射 formula_73 可由
确定，其中 formula_75 是某个单位向量。所以
这正是态与其 GNS 构造间的关系式。由此可以看出完全正映射（而非正映射）才是正线性泛函的适当推广。
设 C*-代数上有正线性泛函 formula_77 ，若它们对于任一正元素 formula_78 满足
formula_79
，则称 formula_15 关于 formula_81 是绝对连续的。这即是拉东-尼科迪姆定理的非交换推广。当参考泛函选择为迹时，矩阵代数上的关于迹的通常密度算子不过是选择 formula_81 为迹时的拉东-尼科迪姆导数。别拉夫金引入了一个完全正映射相对于另一个（参考）映射的完全绝对连续的概念，并证明了完全正映射的非交换拉东-尼科迪姆定理的一个算子变体。此定理的一个特例对应于参考映射是矩阵代数上的迹性（tracial）的完全正映射的情况，这给出了所谓蔡文端算子，即完全正映射关于标准迹的拉东-尼科迪姆导数（参见蔡文端定理）。
蔡文端定理.
蔡文端证明了，若 formula_83 是完全正的，其中 formula_84 和 "formula_6" 分别是维数为 formula_86 和 "formula_87" 的有限维希尔伯特空间，则 formula_15 具有以下形式：
这被称为完全正映射的蔡文端定理。 蔡文端的证明使用的是线性代数技术，但他的结果也可以看作是斯坦斯普林定理的一个特例：
设 formula_45 是 formula_15 的极小斯坦斯普林表示。根据极小性， formula_3 的维度小于 formula_93 。因此，不失一般性地， formula_3 可以表示为
每个 formula_96 都是 "formula_86" 维希尔伯特空间的一个副本。从 formula_26 可以看出可以选择 formula_3 的表示式使得formula_100 ，其中 formula_101 是是 "formula_3" 上到 formula_96 的投影。
令 formula_104 ，有
于是就证明了蔡文端定理。
蔡文端的结果是完全正映射的非交换拉东-尼科迪姆定理的一个特例，对应于参考映射是矩阵代数上的迹性完全正映射的情况。1985年，别拉夫金以强算子形式证明了这个普遍的定理，他证明了对于一个CP映射，若其相对另一参考CP映射是完全绝对连续的，则必存在相应的正密度算子。该密度算子的唯一性则是参考映射的斯坦斯普林表示的极小性的直接结果。因此，蔡文端算子即是有限维CP映射关于标准迹的拉东-尼科迪姆导数。
请注意，在通过斯坦斯普林表述来证明蔡文端定理以及别拉夫金定理时，除非显式指明各空间，否则这些论述并未明确给出克劳斯算子 formula_106 。而另一方面，蔡文端的原始证明则涉及对这些算子的直接计算。
奈马克扩张定理.
奈马克的定理指出，某个紧豪斯多夫空间 formula_107 上、取值于 formula_7 中且、弱可数可加的测度可被“提升”为一个谱测度。将 formula_107 上的连续函数构成交换的C*-代数 formula_110 这一事实与斯坦斯普林定理结合便可证明这一点。
纳吉扩张定理.
该结果表明，希尔伯特空间上的每个收缩都有具有最小性质的幺正扩张。
应用.
在量子信息中，量子通道或者说量子操作被定义为C*-代数之间的完全正映射。作为所有此类映射的分类，斯坦斯普林定理在该背景下具有重要意义。例如，该定理的唯一性部分已被用来对某些类别的量子通道进行分类。
为了比较不同的通道并计算它们的互保真度和信息，使用别拉夫金引入的拉东-尼科迪姆导数对通道进行另一种表示将是很有用的。作为别拉夫金的完全正映射的拉东-尼科迪姆定理在有限维、迹性情况下的变体，蔡文端定理也与此相关联。
所确定的算子 formula_112 被称为 formula_15 的克劳斯算子。表达式
则有时被称为 formula_15 的算子和表示。