# Vector space/Characterizations of basis/Maximal/Minimal/Fact

Jump to navigation
Jump to search

Let be a field, and let be a -vector space. Let be a family of vectors. Then the following statements are equivalent.

- The family is a basis of .
- The family is a minimal generating system, that is, as soon as we remove one vector , the remaining family is not a generating system any more.
- For every vector
,
there is exactly one representation
- The family is maximal linearly independent, that is, as soon as some vector is added, the family is not linearly independent any more.