Exercice 17, § 2
Étiquette 0300, permanente. À citer comme [Bourbaki, Tag 0300].
Théories spectrales, IV, p. 324
a) Soit . Soient E un espace hilbertien de dimension et . Soit de norme 1 tel que . Pour tout vecteur de norme 1, on note le discriminant de la forme quadratique définie sur par .
Pour tout E de norme 1, on a . (Noter que pour tout élément non nul de l’espace , l’espace étant muni de sa structure hilbertienne canonique, cf. EVT, V, p. 33 ; vérifier alors séparément la formule lorsque est orthogonal à et lorsque )
b) Soit A une matrice de type à coefficients complexes telle que A. Pour tout entier tel que , soit la matrice de type obtenue en enlevant la ligne et la colonne de A. Soit une base orthonormale de , muni de sa structure hilbertienne canonique, formée de vecteurs propres pour A, et soit la valeur propre de relative à . Écrivons .
Pour tous , on a
det().
(Se ramener au cas où = 0, puis appliquer la question précédente à l’espace , à l’endomorphisme et au vecteur )
Solution
Aucune solution n’a encore été écrite.
Cité par
Rien.
Cite
Rien.