Principio dell'uniforme limitatezza

Da Wikipedia, l'enciclopedia libera.

In matematica, il principio dell'uniforme limitatezza o teorema di Banach-Steinhaus è 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.

Il teorema fu pubblicato per la prima volta nel 1927 da Stefan Banach e Hugo Steinhaus ma fu anche dimostrato indipendentemente da Hans Hahn.

Enunciato[modifica | modifica wikitesto]

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

Allora:

dove con si è indicato lo spazio degli operatori limitati da in .

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[modifica | modifica wikitesto]

Per ogni si definisce l'insieme:

Per ipotesi, per ogni esiste un indice naturale tale che per ogni , e pertanto si ha:

Si osserva che, per la continuità di ogni elemento di , tutti gli insiemi sono chiusi. Invocando il teorema della categoria di Baire si deduce che esiste un naturale tale che ha interno non vuoto, vale a dire che esistono e tali che:

In altre parole si ha:

e quindi:

Dato :

e segue che:

Con ciò il teorema è provato.

Generalizzazioni[modifica | modifica wikitesto]

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 ed uno spazio localmente convesso , ogni famiglia puntualmente limitata di operatori lineari continui da in è equicontinua (e anche uniformemente equicontinua).

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

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

allora gli operatori in sono equicontinui.

Corollari[modifica | modifica wikitesto]

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

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

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

Infatti, è denso in . Il complementare di in è l'unione numerabile di insiemi chiusi . Per quanto visto nella dimostrazione del principio, ogni è un insieme mai denso, ovvero il sottoinsieme è di prima categoria, e quindi è 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 è uno spazio di Banach, una successione di spazi vettoriali normati e una famiglia illimitata in , allora l'insieme:

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

di insiemi di prima categoria, e quindi è denso.

Bibliografia[modifica | modifica wikitesto]

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

Voci correlate[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

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