The extended-real functional $f:X\to\overline{\mathbb R}$ is <sequentially lower semicontinuous> in the topology $\tau_X$ when every sequence $x_n\to x$ in $\tau_X$ satisfies
$$
f(x)\leq\liminf_{n\to\infty}f(x_n).
$$

Solution

Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 326 / 2 / a / i / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-326/2/a/i/solution