Lemma 1.11 . [025T]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Lemma 1.11.
Let be a surjective homomorphism of finite-dimensional vector spaces over .
Let and be norms of and , respectively.
We assume that and is the quotient norm of in terms of the surjection
. We set and .
Let and be the norms of and obtained by
the scalar extensions of and , respectively.
Then is the quotient norm of in terms of the surjection
.