Lower semicontinuous functions

Let $X$ be a metric space (or more generally a topological space). A function $f:X\to \mathbb {R} \cup \{+\infty \}$ is lower semicontinuous if

$\{x\in X:f(x)>a\}=f^{-1}\left((a,+\infty ]\right)$

is open in $X$ for all $a\in \mathbb {R}$.

Properties

• If $\{x_{n}\}_{n\in \mathbb {N} }$ is an convergent sequence in $X$ converging to some $x_{0}$, then $f(x_{0})\leq \liminf _{n\to \infty }f(x_{n})$.

• If $f:X\to \mathbb {R} \cup \{+\infty \}$ is continuous, then it is lower semicontinuous.

Lower Semicontinuous Envelope

Given any bounded function $f:X\to \mathbb {R}$, the lower semicontinuous envelope of $f$, denoted $f_{*}$ is the lower semicontinuous function defined as

$f_{*}(x)=\lim _{\epsilon \to 0}\inf\{f(y):d(x,y)<\epsilon \}=\inf\{\liminf _{n\to \infty }f(x_{n}):x_{n}\to x\}.$