 Weyl integration formula

The Weyl integration formula is a result in the field of functional analysis and operator theory that relates the eigenvalues and eigenvectors of self-adjoint operators to the integration of certain functions over the spectrum of the operator. Specifically, it provides a way to express the integral of a function of an operator in terms of its eigensystem.