Universal Danker
∣ Ψ ⟩ = Ψ ( x 1 ) Ψ ( x 2 ) Ψ ( x 3 ) ⋮
Called “ket”
Basically a regular vector
⟨ Ψ ∣ = ( ∣ Ψ ⟩ ⊤ ) ∗ = [ Ψ ( x 1 ) ∗ Ψ ( x 2 ) ∗ Ψ ( x 3 ) ∗ … ]
The bra of a wave function is the complex conjugate of the transpose of the ket of the wave function. Transposing and complex conjugating are commutative operations
⟨ Φ∣Ψ ⟩ = ϕ i ∗ Ψ i = ∫ Φ ∗ ( x ) Ψ ( x ) d x
Dot Product
Measures how much two wave functions overlap
“Bra” can be thought of as a linear operator on ket, or ⟨ f ∣ ( ∣ g ⟩ ) = ∫ f ∗ g d x when taking the dot product
The set of all bras is a dual space
∣ Φ ⟩ ⟨ Ψ ∣ = ∣ Φ ⟩ ⊗ ⟨ Ψ ∣ = Φ 1 Ψ 1 ∗ Φ 2 Ψ 1 ∗ Φ 3 Ψ 1 ∗ ⋮ Φ 1 Ψ 2 ∗ Φ 2 Ψ 2 ∗ Φ 3 Ψ 2 ∗ ⋱ Φ 1 Ψ 3 ∗ Φ 2 Ψ 3 ∗ Φ 3 Ψ 3 ∗ ⋱ … ⋱ ⋱ ⋱
∣ Ψ ⟩ ⟨ Ψ∣Φ ⟩ = proj Ψ Φ
For normalized wave functions, the outer product of a wave function Ψ with itself enacted on another wave function Φ gives the projection of Φ onto Ψ
Discrete
i ∑ ∣ e n ⟩ ⟨ e n ∣ = I
The sum of projection matrices for each dimension n is the identity matrix
∣ Φ ⟩ = i ∑ ∣ Ψ i ⟩ ⟨ Ψ i ∣Φ ⟩
Change of basis of Φ in { ∣ Φ i ⟩ } to { ∣ Ψ i ⟩ } is the sum of projections of Φ onto Ψ i for finitely many components
Continuous
∫ ∣ e z ⟩ ⟨ e z ∣ d x = 1
∣ Φ ⟩ = ∫ ∣ Ψ ⟩ ⟨ Ψ∣Φ ⟩ d x
Change of basis for infinitely-many components