Subspace supplement with a prescribed intersection

ID: subspace-supplement-with-a-prescribed-intersection

For vector subspaces of a finite-dimensional vector space, such a always exists. Extend a basis of to one of , then extend again to one of . Let be spanned by the original basis of together with the vectors added in the second extension. Uniqueness of coordinates gives the displayed intersection and sum. Equivalently, choose a direct sum complement with and put . Necessarily . In , the skew-symmetric subspace inside the traceless subspace admits .

New to topics? Read the docs here!