S'il vous plaît,
En algèbre bilinéaire je sais qu'une famille orthonormée est une famille orthogonale dont tous les vecteurs sont de norme 1, mais j'aimerais savoir ce que c'est qu'une famille "orthonormalisée". J'ai rencontré le terme dans la définition du théorème de Gram-Schmidt
Cordialement, merci
-----