By definition, these two subspaces are orthogonal to each other and their direct sum is the whole space. Therefore, for any vector $v$ in the space, it can be decomposed uniquely into $v = v_S + v_{S^{\perp}}$, where $v_S$ is in $S$ and $v_{S^{\perp}}$ is in
Show more…