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.
  1. form a basis of .
  2. form a generating system of .
  3. are linearly independent.