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 definiti su uno spazio di Banach, la limitatezza puntuale è equivalente alla limitatezza.
Il teorema fu pubblicato per la prima volta nel 1927 da Stefan Banach e Hugo Steinhaus ma fu anche dimostrato indipendentemente da Hans Hahn.
Indice |
[modifica] Enunciato
Siano X uno spazio di Banach e Y uno spazio normato. Sia F sia una famiglia di operatori lineari continui da X in Y tale che per tutti gli x in X risulti
- .
Allora
[modifica] Dimostrazione
Per ogni definiamo l'insieme
- .
Per ipotesi, per ogni esiste un indice naturale n = n(x) tale che e, pertanto, si ha . Osserviamo che, per la continuità di ogni elemento T di F, tutti gli insiemi An sono chiusi. Invocando il teorema della categoria di Baire deduciamo che esiste un naturale m tale che ha interno non vuoto, vale a dire che esistono e tali che
- .
In altre parole si ha
e quindi
- .
Dato si ha
- .
Da ciò segue che
- .
Con ciò il teorema è provato.
[modifica] Generalizzazione
L'ambiente naturale per il principio dell'uniforme limitatezza è uno spazio botte dove vale la seguente versione generalizzata del teorema:
Dato uno spazio botte X e uno spazio localmente convesso Y, allora qualsiasi famiglia di operatori lineari continui puntualmente limitati da X a Y è equicontinua (anche uniformemente equicontinua).
[modifica] Voci correlate
- Spazio botte, uno spazio vettoriale topologico con minimi requisiti affinché valga il teorema di Banach-Steinhaus
[modifica] Bibliografia
- (FR) Stefan Banach, Hugo Steinhaus. "Sur le principle de la condensation de singularités". Fundamenta Mathematicae, 9 50-61, 1927.
- Portale Matematica: accedi alle voci di Wikipedia che parlano di matematica