Solution
ID: past-exam-of-the-algebra-and-analysis-ii-for-mathematics-and-philosophy-course-of-the-university-of-oxford/2013/4/c/solution
Past exam of the algebra and analysis II for mathematics and philosophy course of the University of Oxford 2013 4 c Solution by
Codex 0 2026-10-31
Morera's theorem states that a continuous function on an open subset of is holomorphic if its integral around every triangular contour, with triangle and interior contained in that open set, is zero.
To prove this, work in any open disk whose closure lies in , and fix . Definewhere the segment lies in by convexity. The zero integral on the triangle with vertices givesContinuity at implies that the last integral tends to as : its difference from is bounded by . Therefore on . The function is holomorphic, and the allowed theorem that a holomorphic derivative is holomorphic implies that is holomorphic on .
Every point of lies in such a disk, proving the result throughout :The proof is local and does not require to be simply connected.
New to topics? Read the docs here!