ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 14 — Espaces vectoriels et applications linéaires · Endomorphismes, projecteurs et symétries

Exercice 63

Démonstration

Soit pp et qq deux projecteurs de EE.

1. Montrer que, si p∘q+q∘p=0p \circ q + q \circ p = 0, alors p∘q=q∘p=0p \circ q = q \circ p = 0.

2. En déduire que p−qp - q est un projecteur si et seulement si p∘q=q∘p=qp \circ q = q \circ p = q.

3. On suppose maintenant p∘q=0p \circ q = 0, et l'on pose r=p+q−q∘pr = p + q - q \circ p. Montrer que rr est un projecteur, que Im⁡r=Im⁡p⊕Im⁡q\operatorname{Im} r = \operatorname{Im} p \oplus \operatorname{Im} q et que Ker r=Ker p∩Ker q\mathrm{Ker}\, r = \mathrm{Ker}\, p \cap \mathrm{Ker}\, q.

Corrigé

1. C'est le calcul de l'exercice 57 : en composant pq+qp=0pq + qp = 0 par pp à gauche puis à droite, on obtient pq=−pqp=qppq = -pqp = qp, donc 2pq=02pq = 0.

2. On a (p−q)2=p−pq−qp+q(p - q)^{2} = p - pq - qp + q, qui vaut p−qp - q si et seulement si pq+qp=2qpq + qp = 2q. Si pq=qp=qpq = qp = q, c'est vrai. Réciproquement, on compose l'égalité pq+qp=2qpq + qp = 2q par qq : à gauche, qpq+qp=2qqpq + qp = 2q, et à droite, pq+qpq=2qpq + qpq = 2q, d'où qp=pqqp = pq, puis 2pq=2q2pq = 2q. p−q projecteur  ⟺  pq=qp=q\boxed{p - q \text{ projecteur} \iff pq = qp = q}

3. En développant, avec p2=pp^{2} = p, q2=qq^{2} = q et pq=0pq = 0, r2=(p+q−qp)(p+q−qp)=p+qp+q−qp−qp=p+q−qp=r.r^{2} = (p + q - qp)(p + q - qp) = p + qp + q - qp - qp = p + q - qp = r. On a Im⁡r⊂Im⁡p+Im⁡q\operatorname{Im} r \subset \operatorname{Im} p + \operatorname{Im} q, puisque r=p+q(id−p)r = p + q(\mathrm{id} - p). Réciproquement, rp=p+qp−qp=prp = p + qp - qp = p et rq=pq+q−qpq=qrq = pq + q - qpq = q, donc Im⁡p\operatorname{Im} p et Im⁡q\operatorname{Im} q sont contenus dans Im⁡r\operatorname{Im} r. La somme est directe : si y=p(a)=q(b)y = p(a) = q(b), alors y=p(y)=pq(b)=0y = p(y) = pq(b) = 0. Enfin, Ker p∩Ker q⊂Ker r\mathrm{Ker}\, p \cap \mathrm{Ker}\, q \subset \mathrm{Ker}\, r, et si r(x)=0r(x) = 0, alors p(x)=pr(x)=0p(x) = pr(x) = 0, car pr=ppr = p, puis q(x)=r(x)−p(x)+qp(x)=0q(x) = r(x) - p(x) + qp(x) = 0. r est le projecteur sur Im⁡p⊕Im⁡q paralleˋlement aˋ Ker p∩Ker q.\boxed{r \text{ est le projecteur sur } \operatorname{Im} p \oplus \operatorname{Im} q \text{ parallèlement à } \mathrm{Ker}\, p \cap \mathrm{Ker}\, q.}

Dans l'édifice

Thèmes

projecteurs et symétries, sommes directes, projecteurs

Notions

projecteur, supplémentaire, somme directe

Ouvrir dans l'atlas interactif →