Enunciado Prova

Análise Funcional (MAT513/MATD13)

Prova elementar do Teorema da Limitação Uniforme

V. Araújo

Instituto de Matemática e Estatística

Universidade Federal da Bahia

Mestrado/Doutorado em Matemática, UFBA

V. Araujo Análise Funcional (MAT513/MATD13)

 Enunciado Prova Comentários Provas originais

Teorema da Limitação Uniforme

Este resultado é um dos pilares da Análise Funcional.

Teorema de Banach-Steinhaus
Seja F uma famíla de aplicações lineares limitadas
entre um espaço de Banach X e um espaço normado Y.
Se F é pontualmente limitada, ou seja, se

sup kTxk < ∞ para todo x ∈ X,

T∈F

então F é uniformemente limitada, isto é

sup kTk < ∞.

T∈F

V. Araujo Análise Funcional (MAT513/MATD13)

 Enunciado Prova Comentários Provas originais

Comentários à prova usual

A prova é usualmente baseada no Teorema de Baire ou

alguma variante; esta prova vem dos próprios Stefan
Banach, Hugo Steinhaus e Stanisław Saks em 1927.
S. Banach and H. Steinhaus, Sur le principe de la
condensation des singularités, Fund. Math. 9
(1927) 50–61.
A prova é simples mas a dependência do Teorema de
Baire faz com que não seja tão elementar.
Esta prova fornece uma versão ligeiramente mais forte
do resultado: se supT∈F kTxk < ∞ para um subconjunto
genérico de pontos x ∈ X (um subconjunto de segunda
categoria de Baire), então F é uniformemente limitado.

V. Araujo Análise Funcional (MAT513/MATD13)

 Enunciado Prova Comentários Provas originais

Provas originais

As provas originais dadas em 1922

S. Banach, Sur les opérations dans les ensembles
abstraits et leur application aux équations
intégrales, Fund. Math. 3 (1922) 133–181; also in
Œuvres avec des Commentaires, vol. 2, Éditions
scientifiques de Pologne, Warsaw, 1979.
H. Hahn, Über Folgen linearer Operationen,
Monatsh. Math. Phys. 32 (1922) 3–88.
foram muito diferentes: os autores assumiram que
supT∈F kTk = ∞ e usaram um argumento de
aproximação para construir uma sequência (Tn ) em F e
um ponto x ∈ X tais que limn→∞ kTn xk = ∞.
No que segue usamos B(x, r) = {x0 ∈ X : kx0 − xk < r}.

V. Araujo Análise Funcional (MAT513/MATD13)

 Enunciado Prova Lema simples Prova do Teorema

Lema muito útil

Lema
Seja T : X → Y uma aplicação linear limitada entre
espaços normados. Então, para cada x ∈ X e r > 0
temos supx0 ∈B(x,r) kTx0 k ≥ kTkr.

Para provar, note que para x ∈ X temos

 1 
max kT(x + ξ)k, kT(x − ξ)k ≥ kT(x + ξ)k + kT(x − ξ)k
2
e esta média é ≥ kTξk porque
k2Tξk = kT(x + ξ) − T(x − ξ)k ≤ kT(x + ξ)k + kT(x − ξ)k.
Agora tomando o supremo sobre ξ ∈ B(0, r) vem
sup kTx0 k ≥ sup kTξk = rkTk.
x0 ∈B(x,r) ξ∈B(0,r)

Isto completa a prova.

V. Araujo Análise Funcional (MAT513/MATD13)
 Enunciado Prova Lema simples Prova do Teorema

Prova do Teorema
∞
Assuma que supT∈F kTk = ∞ e escolha (Tn )n=1 em F tal
n
que kTn k ≥ 4 e defina x0 = 0.
Para cada n ≥ 1 use o lema anterior para escolher
xn ∈ X tal que kxn − xn−1 k ≤ 3−n e kTn xn k ≥ 32 3−n kTn k.
Mais precisamente, para cada n ≥ 1 faça r = 3−n e tome
xn ∈ B(xn−1 , r) tal que kTn xn k ≥ 32 rkTn k = 32 · 3−n kTn k.
Note que a sequência (xn ) é de Cauchy, pois para
p > q > n temos
p
X X 1
kxp − xq k ≤ kxi − xi−1 k ≤ 3−i = · 3−n ;
i=q+1 i>n
2

portanto xn → x ∈ X; mais ainda kx − xn k ≤ 3−n / 2.

V. Araujo Análise Funcional (MAT513/MATD13)

 Enunciado Prova Lema simples Prova do Teorema

Final da prova

Portanto, vamos ter também

kTn xk = kTn (xn + x − xn )k ≥ kTn xn k − kTn (x − xn )k

2 1
≥ · 3−n kTn k − · 3−n kTn k
3 2
1 −n 1 4 n
 
= 3 kTn k ≥
6 6 3

e achamos um ponto x ∈ X que satisfaz

kTn xk −−−→ ∞
n→∞

concluindo a prova do teorema.

V. Araujo Análise Funcional (MAT513/MATD13)