Proof. [018L]
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 given by (A.1) is clearly well defined. It is also continuous on . To prove continuity at , we note that for each , we can write , where is a continuous function on that is holomorphic on with . As a consequence, we get .
Now, for each , can be identified with the circle of radius with respect to the absolute value , while is the non-Archimedean absolute value on . This proves that the map above is bijective, and hence a homeomorphism by compactness. ∎