Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 9 1 ii Solution Created 2026-10-03 Updated 2026-10-14
A simply connected plane domain carrying a hyperbolic metric is proper. By the Riemann mapping theorem, choose a biholomorphism sending a basepoint to zero. The same distance formula now givesThus the Blaschke condition holds. In particular the have no interior accumulation point: near any such point the quantities would stay bounded away from zero.
Construct the Blaschke productHere precisely when the sequence contains zero. For , its normalized Blaschke factor satisfiesThe Blaschke condition therefore makes the infinite product converge uniformly on every compact subdisk. Away from the prescribed zeros its tail factors tend uniformly to one with summable errors, so their logarithms converge and the product is nonzero. It has exactly the prescribed zeros, and the maximum modulus principle bounds every finite partial product by one, hence . Thus is the required bounded analytic function, with no extra zeros.
Simple connectivity cannot be dropped. On the punctured disk chooseThe hyperbolic metric on the punctured disk is . Its universal covering map pulls it back to the curvature-minus-one upper-half-plane metric. The imaginary axis is a geodesic; the lift from to has length , and any other lift differs by a real deck translation and has at least that distance. ThereforeThe triangle inequality again makes the sum finite for every basepoint. However, any bounded holomorphic function on the punctured disk extends over zero by the Riemann removable singularity theorem. These zeros accumulate at zero, so the identity theorem makes the extension identically zero. It cannot have exactly the prescribed zero set. This example of hyperbolic zero sequences on a punctured disk satisfies the distance condition but not the analytic zero-set condition.