Dirac orthonormality

A set of kets $| 𝑓 𝑝 ⟩$ where $𝑝 \in ℝ$ is said to be Dirac orthonormal¹ iff #m/def/anal/fun

⟨ 𝑓 𝑝' | 𝑓 𝑝' ⟩ = 𝛿 (𝑝 - 𝑝)

where $𝛿$ is the Dirac delta, and in addition complete iff

\int 𝐷 | 𝑓 𝑧 ⟩ ⟨ 𝑓 𝑧 | 𝑑 𝑧 = 𝐈

#state/develop | #lang/en | #SemBr

Footnotes