1. Soit tels que la famille soit libre. Montrer que .
2. Soit une famille de vecteurs de et deux éléments de . Montrer que
Corrigé
1. Les vecteurs appartiennent à , qui contient donc une famille libre de vecteurs : (théorème 1), c'est-à-dire (proposition 2).
2. Notons . On a , d'où la première inégalité. Par ailleurs, est la somme de et de , et la proposition 5 donne