I'm reading Cedric Villani's book topics in optimal transportation, and I have a problem on page 53:
If $\varphi$ lower semi-continuous, then the subdifferential mapping $\partial\varphi$ is always continuous on the whole $R^n$, in the sense that, if $x_k\to x$ , $\partial\varphi(x_k)\ni y_k \to y$, then $y\in\partial\varphi(x)$
How to prove this? Thanks in advance.
Let $z\in \mathbb{R}^n$,by assumption, $\varphi(z)\ge \varphi(x_k)+\langle y_k,z-x_k\rangle$, let $k\to \infty$ and use lsc of $\varphi$ at $x$ and joint continuity of inner product, you can get
$$\varphi(z)\ge \varphi(x)+\langle y,z-x\rangle$$
which holds for all $z\in \mathbb{R}^n$. Hence $y\in\partial \varphi(x)$.