Vector space/Generating system and spanning subspace/Fact
Appearance
Let be a field, and let be a -vector space. Then the following hold.
- Let
, ,
be a family of
linear subspaces
of . Then the intersection
is a linear subspace.
- 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 .
- The family , ,
is a
system of generators
of if and only if