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
-