Vector space/Generating system and spanned subspace/Fact
Let be a field, and let be a -vector space. Then the following statements hold.
- For a family , , of elements in , the linear span is a linear subspace of .
- The family
, ,
is a spanning system of , if and only if