In matematica, il teorema del grafico chiuso è un risultato basilare in analisi funzionale che caratterizza gli operatori lineari continui tra spazi di Banach in termini del grafico dell'operatore.
La dimostrazione del teorema del grafico chiuso fa uso del teorema della funzione aperta.
Siano dati due insiemi
e
, ed una funzione
. Il grafico di
è il sottoinsieme del prodotto cartesiano
dato da:
![{\displaystyle G(T):={\big \{}(x,y)\,:\,x\in X,\,y=T(x){\big \))\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/997993c84321ee14ccf8036f72e76da585325c58)
Si supponga che
e
siano spazi di Banach, e che
sia un operatore lineare. Il teorema del grafico chiuso afferma che
è continuo (e dunque limitato) se e solo se il suo grafico è chiuso nello spazio
dotato della topologia prodotto.[1]
In modo equivalente, le seguenti affermazioni sono equivalenti:
- Se la successione
in
converge a qualche elemento
, allora la successione
in
converge anch'essa, e il suo limite è
.
- Se la successione
in
converge a qualche elemento
e la successione
in
converge a qualche elemento
, allora
.
La restrizione sul dominio è necessaria a causa dell'esistenza di operatori lineari chiusi illimitati, che non sono necessariamente continui. Un operatore chiuso è infatti limitato solo se è definito sull'intero spazio.
La topologia prodotto sullo spazio vettoriale
è definita attraverso la norma:
![{\displaystyle \left\|(x,y)\right\|_{X\times Y}\doteq \|x\|_{X}+\|y\|_{Y))](https://wikimedia.org/api/rest_v1/media/math/render/svg/858640686ac7176d99a424771d3c20bf8a23bfe3)
Conseguentemente il grafico di
, che è un sottospazio di
, può essere dotato della norma indotta che viene detta anche norma del grafico:
![{\displaystyle \left\|(x,Tx)\right\|=\|x\|_{X}+\|Tx\|_{Y}\quad x\in X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db067303c37802c1399af83eb4002890931d0485)
Si supponga dapprima
continuo. Ovviamente il grafico
è chiuso ed una implicazione è banalmente provata.
Si supponga ora
chiuso. È evidente che
, dotato della norma del grafico, è uno spazio di Banach. Si definiscono i seguenti operatori:
![{\displaystyle \Pi _{1}:\Gamma (T)\to X\qquad \Pi _{1}(x,Tx)\doteq x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02b56b36090dc76662d9598e6e1b6074acb59f76)
![{\displaystyle \Pi _{2}:\Gamma (T)\to Y\qquad \Pi _{2}(x,Tx)\doteq Tx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3db863affca2985d698960ae6be8ee3f70899ff2)
Ovviamente
e
sono lineari e continui e
è una biiezione. Quindi, per il teorema dell'inversa (corollario del teorema della funzione aperta) l'operatore inverso:
![{\displaystyle \Pi _{1}^{-1}:X\to \Gamma (X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86327d38878538dd4b483c741b5c4805f10fa9b8)
è lineare e continuo. Ne segue che:
![{\displaystyle T=\Pi _{2}\circ \Pi _{1}^{-1}:X\to Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2834825bbe7551c68099b4c2b577d233e5926855)
è continuo.
Il teorema del grafico chiuso può essere generalizzato a più astratti spazi vettoriali topologici nel modo seguente. Un operatore lineare da uno spazio botte
a uno spazio di Fréchet
è continuo se e solo so il suo grafico è chiuso nello spazio
dotato della topologia prodotto.
- (EN) Michael Reed, Barry Simon, Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis, 2ª ed., San Diego, California, Academic press inc., 1980, ISBN 0-12-585050-6.