Past exam of the probability, statistics and options I course of the University of Oxford / 2010 / E / 1 / b

We prove (i)$\Rightarrow$(ii). If $B=U\cap F$ with $U$ open and $F$ closed, then $\overline{B}\subseteq F$. Henceso $B=U\cap \overline{B}$. By the subspace topology definition this makes $B$ open in its closure.

We prove (ii)$\Rightarrow$(iii). If $B$ is open in $\overline{B}$, its complement $\overline{B}\setminus B$ is closed in the subspace $\overline{B}$. A relatively closed subset of a closed subset of $X$ is closed in $X$: it is the intersection of that closed subset with another closed subset of $X$. Since a closure is closed, $\overline{B}\setminus B$ is closed in $X$.

We prove (iii)$\Rightarrow$(i). If $C=\overline{B}\setminus B$ is closed in $X$, set $U=X\setminus C$ and $F=\overline{B}$. Then $U$ is open, $F$ is closed, andTogether the three implications prove the equivalence. These are the standard characterizations of a locally closed subset.