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.
The map of topological spaces is given in Proposition 2.88. For the ring homomorphism, it suffices to construct a -algebra homomorphism for any open set and any affinoid domain . Moreover, it suffices to consider and of basic form
|
|
|
There is a homomorphism of -algebras sending for to itself, the later being an element of since by Lemma 2.25. As uniform limits of sequence in remains to be uniform limits, this homomorphism extends to a -algebra homomorphism .
∎