This is the setup I am working in: I had previously seen that there is a one-to-one correspondence between closed subspaces of a Hilbert space and orthogonal projections acting on the Hilbert space ...