 Complementarity from two directed subspace angles

For closed subspaces of a Hilbert space, set $T=P_{V^{\perp }}{|}_W$. The two positive cosines bound $T$ and its adjoint operator $P_W{|}_{V^{\perp }}$ below. The first bound gives a closed range and injectivity; the second makes the range dense by image-kernel orthogonality for an adjoint. Thus $T$ is a bounded bijection, and $w=T^{-1}{P}_{V^{\perp }}f$ yields the unique direct sum decomposition $f=w+v$. In equal finite dimensions, a lower bound on $T$ alone suffices by the rank-nullity theorem.