Let be a field, and let be a -vector space. Let be a family of vectors in . Consider the map
-
and prove the following statements.
- is injective if and only if are linearly independent.
- is surjective if and only if is a system of generators for .
- is bijective if and only if form a basis.