Caractérisation des familles libres via le déterminant

[ None ]

Soient :

  • \(E\) un \(\mathbb{K}\)-espace vectoriel  de dimension \(n\).

  • \(e=\left(e_1,\dots,e_n\right)\) une base de \(E\).

  • \(\mathscr S=\left(x_1,\dots,x_n\right)\) une famille de \(n\) vecteurs de \(E\).

Alors \(\mathscr S\) est libre si et seulement si \(\mathop{\rm det}_e\left(x_1,\dots,x_n\right)\neq 0\).

En savoir plus