量子力学之表象理论

量子力学之表象理论

基矢量

前面所有的这些符号，即线性算符、左矢量与右矢量都是抽象的量，为了数学上的进一步发展，把这些抽象的量用具有类似数学性质的数字集合来代替并表述是方便的。进行这个代替的方式不是唯一的，其中的每一个叫做一个表象。代替抽象量的数字集合叫做在此表象中这个抽象量的表示式。

为了在普遍方式下建立表象，我们取左矢量的一个完全集，即这样一个集合，使任何左矢量都能表示为它们的线性组合。这些左矢我们称之为表象的基左矢。如果在一个表象中任何两个基左矢都是正交的，我们就称此表象为正交表象。

我们假定基左矢由一个或多个参量${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_u$所标记，且这些参量全都是实数。这样基左矢就可以写成$⟨{\lambda }_1{\lambda }_2\cdots {\lambda }_u\mid$。下面我们来说明正交表象中的基左矢和对易可观察量的共同的本征左矢之间的关系。

取一右矢$\mid a⟩$，其在上述基左矢下的表示式为$⟨{\lambda }_1{\lambda }_2\cdots {\lambda }_u\mid a⟩$，现在令$\mid b⟩$为满足下式的右矢
$$⟨{\lambda }_1{\lambda }_2\cdots {\lambda }_u\mid b⟩={\lambda }_1⟨{\lambda }_1{\lambda }_2\cdots {\lambda }_u\mid a⟩$$
因为它们的表示式直接这样的线性关系，我们可以假定存在一线性算符$L_1$使得
$$\mid b⟩=L_1\mid a⟩$$
带入上述方程就有
$$⟨{\lambda }_1{\lambda }_2\cdots {\lambda }_u\mid L_1={\lambda }_1⟨{\lambda }_1{\lambda }_2\cdots {\lambda }_u\mid$$
因此，每一基左矢是$L_1$的一个本征左矢，${\lambda }_1$是其所属的本征值。从基左矢是正交的条件出发，我们能推导出$L_1$是实算符，而且是可观察量。令${\lambda }_1^{\prime },{\lambda }_2^{\prime },\cdots ,{\lambda }_u^{\prime }$及${\lambda }_1^{\prime \prime },{\lambda }_2^{\prime \prime },\cdots ,{\lambda }_u^{\prime \prime }$是参量${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_u$的两组值。我们用各${\lambda }^{\prime }$代入上式，并用各${\lambda }^{\prime \prime }$右乘上式的两边，得
$$⟨{\lambda }_1^{\prime }{\lambda }_2^{\prime }\cdots {\lambda }_u^{\prime }\mid L_1\mid {\lambda }_1^{\prime \prime }{\lambda }_2^{\prime \prime }\cdots {\lambda }_u^{\prime \prime }⟩={\lambda }_1^{\prime }⟨{\lambda }_1^{\prime }{\lambda }_2^{\prime }\cdots {\lambda }_u^{\prime }\mid {\lambda }_1^{\prime \prime }{\lambda }_2^{\prime \prime }\cdots {\lambda }_u^{\prime \prime }⟩$$
反过来，我们也可以用各${\lambda }^{\prime \prime }$代入上式，并用各${\lambda }^{\prime }$右乘上式的两边，这样就得到
⟨ λ 1 ′ ′ λ 2 ′ ′ ⋯ λ u ′ ′ ∣ L 1 ∣ λ 1 ′ λ 2 ′ ⋯ λ u ′ ⟩ = λ 1 ′