Solution

ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2021/2/d/iii/solution

Apply the local bound from condition (1) separately to and . For any and , there are such that
With , both inequalities hold when , so
This is exactly continuity at . Since was arbitrary, is continuous on : upper semicontinuity of and of is equivalent to simultaneous upper semicontinuity and lower semicontinuity of .

New to topics? Read the docs here!