Proposition 3.8 . [0274]
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
Proposition 3.8.
We assume that
there is a subspace of such that
is surjective and
the morphism induced by is a
closed embedding.
We identify with , so that .
Let be a norm of such that has an orthonormal basis
with respect to .
We set
|
|
|
Let be the Zariski closure of in
(cf. ยง1.1.7) and
.
Then for all .