Universal Danker

  • Called “ket”
  • Basically a regular vector
  • 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

  • Dot Product
  • Measures how much two wave functions overlap
  • “Bra” can be thought of as a linear operator on ket, or when taking the dot product
  • The set of all bras is a dual space

  • For normalized wave functions, the outer product of a wave function with itself enacted on another wave function gives the projection of onto

Discrete

  • The sum of projection matrices for each dimension is the identity matrix

  • Change of basis of in to is the sum of projections of onto for finitely many components

Continuous

  • Change of basis for infinitely-many components