1 Soit \(u \in \mathcal{L}(E)\) auto-adjoint. Montrer que \(\mathrm{Ker} u \mathop{\oplus}\limits^\perp \Im u = E\).