Primeiro Complemento de aula
Primeiro Complemento de aula
Primeiro Complemento de aula
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
28 Capítulo 2. Espaços <strong>de</strong> Banach<br />
Teorema 2.4.3 Seja E um espaço <strong>de</strong> Banach e <strong>de</strong>notemos por F uma função da forma<br />
F : E → R<br />
Então F é uma função contínua se e somente se para todo aberto V <strong>de</strong> R, F −1 (V ) é<br />
um aberto <strong>de</strong> E.<br />
A <strong>de</strong>monstração segue os mesmos passos que o correspon<strong>de</strong>nte teorema para funções<br />
reais.<br />
Note que a norma <strong>de</strong> E é sempre uma função contínua, portanto as bolas<br />
são sempre conjuntos abertos, pois<br />
on<strong>de</strong> F (x) = x − x0.<br />
Br(x0) = {x ∈ E; x − x0 < r}<br />
Br(x0) = F −1 (]0, r[)<br />
Extensão do conceito <strong>de</strong> convergência<br />
Exten<strong>de</strong>remos o conceito <strong>de</strong> convergência a partir da seguinte proprieda<strong>de</strong> proprieda<strong>de</strong><br />
das funções contínuas. Se a seqüência (xν)ν∈N é convergente então para toda função<br />
contínua F teremos que F (xν)ν∈N é também convergente. Definiremos uma condição<br />
mais fraca que a anterior se exigimos que a convergência seja válida apenas para as<br />
funções lineares e contínuas. Diremos então que uma seqüência xn converge fracamente<br />
para x, se f(xn) converge para f(x), para todas as funções lineares e contínuas. Para<br />
formalizar esta <strong>de</strong>finição introduziremos o espaço dual.<br />
Definição 2.4.1 Denotemos por E ∗ o conjunto das funções f : E → R lineares e<br />
contínuas, isto é<br />
E ∗ = {f : E → R; fé linear e contínua}<br />
O conjunto E ∗ é chamado <strong>de</strong> espaço dual <strong>de</strong> E<br />
Da <strong>de</strong>finição concluimos que E ∗ é um espaço vectorial. Mais ainda, E é um espaço<br />
normado com a norma dada por<br />
fE ∗ = sup<br />
xE≤1<br />
|f(x)|<br />
O seguinte resultado nos diz que o espaço dual <strong>de</strong> um espaço normado qualquer é<br />
completo.<br />
Teorema 2.4.4 Seja E um espaço normado, e <strong>de</strong>notemos por E ∗ o espaço dual <strong>de</strong> E.<br />
Então E ∗ é um espaço completo.