Академический Документы
Профессиональный Документы
Культура Документы
Sum
ario
1 Introduc
ao
1.1 Teoria de Conjuntos . . . . . . . . . . . . . . . . . . . . . . .
1.2 Espacos Metricos . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1. Distancia de um ponto a um conjunto e entre conjuntos
1.2.2. Coberturas e Conjuntos Totalmente Limitados . . . . .
1.3 Analise Funcional Elementar . . . . . . . . . . . . . . . . . . .
1.3.1. Espacos Vetoriais Normados . . . . . . . . . . . . . . .
1.3.2. O Teorema de Hahn-Banach Analtico . . . . . . . . .
1.3.3. Conseq
uencias do Teorema de Categoria . . . . . . . .
1.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2 An
alise Funcional
2.1 Formas Geometricas do Teorema de Hahn-Banach . . . . . . . . .
2.2 Funcoes Convexas Conjugadas . . . . . . . . . . . . . . . . . . . .
2.3 Complemento Topologico . . . . . . . . . . . . . . . . . . . . . . .
2.4 Relacoes de Ortogonalidade . . . . . . . . . . . . . . . . . . . . .
2.5 Transformacoes Lineares . . . . . . . . . . . . . . . . . . . . . . .
2.6 Caracterizacao de Transformacoes Lineares com Imagem Fechada
2.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3 Topologias Fraca e Fraca
3.1 Lema de Riesz . . . . . . . . . . . . . . . . . .
3.2 Topologia induzida por uma famlia de funcoes
3.3 Produto Carteziano e o Teorema de Tychonoff
3.4 Topologia Fraca e suas Propriedades . . . . .
3.5 Os Conjuntos Convexos e a Topologia Fraca .
3.6 A Topologia Fraca . . . . . . . . . . . . . . .
3.7 Exerccios . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
4
6
6
9
9
12
15
19
.
.
.
.
.
.
.
20
20
24
33
34
40
44
48
.
.
.
.
.
.
.
51
51
52
56
57
61
62
68
4 Reflexividade e Separabilidade
70
4.1 Espacos Reflexivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.2 Espacos Separaveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4.3 Espacos Uniformemente Convexos . . . . . . . . . . . . . . . . . . . . . . . . . 80
1
5 Espacos Lp ()
5.1 Definicao e Propriedades Elementares . . . . . . . . . .
5.2 Convexidade Uniforme e Reflexividade . . . . . . . . .
5.3 Separabilidade . . . . . . . . . . . . . . . . . . . . . . .
5.3.1. Separabilidade de C(K, M) . . . . . . . . . . .
5.3.2. Separabilidade dos Espacos Lp (), 1 p <
5.4 Particularidades dos Espacos L1 () e L () . . . . .
5.4.1. Particularidades do Espaco L1 () . . . . . . . .
5.4.2. Particularidades do Espaco L () . . . . . . .
5.5 Primeira Prova . . . . . . . . . . . . . . . . . . . . . .
5.6 Convolucao e Regularizacao . . . . . . . . . . . . . . .
5.6.1. Definicao e Propriedades Elementares . . . . . .
5.6.2. Suporte da Convolucao . . . . . . . . . . . . . .
5.6.3. Seq
uencias Regularizantes . . . . . . . . . . . .
5.7 Criterio de Compacidade Forte em Lp () . . . . . . .
5.8 Operadores de Nemitiski . . . . . . . . . . . . . . . . .
5.9 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
83
83
84
91
91
93
95
95
98
99
102
102
104
107
109
113
115
6 Espacos de Hilbert
6.1 Revisao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2 Os Teoremas de Lax-Milgram e Stampachia . . . . . . . . . . . . . . . . . .
6.3 Apendice: Base de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . .
116
. 116
. 122
. 124
.
.
.
.
128
. 128
. 130
. 136
. 140
.
.
.
.
.
.
143
. 143
. 144
. 160
. 161
. 164
. 167
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Captulo 1
Introduc
ao
Preliminares
1.1
Teoria de Conjuntos
Lema de Zorn Se X e um conjunto parcialmente ordenado e todo subconjunto totalmente ordenado de X tem um limitante superior entao X tem um
elemento maximal.
O Princpio da Boa Ordenac
ao Todo conjunto nao vazio X possui uma
boa ordenacao.
O Axioma da Escolha Se {x }A e uma colecao de conjuntos nao vazios
entao A X = {f : A A X : f () X } e nao vazio.
Corol
ario Se {X }A e uma colecao disjunta de conjuntos nao vazios, existe
Y A X tal que Y X contem precisamente um elemento para cada
A.
1.2
Espacos M
etricos
1/n xn x.
6 b 6 c Se Br (x) E = (x, y) r, y E @ seq
uencia em E que
converge para x.
Proposic
ao 1.2.2. f : X1 X2 e contnua f 1 (U ) e um subconjunto
aberto de X1 sempre que U e um subconjunto aberto de X2 .
Prova: Se f e contnua e U X2 e aberto entao para cada x f 1 (U ) temos
que existe > 0 com B (f (x)) U e > 0 tal que B (x) f 1 (B (f (x))
f 1 (U ). Logo f 1 (U ) e aberto. Se f 1 (U ) e aberto sempre que U e aberto,
> 0 e x X seja U = B (f (x)) f 1 (U ) 3 X e aberto existe > 0 tal
que B (x) f 1 (B (f (x)) portanto f e contnua.
Uma seq
uencia {xn } em um espaco metrico (X, ) e dita de Cauchy se
(xn , xm ) 0 quando n, m . Um subconjunto E de X e dito completo
se toda seq
uencia de Cauchy em E converge em E.
Proposic
ao 1.2.3. Um subconjunto fechado de um espaco metrico completo e
completo e um subconjunto completo de um espaco metrico qualquer e fechado.
Prova: Se X e completo, E X e fechado e {xn } e de Cauchy em E {xn }
tem um limite x X. Segue da Proposicao 1.2.1 que x E e como E
e fechado x E. Se E X e completo e x E existe uma seq
uencia
n
E 3 xn x logo {xn } e de Cauchy em E x E e E = E .
1.2.1.
Dist
ancia de um ponto a um conjunto e entre conjuntos
kj1
X
`=0
cubos e 2R/k e o diametro e n(2R/k) < 2 . Logo eles estao contidos nas
bolas de raio em torno dos seus centros.
1.3
1.3.1.
An
alise Funcional Elementar
Espacos Vetoriais Normados
x X.
P
PN
Uma serie
x
e
dita
convergente
em
X
se
n
n=1
1 xn x quando N
P
e absolutamente convergente se 1 kxn k e convergente.
Teorema 1.3.2. Um espaco vetorial normado e completo toda serie absolutamente convergente e convergente.
P
Prova: Se X e um espaco de Banach e
e facil ver que
n=1 kxn k <
Pn
{ k=1 xk } e uma seq
uencia de Cauchy e portanto convergente.
Por outro lado, se X e um espaco vetorial normado X onde toda serie
absolutamente convergente e convergente e {xn } e uma seq
uencia de Cauchy,
entao existem n1 < n2 < em N tais que
kxn xm k 2j
n, m nj
y j = xn k
j=1
k
X
kyj k ky1 k +
j=1
k
X
Definic
ao 1.3.3. T : X Y linear entre dois espacos vetoriais normados e
limitada se c 0 tal que kT xkY ckxkX , X.
Proposic
ao 1.3.4. Se X, Y sao espacos vetoriais normados T : X Y e
linear, sao equivalentes:
1. T e contnua,
2. T e contnua em 0,
3. T e limitada.
10
Prova:
evidente.
12 E
2 3 Dado = 1 existe > 0 tal que T ([B (0)] ) T (B2 (0)) {y
x
Y : kyk < 1}. Como kT xk 1 quando kxk temos que kT kxk
k 1 para
0 6= x X. Segue que kT xk 1 kxk para todo x X.
3 1 Se existe c > 0 tal que, x, y X, kT x T yk ckx yk e > 0
e dado, escolhemos = c . Entao kx yk < implica kT x T yk < c c = .
L(X, Y ) denota o conjunto das transformacoes lineares e contnuas de X
em Y . L(X, Y ) e um espaco vetorial normado com norma
kT k : = inf{c 0 : kT xk ckxk, x X}
kT xk
= sup
kxkX kxk
x6=0
(1.1)
= sup kT xk
kxk=1
Proposic
ao 1.3.5. Se Y e completo entao L(X, Y ) e completo.
Prova: Seja {Tn } uma seq
uencia de Cauchy em L(X, Y ). Entao {Tn x} e de
Cauchy em Y . Defina T x = lim Tn x.
n
n1
Logo T L(X, Y ). Alem disso, dado > 0, existe N N tal que kTn Tm k <
para todo m, n > N e
kTn x Tm xk = kTn Tm k kxk < kxk m, n N e x X
Logo
kTn x T xk kxk n N e x X.
Portanto kTn T k para todo n N e Tn T .
1.3.2.
Definic
ao 1.3.7. Se X e normado, um funcional sublinear e uma func
ao
p : X R tal que
p(x + y) p(x) + p(y) e
p(x) = p(x)
x, y X
0.
Teorema 1.3.8 (Hahn-Banach). Seja X um espaco vetorial real, p um fun X e f um funcional linear em M tal que f (x)
cional sublinear em X, M sev
p(x) para todo x M . Entao existe um funcional linear F em X tal que
F (x) p(x) para todo x X e F|M = f .
12
f X .
x(f ) +
x(f ) = T (x)(f ) + T (y)(f ), para toda f X . Note que
|
x(f )| = |f (x)| kf k kxk k
xk kxk.
Por outro lado de b) existe f x tal que f (x) = kxk, kf k = 1 e isto
implica que |
x(f )| = f (x) = kxk e k
xk kxk.
= {
tambem
Seja X
x : x X}. Como X e um espaco de Banach [X]
e uma imersao densa de X em [X]
. [X]
e
e Banach e x 3 X x X
= X.
Conseq
u
encias do Teorema de Categoria
[
Prova do Teorema da Aplicac
ao Aberta: Como X =
BnX (0) e T
e sobre temos que Y =
n=1
n=1
homeomorfismo de Y nele mesmo que leva B1X (0) em BnX (0). Do Teorema de
Baire T (B1X (0)) nao pode ser nunca denso. Isto e, existe y0 Y e r > 0 tal
Y
que B4r
(y0 ) esta contido em [T (B1X (0))] . Tome y1 = T x1 T (B1X (0)) tal
Y
Y
que ky1 y0 k < 2r. Entao B2r
(y1 ) B4r
(y0 ) [T (B1X (0))] , logo se kyk < 2r
y = T x1 + y y1 T (B1X (0)) + [T (B1X (0))] 2[T (B2X (0))] .
16
Dividindo ambos os lados por 2 conclumos que r > 0 tal que se kyk < r
entao y [T (B1X (0))] . O resultado agora segue dos Lemas anteriores.
Corol
ario 1.3.15. Se X e Y sao espacos de Banach e T L(X, Y ) e bijetora,
entao T e um isomorfismo; isto e, T 1 L(Y, X).
X).
Seja T : D(T ) X Y uma transformacao linear (e claro que D(T )sev
Definimos o grafico de T por
supT A kT k < .
b) Se X e um espaco de Banach e supT A kT xk < para todo x X,
entao supT A kT k < .
Prova: Basta provar a) que b) segue do Teorema de Categoria de Baire. Seja
\
En = {x X : sup kT xk n} =
{x X : kT xk n}.
T A
T A
[
n1
En contem um conjunto de
segunda categoria devemos ter que algum En contem uma bola nao trivial
17
[Br (x0 )] , r > 0. Entao E2n [Br (0)] pois sempre que kxk r temos que
x + x0 [Br (x0 )] En e
kT xk = kT (x x0 )k + kT x0 k n + n = 2n , T A.
Logo kT xk 2n sempre que kxk r e para todo T A de onde segue que
kT k
2n
T A.
r
Corol
ario 1.3.18. Se X, Y sao espacos vetoriais normados e {Tn } L(X, Y )
e tal que {Tn x} converge para cada x X e T : X Y e definida por
T x = limn Tn x, entao T L(X, Y ) e kT k lim inf kTn k .
Corol
ario 1.3.19. Se X e um espaco de Banach e B X, suponha que
S
f X f (B) = bB f (b) e limitado. Entao B e limitado
Prova: Defina b : X K por
b(f ) = f (b).
Entao para cada f X
sup |b(f )| = sup |f (b)| <
bB
bB
bB
Corol
ario 1.3.20. Seja X um espaco de Banach e B X . Suponhamos
S
que x X o conjunto B (x) = b B f (x) e limitado. Entao B e limitado.
Prova: Por hipotese |b (x)| cx para todo b B . Segue do Princpio da
Limitacao Uniforme que supb B kb k < .
18
1.4
Exerccios
kT xk
= sup kT xk.
kxk
kxk=1
19
Captulo 2
An
alise Funcional
Primeira Aula (100 minutos)
2.1
Formas Geom
etricas do Teorema de Hahn-Banach
f (x0 )
r
20
e portanto
kf k
f (x0 )
.
r
Definic
ao 2.1.4. Se A, B X diremos que o hiperplano de equacao [f = ]
separa A e B no sentido fraco se
f (x) x A e
f (x) x B .
Diremos que o hiperplano de equac
ao [f = ] separa A e B no sentido forte
se existe > 0 tal que
f (x) x A e
f (x) + x B .
Teorema 2.1.5. [Hahn-Banach (Primeira Forma Geometrica)] Seja X um
espaco vetorial normado real e sejam A, B X dois conjuntos convexos, nao
vazios e disjuntos. Se A e aberto existe um hiperplano fechado que separa A
e B no sentido fraco.
Para provar este resultado precisamos dos lemas seguintes:
Lema 2.1.6. [O Funcional de Minkowski de um convexo] Seja X um espaco
vetorial normado sobre R e C X um aberto convexo com 0 C. Para todo
x X defina
p(x) = inf{ > 0 ; 1 x C}
(p e o funcional de Minkowski de C). Entao, p e um funcional sub-linear
(veja Definicao 1.3.7) e existe M tal que
0 p(x) M kxk, x X ,
C = {x X : p(x) < 1} .
(2.1)
Prova: Seja r > 0 Tal que B2r (0) C. Note que, para todo x X,
x
r
B2r (0) C e portanto
kxk
p(x)
21
1
kxk
r
1
e a primeira parte de (2.1) segue fazendo M = . Se x C, existe > 0
r
1
< 1. Reciprocamente se p(x) < 1
tal que (1 + )x C. Assim p(x)
1+
existe 0 < < 1 tal que 1 x C e assim x = (1 x) + (1 )0 C.
claro que p(x) =
Vamos agora verificar que p e um funcional sub-linear. E
x
y
p(x), > 0. Se x, y X seja > 0. Entao
C e
p(x) +
p(y) +
(1 t)y
tx
+
C para todo t [0, 1]. Em particular se t =
C
p(x) +
p(y) +
p(x) +
x+y
obtemos
C. Disto obtemos que p(x +
p(x) + p(y) + 2
p(x) + p(y) + 2
y) p(x) + p(y) + 2, > 0 e o resultado segue.
tR.
claro que
E
(
g(x) = g(tx0 ) =
Demonstrac
ao do Teorema
Seja C = A B. Entao C e convexo e aberto e 0 6 C (pois A B = ).
Segue do lema acima que existe f X tal que
f (z) < 0 z C
22
e portanto
f (a) < f (b) a A e b B .
Seja tal que supaA f (x) inf bB f (b). Entao, o hiperplano de equacao
[f = ] separa A e B no sentido fraco.
Corol
ario 2.1.9. Seja X um espaco vetorial normado sobre K e F X um
subespaco vetorial proprio de X (F ( X). Entao, existe f X , f 6= 0 tal
que
f (x) = 0, x F
Prova: Sabemos que se X e um espaco vetorial normado sobre R. Dado
x0 6 F , existe f X R linear contnua tal que
f (x) f (x0 ), x F.
Segue que, f (x) = 0, x F .
Seja g : X C dado por g(x) = f (x) if (ix) no caso em que X e um
espaco vetorial normado sobre C.
freq
Obs.: E
uente utilizar o corolario acima para mostrar que F e denso
mostrando que
f (x) = 0, x F f = 0.
23
2.2
Funco
es Convexas Conjugadas
epi()
X
Definic
ao 2.2.1. : X (, ] e semicontnua inferiormente se para
todo x X
lim inf (y) := lim
inf (y) (x)
yx
yB (x)
y6=x
24
O que mostra que (x, ) epi() e que epi() e fechado. Se por outro
lado epi() e fechado, para cada e xn x e, X tomamos n = (xn ).
Se lim inf n n = + conclumos. Se lim inf n = tomamos
qualquer ponto (x, ) com < (x) que esta em epi() (basta notar
que epi() 3 (xn , ) (x, ) para n suficientemente grande) e nao esta
em epi() obtendo uma contradicao com o fato de epi() ser fechado.
Se lim inf n n R, {n } tem uma subseq
uencia {nk } que converge
para = lim inf n n e (xnk , nk ) epi(). Segue do fato que epi() e
fechado que (x, ) epi(), ou seja, (x) lim inf n (xn ).
zX
25
Definic
ao 2.2.2. Seja X um espaco vetorial sobre K. Uma funcao : X
(, ] e convexa se
(tx + (1 t)y) t(x) + (1 t)(y) x, y X, t [0, 1]
Propriedades: Se X e um espaco vetorial normado e : X (, ] e
uma funcao, temos que:
a) e convexa se, e somente se, epi() e convexo.
Prova: Suponha que epi() e convexo e que (x, ), (y, ) epi().
Entao, para t [0, 1],
t(x, ) + (1 t)(y, ) = (tx + (1 t)y, t + (1 t)) epi().
Disto segue que (tx + (1 t)y) t + (1 t). O resultado segue,
tomando-se = (x) e = (y).
Por outro lado, se e convexa e (x, ), (y, ) epi() temos,
(tx + (1 t)y) t(x) + (1 t)(y) t + (1 t),
[0, 1].
f X .
xX
Proposic
ao 2.2.4. Seja X e um espaco vetorial normado real e : X
(, ] tal que 6 . Entao, e convexa e semicontnua inferiormente.
em X .
26
Proposic
ao 2.2.5. Seja X e um espaco vetorial normado real e uma func
ao
convexa, semicontnua inferiormente. com 6 . Entao 6 .
Prova: Seja x0 D() e 0 < (x0 ). Aplicando a Segunda Forma Geometrica do Teorema Hahn-Banach com A = epi() e B = {(x0 , 0 )} em
X R,
R6
A=epi()
B={(x0 ,0 )}
(2.2)
e entao
f (x0 ) + K(x0 ) > > f (x0 ) + K0 .
De onde
K(0 (x0 )) < 0 K > 0
e de (2.2)
e portanto
1
f (x) (x) < /K, x D()
K
f < .
K
Definic
ao 2.2.6. Para 6 definimos a funcao : X (, ] por
(x) = sup {f (x) (f )} .
f X
(2.3)
(2.4)
K +
K +
e pela definicao de (x0 ) segue que
f
f
f
(x0 )
(x0 ) +
(x0 )
K +
K +
K +
K +
Logo
f (x0 ) + (K + ) (x0 ) , > 0
o que contradiz (2.4).
a etapa: Caso geral
2
Seja f0 D( ) , (D( ) 6= da Proposicao 2.2.5). Para recairmos no caso
anterior introduzimos a funcao
(x)
Exemplo 2.2.1. Seja X um espaco vetorial normado real e (x) = kxk. Vamos calcular e .
Em primeiro lugar, note que f (x) kxk 0 f X com kf k 1. Disto
segue que supxX {f (x) kxk} 0. A igualdade segue tomando x = 0. Por
outro lado, para kf k > 1 temos que
sup{f (x) kxk} sup n{f (
xX
xX
kxk=n
x
) 1} = n(kf k 1).
kxk
Disto segue que supxX {f (x) kxk} = + para todo f X com kf k > 1.
Logo,
(
0 for kf k 1
(f ) =
for kf k > 1.
Logo
(x) = sup {f (x) (f )} = sup f (x) = kxk = (x)
f X
kf k1
f X
xX
f X
f X
30
Prova: Fazemos
a = inf {(x) + (x)}
xX
b = sup { (f ) (f )}
f X
= sup
f X
= sup
f X
sup
f X
xX
xX
xX
xX
xX
(x)
(x) (x)
.
K
K
K
K
K
K
Segue de ii) (fazendo = (x) + a, x D()) e da definicao de que
f
f
a
(x) +
(x) (x)
a .
K
K
K
K
K
K
Disto obtemos que
b
e segue que b = a =
atingido em
f
K
f
K
f
K
f
K
f
K
. Em particular o supremo em b e
f X
kf k1
32
xK
xK
xX
2.3
Complemento Topol
ogico
Antes de enunciar o nosso proximo resultado vamos tecer algumas consideracoes a cerca do Teorema da Aplicacao Aberta. Sejam V e W espacos de
Banach sobre K e T : V W uma transformacao linear contnua sobrejetora. Entao T e uma aplicacao aberta e isto significar que existe c1 > 0 tal
que T (B1 (0)) Bc1 (0). Consequentemente, para cada w Bc1 (0) existe
y
v B1 (0) tal que T v = w. Se y W , seja y 0 =
c1 e portanto, existe
kyk
0
0
0
0
x B1 (0) tal que T x = y se x = x kyk c temos que T x = y e
kxk ckyk.
Conclus
ao: Se V, W sao espacos de Banach sobre K, T : V W e uma
transformacao linear contnua sobrejetora, entao existe c > 0 tal que para
cada w W podemos encontrar v V com kvk ckwk e w = T v.
Teorema 2.3.1. Seja X um espaco de Banach sobre K , Y e Z subespacos
vetoriais fechados tais que Y + Z e fechado. Entao, existe c 0 tal que
(
todo x Y + Z admite uma decomposicao da forma
x = y + z com y Y e z Z , kyk ckxk e kzk ckxk
33
dist(x, Y Z)
kx (y y 0 )k
kx yk + ky 0 k kx yk + cky zk
(1 + c)kx yk + ckx zk
(1 + c)[dist(x, Y ) + dist(y, Z)] + (1 + 2c)
2.4
Relac
oes de Ortogonalidade
e
N = {x X : f (x) = 0, f N }.
Diremos que M (respectivamente N ) e o ortogonal de M (respectivamente de N ). Observe que M (respectivamente N ) e um subespaco vetorial
fechado de X (respectivamente de X). Para provar este fato note que
Se f (M ) existe uma seq
uencia {fn } em M com fn f . Segue
que 0 = fn (x) f (x), x M e f M .
\
xM
kxk1
gM
35
gM
e
inf {(x) + (x)} = inf f (x) = sup f (x).
xX
xM
kxk1
xM
kxk1
2) (N ) = {f X : f (x) = 0 x N }
Se f N entao f (x) = 0 para todo x N . Segue que f (N )
e que N (N ) . Do fato que (N ) e fechado, segue que N
(N )
Lemma 2.4.2. Seja X um espaco vetorial normado sobre K, M1 , M2 subespacos vetoriais de X com M1 M2 e N1 , N2 subespacos vetoriais de X com
N1 N2 . Entao M2 M1 e N2 M1 .
Prova: Se f M2 entao f (x) = 0 para todo x M2 . Como M1 M2 segue
que f (x) = 0 para todo x M1 e portanto f M1 . O restante da prova e
deixado como exerccio.
Proposic
ao 2.4.3. Sejam Y e Z subespacos vetoriais fechados de X, entao
36
Y Z = (Y + Z )
Y Z = (Y + Z)
1)
2)
d) Y + Z = (Y Z)
Prova: Note que a) c) da Proposicao 2.4.3, parte 2) e da Proposicao 2.4.1,
parte 1). Ainda, d) b) e obvia pois o ortogonal de qualquer subespaco de
X e fechado. Resta mostrar a) d) e b) a).
a) d) Segue, da Proposicao 2.4.3, que Y Z = (Y + Z ) e, da
Proposicao 2.4.1, que Y + Z (Y Z) . Basta mostrar que (Y Z)
Y + Z . Seja f (Y Z) e defina : Y + Z R da seguinte forma; dado
x Y + Z, x = y + z com y Y e z Z pomos
(x) = f (y)
observe que se x = y 0 + z 0 = y + z, entao como y 0 y = z z 0 Y Z,
f (y 0 y) = 0 e f (y 0 ) = f (y).
Utilizando o Teorema 2.3.1, podemos escolher a decomposicao de forma
que kyk ckxk. Assim
|(x)| ckxk,
x Y + Z.
e
e Z .
(2.5)
xY
kxk1
xZ
kxk1
(2.6)
38
(2.7)
xY +Z
kxk1
xY +Z
kxk1
(2.8)
xZ
kxk1
xY
kxk1
xZ
kxk1
x0
x0
1
kx0 k < f
,
kx0 k
c
kx0 k
o que esta em contradicao com (2.8). Com isto a inclusao (2.4) esta demonstrada.
Por fim, considere o espaco V = Y Z dotado da norma
k(x, y)k = max{kxk, kyk}
e o espaco W = Y + Z com a norma herdada de X. A aplicacao T : V W
definida por T (x, y) = x + y e linear contnua e por (2.4)
T (B1V (0)) = B1Y (0) + B1Z (0) B W
1 (0)
c
e T e sobre; isto e,
T (V ) = Y + Z = Y + Z = W.
39
2.5
Transformaco
es Lineares
Nesta secao vamos estudar alguns fatos elementares sobre os transforma claro, do Teorema do Grafico Fechado (Teorema
coes lineares nao limitadas. E
1.3.16), que se X, Y sao espacos de Banach e A : X Y e uma transformacao
linear fechada entao, A e limitada.
Em geral, estaremos apenas interessados em estudar transformacoes lineares fechadas definidas entre espacos de Banach X, Y . Assim, as u
nicas
transformacoes lineares fechadas A : D(A) X Y , que nao sao limitados
estao definidos em um subespaco vetorial D(A) ( X. Se D(A) e denso em X
diremos que A e densamente definida.
Diremos que uma transformacao linear A : D(A) X Y e limitada se
existe uma constante c 0 tal que
kAuk ckuk,
u D(A).
Se A e limitada e densamente definida, podemos estende-la a uma transformacao linear limitada definida em X e neste caso A nao e fechada (a
menos que D(A) = X).
Nesta secao, estaremos interessados principalmente em transformacoes lineares fechadas densamente definidas e ilimitadas A : D(A) X X.
Seja A : D(A) X Y uma transformacao linear. Entao,
D(A) e o Domnio de A,
G(A) = {(x, Ax) X Y : u D(A)} X Y e o Grafico de A,
Im(A) = {Ax Y : x D(A)} Y e a Imagem de A e
N (A) = {x D(A) : Ax = 0} e o N
ucleo de A.
Exemplo 2.5.1. Seja X = C([0, 1], R) com a norma usual e defina A :
D(A) X X por D(A) = C 1 ([0, 1], R) e (Au)(s) = u0 (s), x [0, 1].
Definic
ao 2.5.1. Diremos que uma transformacao linear e fechada se G(A)
e fechado em XY .
40
uma conseq
E
uencia imediata da definicao que
Proposic
ao 2.5.2. Seja A : D(A) X X uma transformac
ao linear.
Entao, A e fechado se, e somente se, para toda seq
uencia {(un , Aun )} em
D(A) Y que e convergente em X Y para (u, v) X Y , temos que
u D(A) e Au = v.
Diremos que uma transformacao linear A e fechavel se G(A) e grafico de
uma transformacao linear. Neste caso G(A) define uma transformacao linear
X Y e D(A)
D(A), Au = Au
u D(A). E
claro que
A : D(A)
A e fechada e que A e a menor extensao fechada de A.
Proposic
ao 2.5.3. Seja A : D(A) X X uma transformac
ao linear.
Entao, A e fechavel se, e somente se, para toda seq
uencia {(un , Aun )} em
D(A) Y que e convergente em X Y para (0, v) X Y , temos que v = 0.
Prova: A e fechavel G(A) e grafico de uma transformacao linear. Deno = G(A).
tamos por A a transformacao linear tal que G(A)
Se {un } e uma seq
Suponha que A e fechavel com fecho A.
uencia em D(A)
que converge para zero e tal que {Aun } e convergente com limite v devemos
= v.
ter que 0 = A0
Suponha agora que, para toda seq
uencia {(un , Aun )} em D(A) Y que e
convergente em X Y para (0, v), temos que v = 0. Se (u, v), (u, v) G(A)
existem seq
uencias {(un , Aun )} e {(
un , A
un )} tais que (un , Aun ) (u, v) e
(
un , A
un ) (u, v) em X Y . Desta forma, un un D(A) e
(un un , A(un un )) (0, v v)
e isto implica que v = v. Isto mostra que G(A) e grafico de uma trans claro que esta transformacao e linear e o resultado segue.
formacao. E
Prova: Note que (v, f ) G(A ) se, e somente se, f (u) = v(Au) para todo
u D(A) ou, dito de outra forma, f (u) + v(Au) = 0 para todo u D(A).
Por sua vez, esta u
ltima identidade e equivalente `a (f, v)(u, Au) = 0 para
todo (u, Au) G(A); ou seja, (f, v) G(A) . Isto e o mesmo que J (v, f )
G(A) .
{(u, Au) + (e
u, 0) : u D(A), u
e X}
{(u + u
e, Au) : u D(A), u
e X}
{(v, Au) : v X, u D(A)}
XIm(A)
c) G W = {(f, v) : v D(A ), A v = f } 0Y
= {(0, v) : v D(A ), A v = 0}
= {0}N (A )
d) G + W =
=
=
=
{(f, v) : v D(A ), A v = f } + 0Y
{(A v, v) : v D(A )} + 0Y
{(A v, v + w) : v D(A ), w Y }
Im(A )Y
Corol
ario 2.5.7. Seja A : D(A) X Y , fechado e densamente definido.
Entao
i) N (A) = Im(A )
ii) N (A ) = Im(A)
iii) N (A) Im(A )
iv) N (A ) = Im(A)
Prova:
43
2.6
Caracterizac
ao de Transformaco
es Lineares com Imagem Fechada
e Im(A )Y = G + W .
e b = (0, v) W .
1
A{xn } =
xn .
n
Entao A = A , N (A) = {0}, N (A ) = {0}, {yn } = n1 `2 e A{xn } = {yn }
nao tem solucao em `2 e portanto, A nao e sobrejetora.
Teorema 2.6.5. Se A : D(A) X Y e fechado e densamente definido.
Sao equivalentes:
a) D(A) = X
b) A e limitado
kAkL(X,Y ) = kA kL(Y ,X ) .
c) D(A ) = Y
d) A e limitado
Prova: As implicacoes a) b) e c) d) seguem imediatamente do Teorema
do Grafico Fechado (Teorema 1.3.16).
Para mostrar que b) c), basta lembrar que se A e limitado e f Y
entao f A e limitado e portanto f D(A ).
Resta apenas mostrar que d) a). Em primeiro lugar, mostremos que
D(A ) e fechado. Seja v D(A ) e {vn } uma seq
uencia em D(A ) que
converge para v. Segue do fato que A e limitado que
m,n
kA (vn vm )k ckvn vm k 0
e {A vn } e uma seq
uencia de Cauchy (portanto convergente). Seja f =
limn A vn .
Portanto,
n
uX
kuk1
Portanto kA k kAk.
kAuk = sup |hv, Aui| = sup |hA v, ui| kA k kuk
vY
kvk1
vY
kvk1
kAk kA k
e a igualdade segue.
2.7
Exerccios
1. Descreva os hiperplanos em X = Rn .
2. Mostre que f X se, e so se, sup{f (x) : x X, kxk = 1} < e neste
caso kf k = sup{f (x) : x X, kxk = 1} = inf{f (x) : x X, kxk = 1}.
3. Represente a separacao de convexos por hiperplanos em Rn para n =
1, 2, 3.
4. Verifique que a hipotese f 6= 0 na definicao de um hiperplano garante que
todos os hiperplanos sao subconjuntos nao vazios de X 6= {0}. Mostre
que todo hiperplano e convexo.
5. Diremos que E X e estrelado com centro em x0 se tx + (1 t)x0 E
para todo x E e para todo t [0, 1]. Mostre que um resultado analogo
ao Lemma 2.1.6 continua valido se pedimos que C seja estrelado com
centro em x = 0 exceto que p nao mais satisfaz a desigualdade triangular.
48
6. Complete a prova do Teorema 2.1.5 para que esta inclua o caso em que
0
/ A B.
7. Sejam X um espaco vetorial normado, A, B subconjuntos de X. Suponha
que A e aberto e mostre que A + B e aberto.
8. Mostre que se f X entao
kf k = sup{f (z) : z X, kzk 1} = inf{f (z) : z X, kzk 1}.
9. Generalize o teorema acima pedindo que d(A, B) > 0 em lugar de pedir
que A e fechado e B e compacto.
10. Mostre que, para cada x0 X existe funcional linear contnuo f : X R
tal que f (x0 ) = kx0 k e kf k = 1.
11. Se 1 e 2 sao semicontnuas inferiormente. entao 1 +2 e semicontnua
inferiormente.
12. Se (i )iI e uma famlia de funcoes semicontnuas inferiormente. Entao
(x) = sup i (x) e semicontnua inferiormente.
iI
e convexa.
50
u D(A).
Captulo 3
Topologias Fraca e Fraca
Setima Aula (100 minutos)
Muitas solucoes de problemas matematicos importantes sao obtidas como
mnimos, maximos ou pontos fixos de funcoes definidas em espacos de dimensao infinita. Desta forma a nocao de compacidade desempenha um papel
fundamental para a solucao de in
umeras questoes importantes em analise
matematica.
Seja X um espaco vetorial normado com dimensao infinita. Veremos na
Secao 3.1 que nenhum subconjunto de X com interior nao vazio e compacto
na topologia induzida pela norma. Isto faz com que os compactos de X nao
contenham qualquer bola e torna complicada a analise de in
umeros problemas
matematicos. Para resolver este problema, procuramos dotar X de topologias
com menos abertos e, consequentemente, com mais compactos de forma a
possibilitar a solucao desses problemas. Estas topologias sao a topologia fraca
em X e fraca* em X .
3.1
Lema de Riesz
Prova: Sem perda de generalidade podemos supor que 0 < < 1. Seja
v X\M . Como M e fechado, dist(v, M ) > 0. Escolha m0 M tal que
vm0
d
. Seja u = kvm
e m M , entao m0 + kv m0 km M
d kv m0 k 1
0k
e u satisfaz
v m0
v m0 mkv m0 k
d
ku mk =
1 .
kv m0 k m =
kv m0 k
kv m0 k
Teorema 3.1.2 (Riesz). Seja X um espaco vetorial normado sobre K tal que
1 (0) = {x X : kxk 1} e compacta. Entao X tem dimensao finita.
B
Prova: Suponha, por absurdo, que X tem dimensao infinita. Entao existem
subespacos Mn , n N, de X tais que dimMn = n e Mn Mn+1 , para
todo n N. Como Mn e fechado, segue do Lema 3.1.1 que existe un Mn
facil ver que {un } nao tem
com kun k = 1 e tal que dist(un , Mn1 ) 21 . E
subseq
uencia convergente o que contradiz a compacidade de B1 (0).
3.2
Proposic
ao 3.2.3. Se E 2X , T (E) consiste de , X e das unioes quaisquer
de intersecoes finitas de elementos de E.
facil ver que a famlia constituida pelas intersecoes finitas de
Prova: E
elementos de E e X satisfaz as condicoes da Proposicao 3.2.2. Segue da
Proposicao 3.2.1 que a famlia das unioes quaisquer de tais conjuntos e uma
topologia que claramente esta contida em T e portanto e igual a T .
Proposic
ao 3.2.4. Seja X um conjunto e T a topologia em X induzida pela
famlia de funcoes i : X K, i I. Se {xn } e uma seq
uencia em X,
entao {xn } converge para x (ou abreviadamente xn x se, e somente se,
i (xn ) i (x) i I.
Prova: Se xn x, entao i (xn ) i (x), i I, ja que cada i e contnua.
Reciprocamente, suponha que i (xn ) i (x), i I. Mostremos que xn
x. Seja U uma vizinhanca de x. Seja J I finito e Vj , j J, abertos de K
tais que x J 1
j (Vj ) U . Para cada j J, Nj N tal que j (xn ) Vj
para n Ni . Se N = max{Nj : j J} segue que xn 1
j (Vj ), j J e
portanto xn U , n N e portanto xn x.
Proposic
ao 3.2.5. Seja X um conjunto e T a topologia em X induzida pela
famlia de funcoes i : X K, i I. Se (Z, ) e um espaco topologico e
: Z X e uma funcao entao, e contnua se, e somente se, i e
contnua de Z em K, i I.
Prova: Se e contnua, entao i e tambem contnua, para cada i I,
como composta de funcoes contnuas. Inversamente, se i e contnua, para
cada i I, seja U T e mostremos que 1 (U ) . Sabemos que
[ \
U=
1
i (Vi ), Vi aberto em K.
qualquer finita
Logo
1 (U ) =
1 (1
i (Vi )) =
qualquer finita
(i )1 (Vi ).
qualquer finita
3.3
A X
Exemplo 3.3.1.
RR e o conjunto das funcoes reais com valores reais.
CN e o conjunto das seq
uencias de n
umeros complexos.
Y
Um elemento de
X e denotado por w = (w )A .
A
w 7 w
A T .
Em espacos de dimensao finita, compactos sao abundantes e caracterizados de forma bastante simples. Infelizmente, este nao e o caso em espacos
de dimensao infinita. Qualquer resultado que caracterize esses compactos e
extremamente u
til ja que compactos desempenham um papel fundamental em
analise. Quase todos os resultados que caracterizam os compactos em espacos
de dimensao infinita sao obtidos dos Teoremas de Tychonoff e do Teorema
de Arzela-Ascoli. Em particular, a introducao das topologias fraca e fraca
com o objetivo de aumentar o n
umero de compactos nos espacos vetoriais
normados de dimensao infinita estudados se inspira no teorema de Tychonoff
que demonstramos a seguir.
Teorema 3.3.1 (de Tychonoff).
Se X ,! A s
ao espacos topol
ogicos com
Y
Y
pactos, entao (X, T ) :=
X ,
T e compacto.
A
56
F.
F F
3.4
Proposic
ao 3.4.2. Seja X um espaco vetorial normado real. A topologia
fraca (X, X ) e de Hausdorff.
Prova: Se x1 , x2 X e x1 6= x2 , do Teorema 2.1.8 (Segunda Forma Geometrica do Teorema de Hahn-Banach), existe f X , R tais que
f (x1 ) < < f (x2 ).
Seja 1 = f 1 ((, )) e 2 = f 1 ((, )). Logo 1 e 2 sao abertos disjuntos
com x1 1 e x2 2 . Ainda 1 e 2 estao em (X, X ).
Proposic
ao 3.4.3. Seja X um espaco vetorial normado real e x0 X. Obtemos uma base de vizinhancas de x0 na topologia (X, X ) ao considerar os
conjuntos da forma
V = {x X : |hfi , x x0 i| < , i I},
onde I e finito, fi X e > 0.
Prova: Se ai = hfi , x0 i = fi (x0 ), entao e claro que
\
V =
1
fi ((ai , ai + ))
(3.1)
iI
, ai + )) W U .
Logo, se U (X, X ) e x0 U , existe V da forma (3.1) tal que V 3 x0 .
Notac
ao: {xn } X e fracamente convergente para X se e convergente no
sentido de (X, X ). Neste caso escrevemos xn * x.
Proposic
ao 3.4.4. Seja X um espaco vetorial normado sobre K e {xn } uma
seq
uencia em X. Temos que:
i) xn * x f (xn ) f (x) f X
58
ii) Se xn x entao xn * x
iii) Se xn * x entao {kxn k} e limitada e kxk lim inf kxn k
iv) Se xn * x e se fn f em X (kfn f kX 0), entao fn (xn ) f (x).
Prova:
i) Segue da Proposicao 3.2.4 e da definicao de (X, X ).
ii) Segue de i) pois |hf, xn i hf, xi| kf k kx xn k.
iii) Basta mostrar que {hf, xn i}nN e limitada para cada f X e aplicar o
Princpio da Limitacao Uniforme (Teorema 1.3.17). Com isto {kxn k} e
limitada. Ainda, para cada f X ,
|hf, xn i| kf k kxn k,
logo
|hf, xi| kf k lim kxn k
e
kxk = sup |hf, xi| lim kxn k.
kf k1
Proposic
ao 3.4.5. Quando X e um espaco vetorial normado real de dimensao finita a topologia fraca (X, X ) e a topologia induzida pela norma
coincidem. Em particular, uma seq
uencia {xn } converge fracamente se, e
somente se, kxn xk 0 quando n .
59
i I} U.
para todo x V .
Escolhemos = nr e entao x B(X0 , r). Segue que V Br (x0 ) U e a
demonstracao esta concluda.
Exemplo 3.4.1. Seja X um espaco vetorial normado real de dimensao infinita. Entao, S = {x X : kxk = 1} nunca e fechado na topologia fraca.
Mais exatamente, mostraremos que
seria injetora e portanto um isomorfismo sobre sua imagem. Isto nos daria
que dimX n.
A funcao g(t) = kx0 +ty0 k e contnua em [0, ) com g(0) < 1 e lim g(t) =
t
+. Segue que existe t > 0 tal que kx0 +ty0 k = 1. Como hfi , x0 +ty0 x0 i = 0,
1 i n, temos que x0 + ty0 V para todo t R. Desta forma x0 + ty0
V {x X : kxk = 1} e x0 S (X,X ) .
A igualdade sera mostrada posteriormente quando mostrarmos que todo
convexo que e fechado na topologia forte e tambem fechado na topologia fraca.
Exemplo 3.4.2. O conjunto U = {x X : kxk < 1} nunca e aberto na
topologia fraca pois, pelo que vimos no exemplo anterior, nenhum de seus
pontos e ponto interior.
Obs.: Podem haver (em geral ha) seq
uencias que convergem fracamente (em
um espaco de dimensao infinita) e nao convergem fortemente. Por exemplo,
se X e separavel e X e reflexivo, sempre se pode construir uma seq
uencia
{xn } que e fracamente convergente para zero com kxn k = 1. Contudo ha
espacos de dimensao infinita onde toda seq
uencia fracamente convergente e
convergente, como por exemplo X = `1 .
3.5
Todo conjunto fechado/aberto se (X, X ) e tambem um conjunto fechado/aberto na induzida pela norma. A recproca em geral e falsa como vimos nos
Exemplos 3.4.1 e 3.4.2. O teorema a seguir mostra que a recproca vale se o
conjunto fechado na topologia forte e tambem convexo; ou seja, todo conjunto
convexo que e fechado na topologia forte e tambem fechado na topologia fraca.
Teorema 3.5.1. Se X e um espaco vetorial normado real e C X e convexo,
sao equivalentes:
a) C fechado na topologia forte
b) C fechado na topologia fraca
Prova: b) a) e obvia. Mostremos que a) b). Para este fim, vamos
mostrar que C c e aberto em (X, X ). De fato, dado x0 6 C pelo Teorema
61
y C.
Faca
V = {x X : hf, xi < } = f 1 (, )
entao, x0 V , V C = e portanto V C c . Como V (X, X ), temos
que C c (X, X ).
(X,X )
kk
Corol
ario 3.5.2. Seja X um espaco vetorial normado e T a topologia induzida pela norma em X. Se : (X, T ) (, ] uma func
ao convexa
e semicontnua inferiormente, entao : (X, (X, X )) (, ]. Em
particular, se xn * x, entao
(x) lim inf (xn ).
suficiente provar que para to do R o conjunto
Prova: E
A = {x X : (x) }
e fechado em (X, X ). Como A e convexo e fechado na topologia forte,
3.6
A Topologia Fraca
xX
kxk1
62
kf k1
f X
Proposic
ao 3.6.3. Seja X um espaco vetorial normado sobre R. Obtemos
uma base de vizinhancas de f0 X para a topologia (X , X) ao considerar
V = {f X : |hf f0 , xi i| < , i I},
onde xi X, I e finito e > 0.
Notac
ao: Quando fn f em (X , (X , X)), escrevemos
fn * f
e diremos que fn converge para f na topologia fraca .
Da mesma forma, a prova da proposicao a seguir e deixada como um exerccio para o leitor.
Proposic
ao 3.6.4. Seja X um espaco vetorial normado sobre K. Se {fn }
X temos:
n
X
i=1
64
i i .
(3.2)
n
X
i i (u),
uX
i=1
consequentemente, temos
(u) +
n
X
i i (u) = 0,
u X.
i=1
Logo, < 0 e
(u) =
n
X
i
i=1
i (u),
u X,
como queramos.
Proposic
ao 3.6.6. Seja X um espaco vetorial normado real, se a func
ao
f V.
i=1
Corol
ario 3.6.7. Seja X um espaco vetorial normado sobre R e H um hiperplano em X . Se H e fechado na topologia (X , X), entao H e da forma
H = {f X : hf, xi = },
para algum 0 6= x X e R.
Prova: O conjunto H e da forma
H = {f X : (f ) = }
: X R, 6 0. Seja f0 6 H e V uma vizinhanca de f0 na topologia
(X , X) tal que V H c . Podemos supor que
V = {f X : |hf f0 , xi i| < , 1 i n}.
Como V e convexo temos que
(f ) < , f V ou (f ) > , f V
(3.3)
(3.4)
K2 = {w Y : wx+y = wx + wy , wx = wx , R, x, y X}
=
x,yX
{w Y : wx+y wx wy = 0}
|
{z
}
Ax,y
T\
R
xX
{w Y : wx wx = 0} .
|
{z
}
By
3.7
Exerccios
69
Captulo 4
Reflexividade e Separabilidade
Decima Primeira Aula (100 minutos)
4.1
Espacos Reflexivos
Definic
ao 4.1.1. Seja X um espaco de Banach e J : X X a injec
ao
canonica de X em X . Diremos que X e reflexivo se J(X) = X .
Observac
ao 2. Se X e um espaco vetorial normado, como X e sempre completo, X so podera ser reflexivo se for completo. Desta forma, uma condic
ao
necessaria para que J : X X seja sobrejetora e que X seja um espaco de
Banach.
Ja vimos que J e um isomorfismo isometrico. Assim, quando X e reflexivo
identificamos X e X .
importante usar J na identificacao ja que ha espacos tal que X e X
E
sao isometricos que nao sao reflexivos.
Na nossa busca por topologias em X onde tivessemos mais conjuntos compactos chegamos a obter que a bola fechada unitaria de X e compacta na
topologia fraca . No entanto ainda nao obtivemos qualquer resultado que
nos permita dizer algo sobre os compactos de (X, (X, X )). Os resultados a
seguir sao conclusivos a este respeito e suas aplicacoes sao in
umeras.
Teorema 4.1.2. Se X e um espaco de Banach reflexivo, entao
BX = {x X : kxk 1}
70
n
X
i i
i fi .
i=1
i=1
i=1
|i |. De i) segue
n
n
n
n
X
X
X
i i h
i fi , x i
i i
i hfi , x i < S
i=1
e assim
n
X
i=1
i=1
i=1
n
n
X
X
i i
i fi + S, > 0.
i=1
i=1
71
ii) i) Se
~ = (1 , . . . , n ) Rn e
~ : X Rn e definida por
n
n
X
i fi , xi < <
i i , x BX ;
h
i=1
isto e,
i=1
n
n
X
i fi <
i i , que contradiz ii).
i=1
i=1
n
X
i i = h ,
i fi i
i fi
i=1
i=1
i=1
(ja que kk 1). Segue do Lema 4.1.3 que existe x BX tal que
|hfi , x i i | < , 1 i n;
isto e, Jx J(BX ) V .
72
Observac
ao 3. J(BX ) e fechado em BX com a topologia forte (BX e completo e J e isometria). Assim J(BX ) em geral nao e denso em BX com a
topologia forte (exceto quando X e reflexivo).
Teorema 4.1.5. Seja X um espaco de Banach. Se
BX = {x X : kxk 1}
e compacta em (X, (X, X )) entao, X e reflexivo.
Prova: Observemos primeiramente que J : X X uma isometria e portanto e contnua. Assim J : (X, (X, X )) (X , (X , X )) tambem e
contnua e portanto J : (X, (X, X )) (X , (X , X )) e contnua. Consequentemente J(BX ) e compacto na topologia (X , X ). Como J(BX ) e
denso em BX na topologia (X , X ) conclumos que
J(BX ) = BX e portanto J(X) = X .
Corol
ario 4.1.6. Seja X um espaco de Banach. Entao,
BX = {x X : kxk 1}
e compacta em (X, (X, X )) se, e somente se, X e reflexivo.
Proposic
ao 4.1.7. Se X e Banach reflexivo e M e um subespaco vetorial
fechado de X, entao M com a topologia induzida por X e reflexivo.
Prova: As topologias (M, M ) e a topologia induzida em M por (X, X )
coincidem. Basta mostrar que BM e compacta em (M, M ). Mas BX e
compacta em (X, X ) e M e fechado em (X, X ). Logo BM e compacto
em (X, X ) logo tambem e compacto na topologia (M, M ).
xA
kxk
(4.1)
(x0 ) (x), x A.
Se x A \ A temos que (x0 ) (a) (x) e portanto
(x0 ) (x), x A.
(4.2)
(4.3)
4.2
Espacos Separ
aveis
Definic
ao 4.2.1. Diremos que um espaco metrico (X, d) e separ
avel se X
possuir um subconjunto enumeravel e denso.
Proposic
ao 4.2.2. Se (X, d) e um espaco metrico separ
avel e Y e um subconjunto de X, entao (Y, d) e separavel.
Prova: Como (X, d) e separavel existe {um : m N} X denso em X.
Seja {rn : n N} (0, ) tal que lim rn = 0 e escolha am,n Brn (um ) Y
n
1
kfn k. Seja L0 o espaco vetorial
2
gerado por {xn } com coeficientes em Q e L o gerado por {xn } com coeficientes
claro que L0 e enumeravel e denso em L. Se provarmos que L e
em R. E
denso em X, o resultado seguira. Seja f X tal que hf, xi = 0, x L.
O resultado seguira se mostrarmos que f = 0. Dado > 0 existe n N
tal que
kf fn k < 3 , e
1
X
1
|hf g, xn i.|
d(f, g) =
n
2
n=1
X
1
d(f, g) =
|hf h + h g, xn i|
n
2
n=1
X
X
1
1
|hf
h,
x
i|
+
|hh g, xn i|
n
n
n
2
2
n=1
n=1
tal que kyi xni k < . Fixemos r > 0 tal que 2ni r < , 1 i k e
4
2
demonstremos que, para esta escolha de r, U V . Se f BX e tal que
d(f, f0 ) < r, entao
1
|hf f0 , xni i| < r, 1 i k
2ni
e assim
X
X
1
1
d(f, f0 ) =
|hf
f
,
x
i|
+
|hf f0 , xn i|
0
n
n
n
2
2
n=1
n=k+1
1
< + k1 .
2
r
1
r
Escolhemos < e k N tal que k1 < . Segue que f0 V U ,
2
2
2
como queramos.
Reciprocamente, suponhamos que(BX , (X , X)) e metriz
avel e mostre1
e Vn uma vizmos que X e separavel. Seja Un = f BX : d(f, 0) <
n
inhanca de 0 em (X , X) tal que Vn Un . Podemos supor que Vn e da
forma
{f BX : |hf, xi| < n , x n }
[
onde n e um conjunto finito. Observemos que D =
n e enumeravel.
Por outro lado
n=1
Vn = {0}
n=1
Corol
ario 4.2.6. Se X e Banach separ
avel e {fn } e uma seq
uencia limitada
79
4.3
Definic
ao 4.3.1. Um espaco vetorial normado X e dito uniformemente convexo se, para todo > 0, existe > 0 tal que
x + y
x, y BX , e kx yk
(4.4)
2 1 .
Exemplo 4.3.1. Seja H um espaco com produto interno h, i : H H R.
facil ver que vale a identidade do paralelogramo
E
u + v 2 u v 2 1
+
= kuk2 + 1 kvk2 , u, v H.
2
2
2
2
Usando esta identidade e facil concluir que H e uniformemente convexo. De
fato, se kuk = kvk = 1, > 0 e ku vk , entao
2
u + v 2
u v 2
=1
1
2
2
4
e portanto
u + v
2 1 ,
2
onde = 1 1
4
12
.
Disto segue que todo espaco com produto interno H e uniformemente convexo.
Teorema 4.3.2. Todo espaco de Banach uniformemente convexo e reflexivo.
80
h, f i > 1 .
(4.5)
2
, entao V (X , X ). Logo, do
Se V = X : |h , f i| <
2
Lema 4.1.4, V J(BX ) e nao vazio. Para completar a demonstracao, fixemos
x BX tal que Jx V e mostremos que Jx + BX . Suponha que
(Jx + BX )c = W . Note que W (X , X ) ja que BX e fechado
em (X , X ). Outra aplicacao do Lema 4.1.4 nos da que
(V W ) J(BX ) 6= ;
isto e, existe x BX tal que J x V W . Como Jx, J x V temos que
)
(4.6)
De (4.6) e do fato que J x W e portanto kx xk > obtemos uma contradicao com a convexidade uniforme de X.
Corol
ario 4.3.3. Todo espaco de Hilbert e reflexivo.
Proposic
ao 4.3.4. Seja X uniformemente convexo e {xn } uma seq
uencia em
X tal que xn * x e
limkxn k kxk.
Entao xn x.
Prova: Podemos supor que x 6= 0. Seja n = max{kxn k, kxk}, entao
kxk lim sup n lim inf n kxk
n
81
e y=
x
,
kxk
yn + y
yn + y
lim inf
kyk.
kyk lim sup
n
2
2
n
82
Captulo 5
Espa
cos Lp()
Neste captulo fixamos (, M, ) um espaco de medida e identificamos funcoes mensuraveis f : R que sao iguais quase sempre. No caso em que
RN , supomos que RN e dotado da medida de Lebesgue.
5.1
Definic
ao e Propriedades Elementares
Definic
ao 5.1.1. Seja p (0, ); definimos
Lp () := {f : R | f e mensuravel e |f |p L1 ()}
e para p =
L () = {f : R : f e mensuravel e c 0 tal que
|f (x)| c quase sempre em }
Tambem definimos, para 0 < p < , k kp : Lp () R+ por
1/p
Z
|f (x)|p d
kf kp :=
e para p =
kf k = kf kL = inf{c : |f (x)| c quase sempre em }.
Observamos que se = N e e a medida da contagem entao Lp () = `p .
Notac
ao: Se 1 p denotamos por q o n
umero definido por
1 1
a) + = 1 se 1 < p <
p q
83
b) q = 1 se p = e q = se p = 1.
O n
umero q e chamado expoente conjugado de p. Vimos em Analise I que os
seguintes resultados valem
Vimos em Analise I que Lp (), 1 p , e um espaco de Banach com a
norma definida acima.
5.2
p
< 0. Se f Lp () e
p1
|g(x)|p dx < ,
0<
ent
ao
|f (x)|p dx
|f (x)g(x)|dx
p1 Z
p1
|g(x)|p dx
.
Z
p Z
pp
=
|f (x)g(x)|dx
|g(x)|p dx
.
1
obtemos kf kLp () kf gkL1 () kgk1
, como queramos.
Lp ()
p
A seguir apresentamos uma versao da desiguladade de Minkowski para
0 < p < 1.
elevando a
84
u, v Lp ().
(5.1)
( kukLp () + kvkLp () )
(|u(x)| + |v(x)|)(p1)p dx
p
= p 1.
p
(1 + x)p
f (x) =
(1 + xp )
satisfaz, f (0) = 1 = lim f (x) e f (x) > 1 se 0 < x < . Segue que f atinge o
x
1sx
x
e uma func
ao decrescente
1
1
(sx x ln s (1 sx )) = 2 (sx sx ln sx 1)
2
x
x
85
)
x
0
e se g(t) = t t ln t 1, entao f 0 (x) = g(s
x2 . Como 0 < s < 1 e g (t) =
ln t > 0 para 0 < t < 1, segue que g(sx ) < g(1) = 0 e f 0 (x) < 0.
p1
1 t p
1 + t p
1
1
p
2 + 2 2 + 2t
onde p =
p
e o expoente conjugado de p.
p1
=1 e
p
k
p(p 1) (p k + 1)
p!
=
, k 1.
k!(p k)!
k!
X
1 X p k 1 X p
p 1 p k
k
s +
(s)
s
2
k
2
k
k
k=0
k=0
k=0
X
X
p
p 1 p k
=
s2k
s
2k
k
k=0
k=0
p
X
p1
p 1 2p k
2k
p (2k1)
=
s
s
s
.
2k 1
2k
2k
k=1
Esta u
ltima serie e convergente para 0 < s < 1. Provamos a desigualdade
mostrando que cada termo da serie e positivo para 0 < s < 1. O k-esimo
86
(p1)(2p)(2k1p) p (2k1)
s
(2k1)!
(2p)(3p)(2kp) 2k
s
(2k1)!
p(p1)
2k(2kp)
(p1)(2p)(2kp) 2kp
s
(2k)!
p1 p (2k1)2k
(2kp) s
p1 2kp 2k
2k s
(2p)(3p)(2kp) 2k
s
(2k1)!
p2k+2k
2k(2kp)
p1
1
(2kp)
p1
p
p1 (2k1)2k
(2p)(3p)(2kp) 2k
s
(2k1)!
(2p)(3p)(2kp)
(2k1)!
2kp
p1
<
2k
p1 .
(2kp)
p1
2k
p1
p
2k ( p1
1)
(2kp)
1s p1
(2kp)
p1
2k
p
p1 .
2k
1s p1
2k
p1
> 0, pelo
(2kp)
p1
2k
p1
1/p1
z + w p
z w p
1
1
p
p
|z| + |w|
2 + 2
2
2
onde p =
1s p1
1s
(5.2)
Se 2 p < , entao
z + w p z w p
+
1 |z|p + 1 |w|p .
2
2
2
2
(5.3)
1 + rei p
1 rei p
1
p 1/p1
2 2 2 (1 + r )
onde w/z = rei , 0 r 1, 0 < 2. Se = 0 o resultado foi provado no
lema anterior. Completamos a prova mostrando que para r fixo a funcao
p
p
f () = 1 + rei + 1 rei
tem o seu maximo atingido em = 0. Como
f () = (1 + r2 + 2 r cos )p
/2
87
+ (1 + r2 2 r cos )p
/2
p11
pp
z + w p z w p
1
1
1
1
|z|p + |w|p
=
|z|p + |w|p
2 + 2
2
2
2
2
pp
p
1
1
2 p 1 (|z|p + |w|p ) = ( |z|p + |w|p ) ,
2
2
e o resultado esta provado.
u + v p
u v p
1
1
p
p
2 p + 2 p 2 kukLp + 2 kvkLp ,
Lp
Lp
p 1
u + v
u v
1
1
p
p
.
2 p + 2 p 2 kukp + 2 kvkp
L
L
p
.
p1
(5.4)
(5.5)
Se 1 < p 2, entao
p 1
u + v p
u v p
1
1
p
p
,
2 p + 2 p 2 kukLp + 2 kvkLp
L
L
u + v p
u v p
+
1 kukp p + 1 kvkp p .
L
L
2 p 2 p
2
2
L
L
(5.6)
(5.7)
e integrando sobre . Para provar (5.6) para 1 < p < 2 note que k|u|p kLp1 =
u + v p
u v p
2 p + 2 p
L
L
=
(5.1)
=
(5.2)
u + v p
u v p
2
2
p1
p1
p
p
u + v
u v
2
2
p1
! 1
Z u + v p u v p p1 p1
2
2
p 1
Z
1
1
p
p
|u| + |w|
2
2
p 1
1
1
p
p
kukLp + kvkLp
2
2
p
p !p1
1 p 1 p
+
|| + || ,
2
2
2
2
que e obtida de (5.2) trocando p por p , z por + , w por .
Finalmente, fazendo z = + e w = em (5.3)
p
p !
p
p !
+
+
+
2
||p + ||p 2p 1
2
2
2
2
onde utilizamos que 1 < p 2. Disto obtemos
+ p
p
+
1 ||p + 1 ||p
2
2
2
2
e (5.7) segue integrando esta desigualdade, para = u(x) e = v(x), em .
Corol
ario 5.2.8. Se 1 < p < Lp () e uniformemente convexo.
89
u + v p u v p
2 + 2 1
de onde segue que
p
u + v p
1
2
2p
p
u + v
2 1 ,
p
p
com = 1 1 p
2
p
u + v p
1
2 p
2
L
e
u + v
2 p 1 ,
L
p
com = 1 1 p
2
p1
.
Corol
ario 5.2.9. Se 1 < p < , entao Lp () e reflexivo.
Decima Quarta Aula (100 minutos)
Decima Quinta Aula (100 minutos)
Agora utilizaremos este resultado para identificar o dual de espacos Lp (),
1 < p < . Ha outras provas do teorema abaixo que nao envolvem a necessidade de se saber a priori que os espacos Lp (), 1 < p < , sao reflexivos mas
estas envolvem o Teorema de Radon-Nikodyn que tambem nao sera abordado
neste curso.
Teorema 5.2.10 (de Representacao de Riesz). Seja 1 < p < e
90
e uma isometria sobre (Lp ()) . Isto permite identificar Lp () e (Lp ()) o
que sera adotado sistematicamente.
Entao,
| hT u, f i | kukLp kf kLp
e portanto kT uk(Lp ()) kukLp () . Por outro lado se f0 (x) = |u(x)|p2 u(x),
0 = hJh, T ui = hT u, hi =
uh = 0, u Lp ()., u Lp ().
5.3
5.3.1.
Separabilidade
Separabilidade de C(K, M)
Definic
ao 5.3.1. Seja B 2M uma cobertura aberta de um espaco metrico
M . Diremos que um n
umero > 0 e um n
umero de Lebesgue de B se todo
subconjunto de M com diametro menor que estiver contido em algum B .
Proposic
ao 5.3.2. Se (X, d) e um espaco metrico compacto, entao toda
cobertura aberta B de (X, d) possui um n
umero de Lebesgue.
Prova: Faremos a prova por reducao ao absurdo. Suponha que B e uma
cobertura aberta do espaco metrico compacto (X, d) que nao possui n
umero
de Lebesgue. Entao, para cada n N e cobertura aberta On de X com
diam(O) < n1 , O O, existe On On tal que On nao esta contido
em qualquer dos elementos de B. Seja {xn } uma seq
uencia qualquer com
xn On . Podemos assumir que {xn } e convergente e x X e o seu limite.
Entao x Bx para algum Bx X e consequentemente, existe > 0 tal que
B (x) Bx . Segue do fato que diam(On ) < n1 , do fato que xn On e do
fato que xn x que existe N N tal que On B (x) para todo n N .
Consequentemente On Bx B para todo n N o que e um absurdo.
Proposic
ao 5.3.3. Sejam K e M espacos metricos. Se K e compacto e que
M e separavel, entao C(K, M ) com a topologia da convergencia uniforme e
separavel.
Prova: Como M e separavel, M possui uma base enumeravel de abertos
B. Como K e compacto, para cada n N, fixe p = p(n) N e conjuntos
compactos Kn1 , , Knp com diametro menor que n1 tais que K = pi=1 Kni .
Dado n N, seja p = p(n) como acima e p(n) = {B1 , , Bp(n) } uma
colecao qualquer com p(n) elementos de B. Indiquemos por A(n, p(n) ) o
conjunto das funcoes contnuas f : K M tais que f (Kni ) Bi , para todo
1 i p(n).
Para cada n N fixo, a colecao Un de todos os A(n, p(n) ), p(n) B, e
enumeravel pois B e enumeravel e U = nN Un e enumeravel. Se mostrarmos
que U e uma base de abertos de C(K, M ) o resultado seguira tomando uma
funcao em cada um dos elementos de U.
Em primeiro lugar verifiquemos que cada um dos A(n, p(n) ) e aberto
em C(K, M ). De fato, se f A(n, p(n) ) e = min1ip dM (f (Kni ), Bic ) e
d(g, f ) < , entao g A(n, p(n) ).
92
Corol
ario 5.3.4. Se RN e limitado, entao C() =: C(, R) e separ
avel.
Para mostrar a separabilidade de espacos Lp () vamos utilizar a seguinte
versao elementar do Lema de Urysohn.
Lemma 5.3.5. Seja (X, d) um espaco metrico, U X um aberto e K U
um compacto. Entao existe uma func
ao contnua f C(X, [0, 1]) tal que
K f U .
Prova: Basta tomar
d(x, U c )
f (x) =
.
d(x, U c ) + d(x, K)
5.3.2.
Proposic
ao 5.3.6. Se 1 p , o conjunto das func
oes simples f =
PN
e denso em Lp ().
j=1 aj XEj ((Ej ) < , 1 j n, se 1 p < )
Prova: Claramente tais funcoes estao em Lp (). Se f Lp (), do Teorema
5.1.1 (Analise I), existe uma seq
uencia de funcoes simples fn f quase
sempre (uniformemente em conjuntos onde f e limitada) em com |fn | |f |.
Entao o caso p = esta demonstrado. Para 1 p < , fn Lp e |fn f |p
2p |f |p L1 () e pelo Teorema da Convergencia Dominada, kfn f kp 0.
93
PN
Alem disso, se fn =
ao disjuntos e os aj sao nao
j=1 aj XEj onde os Ej s
R
PN
nulos, devemos ter (Ej ) < pois j=1 |aj |p (Ej ) = |fn |p d < .
k f kp k f k |m | p <
2
S
e portanto ku f kp < . Portanto m=1 Pm e denso em Lp () e Lp () e
separavel.
Corol
ario 5.3.9. Seja f L1loc () tal que
Z
f u = 0 u Cc ().
5.4
5.4.1.
O Dual de L1 ()
Proposic
ao 5.4.1. Seja T : L () (L1 ()) a transformac
ao linear
definida por
Z
hT u, f i =
uf, f L1 (), u L ().
f L1 ().
e portanto kT uk(L1 ()) kukL () . Vamos agora mostrar que tambem vale
a desigualdade kukL () kT (u)k(L1 ()) . Para este fim, tomamos uma constante C > kT uk(L1 ()) e consideramos o conjunto
A = {x : |u(x)| > C}.
O resultado estara demonstrado se verificarmos que A tem medida nula. Se
a medida de A e nao nula, considerando A um subconjunto mensuravel de A
95
|A| e
Z
C |A|
|u| = hT u, f i kT uk(L1 ()) |A|,
A
A seguir mostraremos que a transformacao T definida na proposicao anterior e sobrejetora. Isto nos permitira identificar (L1 ()) e L () o que sera
adotado sistematicamente.
Proposic
ao 5.4.2. A transformac
ao T : L () (L1 ()) definida na
Proposicao 5.4.1 e sobrejetora.
Prova: Seja (L1 ()) . Queremos mostrar que existe u L () tal
que T u = . Se w L2 () satisfaz, K existe K > 0 tal que
w(x) K > 0 para quase todo x K. A aplicacao
L2 () 3 f 7 h, wf i R
e um funcional linear contnuo. Logo, do Teorema 5.2.10, existe v L2 ()
tal que
Z
h, wf i =
vf, f L2 ().
(5.8)
v(x)
, (recorde que w(x) > 0, x ), entao u e mensuravel.
w(x)
Mostremos que u L (). De (5.8) temos que
Z
Se u(x) =
96
De onde resulta
Z
h, gi =
ug,
g Cc ().
ug,
g L1 ().
L1 () n
ao
e reflexivo
Z
Quando Cc (\{0}) temos que
Segue que
Z
f = 0,
Cc (\{0}).
5.4.2.
Particularidades do Espaco L ()
f Cc ().
(5.12)
98
L () n
ao
e separ
avel
Proposic
ao 5.4.4. L () nao e separ
avel.
Prova: Para a fixamos ra < dist(a, ) e ua = Bra (a). Seja
1
Oa = f L () : kf ua kL <
.
2
facil ver que (Oa )a satisfaz as condicoes i), ii) e iii) do Lema 5.4.3. Segue
E
que L () nao e separavel.
5.5
Primeira Prova
1.a Prova de SMA 5717 - An
alise II
Quest
oes
a
1.
2.a
3.a
4.a
5.a
6.a
7.a
8.a
9.a
Nome:
27.05.2005
Total
99
Notas
Quest
oes
a
10.
11.a
12.a
13.a
14.a
15.a
16.a
17.a
18.a
Total
Notas
1.a Quest
ao Se X for um espaco de Banach com dimensao infinita, mostre
que existira um funcional linear nao contnuo T : X K.
2.a Quest
ao Sejam X um espaco de Banach e A X um conjunto compacto. O que deve ocorrer se Ao 6= ?
3.a Quest
ao Seja RN aberto e limitado. Diga o que sabe sobre os
espacos Lp (). (Diga quando sao reflexivos, separaveis, uniformemente convexos, caracterize o dual, enuncie desigualdades importantes.) Mostre que
L () nao e reflexivo nem separavel.
4.a Quest
ao Seja X um espaco vetorial e sejam kki : X [0, ), i = 1, 2,
duas normas tais que X e um espaco de Banach com qualquer dessas normas.
Suponha que exista c > 0 tal que k k1 ck k2 e mostre que, se com uma das
normas X for reflexivo (separavel), entao X sera reflexivo (separavel) com
ambas. Encontre um espaco vetorial X e duas normas em X tais que com
uma delas o espaco e reflexivo e com a outra nao e.
Sugestao: i) mostre que `1 e ` tem bases com mesma cardinalidade, ii)
construa um isomorfismo entre esses espacos e iii) defina uma norma em `1
com a qual ele nao e separavel.
5.a Quest
ao Sejam X um espaco de Banach e A : D(A) X X um
operador linear fechado. Mostre que XA = D(A) com a norma kxkD(A) =
kxk+kAxk e um espaco de Banach. Alem disso, mostre que se X for reflexivo
(separavel), entao XA sera reflexivo (separavel).
6.a Quest
ao Sejam X um espaco de Banach e {un } uma seq
uencia limitada
em X. Mostre que, se existir u X com f (un ) f (u) para todo f em um
(X,X )
16.a Quest
ao Seja um subconjunto aberto e limitado de RN . Se 1
p q e u Lq (), entao u Lp () e
1
kukLp () || p q kukLq () .
Se u L (), entao
lim kukLp () = kukL () .
5.6
5.6.1.
Convoluc
ao e Regularizac
ao
Definic
ao e Propriedades Elementares
f (x y)g(y)dy .
RN
Entao f g Lp (RN ) e
kf gkLp () kf kL1 () kgkLp () .
Prova: A conclusao e obvia se p = . Suponha que p = 1 e seja
F (x, y) = f (x y)g(y).
102
RN
Z
dy
RN
RN
Z
R
dx
N
1/p
p
|f (x y)| |g(y)|dy
RN
|f (x y)| |g(y)| dy
RN
isto e,
1/p
kf kL1 (RN ) ;
y
p/p
Notac
ao: Dada f definimos f por f(x) = f (x).
103
Proposic
ao 5.6.2. Seja f L1 (RN ), g Lp (RN ) e h Lp (RN ). Entao
Z
Z
(f g)h =
g(f h) .
RN
RN
Z
|h(x)|
|f (x y)| |g(y)|dy dx <
RN
RN
Suporte da Convolu
c
ao
Proposic
ao 5.6.3 (Definicao de Suporte). Seja RN um aberto e f uma
funcao definida em com valores em R. Considere a famlia de todos os
abertos (wi )iI , wi tais que, f = 0 quase sempre em wi , para todo i I.
Se w = wi , entao w e aberto e f = 0 quase sempre em w. Diremos que
iI
supp(f ) := \w e o suporte de f .
Prova: Nao e evidente que f = 0 quase sempre em w ja que I e nao enumeravel. Contudo, a demonstracao pode ser reduzida ao caso enumeravel da
seguinte forma:
[
1
w=
Kn , Kn = x : dist(x, wc ) e |x| n
n
n
entao Kn wi , In -finito (ja que Kn e compacto). Logo w = wi onde
iIn
iJ
jJ
jJ
104
Observac
ao 4.
a) Se f = g quase sempre em ent
ao supp(f ) = supp(g), logo podemos
falar de suporte de funcoes de Lp ().
b) Esta definicao coincide com a usual se f e contnua.
Proposic
ao 5.6.4. Sejam f L1 (RN ) e g Lp (RN ). Entao
supp(f g) supp(f ) + supp(g)
Prova: Seja x RN fixo tal que y f (x y)g(y) seja integravel. Temos
entao
Z
Z
(f g)(x) =
f (x y)g(y)dy =
f (x y)g(y)dy
RN
(xsupp(f ))supp(g)
e em particular
(f g)(x) = 0,
conseq
uentemente
supp(f g) supp(f ) + supp(g).
Observac
ao 5. Se f e g tem suporte compacto entao f g tem suporte compacto. Em geral, se apenas uma das func
oes tem suporte compacto entao f g
nao tem suporte compacto.
Exerccio 5.6.1. Encontre conjuntos fechados A e B em RN tais que A + B
nao e fechado. Mostre que se A e compacto e B e fechado entao A + B e
fechado mas nao precisa ser compacto. Mostre que se A e B sao compactos
entao A + B e compacto.
Proposic
ao 5.6.5. Seja f Cc (RN ) e g L1loc (RN ). Entao f g C(RN ).
105
RN
.
Notac
ao:
k
C () := conjunto das funcoes k vezes continuamente diferenciavel.
C () := C k ()
k=1
k
Cc () := C k ()
Cc () := D()
Cc ()
:= C () Cc ()
N
= (1 , , N ) NN , || = i .
i=1
Proposic
ao 5.6.6. Se f Cck (RN ) e g L1loc (RN ) (k inteiro). Entao
f g C k (RN ) e D (f g) = (D f ) g, || k.
Em particular se f Cc (RN ) e g L1loc (RN ), entao f g C (RN ).
Prova: Basta provar o caso k = 1. Dado x RN , mostraremos que f g e
diferenciavel em x e que
(f g) = (f g).
Se h RN , |h| < 1, entao
|f (x + h y) f (x y) h f (x y)|
Z 1
=
h[f (x + sh y) f (x y)]ds
0
|h|(|h|)
106
(5.13)
y 6 K e h B1 (0). (5.14)
|g(y)|dy
K
Observac
ao 6. Fique atento para o significado da convoluc
ao f g ja que
f : RN RN . Isto requer a interpretacao do produto de convoluc
ao de uma
funcao a valores vetoriais coordenada a coordenada.
5.6.3.
Seq
u
encias Regularizantes
Definic
ao 5.6.7. Chamamos seq
uencia regularizante a toda seq
uencia (n )n1
de funcoes tais que
Z
1
N
n Cc (R ), supp(n ) B(0, ),
n = 1, n 0 em RN .
n
Exemplo 5.6.1. A construcao de seq
uencias regularizantes e um processo
simples que passamos a descrever. Fixemos Cc (RN ), supp() B(0, 1),
0 em RN e kkL1 () > 0 e consideremos n (x) = CnN (nx), C = kk1
L1 () .
A obtencao de uma funcao : RN R com as propriedades requeridas no
Example 5.6.1 e feita no exerccio a seguir.
Exerccio 5.6.2. Seja : RN R a funcao definida por
(
1
e |x|2 1 , |x| < 1
(x) =
1,
|x| 1.
Z N
Mostre que C (RN ), supp(f ) B1 (0) e que
(x)dx > 0.
R
107
Proposic
ao 5.6.8. Seja f C(RN ); entao n f f uniformemente em
compactos de RN .
Prova: Seja K RN um compacto. Para todo > 0 dado, existe > 0 tal
que |f (x y) f (x)| < , x K e y B (0).
Se n0 N e tal que n > 1, n n0 , temos que:
[f (x y) f (x)]n (y) dy
|(n f )(x) f (x)| =
N
Z R
=
[f (x y) f (x)]n (y)dy
B 1 (0)
n
Z
n (y)dy = , n n0 and x K.
RN
n n0 .
Entao
n f f = [n (f f1 )] + [n f1 f1 ] + [f1 f ]
e, usando o Teorema 5.6.1, temos que
kn f f kLp 2kf f1 kLp + kn f1 f1 kLp < ,
n n0 .
108
Corol
ario 5.6.10. Seja RN um aberto qualquer. Entao Cc () e denso
em Lp () para 1 p < .
Prova: Seja f Lp (), > 0 e f1 Cc () tal que
kf f1 kLp () < .
2
Se
(
f1 (x) se x ,
f 1 (x) =
0
se x c .
Como f 1 Lp (RN ), do Teorema 5.6.9, segue que kn f 1 f 1 kLp (RN ) 0.
Por outro lado, existe n0 N tal que
supp(n f 1 ) B n1 (0) + supp(f1 ) , para n n0
onde utilizamos a Proposicao 5.6.4. Seja un = (n f 1 )| . Disto e da
Proposicao 5.6.6 segue que, para n n0 , un Cc () e
kun f1 kLp () = kn f 1 f 1 kLp (RN ) 0.
n
5.7
Crit
erio de Compacidade Forte em Lp()
f F e n N com n > 1 .
RN
|f (x y) f (x)|n (y) dy
RN
|f (x y) f (x)|p n (y) dy
p1
e consequentemente
Z
p
|f (x y) f (x)|p n (y)dy.
Portanto
Z
Z
p
|(n f )(x) f (x)| dx
w
Z
|f (x y) f (x)|p dx < p
n (y)dy
B 1 (0)
n
f F.
de forma que
Corol
ario 5.7.2. Seja RN um aberto e F um subconjunto limitado de
Lp (), 1 p . Suponha que
(
Dados > 0 e w , existe 0 < < dist(w, ) tal que
i)
supf F kh f f kLp (w) < , h RN , |h| <
ii) Dado > 0, existe w tal que supf F kf kLp (\w) < .
Entao F e relativamente compacto em Lp ().
Prova: Dado > 0 fixemos w tal que supf F kf kLp (\w) < 2 . Do teorema anterior F|w e relativamente compacto em Lp (). Portanto, podemos
cobrir F |w por um n
umero finito de bolas de raio 2 de Lp (w). Sejam k N
e g1 , , gk Lp (w) tais que
F|w
k
[
B 2 (gi ),
i=1
Observac
ao:
111
h0
Prova: Dado > 0, seja G1 Cc (RN ) tal que kG G1 kLq (RN ) < 3 . Assim,
temos que
kh G GkLq kh G h G1 kLq (RN ) + kh G1 G1 kLq (RN ) + kG1 GkLq (RN )
< 23 + kh G1 G1 kLq (RN ) .
Por outro lado, do fato que G1 tem suporte compacto e da continuidade
uniforme de G1 , e evidente que lim kh G1 G1 kLq (RN ) = 0 e portanto, existe
h0
h B (0).
Corol
ario 5.7.4. Seja G L1 (RN ) uma func
ao fixa e B um subconjunto
p
N
limitado de L (R ), 1 p < . Se
F = G B := {G u : u B},
ent
ao F |w e relativamente compacto em Lp (w) para todo w RN aberto e
limitado.
claro que F e limitada em Lp (RN ). Por outro lado se f = G u
Prova: E
com u B temos
kh f f kLp (RN ) = k(h G G) ukLp (RN ) Ckh G GkL1 (RN ) .
O resultado agora segue do Lema 5.7.3.
112
5.8
Operadores de Nemitiski
x .
x \
k=1 Ek
113
n
X
k=1
h L () tais que unk (x) u(x) quase sempre em e |unk (x)| h(x) quase
sempre em , k N.
Segue da continuidade de f que f (unk (x)) f (u(x)) quase sempre em e
da condicao de crescimento que |f (unk (x)) c(|unk (x)|p + 1) c(|h(x)|p + 1)
quase sempre em .
Do Teorema da Convergencia dominada de Lebesgue, obtemos que
kf e (unk ) f (u)kL1 () 0,
quando k .
114
5.9
Exerccios
115
Captulo 6
Espa
cos de Hilbert
Decima Oitava Aula (100 minutos)
Decima Nona Aula (100 minutos)
6.1
Revis
ao
Em Analise I, definimos os Espacos de Hilbert e provamos diversas propriedades basicas. A seguir recordamos a definicao e as principais propriedades
vistas.
Seja H um espaco vetorial sobre K. Um produto escalar e uma funcao
h, i : H H K tal que
hu, vi = hv, ui para todo u, v H.
hau + bu0 , vi = ahu, vi + bhu0 , vi para todo u, u0 , v H, a, b K.
hu, ui 0 e hu, ui = 0 se e somente se u = 0.
Segue facilmente dessas propriedades que hu, av + bv 0 i = a
hu, vi + bhu, v 0 i para
todo u, v, v 0 H, a, b K. Vale a desigualdade de Cauchy-Schwarz
1
identidade do paralelogramo
u + v 2 u v 2 1
2
2
2 + 2 = 2 (kuk + kvk ),
u, v H.
e um espaco de Hilbert.
Dois vetores u, v em um espaco com produto interno H sao ditos ortogonais
(escrevemos u v) se hu, vi = 0 e neste caso vale o Teorema de Pitagoras
ku + vk2 = kuk2 + kvk2 .
Lemma 6.1.1. Se K e um subconjunto fechado e convexo de um espaco de
Hilbert H e u0 H, existe um u
nico v0 K tal que
ku0 v0 k = inf ku0 vk.
vK
vm +vn
2
vm + vn 2
vn vm 2 1 2
k +k
k = (dn + dm )2 .
2
2
2
K, ku0
vm +vn
2 k
d. Consequentemente
vn vm 2 1 2
k (dn + dm )2 d2 e
2
2
lim k
m,n
vn vm
k = 0.
2
Proposic
ao 6.1.2. Seja H um espaco de Hilbert, K H fechado e convexo
e u0 H, entao
Rehu0 PK u0 , w PK u0 i 0,
w K.
H
Alem disso, se M sev
e fechado, entao
hu0 PM u0 , wi = 0,
w M
w K
w K
w K
(6.2)
Rehu2 PK u2 , w PK u2 i 0,
w K.
(6.3)
Proposic
ao 6.1.5. Todo espaco de Hilbert e uniformemente convexo e portanto reflexivo.
Se H e um espaco de Hilbert e y H segue da desigualdade de CauchySchwarz que fy (x) = hx, yi define um funcional linear contnuo e que kfy kH =
kykH . Entao, a transformacao H 3 y 7 fy H e uma isometria linearconjugada entre H e H . O resultado a seguir mostra que esta isometria e
sobrejetora:
Teorema 6.1.6 (Teorema de Representacao de Riesz). Se f H , existe um
u
nico y H tal que f (x) = hx, yi para todo x H.
Prova: Defina T : H H
H 3 f 7 T f H ,
119
f H
Observac
ao 7. Daqui por diante, identificaremos T f e f e portanto escreveremos hf, vi em lugar de T f (v). Com isto a definicao de ortogonal de um subespaco adquire o significado relacionado `a ortogonalidade de vetores atraves do
produto interno.
Segue que, Espacos de Hilbert sao reflexivos em um sentido bastante forte:
Nao somente H e naturalmente isomorfo a H como tambem e isomorfo
(atraves de uma transformacao linear-conjugada) a H .
H ent
facil ver que M
Se M sev
ao M := {u H : u v, v M }. E
e sempre um subespaco vetorial fechado de H. Uma transformacao linear
P : H M e dita uma projecao se P 2 = P . Se P L(H) e uma projecao,
M = Im(P ) e M = N(P ) diremos que P e uma projecao ortogonal sobre M .
Uma projecao ortogonal P e contnua se e somente se M = ImP e fechado.
H fechado, ent
Teorema 6.1.7. Seja H um espaco de Hilbert e M sev
ao M
M = H; isto e , cada u H pode ser expresso unicamente como u = w + v
onde w M e v M . Os vetores w e v sao os u
nicos elementos de M e
M cuja distancia a u e mnima; isto e, w = PM u e v = PM u. Alem disso
PM e PM
= I PM sao projec
oes contnuas com kPM k = kPM k.
Observac
ao 8. Se H e um espaco de Hilbert, entao H e H podem ser
identificados, contudo isso nem sempre e interessante.
Seja H um espaco de Hilbert com produto interno h, i e norma associada
k k : H [0, ). Seja V H um subespaco vetorial denso em H.
Suponha que V e dotado da norma | | : V [0, ) que o faz um espaco
de Banach reflexivo. Suponha que a inclusao de V em H e contnua; isto
e,
)
I : V H
, kIvkH c|v|V v V .
v 7 Iv = v
120
f H, v V.
(6.4)
onde as inclusoes canonicas sao densas. Observe que, com essas identificac
oes,
h, viV ,V = h, vi sempre que H = H V e v V.
Aqui a notacao h, iV ,V : V V R representa o que chamamos de
produto de dualidade. Diz-se que H e um espaco pivo.
Se V e um espaco de Hilbert com produto interno hh, ii e norma | |, V
e V podem ser identificados e (6.4) resultaria sem sentido.
Geralmente identificamos H e H e nao identificamos V e V .
Exemplo 6.1.1.
H = `2 = {u = (un ) :
e
V = {u = (un ) :
un vn
n2 un vn
6.2
Definic
ao 6.2.1. Diremos que uma forma bilinear a(, ) : H H R e
1) contnua se existe C tal que
|a(u, v)| Ckukkvk,
u, v H,
v H.
v K.
uK
1
1
a(u, u) (u) = min
a(v, v) (v) .
vK
2
2
(6.5)
(6.6)
v H.
claro que
E
A e linear,
kAuk Ckuk, u H,
hu, Aui kuk2 , u H.
Logo, o problema e encontrar u K tal que
hv u, Aui hv u, f i,
122
v K.
(6.7)
v K;
(6.8)
ou seja, u = PK (f Au + u).
Para v K fazemos Sv = PK (f Av + v). Sabemos que
kSv1 Sv2 k k(v1 v2 ) (Av1 Av2 )k
e
kSv1 Sv2 k2 k(v1 v2 )k2 + 2 k(Av1 Av2 )k2 2(v1 v2 , Av1 Av2 )
k(v1 v2 )k2 (1 + 2 C 2 2)
e fixando > 0 tal que 1 2 + 2 C 2 < 1 temos que S admite um u
nico
ponto fixo u; ou seja, u = PK (f Au + u) o que implica (6.8) e portanto
(6.7) e prova de (6.5) esta concluda.
Suponha agora que a : H H R e simetrica. Entao a : H H R
define um produto interno em H cuja norma associada e a(u, u)1/2 e esta e
equivalente a k k. Logo H tambem e um espaco de Hilbert com esta norma.
Do Teorema de Representacao de Riesz, existe um u
nico g H tal que
(v) = a(v, g),
v H
v K;
isto e,
u = PKa g (projecao sobre K no sentido do produto interno a(, ) )
o que equivale a
(
uK
min a(g v, g v)1/2 = a(g u, g u)1/2
vK
ou
uK
min a(g v, g v) = min{a(g, g) + a(v, v) 2a(g, v)}
vK
vK
= a(g, g) + a(u, u) 2a(g, u)
123
ou
u
K
1
1
min
a(v, v) a(v, g) = a(u, u) a(u, g) .
| {z }
| {z }
vK 2
2
q
q
(v )
(u)
Corol
ario 6.2.3 (O Teorema de Lax-Milgram). Seja H um espaco de Hilbert
e a : H H R uma forma bilinear contnuo e coercivo. Entao, para cada
H , existe um u
nico u H tal que
a(u, v) = (v),
v H.
uH
1
1
a(u, u) (u) = min
a(v, v) (v) .
vH
2
2
Prova: Basta aplicar o Teorema de Stampacchia (Teorema 6.2.2) e observar
que, se v H, entao tv H, t R.
Decima Nona Aula (100 minutos)
6.3
Ap
endice: Base de Hilbert
se:
i) Os En s sao dois a dois ortogonais; isto e,
hu, vi = 0 sempre que u En , v Em , m 6= n.
[
ii) O espaco vetorial gerado por
En e denso em H.
n
124
Teorema 6.3.2. Se H =
En , u H e un = PEn u. Entao
a) u =
un ; isto e, u = lim
n=1
ii) kun k =
k
X
un
n=1
n=1
X
e
kun k2 < , entao a serie
un e convergente e sua soma u satisfaz
n=1
un = PEn u,
n=1
n N.
Prova: Se Sk =
Pk
n=1 PEn ,
entao Sk e linear e
kSk uk =
k
X
kPEn uk =
n=1
k
X
kun k2 .
n=1
v En .
k
X
n=1
Segue que
( k
X
kSk uk kuk,
)
kun k2
u H
n=1
125
u H,
ou seja
n=1
(6.9)
Se vk =
k=1
k
X
un , entao kvk k =
n=1
k
X
kun k2 . Logo
n=1
`
X
kvk v` k =
kun k2
n=k+1
un e convergente e
n=1
hu un , vi = 0,
v En ;
ou seja, Pn u = un .
Definic
ao 6.3.3. Chamamos de Base de Hilbert uma seq
uencia {un } de elementos de H tal que
i) kun k = 1, n N, hum , un i = 0, m, n N, m 6= n.
ii) Se F e o subespaco de H gerado por {ui , n N}, entao F = H.
126
Observac
ao 9.
1. Se {un } e uma base de Hilbert de H, entao
X
X
2
u=
(u, un )un com kuk =
|(u, un )|2 ,
n=1
n=1
u H.
n un e convergente e se
n=1
2
n=1
n2 .
n=1
Teorema 6.3.4. Todo espaco de Hilbert separavel tem uma Base de Hilbert.
Prova: Seja {vn } um subconjunto denso de H e Fk = span[v1 , . . . , vk ]. Entao
Fk = H.
k=1
Corol
ario 6.3.5. Todo espaco de Hilbert separavel e isometricamente isomorfo ao `2 com produtos internos preservados pela isometria.
127
Captulo 7
Decomposic
ao Espectral de
Operadores Compactos e
Auto-adjuntos
Vigesima Aula (100 minutos)
7.1
Definic
ao e Propriedades Elementares
Definic
ao 7.1.1. Sejam X e Y espacos de Banach sobre K. Um operador
T L(X, Y ) e dito compacto se T (BX ) e precompacto na topologia forte de
Y . Denotamos por K(X, Y ) o conjunto dos operadores compactos de X em
Y (K(X) = K(X, X)).
Teorema 7.1.2. Sejam X e Y espacos de Banach, entao K(X, Y ) e um
subespaco vetorial fechado de L(X, Y ).
Prova: Sejam {Tn } uma seq
uencia em K(X, Y ) e T L(X, Y ) tais que
Tn T na topologia de L(X, Y ) e mostremos que T K(X, Y ). Como Y
e um espaco de Banach basta mostrar que T (BX ) e totalmente limitado; ou
seja, que para todo > 0 existe conjunto finito I e vetores yi Y , i I
tal que T (BX ) iI B 2 (yi ). Assim, dado > 0 fixamos n N tal que
kTn T k < 2 . Como Tn (BX ) e totalmente limitado, existem conjunto finito
In e vetores yi Y , i In tais que
[
Tn (BX )
B 2 (yi ).
iI
128
B (yi ).
iI
Definic
ao 7.1.3. Sejam X e Y espacos vetoriais sobre K. Diremos que T
uma transformacao linear T : X Y tem posto finito se sua imagem tem
dimensao finita.
Corol
ario 7.1.4. Sejam X e Y espacos de Banach. Se {Tn } e uma seq
uencia
de operadores com posto finito em L(X, Y ) e T L(X, Y ) sao tais que Tn T
na topologia de L(X, Y ), entao T K(X, Y ).
Proposic
ao 7.1.5. Sejam X e Y espacos de Banach. Se T K(X, Y ) e Y
e um espaco de Hilbert, entao existe uma seq
uencia {Tn } de operadores com
posto finito em L(X, Y ), tal que Tn T .
Prova: Como T (BX ) e relativamente compacto, dado n N existe um conjunto de ndices finito In e vetores yi Y , i In , tais que
[
1
T (BX )
B(yi , ).
n
iI
1
.
n
Logo kTn T k
2
n
e Tn T .
Proposic
ao 7.1.6. Sejam X e Y espacos de Banach. Entao T K(X, Y )
se, e somente se, T K(Y , X ).
Prova: Seja vn uma seq
uencia em BY e D = T (BX ). Se H C(D) definido
por
H = {vn : D R tal que D 3 x hvn , xi R, n = 1, 2, . . .}
129
xBX
Logo
sup |hvnk , T xi hvn` , T xi| = kT vnk T vn` k 0
k
xBX
(7.1)
para todo y Y .
Note que, do lado esquerdo de (7.1), a transformacao J e a isometria
canonica que identifica Y com um subespaco de Y enquanto que, do lado
direito de (7.1), J e a isometria canonica que identifica X com um subespaco
de X .
Segue que T (Jx) = J(T x), x X e portanto J(T (BX )) = T (J(BX ))
e relativamente compacto. Segue do fato que J e uma isometria que T (BX )
e compacto.
7.2
A Teoria de Riesz-Fredhohm
d) dim(N (I T )) = dim(N (I T )) = n.
Observac
ao 10. Dito de outra forma, a Alternativa de Fredholm nos diz
que, ou a equacao (I T )x = y tem uma u
nica soluc
ao para todo y X ou
a equacao (I T )x = 0 admite n solucoes linearmente independentes e neste
caso
(I T )x = y
tem solucao se, e somente se, u N (I T ) .
Prova: a) Seja X1 = N (I T ). Mostremos que X1 tem dimensao finita. Se
x BX1 , entao kxk 1 e x = T x. Isto implica que x T (BX ) e como T (BX )
e relativamnete compacto temos que BX1 e relativamente compacta. Segue
do Teorema de Riesz (Teorema 3.1.2) que dim X1 < .
b) Se Im(I T ) for fechada, entao Im(I T ) = N (I T ) do Teorema
2.6.1 e o resultado estara provado. Seja yn = un T un y e mostremos que
y Im(I T ). Seja dn = dist(un , N (I T )). Como dim(N (I T )) < ,
existe vn N (I T ) tal que dn = kun vn k e
yn = (un vn ) T (un vn ).
Mostremos que {kun vn k} e limitada. Se existe subseq
uencia {kunk vnk k}
un vn
tal que kunk vnk k , fazendo wn =
teramos wnk T wnk 0.
kun vn k
Da compacidade de T poderamos extrair uma outra subseq
uencia tal que
T wnk z. Logo, para esta subseq
uencia, wnk z e z N (I T ). Por outro
lado
dist(un , N (I T ))
dist(wn , N (I T )) =
=1
kun vn k
e dist(z, N (I T )) = 1. Isto e um absurdo! Logo kun vn k e limitada.
Extraindo subseq
uencia unk vnk z e y = z T z e isto implica que
y Im(I T ).
Vigesima Aula (100 minutos)
131
Proposic
ao 7.2.4. Se X e um espaco um espaco de Banach e V e um subespaco com dimensao finita de X, entao V admite um complemento topologico
em X.
Prova: Se m e a dimensao de V e {v1 , , vm } e uma base para V , cada
vetor x V pode ser unicamente representado como combinacao linear dos
vetores dessa base; ou seja, existe uma u
nica mupla (x1 , , xm ) Km tal
132
que
x=
n
X
xi vi .
i=1
Observac
ao 11. Vimos em An
alise I que se M e um subespaco vetorial
fechado de um espaco de Hilbert H e N e o seu ortogonal, entao H = M
N . Isto mostra que todo subespaco vetorial fechado de um espaco de Hilbert
admite complemento topologico.
Proposic
ao 7.2.5. Se X e um espaco de Banach e N e um subespaco vetorial
de X com dimensao finita m, entao N tem codimens
ao m.
T
1
Prova: Se 1 , m e uma base para N , entao, N = m
i=1 i (0). Como
1 , , m e uma famlia linearmente independente de vetores existem vetores
linearmente independentes x1 , , xm de X tais que i (xj ) = ij , 1 i, j m.
Isto segue da seguinte forma:
Primeiramente note que T : X Km definida por
T x = (1 (x), , m (x))
e sobrejetora. Se este nao fosse o caso, existiria Km 3 = (1 , , m ) 6= 0
tal que T x = 0, x X; ou seja,
m
!
X
i i (x) = 0, x E.
i=1
133
Pm
Isto e equivalente `a
i=1 i i = 0 e contradiz a independencia linear de
1 , , m . Disto segue a existencia de vetores x1 , , xm tais que i (xj ) = ij .
Mostremos agora que os vetores x1 , , xm sao linearmente independentes.
P
Pm
Se Km 3 (1 , , m ) e tal que m
x
=
0,
ent
a
o
(
j
i=1 i i
i=1 i xi ) = j = 0,
1 j m o que conclui a prova da independencia linear de x1 , , xm .
Finalmente, mostremos que M = [xi , , xm ] e um complemento topoloP
gico de N . Se x N M , entao x = m
i=1 i xi (pois x M ) e j =
Pm
j ( i=1 i xi ) = j (x) = 0, 1 j m (pois x N ) e segue que x = 0.
P
Agora, se x X, y = m
ao y M e z N pois
i=1 i (x)xi e z = x y, ent
j (z) = j (x) j (y) = 0, 1 j m. Com isto conclumos a demonstracao
da proposicao.
Corol
ario 7.2.6. Seja X um espaco de Banach e 0 6= X . Entao N =
1 (0) tem codimensao um.
Continuac
ao da Prova da Alternativa de Fredholm
c) Suponha que N (I T ) = {0} e que X1 = Im(I T ) ( X. Ja vimos
na parte b) que X1 e um subespaco fechado de X e portanto um espaco de
Banach com a norma herdada de X. Como T (X1 ) X1 podemos tomar a
restricao T |X1 de T a X1 e T |X1 K(X1 ). Segue que X2 = (I T )X1 e
um subespaco fechado de X1 . Vamos mostrar que a injetividade de (I T )
implica que X2 ( X1 . Se X2 = X1 , para todo y X existe x X tal
que (I T )(I T )x = (I T )y. Logo (I T )x = y e consequentemente
Im(I T ) = X.
Seja Xn = (I T )n X. Obtemos assim uma seq
uencia estritamente decrescente de subespacos fechados. Pelo Lema de Riesz (Lema 3.1.1) existe uma
seq
uencia {xn } com xn Xn , kxn k = 1 e dist(xn , xn+1 ) 1/2. Logo
T xn T xm = (xn T xn ) + (xm T xm ) + xn xm
e se n > m, Xn+1 Xn Xm+1 Xm e
(xn T xn ) + (xm T xm ) + xn Xm+1
logo kT xn T xm k 1/2 o que contradiz a compacidade de T e prova o
resultado.
134
7.3
Definic
ao 7.3.1. Seja X um espaco de Banach sobre um corpo K e T
L(X). Diremos que o conjunto resolvente de T e o conjunto
(T ) = { K : ( A) : X X e bijetora }
e que espectro de T e o conjunto (T ) = K\(T ). Se (T ) diremos que
( T )1 e o operador resolvente de T em .
O espectro de um operador linear T divide-se em tres partes mutualmente
exclusivas:
a) O espetro pontual p (T ) consiste de todos os pontos K para os quais
( T ) nao e injetora.
b) O espetro residual r (T ) consiste de todos os pontos K para os quais
( T ) e injetora mas sua imagem nao e densa.
c) O espectro contnuo c (T ) e o conjunto de todos os pontos K para
os quais ( T ) e injetora, sua imagem e densa mas sua inversa nao e
contnua.
Se p (T ) entao existe 0 6= x X tal que ( T )x = 0. Neste caso
diremos que e um auto-valor de T , x e um auto-vetor de T e que N ( T )
e o auto-espaco associado a .
Observac
ao 12. Segue do Teorema da Aplicacao aberta que, se ( T ) e
injetora e Im( T ) e fechada, entao (I T )1 : Im(I T ) X e limitada.
Reciprocamente, se (I T )1 : Im( T ) X e limitada, entao Im( T )
e fechada. Desta forma, c (T ) se, e somente se, ( T ) e injetora,
Im( T ) = X e Im( T ) ( X.
Exemplo 7.3.1. Seja X = `2 e
T ({un }) = (0, u1 , u2 , . . .).
Note que, se T ({un }) = 0, entao {un } = 0; isto e N (T ) = {0}, no entanto
Im(T ) ( `2 pois (1, 0, . . .) 6 Im(T ). Segue que 0 r (T ).
136
1
(T x y).
1
kT kkx x0 k e portanto S e uma contracao. Isto
||
implica que S tem um u
nico ponto fixo.
Mostremos que (T ) e aberto. Se 0 (T ), K e y X ( T )x = y,
entao ( 0 )x + (0 T )x = y.
Defina
Segue que, kSx Sx0 k
Sx = (0 T )1 (y ( 0 )x).
Note que, se | 0 | <
1
, entao
k(0 T )1 k
137
n N.
n
X
i i xi .
i=1
=1
i=1
}|n1
{
T yn T y m
T yn n yn T ym m ym
=
y
+
y
m
n
m
n
m
1
dist(yn , Xn1 )
2
138
yn
Se n 6= 0, entao a seq
uencia { } e limitada e, do fato que T e
n
T yn
tem uma subseq
uencia convergente, o que nos leva a uma
compacta,
n
contradicao. Logo = 0.
(T ) { K : ||
7.4
Decomposic
ao Espectral de Operadores Compactos
e Auto-Adjuntos
u, v H.
Proposic
ao 7.4.2. Sejam T L(H) um operador auto-adjunto e
m = inf hT u, ui, M = sup hT u, ui.
uH
kuk=1
uH
kuk=1
(7.2)
>0
Com isto, e facil ver que a(u, v) = huT u, vi e uma forma bilinear, simetrica,
contnua e coerciva. Segue do Teorema de Lax-Milgram que
hu T u, vi = hf, vi,
v H,
Segue que
|(M u T u, v)| (M u T u, u)1/2 (M v T v, v)1/2
u, v H
C(M u T u, u) kvk
e que
kT u M uk C(M u T u, u)1/2 ,
u H.
Corol
ario 7.4.3. Seja T L(H) auto adjunto tal que (T ) = {0}. Entao
T = 0.
Prova: Pela proposicao anterior hT u, ui = 0, u H. Segue que
2hT u, vi = hT (u + v), (u + v)i hT u, ui hT v, vi = 0,
e T = 0.
u, v H
0 dim V0 ,
0 < dim Vn < .
n0
Observac
ao 13. Se T K(H) e auto-adjunto e H separavel e Vn , n 0, e
como na prova do Teorema 7.4.4
u=
un , un Vn e T u =
n=0
Tk u =
k
X
T un =
n=1
n un
n=1
n=1
kTk u T uk
X
2
|n | kun k sup |n | , n k + 1
kun k2
2
n=k+1
n=k+1
sup |n |2 , n k + 1 kuk2 0.
k
142
Captulo 8
Espa
cos de Sobolev e Formula
c
ao
Variacional de Problemas de Valor de
Contorno em Dimens
ao Um
8.1
Introduc
ao
Note que, cada termo na expressao acima ainda faz sentido se u, u0 , f estao
em L1loc (a, b).
143
(u00 + u f ) = 0,
8.2
Sejam a, b n
umeros reiais estendidos e I = (a, b).
Definic
ao 8.2.1. Para 1 p , o Espaco de Sobolev W 1,p (I) e definido
por
Z
Z
1,p
p
p
0
1
W (I) = u L (I) : g L (I) satisfazendo u = g, Cc (I) .
I
(8.3)
e da norma
1/2
kukH 1 (I) = kuk2L2 + ku0 k2L2
Observac
ao 15.
e dita uma funcao teste
podemos utilizar Cc1 (I) ou Cc (I) ( Cc1 (I), n Cc (I) para n
grande e n em Cc1 (I))
Se u C 1 (I) Lp (I) e u0 Lp (I) (derivada usual ), entao u W 1,p (I)
e u0 coincide com a derivada de u no sentido de W 1,p (I).
entao C 1 (I)
W 1,p (I).
Se I e limitado C 1 (I)
Se u W 1,p (I) e u = v quase sempre, entao v W 1,p (I).
Exemplos: Se I = (1, 1).
1
i) Seja u : I R a funcao definida por u(x) = (|x| + x). Entao u esta em
2
W 1,p (I) para todo 1 p e u0 = H onde
(
1 se
0<x<1
H(x) =
0 se 1 < x < 0.
Mais geralmente, toda funcao contnua em I e continuamente diferenciavel por partes em I pertence a W 1,p (I), 1 p .
ii) A funcao H nao pertence a W 1,p (I) para qualquer 1 p . Se existe
g L0loc (I) tal que
Z 1
Z 1
Z 1
0
g =
H =
0 = +(0)
1
(
=
0,
0,
Proposic
ao 8.2.2. Para p [1, ] seja W 1,p (I) como na Definicao 8.2.1.
As seguintes propriedades valem
Para 1 p o espaco W 1,p (I) e um espaco de Banach.
Para 1 < p < o espaco W 1,p (I) e um espaco de reflexivo.
Para 1 p < o espaco W 1,p (I) e um espaco de separavel.
H 1 e um espaco de Hilbert.
Prova: Mostremos em primeiro lugar que W 1,p (I) e um espaco de Banach. Se
{un } e uma seq
uencia de Cauchy em W 1,p (I) entao {un } e {u0n } sao seq
uencias
p
0
de Cauchy em L (I). Consequentemente un u em Lp (I) e un g em Lp (I).
Disto seque que
Z
Z
un 0 = u0n , Cc1 (I),
I
Z
Z
u0 = g ,
I
Cc1 (I).
146
Lp
ent
ao T e fechado. De fato, se un u e T un g, entao
Z
Z
0
un = u0n , Cc1 (I),
I
Z
Z
u0 = g ,
I
Cc1 (I),
ou seja g = u0 .
Alem disso, os mesmos argumentos acima nos levam a concluir que, se
Lp
wLp
un u e T un * g, entao g = u0 Lp
wLp
wLp
wLp
Lp
un * u e T un * g, entao g = u0 Lp
un * u e T un g, entao g = u0 Lp
Vigesima Terceira Aula (100 minutos)
147
(8.4)
ent
ao existe uma constante C tal que f = C quase sempre.
Z b
Prova: Se Cc1 (I) e tal que
= 1 e w Cc (I), existe Cc1 (I) tal
a
que
Z
0 = w
Z
De fato, se h = w
w , entao h e contnua com suporte compacto e
I
Z
Z x
h = 0. Tomando (x) =
h(s)ds a afirmacao segue.
I
w Cc (I).
Como
Z Z
Z
Z
Z Z
Z
w = fw
f w = 0,
f w
w=
f
I
temos que
f w = 0, w Cc (I).
Z
Segue do Corolario 5.3.9 que f f = 0 quase sempre em I e o resultado
I
esta provado.
Lemma 8.2.4. Se g L1loc (I) e
(x) =
g(t)dt,
y0
148
x I.
Cc1 (I).
Prova: Se
R1 = {(x, t) : a x y0 e x t y0 } e
R2 = {(x, t) : y0 x b e y0 t x},
entao
Z Z
Z
v0 =
I
g(t)dt 0 (x)dx
I
Z b Z x
Z y0y0 Z y0
0
dx
g(t) (x)dt +
=
dx
g(t)0 (x)dt
x
y0
y0
Za
Z
=
g(t)0 (x)dtdx +
g(t)0 (x)dtdx.
R1
R2
Observac
ao 16. Segue do Lema 8.2.4 que, se I e limitado, entao a primitiva
v de uma funcao g Lp pertence a W 1,p . Se permitimos que I seja ilimitado,
entao v W 1,p sempre que v Lp .
tal que u = u
Teorema 8.2.5. Se u W 1,p (I), entao existe u
e C(I)
e quase
sempre em I e
Z
x
u
e(x) u
e(y) =
u0 (t)dt,
x, y I.
149
u0 (t)dt .
Do Lema 8.2.4
Z
u0 =
I
Z
Portanto
u0 ,
I
Cc1 (I).
Observac
ao 17.
O teorema anterior diz que se u W 1,p , entao u tem um representante
contnuo.
Sempre que necessario utilizaremos o representante contnuo de u W 1,p
e continuaremos a represent
a-lo u.
Dizer que u tem um representante contnuo nao e dizer que u e contnuo
quase sempre.
entao u C 1 (I).
Se u W 1,p e u0 C(I)
Proposic
ao 8.2.6. Se u Lp (I), 1 < p , entao as propriedades a seguir
sao equivalentes
i) u W 1,p (I),
ii) Existe uma constante C tal que
Z
u0 CkkLp (I) ,
Cc1 (I)
iii) Existe uma constante C tal que para todo I e para todo h R com
|h| < dist(, I c ) temos
kh u ukLp () C|h|.
Alem disso, podemos eleger C = ku0 kLp (I) em ii) e iii).
Prova: Mostraremos que ii) i) iii) ii).
ii) i) O funcional linear
Z
Cc1 (I) 7 u0 K
150
hF, i = g, Lp (I).
I
Z
0
u =
I
g,
I
Cc1 (I)
|u0 (x + sh)|ds.
Consequentemente
Z
Z 1
Z
|u0 (x + sh)|p ds
|u(x + h) u(x)|p dx |h|p dx
Z1 Z0
= |h|p
ds |u0 (x + sh)|p dx.
0
Agora, se 0 s 1, entao
Z
Z
|u0 (x + sh)|p dx =
Z
|u0 (x)|p dx
+sh
e
kn u ukLp () ku0 kLp (I) |h|.
151
iii) ii) Seja Cc1 (I) escolha I tal que supp() . Para h R
tal que |h| < dist(, I c ) temos
Z
Z
[u(x + h) u(x)](x)dx = u(x)[(x h) (x)]dx.
(8.5)
I
Algumas ferramentas fundamentais em analise somente podem ser aplicadas para funcoes definidas em R (e.g. convolucao e a transformada de
Fourier). Por esta razao, em muitas situacoes e importante poder estender
uma funcao de W 1,p (I) a uma funcao de W 1,p (R). Antes de prosseguir vamos
precisar do lema a seguir
Seja C 1 (R), 0 1, tal que
(
(x) =
y
6
1, se x < 14 ,
0, se x > 34 .
y=(x)
1
4
3
4
se x > 0
u(x)
lim u(x) se x = 0 .
(Eu)(x) =
x 0+
u(x)
se x < 0
facil ver que
E
kEukLp (R) = 2kukLp (I)
e que
(
v(x) =
u0 (x)
se x < 0
0
u (x) se x > 0
153
(Eu)(x) (Eu)(0) =
v(t)dt,
x R.
154
( )0 =
R
(
0 ) =
R
C 1 (R)
c
Z
Z
z }|
{
(
)0 = 0 (
) = ( 0 ).
C
p
n kukL (R)
onde C = k 0 kL (R) .
a p b p
1
1
a+ b
p
p
(8.6)
G(v(x)) =
p|v(t)|p1 v 0 (t)dt
1
1
1
1
1
1
1
p
p
0 p
e kvk
|v(x)| p p kvkLp p (R) kv 0 kLp p (R) p p
e
kvk
+
kv
k
p
p
W 1,p (R) .
L (R)
L (R)
p
p
e
1
kvkL (R) e e kvkW 1,p (R) , v Cc1 (R).
Para completar a prova de i) argumetamos por densidade tomando, para
cada u W 1,p , uma seq
uencia {un } Cc1 (R) tal que un u em W 1,p (R)
(Teorema 8.2.11). Aplicando a desigualdade acima obtemos que {un } e de
Cauchy em L (R). Portanto un u em L (R) e
kun kL (R) Ckun kW 1,p (R)
|u(x) u(y)| =
u0 (t)dt ku0 kLp |x y|1/p , x, y I
y
|x y|1/p ,
157
x, y I.
Z
q1
|u(x + h) u(x)|q dx 2q1 kukL
|u(x + h) u(x)|dx C|h|
e consequentemente
1q
Z
1
1
|u(x + h) u(x)|q dx C q |h| q < se h <
Observac
ao 19.
W 1,1 , C(I) e contnua mas nunca e compacta (mesmo se |I| < ).
Se I nao e limitado W 1,p , L (I) nao e compacta.
Se I e um intervalo limitado e 1 q o teorema anterior prova que
kuk = ku0 kLp + kukLq
e equivalente a mesma de W 1,p (I).
Se I e ilimitado e se u W 1,p (I) ent
ao u Lq (I) q [p, ) pois
Z
p
kukq kukqp
L kukLp
mas em geral u 6 Lq (I) para q [1, p).
Vigesima Quinta Aula (100 minutos)
158
> 0 existe N N tal que kun ukL (I) < , para todo n N . Disto segue
que, |u(x)| < para todo x R com |x| suficientemente grande.
Corol
ario 8.2.15 (Derivacao do Produto). Sejam u e v W 1,p (I) com 1
p . Entao uv W 1,p (I) e
(uv)0 = u0 v + uv 0 .
Alem disso, do Teorema 8.2.5, vale a formula de integracao por partes
Z x
Z x
0
em Lp (I).
Z
0
uv =
I
e p < de
Seja Ie limitado tal que supp() Ie I. Entao u, v W 1,p (I),
onde segue que
Z
Z
0
uv = (u0 v + uv 0 ).
Como e arbitraria em
I
Cc1 (I)
o resultado segue.
159
Corol
ario 8.2.16 (Derivacao da Composicao). Seja G C 1 (R) tal que
G(0) = 0 e seja u W 1,p (I). Entao
G u W 1,p (I)
Prova: Seja M = kukL (I) . Como G(0) = 0 exite C tal que |G(s)| C|s|
para s [M, M ]. Entao G u Lp (I) pois |G u| C|u|. Da mesma forma
(G0 u)u0 Lp (I). Resta mostrar que
Z
Z
(G u)0 = (G0 u)u0 , Cc1 (I).
Suponha que 1 p < . Entao existe uma seq
uencia {un } Cc (R) tal
que un |I u em W 1,p (I) e, do Teorema 8.2.13, em L (I). Isto, juntamente
com a continuidade uniforme da G0 em intervalos limitados de R, nos da que
G0 un G0 u em L (I) e consequentemente (G0 un )un 0 (G0 u)u0 em
Lp (I). De
Z
Z
(G un )0 =
resulta que
(G0 un )u0n ,
Cc1 (I)
Z
(G u)0 =
(G0 u)u0 ,
Cc1 (I).
8.3
Os Espacos Wm,p(I)
Definic
ao 8.3.1. Dados m 2 e 1 p definimos por recorrencia o
espaco
m
X
kD ukLp (I)
=1
m
X
(D u, D v)L2 (I)
=1
u W m,p (I)
8.4
O Espaco W01,p(I)
Definic
ao 8.4.1. Dado 1 p < designamos por W01,p (I) o fecho de Cc1 (I)
em W 1,p (I). Denotaremos W01,2 (I) por H01 (I).
- W01,p (I) e separ
avel se 1 p < , reflexivo se 1 < p < e H01 (I) e
Hilbert com o produto interno herdado de H 1 (I).
- Cc1 (I) e denso em W 1,p (I) se, e somente se, I = R (W01,p (R) = W 1,p (R)).
- Usando seq
uencias regularizantes conclumos que Cc (I) e um subespaco
denso em W01,p (I)
- Se u W 1,p (I) Cc (I), entao u W01,p (I).
Teorema 8.4.2. Se u W 1,p (I), entao u W01,p (I) se, e somente se, u = 0
em I.
Prova: Se u W01,p (I) existe uma seq
uencia {un } de Cc1 (I) tal que un u
em W 1,p (I). Portanto un u uniformemente em I e consequentemente u = 0
em I.
Reciprocamente, seja u W 1,p (I) tal que u = 0 em I. Fixe G C 1 (R) tal
que
161
(
G(t) =
0 se |t| 1
t se |t| 2
y = G(t)
+2
2 1
+1 +2
|G(t)| |t| t R
t
-
1
Fazendo un = G(nu) o Corolario 8.2.16 nos da que un W 1,p (I).
n
Por outro lado
1
supp(un ) x I : |u(x)|
n
e portanto supp(un ) e compacto pois (u = 0 em I e u(x) 0 quando
|x| ). Consequentemente, un W01,p (I). Para ver que u W01,p (I), note
que
|un (x) u(x)| 0, x I
n
u W01,p (I).
u0 (s)ds
de onde obtemos que kukL (I) |I| ku0 kL (I) para o caso p = e
Z
p
|u(x)|p |I| p |u0 |p
I
p1
Z
|u0 |p
|I|
p1
Observac
ao 20.
1) hu0 , v 0 iL2 (I) define um produto interno em H01 (I) se |I| < e ku0 kL2 (I)
define uma norma equivalente `a norma de H 1 (I) em H01 (I) .
2) Dado m 2 definimos W0m,p (I) como o fecho de Cc (I) em W m,p (I).
Note que W02,p (I) 6= W 2,p (I) W01,p (I) e que
163
8.5
O objetivo desta secao e estudar alguns problemas de valor de fronteira utilizando os Teoremas de Lax-Milgram e Stampacchia e os espacos de Sobolev.
Primeiramente vamos utilizar o Teorema de Lax-Milgram para mostrar
que o problema
(
u00 (x) + u(x) = f (x), x I = (0, 1),
(8.7)
u(0) = u(1) = 0
ou em
tem uma u
nica solucao u (em algum sentido) para cada f em C(I)
L2 (I). Alem disso, esta solucao depende continuamente de f .
que
Definic
ao 8.5.1. Uma solucao classica de (8.7) e uma funcao u C 2 (I)
verifica (8.7). Uma solucao forte de (8.7) e uma func
ao u H 2 (I) H01 (I)
tal que u00 + u = f quase sempre em I. Uma solucao fraca de (8.7) e uma
funcao u H01 (I) que verifica
Z
Z
Z
0 0
u v + uv = f v, v H01 (I).
I
Z
Z
Z
1
1
02
2
02
2
min
(v + v ) f v =
(u + u ) f u.
2
vH01 2 I
I
I
I
Esta caraterizacao e chamada Princpio de Dirichlet.
Prova: Se
a(u, v) = hu, viH 1 (I) =
u0 v 0 +
I
uv
I
:v
I
164
f v : H01 (I) R
e facil ver que as hipoteses do Teorema 6.2.3 (Teorema de Lax Milgram) estao
satisfeitas. Segue que existe um u
nico u H01 (I) tal que
Z
Z
Z
u0 v 0 + uv = f v, v H01 (I)
I
Observac
ao 22. Se H 1 (I) = (H01 (I)) , existe uma u
nica func
ao u
1
H0 (I) tal que
Z
Z
0 0
u v + uv = hu, viH 1 (I) = (v), v H01 (I).
I
00
0 0
C(I).
165
Prova: Se f C(I)
Proposic
ao 8.5.6. Dados f L2 (I) e , R, existe uma u
nica u H 2 (I)
que verifica (8.8). Alem disso u e caracterizada por
Z
Z
Z
Z
1
1
02
2
02
2
(v + v ) f v =
(u + u ) f u.
min
vK
2 I
2 I
I
I
entao u C 2 (I).
Se f C(I),
Z
Z
Z
Prova: Se a(u, v) = u0 v 0 + uv = hu, viH 1 (I) , : v f v : H01 (I)
I
Z
Z
Z
1
1
2
2
min
(v 0 + v 2 ) f v =
(u0 + u2 ) f u.
vK
2 I
2
I
I
I
166
quase sempre em I. E
8.6
Auto-Fun
co
es e Decomposic
ao Espectral
+ kukL2 (I)
1/2 Z
f
1/2
f L2 (I)
(8.10)
n
168
Exemplo 8.6.1. Se p = 1, q 0, un =
1, 2, . . ..
169
2 sen(nx) e n = n2 n2 , n =
Refer
encias Bibliogr
aficas
[1] H. Br
ezis, Analisis funcional, Alianza Universidad Textos, Madrid
(1984) [Livro Texto].
[2] G. B. Folland, Real Analysis, Modern Techniques and Their Applications, John Willey & Sons, New York, (1999) [Livro Texto].
[3] C. Goffman and G. Pedrick, First Course in Functional Analysis,
Chelsea Publishing Company, New York, 1983.
[4] W. E. Pfaffenberger, A converse to a completeness theorem, American
Mathematical Monthly, Vol. 87, 216 (1980).
[5] H. L. Royden, Real Analysis, Macmilan Publishing Company, New
York, (1988).
[6] G. F. Simmons, Introduction to Topology and Modern Analysis,
McGraw-Hill, Tokyo (1963).
170