Você está na página 1de 174

IntroduÁ„o ‡ An·lise Funcional

Daniel Pellegrino

Departamento de Matem·tica, UFPB, Jo„o Pessoa, PB e-mail: dmpellegrino@gmail.com Setembro, 2008

Sum·rio

1 EspaÁos vetoriais normados e operadores lineares

 

4

1.1 EspaÁos vetoriais normados

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

4

1.2 Operadores lineares e espaÁos vetoriais de dimens„o Önita

 

7

1.3 Conjuntos compactos em espaÁos vetoriais normados

 

11

1.3.1

Coment·rios e curiosidades

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

14

1.4 Primeiros exemplos de espaÁos de Banach de dimens„o inÖnita: espaÁos de seq¸Íncias .

15

1.5 EspaÁos normados de funÁıes

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

20

1.5.1 Os espaÁos L p (X; ; )

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

23

1.5.2 O espaÁo L 1 (X; ; )

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

25

1.6 Completamento de espaÁos normados .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

29

1.7 SÈries em espaÁos vetoriais normados .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

32

1.7.1

Coment·rios e curiosidades sobre

 

34

1.8 Bases de Schauder

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

36

1.8.1 Coment·rios e curiosidades sobre bases de Schauder

 

40

1.8.2 Nota histÛrica .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

40

1.9 CaracterizaÁ„o do dual de l p .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

40

2 EspaÁos com produto interno

 

44

2.1 Resultados preliminares

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

44

2.1.1

Nota histÛrica sobre a Desigualdade de Cauchy-Bunyakovskii-Schwarz

 

47

2.2 Ortogonalidade

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

47

2.3 Conjuntos ortonormais

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

50

2.4 Processo de ortogonalizaÁ„o e suas conseq¸Íncias

 

55

2.4.1

Nota histÛrica sobre o Processo de Gram-Schmidt

 

59

2.5 O Teorema de Riesz-FrÈchet

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

59

2.6 Operadores auto-adjuntos em espaÁos de Hilbert

 

60

3 Resultados cl·ssicos da An·lise Funcional e suas conseq¸Íncias

 

64

3.1 Teoremas de Hahn-Banach

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

64

3.1.1 AplicaÁıes do Teorema de Hahn Banach para espaÁos separ·veis .

.

.

.

.

.

.

.

.

70

3.1.2 Formas geomÈtricas do Teorema de Hahn-Banach

 

72

3.1.3 PossÌveis generalizaÁıes do Teorema de Hahn-Banach

 

78

3.2 O Teorema de Banach-Steinhaus

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

79

3.2.1

Nota histÛrica .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

81

3.3 O Teorema da AplicaÁ„o Aberta

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

81

3.4 O Teorema do Gr·Öco Fechado

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

85

 

1

4 Topologia fraca, topologia fraca estrela e espaÁos reáexivos

88

4.1 Topologia fraca: deÖniÁıes e propriedades b·sicas

88

4.2 Topologia fraca estrela: deÖniÁıes e propriedades b·sicas

92

4.2.1

O Teorema de Banach-Alaoglu-Bourbaki

95

4.3 EspaÁos reáexivos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

5 Operadores compactos e teorema espectral para operadores compactos em espaÁos de Hilbert

96

99

5.1 Operadores compactos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

99

5.2 Autovalores e autovetores de operadores compactos

 

101

5.3 Alguns resultados da teoria espectral de operadores compactos e auto-adjuntos em

espaÁos de Hilbert

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 103

6 EspaÁos vetoriais topolÛgicos (evt¥s)

 

107

6.1 evtís e elcís

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 107

6.2 Seminormas e topologias

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 114

6.3 Revisitando Hahn-Banach

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 119

6.4 Revisitando as topologias fracas: Teorema de Goldstine e caracterizaÁ„o de espaÁos

 

reáexivos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 121

7 ApÍndice 0: Axioma da Escolha e Lema de Zorn

 

124

8 ApÍndice I: NoÁıes de Topologia Geral

 

126

8.1 O Teorema de Baire

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 126

8.2 EspaÁos topolÛgicos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 128

8.2.1 VizinhanÁas

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 130

8.2.2 FunÁıes contÌnuas

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 135

8.2.3 SubespaÁos e topologia relativa

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 136

8.2.4 Topologia produto

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 137

Redes

8.2.5 .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 139

8.2.6 Filtros

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 142

8.2.7 O Teorema de Tychono§ .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 148

9 ApÍndice II: NoÁıes de Teoria da Medida

 

149

9.1 EspaÁos mensur·veis

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 149

9.2 FunÁıes Mensur·veis

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 151

9.3 seq¸Íncias de FunÁıes Mensur·veis

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 153

9.4 EspaÁos de Medida

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 156

9.5 FunÁıes simples e integraÁ„o

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 158

9.6 IntegraÁ„o de funÁıes positivas

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 162

9.7 IntegraÁ„o de funÁıes reais

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

. 167

 

2

IntroduÁ„o

A An·lise Funcional, assim como a topologia, nasceu nas primeiras dÈcadas do sÈculo 20, trazendo o amadurecimento de certos conceitos, como convergÍncia e continuidade em objetos mais abstratos que n˙meros. Nesse perÌodo, a caracterizaÁ„o de duais (espaÁos de funcionais lineares contÌnuos) colaborou com o surgimento de alguns conceitos que foram formalizados em linguagem moderna com o livro de Banach em 1932 ([3]). Desde ent„o a An·lise Funcional evoluiu bastante e com o concomitante desenvolvimento da Topologia Geral, tem se ramiÖcado para espaÁos vetoriais n„o necessariamente normados e caminhos n„o lineares. Esse texto È baseado em notas de aula de cursos ministrados, por mim, em cursos de pÛs-graduaÁ„o na Unicamp, UFCG e UFPB. A seq¸Íncia do curso È um pouco inspirada em [12] e em notas de aula do Professor J. Mujica [20]. Outras boas referÍncias s„o [6] e [2] e [17]. Nossa intenÁ„o È que o texto seja o mais auto-suÖciente possÌvel e, por isso, em seu Önal, acrescentamos trÍs apÍndices (adaptados de nossas notas de aula de Topologia Geral [22] e Teoria da Medida) com deÖniÁıes e resultados importantes de teoria de conjuntos, topologia e medida, que s„o necess·rios nesse curso. A leitura do(s) apÍndice(s) n„o È indispens·vel e o leitor mais preguiÁoso poder· evitar certas abstraÁıes sem grandes prejuÌzos. E o mais importante: esse texto est· em construÁ„o e em constante aperfeiÁoamento e, por isso, alguns deslizes talvez sejam encontrados pelo caminho. Sugestıes e/ou correÁıes s„o bem vindas.

3

CapÌtulo 1

EspaÁos vetoriais normados e operadores lineares

1.1 EspaÁos vetoriais normados

Seja E um espaÁo vetorial sobre um corpo K, que denotar· R ou C (os elementos de K s„o chamados de escalares). Uma funÁ„o

k:k : E ! R

È uma norma se as seguintes propriedades ocorrerem:

(N1) k xk 0 para todo x em E e kxk = 0 , x = 0 :

(N2) k xk = j j k xk para todo escalar e todo x em E . (N3) k x + y k k xk + ky k para quaisquer x e y em E . Um espaÁo vetorial munido de uma norma ser· chamado de espaÁo vetorial normado (evn). Um evn pode ser sempre considerado um espaÁo mÈtrico, com a mÈtrica dada por

d (x; y ) = kx y k :

(1.1)

Dizemos que a mÈtrica d È induzida pela norma k :k. Em espaÁos mÈtricos, dizemos que a seq¸Íncia (x n ) converge para x quando

!1 d (x n ;x) = 0 :

lim

n

Portanto, em um evn, dizemos que a seq¸Íncia (x n ) converge para x quando

!1 kx n xk = 0:

lim

n

Exemplo 1.1.1 A reta R È um espaÁo vetorial normado, com kxk = jxj : Em geral, R n com a norma

2 1 È um espaÁo vetorial normado (a demonstraÁ„o da desiguladade

triangular n„o È imediata). Mais adiante veremos exemplos mais elaborados.

(euclidiana) kxk = ( x 2 + + x

1

2

n

)

Um evn E È chamado espaÁo de Banach quando for um espaÁo mÈtrico completo, com a mÈtrica induzida pela norma. Veremos adiante que todo espaÁo vetorial normado de dimens„o Önita È completo. O prÛximo resultado È a chave desse e de v·rios outros resultados importantes:

Lema 1.1.2 Para um conjunto inearmente independente fx 1 ; :::; x n g de vetores em um espaÁo vetorial normado E; existe um n˙mero real positivo c tal que para qualquer escolha de escalares a 1 ; :::; a n ; vale a desigualdade

ka 1 x 1 + + a n x n k c (ja 1 j + + ja n j)

(1.2)

4

DemonstraÁ„o. Se ja 1 j + + ja n j = 0 n„o h· o que demonstrar. Suponhamos ja 1 j + + ja n j > 0. Ent„o mostrar (1.2) equivale a mostrar que existe c > 0 tal que

kd 1 x 1 + + d n x n k c;

para quaisquer d j da forma

d j =

a j

ja 1 j + + ja n j :

(1.3)

Portanto, para mostrar (1.2) basta mostrar que (1.3) vale, com

n

X jd j j = 1:

j =1

Suponha que isso n„o aconteÁa. Ent„o, existe uma seq¸Íncia (y m ) de elementos de E ,

y m =

n

X

j

=1

b

(

j

m)

x

j

e

n

X

j =1

b

(

j

m)

= 1

tal que

Como

n

X

j =1

seq¸Íncia

b

(

j

m)

= 1; temos b

(

j

m)

(1.4)

1 para cada j e cada m: Ent„o, para cada j = 1; :::; n Öxo, a

m!1 ky m k = 0 :

lim

(b

(

j

m)

)

m=1 = (b

1

(1)

j

;b

(2)

j

; :::)

È limitada. Pelo Teorema de Bolzano-Weierstrass, (b

1 ) m=1 possui uma subseq¸Íncia convergente.

Seja b 1 o limite dessa subseq¸Íncia. Seja (y 1 ;m ) a subseq¸Íncia correspondente de (y m ). Usando

mesmo argumento, (y 1 ;m ) possui uma subseq¸Íncia (y 2 ;m ) para a qual a seq¸Íncia correspondente

o

(b

( m)

1

( m)

2

) m=1 1 converge. Procedendo dessa forma, apÛs n etapas, obtemos uma subseq¸Íncia

com

e, para cada j = 1; :::; n;

Assim

com

y n;m =

n

X

j =1

n

X

j =1

c

(

j

m)

lim

m!1 c

(

j

m)

lim

m!1 y n;m =

c

(

j

m)

x

j

= 1

=

b j :

n

X

b j x j ;

 

j

=1

n

n

X

j

=1

jb j j = lim

m!1

X

j

=1

c

(

j

m)

= 1 :

5

Portanto nem todos os b j s„o nulos e, como f x 1 ; :::; x n g È LI, segue que

y :=

n

X b j x j 6= 0:

j =1

Como lim m!1 y n;m = y , segue que lim m!1 k y n;m k = k y k : Por (1.4), k y m k ! 0 ; e como (y n;m ) È subseq¸Íncia de (y m ); temos que

m!1 ky n;m k = 0:

lim

DaÌ ky k = 0 , e isso contradiz o fato de ser y 6= 0 .

6

1.2 Operadores lineares e espaÁos vetoriais de dimens„o Önita

Um operador linear (ou transformaÁ„o linear) T È uma funÁ„o tal que:

(i) O domÌnio D (T ) de T È um espaÁo vetorial e o contradomÌnio È um espaÁo vetorial sobre o mesmo corpo K que D (T ): A imagem de T È denotada por R (T ). (T1) T (x + y ) = T (x) + T (y ) para quaisquer x; y 2 D (T ) (T2) T ( x) = T (x) para todo 2 K e qualquer x em D (T ). O conjunto formado por todas as transformaÁıes lineares de E em F È denotado por L(E; F ) e, se E e F s„o evn, deÖnimos

kT k = supfkT (x)k ; k xk 1 g:

Quando kT k < 1 ; dizemos que T È limitado. Operadores lineares cujo contradomÌnio È o corpo dos escalares s„o chamados funcionais lineares. Se E e F s„o espaÁos normados, a deÖniÁ„o de continuidade para um operador linear T : E ! F È simplesmente a noÁ„o de funÁ„o contÌnua entre espaÁos mÈtricos. Como as mÈtricas de E e F s„o provenientes de suas normas, temos que T È contÌnuo em x 0 2 E se para cada " > 0; existir = (" ) > 0 tal que

k T (x) T (x 0 )k <"

sempre que

k x x 0 k < :

O prÛximo resultado, devido a F. Riesz, mostra que o conceito de operador linear limitado coincide

com o de operador linear contÌnuo.

ProposiÁ„o 1.2.1 Sejam E e F espaÁos vetoriais normados sobre um mesmo corpo. Dado T 2 L(E; F ), as seguintes condiÁıes s„o equivalentes:

(a)

T È contÌnuo,

(b)

T È contÌnuo na origem,

(c)

T È limitado.