Remark 12
Tag 0DML, permanent. Cite it as [Bourbaki, Tag 0DML].
Algebra, chapter IX, § 7. Formes hermitiennes et corps ordonnés
On suppose remplies les conditions du n° 3, et en outre que A est égal à K(i) ou au corps des quaternions sur K. Montrer que pour tout endomorphisme de , il existe une base orthonormale de par rapport à laquelle la matrice de n’ait que des zéros au-dessous de la diagonale. (Procéder par récurrence sur la dimension de , en considérant un vecteur propre de .)
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.