Bourbaki

Exercice 17, § 2

Étiquette 0300, permanente. À citer comme [Bourbaki, Tag 0300].

Théories spectrales, IV, p. 324

a) Soit n∈Nn\in \mathbf{N}. Soient E un espace hilbertien de dimension nn et u∈L(E)u\in \mathscr{L}(E). Soit x∈Ex\in E de norme 1 tel que u(x)=0u(x) = 0. Pour tout vecteur y∈Ey\in E de norme 1, on note Δu(y)\Delta_u(y) le discriminant de la forme quadratique définie sur y∘y^{\circ} par z↦⟨z∣u(z)⟩z\mapsto \langle z|u(z)\rangle.

Pour tout y∈y\in E de norme 1, on a ∣⟨x∣y⟩∣2Δu(x)=Δu(y)|\langle x|y\rangle |^2\Delta_u(x) = \Delta_u(y). (Noter que Δu(y)=⟨a∣⋀un−1(a)⟩/⟨a∣a⟩\Delta_u(y) =\langle a|\bigwedge u^{n-1}(a)\rangle /\langle a|a\rangle pour tout élément aa non nul de l’espace ⋀n−1y∘⊂⋀n−1E\bigwedge^{n-1}y^{\circ}\subset \bigwedge^{n-1}E, l’espace ⋀n−1E\bigwedge^{n-1}E étant muni de sa structure hilbertienne canonique, cf. EVT, V, p. 33 ; vérifier alors séparément la formule lorsque xx est orthogonal à yy et lorsque x=y.x=y.)

b) Soit A une matrice de type (n,n)(n, n) à coefficients complexes telle que tA‾=^t\overline{A}= A. Pour tout entier ii tel que 1⩽i⩽n1\leqslant i\leqslant n, soit AiA_i la matrice de type (n−1,n−1)(n-1, n-1) obtenue en enlevant la iei^e ligne et la iei^e colonne de A. Soit (e1,...,en)(e_1, . . . , e_n) une base orthonormale de Cn\mathbf{C}^n, muni de sa structure hilbertienne canonique, formée de vecteurs propres pour A, et soit λi\lambda_i la valeur propre de uu relative à eie_i. Écrivons ei=(ei,j)1⩽j⩽ne_i= (e_{i,j})_{1\leqslant j\leqslant n}.

Pour tous (i,j)(i, j), on a

∣ei,j∣2∏k≠i(λi−λk)=|e_{i,j}|^2\prod_{k\not=i}(\lambda_i-\lambda_k) = det(λi−Aj\lambda_i-A_j).

(Se ramener au cas où λi\lambda_i = 0, puis appliquer la question précédente à l’espace Cn\mathbf{C}^n, à l’endomorphisme u:y↦Ayu:y\mapsto Ay et au vecteur x=ei.x=e_i.)

Solution

Aucune solution n’a encore été écrite.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.