Remark 13
Tag 0DMM, permanent. Cite it as [Bourbaki, Tag 0DMM].
Algebra, chapter IX, § 7. Formes hermitiennes et corps ordonnés
Soient un corps vérifiant les conditions du début du § 7, deux espaces vectoriels de dimension finie sur , (resp. ) une forme hermitienne positive non dégénérée sur (resp. ). Montrer que, pour toute application linéaire de dans , l’adjoint de (pour et ; cf. § 1, no 8) est tel que et soient des endomorphismes hermitiens positifs (exerc. 10 c)) de et respectivement.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.