贡献者: JierPeter
Wigner 基本定理是说,量子态的对称变换一定能表示成希尔伯特空间中的对称算子或反对称算子。在 Weinberg 的量子场论第一卷 [1] 中也将其称为 “对称表示定理(symmetry representation theorem)”。
1. 定理描述
量子力学认为量子态构成一个希尔伯特空间,其中互为倍数的量子态是等价的(定义 3 )。为了方便,我们可以限定只讨论模为 的那些量子态,也可以说我们讨论的不是矢量,而是射线(ray)。当然,如果觉得射线的语言不好理解,也可以只考虑归一化的态矢,不影响对定理的理解和表述。
希尔伯特空间 中的射线构成 的一个商集1,定义为 。其中等价关系 就是量子态等价的定义,即 。
量子态 所在的射线,或者说能表示这一量子态的所有右矢的集合,记为 2。射线的 “内积” 由归一化矢量定义:
有了上述概念,就可以定义对称变换:
定义 1 对称变换
给定希尔伯特空间 及其射线空间 ,如果映射 满足:对于任意 ,都有
那么称 是一个
对称变换(symmetry transformation)。
注意对称变换的名称,“对称” 是一个名词,而非形容词。
显然,对称变换是保跃迁概率的,因为两个态之间的跃迁振幅定义正是其内积,而概率是振幅的模方。
定义 2
设有希尔伯特空间 ,取映射 。如果对于任意 ,映射 都满足
那么称 与
相容(compatible)。
定理 1 Wigner 基本定理
任何对称变换 ,存在物理态 Hilbert 空间上的算符 ,使 与 相容,且该算符满足下列条件之一:
是线性且幺正的:
或 是
共轭线性且
反幺正的:
但不可能同时存在一个满足式 4 的 和一个满足式 5 的 都和 相容。
由于 只是射线间的映射,故与 相容的右矢间的映射 可能性很多,起码不一定是线性的。因此定理中说的是存在满足条件的 。
2. 定理证明
以下证明的思路基本与 [1] 第 2 章附录 A 一致,整理、优化了表述。
另一证明可参见An algebraic approach to Wigner's unitary-antiunitary theorem。
正交完备集映射为正交完备集
考虑态空间 中的一个归一化正交完备集 ,即 ,,且任意态矢量都可以表示成 (离散情况)或 (连续情况)的形式。
以下证明中仅考虑离散情况,但连续情况是完全相同的,读者可自行将求和替换为积分来验证。
设 是一个对称变换,记 是射线 中任意一个归一化右矢,那么由式 2 以及 “非零矢量和自己的内积恒为正实数” 得
式 6 同时意味着,任何非零矢量都不可能由 变换为零矢量,从而 是可逆映射。由
定义 1 逻辑上的对称性易知, 的
逆映射也是对称变换。
易证, 也构成一组归一化正交完备集3。于是,两个基下态右矢的内积规则是一致的,都是 “左矢取展开系数的共轭、右矢取展开系数,对应系数相乘后求和”。
这就是说,任取两个右矢 和 ,再取 和 。则内积计算规则相同: 和 。
映射后,任选的两个展开系数的比值或相等或共轭
考虑任意态右矢 。设进行 映射后的展开为
由于 ,因此
又因为 ,因此
由
式 8 和
式 9 除以
式 8 得
4
于是由复数的几何性质(见图 1 )得
图 1:
式 11 的几何推导。图中显示了 和 两个点,红圈的圆心在 处,绿圈的圆心在 处,而 在这两个圆的交点上。
式 10 的两条等式分别表示 在绿圈和红圈上,从而可推得
式 11 。
于是对于选定的 和 ,要么有 ,要么有 。
映射后,任意展开系数的比值要么都相等、要么都共轭
任取三个基右矢 、 和 ,构造态右矢 。按式 7 定义映射后的展开系数 。
于是由 除以式 8 得
类比
图 1 的逻辑可得, 和 要么相等、要么共轭。结合之前的结论
式 11 ,可知要么 且 ,要么 且 。
由于三个基右矢是任取的,故可知映射 作用后,要么任意一对系数之比都相等,要么都变为共轭。
于是只需要任取其中一个基向量 ,知道 中的比值(或者说相位差) 后,即可算出所有的 。
系数比值相等的情况
当系数比值相等时,能够定义 。
按此定义,式 4 第一条的线性性天然满足。
由 的定义5,可知
即
式 4 第二条的幺正性。
但是,不可能定义满足共轭线性的 ,否则存在 的情况,违反了 “系数比值相等” 的假设。
系数比值共轭的情况
当系数比值共轭时,能够定义 。
按此定义,式 5 第一条的共轭线性性天然满足。,且
即
式 5 第二条的反幺正性。
但是,不可能定义满足线性性的 ,否则存在 的情况,违反了 “系数比值共轭” 的假设。
1. ^ 见子节 4 中的 “商集” 概念。
2. ^ Wikipedia 的Wigner 基本定理
文章中,用波函数 来表示一个右矢(笔者建议不要有这个坏习惯,波函数和右矢不等价。可以用 表示波函数 对应的右矢,二者的关系为 ,其中 是位置算符的本征右矢。),而把 所在的射线记为 。
3. ^ 否则可以用这组矢量无法组合出来的矢量构造一个 ,使 恒成立,但这就产生矛盾了:,其中 。
4. ^ 这里式 8 的下标用 。
5. ^ 在证明的一开始定义的,为免于读者翻找,这里复述一遍: 是射线 中任意一个归一化右矢。注意,已知 是一个对称变换。
[1] ^ Steven L. Weinberg. The Quantum Theory of Fields, Volume 1: Foundations, Cambridge University Press; 1st Edition (May 9, 2005). ISBN-10: 0521670535; ISBN-13: 978-0521670531.
致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者
热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。