线性算符与矩阵表示
物理问题引入:物理操作如何用数学语言精确表达?
在初等物理中,速度、电场等物理量被描述为矢量 𝒗v. 然而,在理论力学与量子力学中,物理学家更关心的是 操作与演化:
- 刚体旋转:刚体的角动量 𝑳L 与角速度 𝝎omega 并不总是平行的,它们通过一个将角速度变换为角动量的矩阵相互联系:𝑳 =𝐈𝝎L = Iomega(惯量张量);
- 偏振光学:一个偏振片、波片会对穿过的偏振光矢量进行衰减与相位旋转(琼斯矩阵运算);
- 量子力学测量:对微观粒子的测量本质上是对态向量的一个线性作用,动量测量对应空间导数算符 ˆ𝑝 = −𝑖ℏdd𝑥p = -idx.
将一个态变换为另一个态的数学映射,就是 线性算符(Linear Operator).
1. 线性算符的严格定义与基本性质
设 𝑉V 为数域 𝔽F(通常为 ℝR 或 ℂC)上的线性空间. 映射 ˆ𝑇 :𝑉 →𝑉T: V -> V 称为 线性算符,如果它保持加法与数乘的线性:
ˆ𝑇(𝛼|𝒖⟩+𝛽|𝒗⟩)=𝛼ˆ𝑇|𝒖⟩+𝛽ˆ𝑇|𝒗⟩(∀|𝒖⟩,|𝒗⟩∈𝑉,∀𝛼,𝛽∈𝔽)T(alpha |urangle + beta |vrangle) = alpha T|urangle + beta T|vrangle quad (forall |urangle, |vrangle in V, , forall alpha, beta in F)(在此引入理论物理通用的狄拉克右矢符号 |𝒗⟩|vrangle 表示向量).
算符代数运算
- 加法与数乘:(𝛼ˆ𝐴 +𝛽ˆ𝐵)|𝒗⟩ =𝛼ˆ𝐴|𝒗⟩ +𝛽ˆ𝐵|𝒗⟩(alphaA + betaB)|vrangle = alphaA|vrangle + betaB|vrangle;
- 算符乘法(复合运算):(ˆ𝐴ˆ𝐵)|𝒗⟩ =ˆ𝐴(ˆ𝐵|𝒗⟩)(AB)|vrangle = A(B|vrangle),一般 不满足交换律(ˆ𝐴ˆ𝐵 ≠ˆ𝐵ˆ𝐴AB != BA);
- 对易子(Commutator):衡量两个算符不可交换程度的核心代数工具:
[ˆ𝐴,ˆ𝐵]=ˆ𝐴ˆ𝐵−ˆ𝐵ˆ𝐴[A, B] = AB - BA若 [ˆ𝐴,ˆ𝐵] =0[A, B] = 0,称两算符 相互对易(可以同时被精确测量,具有共同本征基底).
2. 算符在基底下的矩阵表示
算符是抽象的对象,但在选定具体坐标基底后,算符即可完全等价地表示为一个二维 矩阵(Matrix).
设有限维空间 𝑉V 的一组基为 {|𝒆1⟩,|𝒆2⟩,…,|𝒆𝑛⟩}|e_1rangle, |e_2rangle, dots, |e_nrangle. 线性算符 ˆ𝑇T 作用在每一个基向量上,结果必定仍可由该基底线性展开:
ˆ𝑇|𝒆𝑗⟩=𝑛∑𝑖=1𝑇𝑖𝑗|𝒆𝑖⟩=𝑇1𝑗|𝒆1⟩+𝑇2𝑗|𝒆2⟩+⋯+𝑇𝑛𝑗|𝒆𝑛⟩T|e_jrangle = sum_i=1^n T_ij |e_irangle = T_1j|e_1rangle + T_2j|e_2rangle + dots + T_nj|e_nrangle展开系数构成的矩阵 𝑇 =(𝑇𝑖𝑗)T = (T_ij) 即为算符 ˆ𝑇T 在该基底下的 矩阵表示. 第 𝑗j 列的元素就是第 𝑗j 个基向量经算符变换后的新坐标!
3. 基变换与相似变换矩阵
若选取另一组新基 {|𝒆′1⟩,…,|𝒆′𝑛⟩}|e'_1rangle, dots, |e'_nrangle,新旧基通过可逆过渡矩阵 𝑃P 相联系:
|𝒆′𝑗⟩=𝑛∑𝑖=1𝑃𝑖𝑗|𝒆𝑖⟩|e'_jrangle = sum_i=1^n P_ij |e_irangle同一个抽象算符 ˆ𝑇T 在新基下的矩阵表示 𝑇′T' 与旧基矩阵 𝑇T 满足 相似变换关系:
𝑇′=𝑃−1𝑇𝑃T' = P^-1 T P物理启示: 物理真实不会因为我们选用了笛卡尔坐标还是倾斜坐标而改变. 矩阵的迹(Tr(𝑇)Tr(T))和行列式(det(𝑇)det(T))在相似变换下保持严格不变,它们是算符本身的 固有物理不变量!
4. 物理实战范例:泡利自旋矩阵(Pauli Matrices)
在量子力学自旋 1/21/2 体系中,电子的内禀角动量算符 ˆ𝑺 =ℏ2𝝈S = hbar/2sigma. 在以自旋向上 | +⟩ =(10)|+rangle = pmatrix 1 0 pmatrix 与自旋向下 | −⟩ =(01)|-rangle = pmatrix 0 1 pmatrix 为基底时,泡利自旋算符的矩阵表示为:
𝜎𝑥=(0110),𝜎𝑦=(0−𝑖𝑖0),𝜎𝑧=(100−1)sigma_x = pmatrix 0 & 1 1 & 0 pmatrix, quad sigma_y = pmatrix 0 & -i i & 0 pmatrix, quad sigma_z = pmatrix 1 & 0 0 & -1 pmatrix直接检验它们的对易代数:
[𝜎𝑥,𝜎𝑦]=(0110)(0−𝑖𝑖0)−(0−𝑖𝑖0)(0110)=(𝑖00−𝑖)−(−𝑖00𝑖)=2𝑖𝜎𝑧[sigma_x, sigma_y] = pmatrix 0 & 1 1 & 0 pmatrixpmatrix 0 & -i i & 0 pmatrix - pmatrix 0 & -i i & 0 pmatrixpmatrix 0 & 1 1 & 0 pmatrix = pmatrix i & 0 0 & -i pmatrix - pmatrix -i & 0 0 & i pmatrix = 2i sigma_z循环对易关系 [𝜎𝑎,𝜎𝑏] =2𝑖𝜖𝑎𝑏𝑐𝜎𝑐[sigma_a, sigma_b] = 2i epsilon_abc sigma_c 完美展现了三维空间量子旋转算符 李代数(Lie algebra)的全部物理结构.
5. 学习衔接
本页面最近更新:2026/10/1 10:49:01,更新历史
发现错误?想一起完善? 在 GitHub 上编辑此页!
本页面贡献者:Leafuke, Physics Learning Wiki Team
本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供,附加条款亦可能应用