Mot clef : Algèbre linéaire

Projecteurs de somme IdE

Soit {E} un {\mathbb{K}}-ev de dimension finie, et {p_1,\ldots,p_n} des projecteurs tels que {\sum_{j=1}^n p_j=\text{Id}_E}.
Montrer que {E=\displaystyle\bigoplus_{i=1}^{n}\text{Im}(p_i)}, et {i\ne j\Rightarrow p_i p_j=0}.

Petit lemme des noyaux

Soit {f\in\mathcal{L}(E)} et {\alpha,\beta} deux scalaires distincts. Montrer que:
{\text{Ker}(f^2-(\alpha+\beta)f+\alpha\beta\text{Id})=\text{Ker}(f-\alpha\text{Id})\oplus\text{Ker}(f-\beta\text{Id})}

Endomorphismes tels que f2 = -Id

Soit {E} un {\mathbb{R}}-ev de dimension finie. Soit {f\in\mathcal{L}(E)} avec {f^2=-\text{Id}_{E}}. On montre que dans une certaine base de E la matrice de f est diagonale par blocs égaux à {R=\begin{pmatrix}0&-1\\1&0\end{pmatrix}}.

Indépendance de formes linéaires

Soit {(f_{1},\ldots ,f_{p})} des formes linéaires sur {E}, avec \dim(E)=p. Montrer i)\Leftrightarrow ii)\Leftrightarrow iii) :
i) la famille {(f_{1},\ldots,f_{p})} est libre;
ii) {\varphi :x\in E\mapsto(f_{1}(x),\ldots,f_{p}(x))} est surjective;
iii) {\exists\, (x_{1},\ldots,x_{p})\in E^{p}}, {\det(f_{i}(x_{j}))_{1\leq i,j\leq p}\neq 0}.