数学表述
本征态
假设,物理量 是某量子系统的可观察量,其对应的量子算符 ,可能有很多不同的本征值 与对应的本征态 ,这些本征态 ,形成了具有正交归一性的基底:[1]:96-99
- ;
其中, 是克罗内克函数。
任何描述这量子系统的量子态 ,都可以用这基底的本征态表示为
- ;
其中, 是复系数,是在量子态 里找到量子态 的机率幅。[2]:50
假设,量子态 等于这些本征态之中的一个本征态 ,则对于这量子系统,测量可观察量 ,得到的结果必定等与本征值 ,机率为1,量子态 是“确定态”。
统计诠释
根据统计诠释,对应于可观察量的量子算符可能有很多本征值,测量结果只能是其中一个本征值,而且,每一个本征值出现的机会呈机率性。测量这个动作会将量子系统的量子态改变为对应于本征值的本征态,并且,在之后短暂片刻内,量子系统的量子态仍旧是这本征态。[1]:106-109
假设,某量子系统的量子态为
- 。
测量这个动作会将量子系统的量子态改变为算符 的一个本征态。假设量子态改变为本征态 ,则改变为这本征态的机率为 ,测量结果是本征值 ,得到这本征值的机率也为 。在测量之后短暂片刻内,量子系统的量子态仍旧是本征态 。
将算符 作用于量子态 ,会形成新量子态 :
- 。
从左边乘以量子态 ,经过一番运算,可以得到
- 。
所以,每一个本征值与其机率的乘积,所有乘积的代数和就是可观察量 的期望值:
- 。
厄米算符
每一种经过测量而得到的物理量都是实数,因此,可观察量 的期望值是实数:
- 。
对于任意量子态 ,这关系都成立:
- 。
根据伴随算符的定义,假设 是 的伴随算符,则 。因此,
- 。
这正是厄米算符的定义。所以,表现可观察量的算符,都是厄米算符。[1]:96-99
不相容可观察量
假若两种可观察量的对易算符不等于0,则称这两种可观察量为“不相容可观察量”:[1]:110-112
- ;
其中, 、 分别是可观察量 、 的算符。
这两种算符 与 绝对不会有共同的基底。一般而言, 的本征态与 的本征态不同[注 1]假设量子系统的量子态为 。对于算符 ,所有本征值为 的本征态 ,形成一个基底。量子态 可以表示为这组基底本征态的线性组合:
- ;
其中, 是复系数,是在量子态 里找到量子态 的机率幅。[2]:50
对于算符 ,所有本征值为 的本征态 ,形成了另外一个基底。量子态 可以表示为这组基底本征态的线性组合:
- ;
其中, 是复系数,是在量子态 里找到量子态 的机率幅。[2]:50
对于量子系统的可观察量 做测量,可能得到的结果是各种本征态 的本征值 ,获得这些不同结果的机会具有机率性,可以表达为机率分布,结果为 的机率是 。
假设测量的结果是本征值 ,则可以推断,在测量之后短暂片刻内,量子态是本征态 。假若立刻再测量可观察量 ,由于量子态仍旧是本征态 ,所得到的测量值是本征值 机率为1。假若立刻再对本征态 测量可观察量 ,则会得到统计性的答案。假设测量的结果是本征值 ,则可以推断,在测量之后短暂片刻内,量子态是本征态 。
根据不确定性原理,
- 。
设定 。假设, 与 是两个不相容可观察量,则 。而 的不确定性与 的不确定性的乘积 ,必定大于或等于 。
实例
参阅
注释
参考文献
- ^ 1.0 1.1 1.2 1.3 Griffiths, David J., Introduction to Quantum Mechanics (2nd ed.), Prentice Hall, 2004, ISBN 0-13-111892-7
- ^ 2.0 2.1 2.2 Sakurai, J. J.; Napolitano, Jim, Modern Quantum Mechanics 2nd, Addison-Wesley, 2010, ISBN 978-0805382914
- ^ A. P. French, An Introduction to Quantum Phusics, W. W. Norton, Inc.: pp. 452–453, 1978, ISBN 9780748740789 (英语)