Remark 21
Tag 0DMU, permanent. Cite it as [Bourbaki, Tag 0DMU].
Algebra, chapter IX, § 7. Formes hermitiennes et corps ordonnés
Suppose that the conditions of No. 3 are satisfied. Let be a hermitian endomorphism of and let be the decomposition into linear factors of its characteristic polynomial; suppose for .
a) Now prove that the greatest (resp. the least) of the eigenvalues in is equal to the greatest (resp. the least) of the values of when ranges over the set of the such that . (Reason directly, or apply Exercise 16 c) by reducing to the case where (, Exercise 4).)
b) Let be the restriction to a vector subspace of of the hermitian form associated with , and let be the hermitian endomorphism of associated with . Now prove that is the smallest of the largest eigenvalues of the , when runs through the set of vector subspaces of of dimension (use prop. 5).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.