Past exam of the metric spaces and complex analysis course of the University of Oxford / 2021 / 2 / d / i / 1

Assume condition (1). For fixed $a$, the supremumis nondecreasing as $r$ increases. Therefore its limit as $r\downarrow 0$ exists in the extended real numbers and equals ${\inf }_{r>0}{M}_a(r)$. Because $a\in B(a,r)$, it is at least $f(a)$. Condition (1) says precisely that this limit is $f(a)$.

It follows that for every $\epsilon >0$ there is $r>0$ with $M_a(r)<f(a)+\epsilon$. Fix $C\in \mathbb{R}$ and $a$ with $f(a)<C$. Taking $\epsilon =C-f(a)$ produces an open ball on which $f(x)<C$. Thus $\{x:f(x)<C\}$ is an open set, and its complementThis proves (1) implies (2). The property being characterized is upper semicontinuity.