ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 14 — Espaces vectoriels et applications linéaires · Familles de vecteurs

Exercice 16

Démonstration

Soit n⩾2n \geqslant 2 et (e1,…,en)(e_{1}, \dots, e_{n}) une famille libre de EE.

1. Montrer que la famille (e1+e2,e2+e3,…,en−1+en)(e_{1} + e_{2}, e_{2} + e_{3}, \dots, e_{n - 1} + e_{n}) est libre.

2. Pour k∈[ ⁣[1 ;n] ⁣]k \in [\![1\,;n]\!], on pose vk=e1+⋯+ekv_{k} = e_{1} + \cdots + e_{k}. Montrer que la famille (v1,…,vn)(v_{1}, \dots, v_{n}) est libre, et que Vect(v1,…,vn)=Vect(e1,…,en).\mathrm{Vect}(v_{1}, \dots, v_{n}) = \mathrm{Vect}(e_{1}, \dots, e_{n}).

Corrigé

1. Si ∑k=1n−1ak(ek+ek+1)=0\sum_{k = 1}^{n - 1} a_{k}(e_{k} + e_{k + 1}) = 0, on regroupe selon les eke_{k} : a1e1+∑k=2n−1(ak−1+ak)ek+an−1en=0.a_{1}e_{1} + \sum_{k = 2}^{n - 1} (a_{k - 1} + a_{k})e_{k} + a_{n - 1}e_{n} = 0. La liberté donne a1=0a_{1} = 0, puis ak=−ak−1=0a_{k} = -a_{k - 1} = 0 de proche en proche. (e1+e2,…,en−1+en) est libre.\boxed{(e_{1} + e_{2}, \dots, e_{n - 1} + e_{n}) \text{ est libre.}}

2. On a e1=v1e_{1} = v_{1} et ek=vk−vk−1e_{k} = v_{k} - v_{k - 1} pour k⩾2k \geqslant 2 : chaque famille est formée de combinaisons de l'autre, d'où l'égalité des sous-espaces engendrés. Si ∑μkvk=0\sum \mu_{k}v_{k} = 0, alors ∑j(∑k⩾jμk)ej=0\sum_{j} \big(\sum_{k \geqslant j} \mu_{k}\big)e_{j} = 0, donc toutes les sommes μj+⋯+μn\mu_{j} + \cdots + \mu_{n} sont nulles ; leurs différences successives donnent μn=μn−1=⋯=μ1=0\mu_{n} = \mu_{n - 1} = \cdots = \mu_{1} = 0. (v1,…,vn) est libre et Vect(vk)=Vect(ek)\boxed{(v_{1}, \dots, v_{n}) \text{ est libre et } \mathrm{Vect}(v_{k}) = \mathrm{Vect}(e_{k})}

Dans l'édifice

Thèmes

familles de vecteurs, familles libres

Notions

famille libre

Ouvrir dans l'atlas interactif →