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 Proposition 2.94, the morphism of schemes of finite type over induces a continuous map betweeen the topological space of their analytification:
|
|
|
Since
|
|
|
is an isomorphism of schemes of finite type, its analytification induces a homeomorphism by Proposition 2.94
|
|
|
∎