Bourbaki

Remark 13

Tag 0DMM, permanent. Cite it as [Bourbaki, Tag 0DMM].

Algebra, chapter IX, § 7. Formes hermitiennes et corps ordonnés

Soient AA un corps vérifiant les conditions du début du § 7, E,FE, F deux espaces vectoriels de dimension finie sur AA, Φ\Phi (resp. Ψ\Psi) une forme hermitienne positive non dégénérée sur EE (resp. FF). Montrer que, pour toute application linéaire uu de EE dans FF, l’adjoint u∗u^* de uu (pour Φ\Phi et Ψ\Psi; cf. § 1, no 8) est tel que u∗uu^*u et uu∗uu^* soient des endomorphismes hermitiens positifs (exerc. 10 c)) de EE et FF 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.

Translated with machine help, not yet reviewed by a person.