Closed-sublevel-set characterization of lower semicontinuity
ID: closed-sublevel-set-characterization-of-lower-semicontinuity
On a metric space, a functional is sequentially lower semicontinuous exactly when every sublevel set is closed.
New to topics? Read the docs here!