- #1

- 525

- 16

I realize that the definition works, but what motivates it? In the finite dimensional case, ##E_{\lambda}## was basically defined as projection onto all the eigenspaces corresponding to eigenvalues less than ##\lambda##. Presumably this definition is some sort of generalization of the finite dimensional case, but I'm having a tough time seeing how.