Bourbaki

Exercise 17, § 2

Tag 0300, permanent. Cite it as [Bourbaki, Tag 0300].

Spectral Theories, IV, p. 324

a) Let n∈Nn\in \mathbf{N}. Let E be a Hilbert space of dimension nn and let u∈L(E)u\in \mathscr{L}(E). Let x∈Ex\in E be of norm 1 such that u(x)=0u(x) = 0. For every vector y∈Ey\in E of norm 1, denote by Δu(y)\Delta_u(y) the discriminant of the quadratic form defined on y∘y^{\circ} by z↦⟨z∣u(z)⟩z\mapsto \langle z|u(z)\rangle.

For every y∈y\in E of norm 1, prove that ∣⟨x∣y⟩∣2Δu(x)=Δu(y)|\langle x|y\rangle |^2\Delta_u(x) = \Delta_u(y). (Note that Δu(y)=⟨a∣⋀un−1(a)⟩/⟨a∣a⟩\Delta_u(y) =\langle a|\bigwedge u^{n-1}(a)\rangle /\langle a|a\rangle for every nonzero element aa of the space ⋀n−1y∘⊂⋀n−1E\bigwedge^{n-1}y^{\circ}\subset \bigwedge^{n-1}E, the space ⋀n−1E\bigwedge^{n-1}E being endowed with its canonical Hilbert structure, cf. EVT, V, p. 33; then verify the formula separately when xx is orthogonal to yy and when x=y.x=y.)

b) Let A be a matrix of type (n,n)(n, n) with complex coefficients such that tA‾=^t\overline{A}= A. For every integer ii such that 1⩽i⩽n1\leqslant i\leqslant n, let AiA_i be the matrix of type (n−1,n−1)(n-1, n-1) obtained by deleting the iei^e row and the iei^e column of A. Let (e1,...,en)(e_1, . . . , e_n) be an orthonormal basis of Cn\mathbf{C}^n, endowed with its canonical Hilbert structure, consisting of eigenvectors for A, and let λi\lambda_i be the eigenvalue of uu corresponding to eie_i. Write ei=(ei,j)1⩽j⩽ne_i= (e_{i,j})_{1\leqslant j\leqslant n}.

For all (i,j)(i, j), prove that

∣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).

(Reduce to the case where λi\lambda_i = 0, then apply the preceding question to the space Cn\mathbf{C}^n, to the endomorphism u:y↦Ayu:y\mapsto Ay and to the vector x=ei.x=e_i.)

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4. Not checked by a person.