Let \mathfrak H\, be a complex, separable Hilbert space, X a locally compact space and d\nu a measure on X.
holds in the weak sense on the Hilbert space \mathfrak H, i.e., for any two vectors | \phi\rangle , | \psi \rangle in \mathfrak H, the following equality holds: .