Corollary

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

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

*The set of isotropic vectors of E is the orthogonal subspace $E^0$ of E for $\Phi$ . In order that $\Phi$ be non-degenerate, it is necessary and sufficient that $\Phi(x, x) > 0$ for every $x \neq 0$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.