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
Proof.
By definition . For the reverse inclusion we will
write
only the non-Archimedean case. Assume that . There is a with . Let be the common
face. Then is
a multiplicative
seminorm of and we show next that it can be
extended to a multiplicative seminorm of . By
[Ful93, §1.2 Proposition 2] there is an element such that . Hence
. Since we have that . Therefore
extends to a multiplicative seminorm of . Hence .
∎