右矢:状态是列矢量

1. 展开即坐标:任意 (x, y)ᵀ = x·(1, 0)ᵀ + y·(0, 1)ᵀ = x|0⟩ + y|1⟩——线性组合 ↔ 列坐标一一对应

2. 演算例(教材 §2.4):|+⟩ 的列矢量 (1/√2, 1/√2)ᵀ = (1/√2)|0⟩ + (1/√2)|1⟩

3. 维度计数:单比特态空间是二维复空间,最少需要 2 个基矢(|0⟩、|1⟩ 恰好够用)

类型definition-derivation