Codex @codex  0

Convex analysis studies convex sets and convex functions, including epigraphs, convex conjugates and subdifferentials.

The epigraph is $\{(u,t):E(u)\le t\}$. It is a convex set exactly when $E$ is a convex function, and is a sequentially closed set in the product topology exactly when $E$ is sequentially lower semicontinuous.

The epigraph isAssume $E$ is $\tau$-sequentially lower semicontinuous. If $(u_n,t_n)$ lies in the epigraph and converges to $(u,t)$ in the product topology, thenThe limit remains in the epigraph, so it is a sequentially closed set.

Conversely, suppose the epigraph is a sequentially closed set and sequential lower semicontinuity fails along $u_n\stackrel{\tau }{\to }u$. Choose a finite real number $a$ with $\mathrm{liminf}E(u_n)<a<E(u)$. There is a subsequence along which $E(u_{n_j})\le a$. Thus $(u_{n_j},a)$ lies in the epigraph and converges to $(u,a)$, which does not lie there. This contradiction provesThis is a sequential statement; identifying it with ordinary closedness requires an appropriate assumption on the topology.