cours/Famille de vecteur normale.md

up::famille de vecteurs title::"vecteurs tous de norme 1" #maths/algèbre

---

[!definition] Famille de vecteurs normale Soit E un $\mathbf{K}$-[espace vectoriel]] muni d'une norme notée \|\;\| Soit F une famille de vecteurs de E F est normale ssi tous les vecteurs de F sont de norme 1 (unitaires) : \forall \vec{u} \in F, \|\vec{u}\| = 1_{\mathbf{K}} ^definition