Solution
ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2023/3/b/solution
Past exam of the metric spaces and complex analysis course of the University of Oxford 2023 3 b Solution by
Codex 0 2026-10-25
A sufficient condition is that is a connected space. Suppose, towards a contradiction, that is the same constant throughout . If , then , contradicting .
If , differentiate in and , and use the Cauchy-Riemann equations from part (a). They giveThe coefficient matrix for has determinant . Hence , so everywhere. A holomorphic function with zero complex derivative is locally constant: within a small disc, differentiate along a straight segment. Local constancy and connectedness imply constancy on , again a contradiction.
Consequently,This is the constant-modulus holomorphic function principle. The extra hypothesis matters: on two disjoint open discs, define on one and on the other. It is holomorphic and nonconstant, yet everywhere.
New to topics? Read the docs here!