exo7 3692

1

Soit \(E\) un espace euclidien et \(u\in\mathcal{L}(E)\) tel que \(\forall\ x\in E,\ \|u(x)\| \le \|x\|\). Montrer que \(E = \mathrm{Ker}(u-\mathrm{id})\mathop\oplus\limits^\perp\Im(u-\mathrm{id})\).