Recall that a (say real-valued) function $f$ is continuous at a point $x$ if, roughly speaking, $f(x) \approx f(y)$ (meaning that $f(x)$ is close to $f(y)$) whenever $x \approx y$. For a lower semicontinuous map, we require only $f(x) \lesssim f(y)$ (meaning that $f(x)$ is close to or less than $f(y)$); for an upper semicontinuous map, we require only $f(x) \gtrsim f(y)$.
Let $X$ be a topological space, let $R$ be a linearly ordered set, and let $f$ be a function from $X$ to $R$.
In nonstandard analysis, the vague idea above becomes a precise definition, so long as we use the appropriate quantifiers for $x$ and $y$.
The function $f$ is lower semicontinuous if, for each standard point? $x$ of $X$ and each hyperpoint? $y$ in the infinitesimal neighbourhood of $x$, $f(y)$ is either greater than or in the infinitesimal neighbourhood of $f(x)$. Similarly, $f$ is upper semicontinuous if, for each standard point $x$ of $X$ and each hyperpoint $y$ in the infinitesimal neighbourhood of $x$, $f(y)$ is either less than or in the infinitesimal neighbourhood of $f(x)$.
In classical analysis?, we must phrase this another way:
The function $f$ is lower semicontinuous if, for each point $x$ of $X$ and each $a \lt f(x)$ in $R$, there is some neighbourhood $U$ of $x$ such that, for each $y \in U$, $f(y) \gt a$. Similarly, $f$ is upper semicontinuous if, for each point $x$ of $X$ and each $b \gt f(x)$ in $L$, there is some neighbourhood $U$ of $x$ such that, for each $y \in U$, $f(y) \lt b$.
We can also refer to an appropriate topological structure on $R$:
The function $f$ is lower semicontinuous if it is continuous from $X$ to $R$ with the lower semicontinuous topology. Similarly, $f$ is upper semicontinuous if it is continuous from $X$ to $R$ with the upper semicontinuous topology.
Of course, this doesn't really say anything if you don't know what those topologies on $R$ are, and the easiest way to figure that out is to refer to Definition 2 (or to Definition 1 if you know enough nonstandard analysis to interpret it).
A function is continuous (with respect to the usual order topology on $R$) iff it is both upper and lower semicontinuous.
The characteristic function of a subset $A$ (either valued in the poset of truth values with its usual order or valued in the real numbers with $1$ for true and $0$ for false) is lower semicontinuous iff $A$ is open, and upper semicontinuous iff $A$ is closed (hence continuous iff $A$ is clopen).
We need to say something about when $R$ is a dcpo or something like that (involving the Scott topology), as well as semicontinuity in constructive mathematics involving locales. Compare also the one-sided real numbers.
To read later:
Li Yong-ming and Wang Guo-jun, Localic Katětov–Tong insertion theorem and localic Tietze extension theorem, pdf.
Gutiérrez García and Jorge Picado, On the algebraic representation of semicontinuity, doi.
Last revised on July 11, 2013 at 00:31:21. See the history of this page for a list of all contributions to it.