# Semicontinuità

In analisi matematica, la semicontinuità di una funzione reale è una proprietà più debole della continuità. Intuitivamente, se una funzione continua in un punto è localmente limitata, una funzione semicontinua inferiormente (o superiormente) in un punto sarà localmente solo limitata inferiormente (o superiormente).
La definizione di semicontinuità, come quella di continuità, si può porre anche in uno spazio astratto come uno spazio topologico.

## Definizione

Una funzione $f:X\to \mathbb {R}$ definita in uno spazio topologico si dice semicontinua inferiormente (s.c.i.) in $x_{0}$ se per ogni $\varepsilon >0$ esiste un intorno $U(x_{0})$ tale che:
    $f(x)>f(x_{0})-\varepsilon \$
per ogni $x$ in $U(x_{0})$. Equivalentemente, $f$ si dice semicontinua inferiormente in $x_{0}$ se:
    $\liminf _{x\to x_{0}}f(x)\geq f(x_{0})$
dove $\liminf$ è il limite inferiore di $f$ in $x_{0}$. Una funzione semicontinua inferiormente ha dunque tutte le immagini definitamente sopra o vicino al valore $f(x_{0})$.
Una funzione $f:X\to \mathbb {R}$ si dice semicontinua superiormente in $x_{0}$ (s.c.s.) se per ogni $\varepsilon >0$ esiste un intorno $U(x_{0})$ tale che:
    $f(x)<f(x_{0})+\varepsilon \$
per ogni $x$ in $U(x_{0})$. Equivalentemente, $f$ si dice semicontinua superiormente in $x_{0}$ se:
    $\limsup _{x\to x_{0}}f(x)\leq f(x_{0})$
dove $\limsup$ è il limite superiore di $f$ in $x_{0}$. Una funzione semicontinua superiormente ha dunque tutte le immagini definitamente sotto o vicino al valore $f(x_{0})$.

## Esempi

* La funzione parte intera, $f(x)=\lfloor x\rfloor$ è semicontinua superiormente.
* La funzione parte intera superiore $f(x)=\lceil x\rceil$ è semicontinua inferiormente.
* La funzione di Dirichlet $f(x)=\left\{{\begin{matrix}1&x\in \mathbb {Q} \\0&x\in \mathbb {R} \setminus \mathbb {Q} \end{matrix}}\right.$ è semicontinua inferiormente in ogni punto irrazionale e semicontinua superiormente in ogni punto razionale.
* La funzione indicatrice di un insieme aperto è semicontinua inferiormente; quella di un insieme chiuso è semicontinua superiormente

## Proprietà

* Una funzione è continua se e solo se è sia semicontinua inferiormente sia semicontinua superiormente.
* Una funzione semicontinua inferiormente in un insieme compatto ammette minimo. Analogamente, una funzione semicontinua superiormente in un insieme compatto ammette massimo.
* Se $f$ e $g$ sono semicontinue superiormente allora lo è anche $f+g$, e se entrambe sono non negative anche $fg$. Inoltre, se $f$ è semicontinua superiormente, allora $kf$ (con $k$ < 0) è semicontinua inferiormente.
* Una funzione è semicontinua inferiormente se e solo se esiste una successione di funzioni gradino $(g_{n})_{n\in \mathbb {N} }$ tale che:
** $g_{n}$ è semicontinua inferiormente per ogni $n$;
** $g_{n}(x)\leq g_{n+1}(x)$ per ogni $n$ e $x$;
** $\lim _{n\to \infty }g_{n}(x)=f(x)$, cioè $g_{n}$ converge puntualmente a $f$.
* Se $(f_{i})_{i\in I}$ è una successione di funzioni semicontinue inferiormente, allora la funzione definita come $f(x)=\sup _{i\in I}f_{i}(x)$ è semicontinua inferiormente.
* L'inviluppo inferiore $f_{*}$ di una qualsiasi funzione è semicontinuo superiormente; si ha che $f$ è semicontinua superiormente se e solo se $f=f_{*}$.