Af Slides 2 em 1

Anlise Funcional
Antnio Bento
Universidade da Beira Interior
2006/2007
Antnio Bento (UBI)
Anlise Funcional
2006/2007
1 / 398
Bibliograa
Bachman, G. & Narici, L., Functional Analysis, Dover, 2000 (reedio da edio de 1966 da Academic Press) Bollobs, B., Linear Analysis, Cambridge University Press, 1990 Conway J. B., A Course in Functional Analysis, Springer-Verlag, 2nd edition, 1990 Giles, J.R., Introduction to the Analysis of Normed Spaces, Cambridge University Press, 2000 Kreyszig, E., Introductory Functional Analysis with Applications, John Wiley & Sons, 1978 Kolmogorov, A. N. & Fomin, S. V., Elementos da Teoria das Funes e de Anlise Funcional, Editora Mir, 1982 Machado, A., Introduo Anlise Funcional, Escolar Editora, 1991 Michel, A.N. & Herget C. J., Applied Algebra and Functional Analysis, Dover, 1993 (reedio da edio de 1981 da Prentice Hall) Taylor, A. E. & Lay, D. C., Introduction to Functional Analysis, Krieger Publishing Company, 1986
Antnio Bento (UBI) Anlise Funcional 2006/2007 2 / 398
ndice
1
Introduo Espaos vectoriais Espaos normados Espaos mtricos Espaos mtricos: denio e exemplos Conjuntos abertos e conjuntos fechados Funes contnuas em espaos mtricos Sucesses em espaos mtricos Sucesses de Cauchy e espaos mtricos completos Completamento de um espao mtrico Espaos normados e espaos de Banach Propriedades elementares dos espaos normados Operadores lineares contnuos Espaos normados de dimenso nita Espaos com produto interno e espaos de Hilbert Denio, propriedades elementares e exemplos Complemento ortogonal e projeces ortogonais Conjuntos ortonormados Funcionais em espaos de Hilbert Teoremas fundamentais da anlise funcional Lema de Zorn Teorema de Hahn-Banach Teorema de Banach-Steinhaus Teoremas da aplicao aberta e do grco fechado
ndice
1
ndice
1
1.1 Espaos vectoriais
No que se segue K representa o corpo dos nmeros reais ou o corpo dos nmeros complexos.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
6 / 398

Um espao vectorial sobre K um conjunto no vazio E onde esto denidas duas operaes: uma adio que a cada para de elementos (x, y ) E E faz corresponder um elemento designado por x + y uma multiplicao por um escalar que a cada par (, x) K E faz corresponder um elemento de E designado por .x, ou simplesmente x tais que i) x + y = y + x para cada x, y E ; ii) x + (y + z ) = (x + y ) + z para cada x, y, z E ; iii) existe um elemento 0 E , designado por "zero", tal que, para cada x E, 0 + x = x + 0 = x iv ) para cada x E , existe um elemento x E tal que x + (x) = (x) + x = 0; v ) (x) = () x para cada , K e para cada x E ; vi) (x + y ) = x + y para cada K e para cada x, y E ; vii) ( + ) x = x + x para cada , K e para cada x E ; viii) 1 x = x para cada x E .
Os elementos de E designam-se por vectores e os de K por escalares. fcil provar que 0.x = 0, .0 = 0 e (1) x = x.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
8 / 398
Exemplos 1.1.1
1) Os espaos Rn e Cn so espaos vectoriais com as operaes usuais, ou seja, para cada x = (x1 , . . . , xn ) , y = (y1 , . . . , yn ) Kn e para cada K temos x + y = (x1 + y1 , . . . , xn + yn ) e x = (x1 , . . . , xn ) .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
9 / 398
Exemplos 1.1.1
2) Seja C [a, b] o conjunto das funes contnuas x : [a, b] K. Dadas x, y C [a, b] e K, denamos x + y : [a, b] K e x : [a, b] K por (x + y ) (t) = x(t) + y (t) e (x) (t) = x(t), respectivamente. Com estas operaes, C [a, b] um espao vectorial.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
10 / 398

Exemplos 1.1.1
3) Seja 1 p < +. Consideremos o conjunto das sucesses de nmeros reais ou de nmeros complexos denido por p = x = (xn )nN :
+ n=1
|xn |p convergente .
Para cada x = (xn ) , y = (yn ) p e para cada K denamos as seguintes operaes x + y = (xn + yn ) e x = (xn ) . Com estas operaes p um espao vectorial.
Est bem denido?
Antnio Bento (UBI)
Anlise Funcional
2006/2007
11 / 398
Exemplos 1.1.1
4) Seja o conjunto das sucesses (reais ou complexas) limitadas. Para cada x = (xn ) , y = (yn ) e para cada K denamos as seguintes operaes x + y = (xn + yn ) e x = (xn ) . Com estas operaes um espao vectorial.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
12 / 398

Um subespao (vectorial) de um espao vectorial E um subconjunto M E tal que x + y M para quaisquer x, y M e para quaisquer , K. Pode-se provar que se M um subespao de E , ento M ele prprio um espao vectorial sobre K.
Dados vectores x1 , . . . , xm E , onde E um espao vectorial, chama-se combinao linear de x1 , . . . , xm a toda a expresso da forma 1 x1 + + m xm onde 1 , . . . m so escalares. Seja M um subconjunto de E . O conjunto de todas as combinaes lineares de elementos de M chama-se subespao (vectorial) gerado por M e representa-se por M . fcil provar que M , de facto, um subespao de E .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
13 / 398
Diz-se que os vectores x1 , . . . , xm E so linearmente independentes se 1 x1 + + m xm = 0 apenas se vericar quando os escalares 1 , . . . , m so todos nulos, ou seja, 1 = = m = 0. Aos vectores x1 , . . . , xm que no so linearmente independentes chamamos vectores linearmente dependentes. Um subconjunto M E diz-se linearmente independente se qualquer nmero nito de vectores de M forem linearmente independentes.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
14 / 398
Chamaremos base (ou base de Hamel) de um espao vectorial E a todo o subconjunto B de E linearmente independente e tal que B = E . Um espao vectorial E diz-se de dimenso nita se existir uma base B E tal que B um conjunto nito. Os espaos que no so de dimenso nita dizem-se de dimenso innita. possvel provar que qualquer espao vectorial possui uma base e num mesmo espao vectorial todas as bases tm o mesmo cardinal. Se E um espao vectorial de dimenso nita, ento o nmero de elementos de qualquer base designa-se por dimenso de E e representa-se por dim E .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
15 / 398
ndice
1
1.2 Espaos normados
Seja E um espao vectorial sobre K. Uma norma em E uma aplicao que a cada vector x E faz corresponder um nmero real x com as seguintes propriedades: x = 0 se e s se x = 0 ; x = || x para cada x E e para cada K; (propriedade homognea) iii) x + y x + y para cada x, y E . (desigualdade triangular) Chama-se espao normado a um par (E, ) onde E um espao vectorial e uma norma em E . i) ii)
Antnio Bento (UBI)
Anlise Funcional
2006/2007
17 / 398
1.2 Espaos normados
Exemplos 1.2.1
1) Em R ou em C o valor absoluto || uma norma, ou seja, (R, ||) e (C, ||) so espaos normados.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
18 / 398
1.2 Espaos normados

Exemplos 1.2.1
2) Seja x = (x1 , . . . , xn ) um vector qualquer de Rn . Ento
n
=
i=1 n
|xi |,
1/2
x e
=
i=1
|xi |2
= sup |xi |
1in
so normas em Rn . O nico axioma de norma cuja demonstrao no trivial a desigualdade triangular para 2 . ver
Antnio Bento (UBI)
Anlise Funcional
2006/2007
19 / 398
1.2 Espaos normados

Exemplos 1.2.1
3) Em Rn ou em Cn podemos denir as seguintes normas 1/p n p |xi | se 1 p < , x p= i=1 se p = +. sup |xi |
1in
O nico axioma difcil de provar a desigualdade triangular quando 1 < p < que necessita de algumas desigualdades auxiliares. Estes espaos generalizam os do exemplo anterior. Usa-se a notao
n n p = K , p
Antnio Bento (UBI)
Anlise Funcional
2006/2007
20 / 398
1.2 Espaos normados
Exemplos 1.2.1
4) Seja 1 p . Em p podemos denir a seguinte norma 1/p p |xi | se 1 p < , x p= i=1 sup |xi | se p = +.
iN
Novamente, s a desigualdade triangular para 1 < p < d mais trabalho. e uma Neste exemplo tambm temos uma desigualdade de Hlder desigualdade de Minkowski .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
21 / 398
1.2 Espaos normados
Exemplos 1.2.1
5) Em C [a, b] podemos denir a seguinte norma 1/p b p se 1 p < , |x(t)| dt a x p= se p = . sup |x(t)|
t[a,b]
Novamente, s a desigualdade triangular para 1 < p < d mais trabalho a provar. Tal como no exemplo anterior necessitamos de uma desigualdade de e de uma desigualdade de Minkowski para integrais. Hlder
Antnio Bento (UBI)
Anlise Funcional
2006/2007
22 / 398
1.2 Espaos normados

Exemplos 1.2.1
6) Sejam (E, E ) e (F, F ) espaos normados sobre o mesmo corpo K. Ento em E F podemos denir, para quaisquer x E e y F , a seguinte norma (x, y ) E F = x E + y F . Outras normas em E F so as seguintes: x e Tambm podemos denir, para 1 p < + as normas ( x
p E 2 E
+ y
E,
2 F
max { x
F}.
+ y
p 1/p F)
Antnio Bento (UBI)
Anlise Funcional
2006/2007
23 / 398
1.2 Espaos normados
Dado um espao normado (E, ), denindo d : E E R por d(x, y ) = x y temos as seguintes propriedades: i) d(x, y ) = 0 se e s se x = y ; ii) d(x, y ) = d(y, x) para quaisquer x, y E ; iii) d(x, z ) d(x, y ) + d(y, z ) para quaisquer x, y, z E .
As trs propriedades traduzem o facto de um espao normado ser um espao mtrico e, por isso, vamos estudar espaos mtricos no captulo seguinte.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
24 / 398

A adio em p est bem denida
Para provar que em p a adio est bem denida temos de mostrar que se
n=1
|xn | e
n=1
|yn | so convergentes,
ento
n=1
|xn + yn | tambm convergente.
Para isso basta observar que |xn + yn | (2 max {|xn | , |yn |}) = 2p max {|xn |p , |yn |p } 2p (|xn | + |yn | ) .
p p
voltar
Antnio Bento (UBI)
Anlise Funcional
2006/2007
25 / 398
1.2 Espaos normados

Desigualdade triangular
y x x+y
x+y x + y Desigualdade triangular

voltar
Antnio Bento (UBI)
Anlise Funcional
2006/2007
26 / 398
1.2 Espaos normados

Desigualdade triangular para n 2
Seja y = (y1 , . . . , yn ) outro elemento de Rn . Como

n n
x+y
2 2
=
i=1 n
(x i + y i ) =
i=1 n
2 x2 i + 2xi yi + yi n n 2 yi i=1
Dem.
=
i=1
x2 i
+2
i=1
x i yi +
= x
2 2
+2
i=1
x i yi + y
2 2
usando a desigualdade de Cauchy-Schwarz

n
x i yi x
i=1
tem-se x+y e, por conseguinte, x+y

Antnio Bento (UBI)
2 2
2 2
+2 x
+ y
2 2
= .
+ y
2 2
+ y
voltar
Anlise Funcional
2006/2007
27 / 398
1.2 Espaos normados

Desigualdade de Cauchy-Schwarz
n
Atendendo a que
n i=1
(xi + yi )2 0 onde um nmero real qualquer temos
2 2 x2 0 e, portanto, i + 2xi yi + yi i=1 n n n
x2 i
i=1 n
+2
i=1
x i yi
n
2 yi i=1 n
2 0
pelo que fazendo C =

i=1
x2 i, B = 2
2 i=1
x i yi e A =
i=1
2 yi vem A2 + B + C 0
para qualquer R. Assim B 4AC 0 e, portanto,

n 2 n n
2
i=1
x i yi
4
i=1
x2 i
i=1
2 yi
o que equivalente desigualdade de Cauchy-Schwarz

n n n
x i yi
i=1
Antnio Bento (UBI)
x2 i
i=1 i=1
Anlise Funcional
2 yi = x
.
2006/2007
voltar
28 / 398
1.2 Espaos normados

Desigualdades auxiliares
Dado p ]1, +[ escolha-se q ]1, +[ tal que p e q sejam expoentes conjugados Desigualdade de Young ab Desigualdade de Hlder
n n n 1/p n 1/q
bq ap + , a, b 0 p q
|xi yi | x
i=1
ou
i=1
| x i yi |
i=1
| xi |
p i=1
|yi |
Desigualdade de Minkowski
n 1/p n 1/p n 1/p
x+y
+ y
ou
i=1
|xi + yi |p
i=1
|xi |p
+
i=1
|yi |p
voltar
Antnio Bento (UBI)
Anlise Funcional
2006/2007
29 / 398
1.2 Espaos normados

Expoentes conjugados
Dado p ]1, +[ escolha-se q ]1, +[ tal que 1 1 + = 1. p q Nestas condies p e q designam-se por expoentes conjugados. Daqui resulta que q= e, alm disso, 1= p+q , pq pq = p + q e (p 1) (q 1) = 1.
voltar
p p1
p=
q q1
Antnio Bento (UBI)
Anlise Funcional
2006/2007
30 / 398
1.2 Espaos normados

Desigualdade de Young
A funo f : [0, +[ R denida por f (t) =
ap tq at + , q p
onde a um nmero positivo qualquer, tendo em conta que a sua derivada f (t) = tq1 a, aq/(q1) ap 1/(q1) f a = aa + =0 q p um mnimo. Assim, para cada b > 0 temos f (b) 0 e, por conseguinte, temos
1/(q1)
tem em
ap bq ab + p q
1 1 + = 1. Esta p q desigualdade conhecida por desigualdade de Young e tambm vlida para voltar a = 0 ou para b = 0. para quaisquer a, b > 0 e para quaisquer p, q ]1, +[ tais que
1.2 Espaos normados

Desigualdade de Hlder para somatrios
Dados x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) pertencentes a Rn ou a Cn e tais que |xi | |yi | x = 0 e y = 0, fazendo ai = e bi = , temos pela desigualdade de x p y q Young |xi yi | |xi |p |yi |q p + q, x p y q p x p q y q donde somando para i = 1, . . . , n resulta
n i=1 n n
|xi yi |
p
i=1
|xi |
p p
p x
i=1
|yi |
q q
q y
1 1 + =1 p q
e, consequentemente, obtemos a desigualdade de Hlder

n i=1
Antnio Bento (UBI)
|xi yi | x
Anlise Funcional
2006/2007
32 / 398
1.2 Espaos normados

Desigualdade de Hlder para somatrios - continuao
A desigualdade de Hlder tambm vlida quando x = 0 ou quando y = 0. A desigualdade de Hlder para p = 2 e, portanto q = 2, a desigualdade de Cauchy-Schwarz. Quando p = 1 ou p = tambm existem desigualdades deste tipo
n i=1
|xi yi | x |xi yi | x
n i=1
cujas demonstraes so imediatas. Por isso, diz-se que 1 o expoente conjugado voltar de e que o expoente conjugado de 1.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
33 / 398
1.2 Espaos normados

Desigualdade de Minkowski para somatrios
Supondo que p ]1, +[, temos pela desigualdade de Hlder

n n
x+y
p p
=
i=1 n
|xi + yi | =
i=1 p 1
|xi + yi | |xi + yi |p1

n
i=1
|xi | |xi + yi |
p p
+
i=1 p
|yi | |xi + yi |p1 x+y

p/q p
x = e a desigualdade x+y implica x
x+y + y x
p
p/q p p
+ y x+y
p/q p
p p
+ y
p
x+y
p
p/q p
x+y
+ y
,
voltar
desigualdade conhecida por desigualdade de Minkowski e que no mais do que a desigualdade triangular das normas p .
Antnio Bento (UBI) Anlise Funcional 2006/2007
34 / 398
1.2 Espaos normados

Desigualdade de Minkowski para sries
Para provarmos a desigualdade triangular vamos utilizar a desigualdade de Minkowski do exemplo anterior. Assim, se x, y p , temos
n i=1 1/p n 1/p n 1/p
|xi + yi |
i=1
|xi |
+
i=1
|yi |
e fazendo n tender para innito vem

i=1 1/p
|xi + yi |
i=1
1/p
|xi |
i=1
1/p
|yi |
que d a desigualdade triangular para 1 < p < e qual tambm se chama desigualdade de Minkowski.
voltar
Antnio Bento (UBI)
Anlise Funcional
2006/2007
35 / 398
1.2 Espaos normados

Desigualdade de Hlder para sries
Se x p e y q , onde p e q so expoentes conjugados, ento, como

n i=1 n n 1/p n i=1 1/q
|xi yi |
i=1
|xi |
|yi |
resulta que
i=1
|xi yi | convergente e fazendo n tender para innito vem

i=1 i=1 1/p p i=1 1/q q
|xi yi |
|xi |
|yi |
que desigualdade de Hlder para sries e que pode ser escrita da seguinte forma
i=1
|xi yi | x
Antnio Bento (UBI)
Anlise Funcional
2006/2007
36 / 398
1.2 Espaos normados

Desigualdade de Hlder para sries - continuao
Quando p = 1 ou p = a desigualdade de Hlder tambm vlida:

i=1
|xi yi | x
i=1
|xi yi | x
.
voltar
Antnio Bento (UBI)
Anlise Funcional
2006/2007
37 / 398
1.2 Espaos normados

Desigualdade de Hlder para integrais
Dados x, y C [a, b] tais que x = 0 e y = 0, temos pela desigualdade de Young |x(t)| |y (t)| |y (t)|q |x(t)|p p + q x p y q p x p q y q
para cada t [a, b] e com p e q expoentes conjugados. Integrando entre a e b vem

b a b
|x(t)y (t)| dt x
p
b a
|x(t)| dt p x
p p
|y (t)| dt q y
q q
1 1 + =1 p q
e, portanto, |x(t)y (t)| dt x

p
o que tambm pode ser escrito da seguinte forma

b a b 1/p
|x(t)y (t)| dt
|x(t)| dt
Anlise Funcional
b a
1/q
|y (t)| dt
.
2006/2007 38 / 398
Antnio Bento (UBI)
1.2 Espaos normados

Desigualdade de Hlder para integrais - continuao
A desigualdade
b a b 1/p
|x(t)y (t)| dt
|x(t)| dt
b a
1/q
|y (t)| dt
conhecida por desigualdade de Hlder para integrais e tambm vlida para x = 0 ou para y = 0. Quando p = 1 ou p = tambm se tem
b a
|x(t)y (t)| dt x |x(t)y (t)| dt x
e
a
.
voltar
Antnio Bento (UBI)
Anlise Funcional
2006/2007
39 / 398
1.2 Espaos normados

Desigualdade de Minkowski para integrais
Usando a desigualdade de Hlder temos, para x, y C [a, b] e para 1 < p < ,

b
x+y
p p
=
a b
|x(t) + y (t)|p dt |x(t) + y (t)| |x(t) + y (t)|p1 dt

a b b
=
a
|x(t)| |x(t) + y (t)|

b 1/p b
p 1
dt +
a
|y (t)| |x(t) + y (t)|p1 dt

1/q q (p1)
|x(t)|
b
p a 1/p
|x(t) + y (t)|
b p a p/q p p
dt
1/q
+
a
|y (t)| x+y
p
|x(t) + y (t)| + y x+y

p
q (p1)
dt
= x = o que implica
Antnio Bento (UBI)
x+y
p/q p
+ y
p/q p p
x+y
+ y
.
2006/2007
voltar 40 / 398
Anlise Funcional
ndice
1
ndice
1
2.1 Espaos mtricos: denio e exemplos
Um espao mtrico um par ordenado (X, d) onde X um conjunto no vazio e d : X X R uma aplicao com as seguintes propriedades: (M 1) d(x, y ) = 0 se e s se x = y ; (M 2) d(x, y ) = d(y, x) para quaisquer x, y X ;
(M 3) d(x, z ) d(x, y ) + d(y, z ) para quaisquer x, y, z X . aplicao d chamamos mtrica ou distncia e ao nmero real d(x, y ) chamamos distncia entre x e y (segundo a mtrica d). As propriedades (M1), (M2) e (M3) designam-se por separao, simetria e desigualdade triangular, respectivamente.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
43 / 398
A propriedade (M3) denominada desigualdade triangular pelo facto de num tringulo o comprimento de qualquer lado ser menor do que a soma dos comprimentos dos outros dois lados: y
x d(x, z ) d(x, y ) + d(y, z )
Antnio Bento (UBI)
Anlise Funcional
2006/2007
44 / 398
Observaes 2.1.1
1) Se d : X X R verica as trs propriedades (M 1), (M 2) e (M 3), ento d(x, y ) 0 para quaisquer x, y X . De facto, 0 = d(x, x) d(x, y ) + d(y, x) = d(x, y ) + d(x, y ) = 2d(x, y ), o que mostra o pretendido. 2) Caso no haja perigo de confuso diremos que X um espao mtrico em vez de (X, d) um espao mtrico.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
45 / 398
Exemplos 2.1.2
1) O conjunto dos nmeros reais R munido com d(x, y ) = |x y | um espao mtrico. O conjunto dos nmeros complexos C munido com a mesma mtrica tambm um espao mtrico.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
46 / 398
Exemplos 2.1.2
2) Os pares (Rn , dp ) e (Cn , dp ) so espaos mtricos, onde 1/p n p |xi yi | se 1 p < +, i=1 dp (x, y ) = x y p = se p = +. sup |xi yi |
1in n Neste caso tambm se usa a notao n p = (K , dp ).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
47 / 398

Exemplos 2.1.2
3) Seja p , 1 p < +, o conjunto das sucesses (xn )nN tais que
+ i=1
|xi |p convergente
O par (p , dp ) um espao mtrico.
e o conjunto das sucesses limitadas. Denamos dp : p p R por 1/p p |xi yi | se p < ; i=1 dp (x, y ) = x y p = se p = . sup |xi yi |
1i<
Antnio Bento (UBI)
Anlise Funcional
2006/2007
48 / 398
Exemplos 2.1.2
4) Sejam a e b nmeros reais tais que a < b e seja C [a, b] o conjunto das funes contnuas x : [a, b] K e denamos dp : C [a, b] C [a, b] R por 1/p b p se p < ; |x(t) y (t)| dt a dp (x, y ) = x y p = . se p = . sup |x(t) y (t)|
t[a,b]
O par (C [a, b], dp ) um espao mtrico.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
49 / 398
Exemplos 2.1.2
5) Seja X um conjunto no vazio e denamos d : X X R por d(x, y ) = 1 0 se x = y , se x = y .
O par (X, d) um espao mtrico. Este espao designa-se por espao mtrico discreto e d a mtrica discreta.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
50 / 398
Exemplos 2.1.2
6) Se (X, d) um espao mtrico, ento (X, d ) e (X, d ) tambm so espaos mtricos onde d(x, y ) d (x, y ) = 1 + d(x, y ) e d (x, y ) = min {1, d(x, y )} .

Antnio Bento (UBI)
Anlise Funcional
2006/2007
51 / 398
Exemplos 2.1.2
7) Se (X, d) um espao mtrico e Y um subconjunto no vazio de X , ento (Y, d) tambm um espao mtrico.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
52 / 398

Sejam (X, d) um espao mtrico, A um subconjunto no vazio de X e x X . Chama-se distncia de x a A ao nmero real d(x, A) = inf {d(x, a) : a A} .
d(x, a) d(x, A)
a A
Distncia de um ponto a um conjunto
Antnio Bento (UBI)
Anlise Funcional
2006/2007
53 / 398
Observaes 2.1.3
1) Pode ter-se d(x, A) = 0 sem que x pertena a A. Por exemplo, em R com a mtrica usual pondo A =]1, 2[ e x = 1 tem-se d(x, A) = 0 e 1 A. 2) bvio que d(x, {a}) = d(x, a).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
54 / 398
Teorema 2.1.4
Sejam A um subconjunto no vazio de um espao mtrico (X, d) e x, y X . Ento |d(x, A) d(y, A)| d(x, y ).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
55 / 398

Demonstrao do teorema 2.1.4.
Para cada > 0, existe a A tal que d(y, a) d(y, A) + . Ento d(x, A) d(x, a) d(x, y ) + d(y, a) d(x, y ) + d(y, A) + . Como um nmero positivo qualquer d(x, A) d(x, y ) + d(y, A), isto , Analogamente, prova-se que d(x, A) d(y, A) d(x, y ).
d(y, A) d(x, A) d(y, x) = d(x, y ). Das duas ltimas desigualdades resulta que |d(x, A) d(y, A)| d(x, y ).
Tendo em conta que d(x, {z }) = d(x, z ) temos o seguinte Corolrio.
Corolrio 2.1.5
Para quaisquer elementos x, y e z de um espao mtrico (X, d) tem-se |d(x, z ) d(y, z )| d(x, y ).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
57 / 398
Observao 2.1.6
A desigualdade anterior conhecida por segunda desigualdade triangular. Este nome provm do facto de num tringulo o comprimento de qualquer lado no pode ter comprimento inferior diferena entre os comprimentos dos outros dois lados.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
58 / 398

Um subconjunto no vazio A de um espao mtrico (X, d) diz-se limitado se o subconjunto F = {d(x, y ) : x, y A} R for limitado (em R). Se A no for limitado, diz-se que A ilimitado. Se A for limitado, chama-se dimetro de A ao nmero (A) = sup {d(x, y ) : x, y A} . Se A um subconjunto ilimitado convenciona-se que (A) = + e se A = vazio convenciona-se () = 0.
(A)
Dimetro de um conjunto
Exemplos 2.1.7
1) O dimetro de um conjunto singular A = {x} zero. 2) Em R com a mtrica usual o dimetro de um intervalo [a, b] b a.
3) Em R2 com a mtrica d ((x1 , x2 ) , (y1 , y2 )) = (x1 y1 )2 + (x2 y2 )2 o dimetro de uma circunferncia igual ao dobro do seu raio. 4) Seja (X, d) um espao mtrico. J vimos que d (x, y ) = d(x, y ) 1 + d(x, y ) e d (x, y ) = min {1, d(x, y )}
denem novas mtricas em X . Com estas duas mtricas tem-se que X limitado. Em ambos os casos (X ) 1.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
60 / 398

Sejam A e B dois subconjuntos no vazios de (X, d). Chama-se distncia de A a B ao nmero real denido por d(A, B ) = inf {d(x, y ) : x A, y B } .
d(A, B )
Distncia entre dois conjuntos
Antnio Bento (UBI)
Anlise Funcional
2006/2007
61 / 398
ndice
1
2.2 Conjuntos abertos e conjuntos fechados

Sejam a um ponto de um espao mtrico (X, d) e r um nmero real. Chama-se bola aberta de centro a e raio r > 0 ao conjunto Br (a) = {x X : d(x, a) < r} Chama-se bola fechada de centro a e raio r 0 ao conjunto Br [a] = {x X : d(x, a) r} . O conjunto designa-se por esfera de centro a e raio r 0. Sr (a) = {x X : d(x, a) = r}
Antnio Bento (UBI)
Anlise Funcional
2006/2007
63 / 398
Exemplos 2.2.1
1) Em R, com a mtrica usual, temos Br (a) = ]a r, a + r[, Br [a] = [a r, a + r] Sr (a) = {a r, a + r} .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
64 / 398

Exemplos 2.2.1
2) Em R2 , denamos, para quaisquer x = (x1 , x2 ) , y = (y1 , y2 ) R2 , as seguintes mtricas d1 (x, y ) = |x1 y1 | + |x2 y2 | d2 (x, y ) = d (x, y ) = max {|x1 y1 | , |x2 y2 |} . As bolas de centro (0, 0) e raio 1 esto representadas na gura seguinte:
x2 x2 x2
(x1 y1 ) + (x2 y2 ) ,
x1
x1
x1
mtrica d1
Antnio Bento (UBI)
mtrica d2
Anlise Funcional
mtrica d
2006/2007 65 / 398

Exemplos 2.2.1
2) (continuao) S1 ((0, 0)) no espao 2 p p=1 p = 1.5 p=2 p=3 p=
Antnio Bento (UBI)
Anlise Funcional
2006/2007
66 / 398
Exemplos 2.2.1
3) No espao C [a, b] das funes contnuas denidas de [a, b] em R com a mtrica denida por d (x, y ) = sup |x(t) y (t)| ,
t[a,b]
as funes que pertencem bola aberta de centro x0 (t) e raio r > 0 so as funes contnuas x : [a, b] R tais que x0 (t) r < x(t) < x0 (t) + r para cada t [a, b]. A gura seguinte ilustra este facto.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
67 / 398

Exemplos 2.2.1
3) (continuao)
x0 (t)+r x(t) x0 (t) x0 (t)r
A funo x(t) pertence bola aberta Br (x0 (t)) do espao (C [a, b], d )

Exemplos 2.2.1
4) Se (X, d) o espao mtrico discreto, ou seja, d(x, y ) = ento, para qualquer a X , Br (a) = {a} X { a} X se 0 < r 1 se r > 1, se 0 r < 1, se r 1, se se se se r = 0, 0 < r < 1, r = 1, r > 1.
2006/2007 69 / 398
1 0
se x = y, se x = y,
Br [a] = e
{a} Sr (a) = X \ { a}
Anlise Funcional
Antnio Bento (UBI)

Um subconjunto A de um espao mtrico (X, d) diz-se aberto se para cada a A, existe > 0 tal que B (a) A.
Conjunto aberto
Antnio Bento (UBI)
Anlise Funcional
2006/2007
70 / 398
Diz-se que A fechado se X \ A for aberto, ou seja, se para cada a X \ A, existe > 0 tal que B (a) X \ A.
a
Conjunto fechado
Antnio Bento (UBI)
Anlise Funcional
2006/2007
71 / 398

Exemplo 2.2.2
Em qualquer espao mtrico as bolas abertas so conjuntos abertos. De facto, seja Br (a) a bola aberta centrada em a e de raio r > 0. Dado b Br (a), temos de provar que existe uma bola aberta centrada em b e contida em Br (a). Fazendo = r d(a, b) > 0,
r a b
vejamos que B (b) Br (a). Seja x B (b). Ento d(x, a) d(x, b) + d(b, a) < + d(b, a) = r d(a, b) + d(b, a) =r
e, portanto, x Br (a). Logo B (b) Br (a) pelo que Br (a) um conjunto aberto.

Exemplo 2.2.2 (continuao)
De forma anloga prova-se que X \ Br [a] um conjunto aberto e, portanto, Br [a] um conjunto fechado:
b
= d(a, b) r > 0

Teorema 2.2.3
Seja (X, d) um espao mtrico. a) Os conjuntos e X so conjuntos abertos. b) Se A1 e A2 so subconjuntos abertos de X , ento A1 A2 um subconjunto aberto de X . c) Se (A ) uma famlia de subconjuntos abertos de X , ento A um subconjunto aberto de X .
Demonstrao.
a) O aberto pois no tem elementos. Para cada a X , tem-se B1 (a) X , o que mostra que X um conjunto aberto.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
74 / 398
Demonstrao do teorema 2.2.3 (continuao).

b) Sejam A1 e A2 subconjuntos abertos de X e seja a A1 A2 . Ento a A1 e a A2 . Como A1 e A2 so conjuntos abertos, existem 1 , 2 > 0 tais que B1 (a) A1 e B2 (a) A2 . Fazendo = min {1 , 2 } > 0 tem-se B (a) B1 (a) A1 e o que implica B (a) A1 A2 . Logo A1 A2 um subconjunto aberto de X. B (a) B2 (a) A2 ,
Antnio Bento (UBI)
Anlise Funcional
2006/2007
75 / 398

c) Seja (A ) uma famlia de subconjuntos abertos de X e seja a B (a) A0 . Deste modo, B (a) o que prova que
A .
Ento existe 0 tal que a A0 . Como A0 aberto, existe > 0 tal que
A um subconjunto aberto de X .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
76 / 398

Observaes 2.2.4
1) Usando o princpio de induo matemtica e a alnea b) do Teorema 2.2.3 tem-se que se A1 , . . . , An forem subconjuntos abertos, ento A1 . . . An um subconjunto aberto. 2) A interseco de uma innidade de abertos no necessariamente um conjunto aberto. Por exemplo, em R com a mtrica usual se considerarmos os conjuntos abertos An =] 1/n, 1/n[, n N, temos An = {0}
nN
que no um conjunto aberto.

Das leis de De Morgan para conjuntos resulta imediatamente o seguinte resultado.
Teorema 2.2.5
Seja (X, d) um espao mtrico. a) Os conjuntos e X so conjuntos fechados. b) Se F1 e F2 so subconjuntos fechados de X , ento F1 F2 um subconjunto fechado de X . c) Se (F ) uma famlia de subconjuntos fechados de X , ento subconjunto fechado de X . F um
Antnio Bento (UBI)
Anlise Funcional
2006/2007
78 / 398

Seja A um subconjunto de um espao mtrico (X, d). Um elemento a X diz-se ponto interior a A se existir > 0 tal que B (a) A.
Diz-se que a um ponto exterior a A se for um ponto interior a X \ A, ou seja, se existir > 0 tal que B (a) X \ A (ou equivalentemente, se existir > 0 tal que B (a) A = ). Um ponto diz-se ponto fronteiro a A se no for ponto interior nem ponto exterior, isto , a um ponto fronteiro a A se para cada > 0, B (a) A = e B (a) (X \ A) = .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
79 / 398
A gura que se segue ilustra estes trs conceitos.
c b
O ponto a um ponto interior ao conjunto, o ponto b um ponto exterior e o ponto c um ponto de fronteira.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
80 / 398
O conjunto dos pontos interiores a A designa-se por interior de A e representa-se por int A ou A . O conjunto dos pontos exteriores a A chama-se exterior de A e representa-se por ext A. O conjunto dos pontos fronteiros de A diz-se a fronteira de A e representa-se por fr A.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
81 / 398
Observaes 2.2.6
1) Da denio resulta imediatamente que int A, ext A e fr A so conjuntos disjuntos dois a dois e que X = int A ext A fr A. 2) Outra consequncia imediata da denio o seguinte ext A = int (X \ A) e fr A = fr (X \ A) .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
82 / 398

Seja (X, d) um espao mtrico. Um ponto a X diz-se ponto aderente a um subconjunto A X se para cada > 0, B (a) A = . O conjuntos dos pontos aderentes de um conjunto A designa-se por aderncia ou fecho de A e representa-se por A. Diz-se que a um ponto de acumulao de A se para cada > 0, B (a) (A \ {a}) = . O conjunto dos pontos de acumulao de um conjunto A representa-se por A e designa-se por derivado. Aos elementos de A que no so pontos de acumulao de A chamamos pontos isolados de A.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
83 / 398

Teorema 2.2.7
As propriedades seguintes so vlidas: a) se A B , ento int A int B e A B ; b) int A A A; c) int A aberto e A fechado; d) A aberto se e s se A = int A; e) A fechado se e s se A = A; f ) se B aberto e B A, ento B int A; g ) se B fechado e A B , ento A B ; h) int (A B ) = int A int B ; i) A B = A B ; j ) int A int B int (A B ); k) A B A B ; l) as incluses das alneas j ) e k ) podem ser estritas. m) A = A A ; n) A fechado se e s se A A; o) A = A fr A = int A fr A; p) A fechado se e s se fr A A.
Um subconjunto A de um espao mtrico (X, d) diz-se denso em X se A = X . Um espao mtrico X diz-se separvel se existir um subconjunto numervel denso.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
85 / 398
Exemplos 2.2.8
1) O conjunto dos nmeros reais com a mtrica usual separvel pois Q numervel e Q = R.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
86 / 398
Exemplos 2.2.8
2) Do mesmo modo, C com a mtrica usual separvel. De facto fazendo A = {a + bi C : a, b Q} tem-se que A numervel e A = C.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
87 / 398
Exemplos 2.2.8
3) O espao mtrico (Rn , d2 ) separvel pois o conjunto A = {(a1 , . . . , an ) Rn : ai Q, i = 1, . . . , n} numervel e A = Rn .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
88 / 398

Exemplos 2.2.8
4) O espao mtrico (p , dp ), 1 p < , separvel. Seja An = {a p : a = (a1 , . . . , an , 0, 0, . . .) : a1 , . . . , an Q} e faamos A=
n=1
An
O conjunto A numervel. Vejamos que A denso em p . Para isso basta mostrar que para cada x p e para cada > 0, existe y A tal que dp (x, y ) < .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
89 / 398

Exemplos 2.2.8
4) (continuao) Assim, sejam x = (x1 , x2 , . . . , xn , . . .) uma sucesso pertencente a p e um nmero positivo qualquer. Como podemos escolher k N tal que
i=k+1 i=1
|xi | < ,
p |xi | < . 2
p p
p Escolha-se agora ai Q tal que |xi ai | < para i = 1, . . . , k . Ento 2k fazendo y = (a1 , a2 , . . . , ak , 0, 0, . . .) temos
k
dp (x, y ) =
i=1
Antnio Bento (UBI)
|xi ai | +
i=k+1
1/p
|xi |
p p + < 2 2
1/p
= .
2006/2007 90 / 398
Anlise Funcional
ndice
1
2.3 Funes contnuas em espaos mtricos

Sejam (X, d) e (Y, d ) espaos mtricos e f : X Y uma aplicao. Diz-se que f contnua no ponto a X se para cada > 0, existe > 0 tal que d (f (x), f (a)) < para qualquer x X tal que d(x, a) < . Simbolicamente, f contnua em a X se e s se > 0 > 0 x X (d(x, a) < d (f (x), f (a)) < ) . Uma maneira equivalente de dizer que f contnua em a X dizer que para cada > 0, existe > 0 tal que
X Y f B (a) B (f (a)).
A gura que se segue ilustra este conceito.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
92 / 398
X f f (X )
a x
f (a) f (x)
Funo contnua num ponto
Antnio Bento (UBI)
Anlise Funcional
2006/2007
93 / 398
A funo f diz-se contnua em X se for contnua em qualquer a X .
Teorema 2.3.1
Sejam (X, d) e (Y, d ) espaos mtricos e f : X Y . As seguintes armaes so equivalentes: a) f contnua; b) para qualquer subconjunto A de Y aberto, f 1 (A) = {x X : f (x) A} um subconjunto aberto de X .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
94 / 398

a) b ) X f 1 (A) f f (X ) Y
A a y f (a) f (y )
Antnio Bento (UBI)
Anlise Funcional
2006/2007
95 / 398

a) b) Suponhamos que f uma funo contnua e seja A um subconjunto aberto de Y . Vejamos que f 1 (A) tambm aberto. Sem perda de generalidade podemos supor que f 1 (A) = . Dado a f 1 (A), tem-se f (a) A e, como A aberto, existe uma bola aberta B (f (a)) centrada em f (a) e tal que Atendendo a que f contnua, existe > 0 tal que d(x, a) < implica d (f (x), f (a)) < para cada x X . Assim, dado y B (a), como d(y, a) < , temos d (f (y ), f (a)) < , ou seja, pelo que y f 1 (A). Logo f (y ) B (f (a)) A, B (a) f 1 (A),
Anlise Funcional 2006/2007 96 / 398
B (f (a)) A.
o que mostra que f 1 (A) aberto.

Antnio Bento (UBI)

b) a) Suponhamos que a imagem inversa, f 1 (A), de qualquer subconjunto aberto A de (Y, d ) um aberto de (X, d). Para cada a X e para cada > 0, consideremos o conjunto
d A = {y Y : d (y, f (a)) < } = B (f (a)).
O conjunto A um aberto de Y pois uma bola aberta. Por hiptese, f 1 (A) um aberto de X . Como f (a) A, tem-se a f 1 (A) e, portanto, existe > 0 tal que d B (a) f 1 (A) e, por conseguinte,
d d f B (a) A = B (f (a)).
Isto mostra que para cada a X e para cada > 0, existe > 0 tal que d (f (x), f (a)) < para qualquer x X tal que d(x, a) < . Logo f uma funo contnua.

a) b ) X f f 1 (B (f (a))) f (X ) Y
a y
f (a) f (y )
Antnio Bento (UBI)
Anlise Funcional
2006/2007
98 / 398
ndice
1
2.4 Sucesses em espaos mtricos

Seja (X, d) um espao mtrico. Uma sucesso de elementos de X uma funo x : N X, de domnio N, o conjunto dos nmeros naturais, e com valores em X . Para designarmos o valor da funo em n costuma usar-se a notao xn em vez de x(n). Aos valores x1 , x2 , . . . , xn , . . . chamamos termos da sucesso e ao valor xn chamamos termo de ordem n ou n-simo termo da sucesso. Escreveremos (x1 , x2 , . . . , xn , . . .), ou (xn )nN , ou simplesmente (xn ) para indicar a sucesso x. O conjunto x(N) = {xn : n N} designa-se por conjunto dos termos da sucesso (xn )nN .

Dados uma sucesso (xn )nN de elementos de um espao mtrico (X, d) e a X , dizemos que (xn ) converge ou tende para a se para qualquer > 0, existe N N tal que d(xn , a) < para todo o nmero natural n > N , o que equivalente a para cada > 0, existe N N tal que xn B (a) para todo o nmero natural n > N . A gura que se segue ilustra este conceito. x1 x2 x3 x4 x5 x6 x7
a
Sucesso convergente
Qualquer uma das notaes

n
lim xn = a,
limn xn = a,
lim xn = a,
n
lim xn = a,
xn a
usada para exprimir o facto de que a sucesso (xn ) converge para a. de realar que uma sucesso (xn ) de elementos de um espao mtrico (X, d) converge para a X se e s se d(xn , a) converge para zero.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
102 / 398
Uma sucesso (xn )nN diz-se convergente se existe um elemento a X tal que xn a. Nestas condies, a diz-se o limite da sucesso. As sucesses que no so convergentes dizem-se divergentes.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
103 / 398

Exemplo 2.4.1
Seja C [a, b] o espaos das funes contnuas x : [a, b] R munido com a mtrica dada por d (x, y ) = sup |x(t) y (t)| . Uma sucesso (xn )nN de elementos de C [a, b] converge para x C [a, b] se para cada > 0, existe N N tal que d (xn , x) < para cada nmero natural n > N , ou seja, se para cada > 0, existe N N tal que
t[a,b] t[a,b]
sup |xn (t) x(t)| < para cada nmero natural n > N ,
o que por sua vez equivalente a para cada > 0, existe N N tal que |xn (t) x(t)| < para cada t [a, b] e para cada nmero natural n > N . Assim, no espao (C [a, b], d ) a convergncia de uma sucesso to somente a convergncia uniforme de sucesses de funes!
Uma sucesso (xn )nN diz-se limitada se o conjunto x(N) = {xn R : n N} um conjunto limitado, isto , se existir um nmero real M tal que d(xn , xm ) M para todo o n, m N, ou, equivalentemente, se existir uma bola Br [a] tal que xn Br [a] para todo o n N.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
105 / 398
Se (xn ) uma sucesso e (nk ) uma sucesso de nmeros naturais estritamente crescente, isto , n1 < n2 < . . . < nk < nk+1 < . . . , a sucesso (xnk ) = (xn1 , xn2 , . . . , xnk , . . .) diz-se uma subsucesso de (xn ).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
106 / 398
Teorema 2.4.2
a) Se xn a e xn b, ento a = b. b) As sucesses convergentes so limitadas. Sejam (xn ) e (yn ) duas sucesses num espao mtrico (X, d) e a, b X .
c) A sucesso (xn ) converge para a se e s se para cada > 0, a bola B (a) contm todos os termos da sucesso excepto um nmero nito. d) Se xn a e yn b, ento d(xn , yn ) d(a, b) em R. e) Se xn a e existem y X , N N e > 0 tal que d(xn , y ) para qualquer n > N , ento d(a, y ) .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
107 / 398

a) Tendo em conta que d(a, b) d(a, xn ) + d(xn , b) e observando que d(a, xn ) convergem para zero, temos d(a, b) = 0 o que implica a = b. e d(xn , b)
Antnio Bento (UBI)
Anlise Funcional
2006/2007
108 / 398

b) Seja (xn ) uma sucesso convergente para a X . Ento, para = 1, existe um nmero natural N tal que xn B1 (a) para todo o nmero natural n > N . Consideremos o conjunto nito F = {d(x1 , a), d(x2 , a), . . . , d(xN , a), 1} e seja M o mximo de F . Ento xn BM [a] para cada n N, o que mostra que (xn ) uma sucesso limitada.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
109 / 398

c) consequncia imediata da denio.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
110 / 398

d) Usando a segunda desigualdade triangular tem-se |d(xn , yn ) d(a, b)| |d(xn , yn ) d(a, yn )| + |d(a, yn ) d(a, b)| d(xn , a) + d(yn , b) d(xn , a) e convergem para zero, vem d(xn , yn ) d(a, b). e, como d(yn , b)
Antnio Bento (UBI)
Anlise Funcional
2006/2007
111 / 398

e) Basta combinar a desigualdade triangular d(a, y ) d(a, xn ) + d(xn , y ) com as hipteses de d(a, xn ) convergir para zero e de d(xn , y ) para qualquer nmero natural n > N .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
112 / 398
Teorema 2.4.3
Sejam (X, d) um espao mtrico e A X . As seguintes armaes so equivalentes: a) a A; b) existe uma sucesso (xn ) de elementos de A tal que xn a; c) d(a, A) = 0.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
113 / 398

a) b) Suponhamos que a A. Ento para cada > 0 B (a) A = . Em particular, fazendo = 1/n, n N, existe xn A tal que xn B1/n (a), ou seja, existe xn A tal que d(xn , a) < 1/n. Assim, d(xn , a) converge para zero e, portanto, xn a.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
114 / 398

b) c) Suponhamos que existe uma sucesso (xn ) de elementos de A tal que xn a. Ento 0 d(a, A) = inf {d(a, x) : x A} d(a, xn ) e, como d(a, xn ) converge para zero, temos d(a, A) = 0.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
115 / 398

c) a) Suponhamos que d(a, A) = 0. Ento, atendendo a que d(a, A) = inf {d(a, x) : x A} para cada > 0, existe x A tal que d(a, x) < . Assim, B (a) A = para cada > 0 e, por conseguinte, a A.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
116 / 398
Corolrio 2.4.4
Sejam (X, d) um espao mtrico e A um subconjunto de X . Ento A fechado se e s se o limite de todas as sucesses convergentes de elementos de A pertence a A.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
117 / 398
Teorema 2.4.5
Sejam (X, d) e (Y, d ) espaos mtricos, f : X Y uma aplicao e a X . As seguintes armaes so equivalentes: a) f contnua em a; b) para qualquer sucesso (xn )nN de elementos de X convergente para a, a sucesso f (xn ) converge para f (a).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
118 / 398

Suponhamos que f contnua em a e seja (xn ) uma sucesso de elementos de X tal que xn a. Seja um nmero positivo qualquer. Ento existe > 0 tal que d (f (x), f (a)) < para qualquer x X tal que d (x, a) < . Como xn a, existe N N tal que d (xn , a) < para qualquer n > N . Assim, d (f (xn ), f (a)) < para qualquer n > N . Acabmos de provar que para cada > 0, existe N N tal que d (f (xn ), f (a)) < para qualquer n > N . Logo f (xn ) f (a). Suponhamos agora que f no contnua em a. Ento existe > 0 tal que para cada > 0, existe x X tal que d (x, a) < e d (f (x), f (a)) . Em particular, para = 1/n, existe xn X tal que d (xn , a) < 1/n e d (f (xn ), f (a)) . Assim, tem-se uma sucesso (xn ) tal que xn a e a correspondente sucesso (f (xn )) no converge para f (a), o que conclui a demonstrao.
ndice
1
2.5 Sucesses de Cauchy e espaos mtricos completos
Seja (X, d) um espao mtrico. Uma sucesso (xn ) de elementos de um espao mtrico (X, d) diz-se uma sucesso de Cauchy ou uma sucesso fundamental se para todo o > 0, existe N N tal que d(xn , xm ) < para quaisquer nmeros naturais n, m > N .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
121 / 398
Teorema 2.5.1
a) As sucesses convergentes so de Cauchy. b) As sucesses de Cauchy so limitadas. c) As sucesses de Cauchy que contm uma subsucesso convergente so convergentes.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
122 / 398

Demonstrao do Teorema 2.5.1.
a) Seja (xn ) uma sucesso convergente para a X . Dado > 0, existe N N tal que d(xn , a) < para todo o natural n > N . 2
Assim, para quaisquer n, m > N , temos d(xn , xm ) d(xn , a) + d(a, xm )
= d(xn , a) + d(xm , a) < + 2 2 = .
Acabmos de provar que para todo o > 0, existe N N tal que d(xn , xm ) < para todo o n, m > N . Logo (xn ) uma sucesso de Cauchy.

Demonstrao do Teorema 2.5.1 (continuao).
b) Seja (xn ) uma sucesso de Cauchy. Para = 1, existe N N tal que d(xn , xm ) < 1 para quaisquer n, m > N . Em particular, d(xn , xN +1 ) < 1 para todo o n > N . Assim, fazendo r = max {d(x1 , xN +1 ), . . . , d(xN , xN +1 ), 1} , temos d(xn , xN +1 ) r para todo o n N. Logo (xn ) limitada.

Demonstrao do Teorema 2.5.1 (continuao).
c) Seja (xn ) uma sucesso de Cauchy e seja (xnk ) uma subsucesso de (xn ) convergente para a. Dado > 0, existe N1 N tal que d(xnk , a) < para qualquer nk > N1 . 2
Como (xn ) uma sucesso de Cauchy, existe N2 N tal que d(xn , xm ) < para quaisquer nmeros naturais n, m > N2 . 2
Fazendo N = max {N1 , N2 } e escolhendo nk > N , tem-se d(xn , a) d(xn , xnk ) + d(xnk , a) < + 2 2 = para qualquer n > N . Logo xn a.
Os espaos mtricos em que todas as sucesses de Cauchy so convergentes designam-se por espaos mtricos completos.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
126 / 398
Exemplos 2.5.2
1) Os espaos R e C com as mtricas usuais so completos.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
127 / 398
Exemplos 2.5.2
2) O espao Q com a mtrica do mdulo no completo. De facto, a sucesso de termo geral 1 1 1 xn = 1 + + + + 1! 2! n! uma sucesso de Cauchy em Q, mas no converge para nenhum nmero racional.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
128 / 398
Exemplos 2.5.2
3) O espao mtrico (Rn , d2 ) completo. De um modo mais geral, os espaos (Rn , dp ) e (Cn , dp ), 1 p + so completos.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
129 / 398
Exemplos 2.5.2
4) Os espaos (p , dp ), 1 p +, so completos. Seja (xn )nN uma sucesso de Cauchy em p , 1 p < +, e faa-se
(1) x1 = 1 , 2 , . . . , n ,... (2) x2 = 1 , 2 , . . . , n ,... (2) (2) (1) (1)
. . .
(n) ,... xn = 1 , 2 , . . . , n (n) (n)
. . .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
130 / 398

Exemplos 2.5.2
4) (continuao) Para cada > 0, existe N N tal que dp (xn , xm ) =
+ k=1 1/p
(n)
(m)
<
para quaisquer nmeros naturais n, m > N . Isto implica que k

(n)
(m)
<
para quaisquer nmeros naturais n, m > N e para cada k N. Assim, para (n) uma sucesso de Cauchy (de nmeros reais ou cada k N, k
nN nN
complexos). Como R e C, com as mtricas usuais, so espaos completos, a (n) convergente para cada k N. sucesso k

Exemplos 2.5.2
4) (continuao) Seja ak o limite da sucesso k
(n) nN
e faamos
a = (a1 , a2 , . . . , ak , . . .) . Como para quaisquer nmeros naturais n, m > N e para qualquer r N se tem
r
k
k=1
(n)
(m)
< p ,
fazendo m obtm-se
k
k=1
(n)
ak
Fazendo agora r obtemos

+
(n)
k=1
ak
p ,
o que mostra que xn a p .


Exemplos 2.5.2
4) (continuao) Como xn p e a = (a xn ) + xn , temos a p . Por outro lado, atendendo a que provmos que
+ k=1
(n)
ak
p ,
temos que dado > 0, existe N N tal que dp (xn , a) para qualquer nmero natural n > N , ou seja, xn a. Logo (p , dp ), 1 p < um espao mtrico completo. De forma anloga prova-se que ( , d ) um espao mtrico completo.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
133 / 398

Exemplos 2.5.2
5) O espao (C [a, b], d ) um espao mtrico completo. Seja (xn ) uma sucesso de Cauchy em (C [a, b], d ). Ento para cada > 0, existe N N tal que d (xn , xm ) = sup |xn (t) xm (t)| <
t[a,b]
para quaisquer nmeros naturais n, m > N . Assim, para cada t [a, b], tem-se |xn (t) xm (t)| <
para quaisquer nmeros naturais n, m > N e, por conseguinte, (xn (t))nN , para cada t [a, b], uma sucesso de Cauchy em K. Como K completo, para cada t [a, b], a sucesso (xn (t))nN uma sucesso de nmeros (reais ou complexos) convergente. Para cada t [a, b], dena-se a funo x : [a, b] K por x(t) = lim xn (t).
n+
Antnio Bento (UBI)
Anlise Funcional
2006/2007
134 / 398

Exemplos 2.5.2
5) (continuao) Deste modo, a sucesso de funes xn converge pontualmente x. Fazendo m + em |xn (t) xm (t)| < temos para cada nmero natural n > N e para cada t [a, b], o que mostra que (xn )nN converge uniformemente para x em [a, b]. Como (xn )nN uma sucesso de funes contnuas, x tambm uma funo contnua e, portanto, xn x em (C [a, b], d ). Logo este espao completo. |xn (t) x(t)|
Antnio Bento (UBI)
Anlise Funcional
2006/2007
135 / 398

Exemplos 2.5.2
6) Consideremos o espao C [1, 1] das funes contnuas x : [1, 1] R munido com a mtrica d1 denida por
1
d1 (x, y ) =
1
|x(t) y (t)| dt.
Vejamos que este espao mtrico no completo. Para isso consideremos a sucesso (de funes) xn : [1, 1] R denidas por 0 se 1 t 0; xn (t) = nt se 0 t 1/n; 1 se 1/n t 1. Vejamos o grco destas funes.

Exemplos 2.5.2
6) (continuao)
1 y x4 x3 x2 x1
x 1 1
Antnio Bento (UBI)
Anlise Funcional
2006/2007
137 / 398

Exemplos 2.5.2
6) (continuao) Ento, para n > m, temos
1
d1 (xn , xm ) =
1 0
|xn (t) xm (t)| dt

1/n 1/m 1
=
1
|0 0| dt +
0 1/n
|nt mt| dt +
1/n 1/m
|1 mt| dt +
1/m
|1 1| dt
= (n m)
0
t dt +
1/n
1 mt dt
1/m
= (n m) = (n m)
t2 2
1/n
mt2 + t 2
1/n
1 1 m 0 + 2 2n m 2m2 m 1 1 1 m 1 + + = 2 2n 2n m 2m n 2n2 1 1 1 = < . 2m 2n 2m

Anlise Funcional
1 m n 2n2
Antnio Bento (UBI)
2006/2007
138 / 398
Exemplos 2.5.2
1 6) (continuao) Assim, dado > 0, escolhendo N > , temos, para 2 n > m > N, 1 1 < < d1 (xn , xm ) < 2m 2N e, portanto, (xn )nN uma sucesso de Cauchy em (C [1, 1], d1 ).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
139 / 398

Exemplos 2.5.2
6) (continuao) Suponhamos que (xn )nN convergente, ou seja, existe x C [1, 1] tal que xn x. Ento d1 (xn , x) 0 quando n +, ou seja,
1 1 0 1
|xn (t) x(t)| dt 0 quando n +. |xn (t) x(t)| dt 0 quando n +,
Assim,
mas xn (t) = 0 para cada t [1, 0] e, portanto,

0 1
|x(t)| dt 0 quando n +.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
140 / 398
Exemplos 2.5.2
6) (continuao) S que
0 1
|x(t)| dt
no depende de n e, consequentemente,
0 1
|x(t)| dt = 0.
Como x uma funo contnua, temos de ter x(t) = 0 para cada t [1, 0].
Antnio Bento (UBI)
Anlise Funcional
2006/2007
141 / 398

Exemplos 2.5.2
6) (continuao) Por outro lado, dado a ]0, 1], temos
1 a
|xn (t) x(t)| dt 0 quando n +.
Escolhendo n sucientemente grande de modo que 1/n < a, tem-se

1 a
|1 x(t)| dt 0 quando n +
1 a
e, portanto,
|1 x(t)| dt = 0,
pelo que x(t) = 1 para cada t [a, 1].

Exemplos 2.5.2
6) (continuao) Como a um valor qualquer de ]0, 1[, tem-se 0 se t [1, 0], x(t) = 1 se t ]0, 1].
o que absurdo pois x no uma funo contnua. Logo (xn )nN no uma sucesso convergente e, por conseguinte, (C [1, 1], d1 ) no um espao mtrico completo.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
143 / 398
Exemplos 2.5.2
7) O espao (C [a, b], dp ), 1 p < +, onde
b 1/p
dp (x, y ) =
a
|x(t) y (t)|p dt
no um espao mtrico completo.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
144 / 398

Teorema 2.5.3
Sejam (X, d) um espao mtrico completo e M um subconjunto de X . Ento (M, d) completo se e s se M um subconjunto fechado de X .
Demonstrao.
Suponhamos que (M, d) completo. Seja (xn ) uma sucesso de M convergente para a X . A sucesso (xn ) uma sucesso de Cauchy em (X, d) e, consequentemente, tambm uma sucesso de Cauchy em (M, d). Como (M, d) completo, a sucesso (xn ) converge para um elemento de M . Atendendo unicidade do limite temos de ter a M . Logo M fechado. Suponhamos agora que M um subconjunto fechado de X e seja (xn ) uma sucesso de Cauchy de elementos de M . Ento (xn ) tambm uma sucesso de Cauchy em (X, d) e, como (X, d) completo, (xn ) converge para algum a X . Tendo em conta que M um subconjunto fechado de X , tem-se a M e, consequentemente, (xn ) converge em (M, d). Logo (M, d) completo.
Observao 2.5.4
J vimos, usando a denio, que Q com a mtrica usual no completo. Podemos concluir o mesmo usando o teorema anterior pois Q no um subconjunto fechado de R. Do mesmo modo, o intervalo ]0, 1[ no completo.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
146 / 398
ndice
1
2.6 Completamento de um espao mtrico
Sejam (X, d) e (Y, d ) espaos mtricos. Uma aplicao f : X Y diz-se uma imerso isomtrica se d (f (x), f (y )) = d(x, y ) para quaisquer x, y X . As imerses isomtricas sobrejectivas designam-se por isometrias. O espao X diz-se isomtrico ao espao Y se existir uma isometria de X para Y .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
148 / 398
Teorema 2.6.1
Seja (X, d) um espao mtrico. Ento existem um espao mtrico completo e uma imerso isomtrica d X, f :X X . Alm disso, a menos de uma isometria, o espao tal que f (X ) denso em X nico. d X, do teorema anterior chamamos completamento do espao d Ao espao X, (X, d).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
149 / 398

Exemplos 2.6.2
1) O completamento de Q com a mtrica usual R com a mtrica usual. 2) O completamento de ]0, 1[ com a mtrica usual [0, 1] com a mtrica usual. 3) O completamento de (C [a, b], dp ), 1 p < , denota-se por Lp [a, b]. O espao Lp pode ser identicado com conjunto das funes x : [a, b] R mensurveis Lebesgue e tais que |x| integrvel Lebesgue, sendo necessrio identicar como sendo a mesma funo funes iguais quase por toda a parte. A mtrica em Lp [a, b] dada por
1/p p
dp (x, y ) =
[a,b]
|x(t) y (t)| dt
onde o integral considerado o de Lebesgue.

ndice
1
ndice
1
3.1 Propriedades elementares dos espaos normados
Seja E um espao vectorial sobre K. Uma norma em E uma aplicao que a cada vector x E faz corresponder um nmero real x com as seguintes propriedades: i) x = 0 se e s se x = 0 ; ii) x = || x para cada x E e para cada K; iii) x + y x + y para cada x, y E . Chama-se espao normado a um par (E, ) onde E um espao vectorial e uma norma em E .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
153 / 398
Assim, tudo o que foi estudado no captulo anterior aplica-se aos espaos normados. A ttulo de exemplo, tem-se x 0 para cada x E , pois x = x 0 = d(x, 0) 0. Aos espaos normados completos chamamos espaos de Banach.
Num espao normado pode-se denir uma mtrica associada norma da seguinte forma: d(x, y ) = x y .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
154 / 398
Exemplos 3.1.1
1) Em Rn ou em Cn podemos denir as seguintes normas 1/p n |xi |p se 1 p < , x p= i=1 se p = . sup |xi |
1in
Com estas normas Rn e Cn so espaos de Banach. n Para estes espaos usa-se a seguinte notao n p = R ,
n n p = C , p
Antnio Bento (UBI)
Anlise Funcional
2006/2007
155 / 398
Exemplos 3.1.1
2) No espao p , 1 p , podemos denir a seguinte norma 1/p p |xi | se 1 p < ; i=1 x p= . se p = . sup |xi |
iN
Com esta norma p um espao de Banach.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
156 / 398
Exemplos 3.1.1
3) Sejam a e b nmeros reais tais que a < b e seja C [a, b] o conjunto das funes contnuas x : [a, b] K. Neste espao podemos denir a seguinte norma x O par (C [a, b],
) t[a,b]
= sup |x(t)| .
um espao de Banach.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
157 / 398
Exemplos 3.1.1
4) No espao C [a, b] podemos tambm denir, para cada p [1, +[, as seguintes normas
b 1/p
=
a
|x(t)| dt
Os espaos normados C [a, b], seja, no so espaos de Banach.
, 1 p < , no so completos, ou
Antnio Bento (UBI)
Anlise Funcional
2006/2007
158 / 398

Exemplos 3.1.1
5) Vimos no captulo anterior que se (X, d) um espao mtrico que no completo, e uma imerso isomtrica f : X X d existe um espao mtrico completo X, d . Alm disso, e a menos de isometrias, o espao X, tal que f (X ) denso em X nico. Pode-se provar que se mtrica d deriva de uma norma, ento o mesmo , ou seja, o completamento de um espao normado um acontece mtrica d espao de Banach. O completamento de C [a, b], p , 1 p < , um espao de Banach que pode ser identicado com as funes x : [a, b] K mensurveis Lebesgue e tais que |x|p integrvel Lebesgue munido com a norma dada por
1/p
=
[a,b]
|x(t)| dt
onde o integral considerado o de Lebesgue e duas funes iguais quase por toda a parte so identicadas como sendo a mesma funo. Este espao denota-se por Lp [a, b].
Teorema 3.1.2
Num espao normado E , o fecho de uma bola aberta Br (a) a bola fechada Br [a].
Antnio Bento (UBI)
Anlise Funcional
2006/2007
160 / 398

Atendendo a que, em qualquer espao mtrico, Br (a) Br [a] e que Br [a] um conjunto fechado, tem-se de Br (a) Br [a]. Seja x Br [a] e faamos Ento temos xn x = xn = x 1 (x a) . n
1 r 1 (x a) = xa n n n
o que mostra que (xn )nN converge para x. Por outro lado xn a = 1 1 n (x a) = n1 n1 xa r < r, n n
isto , xn Br (a) para cada n N. Assim, x Br (a) e, consequentemente, Br [a] Br (a).

Teorema 3.1.3
Sejam (E, ) um espao de Banach e M um subespao vectorial de E . Ento (M, ) um espao de Banach se e s se M fechado (em E ).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
162 / 398

Exemplo 3.1.4
Seja M o subconjunto de 1 denido por bvio que M um subespao vectorial de 1 . Faa-se 1 x1 = , 0, . . . , 0, . . . 2 1 1 , , 0, . . . , 0, . . . x2 = 2 4 . . . 1 1 1 xn = , , . . . , n , 0, . . . , 0, . . . 2 4 2 . . . e x=
Antnio Bento (UBI)
M = {(1 , . . . , n , 0, 0, . . . , 0, . . .) 1 : n N} .
1 1 1 1 , , . . . , n , n+1 , . . . 2 4 2 2

Exemplo 3.1.4 (continuao)
Assim, tem-se xn x
1 n
= =
k=1
1 1 + 2k 2k 1 2k
k=n+1
1 2k
k=n+1
1
n+1 = 2 1 1 2 1 = n 2
que converge para zero quando n tende para innito e, portanto, (xn )nN converge para x em 1 . Como xn M para cada n N e x M , M no fechado. Logo (M, 1 ) no um espao de Banach.
Teorema 3.1.5
Sejam (E, ) um espao de Banach e M um subespao vectorial de E . Ento M um subespao vectorial fechado de E .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
165 / 398

Como M fechado, basta mostrar que M um subespao vectorial de E . Para isso basta provar que se x, y M e para quaisquer , K, ento x + y M . Sem perda de generalidade podemos supor que || + || = 0. Dado > 0, como x, y M , existem x , y M tais que x x < Ento x + y M e x + y (x + y ) || x x + || y y || + || || + || || + || = . || + || e y y < . || + ||
Logo x + y M .
Teorema 3.1.6
Sejam (E, ) um espao de Banach e M um subespao vectorial de E . Se M um subconjunto aberto de E , ento M = E .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
167 / 398

Temos de mostrar que se x E , ento x M . Como 0 M , podemos supor, sem perda de generalidade, que x = 0. Porque M aberto e 0 M , existe > 0 tal que B (0) M. z= temos x, 2 x
Fazendo
< 2 e, portanto, z M . Mas M um subespao vectorial de E e, consequentemente, z = x= 2 x z M.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
168 / 398

Seja (xn )nN uma sucesso de elementos de um espao normado (E, ). Para cada nmero natural n, seja A sucesso (sn )nN designa-se por sucesso das somas parciais de (xn )nN . Se a sucesso (sn ) for convergente para s E , dizemos que a srie x1 + + xn + = convergente e escrevemos s= Diz-se que a srie srie
+ n=1 + n=1 + n=1 +
sn = x1 + + xn .
xn
n=1
xn .
xn divergente se a sucesso (sn ) for divergente. Uma

+ n=1
xn diz-se absolutamente convergente se a srie numrica
xn for
convergente.
Antnio Bento (UBI)
Teorema 3.1.7
Seja (E, ) um espao normado. Ento E um espao de Banach se e s se toda a srie absolutamente convergente for convergente.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
170 / 398

Demonstrao do teorema 3.1.7
Suponhamos que E um espao de Banach e seja (xn )nN uma sucesso de elementos de E tal que a srie
+ n=1
xn
seja absolutamente convergente, ou seja, a srie numrica

+ n=1
xn
convergente. Seja um nmero positivo qualquer. Ento existe N N tal que xm+1 + + xn para quaisquer nmeros naturais n > m > N .
<
Demonstrao do teorema 3.1.7 (continuao)

Assim, fazendo tem-se sn = x1 + + xn sn sm = xm+1 + + xn xm+1 + + xn < para quaisquer nmeros naturais n > m > N , o que mostra que (sn ) uma sucesso de Cauchy em E . Como, por hiptese, E um espao de Banach, (sn ) convergente e, por conseguinte,
+ n=1
xn convergente.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
172 / 398

Suponhamos agora que, em E , as sries absolutamente convergentes so convergentes e seja (xn ) uma sucesso de Cauchy em E . Ento existem nmeros naturais n 1 < n 2 < . . . < nk < . . . tais que xnk+1 xnk < para cada k N. Fazendo y1 = xn1 yk = xnk xnk1 temos
+ k=1 + k=1
1 2k e, para cada nmero natural k > 1,

+ k=2
yk
= xn1 +
+ k=2
xnk xnk1
xn1 +
1 2 k 1
= xn1 + 1,
ou seja, a srie
yk absolutamente convergente.

Por hiptese,
+ k=1
yk converge para algum x E . Mas y1 + + yk = xnk
pelo que (xnk ) converge para x e, portanto, a sucesso de Cauchy (xn ) tem uma subsucesso convergente. Como as sucesses de Cauchy que tm uma subsucesso convergente so convergentes, a sucesso (xn ) convergente. Logo E um espao de Banach.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
174 / 398
ndice
1
3.2 Operadores lineares contnuos

Sejam E e F espaos normados (sobre o mesmo corpo K). Um operador linear de E em F uma aplicao T : E F tal que T (x + y ) = T (x) + T (y ) para cada x, y E e para cada , K. fcil mostrar que T (0) = 0. O conjunto dos operadores lineares de E em F representa-se por L(E, F ) e um espao vectorial sobre K com as operaes (T1 + T2 ) (x) = T1 (x) + T2 (x) e (T ) (x) = T (x) onde T, T1 , T2 L(E, F ) e K. Habitualmente, usa-se a notao T x em vez de T (x).
Dado T L(E, F ), o conjunto N (T ) = {x E : T x = 0} designa-se por ncleo de T e R (T ) = {T x : x E } designa-se por contradomnio de T ou imagem de T . fcil provar que N (T ) um subespao vectorial de E e R (T ) um subespao vectorial de F .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
177 / 398
Exemplos 3.2.1
1) Seja E um espao vectorial qualquer. A aplicao I:EE denida por Ix = x um operador linear.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
178 / 398
Exemplos 3.2.1
2) Seja E e F espaos vectoriais sobre o mesmo corpo. Ento T :EF denido por Tx = 0 um operador linear.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
179 / 398
Exemplos 3.2.1
3) No espao p , as aplicaes T 1 , T 2 : p p denidas por T1 (x1 , x2 , . . . , xn , . . .) = (1 x1 , 2 x2 , . . . , n xn , . . .) , onde (n ) uma sucesso limitada de escalares, e T2 (x1 , x2 , . . . , xn , . . .) = (0, x1 , x2 , . . . , xn , . . .) so operadores lineares.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
180 / 398
Exemplos 3.2.1
4) Sejam C [a, b] o espao das funes contnuas de [a, b] em R e C 1 [a, b] o espao das funes de [a, b] em R com derivada contnua. A aplicao T : C 1 [a, b] C [a, b] denida por (T x) (t) = x (t) um operador linear.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
181 / 398
Exemplos 3.2.1
5) No espao C [a, b], denindo T : C [a, b] C [a, b] por (T x) (t) =
a t
x(s)ds
obtemos um operador linear.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
182 / 398
Sejam E e F espaos normados. Um operador T : E F diz-se limitado se existir um nmero real M tal que Tx para todo x E .
F
M x
Antnio Bento (UBI)
Anlise Funcional
2006/2007
183 / 398
Teorema 3.2.2
Sejam E e F espaos normados e T L(E, F ). As armaes seguintes so equivalente: a) T contnuo; b) T contnuo em 0; c) T limitado.

a) b) bvio que a) b).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
184 / 398

b) c) Suponhamos que T contnuo em 0. Ento, como T 0 = 0, existe > 0 tal que Tx T0 Dado x E \ {0}, fazendo y = Ty
F F
< 1 quando x 0 x, tem-se y

E F
< . < e, portanto, 2
2 x
< 1. Mas
Ty Tx
<1 2 x .
equivalente a
F
<
Logo T limitado com M =
2 o que prova que b) c).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
185 / 398

c) a) Suponhamos agora que T limitado, isto , existe M > 0 tal que Tx
F
M x
para qualquer x E M xa ,
e seja um nmero positivo qualquer. Ento, como para cada x, a E temos Tx Ta escolhendo = temos M Tx Ta
F F
= T (x a)
< sempre que x a
< .
Logo T contnuo em a. Como a um elemento qualquer de E , T contnuo o que prova que c) a).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
186 / 398
Denotemos por L (E, F ) = {T L(E, F ) : T limitado} . Para cada T L (E, F ) denamos T

E,F
= inf {M > 0 : T x
M x
para cada x E } .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
187 / 398
Teorema 3.2.3
Sejam E e F espaos normados e T L (E, F ). Ento T
E,F
= sup { T x F : x E, x E 1} = sup { T x F : x E, x E = 1} Tx F = sup : x E \ {0} x E
Antnio Bento (UBI)
Anlise Funcional
2006/2007
188 / 398

Sejam A = sup { T x B = sup { T x C = sup Obviamente B A.
F
: x E, : x E,
x x
1} , = 1}
Tx F : x E \ {0} . x E
Antnio Bento (UBI)
Anlise Funcional
2006/2007
189 / 398

Por outro lado, dado x E \ {0}, fazendo y= tem-se y = 1 e, portanto Assim T y B. Tx B x 1 x, x
para cada x E \ {0}. Logo T B .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
190 / 398

Alm disso, dado > 0 qualquer, tem-se, para qualquer x E tal que x 1, T x ( T + ) x ( T + ) e, portanto, A T + para qualquer > 0. Logo A T . Acabmos de provar as seguinte desigualdades A T , Logo A = T = B. T B e B A.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
191 / 398

Por outro lado, evidente que B C e, como para cada x E \ {0} Tx = T x e a norma de 1 x x
1 x um, tambm se tem C B . x
Antnio Bento (UBI)
Anlise Funcional
2006/2007
192 / 398
Teorema 3.2.4
Sejam E e F espaos normados. Ento L (E, F ), um espao normado.
E,F
Antnio Bento (UBI)
Anlise Funcional
2006/2007
193 / 398

Atendendo a que T = 0 sup Tx F : x E \ {0} x E =0
Tx F = 0 para cada x E \ {0} x E

F
T x = 0 para cada x E \ {0} Logo T = 0 se e s se T = 0.
Tx
= 0 para cada x E \ {0}
e T 0 = 0, podemos concluir que T = 0 se e s se T x = 0 para cada x E .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
194 / 398

Para cada T L (E, F ) e para cada K, temos T = sup
x =1
(T ) x .T x
= sup
x =1 x =1
= sup || . T x = || . sup = || . T Tx
x =1
Antnio Bento (UBI)
Anlise Funcional
2006/2007
195 / 398

Alm disso, para cada T1 , T2 L (E, F ) vem (T1 + T2 ) x = T1 x + T2 x T1 x + T2 x T1 x + T2 x
= ( T1 + T2 ) x
para cada x E e, por conseguinte, T1 + T2 T1 + T2 . Logo L (E, F ),

E,F
um espao normado.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
196 / 398
Exemplos 3.2.5
1) Seja E um espao normado e consideremos novamente o operador I:EE denido por Ix = x. Como Ix = x tem-se que I um operador linear limitado e que I = 1.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
197 / 398

Exemplos 3.2.5
2) Se E e F so dois espaos vectoriais (sobre o mesmo corpo K ) e denirmos T :EF por T x = 0, ento, atendendo a que, para cada x E , se tem Tx T um operador linear limitado e T = 0.
F
= 0
= 0,
Antnio Bento (UBI)
Anlise Funcional
2006/2007
198 / 398

Exemplos 3.2.5
3) Seja 1 p , o operador denido por T : p p ,
T (x1 , x2 , . . . , xn , . . .) = (0, x1 , x2 , . . . , xn , . . .) . Para 1 p < e x = (x1 , x2 , . . . , xn , . . .), tem-se Tx

p
|0| +
n=2
1/p
|xn1 |
n=1
1/p
|xn |
= x
e, portanto, T um operador limitado e T Quando p = , tambm se tem T

Antnio Bento (UBI)
p ,p
= 1. = 1..
2006/2007 199 / 398
Anlise Funcional

Exemplos 3.2.5
4) Sejam (n ) uma sucesso limitada de escalares e seja T : p p , 1 p , o operador linear denido por T (x1 , x2 , . . . , xn , . . .) = (1 x1 , 2 x2 , . . . , n xn , . . .) . Para cada x = (x1 , x2 , . . . , xn , . . .) p , 1 p < , vem Tx
p
+ n=1
1/p
|n xn |
1/p
1/p
n=1 iN
sup |i | |xn |
= sup |i |
iN
+ n=1
|xn |
= sup |i | x
iN iN
o que mostra que T limitado e que T sup |i |.


Exemplos 3.2.5
4) (continuao) Por outro lado, se ei = (0, . . . , 0, 1, 0, 0, . . .), i N, tem-se
i1 zeros
T ei = (0, . . . , 0, i , 0, 0, . . .)
i1 zeros
e, como T ei
= |i | e ei
p ,p
= 1 para cada n N, temos Tx T ei

p p
= sup sup
iN
: x p , x :iN
=1
= sup |i | . Logo T
p ,p
= sup |i |, 1 p < .
iN ,
Para p = prova-se de forma semelhante que T

Antnio Bento (UBI) Anlise Funcional
= supiN |i |.
2006/2007 201 / 398
Exemplos 3.2.5
5) Seja a, b nmeros reis tais que a < b e seja C [a, b] o espao das funes contnuas x : [a, b] R. Em C [a, b] considere-se norma dada por x
= sup |x(t)| .
t[a,b]
Dena-se T : C [a, b] C [a, b] por

t
(T x) (t) =
a
x(s)ds.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
202 / 398

Exemplos 3.2.5
5) (continuao) Ento
t
Tx
= sup
t[a,b] a t a
x(s)ds |x(s)| ds
sup
b
t[a,b]
=
a b
|x(s)| ds sup |x(t)| ds

t[a,b]
= (b a) sup |x(t)| = ( b a) x
a t[a,b]
o que mostra que T um operador limitado e que T b a.


Exemplos 3.2.5
5) (continuao) Por outro lado, se x0 : [a, b] R a funo denida por x0 (t) = 1, como x0 = sup |x0 (t)| = 1 e
t t[a,b] t
T x0 temos
= sup
t[a,b] a
x0 (s)ds = sup
t[a,b] a
ds = sup |t a| = b a,
t[a,b]
= sup { T x
: x C [a, b], x
= 1} T x0 = b a
e, portanto, T = b a.
Exemplos 3.2.5
6) Seja C 1 [a, b] o espao das funes x : [a, b] R com derivada contnua e seja T : C 1 [a, b] C [a, b] o operador linear denido por (T x) (t) = x (t). Nos C 1 [a, b] e em C [a, b] usaremos a norma dada por x
= sup |x(t)| .
t[a,b]
Antnio Bento (UBI)
Anlise Funcional
2006/2007
205 / 398

Exemplos 3.2.5
6) (continuao) Considerando a sucesso (xn )nN denida por xn (t) = tem-se xn = sup |x(t)| = 1 e T xn = sup
t[a,b] t[a,b]
ta ba
|x n (t)|
e, portanto,
n = sup t[a,b] b a n T xn = , xn ba
ta ba
n1
n , ba
o que mostra que T : C 1 [a, b],

Antnio Bento (UBI)
(C [a, b],
no limitado.
2006/2007 206 / 398
Anlise Funcional

Exemplos 3.2.5
6) (continuao) No entanto, se em C 1 [a, b] usarmos a norma x temos Tx

= sup |x(t)| + sup |x (t)|

t[a,b] t[a,b]
= sup |x (t)| sup |x(t)| + sup |x (t)| = x

t[a,b] t[a,b] t[a,b]
o que mostra que T : C 1 [a, b], limitado e T 1.
(C [a, b],
Antnio Bento (UBI)
Anlise Funcional
2006/2007
207 / 398

Exemplos 3.2.5
6) (continuao) Usando a sucesso (xn ) considerada anteriormente temos T = sup T xn xn Tx x

: x C 1 [a, b] \ {0}
e, como
Logo a norma de
n converge para 1 quando n tende para innito, temos ba+n T 1. T : C 1 [a, b],
n n = ba n = ba+n 1+ ba
(C [a, b],
um.

Teorema 3.2.6
Sejam E , F e G espaos normados, S L (E, F ) e R L (F, G). Ento R S L (E, G) e RS R S .
Demonstrao.
Basta observar que para cada x E se tem (R S ) x = R (Sx) R e, portanto, R S L (E, G) e RS R o que mostra o p retendido. A composio R S costuma representar-se por RS em vez de R S .
Sx R
S ,
Teorema 3.2.7
Sejam E um espao normado e F um espao de Banach. Ento L (E, F ), um espao de Banach.
E,F
Antnio Bento (UBI)
Anlise Funcional
2006/2007
210 / 398

Basta provar que as sucesses de Cauchy em L (E, F ) so convergentes. Seja (Tn )nN uma sucesso de Cauchy em L (E, F ), ou seja, para cada > 0, existe N N tal que Tn Tm < para quaisquer nmeros naturais n, m > N . Assim, para cada x N e para cada > 0, existe N N tal que Tn x Tm x < x para quaisquer nmeros naturais n, m > N
e, consequentemente, (Tn x)nN , para cada x E , uma sucesso de Cauchy em F . Como F um espao de Banach, para cada x E , a sucesso (Tn x)nN converge para algum elemento de F . Seja T : E F a aplicao que a cada x E faz corresponder o limite da sucesso (Tn x)nN , ou seja, T x = lim Tn x.
n+

Para cada x, y E e para cada , K, tem-se T (x + y ) = =
n+
lim Tn (x + y )
= lim (Tn x) + lim (Tn y ) = T x + T y, o que mostra que T linear. Por outro lado, para cada x E , tem-se Tn x T x = Tn x lim Tm x
m+ n+ n+
n+
lim (Tn x + Tn y )
m+
lim
Tn x Tm x x ,
desde que n, m > N , e isto implica que Tn T L (E, F ) e Tn T < .


Como tem-se que T = T Tn + Tn , T L (E, F )
e, atendendo a que para cada > 0, existe N N tal que Tn T < para cada nmero natural n > N , Logo L (E, F ), a sucesso (Tn )nN converge para T em L (E, F ).
E,F
um espao completo.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
213 / 398
O conjunto das aplicaes lineares contnuas (ou limitadas) de um espao normado E em K, designa-se por dual (topolgico) de E e representa-se por E . Os elementos de E designam-se por funcionais. Do teorema anterior, tendo em conta que K um espao de Banach, resulta imediatamente o corolrio que se segue.
Corolrio 3.2.8
O dual de um espao de normado um espao de Banach.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
214 / 398

Exemplos 3.2.9
1) No espao C [a, b] das funes contnuas x : [a, b] R, munido com a norma dada por x = sup |x(t)|
t[a,b]
consideremos a aplicao linear T : C [a, b] R denida por

b
Tx =
a
x(t) dt.
t[a,b]
Vejamos que T limitado. Atendendo a que |x(t)| sup |x(t)| = x para cada t [a, b], vem
b b b
|T x| =
x(t) dt
|x(t)| dt
x
a
dt = (b a) x
o que mostra que T limitado e que T b a.


Exemplos 3.2.9
1) (continuao) Por outro lado, considerando a funo x0 : [a, b] R denida por x0 (t) = 1, temos x0 e |T x0 | = e, portanto, T = sup {|T x| : x C [a, b], x
a
= sup |x0 (t)| = 1

t[a,b] b
x0 (t) dt = b a
= 1} |T x0 | = b a.
Logo T = b a.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
216 / 398

Exemplos 3.2.9
2) Sejam a = (a1 , . . . , an ) Kn e T : n 2 K a aplicao linear denida por T x = a1 x1 + + an xn para cada x = (x1 , . . . , xn ) n 2 . Se a = (0, . . . , 0), ento T = 0 pelo que n T (2 ) e T = 0. Se a = (0, . . . , 0), ento
n n
|T x| =
i=1 n
ai xi |ai | x
2
i=1 1/2
|ai | |xi |
n i=1 1/2
i=1 n 2
|xi |
= a
n 2 n 2
e, portanto, T limitado e T a
Antnio Bento (UBI)
.
2006/2007 217 / 398
Anlise Funcional
Exemplos 3.2.9
2) (continuao) Alm disso, observando que
n n
|T a| = temos T = sup .
ai ai =
i=1 i=1
a2 i = a
2 n 2
|T x| : x n 2 \ {0} x n
2
a | T a| = a n a
2
2 n 2 n 2
= a
n 2
Logo T = a
n 2
Antnio Bento (UBI)
Anlise Funcional
2006/2007
218 / 398
Exemplos 3.2.9
3) Tal como no exemplo anterior prova-se que se a = (a1 , . . . , an , . . .) uma sucesso de 2 e se denirmos T : 2 K por Tx =
i=1
ai xi
2 .
para cada x = (x1 , . . . , xn , . . .) 2 , ento T limitado e T = a
Antnio Bento (UBI)
Anlise Funcional
2006/2007
219 / 398
ndice
1
3.3 Espaos normados de dimenso nita
Lema 3.3.1
Sejam x1 , . . . , xm vectores linearmente independentes de um espao normado E . Ento existe um nmero real C > 0 tal que 1 x1 + + m xm C (|1 | + + |m |) para quaisquer 1 , . . . , m K. (*)
Antnio Bento (UBI)
Anlise Funcional
2006/2007
221 / 398

Demonstrao do lema 3.3.1
Faamos Se s = 0, ento todos os j so nulos e (*) verica-se. Suponhamos que s > 0. Dividindo (*) por s, obtemos a desigualdade 1 x1 + + m xm C com 1 = m 1 , . . . , m = . |1 | + + |m | |1 | + + |m | s = |1 | + + |m | .
Observando que |1 | + + |m | = 1, conclui-se que para provar (*) basta provar que existe C > 0 tal que 1 x1 + + m xm C para quaisquer 1 , . . . , m K tais que |1 | + + |m | = 1.
(**)

Demonstrao do lema 3.3.1 (continuao)
Suponhamos que (**) falso. Ento existe uma sucesso (yn ) em E tal que yn = n x1 + + n xm , n
(1) (1) (m)
+ + n
(m)
=1
para cada n N e yn converge para zero quando n tende para innito. Como
(1) (m) n + + n = 1,
a sucesso n
(j ) nN
, j = 1, . . . , m, limitada. Pelo Teorema de

(1) nN (1) yn
Bolzano-Weierstrass, n
tem uma subsucesso convergente. Sejam (1) o

nN
limite dessa subsucesso e
a correspondente subsucesso de (yn )nN .

2006/2007 223 / 398
Antnio Bento (UBI)
Anlise Funcional

Usando o mesmo argumento, yn a correspondente subsucesso de n
(2) nN (1) nN (2) n nN
tem uma subsucesso yn
(2) nN
tal que
converge. Seja (2) o limite de
. Continuando este argumento, ao m de m passos, obtemos uma

(m) nN
subsucesso yn
de (yn )nN tal que yn

(m)
= n x1 + . . . + n xm ,
(1)
(1)
(m)
n para cada n N e a
+ + n
(j ) nN
(m)
=1
sucesso n para j = 1, . . . , m.
Antnio Bento (UBI)
converge para (j )
Anlise Funcional
2006/2007
224 / 398

Ento fazendo tem-se
(m) yn
y = (1) x1 + + (m) xm ,
m m (j ) n j =1 (j ) (j ) n (j )
y
(m)
xm
xm
j =1
e, portanto, yn
nN
converge para y . Como

(m) (1) = 1, + + n n
fazendo n tender para innito temos

(1) (m) n + + n =1
e, como x1 , . . . , xm so vectores linearmente independentes, tem-se y = 0.

Demonstrao do lema 3.3.1 (continuao).

De
(m) y yn (m) y , yn
conclumos que yn
(m)
converge para y = 0 quando n tende para innito, o
que contradiz o facto de yn convergir para zero quando n tende para innito. Logo existe um nmero real C > 0 tal que 1 x1 + + m xm C (|1 | + + |m |) para quaisquer 1 , . . . , m K.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
226 / 398
Teorema 3.3.2
Todos os subespaos de dimenso nita de um espao normado so completos. Em particular, todos os espaos normados de dimenso nita so completos.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
227 / 398

Sejam E um espao normado, M um subespao de E de dimenso m e (yn )nN uma sucesso de Cauchy em M . Faamos {e1 , . . . , em } uma base de M . Ento, para cada n N, (m) yn = (1) n e1 + + n em . Como (yn )nN uma sucesso de Cauchy, tem-se que para cada > 0, existe N N tal que yn yr < para quaisquer nmeros naturais n, r > N . Pelo lema anterior existe C > 0 tal que > = C yn yr
(1) m) m) (1) e1 + + ( ( em n r n r (1) m) m) (1) + + ( ( n r n r
para quaisquer nmeros naturais n, r > N .


Ento, para j = 1, . . . , m,
j) (j ) (1) m) m) ( (1) + + ( ( < n r n r n r
, C uma
sucesso de Cauchy em K. Ora K completo e, portanto, existe (1) , . . . , (m) K tais que n j = 1 , . . . , m.
(j ) nN
o que mostra que, para cada j {1, . . . , m}, a sucesso n
(j ) nN
converge para (j ) ,
Antnio Bento (UBI)
Anlise Funcional
2006/2007
229 / 398

Fazendo temos yn y = y = (1) e1 + + (m) em
m) (1) e1 + + ( (m) em (1) n n m) e1 + + ( (m) n (j ) nN
(1) (1) n
em
e, como, para j = 1, . . . , m, a sucesso n
converge para zero quando n tende para innito. Assim, (yn )nN converge para y M e, portanto, M completo.
converge para (j ) , yn y
Antnio Bento (UBI)
Anlise Funcional
2006/2007
230 / 398
Corolrio 3.3.3
Todos os subespaos de dimenso nita de um espao normado so fechados.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
231 / 398
Duas normas e 0 denidas num espao vectorial E dizem-se equivalentes se existirem dois nmeros reais positivos a e b tais que a x para qualquer x E .
0
x b x
Antnio Bento (UBI)
Anlise Funcional
2006/2007
232 / 398
Teorema 3.3.4
Num espao vectorial de dimenso nita quaisquer duas normas so equivalentes.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
233 / 398

Sejam E um espao vectorial de dimenso m, {e1 , . . . , em } uma base de E e e 0 duas normas em E . Pelo lema anterior, existe uma constante C > 0 tal que 1 e1 + + m em C (|1 | + + |m |) para quaisquer 1 , . . . , m K. Dado x E , existem escalares 1 , . . . , m K tais que x = 1 e1 + + m em x = 1 e1 + + m em
m
e, consequentemente,
C (|1 | + + |m |)
j =1
=C
|j | .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
234 / 398

Por outro lado, tem-se x
0
= 1 e1 + + m em 0 |1 | e1 0 + + |m | em
m
K onde K = max ej
0.
j =1
|j | ,
1j m
Logo C x K x .
Trocando os papis de e de desigualdade.

Antnio Bento (UBI)
obtemos, de forma anloga, a outra
Anlise Funcional
2006/2007
235 / 398
Teorema 3.3.5
Se E um espao normado de dimenso nita, ento todos os operadores lineares denidos em E so limitados.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
236 / 398

Seja F um espao normado e T : E F um operador linear. Para cada x E denamos x 0 = x E + Tx F . fcil vericar que 0 dene uma nova norma em E . Como E tem dimenso nita, pelo teorema anterior, as normas 0 e E so equivalentes. Em particular, existe um nmero real positivo a tal que x0 a x para cada x E , o que implica Tx
F
a x
para cada x E . Logo T um operador linear limitado.


Dois espaos E e F dizem-se isomorfos se existir T L (E, F ) bectivo e tal que T 1 L (F, E ).
Corolrio 3.3.6
Quaisquer dois espaos normados (sobre o mesmo corpo K) de dimenso nita e com a mesma dimenso so isomorfos.
Demonstrao.
Sejam E e F dois espaos normados (sobre o mesmo corpo K) ambos de dimenso nita m. Escolhamos uma base {e1 . . . , em } de E e uma base {f1 , . . . , fm } de F . O operador T : E F denido por T (1 e1 + + m em ) = 1 f1 + + m fm linear e bectivo. Pelo teorema anterior, T L (E, F ) e T 1 L (F, E ). Logo E e F so isomorfos.
de subconjuntos abertos de X tal que
Sejam (X, d) um espao mtrico e K X . Diz-se que K compacto se para qualquer famlia {A : } K A
existem 1 , . . . , m tais que K A1 . . . Am .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
239 / 398
Antnio Bento (UBI)
Anlise Funcional
2006/2007
240 / 398
Teorema 3.3.7
Num espao mtrico (X, d) as armaes seguintes so equivalentes: a) K compacto; b) qualquer sucesso de elementos de K tem uma subsucesso convergente para um elemento de K ; c) qualquer subconjunto innito de K tem um ponto de acumulao em K .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
241 / 398

Lema 3.3.8
Num espao mtrico os subconjuntos compactos so fechados e limitados.
Demonstrao.
Seja K um subconjunto compacto de um espao mtrico (X, d). Seja (xn )nN uma sucesso de elementos de K convergente para x X . Como K compacto, (xn )nN tem uma subsucesso convergente para um elemento de K . Ora todas as subsucesses de (xn )nN convergem para x e, por conseguinte, x K . Logo K fechado. Por outro lado, se K fosse ilimitado existiria uma sucesso (xn )nN de elementos de K tal que d(xn , x1 ) > n. Ento (xn )nN no tem nenhuma subsucesso convergente j que todas as subsucesses de (xn )nN so ilimitadas o que contradiz o facto de K ser compacto. Logo K limitado.
Teorema 3.3.9
Num espao normado de dimenso nita um subconjunto compacto se e s se fechado e limitado.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
243 / 398

Sejam E um espao normado de dimenso m e K um subconjunto de E . Tendo em conta o lema anterior, basta provar que se K um subconjunto fechado e limitado de E , ento K compacto. Suponhamos que K um subconjunto fechado e limitado de E , consideremos uma base {e1 , . . . , em } de E e seja (xn )nN uma sucesso qualquer de elementos de K . Ento existem (m) (1) K n , . . . , n tais que
(m) xn = (1) n e1 + + n em ,
n N. Porque K limitado, a sucesso (xn )nN tambm limitada, ou seja, existe r > 0 tal que xn r para qualquer n N.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
244 / 398

J sabemos que existe C > 0 tal que
(m) r xn = (1) n e1 + + n em C m) (1) + + ( n n
e, por conseguinte, as sucesses n

(j ) nN
, j = 1, . . . , m, so limitadas.
Usando o mesmo tipo de argumentos da parte nal da demonstrao do Lema 3.3.1, podemos concluir que (xn )nN tem uma subsucesso convergente para algum elemento x E . Mas K fechado e, consequentemente, x K . Assim, toda a sucesso de elementos de K tem uma subsucesso convergente para um elemento de K , o que mostra que K compacto.
Lema 3.3.10 (Lema de Riesz)

Sejam M e N subespaos de um espao normado E . Suponhamos que M fechado e que M N . Ento para cada nmero ]0, 1[, existe z N tal que z =1e z y para qualquer y M .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
246 / 398

Demonstrao do Lema de Riesz.
Escolhamos v N \ M e faamos = d(v, M ) = inf { v y : y M } . Dado ]0, 1[, existe y0 M tal que 0 < v y0 Sejam z = .
v y0 1 ec= , ou seja, z = c (v y0 ). Ento z N e v y0 v y0 z = 1. Alm disso, para qualquer y M , tem-se z y = c (v y0 ) y = c v (y0 + c1 y )
e fazendo y1 = y0 + c1 y resulta que y1 M e z y = c v y1 c =
Isto prova que z y para qualquer y M .

= . v y0 /
2006/2007 247 / 398
Teorema 3.3.11
Se E um espao normado tal que a bola fechada e unitria B = B1 [0] = {x E : x 1} compacta, ento E um espao de dimenso nita.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
248 / 398

Suponhamos que B compacta e que E tem dimenso innita. Escolhamos em E um vector x1 tal que x1 = 1. O espao M1 gerado por {x1 } um subespao prprio de E fechado e de dimenso um. Pelo Lema de Riesz, existe x2 E \ M1 tal que x1 = 1 e 1 x2 x1 = . 2 Os vectores x1 e x2 geram um subespao prprio M2 de E fechado e de dimenso 2. Pelo Lema de Riesz, existe x3 E \ M2 tal que x3 = 1 e x3 x1 1 e 2 x3 x2 1 . 2
Antnio Bento (UBI)
Anlise Funcional
2006/2007
249 / 398

Continuando este tipo de raciocnio, obtemos uma sucesso (xn )nN de elementos de B tal que xn xm 1 para m = n. 2
Assim, a sucesso (xn )nN no tem nenhuma subsucesso convergente, o que absurdo pois B compacto. Logo E tem dimenso nita.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
250 / 398
ndice
1
ndice
1
4.1 Denio, propriedades elementares e exemplos

Dado um espao vectorial H sobre K, uma aplicao , : H H K diz-se um produto interno se para cada x, y, z H e cada K se tem i) x + y, z = x, z + y, z ; ii) x, z = x, z ; iii) x, y = y, x ; iv ) x, x 0; v ) x, x = 0 se e s se x = 0.
Aqui y, x designa o conjugado de y, x . Um espao vectorial com um produto interno diz-se um espao com produto interno.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
253 / 398
Observaes 4.1.1
1) As propriedades i) e ii) implicam que, para z H , a aplicao , z : H K uma aplicao linear.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
254 / 398

Observaes 4.1.1
2) Para cada x, y, z H temos x, y + z = y + z, x = y, x + z, x = y, x + z, x = x, y + x, z . Para cada x, y H e para cada K temos x, y = y, x = y, x = y, x = x, y . Assim, se H uma espao vectorial real, para cada z H , a aplicao z, : H K linear e, portanto, , : H H K bilinear. Se K = C, ento, para cada z H , a aplicao z, : H K no linear.
Observaes 4.1.1
3) Para qualquer x H , 0, x = 0 = x, 0 .
4) Uma aplicao de H H para K que verique as propriedades i), ii) e iii) diz-se uma forma hermtica. Uma forma hermtica diz-se semi-denida positiva se vericar iv ) e diz-se denida positiva se vericar iv ) e v ). Assim, um produto interno uma forma hermtica denida positiva.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
256 / 398
Exemplos 4.1.2
1) Os espaos Rn e Cn so espaos com produto interno dado por
n
x, y =
i=1
xi yi
n
e x, y =
xi yi ,
i=1
respectivamente, com x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
257 / 398
Exemplos 4.1.2
2) Seja C [a, b] o conjunto das funes contnuas x : [a, b] K. Um produto interno em C [a, b] dado por
b
x, y =
a
x(t) y (t) dt.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
258 / 398
Exemplos 4.1.2
3) Seja 2 o conjunto das sucesso (xn )nN de elementos de K tais que
+ i=1
|xi |2 convergente.
Pode denir-se um produto interno em 2 por x, y =

+ i=1
xi yi .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
259 / 398
Exemplos 4.1.2
4) Se H1 , . . . , Hn so espaos com produto interno, ento em H = H1 Hn podemos denir o seguinte produto interno (x1 , . . . , xn ) , (y1 , . . . , yn ) = x1 , y1
H1
+ xn , yn
Hn
Antnio Bento (UBI)
Anlise Funcional
2006/2007
260 / 398
Teorema 4.1.3 (Desigualdade de Schwarz)

Seja H um espao com produto interno. Para quaisquer x, y H tem-se | x, y | x, x y, y .
Alm disso, a igualdade satisfeita se e s se x e y so linearmente dependentes.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
261 / 398

Demonstrao da desigualdade de Schwarz
Se y = 0, ento x, 0 = 0 e, portanto, a (des)igualdade verica-se trivialmente. Supondo y = 0, tem-se para qualquer escalar K 0 x y, x y = x, x + x, y + y, x + y, y
= x, x x, y y, x + y, y = x, x x, y y, x y, y . Fazendo = y, x vem y, y
y, x 0 x, x y, y
| x, y | x, y x, y x, y = x, x = x, x . y, y y, y
Antnio Bento (UBI)
Anlise Funcional
2006/2007
262 / 398

Demonstrao da desigualdade de Schwarz (continuao).
Logo | x, y | x, x y, y o que equivalente a e, consequentemente, | x, y | x, x | x, y | x, x
2 2
y, y
y, y .
Alm disso, temos igualdade se e s se y = 0 ou y=0 e, portanto, ou seja, x e y so linearmente dependentes.

Antnio Bento (UBI)
x y, x y = 0, x y = 0,
Teorema 4.1.4
Seja H um espao com produto interno. Ento a aplicao : H R denida por x = x, x uma norma em H .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
264 / 398

Das propriedades do produto interno resulta imediatamente que x =0 x, x = 0 x, x = 0 x=0 e que para cada x H e para cada K x = = = x, x x, x ||2 x, x x, x
= ||
= || x .
2006/2007 265 / 398
Antnio Bento (UBI)
Anlise Funcional

Alm disso, para quaisquer x, y H temos x+y
2
= x + y, x + y = x, x + x, y + y, x + y, y = x, x + x, y + x, y + y, y = x, x + 2 Re x, y + y, y x, x + 2 | x, y | + y, y ,
pelo que usando a desigualdade de Cauchy Schwarz resulta x+y e, por conseguinte, x+y x + y .
2
+2 x
y + y
=( x + y )
Antnio Bento (UBI)
Anlise Funcional
2006/2007
266 / 398
Num espao com produto interno possvel denir uma mtrica usando a norma referida no teorema anterior. Assim, uma mtrica induzida pelo produto interno. d(x, y ) = x y = x y, x y
Os espaos com produto interno que so completos em relao mtrica induzida pelo produto interno designam-se por espaos de Hilbert.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
267 / 398
Exemplos 4.1.5
1) J vimos que em Kn podemos denir o produto interno
n
x, y =
i=1
xi yi .
Ento
n n
x =
x, x =
i=1
xi xi =
i=1
|xi | ,
ou seja, Kn com este produto interno o espao n 2 . Este espao completo e por isso um espao de Hilbert.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
268 / 398

Exemplos 4.1.5
2) Em 2 denimos, para cada par de sucesses x = (xn )nN e y = (yn )nN , o seguinte produto interno x, y = Como x = x, x =
+ i=1 + i=1
xi yi .
xi xi =
+ i=1
|xi | ,
conclumos que este produto interno d origem norma habitual de 2 , com a qual j sabemos que o espao completo. Assim, este espao um espao de Hilbert.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
269 / 398

Exemplos 4.1.5
3) Em C [a, b], o espao das funes contnuas denidas de [a, b] para K, denimos o produto interno dado por
b
x, y =
a
x(t) y (t) dt.
A norma associada a este produto interno dada por

b b
x =
x, x =
a
x(t) x(t) dt =
a
|x(t)| dt.
J sabemos que este espao com esta norma no completo, pelo que no um espao de Hilbert. No entanto, o completamento deste espao, o espao L2 [a, b], um espao de Hilbert. De um modo mais geral, o completamento de um espao com produto interno um espao de Hilbert pois a norma do completamento deriva de um produto interno.

Teorema 4.1.6 (Igualdade do paralelogramo)
Num espao H com produto interno temos a seguinte igualdade para quaisquer x, y H x+y 2+ xy 2 =2 x 2+ y 2 .
Demonstrao.
Sejam x, y H . Ento x+y e xy
2
= x + y, x + y = x, x + x, y + y, x + y, y = x y, x y = x, x x, y y, x + y, y . + xy
2
Somando estas duas igualdades temos x+y

2
= 2 x, x + 2 y, y = 2
Anlise Funcional
+ y
.
271 / 398
Antnio Bento (UBI)
2006/2007
Num espao normado em que a norma no verica a igualdade do paralelogramo, a norma no deriva de um produto interno e, por conseguinte, o espao no um espao com produto interno.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
272 / 398

Exemplos 4.1.7
1) O espao p , para p = 2, no um espao com produto interno pois considerando x = (1, 1, 0, 0, . . .) temos x e x+y e, portanto, x+y e 2 x
2 p 2 p p p
e = y
p
y = (1, 1, 0, 0, . . .) = 21/p =2
= xy
2 p
+ xy
=4+4=8
+ y
2 p
= 2 22/p + 22/p = 4 22/p ,
o que mostra que se p = 2 a igualdade do paralelogramo no se verica e, consequentemente, o espao no um espao com produto interno.

Exemplos 4.1.7
2) No espao C [a, b] munido com a norma dada por x
= sup |x(t)| no se
t[a,b]
verica a igualdade do paralelogramo. De facto, para as funes x, y : [a, b] R denidas por ta , x(t) = 1 e y (t) = ba t [a, b], temos x = y = 1, x+y
= sup 1 +
t[a,b]
ta =2 e ba
xy
= sup 1
t[a,b]
ta =1 ba
e, portanto, 2 x
2
+ y
=4
x+y
+ xy
= 5.
Logo a norma
Antnio Bento (UBI)
no deriva de um produto interno.

Observao 4.1.8
possvel provar que num espao normado, a norma deriva de um produto interno se e s se verica a igualdade do paralelogramo, sendo o produto interno dado por x, y = 1 4 x+y
2
xy
se o espao vectorial real e sendo dado por x, y = 1 4 x+y

2
xy
+i
x + iy
x iy
caso o espao vectorial seja complexo.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
275 / 398
ndice
1
4.2 Complemento ortogonal e projeces ortogonais

Sejam H um espao com produto interno e x, y H . Diz-se que x e y so ortogonais, e escreve-se x y , se x, y = 0. De modo semelhante, dizemos que x H ortogonal a um subconjunto A de H , e usa-se a notao x A, se x, a = 0 para cada a A. Dois subconjuntos A e B de H dizem-se ortogonais, e escreve-se A B , se a, b = 0 para cada a A e para cada b B . Sejam H um espao com produto interno e A um subconjunto de H . Designamos por complemento ortogonal de A o conjunto A formado pelos elementos de H que so ortogonais a A, isto , A = {x H : x A} .

Observaes 4.2.1
1) O conjunto A um subespao vectorial fechado de H (mesmo que A no seja um subespao). 2) Para qualquer subconjunto A de H tem-se A A
= A .
3) Se A B , ento B A . 4) Para qualquer subconjunto A de H temos A
=A = A
= A
A A =
{0}
se 0 A; se 0 A.
5) Se H um espao com produto interno, ento {0} = H e H = {0}.

Teorema 4.2.2 (Teorema de Pitgoras)

Sejam H um espao com produto interno e {x1 , . . . , xn }, n 2, um subconjunto de vectores de H ortogonais dois a dois. Ento x1 + + xn
2
= x1
+ + xn
Demonstrao.
A demonstrao pode ser feita por induo matemtica no nmero de vectores.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
279 / 398
O complemento ortogonal de um subespao pode ser usado para caracterizar os elementos (se os houver) do espao menor distncia de um vector dado.
Teorema 4.2.3
Sejam H um espao com produto interno, M um subespao de H , x H e m0 M . As armaes seguintes so equivalentes a) x m0 = inf { x m : m M } = d(x, M ); b ) x m0 M .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
280 / 398

a) b) Suponhamos que m0 verica a). Pretendemos provar que x m0 , m = 0 para qualquer m M . Sem perda de generalidade, podemos supor que m = 1. Seja m1 = m0 + m, com K. Obviamente, m1 M e, portanto, x m0
2 2
= (x m0 ) m, (x m0 ) m = x m0 , x m0 + m, x m0 + x m0 , m + m, m = x m0 , x m0 m, x m0 x m0 , m + m, m = x m0
2
x m1
m, x m0 [ x m0 , m ] .
Anlise Funcional
Antnio Bento (UBI)
2006/2007
281 / 398

Fazendo = x m0 , m , temos x m0
2
= x m0
x m0
2 2 2
= x m0
x m0 , m x m0 , m | x m0 , m |
2
x m0 , m m, x m0
o que implica | x m0 , m | = 0 e, por conseguinte, x m0 , m = 0.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
282 / 398

b) a) Suponhamos que x m0 M . Ento para qualquer m M , tem-se m0 m M o que implica (x m0 ) (m0 m) . Pelo teorema de Pitgoras temos xm
2 2 2 2
= ( x m0 ) + ( m0 m) x m0
2
= x m0
2
+ m0 m
e, consequentemente, Logo
xm
x m0 = inf { x m : m M } = d(x, M ).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
283 / 398

O teorema anterior no garante que existam elementos m0 nas condies referidas, apenas mostra uma equivalncia. Para podermos garantir a existncia de vectores m0 nessas condies precisamos de introduzir o conceito de conjunto convexo. Um subconjunto A de um espao vectorial E diz-se convexo se para quaisquer x, y A e para qualquer [0, 1] se tem (1 ) x + y A.
conjunto convexo
conjunto no convexo
2006/2007 284 / 398
Teorema 4.2.4
Sejam H um espao com produto interno, K um subconjunto no vazio de H e x H . Se K completo e convexo, ento existe um e um s y0 K tal que x y0 = inf { x y : y K } = d(x, K ).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
285 / 398

Por denio, existe uma sucesso (yn ) de elementos de K tal que x yn d, onde Usando a igualdade do paralelogramo temos (x ym ) + (x yn ) 2 =2 = x ym 2
2 2 2
d = inf { x y : y K } = d(x, K ). (x ym ) (x yn ) + 2
2 2
x yn + 2 1 x yn 2
Anlise Funcional
1 x ym 2
Antnio Bento (UBI)
2006/2007
286 / 398

Alm disso, (x ym ) + (x yn ) 2 e (x ym ) (x yn ) 2
2
yn + ym = x 2
2
d2
2
yn ym = 2
sendo a ltima desigualdade consequncia do facto de K ser convexo e, yn + ym consequentemente, K . Assim, 2 yn ym 2

2
1 x ym 2
1 x yn 2
d2 .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
287 / 398

Como x yn 2 converge para d2 quando n converge para + e x ym converge para d2 quando m converge para +, podemos concluir que yn ym converge para 0 quando n e m convergem para +. Logo (yn ) uma sucesso de Cauchy e, porque K completo, existe y0 K tal que (yn ) converge para y0 . Ento x y0 x yn + yn y0 d + 0 = d. Logo tem-se x y0 d e, como y0 K , tem-se x y0 = d = inf { x y : y K } = d(x, K ).
2
Antnio Bento (UBI)
Anlise Funcional
2006/2007
288 / 398

Suponhamos que existem y0 e y0 tais que y0 = y0 e x y0 = x y0 = d. Usando a igualdade do paralelogramo temos
(x y 0 ) + (x y 0 ) 2 2 (x y 0 ) (x y 0 ) + 2 2
1 x y0 2
2
1 x y0 2
= d2
e, portanto,
y0 + y0 x 2
y0 y0 + 2 2
= d2 .
Assim,
y0 + y0 x 2
< d2
y0 + y0 K. 2
o que absurdo pois d = d(x, K ) e, porque K convexo, temos Logo y0 nico.

2006/2007
289 / 398
Observao 4.2.5
Se H um espao de Hilbert, ento podemos substituir K completo por K fechado.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
290 / 398
Teorema 4.2.6
Sejam H um espao de Hilbert e M um subespao fechado de H . Ento H = M M .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
291 / 398

Sendo H completo e M um subconjunto fechado de H , M tambm completo. Alm disso, por M ser um subespao de H tambm convexo. Pelo Teorema 4.2.4, para cada x H , existe um e um s m0 em M tal que x m0 = inf { x m : m M } = d(x, M ). Pelo Teorema 4.2.3, x m0 M . Ora x = m0 + ( x m0 ) , m0 M e x m0 M . Logo H = M + M . Alm disso, j vimos que se tem M M = {0} , o que termina a demonstrao.

Corolrio 4.2.7
Se M um subespao fechado de um espao de Hilbert, ento M = M .
Demonstrao.
J vimos que M M . Provemos a incluso contrria. Seja x M . Pelo teorema anterior temos H = M M x=y+z com y M M e z M . Mas ento x y = z M M , o que implica z = 0. Logo x = y M .
e, portanto,

Corolrio 4.2.8
Dado um subconjunto no vazio A de um espao de Hilbert H , ento o subespao gerado por A, A , denso em H se e s se A = {0}.
Demonstrao.
Seja x A e suponhamos que H = A . Ento x A e, portanto, existe uma sucesso (xn ) de elementos de A tal que xn x. Como x A e A A , tem-se 0 = xn , x x, x Inversamente, suponhamos que A = {0}. Ento A anterior temos H= A A = A. quando n +. Assim, x, x = 0 e, portanto, x = 0. Logo A = {0}.
= {0}. Pelo teorema
Antnio Bento (UBI)
Anlise Funcional
2006/2007
294 / 398

Sejam H um espao de Hilbert e M um subespao fechado de H . O Teorema 4.2.4 garante-nos que dado x H existe um e um s m0 M tal que x m0 = inf { x m : m M } = d(x, M ). Assim, podemos denir o operador P :H H tal que P x = m0 onde m0 tal que x m0 = inf { x m : m M } = d(x, M ). Este operador designa-se por projeco ortogonal de H sobre M . O teorema 4.2.3 permite-nos armar que P x = x para cada x M e P x = 0 para cada x M .
Pelo Teorema 4.2.3 resulta que x P x, m = 0 para qualquer m M . Dena-se Q:H H

Antnio Bento (UBI)
por Qx = x P x.

Teorema 4.2.9
Sejam H um espao de Hilbert, M um subespao fechado de H e P e Q denidos como anteriormente. Ento a) P x, Qx = 0 para cada x H ; b) P e Q so aplicaes lineares; c) Px
2
+ Qx
= x
para qualquer x H ;
d) P x, y = x, P y e Qx, y = x, Qy para quaisquer x, y H ; e) P x x e Qx x para qualquer x H ; f) P = 1 0 se M = {0} se M = {0} e e e Q = 1 0 se M = H se M = H
g) P 2 = P P = P
Q2 = Q Q = Q; N (Q) = R (P ) = M .
h) N (P ) = R (Q) = M
Antnio Bento (UBI)

a) Atendendo a que e temos para cada x H . P x = m0 M Qx = x P x = x m0 M , P x, Qx = 0
Antnio Bento (UBI)
Anlise Funcional
2006/2007
297 / 398

b) Sejam x, y H e , K. Fazendo m0 = P x e m1 = P y , temos pelo teorema 4.2.3 x m0 M e y m1 M . Como M um subespao vectorial, resulta que Atendendo a que m0 + m1 M , usando novamente o teorema 4.2.3 tem-se P (x + y ) = m0 + m1 = P x + P y, o que mostra que P linear. Como (x m0 ) + (y m1 ) = x + y (m0 + m1 ) M .
onde I a identidade de H , a aplicao Q linear.
Q = I P,
Antnio Bento (UBI)
Anlise Funcional
2006/2007
298 / 398

c) Na alnea a) mostramos que P x, Qx = 0. Como temos pelo Teorema de Pitgoras x
2
P x + Qx = P x + x P x = x, = P x + Qx
2
= Px
+ Qx
Antnio Bento (UBI)
Anlise Funcional
2006/2007
299 / 398

d) Para quaisquer x, y H temos P x, P y M e x P x, y P y M . Ento
P x, y = P x, (y P y ) + P y = P x, y P y + P x, P y = P x, P y = x (x P x ) , P y = x, P y x P x, P y = x, P y
e
Qx, y = x P x, y = x, y P x, y = x, y x, P y = x, y P y = x, Qy .

e) Pela alnea c) sabemos que para cada x H temos Px e isto implica, para cada x H , Px x e Qx x .
2
+ Qx
= x
Antnio Bento (UBI)
Anlise Funcional
2006/2007
301 / 398

f ) Da alnea anterior temos que P 1. Se M = {0}, ento encolhendo x0 M \ {0} temos P x0 = x0 e, portanto, P = 1. Se M = {0}, ento P x = 0 para cada x H e, consequentemente, P = 0. Pela alnea anterior tem-se Q 1. Se M = H , atendendo a que H = M M , resulta que M = {0}. Assim, escolhendo y0 M \ {0}, temos P y0 = 0 e, portanto, Qy0 = y0 P y0 = y0 , o que mostra que neste caso Q = 1. Alm disso, se M = H , ento P x = x para cada x H e, consequentemente, Q = I P = 0 o que implica Q = 0.

g ) Para cada x H , tem-se P x M e, portanto, P (P x) = P x para cada x H , Por outro lado, para cada x H , temos Q(Qx) = Qx P (Qx) = x P x P (x P x) o que mostra que P 2 = P P = P .
= x P x P x + P (P x) = x Px = Qx
o que mostra que Q2 = Q Q = Q.


h) Da denio de P resulta que equivalente a e, por conseguinte, Px = 0 x 0 = x M N (T ) = M . Alm disso, tem-se por denio P x M para cada x H e P x = x para cada x M . Logo R (P ) = M . De modo semelhante mostra-se que N (Q) = M e que R (Q) = M .
ndice
1
4.3 Conjuntos ortonormados
Seja H um espao com produto interno. Um conjunto {e H : } diz-se ortonormado se para quaisquer , se tem e , e = 0 1 se = ; se = .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
306 / 398
Exemplos 4.3.1
1) Em m 2 o conjunto onde { en m 2 : n = 1 , . . . , m} , en = (0, . . . , 0 , 1, 0, . . . , 0),
n1 zeros
um conjunto ortonormado.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
307 / 398
Exemplos 4.3.1
2) No espao 2 o conjunto {en 2 : n N} , onde en = (0, . . . , 0 , 1, 0, 0, . . .),
n1 zeros
um conjunto ortonormado.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
308 / 398

Exemplos 4.3.1
3) Em C [, ], o espao das funes contnuas x : [, ] R munido com o produto interno
x, y =
x(t)y (t) dt,
o conjunto com u, vn , wn C [, ] denidas por 1 u(t) = , 2 ortonormado.

A = {u} {vn : n N} {wn : n N} , cos (nt) sen (nt) ,
vn (t) =
wn (t) =

Teorema 4.3.2
Sejam H um espao com produto interno, {e1 , . . . , en } um subconjunto de H ortonormado e seja M o subespao gerado por {e1 , . . . , en }. Ento a) {e1 , . . . , en } uma base para M e, para cada x M , tem-se
n
x=
k=1 n
x, ek ek ; x, ek ek , tem-se
k=1
b) para cada x H , fazendo m0 =
x m0 = d(x, M ), ou seja, m0 a melhor aproximao para x em M ; ou, de forma equivalente, x m0 M ;

n
c) para cada x H temos
k=1
Antnio Bento (UBI)
| x, ek | x
.
2006/2007 310 / 398
Anlise Funcional

a) Se x M , ento existem 1 , . . . , n K tais que
n
x = 1 e1 + + n en = Ento, para j = 1, . . . , n, vem

n n
k ek .
k=1
x, ej =
n k=1
k ek , ej
=
k=1
k ek , ej = j .
Logo x =
k=1
x, ek ek . 1 e1 + + n en = 0, j = 0, ej = 0, j = 1, . . . , n,
Por outro lado, se ento
e, por conseguinte, {e1 , . . . , en } linearmente independente.


b) Para j = 1, . . . , n, temos
n
x m0 , e j
x, ek ek , ej
k=1 n
= x, ej = x, ej = 0
x, ek ek , ej
k=1 n
x, ek
k=1
ek , ej
= x, ej x, ej e, consequentemente, x m0 {e1 , . . . , en } . Assim, x m0 M e pelo teorema 4.2.3 tem-se x m0 = d(x, M ).


c) Usando m0 denido como na alnea anterior, temos
0 x m0 , x m0
n n
x
k=1 n
x, ek ek , x
j =1
x, ej ej
n n n
= x, x
j =1 n
x, ej
x, ej
k=1 n
x, ek
ek , x +
k=1 n
x, ek
j =1
x, ej
ek , ej
= x
j =1 n
| x, ej |2
k=1
x, ek
x, ek +
k=1
x, ek
x, ek
= x
j =1
| x, ej |2
n
o que mostra que

k=1
Antnio Bento (UBI)
| x, ek |2 x 2 .
Anlise Funcional
2006/2007
313 / 398
Teorema 4.3.3
Seja {e : } um conjunto ortonormado de um espao com produto interno H . Para qualquer x H , o conjunto S = { : x, e = 0} numervel.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
314 / 398

Seja Sn = x : | x, e | > n
2 2
Da alnea c) do teorema 4.3.2 conclui-se que Sn no pode ter mais que n 1 elementos. Como S= Sn ,
nN
resulta que S numervel.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
315 / 398
Teorema 4.3.4
Sejam {e : } um conjunto ortonormado de um espao de Hilbert H e M o fecho do subespao gerado por {e : }, ou seja, M= Para cada x H temos a)
{ e : } .
| x, e | x
(desigualdade de Bessel);
b) x
x, e e M .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
316 / 398

a) Pelo teorema 4.3.3 o somatrio ou tem todos os termos nulos e , portanto, nulo; ou tem um nmero nito de termo no nulos e o resultado j foi demonstrado no teorema 4.3.2/c); ou tem uma innidade numervel de termos no nulos e neste caso vai ser uma srie convergente pois a sua sucesso das somas parciais limitada por x 2 (ver teorema 4.3.2/c)). Assim, a srie tambm 2 vai ser limitada por x .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
317 / 398

b) O conjunto numervel, pelo que podemos ordenar os seus elementos e escrev-los como uma sucesso, ou seja, S = {e1 , e2 , . . . , en , . . .} . Faamos sn =
k=1 n
S = {e H : x, e = 0}
x, ek ek .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
318 / 398

Ento, para m > n, tem-se
m 2
sm sn
=
k=n+1 m
x, ek ek
m
=
k=n+1 m
x, ek ek ,
j =n+1
x, ej ej
=
k=n+1 m
x, ek x, ek
x, ej
j =n+1
ek , ej
=
k=n+1 m
x, ek
=
k=n+1
Antnio Bento (UBI)
| x, ek |2 .

J vimos que a srie
k=1
| x, ek |
convergente pelo que
m k=n+1
| x, ek |2
converge para zero quando n e m tendem para innito. Portanto (sn ) uma sucesso de Cauchy em H e, como H completo, (sn ) converge para algum s H , ou seja, s=
x, ek ek .
k=1
Antnio Bento (UBI)
Anlise Funcional
2006/2007
320 / 398

Assim, x
k=1
x, ek ek , ej
= x s, ej = x, ej lim sn , ej = x, ej lim sn , ej = x, ej s, ej
= x, ej lim x, ej = 0 e, portanto, x
k=1
x, ek ek {en H : n N} .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
321 / 398

Mas isto implica que x e, portanto, x
x, e e {e H : }
x, e e M .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
322 / 398
Um subconjunto ortonormado { e : } de um espao com produto interno H diz-se completo ou maximal se no for subconjunto prprio de um outro subconjunto ortonormado de H .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
323 / 398
Teorema 4.3.5
Sejam H um espao de Hilbert e {e : } um subconjunto ortonormado de H . As armaes seguintes so equivalentes a) {e : } completo (ou maximal); b) se x {e : } , ento x = 0;
c) para cada x H , x = d) para cada x H , x
x, e e ; =
| x, e |
(Igualdade de Parseval)
Antnio Bento (UBI)
Anlise Funcional
2006/2007
324 / 398

a) b) Se b) no fosse verdade, ento existiria x H \ {0} tal que x, e = 0 para qualquer . Ento S = { e : } x x
seria um subconjunto ortonormado de H e {e : } um seu subconjunto prprio o que seria uma contradio pois { e : } maximal. Logo a) b).

b) c) Pelo teorema 4.3.4/b), x x, e e
ortogonal a e para qualquer . Logo x e, portanto, x=
x, e e = 0
x, e e .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
326 / 398

c) d) Supondo que temos x
2
x=
x, e e
x, e e ,

x, e e
x, e x, e | x, e |2 .
Anlise Funcional
x, e
x, e
e , e
Antnio Bento (UBI)
2006/2007
327 / 398

d) a) Se {e : } no fosse maximal, existiria e H tal que { e : } { e} seria ortonormado e, ento, ter-se-ia e o que absurdo pois, como { e : } { e} ortonormado, temos de ter e Logo {e : } maximal.
| e, e |2 = 0,
= e, e = 1.
Teorema 4.3.6
Um espao de Hilbert H separvel se e s se qualquer subconjunto de H ortonormado completo numervel.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
329 / 398

Se um subconjunto de H ortonormado e completo, ento para cada , com = vem e e
2
{e : }
= e e , e e
= e , e e , e e , e + e , e = 2, B2/2 (e ) B2/2 (e ) = .
e, portanto, Assim, dado S denso em H , cada bola B2/2 (e ) intersectaria S em pelo menos um ponto pelo que S no numervel se no numervel.
Antnio Bento (UBI)
{e : }

Por outro lado, se um conjunto ortonormado completo, ento, pelo teorema anterior,
n
{e1 , . . . , en , . . .}
S=
xH:x=
k=1
k ek , n N, 1 , . . . , n Q
caso o espao seja real, ou

n
S=
xH :x=
k=1
(k + k i) ek , n N, 1 , 1 , . . . , n , n Q
caso o espao seja complexo, um subconjunto de H numervel e denso em H . Logo H separvel.

ndice
1
4.4 Funcionais em espaos de Hilbert
Seja H um espao com produto interno e z H . fcil de ver a aplicao f : H K denida por f (x) = x, z linear e contnua, ou seja, um funcional. Assim, natural que nos interroguemos se todos os funcionais so caracterizados desta forma. Nos espaos de Hilbert isso acontece e o teorema que diz isso conhecido como Teorema de Representao de Riesz.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
333 / 398
Teorema 4.4.1 (Teorema de representao de Riesz)

Sejam H um espao de Hilbert e f : H K um funcional linear limitado. Ento existe um e um s z H tal que f (x) = x, z para qualquer x H . Alm disso, f = z .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
334 / 398

Demonstrao do teorema de representao de Riesz
Se f = 0, ento fazemos z = 0 e temos f (x) = 0 = x, 0 para cada x H . Se f = 0, ento faamos N = {x H : f (x) = 0} v = f (x)z0 f (z0 )x f (v ) = f (f (x)z0 f (z0 )x) = f (x)f (z0 ) f (z0 )f (x) = 0 e, portanto, v N .
e escolhamos z0 N \ {0}. Para cada x H , fazendo temos

Demonstrao do teorema de representao de Riesz (continuao)
Assim, 0 = v, z0 = f (x)z0 f (z0 )x, z0 = f (x) z0 , z0 f (z0 ) x, z0 o que implica f (x) = = f (z0 ) z0 , temos z0 , z0 f (x) = x, z para qualquer x H .
f (z0 ) z0 , z0 x,
x, z0 ,
f (z0 ) z0 z0 , z0
isto , fazendo z =
Demonstrao do teorema de representao de Riesz (continuao)

Vejamos agora que z nico. Se existissem z1 , z2 H tais que f (x) = x, z1 = x, z2 para qualquer x H , teramos x, z1 z2 = 0 para qualquer x H e, por conseguinte, z1 z2 , z1 z2 = 0 o que implica z1 z2 = 0, ou seja, z1 = z2 . Logo z nico.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
337 / 398

Demonstrao do teorema de representao de Riesz (continuao).
Se f = 0, ento z = 0 e, consequentemente, f =0= z . Se f = 0, ento e, consequentemente, f z . Por outro lado, z, z z |f (z )| = = z z z o que implica f z . Logo f = z .
2
|f (x)| = | x, z | x
= z
Antnio Bento (UBI)
Anlise Funcional
2006/2007
338 / 398
ndice
1
ndice
1
5.1 Lema de Zorn

Um conjunto parcialmente ordenado um conjunto no vazio M onde est denida uma relao de ordem parcial, isto , uma relao binria denotada por e tal que i) x x para cada x M ; ii) se x y e y x, ento x = y para cada x, y M ; iii) se x y e y z , ento x z ; (reexividade) (simetria) (transitividade)
Uma relao de ordem total ou uma cadeia um subconjunto parcialmente ordenado M tal que para quaisquer x, y M , x y ou y x. Um majorante de um subconjunto N de um conjunto parcialmente ordenado M um elemento a M tal que x a para qualquer x N . Um elemento maximal de um conjunto parcialmente ordenado M um elemento m M tal que m x implica m = x.
5.1 Lema de Zorn
Exemplos 5.1.1
1) O conjunto R com a relao de ordem habitual um conjunto totalmente ordenado. Alm disso, R no tem elementos maximais. 2) Seja X um conjunto e consideremos o conjunto P (X ) das partes de X . Em P (X ) denamos a seguinte relao A B se e s se A B onde A, B P (X ). Com esta relao de ordem P (X ) um conjunto parcialmente ordenado.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
342 / 398
5.1 Lema de Zorn
Exemplos 5.1.1
3) Em Rn dena-se, para cada par de elementos de Rn , x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ), x y se e s se xi yi , i = 1, . . . , n. O conjunto Rn com esta relao um conjunto parcialmente ordenado. 4) O conjunto N com a relao m n se e s se m divide n um conjunto parcialmente ordenado.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
343 / 398
5.1 Lema de Zorn
Lema 5.1.2 (Lema de Zorn)

Seja M = um conjunto parcialmente ordenado. Suponhamos que toda a cadeia C M tem um majorante. Ento M tem pelo menos um elemento maximal. O Lema de Zorn equivalente ao Axioma de Escolha e, por isso, nem todos os matemticos o aceitam. No entanto, vai ser o pea fundamental na demonstrao do Teorema de Hahn-Banach que apresentaremos na prxima seco. Vejamos, a ttulo de exemplo, como o utilizar para demonstrar que qualquer espao vectorial E = {0} tem uma base de Hamel e que qualquer espao de Hilbert H = {0} tem um subconjunto ortonormado completo.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
344 / 398
5.1 Lema de Zorn

Teorema 5.1.3
Todo o espao vectorial E = {0} tem uma base de Hamel.
Demonstrao.
Seja M o conjunto de todos os subconjuntos de E linearmente independentes. Como E = {0}, existe x E \ {0} e por isso {x} M , ou seja, M = . A relao de incluso dene uma relao de ordem parcial em M . Alm disso, toda a cadeia C M tem um majorante; esse majorante a unio de todos os elementos de C . Pelo Lema de Zorn, M tem um elementos maximal B . Vejamos que B uma base de Hamel. Seja Y = B . Ento Y um subespao de E e temos de ter Y = E , pois caso contrrio, escolhendo z E \ Y teramos que B {z } era um conjunto linearmente independente diferente de B e com B B {z } o que contradiz a maximalidade de M . Logo Y = E e consequentemente B uma base de Hamel de E .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
345 / 398
5.1 Lema de Zorn

Teorema 5.1.4
Todo o espao de Hilbert H = {0} tem um subconjunto ortonormado completo.
Demonstrao.
Seja M o conjunto de todos os subconjuntos de H ortonormados. Como x um conjunto H = {0}, existe x H \ {0} e, por conseguinte, x ortonormado, o que mostra que M = . Alm disso, com a relao de incluso, M um conjunto parcialmente ordenado em que toda a cadeia C M tem um majorante que a unio de todos os elementos de C . Pelo Lema de Zorn, M tem um elementos maximal B . Se B no fosse completo, pelo Teorema 4.3.5 existiria z z H tal que z B \ {0}. Ento B seria um conjunto ortonormado z z o que contradiz o facto de B ser diferente de B e tal que B B z maximal. Logo B um subconjunto de H ortonormado e completo.
ndice
1
5.2 Teorema de Hahn-Banach

Seja E um espao vectorial real. Uma aplicao p : E R diz-se uma sub-norma se ii) p(x) = p(x) para cada x E e para cada [0, +[; i) p(x) 0 para cada x E ;
iii) p(x + y ) p(x) + p(y ) para cada x, y E . fcil provar que p(x) p(x y ) + p(y ) o que implica e portanto e
p(y ) p(y x) + p(x)
p(y x) p(x) p(y ) p(x y ) |p(x) p(y )| max {p(x y ), p(y x)} .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
348 / 398
Lema 5.2.1 (Lema da extenso)

Seja E um espao vectorial real, M um subespao prprio de E , p uma sub-norma em E e v E \ M . Suponhamos que f : M R uma aplicao linear tal que f (x) p(x) para cada x M . : M {v } R linear e tal que Ento existe f (x) = f (x) para cada x M f e (x) p(x) para cada x M {v } . f
Antnio Bento (UBI)
Anlise Funcional
2006/2007
349 / 398
Demonstrao do Lema da extenso

Para cada x M {v } , existem m M e R tais que x = m + v . Denindo, para um dado t R, (x) = f (m + v ) = f (m) + t f : M {v } R linear e verica-se facilmente que para qualquer t R, f (x) = f (x) para cada x M . f Se = 0, ento x M e (x) = f (x) p(x). f
Antnio Bento (UBI)
Anlise Funcional
2006/2007
350 / 398
Demonstrao do Lema da extenso (continuao)

Se > 0, ento (x) p(x) f (m + v ) p(m + v ) f f (m) + t p(m + v ) m m +t p +v f m m tp +v f e esta ltima desigualdade verica-se desde que t inf [p(z + v ) f (z )] .
z M
Antnio Bento (UBI)
Anlise Funcional
2006/2007
351 / 398

Se < 0, ento (x) p(x) f (m + v ) p(m + v ) f
f (m) + t p(m + v ) m m f t p v m m f p v t
e esta ltima desigualdade vlida desde que t sup [p(w v ) f (w)] .

w M
Antnio Bento (UBI)
Anlise Funcional
2006/2007
352 / 398

Assim, para que (x) p(x) para cada x M {v } f
necessrio escolher t de modo que

w M
sup [p(w v ) f (w)] t inf [p(z + v ) f (z )] .

z M
Para isto ser possvel temos de ter

w M
sup [p(w v ) f (w)] inf [p(z + v ) f (z )]

z M
o que equivalente a
p(w v ) f (w) p(z + v ) f (z ) para quaisquer w, z M , ou equivalentemente, f (z ) f (w) p(z + v ) + p(w v ) para quaisquer w, z M .

Demonstrao do Lema da extenso (continuao).
Atendendo a que esta ltima desigualdade se verica pois f (z ) f (w) = f (z w) p(z w)
= p((z + v ) + (w v )) p(z + v ) + p(w v )
possvel escolher t R tal que

w M
sup [p(w v ) f (w)] t inf [p(z + v ) f (z )]

z M
o que implica
(x) p(x) para cada x M {v } . f
Antnio Bento (UBI)
Anlise Funcional
2006/2007
354 / 398
Teorema 5.2.2 (Teorema de Hahn-Banach em espaos vectoriais reais)

Seja E um espao vectorial real, M um subespao prprio de E e p uma sub-norma em E . Suponhamos que f : M R uma aplicao linear tal que f (x) p(x) para cada x M . : E R linear e tal que Ento existe f (x) = f (x) para cada x M f e (x) p(x) para cada x E. f
Antnio Bento (UBI)
Anlise Funcional
2006/2007
355 / 398

Demonstrao do teorema de Hahn-Banach (verso real)
Seja N o conjunto de todas as extenses lineares g : D (g ) R de f tais que g (x) p(x) para cada x D (g ), ou seja, g N se g : D (g ) R uma aplicao linear tal que D (g ) um subespao vectorial de E que contm M , g (x) = f (x) para cada x M e g (x) p(x) para cada x D (g ).
claro que N no vazio pois f N . Em N podemos denir a seguinte relao g h se e s se h uma extenso linear de g , isto , g h se e s se D (g ) D (h) e h(x) = g (x) para cada x D (g ). Esta relao uma relao de ordem parcial em N .
Demonstrao do teorema de Hahn-Banach (verso real) (cont.)

Para cada cadeia C de elementos de N denimos o funcional linear g da seguinte forma: D ( g) = D (g ) e g (x) = g (x)
g C
Repare-se que g est bem denido pois se x D (g1 ) D (g2 ) para g1 , g2 C temos g1 (x) = g2 (x) pois g1 g2 ou g2 g1 j que C uma cadeia. bvio que g N e que g g para cada g C , isto , g um majorante de C . Logo toda a cadeia de elementos de N majorada. Pelo Lema de Zorn, N tem um elemento . maximal f
se x D (g ).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
357 / 398

Demonstrao do teorema de Hahn-Banach (verso real) (cont.).
) = E . Vejamos que D (f Lema de extenso, existe ) = E , ento escolhendo v E \ D (f ), pelo Se D (f : D (f ) {v } R linear e tal que f
(x) = f (x) para cada x D (f ) f e (x) p(x) para cada x D (f ) {v } , f
ser um elemento maximal de N . Logo D (f ) = E e, o que contradiz o facto de f portanto, tem-se (x) = f (x) para cada x M f (x) p(x) para cada x E f
o que demonstra o teorema.

Antnio Bento (UBI)
Anlise Funcional
2006/2007
358 / 398
Para obtermos uma verso do Teorema de Hahn-Banach que inclua espaos vectoriais complexos precisamos do conceito de semi-norma. Seja E um espao vectorial. Uma aplicao p : E R diz-se uma semi-norma se i) p(x) = || p(x) para cada x E e para cada K; ii) p(x + y ) p(x) + p(y ) para cada x, y E .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
359 / 398
Teorema 5.2.3 (Teorema de Hahn-Banach generalizado)

Sejam E um espao vectorial, M um subespao prprio de E e p uma semi-norma em E . Suponhamos que f : M K uma aplicao linear tal que |f (x)| p(x) para cada x M . : E K linear e tal que Ento existe f (x) = f (x) para cada x M f e (x) p(x) para cada x E. f
Antnio Bento (UBI)
Anlise Funcional
2006/2007
360 / 398

Demonstrao do teorema de Hanh-Banach generalizado
Se E um espao vectorial real, atendendo a que f (x) |f (x)| p(x) e a que uma semi-norma uma subnorma, pela verso real do Teorema de : E R tal que Hahn-Banach, existe f (x) = f (x) para cada x M f (x) p(x) e Como para cada x E , f (x) = f (x) p(x) = |1| p(x) = p(x), f tem-se (x) p(x) para cada x E, f e (x) p(x) para cada x E. f
o que demonstra o teorema no caso real.

Antnio Bento (UBI)
Anlise Funcional
2006/2007
361 / 398

Demonstrao do teorema de Hanh-Banach generalizado (cont.)
Se E complexo, ento designemos por ER e MR os espaos vectoriais E e M , respectivamente, encarados como espaos vectoriais reais e dena-se g : MR R por g (x) = Re f (x), onde Re designa a parte real de um complexo (sendo a parte imaginria designada por Im). Ento g : MR R uma aplicao linear. Alm disso, para cada x M , temos g (ix) = Re(f (ix)) = Re(if (x)) = Im(f (x)) e, portanto, para cada x M .
Antnio Bento (UBI)
f (x) = g (x) ig (ix)


Atendendo a que g (x) |g (x)| = |Re(f (x))| |f (x)| p(x), g : ER R e g (x) p(x) para cada x ER .
pela primeira parte desta demonstrao, existe
linear tal que
: E C por Denamos f
g (x) = g (x) para cada x MR
bvio que para quaisquer x, y E temos
(x) = g f (x) ig (ix).
(x + y ) = f (x) + f (y ). f

Alm disso, como ((a + bi) x) = f (ax + bix) f = g (ax + bix) ig (i (ax + bix)) = ag (x) + bg (ix) ig iax + bi2 x
= (a + bi) ( g (x) ig (ix)) (x) = (a + bi) f
= (a + bi) g (x) i (a + bi) g (ix)
= ag (x) + bg (ix) ig (iax bx) = ag (x) + bg (ix) iag (ix) + big (x)
: E C linear. Por outro lado, bvio que tem-se que f (x) = f (x) para cada x M . f

Demonstrao do teorema de Hanh-Banach generalizado (cont.).
Falta apenas mostrar que (x) p(x) para cada x E . f Para isso, recordemos que para qualquer nmero complexo na forma trigonomtrica z = a + bi = (cos + i sen ) = ei o que implica Daqui resulta |z | = = ei z.
(x) = ei f (x) = Re ei f (x) = Re f (ei x) = g f (ei x) p(ei x) = ei p(x) = p(x).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
365 / 398

Teorema 5.2.4 (Teorema de Hahn-Banach em espaos normados)
Sejam E um espao normado e M um subespao vectorial de E . Suponhamos que f :M K um funcional linear limitado. Ento existe um funcional linear limitado : E K f tal que e f
E,K
= f
M,K ,
onde f
(x) = f (x) para cada x M f (x)| : x E, x = 1 = sup |f = sup {|f (x)| : x M, x = 1} .

E,K
e f
Antnio Bento (UBI)
M,K

Demonstrao do Teorema de Hahn-Banach em espaos normados
= 0. Suponhamos que M = {0}. Se M = {0}, ento f = 0 e a extenso f Para todo o x M temos |f (x)| f
M,K
x .
Denindo p : E R por p(x) = f M,K x verica-se facilmente que p uma : E K linear tal que semi-norma em E . Pelo Teorema 5.2.3 existe f (x) = f (x) para cada x M f e ou seja, (x) p(x) para cada x E, f (x) f f
M,K
para cada x E.
2006/2007 367 / 398
Antnio Bento (UBI)
Anlise Funcional
Dem. do Teorema de Hahn-Banach em espaos normados (cont.).

limitado e Logo f f
E,K
Atendendo a que M E tambm se tem f

E,K
M,K
(x)| : x E, x = 1 = sup |f = f
M,K
sup {|f (x)| : x M, x = 1} .
Logo
E,K
= f
M,K
Antnio Bento (UBI)
Anlise Funcional
2006/2007
368 / 398
Corolrio 5.2.5
Sejam E um espao normado e x0 E \ {0}. Ento existe um funcional linear limitado f : E K tal que f =1 e f (x0 ) = x0 .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
369 / 398
Demonstrao do Corolrio 5.2.5.

Seja M = {x0 } e dena-se g : M K por g (x0 ) = x0 . Ento g um funcional linear e limitado com g = 1. Pelo teorema anterior existe um funcional f : E K tal que f (x) = g (x) para cada x M Alm disso, f (x0 ) = g (x0 ) = g (1.x0 ) = x0 , o que prova o pretendido. e f = g = 1.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
370 / 398
Corolrio 5.2.6
Seja E um espao normado. Para cada x E tem-se x = sup |f (x)| : f E, f = 0 . f
Antnio Bento (UBI)
Anlise Funcional
2006/2007
371 / 398

Demonstrao do Corolrio 5.2.6.
Se x = 0, ento o resultado trivial. Dado x E \ {0}, seja f0 : E K o funcional do corolrio anterior que verica o seguinte f0 = 1 e f0 (x) = x Assim, sup |f (x)| : f E, f = 0 f |f0 (x)| = x f0 x o que implica = x .
Por outro lado, para qualquer f E tem-se |f (x)| f sup Logo x = sup |f (x)| : f E, f = 0 . f
Anlise Funcional
|f (x)| : f E, f = 0 f
sup
f f
: f E, f = 0
Antnio Bento (UBI)
2006/2007
372 / 398
ndice
1
5.3 Teorema de Banach-Steinhaus

Para demonstrarmos o Teorema de Banach-Steinhaus precisamos do Teorema da Categoria de Baire. Seja A um subconjunto de um espao mtrico (X, d). Diz-se que A raro ou nenhures denso se A no tem pontos interiores, ou seja, int A = . Dizemos que A de primeira categoria se A puder ser escrito como a reunio numervel de subconjuntos raros. Se A no puder ser escrito como a reunio numervel de subconjunto raros, dizemos que A de segunda categoria.
Teorema 5.3.1 (Teorema da Categoria de Baire)

Os espaos mtricos completos so de segunda categoria.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
374 / 398

Demonstrao do Teorema da Categoria de Baire
Seja X um espao mtrico completo e suponhamos que X de primeira categoria. Ento X=
+ n=1
An
com int An = , n N. Como int A1 = , A1 = X e, portanto, X \ A1 = um subconjunto de X no vazio e aberto. Escolhamos x1 X \ A1 tal que Por hiptese A2 raro, ou seja, A2 no contm nenhum subconjunto de X aberto e no vazio. Em particular, no contm B1 /2 (x1 ), isto , B1 /2 (x1 ) X \ A2 = . Como B1 /2 (x1 ) X \ A2 um subconjunto de X aberto e no vazio, existe x2 X tal que 1 B2 (x2 ) B1 /2 (x1 ) X \ A2 e 2 . 2
B1 (x1 ) X \ A1 .

Demonstrao do Teorema da Categoria de Baire (continuao)
Por induo, existe uma sucesso (xn ) de elementos de X e uma sucesso (n ) de nmeros reais positivos tais que Bn+1 (xn+1 ) Bn /2 (xn ) X \ An+1 e n+1 n . 2
e, portanto,
A sucesso (xn ) uma sucesso de Cauchy pois Bn+1 (xn+1 ) Bn (xn ) e 1 n+1 n e, como X completo, existe x X tal que xn x. Alm disso, 2 temos para n > m Bn (xn ) Bm /2 (xm ) d(xm , x) d(xm , xn ) + d(xn , x) < m m + d(xn , x) . 2 2
Antnio Bento (UBI)
Anlise Funcional
2006/2007
376 / 398
Demonstrao do Teorema da Categoria de Baire (continuao).

Logo x pertence a toda a bola Bm (xm ). Mas Bm (xm ) X \ Am para cada m N e isto implica e, por conseguinte, x Am para cada m N x o que absurdo. Logo X de segunda categoria.
+ m=1
Am = X
Antnio Bento (UBI)
Anlise Funcional
2006/2007
377 / 398
Teorema 5.3.2 (Teorema de Banach-Steinhaus)

Sejam E um espao de Banach, F um espao normado e (Tn )nN uma sucesso de operadores lineares contnuos de E em F . Suponhamos que para cada x E , existe Cx > 0 tal que Tn x Cx para qualquer nmero natural n. Ento a sucesso (Tn )nN limitada em L (E, F ), ou seja, existe C > 0 tal que Tn C para qualquer nmero natural n.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
378 / 398

Demonstrao do Teorema de Banach-Steinhaus
Para cada nmero natural k , denamos Ak = {x E : Tn x k para cada nmero natural n} . Ento Ak =
nN
{x E : Tn x k } =
1 E Tn Bk [0] nN
o que prova que os conjuntos Ak so fechados. Como para cada x E , existe Cx > 0 tal que Tn x Cx para qualquer nmero natural n, vem que E=
k N
Ak .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
379 / 398

Demonstrao do Teorema de Banach-Steinhaus (continuao)
O Teorema de Baire garante-nos que existe um nmero natural m tal que Am tem interior no vazio. Assim, existem x0 E e r > 0 tais que Br (x0 ) Am . Para cada x E \ {0}, denamos x = x0 + Ento x x0 = e, portanto, o que implica x Br (x0 ) Am Tn x m para cada n N.
r x. 2 x r 2

Demonstrao do Teorema de Banach-Steinhaus (continuao).
Assim, para cada x E \ {0} vem Tn x = Tn = 2 x (x x0 ) r
2 x Tn (x x0 ) r 2 x 2 x Tn (x ) + r r 2 x 2 x m+ m r r 4m = x r Tn
Tn (x0 )
o que mostra que
4m para qualquer n N. r
Antnio Bento (UBI)
ndice
1
5.4 Teoremas da aplicao aberta e do grco fechado
Para demonstrarmos o Teorema da aplicao aberta precisamos do lema que se segue.
Lema 5.4.1
Sejam E e F dois espaos de Banach e T : E F um operador linear limitado e E sobrejectivo. Ento T B1 (0) contm uma bola aberta de F centrada 0.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
383 / 398

Demonstrao do Lema 5.4.1
Seja B a bola aberta de E de centro 0 e raio 1/2, ou seja,
E B = B1 /2 (0).
Para cada x E , existe um nmero k tal que

E x Bk/ 2 (0) = kB
e, portanto, E= Atendendo a que T sobrejectivo vem F = T (E ) = T

+ k=1 + k=1
kB.
kB
+ k=1
kT (B ) =
+ k=1
kT (B ).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
384 / 398

Demonstrao do Lema 5.4.1 (continuao)
Como F completo, pelo Teorema da Categoria de Baire, tem-se que um dos conjunto kT (B ) tem interior no vazio e, por conseguinte, contm uma bola aberta. Atendendo a que kT (B ) = kT (B ), T (B ) tambm contm uma bola aberta, isto , existe y0 T (B ) tal que
F B (y0 ) T (B ).
Isto implica que

F F B (0) = {y0 } + B (y0 ) {y0 } + T (B ). F E (0)). Para isso basta mostrar que Vejamos que B (0) T (B1 E (0)). {y0 } + T (B ) T (B1

Seja y {y0 } + T (B ). Ento y + y0 T (B ) e, como y0 T (B ), existem sucesses (wn )nN e (zn )nN de elementos de B tais que un = T wn y + y0 vn = T zn y0 . 1 1 + =1 2 2
quando n +. Ento
wn zn wn + zn <
E e, portanto, wn zn B1 (0).
2006/2007
386 / 398

Atendendo a que vem que T (wn zn ) = T wn T zn = un vn T (wn zn ) y
E (0)). y T (B1
quando n + e, portanto,
Logo
F E (0)). B (0) T (B1
Antnio Bento (UBI)
Anlise Funcional
2006/2007
387 / 398

Podemos agora provar que
F E B/ 2 (0) T (B1 (0)).
Comecemos por observar que B/2n (0) = 1 B (0) 2n 1 E (0)) n T (B1 2 1 E (0)) = n T (B1 2 1 E =T B (0) 2n 1
E = T (B1 /2n (0))
Antnio Bento (UBI)
Anlise Funcional
2006/2007
388 / 398

E F E Seja y B/ 2 (0). Ento y T (B1/2 (0)) e, portanto, existe v T (B1/2 (0)) tal que y v F < /4.
E E Como v T (B1 /2 (0)), existe x1 B1/2 (0) tal que v = T x1 e, portanto,
y T x1 Assim,
< /4.
F E y T x1 B/ 4 (0) T (B1/4 (0)) E e, consequentemente, existe x2 B/ 4 (0) tal que
y T x1 T x2 pelo que
/23
F E y T x1 T x2 B/ 23 (0) T (B1/23 (0)).


Por induo prova-se que existe uma sucesso (xn )nN tal que
n
xn
E B/ 2n+1 (0)
T xk
k=1 F
<
2n+1
Seja zn = x1 + + xn . Ento para n > m temos zn zm

E
= xm+1 + + xn E xm+1 E + + xn
n
k=m+1
2k+1
o que mostra que (zn ) uma sucesso de Cauchy. Como E completo, (zn ) converge para algum x E .

Demonstrao do Lema 5.4.1 (continuao).
Alm disso, x
E k=1 k=1 k=1
xk
E
xk
1 2k+1
1 < 1, 2
E ou seja, x B1 (0). Por outro lado, tem-se n n
y T zn
= yT
xk
k=1 F
= y
T (xk )
k=1 F
<
2n+1
o que mostra que a sucesso (T zn ) converge para y . Como T contnuo, (T zn ) tem de convergir para T x pois (zn ) converge para x. Logo y = T x e, atendendo a E E que x B1 (0) vem que y T B1 (0) . Logo
F E B/ 2 (0) T (B1 (0)),
o que termina a demonstrao.

Teorema 5.4.2 (Teorema da aplicao aberta)

Sejam E e F espaos de Banach e T : E F um operador linear limitado e sobrejectivo. Ento T uma aplicao aberta, ou seja, a imagem por T de um aberto de E um aberto de F .
Antnio Bento (UBI)
Anlise Funcional
2006/2007
392 / 398
Demonstrao do Teorema da Aplicao Aberta

Sejam A um aberto de E e y T (A). Ento existe x A tal que y = T x. Como A aberto, existe r > 0 tal que
E Br (x) A.
Pelo lema anterior, existe > 0 tal que

F E B (0) T (B1 (0)).
Antnio Bento (UBI)
Anlise Funcional
2006/2007
393 / 398
Demonstrao do Teorema da Aplicao Aberta (continuao)

F E F Vejamos que Br (T x) T (Br (x)) T (A). Seja z Br (T x). Ento
z Tx o que implica Tx z r r isto ,
< r
< ,
F
z Tx F E B (0) T (B1 (0)). r r
Antnio Bento (UBI)
Anlise Funcional
2006/2007
394 / 398
Demonstrao do Teorema da Aplicao Aberta (continuao).

Mas isto implica que o que equivalente a
E z T x rT (B1 (0)) E z T x + T (rB1 (0))
o que por sua vez equivalente a
E z T (Br (x)) T (A).
Logo T (A) aberto o que demonstra que T uma aplicao aberta.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
395 / 398
Corolrio 5.4.3
Sejam E e F espaos de Banach e T : E F um operador linear limitado e bectivo. Ento T 1 : F E um operador linear limitado.
Demonstrao.
Como T transforma abertos de E em aberto de F , T 1 uma aplicao contnua. Ora T 1 : F E linear e, por conseguinte, T 1 um operador linear contnuo.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
396 / 398

Sejam E e F espaos de Banach. Em E F dene-se uma norma da seguinte forma: (x, y ) E F = x E + y F . Com esta norma E F um espao de Banach.
Se T : E F uma aplicao linear (no necessariamente contnua), dene-se o grco de T como sendo o conjunto G(T ) = {(x, T x) E F : x E } .
Teorema 5.4.4 (Teorema do grco fechado)

Sejam E e F espaos de Banach e seja T : E F uma aplicao linear. Se o grco de T fechado em E F , ento T contnua.
Antnio Bento (UBI)
Anlise Funcional
2006/2007
397 / 398

Demonstrao do Teorema do grco fechado.
Como G(T ) um subconjunto fechado de E F , G(T ) completo. Alm disso, G(T ) um subespao vectorial de E F e, consequentemente, G(T ) um espao de Banach. Seja : G(T ) E a aplicao de projeco cannica denida por (x, T x) = x. O operador obviamente linear e contnuo pois (x, T x)
E
= x
+ Tx
= (x, T x)
E F
para cada x E . Ento Tx

F
Tambm fcil ver que sobrejectivo. Logo 1 contnuo, ou seja, existe C > 0 tal que (x, T x) E F C x E x + Tx = (x, T x) C x
E F
para cada x E , o que mostra que T contnuo.


Af Slides 2 em 1

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Af Slides 2 em 1

Uploaded by

Copyright:

Available Formats

Anlise Funcional

Antnio Bento (UBI)

1.1 Espaos vectoriais

Antnio Bento (UBI)

1.1 Espaos vectoriais

1.1 Espaos vectoriais

Antnio Bento (UBI)

1.1 Espaos vectoriais

Antnio Bento (UBI)

1.1 Espaos vectoriais

Antnio Bento (UBI)

1.1 Espaos vectoriais

Antnio Bento (UBI)

1.1 Espaos vectoriais

Antnio Bento (UBI)

1.1 Espaos vectoriais

Antnio Bento (UBI)

1.1 Espaos vectoriais

Antnio Bento (UBI)

1.1 Espaos vectoriais

Antnio Bento (UBI)

1.2 Espaos normados

Antnio Bento (UBI)

1.2 Espaos normados

Antnio Bento (UBI)

1.2 Espaos normados

Antnio Bento (UBI)

1.2 Espaos normados

Antnio Bento (UBI)

1.2 Espaos normados

Antnio Bento (UBI)

1.2 Espaos normados

Antnio Bento (UBI)

1.2 Espaos normados

Antnio Bento (UBI)

1.2 Espaos normados

Antnio Bento (UBI)

1.1 Espaos vectoriais

|xn + yn | tambm convergente.

Antnio Bento (UBI)

1.2 Espaos normados

x+y x + y Desigualdade triangular

Antnio Bento (UBI)

1.2 Espaos normados

Seja y = (y1 , . . . , yn ) outro elemento de Rn . Como

usando a desigualdade de Cauchy-Schwarz

tem-se x+y e, por conseguinte, x+y

1.2 Espaos normados

(xi + yi )2 0 onde um nmero real qualquer temos

2 2 x2 0 e, portanto, i + 2xi yi + yi i=1 n n n

pelo que fazendo C =

para qualquer R. Assim B 4AC 0 e, portanto,

o que equivalente desigualdade de Cauchy-Schwarz

1.2 Espaos normados

Antnio Bento (UBI)

1.2 Espaos normados

Antnio Bento (UBI)

1.2 Espaos normados

A funo f : [0, +[ R denida por f (t) =

1.2 Espaos normados

e, consequentemente, obtemos a desigualdade de Hlder

1.2 Espaos normados

Antnio Bento (UBI)