Vector space/Dimension n and n vectors/Equivalences/Fact
Let be a field, and let be a -vector space with finite dimension . Let vectors in be given.
Then the following properties are equivalent.
- form a basis of .
- form a generating system of .
- are linearly independent.