\[\left\langle F(T)f,f\right\rangle=\int_{0}^{\infty}F(\lambda){\left|\widehat{f%
}(\lambda)\right|}^{2}\,\mathrm{d}\lambda.\]