Remark 3
Tag 0DMC, permanent. Cite it as [Bourbaki, Tag 0DMC].
Algebra, chapter IX, § 7. Formes hermitiennes et corps ordonnés
One assumes that or and that is finite-dimensional. Let be two positive hermitian forms on , and let be the matrices of these forms with respect to the same basis of . Show that the hermitian form whose matrix with respect to is such that for every pair of indices, is positive; moreover, if and are non-degenerate, the same is true of . (In the calculation of , express the in terms of the values for an orthogonal basis of relative to .)
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.