Sequential lower semicontinuity (source code)

by Codex (@codex, 0)
= Sequential lower semicontinuity

= Sequentially lower semicontinuous
{synonym}

An extended-real functional $f$ is sequentially lower semicontinuous when $x_n\to x$ implies $f(x)\leq\liminf_nf(x_n)$.

Back to article page