In fact the adjoint invariance follows from the orthogonal decomposition and the invariance under , without using the normal operator property. For and with ,
since . Hence is orthogonal to every other summand and therefore lies in . Moreover, for , the adjoint identity restricted to that subspace shows
Restricting to , using (i), gives , so the global normal operator property implies the normal operator property of every restriction. Conversely, if the restrictions are normal and the adjoint preserves each summand, then for ,
Thus , with condition (i) automatic under the stated decomposition.

Articles by others on the same topic (0)

There are currently no matching articles.