Principio dell'uniforme limitatezza

In matematica, il principio dell'uniforme limitatezza o teorema di Banach-Steinhaus, pubblicato per la prima volta nel 1927 da Stefan Banach e Hugo Steinhaus, ma anche dimostrato indipendentemente da Hans Hahn, è uno dei risultati fondamentali in analisi funzionale e, insieme con il teorema di Hahn-Banach e con il teorema della funzione aperta, è considerato una delle basi di questa branca dell'analisi. Nella sua forma più semplice, esso afferma che per una famiglia di operatori lineari continui (e quindi limitati) definiti su uno spazio di Banach la limitatezza puntuale è equivalente alla limitatezza nella norma operatoriale.

Enunciato

Siano $X$ uno spazio di Banach e $Y$ uno spazio normato. Sia $F$ una famiglia di operatori lineari continui (limitati) da $X$ in $Y$ tale che per tutti gli $x$ in $X$ risulti:

$\sup \{\Vert Tx{\Vert }_Y:T\in F\}<\mathrm{\infty }$

Allora:

$\sup \{\Vert T{\Vert }_{B(X,Y)}:T\in F\}<\mathrm{\infty }$

dove con $B(X,Y)$ si è indicato lo spazio degli operatori limitati da $X$ in $Y$.

Il teorema può essere generalizzato in quanto l'ambiente naturale per il principio dell'uniforme limitatezza è uno spazio botte, dove vale una versione generalizzata del teorema (enunciata più avanti).

Dimostrazione

Per ogni $n\in \mathbb{N}$ si definisce l'insieme:

$C_n\equiv \{x\in X:\Vert Tx\Vert \le n\mathrm{\forall }T\in F\}$

Per ipotesi, per ogni $x\in X$ esiste un indice naturale $n=n(x)$ tale che $\Vert Tx\Vert \le n$ per ogni $T\in F$, e pertanto si ha:

$X=\underset{n=1}{\overset{\mathrm{\infty }}{\cup }}{C}_n$

Si osserva che, per la continuità di ogni elemento $T$ di $F$, tutti gli insiemi $C_n$ sono chiusi. Invocando il teorema della categoria di Baire si deduce che esiste un naturale $m$ tale che ${\bar{C}}_m=C_m$ ha interno non vuoto, vale a dire che esistono $y\in X$ e $\epsilon >0$ tali che:

$B(y,\epsilon )\subseteq T^{-1}\left(\{z:\Vert z\Vert \le m\}\right)\mathrm{\forall }T\in F$

In altre parole si ha:

$\Vert T(x+y)\Vert \le m\mathrm{\forall }x:\Vert x\Vert <\epsilon \mathrm{\forall }T\in F$

e quindi:

$\Vert Tx\Vert \le \Vert T(x+y)\Vert +\Vert Ty\Vert \le m+\Vert Ty\Vert \mathrm{\forall }x:\Vert x\Vert <\epsilon \mathrm{\forall }T\in F$

Dato $x\in X$:

$\Vert Tx\Vert =\Vert T(\frac{2\Vert x\Vert }{\epsilon }\cdot \frac{\epsilon }{2\Vert x\Vert }\cdot x)\Vert =\frac{2\Vert x\Vert }{\epsilon }\Vert T(\frac{\epsilon }{2}\cdot \frac{x}{\Vert x\Vert })\Vert \le \frac{2\Vert x\Vert }{\epsilon }(m+\Vert Ty\Vert )\mathrm{\forall }T\in F$

e segue che:

$\Vert T\Vert =\underset{\Vert x\Vert \le 1}{\sup }\Vert Tx\Vert \le \underset{\Vert x\Vert \le 1}{\sup }\left[\frac{2\Vert x\Vert }{\epsilon }(m+\Vert Ty\Vert )\right]\le \frac{2}{\epsilon }(m+\Vert Ty\Vert )\mathrm{\forall }T\in F$

Con ciò il teorema è provato.

Generalizzazioni

Condizioni meno restrittive per la validità del teorema si ottengono considerando uno spazio botte, dove vale la seguente versione del teorema. Dato uno spazio botte $X$ ed uno spazio localmente convesso $Y$, ogni famiglia puntualmente limitata di operatori lineari continui da $X$ in $Y$ è equicontinua (e anche uniformemente equicontinua).

In alternativa, l'enunciato vale anche quando $X$ è uno spazio di Baire e $Y$ uno spazio localmente convesso.

Una versione più debole del teorema considera gli spazi di Fréchet invece che spazi di Banach: sia $X$ uno spazio di Fréchet, $Y$ uno spazio normato e $H$ una famiglia di operatori lineari continui da $X$ in $Y$. Se per ogni $x\in X$ si ha:

$\sup {\mathrm{\backslash nolimits}}_{u\in H}\Vert u(x)\Vert <\mathrm{\infty }$

allora gli operatori in $H$ sono equicontinui.

Corollari

Una prima conseguenza del principio è che se una successione di operatori limitati $(T_n)$ converge puntualmente, ovvero il limite di $(T_n(x))$ esiste per tutti gli $x\in X$, allora tale limite puntuale definisce un operatore limitato $T$. Si nota che non si verifica che $T_n$ converge a $T$ nella norma operatoriale, cioè converge uniformemente su insiemi limitati. Tuttavia, $T_n$ converge uniformemente a $T$ su insiemi compatti grazie al fatto che $(T_n)$ è limitata nella norma operatoriale e $T$ è continuo.

Un secondo corollario è che ogni insieme $S$ debolmente limitato in uno spazio normato $Y$ è limitato. Infatti, gli elementi di $S$ definiscono una famiglia puntualmente limitata di operatori lineari continui sullo spazio di Banach $Y^{*}$, duale continuo di $Y$. Per il principio dell'uniforme limitatezza la norma degli elementi di $S$, in quanto funzionali su $Y^{*}$, cioè la norma su $Y^{**}$, è limitata. Ma per ogni $s\in S$ la norma in $Y^{**}$ coincide con la norma in $Y$ per il teorema di Hahn-Banach.

Sia $L(X,Y)$ l'insieme degli operatori continui da $X$ in $Y$, con la norma operatoriale. Se la collezione $F$ non è limitata in $L(X,Y)$ allora per il principio dell'uniforme limitatezza:

$R=\{x\in X:\sup {\mathrm{\backslash nolimits}}_{T\in F}\Vert Tx{\Vert }_Y=\mathrm{\infty }\}\ne \varnothing$

Infatti, $R$ è denso in $X$. Il complementare di $R$ in $X$ è l'unione numerabile di insiemi chiusi $\cup X_n$. Per quanto visto nella dimostrazione del principio, ogni $X_n$ è un insieme mai denso, ovvero il sottoinsieme $\cup X_n$ è di prima categoria, e quindi $R$ è il complementare di un sottoinsieme di prima categoria in uno spazio di Baire. Per definizione di spazio di Baire, tali insiemi (detti insiemi residui) sono densi. Tale ragionamento conduce al principio di condensazione delle singolarità, il quale afferma che se $X$ è uno spazio di Banach, $\{Y_n\}$ una successione di spazi vettoriali normati e $F_n$ una famiglia illimitata in $L(X,Y_n)$, allora l'insieme:

$R=\{x\in X:\mathrm{\forall }n\in 𝐍:\sup {\mathrm{\backslash nolimits}}_{T\in F_n}\Vert Tx{\Vert }_Y=\mathrm{\infty }\}$

è denso in $X$. Infatti, il complementare di $R$ è l'unione numerabile:

$\bigcup _{n,m}\{x\in X:\sup {\mathrm{\backslash nolimits}}_{T\in F_n}\Vert Tx{\Vert }_Y\le m\}$

di insiemi di prima categoria, e quindi $R$ è denso.

Bibliografia

• Template:En Conway, J. B. A Course in Functional Analysis. New York: Springer-Verlag, 1990.
• Template:En Zeidler, E. Applied Functional Analysis: Applications to Mathematical Physics. New York: Springer-Verlag, 1995.
• Template:Fr Stefan Banach, Hugo Steinhaus. Sur le principle de la condensation de singularités. Fundamenta Mathematicae, 9 50-61, 1927.

Voci correlate

• Equicontinuità
• Norma operatoriale
• Operatore limitato
• Operatore lineare continuo
• Spazio botte
• Spazio di Banach
• Spazio duale
• Spazio localmente convesso

Collegamenti esterni

• Template:SpringerEOM