1. Espaos normados e operadores lineares c Sempre consideraremos espaos vetoriais sobre K, onde K R ou C. c e 1.1. Denio.

. Se E um espao vetorial, ento uma funo ca e c a ca xE x R chamada de norma se verica as seguintes propriedades: e (a) x 0 para todo x E; (b) x = 0 se e s se x = 0; o (c) x = || x para todo K e x E; (d) x + y x + y para todo x, y E. A desigualdade (d) chamada de desigualdade triangular. O espao vetorial e c E, junto com a norma . , chamado de espao normado. Diremos que E um e c e espao de Banach se E for completo com relao ` mtrica natural d(x, y) = c ca a e xy . Logo veremos vrios exemplos de espaos normados e espaos de Banach. a c c De agora em diante, a menos que digamos o contrrio, E e F denotaro espaos a a c normados. 1.2. Denio. Sejam a E e r > 0. A bola aberta de centro a e raio r ca e o conjunto BE (a; r) = {x E : x a < r}. A bola fechada de centro a e raio r o conjunto e B E (a; r) = {x E : x a r}. A esfera de centro a e raio r o conjunto e SE (a; r) = {x E : x a = r}. Se a = 0 e r = 1, escreveremos BE , B E e SE em lugar de BE (0; 1), B E (0; 1) e SE (0; 1), respectivamente. 1.3. Denio. Dada uma aplicao linear T : E F , seja T denido ca ca por T = sup{ T x : x E, x 1}. Diremos que T limitada se T < . e 1.4. Proposio. Dado uma aplicao linear T : E F , as seguintes ca ca condies so equivalentes: co a (a) T limitada. e (b) T uniformemente cont e nua. (c) T cont e nua. 1

(d) T cont e nua na origem. Demonstrao. (a) (b): Se T limitada, ento ca e a Tx T e portanto Tx T Segue que Tx Ty T Logo T uniformemente cont e nuo. As implicaes (b) (c) e (c) (d) so claras. co a (d) (a): Se (a) no for verdadeiro, ento existiria uma sequncia (xn ) em a a e E tal que xn 1 e T xn n para cada n. Seja yn = xn / T xn para cada n. Ento yn 1/n e T yn = 1 para cada n. Logo T no seria cont a a nua na origem. 1.5. Corolrio. Seja T : E F uma aplicao linear. Ento T cont a ca a e nua se e s se existe uma constante c > 0 tal que o Tx c x para todo x E. xy para todo x, y E. x para todo x E. para todo x E, x 1,

1.6. Denio. Denotaremos por La (E; F ) o espao vetorial de todas as ca c aplicaes lineares T : E F . Denotaremos por L(E; F ) o subespao de todas co c as T La (E; F ) que so cont a nuas. Os elementos de La (E; F ) so usualmente a chamados de operadores lineares. E claro que o valor absoluto dene uma norma em K, e que K, munido dessa norma, completo. O espao La (E, K) denotado por E , e chamado de e c e e dual algbrico de E. O espao L(E; K) denotado por E , e chamado de dual e c e e topolgico, ou simplesmente dual de E. Os elementos de E so usualmente o a chamados de funcionais lineares. Diremos que T L(E; F ) um isomorsmo topolgico se T bijetivo e seu e o e inverso cont e nuo. Diremos que T L(E; F ) um mergulho topolgico se T e o e um isomorsmo topolgico entre E e o subespao T (E) de F . o c Diremos que T L(E; F ) um isomorsmo isomtrico se T bijetivo, e e e e T x = x para todo x E. Diremos que T L(E; F ) um mergulho e isomtrico se T um isomorsmo isomtrico entre E e o subespao T (E) de F . e e e c Diremos que duas normas . 1 e . 2 em um espao vetorial E so equic a valentes se a aplicao identidade de (E, . 1 ) em (E, . 2 ) um isomorsmo ca e topolgico. o 1.7. Corolrio. Seja T La (E; F ). Ento T um mergulho topolgico se a a e o e s se existem constantes b a > 0 tais que o a x Tx b x 2 para todo x E.

1.8. Corolrio. Seja E um espao vetorial. Duas normas . 1 e . a c E so equivalentes se e s se existem constantes b a > 0 tais que a o a x
1

em

b x

para todo x E.

1.9. Proposio. A funo T T uma norma em L(E; F ). Se F ca ca e e um espao de Banach, ento L(E; F ) tambm um espao de Banach. c a e e c a Demonstrao. E fcil vericar que a funo T T uma norma em ca ca e L(E; F ). Provaremos que L(E; F ) completo se F completo. Seja (Tn ) uma e e sequncia de Cauchy em L(E; F ). Ento, dado > 0, existe n0 N tal que e a T n Tm Segue que (1) Tn x Tm x Tn Tm x x para todo n, m n0 , x E. para todo n, m n0 .

Segue que (Tn x) uma sequncia de Cauchy em F para cada x E. Como por e e hiptese F completo, existe o limite limn Tn x para cada x E. Denamos o e T : E F por T x = limn Tn x para cada x E. E facil vericar que T e linear. Fazendo m em (1) segue que Tn x T x x para todo n n0 , x E.

Logo Tn T , e portanto Tn T L(E; F ), para todo n n0 . Segue que T = (T Tn ) + Tn L(E; F ) e Tn T 0. 1.10. Corolrio. O dual de um espao normado sempre um espao de a c e c Banach. Exerc cios 1.A. Prove que | x y | xy para todo x, y E.

Em particular a funo x E x R uniformemente cont ca e nua. 1.B. (a) Se xn x e yn y em E, prove que xn + yn x + y em E. (b) Se n em K, e xn x em E, prove que n xn x em E. Em particular as seguintes aplicaes so cont co a nuas: (x, y) E E x + y E, (, x) K E x E. 3

1.C. (a) Prove que, para cada a E, a aplicao x E x + a E um ca e homeomorsmo. (b) Prove que, para cada = 0 em K, a aplicao x E x E um ca e homeomorsmo. 1.D. Prove que cada subespao fechado de um espao de Banach um espao c c e c de Banach com a norma induzida. 1.E. Se M um subespao vetorial prprio de E, prove que o interior de M e c o vazio. e 1.F. (a) Prove que a funo (x, y) ca E F.
1

= x + y dene uma norma em

(b) Prove que (E F, . 1 ) completo se e s se E e F so completos. e o a 1.G. (a) Prove que a funo (x, y) ca em E F . (b) Prove que (E F, .

= max{ x , y } dene uma norma

completo se e s se E e F so completos. e o a
)

1.H. Prove que a aplicao identidade I : (E F, . 1 ) (E F, . ca um isomorsmo topolgico. Calcule I e I 1 . o 1.I. Dado T L(E; F ), prove que: T = sup{ T x : x E, x < 1} = sup{ T x : x E, x = 1} = sup{ Tx : x E, x = 0} x para todo x E}.

= inf{c > 0 : T x c x