Functional analysis MOC Dirac orthonormality A set of kets where is said to be Dirac orthonormal1 iff fun where is the Dirac delta, and in addition complete iff develop | en | sembr Footnotes 2018. Introduction to quantum mechanics, §3.3.2, p. 100 ↩