Spectral projector (source code)

= Spectral projector

A spectral projector is the value $E(B)$ of the <projection-valued measure> of a normal operator on a measurable part $B$ of its spectrum. In finite dimension, the spectral projector onto an eigenspace extracts the corresponding eigenvector component.