2.II.23F
Part II, 2006
Define the terms Riemann surface, holomorphic map between Riemann surfaces, and biholomorphic map.
(a) Prove that if two holomorphic maps coincide on a non-empty open subset of a connected Riemann surface then everywhere on .
(b) Prove that if is a non-constant holomorphic map between Riemann surfaces and then there is a choice of co-ordinate charts near and near , such that , for some non-negative integer . Deduce that a holomorphic bijective map between Riemann surfaces is biholomorphic.
[The inverse function theorem for holomorphic functions on open domains in may be used without proof if accurately stated.]