Let V {\displaystyle {}V} be a K {\displaystyle {}K} -vector space, and let U 1 , U 2 , U {\displaystyle {}U_{1},U_{2},U} denote linear subspaces. Let
be the canonical projection. Show that the following statements are equivalent.
a) For the image spaces, we have
b) We have
c) We have