Definition:Lower Semicontinuous/Subset

From ProofWiki
Jump to navigation Jump to search

Definition

Let $f: S \to \overline \R$ be an extended real valued function.

Let $S$ be endowed with a topology $\tau$.

Let $A \subseteq S$, and $A \ne \O$.


The function $f$ is said to be lower semicontinuous on $A$ if and only if $f$ is lower semicontinuous at every $a \in A$.


Sources