k is a group of vectors W is a subspace. why if W k then W span(k)
Are you sure you have copied this correctly? If W is a subset of k then it is trivially a subset of span(k) precisely because k itself is a subset of span(k). W\subseteq k\subseteq span(k)