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.