形式化：ℂ²、内积与范数（讲义 §10）

命题框：|0⟩=(1,0)ᵀ、|1⟩=(0,1)ᵀ、|ψ⟩=(α,β)ᵀ，‖ψ‖=1
三个演算：内积定义；范数 (1/√2, i/√2)ᵀ → 1 ✓；正交 ⟨0|1⟩=0
结果框：范数²=总概率；内积=0 ⟺ 完全可区分；内积是下课测量理论的核心工具

类型definition-derivation · 承接↩ 接上页——把态概念放进具体空间