# Teorema della funzione aperta (analisi funzionale)

In analisi funzionale, il teorema della funzione aperta o teorema dell'applicazione aperta, altrimenti noto come teorema di Banach-Schauder, stabilisce che un operatore lineare continuo suriettivo tra spazi di Banach è una funzione aperta.

## Enunciato

Sia $T:X\to Y$ un operatore lineare continuo suriettivo tra spazi di Banach $X$ e $Y$. Allora $T$ è una funzione aperta, ovvero se $U$ è un insieme aperto in $X$, allora $T(U)$ è aperto in $Y$.

## Dimostrazione

La dimostrazione fa uso del teorema della categoria di Baire, e si può suddividere in tre parti.

### Parte 1

Occorre provare che per ogni $x\in X$ e per ogni $N\subseteq X$, intorno di $x$, $T(N)$ è un intorno di $Tx$. Per linearità risulta $T(x+A)=Tx+T(A)$ ($x\in X$, $A\subseteq X$), per cui è sufficiente provare l'affermazione per $x=0$. Poiché un intorno dello zero contiene necessariamente una palla $B_{r}=B(0,r)$, è sufficiente provare che per ogni $r>0$ esiste un $r^{\prime }>0$ tale che $B_{r^{\prime }}^{Y}\subseteq T(B_{r}^{X})$. Osserviamo inoltre che $B_{r}=rB_{1}$ ed anche, per linearità, che $T(B_{r}^{X})=rT(B_{1}^{X})$ per ogni $r>0$.
Per la suriettività di $T$ si ha:
    $Y=\cup _{n=1}^{\infty }T(B_{n})=\cup _{n=1}^{\infty }{\overline {T(B_{n})}}$.
Per il teorema della categoria di Baire esiste ${\overline {n}}$ tale che:${\overline {T(B_{\overline {n}})}}$ ha interno non vuoto e pertanto, essendo:
    ${\overline {T(B_{\overline {n}})}}={\overline {n}}{\overline {T(B_{1})}}$
deduciamo che ${\overline {T(B_{1})}}$ ha interno non vuoto.

### Parte 2

Sia $W$ un aperto di $Y$ tale che:
    $W\subseteq {\overline {T(B_{1})}}$
Ovviamente ${\overline {T(B_{1})}}$ contiene lo zero, ma occorre provare che esiste $\varepsilon >0$ tale che:
    $B_{\varepsilon }^{Y}\subseteq {\overline {T(B_{1})}}$
Siano $x_{0}\in B_{1}$ e $y_{0}=Tx_{0}\in W$. Poiché l'applicazione $x\mapsto x-x_{0}$ è un omeomorfismo, esiste un intorno $V$ di zero in $Y$ tale che:
    $V\subseteq -y_{0}+{\overline {T(B_{1})}}$
Si ha:
    $-y_{0}+T(B_{1})=\left\{-y_{0}+Tw,w\in B_{1}\right\}=\left\{T(w-x_{0}),w\in B_{1}\right\}\subseteq T(B_{2})$
poiché $x_{0},w\in B_{1}$ implica che $w-x_{0}\in B_{2}$. Pertanto abbiamo provato che:
    $V\subseteq -y_{0}+{\overline {T(B_{1})}}\subseteq {\overline {T(B_{2})}}$
e quindi:
    ${\tilde {V}}\doteq {\frac {1}{2}}V\subseteq {\overline {T(B_{1})}}$
e ${\tilde {V}}$ è un intorno di zero in $Y$. Pertanto esiste $\varepsilon >0$ tale che:
    $B_{\varepsilon }^{Y}\subseteq {\overline {T(B_{1})}}$

### Parte 3

Si vuole provare che ${\overline {T(B_{1})}}\subseteq T(B_{2})$, cosa che conclude la dimostrazione poiché ne segue che $B_{\frac {\varepsilon }{2}}^{Y}$ risulta contenuto in $T(B_{1})$. Sia $y\in {\overline {T(B_{1})}}$. Si scelga $x_{1}\in B_{1}^{X}$ tale che $\|y-Tx_{1}\|<{\frac {\varepsilon }{2}}$, cioè $y-Tx_{1}\in B_{\frac {\varepsilon }{2}}^{Y}$. Per quanto detto in precedenza risulta:
    $B_{\frac {\varepsilon }{2}}^{Y}\subseteq {\overline {T(B_{\frac {1}{2}}^{X})}}$
quindi possiamo scegliere $x_{2}\in B_{\frac {1}{2}}^{X}$ tale che:
    $\|y-Tx_{1}-Tx_{2}\|<{\frac {\varepsilon }{4}}$, cioè $y-Tx_{1}-Tx_{2}\in B_{\frac {\varepsilon }{4}}^{Y}$
Iterando il procedimento risulta definita una successione $(x_{n})$ in $X$ tale che:
    $x_{n}\in B_{2^{1-n}}^{X}$ e $y-\sum _{j=1}^{n}Tx_{j}\in B_{\varepsilon 2^{1-n}}^{Y}$
Risulta:
    $\left\|\sum _{j=n}^{n+p}x_{j}\right\|<2^{2-n}\ \ \forall n,p\in {\textbf {N}}$
quindi esiste:
    $x=\sum _{j=1}^{\infty }x_{j}$
e si ha:
    $\|x\|\leq \sum _{j=1}^{\infty }\|x_{j}\|<\sum _{j=1}^{\infty }2^{1-j}=2$
Quindi $x\in B_{2}$ e, per la continuità di $T$, risulta $Tx=y$. Da ciò segue che
    ${\overline {T(B_{1})}}\ni y=Tx\in T(B_{2})$
ed il teorema è provato.

## Corollari

Il teorema della funzione aperta ha due importanti conseguenze:
* Il teorema della funzione inversa afferma che se $T:X\to Y$ è un operatore lineare continuo e bigettivo tra gli spazi di Banach $X$ e $Y$, allora l'operatore inverso $T^{-1}:Y\to X$ è anch'esso continuo.
* Il teorema del grafico chiuso afferma che se $T:X\to Y$ è un operatore lineare tra gli spazi di Banach $X$ e $Y$, e se per ogni successione $x_{n}$ in $X$ tale che $x_{n}\to 0$ e $Tx_{n}\to y$ segue che $y=0$, allora $T$ è continuo.