Proposition 2.88 . [00JT]
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 2.88.
Let be an affine -variety, an algebra norm on and be the -Banach algebra obtained by completing with respect to . Then the canonical homomorphism of -algebras from to induces a continuous map which embeds the Berkovich spectrum into as a compact subspace (and is closed since is Hausdorff), and the Berkovich topology coincides with the induced topology from .