Directed subspace angle ($\cos {\theta }_{V,W}={\inf }_{v\in V,\Vert v\Vert =1}\Vert P_{W}v\Vert$)

For a nonzero closed subspace of a Hilbert space $V$ and a closed subspace of a Hilbert space $W$, this angle measures the worst loss under projection from $V$ to $W$. Its positive cosine is a uniform lower bound for $P_W{|}_V$. The order of the subspaces matters in general. This is distinct from the smallest angle between two subspaces, whose cosine is a supremum. For equal finite dimensions the cosine is the smallest singular value of the cross Gram matrix of orthonormal bases. When $V$ is zero, the infimum is over an empty unit sphere and does not define an angle in $[0,\pi /2]$; use a lower-bound formulation instead.

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.