Soit un espace vectoriel réel muni d’un produit scalaire et de la norme associée . Soit un endomorphisme continu de que l’on suppose symétrique, i.e.
1
Montrer que l’application est différentiable sur et calculer sa différentielle. L’application est donc différentiable.
2
On définit une application en posant . Établir qu’il s’agit d’une application différentiable. Calculer ensuite . Montrer que, pour un élément non nul , on a si et seulement si est vecteur propre de .