Apri il menu principale

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.

Indice

Il teoremaModifica

Siano dati due insiemi   e  , ed una funzione  . Il grafico di   è il sottoinsieme del prodotto cartesiano   dato da:

 

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.

DimostrazioneModifica

La topologia prodotto sullo spazio vettoriale   è definita attraverso la norma:

 

Conseguentemente il grafico di  , che è un sottospazio di  , può essere dotato della norma indotta che viene detta anche norma del grafico:

 

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:

 
 

Ovviamente   e   sono lineari e continui e   è una biiezione. Quindi, per il teorema dell'inversa (corollario del teorema della funzione aperta) l'operatore inverso:

 

è lineare e continuo. Ne segue che:

 

è continuo.

GeneralizzazioneModifica

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.

NoteModifica

  1. ^ Reed, Simon, Pag. 83.

BibliografiaModifica

  • (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.

Voci correlateModifica

Collegamenti esterniModifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica