Solution

ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2023/3/b/solution

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 give
The 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!