Bourbaki

Remark 19

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

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

Suppose that the conditions of No. 3 are satisfied. Let MM be a square matrix of order nn over AA; now prove that for every square submatrix NN of MM (obtained by deleting in MM a certain number of rows and the columns having the same indices as these rows), one has (notations of Exercise 17) φ2(N)≤φ(MM∗)\varphi^2(N) \leq \varphi(MM^*) (apply suitably formula (4) of Exercise 17). If in particular MM is a normal matrix, φ(N)≤φ(M)\varphi(N) \leq \varphi(M) (cf. Exercise 17 b)).

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.