Remark
Tag 0DM9, permanent. Cite it as [Bourbaki, Tag 0DM9].
Algebra, chapter IX, § 7. Formes hermitiennes et corps ordonnés
It follows from th. 2 that the eigenspaces relative to two distinct eigenvalues of u are orthogonal.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.