Soit un espace préhilbertien réel.
Pour et dans , on pose (matrice de Gram) puis (déterminant de Gram).
1
Montrer que .
2
Montrer que la famille est liée si et seulement si et que la famille est libre si et seulement si .
3
On suppose que la famille est libre dans . On pose . Pour , on note la projection orthogonale de sur puis la distance de à (c’est-à-dire ). Montrer que .