Colles de mathématiques
Projecteur somme de projecteurs, noyau et image
Sujet
Soit p et q deux projecteurs d'un espace vectoriel E .
Montrer que
Dans le cas où p + q est un projecteur, montrer que Ker(p+q) = Ker(p)∩Ker(q) et que Im(p+q) = Im(p)+Im(q) .
(p + q projecteur)
⇔ (
p o q = q o p = 0)
⇔ (
Im(p)⊂Ker(q) et Im(q)⊂Ker(p))
Dans le cas où p + q est un projecteur, montrer que Ker(p+q) = Ker(p)∩Ker(q) et que Im(p+q) = Im(p)+Im(q) .
Corrigé de l'exercice de maths: Projecteurs - Applications linéaires - Espaces vectoriels
Correction
![$p+q$](/Generateur-Devoirs/Colles/Applin/exP4_c/1.png)
![$(p+q)^2=p+q$](/Generateur-Devoirs/Colles/Applin/exP4_c/2.png)
![$p$](/Generateur-Devoirs/Colles/Applin/exP4_c/3.png)
![$q$](/Generateur-Devoirs/Colles/Applin/exP4_c/4.png)
![$p^2=p$](/Generateur-Devoirs/Colles/Applin/exP4_c/5.png)
![$q^2=q$](/Generateur-Devoirs/Colles/Applin/exP4_c/6.png)
![\[\begin{array}{ll}(p+q)^2&=(p+q)\circ(p+q)\\[.5em]
&=p^2+q^2+p\circ q+q\circ p\\[.5em]
&=p+q+p\circ q+q\circ p\enar\]](/Generateur-Devoirs/Colles/Applin/exP4_c/7.png)
Ainsi, si
![$p\circ q=q\circ p=0$](/Generateur-Devoirs/Colles/Applin/exP4_c/8.png)
![$p+q$](/Generateur-Devoirs/Colles/Applin/exP4_c/9.png)
Réciproquement, si
![$p+q$](/Generateur-Devoirs/Colles/Applin/exP4_c/10.png)
![$p\circ q+q\circ p=0$](/Generateur-Devoirs/Colles/Applin/exP4_c/11.png)
En appliquant
![$p$](/Generateur-Devoirs/Colles/Applin/exP4_c/12.png)
![$p$](/Generateur-Devoirs/Colles/Applin/exP4_c/13.png)
![\[\begin{array}{ll}
p\circ\left( p\circ q+q\circ p\right)
&=p^2\circ q+p\circ q\circ p\\[.5em]
&=p\circ q+p\circ q\circ p=0\enar\]](/Generateur-Devoirs/Colles/Applin/exP4_c/14.png)
soit
![$p\circ q+p\circ q\circ p=0$](/Generateur-Devoirs/Colles/Applin/exP4_c/15.png)
tandis qu'en appliquant
![$q$](/Generateur-Devoirs/Colles/Applin/exP4_c/16.png)
![\[\begin{array}{ll}
q\circ\left( p\circ q+q\circ p\right)
&=q\circ p\circ q+q^2\circ p\\[.5em]
&=q\circ p\circ q+q\circ p=0\enar\]](/Generateur-Devoirs/Colles/Applin/exP4_c/17.png)
soit
![$q\circ p\circ q\circ p=0$](/Generateur-Devoirs/Colles/Applin/exP4_c/18.png)
De ces deux derniers résultats, on déduit que
![\[p\circ q\circ p=-p\circ q=-q\circ p$,
et ainsi $p\circ q=q\circ p$.
\medskip
En r\'esum\'e, si $p+q$ est un projecteur,
on a n\'ecessairement, $p\circ q+q\circ p=0 \iff p\circ q=-q\circ p$
et aussi $p\circ q=q\circ p$.
Ceci implique que $p\circ q=q\circ p=0$.
\medskip
Enfin, $p\circ q=0 \iff \lp\forall x\in E, p(q(x))=0\rp\iff \text{Im}(q)\subset{Im}(q)$
et de m\^eme en inversant les r\^oles de $p$ et $q$, d'o\`u le r\'esultat
\[\begin{array}{ll}\left( p + q \text{projecteur}\right) &\iff \left( p\circ q=q\circ p=0\right)\\[.5em]
&\iff\left( \text{Im}(p)\subset\text{Ker}(q)\text{ et }\text{Im}(q)\subset\text{Ker}(p)\rp\enar\]](/Generateur-Devoirs/Colles/Applin/exP4_c/19.png)
On suppose maintenant que
![$p+q$](/Generateur-Devoirs/Colles/Applin/exP4_c/20.png)
![$p\circ q=q\circ p=0$](/Generateur-Devoirs/Colles/Applin/exP4_c/21.png)
On a simplement, si
![$p(x)=q(x)=0$](/Generateur-Devoirs/Colles/Applin/exP4_c/22.png)
![$(p+q)(x)=0$](/Generateur-Devoirs/Colles/Applin/exP4_c/23.png)
![$\text{Ker}\cup\text{Ker}(q)\subset\text{Ker}(p+q)$](/Generateur-Devoirs/Colles/Applin/exP4_c/24.png)
Montrons l'inclusion inverse: soit
![$x\in E$](/Generateur-Devoirs/Colles/Applin/exP4_c/25.png)
![$(p+q)(x)=0$](/Generateur-Devoirs/Colles/Applin/exP4_c/26.png)
On a alors, en appliquant
![$p$](/Generateur-Devoirs/Colles/Applin/exP4_c/27.png)
![$p^2(x)+p(q(x))=p(x)+p(q(x))=0$](/Generateur-Devoirs/Colles/Applin/exP4_c/28.png)
![$p\circ q=0$](/Generateur-Devoirs/Colles/Applin/exP4_c/29.png)
![$p(x)=0\iff x\in\text{Ker}(p)$](/Generateur-Devoirs/Colles/Applin/exP4_c/30.png)
De même, en appliquant
![$q$](/Generateur-Devoirs/Colles/Applin/exP4_c/31.png)
![$(p+q)(x)=0$](/Generateur-Devoirs/Colles/Applin/exP4_c/32.png)
![$q(x)=0\iff x\in\text{Ker}(q)$](/Generateur-Devoirs/Colles/Applin/exP4_c/33.png)
![$x\in\text{Ker}(p)\cap\text{Ker}(q)$](/Generateur-Devoirs/Colles/Applin/exP4_c/34.png)
![$\text{Ker}(p+q)\subset\text{Ker}(p)\cap\text{Ker}(q)$](/Generateur-Devoirs/Colles/Applin/exP4_c/35.png)
On a donc prouvé finalement que
![$\text{Ker}(p+q)=\text{Ker}(p)\cap\text{Ker}(q)$](/Generateur-Devoirs/Colles/Applin/exP4_c/36.png)
De même pour les images: on a directement
![$\text{Im}(p+q)\subset\text{Im}(p)+\text{Im}(q)$](/Generateur-Devoirs/Colles/Applin/exP4_c/37.png)
Montrons l'inclusion inverse. Soit
![$y\in\text{Im}(p)+\text{Im}(q)\iff \exist\left( x_1,x_2\rp\inE^2, y=p\left( x_1\rp+q\left( x_2\rp$](/Generateur-Devoirs/Colles/Applin/exP4_c/38.png)
En appliquant
![$p+q$](/Generateur-Devoirs/Colles/Applin/exP4_c/39.png)
![\[\begin{array}{ll}
(p+q)(y)&=p^2\left( x_1\rp+q\left( p\left( x_1\rp\rp
+p\left( q\left( x_2\rp\rp+q^2\left( x_2\rp \\[.5em]
&=p\left( x_1\rp+q\left( x_2\rp\\[.5em]
&=y\enar\]](/Generateur-Devoirs/Colles/Applin/exP4_c/40.png)
car
![$p^2=p$](/Generateur-Devoirs/Colles/Applin/exP4_c/41.png)
![$q^2=q$](/Generateur-Devoirs/Colles/Applin/exP4_c/42.png)
![$p\circ q=q\circ p=0$](/Generateur-Devoirs/Colles/Applin/exP4_c/43.png)
et on a donc obtenu, pour
![$y\in\text{Im}(p)+\text{Im}(q)$](/Generateur-Devoirs/Colles/Applin/exP4_c/44.png)
![$y=(p+q)(y)$](/Generateur-Devoirs/Colles/Applin/exP4_c/45.png)
![$y\in\text{Im}(p+q)$](/Generateur-Devoirs/Colles/Applin/exP4_c/46.png)
![$\text{Im}(p)+\text{Im}(q)\subset\text{Im}(p+q)$](/Generateur-Devoirs/Colles/Applin/exP4_c/47.png)
Finalement, on a donc obtenu
![\[\text{Im}(p)+\text{Im}(q)=\text{Im}(p+q)\]](/Generateur-Devoirs/Colles/Applin/exP4_c/48.png)