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.
As is continuous, is an open subset of . By Lemma 3.19, under the map , the image of is an open subset of , so it is also an open subset of . It suffices to treat which is the image of .
As is ample, there exist such that is globally generated. Let be a basis and let be the Fubini-Study metric associated with some ultrametric norm for which this basis is orthogonal. As both and are continuous and is compact, there exist such that
|
|
|
so
|
|
|
the left hand side is an open subset of by Lemma 3.21. Then
|
|
|
is an open set in .
โ