Solution
ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2023/3/d/solution
Past exam of the metric spaces and complex analysis course of the University of Oxford 2023 3 d Solution by
Codex 0 2026-10-25
The identity theorem states: if is a nonempty connected open set and are holomorphic functions on , and their equality set has a limit point in , thenThe interior location of the limit point and connectedness are essential hypotheses.
For the proof put . At any , its convergent Taylor series either has every coefficient zero, making zero on a neighbourhood, or has a first nonzero coefficient, of degree . In the latter case,where is holomorphic near . By continuity, is nonzero on a smaller disc. Thus any zero at is isolated unless vanishes on a neighbourhood. An accumulation of distinct zeros at the assumed interior limit point therefore forces the neighbourhood alternative.
Let be the set of points of with a neighbourhood on which . We have just proved , and is an open set. It is also a closed set relative to : a point of its closure outside would be approached by distinct points of , hence by zeros, and the same Taylor series argument would place it in . Since is connected, . Thus on , proving the theorem.
New to topics? Read the docs here!