期望值:定义与"结果 × 概率"

1. 按本征基展开:|ψ⟩ = Σⱼ ⟨mⱼ|ψ⟩|mⱼ⟩

2. 左右各插入恒等算符分解 I = Σᵢ |mᵢ⟩⟨mᵢ|

3. ⟨M⟩ = Σ_{i,j} ⟨ψ|mᵢ⟩·⟨mᵢ|M|mⱼ⟩·⟨mⱼ|ψ⟩

4. 代入本征方程:⟨mᵢ|M|mⱼ⟩ = mⱼ⟨mᵢ|mⱼ⟩ = mⱼ·δᵢⱼ(i = j 时 1、否则 0)→ 双重求和坍缩

5. ⟨M⟩ = Σⱼ mⱼ·|⟨mⱼ|ψ⟩|²

类型definition-derivation(本课核心推导,占满)