Salut,
Si l'application est injective, par theoreme du rang le rang de cette matrice est égal à la dimension de l'espace de départ. De ce fait la famille des colonnes (qui contient ce même nombre de vecteurs) est libre.