Sommes de projecteurs

Publié le 12/03/17

(cet exercice est issu de l’oral X-Cachan Psi 2010)

Soient {A_1,\ldots ,A_k} dans {\mathcal M_n(\mathbb{R})} et {A=A_1+\cdots +A_k}.
On considère les propriétés suivantes :
{a)\;\forall (i,j)\in\{1,\ldots ,k\}^2}, {{A_i}^2=A_i}, et {i\neq j\Rightarrow A_iAj=0} ;
{b)\;A^2=A} et {\text{rg}(A)=\text{rg}(A_1)+\cdots +\text{rg} (A_k)} ;
{c)\;\text{rg} (A_1)+\cdots +\text{rg} (A_k) =n-\text{rg}(I_n-A)}.

  1. Montrer que : {a)\Rightarrow b)\Rightarrow c)}.
  2. On définit les matrices par blocs suivantes :

    {\!\!D=\begin{pmatrix} A_1&0&\cdots&0\\ 0&A_2&\ddots&\vdots\\ \vdots&\ddots&\ddots&0\\ 0&\cdots&0&A_k\end{pmatrix}}, {P=\begin{pmatrix}A_1 \\\vdots \\A_k\end{pmatrix}}, {Q=\begin{pmatrix}A_1 & \cdots & A_k\end{pmatrix} },

    {\!\!R=\!\begin{pmatrix}-I_n & 0 & 0 \\0 & D & 0 \\0 & 0 & I_n\!-\!A\end{pmatrix}}, {S=\!\begin{pmatrix}-I_n & 0 & I_n \\0 & D & P \\I_n & Q & 0\end{pmatrix}}, {T=\!\begin{pmatrix}0 & 0 & I_n \\0 &\!\! D\!-\!PQ \!\!& P \\I_n & 0 & 0\end{pmatrix}}

    Prouver que {\text{rg}(R)=\text{rg}(S)=\text{rg}(T)}.

  3. En déduire l’implication {c)\Rightarrow a)} et conclure.

Cliquer ici pour voir (ou cacher) le corrigé