30.05.2013 Views

Primeiro Complemento de aula

Primeiro Complemento de aula

Primeiro Complemento de aula

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!