von Neumann algebras contain the range projections of its elements
- Let be an operator in a von Neumann algebra acting on an Hilbert space
. Then the orthogonal projection onto the range of and the orthogonal projection onto the kernel of both belong to .
Proof : Let be the polar decomposition of with .
By the result on the parent entry (http://planetmath.org/PolarDecompositionInVonNeumannAlgebras) we see that .
As is a partial isometry, is the () projection onto the range of , and is the () projection onto the kernel of , where is the identity operator in .
Therefore the () projections onto the range and kernel of both belong to .