Análise Funcional

Eliakim
21 de Agosto de 2019

Teorema. Seja V um espaço vetorial normado. Se convergência absoluta implicar em convergência (em V ),
então V é espaço de Banach.
Demonstração. Seja (v j )j∈N uma sequência de Cauchy em V . Escolha (v jk )k∈N subsequência de (v j )j∈N satis-
fazendo
kv jk+1 − v jk k < 2−k , ∀k ∈ N. (1)
Defina agora, para cada k ∈ N
Sk := v jk+1 − v jk .
Então, temos que
∞
X ∞
X
kSk k = kv jk+1 − v jk k
k=1 k=1
X∞
6 2−k (por (1))
k=1
= 1
P∞
e segue que a série k=1 S
Pk ∞é absolutamente convergente. Mas, por hipótese, convergência absoluta implica em
convergência em V , logo k=1 Sk converge. Note ainda que, fixado N > 2, temos
N
X N
X
Sk = (v jk+1 − v jk )
k=2 k=2
= v jN − v j1 ,

o que implica em
N
X
v jN = v j1 + Sk ,
k=2

logo
N
!
X
lim v jN = lim v j1 + Sk
N N
k=2
∞
X
v j1 +
= |{z} Sk ,
∈V k=2
| {z }
conv. em V

e assim a subsequência (v jk )k∈N converge em V , logo a sequência de Cauchy (v j )j∈N converge para o mesmo
ponto que (v jk )k∈N .
∴ V é Banach.