Vector space/Generating system and spanning subspace/Fact

Let be a field and let be a -vector space. Then the following hold.

  1. Let , , be a family of subspaces of . Then the intersection

    is a linear subspace.

  2. Let , , be a family of elements of and consider the subset of which is given by all linear combinations of these elements. Then is a linear subspace of .
  3. The family , , is a system of generators of if and only if