# Spazio di Hilbert allargato

In analisi funzionale, uno spazio di Hilbert allargato o tripla di Gelfand (in inglese, rigged Hilbert space) è una struttura matematica astratta che collega alcuni aspetti della teoria degli spazi di Hilbert, alla teoria delle distribuzioni. Questi spazi sono stati introdotti per consentire un formalismo più proficuo nell'ambito della teoria spettrale, e trovano numerose applicazioni in meccanica quantistica. In particolare, è possibile trattare unitariamente lo spettro continuo e discreto degli operatori autoaggiunti.
Gli spazi di Hilbert allargati sono divenuti oggetto di studio da parte della matematica nella prima metà degli anni cinquanta.

## Motivazioni

Per introdurre le motivazioni che portano a definire lo spazio di Hilbert allargato, si consideri, sullo spazio $L^{2}(\mathbb {R} )$ delle funzioni a quadrato sommabile definite sull'asse reale, l'operatore:
    $A:=-i{\frac {d}{dx}}$
In qualche senso, la funzione:
    $\mathbf {e} _{\alpha }(x):=e^{-i\alpha x}$
è un autovettore di $A$, in quanto formalmente $A\mathbf {e} _{\alpha }=-\alpha \mathbf {e} _{\alpha }$. Tuttavia essa non ha quadrato sommabile su $\mathbb {R}$: può pertanto essere utile ampliare lo spazio di Hilbert $L^{2}(\mathbb {R} )$, in modo che tali funzioni vi siano comprese. Gli spazi di Hilbert allargati sono la struttura matematica che consente di effettuare tale ampliamento, e di definire degli autovettori generalizzati.

## Definizione matematica

Il concetto di spazio di Hilbert allargato precisa queste idee in un contesto analitico. Uno spazio di Hilbert allargato è una tripla $(H,\Phi ,\imath )$, dove $H$ è uno spazio di Hilbert, $\Phi$ è uno spazio vettoriale topologico, ed $\imath :\Phi \mapsto H$ è una mappa continua da $\Phi$ in $H$.
Si noti in particolare che non è restrittivo pensare a $\Phi$ come ad un sottospazio lineare di $H$, equipaggiato con una topologia più fine di quella relativa indotta dalla norma di $H$ su $\Phi$, e conseguentemente $\imath$ come l'immersione di $\Phi$ in $H$. Inoltre, comunemente si richiede che l'immagine di $\imath$ sia densa in $H$, dal momento che in generale ci si può sempre restringere alla chiusura di $\imath (\Phi )$ (che sarà naturalmente uno spazio di Hilbert).

## Risultati

Poiché $\imath$ è continua e densa, il duale di $H$ si può identificare con un sottospazio del duale $\Phi ^{\star }$ di $\Phi$. Poiché per il teorema di rappresentazione di Riesz si può identificare uno spazio di Hilbert con il suo duale (ossia, si può porre $H=H^{\star }$) si ottiene:
    $\Phi \subseteq H\subseteq \Phi ^{\star }$
e si può pensare $\Phi ^{\star }$ come un allargamento di $H$.
Per chiarire meglio il funzionamento di questo procedimento, si consideri lo spazio di Hilbert $H=L^{2}(\mathbb {R} )$ dell'esempio precedente. In questo caso, prendendo come sottospazio $\Phi =C_{c}^{\infty }(\mathbb {R} )$, l'insieme delle funzioni infinitamente differenziabili e a supporto compatto, equipaggiato con la topologia indotta dalla norma di $H$. In questo caso, $\imath$ è semplicemente l'immersione di $\Phi$ in $H$, e non è difficile verificare che le funzioni in $\Phi$ sono dense in $H$ (infatti, ogni funzione a quadrato sommabile si può approssimare in un compatto con una funzione infinitamente differenziabile). Lo spazio duale di $\Phi$ sarà però assai più ampio di $H$, in quanto ad esempio è ben definito l'integrale di $\mathbf {e} _{\alpha }(x)=e^{-i\alpha x}$ per una funzione a supporto compatto. Più in generale, questo spazio sarà costituito da distribuzioni, e su di esso sarà possibile estendere gli operatori hermitiani definiti su $H$.
In generale, gli esempi più significativi di spazi di Hilbert allargati sono quelli in cui $\Phi$ è costituito da funzioni regolari (funzioni test), o -più formalmente- in cui $\Phi$ è uno spazio nucleare.

## Applicazioni

Oltre che nella teoria spettrale, gli spazi di Hilbert allargati hanno applicazioni anche in fisica. Essi consentono di trattare in maniera matematicamente rigorosa la meccanica quantistica (ma non le più moderne teorie dei campi). In particolare, mentre è possibile ottenere una descrizione rigorosa degli stati legati, usufruendo del solo formalismo degli spazi di Hilbert separabili, è invece necessario ampliare questa struttura nel caso degli stati liberi.