投影值测度

在数学中，特别是在泛函分析中，投影值测度是一种映射，其将给定集合的特定子集映射为给定的希尔伯特空间上的一个自伴投影算子。 Template:Sfn投影值测度 (projection-valued measure, PVM) 在形式上类似于实值测度，不过其值是自伴投影而不是实数。与普通测度一样，也可以关于PVM进行复值函数的积分；这种积分的结果是给定希尔伯特空间上的线性算子。

投影值测度用于表达谱理论中的结果，例如自伴算子的谱定理，在这种情况下 PVM 有时被称为谱测度。自伴算子的博雷尔函数演算是通过关于 PVM 的积分构造的。在量子力学中，PVM 提供了投影测量的数学表述，它们可推广为正算子值测度（POVM），正如混合態或密度矩阵推广了純態的概念一样。

定义

设 $H$ 是一可分复希尔伯特空间，而 $(X,M)$ 是一（博雷尔）可测空间，其中 $X$ 是一集合而 $M$ 是 $X$ 上的博雷尔σ-代数。投影值测度 $\pi$ 是定义于 $M$ 上、而取值为 $H$ 上有界自伴算子的一类特定映射，其须满足以下性质： Template:Sfn Template:Sfn

• 对任一 $E\in M$， $\pi (E)$ 是一正交投影。
• $\pi (\mathrm{\varnothing })=0$ 且 $\pi (X)=I$ ，其中 $\mathrm{\varnothing }$ 表示空集、$I$为恒等算子。
• 若 $M$ 中有不交的子集 $E_1,E_2,E_3,\dots$ ，那么对于任一 $v\in H$ ，

$\pi \left(\bigcup _{j=1}^{\mathrm{\infty }}{E}_j\right)v=\sum _{j=1}^{\mathrm{\infty }}\pi (E_j)v.$

• 对任意 $E_1,E_2\in M$ ， $\pi (E_1\cap E_2)=\pi (E_1)\pi (E_2).$

第二、四个性质表明，如果 $E_1$ 和 $E_2$ 不相交（即$E_1\cap E_2=\mathrm{\varnothing }$ ）， 则像 $\pi (E_1)$ 和 $\pi (E_2)$ 之间正交。

令 $V_E=\mathrm{im}(\pi (E))$ 及其正交补 $V_E^{\perp }=\ker (\pi (E))$ 分别表示 $\pi (E)$ 的像和核。若 $V_E$ 是 $H$ 的闭子空间，则 $H$ 可以写成如下的正交分解 $H=V_E\oplus V_E^{\perp }$ ，而 $\pi (E)\triangleq I_E$ 是 $V_E$ 上唯一满足所有四个性质的恒等算子。 Template:Sfn Template:Sfn

对于任意 $\xi ,\eta \in H$ 和 $E\in M$ ，可由投影值测度导出一个 $H$ 上的复值测度，其定义为

${\mu }_{\xi ,\eta }(E):=⟨\pi (E)\xi |\eta ⟩,$

而其总变差至多为 $\Vert \xi \Vert \Vert \eta \Vert$ 。 Template:Sfn投影值测度亦可导出下面的实值测度：

${\mu }_{\xi }(E):=⟨\pi (E)\xi |\xi ⟩.$

当 $\xi$ 是单位向量时，其成为一个概率测度。

例子

设 $(X,M,\mu )$ 是一个 σ-有限测度空间，且对于任一$E\in M$ ，可有一相应的映射

$\pi (E):L^2(X)\to L^2(X)$

定义为

$\psi \mapsto \pi (E)\psi =1_E\psi ,$

即L²(X)上关于指示函数 $1_E$ 的乘法算子。那么 $\pi (E)=1_E$ 定义了一个投影值测度。Template:Sfn作为一个例子，若 $X=ℝ$ 、 $E=(0,1)$ 、 $\varphi ,\psi \in L^2(ℝ)$ ，于是就有这样一个复值测度 ${\mu }_{\varphi ,\psi }$ ，使得可测函数 $f:ℝ\to ℝ$ 关于该测度的积分为

$\underset{E}{\int }fd{\mu }_{\varphi ,\psi }=\underset{0}{\overset{1}{\int }}f(x)\psi (x)\overline{\varphi (x)}dx.$

投影值测度的扩张

如果 Template:Pi 是博雷尔可测空间 $(X,M)$ 上的投影值测度，则映射

${\chi }_E\mapsto \pi (E)$

可Template:Le到 $X$ 上阶跃函数所构成的向量空间上的线性映射。事实上，容易验证这个映射是一个环同态。该映射以一种典范的方式扩张到 $X$ 上的全体有界复值博雷尔函数，并且有：

该定理对于无界可测函数 $f$ 也成立，但是此时 $T$ 将是希尔伯特空间上 $H$ 的无界线性算子。

这允许为此类算子定义博雷尔函数演算，然后通过里斯-马尔可夫-角谷表示定理使其可用于可测函数。也就是说，若有可测函数 $g:ℝ\to ℂ$ ，则存在唯一测度使得

$g(T):=\underset{ℝ}{\int }g(x)d\pi (x).$

谱定理

设 $H$ 是一个可分复希尔伯特空间， $A:H\to H$ 是有界自伴算子，而 $A$ 的谱是 $\sigma (A)$ 。谱定理说明，存在唯一的投影值测度 ${\pi }_A$ ，其定义于博雷尔子集 $E\subset \sigma (A)$ 上，而使得Template:Sfn

$A=\underset{\sigma (A)}{\int }\lambda d{\pi }_A(\lambda ),$

当谱 $\sigma (A)$ 无界时，积分须推广到 $\lambda$ 为无界函数的情况。 Template:Sfn

直积分

首先我们给出一个基于Template:Le的投影值测度的一般例子。设 $(X,M,\mu )$ 是测度空间，且令 $\{H_x{\}}_{x\in X}$ 是 $\mu$-可测的一族可分希尔伯特空间。对于每个 $E\in M$ ，令 $\pi (E)$ 为希尔伯特空间

$\underset{X}{\overset{\oplus }{\int }}{H}_{x}d\mu (x)$

上关于 $1_E$ 的乘法算子，那么 $\pi$ 就是 $(X,M)$ 上的一个投影值测度。

设 $\pi ,\rho$ 是 $(X,M)$ 上的投影值测度，其值分别为 $H,K$ 的投影算子。称 $\pi ,\rho$ 是幺正等价的，当且仅当存在一个幺正算子 $U:H\to K$ 满足

$\mathrm{\forall }E\in M,\pi (E)=U^{*}\rho (E)U.$

$\mu$ 的Template:Le以及测度按重数映射 $x\mapsto \dim H_x$ 之结果归并而来的等价类完全刻画了投影值测度（在幺正等价的意义上，也就是说凡不能区分的PVM都幺正等价）。

一个投影值测度 $\pi$ 称为是n重齐次(homogeneous)的，当且仅当重数函数具有常数值 $n$ 。显然，

在量子力学中的应用

在量子力学中，给定一个投影值测度，其定义域为一个可测空间 $X$ ，陪域是希尔伯特空间 $H$ 上的连续自同态所构成的向量空间，

• 希尔伯特空间 $H$ 的射影空间被解释为量子系统的可能状态集 $\mathrm{\Phi }$，
• 可测空间 $X$ 是系统某些量子性质（可观测量）的值空间，
• 投影值测度 $\pi$ 表示可观测量取各种值的概率。

$X$ 的常见选择是实数集，但也可能是

• ${ℝ}^3$（三维中的位置或动量），
• 离散集（用于角动量、束缚态能量等），
• 关于 $\phi \in \mathrm{\Phi }$ 的任意命题的真值的二元素集，即“真”和“假”。

令 $E$ 为可测空间 $X$ 的可测子集， $\phi$ 为 $H$ 中的归一化态矢，且其范数为一，即 $\Vert \phi \Vert =\sqrt{⟨\phi ,\phi ⟩}=1$ 。对于处于状态 $\phi$ 的系统，其可观测量的值落在子集 $E$ 中的概率为

$P_{\pi }(\phi )(E)=⟨\phi |\pi (E)(\phi )⟩=⟨\phi |\pi (E)|\phi ⟩,$

其中，物理学中更倾向于使用后一种符号。

我们可以用两种方式来解析这一点。

其一，对于给定的 $E$ ，投影 $\pi (E)$ 是 $H$ 上的一个自伴算子，其 1-本征空间（本征值 1 所对应的子空间）由可观测量的值始终落在 $E$ 中的态矢构成，其 0-特征空间则由可观测量的值永不落在 $E$ 中的态矢构成。

其二，对于任一给定的归一化态矢 $\psi$ ，

$P_{\pi }(\psi ):E\mapsto ⟨\psi \mid \pi (E)\psi ⟩$

是 $X$ 上的概率测度，从而使得可观测量的值成为随机变量。

可以用投影值测度 $\pi$ 来进行的测量称为投影测量Template:Clarify。

如果 $X$ 是实数集，则存在关联于 $\pi$ 的 $H$ 上的厄米算子 $A$ ，其将态矢 $\phi \in H$ 映射为

$A(\phi )=\underset{ℝ}{\int }\lambda \mathrm{d}\pi (\lambda )(\phi ),$

或者若 $\pi$ 的支撑集是 $ℝ$ 的一个离散子集，则可用更易读的形式写作

$A(\phi )=\sum _i{\lambda }_i\pi ({\lambda }_i)(\phi )$

上述算子 $A$ 被称为关联于该谱测度的可观测量。

推广

投影值测度的概念可推广到正算子值测度（POVM）。对于POVM，将恒等算子划分为投影算子所蕴含的正交性的要求不再是必要的，恒等算子转而被分解为一族不必正交的算子Template:Clarify 。这一推广的动机源于在量子信息理论上的应用。

参见

• 谱定理
• 谱测度
• 谱理论

参考资料

来源

• Template:Cite book
• Template:Cite book
• Mackey, G. W., The Theory of Unitary Group Representations, The University of Chicago Press, 1976
• Template:Citation
• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite book
• G. Teschl, Mathematical Methods in Quantum Mechanics with Applications to Schrödinger Operators, -{R|https://www.mat.univie.ac.at/~gerald/ftp/book-schroe/}- Template:Wayback, American Mathematical Society, 2009.
• Template:Cite book
• Varadarajan, V. S., Geometry of Quantum Theory V2, Springer Verlag, 1970.

Template:泛函分析